Temporal changes in cardiac oxidative stress, inflammation and remodeling induced by exercise in hypertension: Role for local angiotensin II reduction

Exercise training reduces renin-angiotensin system (RAS) activation, decreases plasma and tissue oxidative stress and inflammation in hypertension. However, the temporal nature of these phenomena in response to exercise is unknown. We sought to determine in spontaneously hypertensive rats (SHR) and age-matched WKY controls the weekly effects of training on blood pressure (BP), plasma and left ventricle (LV) Ang II and Ang-(1–7) content (HPLC), LV oxidative stress (DHE staining), gene and protein expression (qPCR and WB) of pro-inflammatory cytokines, antioxidant enzymes and their consequence on hypertension-induced cardiac remodeling. SHR and WKY were submitted to aerobic training (T) or maintained sedentary (S) for 8 weeks; measurements were made at weeks 0, 1, 2, 4 and 8. Hypertension-induced cardiac hypertrophy was accompanied by acute plasma Ang II increase with amplified responses during the late phase of LV hypertrophy. Similar pattern was observed for oxidative stress markers, TNF alpha and interleukin-1β, associated with cardiomyocytes’ diameter enlargement and collagen deposition. SHR-T exhibited prompt and marked decrease in LV Ang II content (T1 vs T4 in WKY-T), normalized oxidative stress (T2), augmented antioxidant defense (T4) and reduced both collagen deposition and inflammatory profile (T8), without changing cardiomyocytes’ diameter and LV hypertrophy. These changes were accompanied by decreased plasma Ang II content (T2-T4) and reduced BP (T8). SHR-T and WKY-T showed parallel increases in LV and plasma Ang-(1–7) content. Our data indicate that early training-induced downregulation of LV ACE-AngII-AT1 receptor axis is a crucial mechanism to reduce oxidative/pro-inflammatory profile and improve antioxidant defense in SHR-T, showing in addition this effect precedes plasma RAS deactivation

Framework Programmable Platform for the Advanced Software Development Workstation: Preliminary system design document

The Framework Programmable Software Development Platform (FPP) is a project aimed at combining effective tool and data integration mechanisms with a model of the software development process in an intelligent integrated software environment. Guided by the model, this system development framework will take advantage of an integrated operating environment to automate effectively the management of the software development process so that costly mistakes during the development phase can be eliminated. The focus here is on the design of components that make up the FPP. These components serve as supporting systems for the Integration Mechanism and the Framework Processor and provide the 'glue' that ties the FPP together. Also discussed are the components that allow the platform to operate in a distributed, heterogeneous environment and to manage the development and evolution of software system artifacts

Potentially Diagnostic Electron Paramagnetic Resonance Spectra Elucidate the Underlying Mechanism of Mitochondrial Dysfunction in the Deoxyguanosine Kinase Deficient Rat Model of a Genetic Mitochondrial DNA Depletion Syndrome

A novel rat model for a well-characterized human mitochondrial disease, mitochondrial DNA depletion syndrome with associated deoxyguanosine kinase (DGUOK) deficiency, is described. The rat model recapitulates the pathologic and biochemical signatures of the human disease. The application of electron paramagnetic (spin) resonance (EPR) spectroscopy to the identification and characterization of respiratory chain abnormalities in the mitochondria from freshly frozen tissue of the mitochondrial disease model rat is introduced. EPR is shown to be a sensitive technique for detecting mitochondrial functional abnormalities in situ and, here, is particularly useful in characterizing the redox state changes and oxidative stress that can result from depressed expression and/or diminished specific activity of the distinct respiratory chain complexes. As EPR requires no sample preparation or non-physiological reagents, it provides information on the status of the mitochondrion as it was in the functioning state. On its own, this information is of use in identifying respiratory chain dysfunction; in conjunction with other techniques, the information from EPR shows how the respiratory chain is affected at the molecular level by the dysfunction. It is proposed that EPR has a role in mechanistic pathophysiological studies of mitochondrial disease and could be used to study the impact of new treatment modalities or as an additional diagnostic tool

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial