Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computations with hierarchical structure. The synthesis of a Real-Time Maude verification model from a Ptolemy II DE model, and the formal verification of the synthesized model in Real-Time Maude, have been integrated into Ptolemy II, enabling a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude.Comment: In Proceedings RTRTS 2010, arXiv:1009.398

Prenatal hypoxia induces increased cardiac contractility on a background of decreased capillary density.

Background: Chronic hypoxia in utero (CHU) is one of the most common insults to fetal development and may be associated with poor cardiac recovery from ischaemia-reperfusion injury,yet the effects on normal cardiac mechanical performance are poorly understood. Methods: Pregnant female wistar rats were exposed to hypoxia (12% oxygen, balance nitrogen)for days 10–20 of pregnancy. Pups were born into normal room air and weaned normally. At 10 weeks of age, hearts were excised under anaesthesia and underwent retrograde 'Langendorff' perfusion. Mechanical performance was measured at constant filling pressure (100 cm H2O) with intraventricular balloon. Left ventricular free wall was dissected away and capillary density estimated following alkaline phosphatase staining. Expression of SERCA2a and Nitric Oxide Synthases (NOS) proteins were estimated by immunoblotting. Results: CHU significantly increased body mass (P < 0.001) compared with age-matched control rats but was without effect on relative cardiac mass. For incremental increases in left ventricular balloon volume, diastolic pressure was preserved. However, systolic pressure was significantly greater following CHU for balloon volume = 50 μl (P < 0.01) and up to 200 μl (P < 0.05). For higher balloon volumes systolic pressure was not significantly different from control. Developed pressures were correspondingly increased relative to controls for balloon volumes up to 250 μl (P < 0.05).Left ventricular free wall capillary density was significantly decreased in both epicardium (18%; P <0.05) and endocardium (11%; P < 0.05) despite preserved coronary flow. Western blot analysis revealed no change to the expression of SERCA2a or nNOS but immuno-detectable eNOS protein was significantly decreased (P < 0.001) in cardiac tissue following chronic hypoxia in utero. Conclusion: These data offer potential mechanisms for poor recovery following ischaemia, including decreased coronary flow reserve and impaired angiogenesis with subsequent detrimental effects of post-natal cardiac performance

Dynamics of the Drosophila Circadian Clock: Theoretical Anti-Jitter Network and Controlled Chaos

Background: Electronic clocks exhibit undesirable jitter or time variations in periodic signals. The circadian clocks of humans, some animals, and plants consist of oscillating molecular networks with peak-to-peak time of approximately 24 hours. Clockwork orange (CWO) is a transcriptional repressor of Drosophila direct target genes. Methodology/Principal Findings: Theory and data from a model of the Drosophila circadian clock support the idea that CWO controls anti-jitter negative circuits that stabilize peak-to-peak time in light-dark cycles (LD). The orbit is confined to chaotic attractors in both LD and dark cycles and is almost periodic in LD; furthermore, CWO diminishes the Euclidean dimension of the chaotic attractor in LD. Light resets the clock each day by restricting each molecular peak to the proximity of a prescribed time. Conclusions/Significance: The theoretical results suggest that chaos plays a central role in the dynamics of the Drosophila circadian clock and that a single molecule, CWO, may sense jitter and repress it by its negative loops

A review of the use of terrestrial laser scanning application for change detection and deformation monitoring of structures

Change detection and deformation monitoring is an active area of research within the field of engineering surveying as well as overlapping areas such as structural and civil engineering. The application of Terrestrial Laser Scanning (TLS) techniques for change detection and deformation monitoring of concrete structures has increased over the years as illustrated in the past studies. This paper presents a review of literature on TLS application in the monitoring of structures and discusses registration and georeferencing of TLS point cloud data as a critical issue in the process chain of accurate deformation analysis. Past TLS research work has shown some trends in addressing issues such as accurate registration and georeferencing of the scans and the need of a stable reference frame, TLS error modelling and reduction, point cloud processing techniques for deformation analysis, scanner calibration issues and assessing the potential of TLS in detecting sub-centimetre and millimetre deformations. However, several issues are still open to investigation as far as TLS is concerned in change detection and deformation monitoring studies such as rigorous and efficient workflow methodology of point cloud processing for change detection and deformation analysis, incorporation of measurement geometry in deformation measurements of high-rise structures, design of data acquisition and quality assessment for precise measurements and modelling the environmental effects on the performance of laser scanning. Even though some studies have attempted to address these issues, some gaps exist as information is still limited. Some methods reviewed in the case studies have been applied in landslide monitoring and they seem promising to be applied in engineering surveying to monitor structures. Hence the proposal of a three-stage process model for deformation analysis is presented. Furthermore, with technological advancements new TLS instruments with better accuracy are being developed necessitating more research for precise measurements in the monitoring of structures

Foldable structures made of hydrogel bilayers

We discuss self-folding of a thin sheet by using patterned hydrogel bilayers, which act as hinges connecting flat faces. Folding is actuated by heterogeneous swelling due to different crosslinking densities of the polymer network in the two layers. Our analysis is based on a dimensionally reduced plate model, obtained by applying a recently developed theory [1], which provides us with an explicit connection between (three-dimensional) material properties and the curvatures induced at the hinges. This connection offers a recipe for the fabrication and design of the bilayers, by providing the values of the cross-linking density of each layer that need to be imprinted during polymerization in order to produce a desired folded shape upon swelling

Pin1 and neurodegeneration: a new player for prion disorders?

Pin1 is a peptidyl-prolyl isomerase that catalyzes the cis/trans conversion of phosphorylated proteins at serine or threonine residues which precede a proline. The peptidyl-prolyl isomerization induces a conformational change of the proteins involved in cell signaling process. Pin1 dysregulation has been associated with some neurodegenerative disorders such as Alzheimer's disease, Parkinson's disease and Huntington's disease. Proline-directed phosphorylation is a common regulator of these pathologies and a recent work showed that it is also involved in prion disorders. In fact, prion protein phosphorylation at the Ser-43-Pro motif induces prion protein conversion into a disease-associated form. Furthermore, phosphorylation at Ser-43-Pro has been observed to increase in the cerebral spinal fluid of sporadic Creutzfeldt-Jakob Disease patients. These findings provide new insights into the pathogenesis of prion disorders, suggesting Pin1 as a potential new player in the disease. In this paper, we review the mechanisms underlying Pin1 involvement in the aforementioned neurodegenerative pathologies focusing on the potential role of Pin1 in prion disorders

Membrane Damage Elicits an Immunomodulatory Program in Staphylococcus aureus

The Staphylococcus aureus HrtAB system is a hemin-regulated ABC transporter composed of an ATPase (HrtA) and a permease (HrtB) that protect S. aureus against hemin toxicity. S. aureus strains lacking hrtA exhibit liver-specific hyper-virulence and upon hemin exposure over-express and secrete immunomodulatory factors that interfere with neutrophil recruitment to the site of infection. It has been proposed that heme accumulation in strains lacking hrtAB is the signal which triggers S. aureus to elaborate this anti-neutrophil response. However, we report here that S. aureus strains expressing catalytically inactive HrtA do not elaborate the same secreted protein profile. This result indicates that the physical absence of HrtA is responsible for the increased expression of immunomodulatory factors, whereas deficiencies in the ATPase activity of HrtA do not contribute to this process. Furthermore, HrtB expression in strains lacking hrtA decreases membrane integrity consistent with dysregulated permease function. Based on these findings, we propose a model whereby hemin-mediated over-expression of HrtB in the absence of HrtA damages the staphylococcal membrane through pore formation. In turn, S. aureus senses this membrane damage, triggering the increased expression of immunomodulatory factors. In support of this model, wildtype S. aureus treated with anti-staphylococcal channel-forming peptides produce a secreted protein profile that mimics the effect of treating ΔhrtA with hemin. These results suggest that S. aureus senses membrane damage and elaborates a gene expression program that protects the organism from the innate immune response of the host

Association of radial longitudinal deficiency and thumb hypoplasia: An update using the CoULD registry

BACKGROUND: Deficiency of the radial aspect of the forearm and hand is the most common congenital longitudinal deficiency of the upper limb. Radial longitudinal deficiency is associated with several named syndromes. The purpose of the present study was to explore patterns of radial longitudinal deficiency and thumb hypoplasia in syndromes and to examine the severity of these differences across various syndromes. METHODS: Data were collected from the Congenital Upper Limb Differences (CoULD) registry. Congenital differences are classified in the registry with use of the Oberg-Manske-Tonkin (OMT) classification system. Diagnosis of a syndrome by a physician as noted in the CoULD registry was recorded. Thumb deficiency and radial deficiency were classified according to the modified versions of the Blauth criteria and the Bayne and Klug criteria, respectively. RESULTS: We identified 259 patients with 383 affected limbs with radial deficiency. Eighty-three of these patients had a diagnosed syndrome. The severity of radial deficiency was correlated with the severity of thumb deficiency. The Kendall tau coefficient indicated significant correlation between radial severity and thumb severity (tau = 0.49 [95% confidence interval = 0.40 to 0.57]; p \u3c 0.05). Subjects with a syndrome were twice as likely to have bilateral deficiency and 2.5 times more likely to have both radial and thumb deficiency compared with subjects without a syndrome. Subjects with VACTERL syndrome (vertebral defects, anal atresia, cardiac anomalies, tracheoesophageal fistula, renal anomalies, and limb defects) had patterns of thumb and radial deficiency similar to the general cohort, whereas subjects with Holt-Oram syndrome, TAR (thrombocytopenia absent radius) syndrome, and Fanconi anemia demonstrated varied presentations of thumb and radial deficiency. CONCLUSIONS: The present study investigated the characteristics of patients with radial longitudinal deficiency and thumb hypoplasia. Our results support the findings of previous research correlating the severity of radial deficiency with the severity of thumb deficiency. Furthermore, we identified characteristic features of patients with radial longitudinal deficiency and associated syndromes

Precise measurement of the W-boson mass with the CDF II detector

We have measured the W-boson mass MW using data corresponding to 2.2/fb of integrated luminosity collected in proton-antiproton collisions at 1.96 TeV with the CDF II detector at the Fermilab Tevatron collider. Samples consisting of 470126 W->enu candidates and 624708 W->munu candidates yield the measurement MW = 80387 +- 12 (stat) +- 15 (syst) = 80387 +- 19 MeV. This is the most precise measurement of the W-boson mass to date and significantly exceeds the precision of all previous measurements combined