Reusable Components of Semantic Specifications

Semantic specifications of programming languages typically have poor modularity. This hinders reuse of parts of the semantics of one language when specifying a different language – even when the two languages have many constructs in common – and evolution of a language may require major reformulation of its semantics. Such drawbacks have discouraged language developers from using formal semantics to document their designs. In the PLanCompS project, we have developed a component-based approach to semantics. Here, we explain its modularity aspects, and present an illustrative case study: a component-based semantics for Caml Light. We have tested the correctness of the semantics by running programs on an interpreter generated from the semantics, comparing the output with that produced on the standard implementation of the language. Our approach provides good modularity, facilitates reuse, and should support co-evolution of languages and their formal semantics. It could be particularly useful in connection with domain-specific languages and language-driven software development

Enhanced flight performance by genetic manipulation of wing shape in Drosophila

Insect wing shapes are remarkably diverse and the combination of shape and kinematics determines both aerial capabilities and power requirements. However, the contribution of any specific morphological feature to performance is not known. Using targeted RNA interference to modify wing shape far beyond the natural variation found within the population of a single species, we show a direct effect on flight performance that can be explained by physical modelling of the novel wing geometry. Our data show that altering the expression of a single gene can significantly enhance aerial agility and that the Drosophila wing shape is not, therefore, optimized for certain flight performance characteristics that are known to be important. Our technique points in a new direction for experiments on the evolution of performance specialities in animals

Embedded Weapons-Grade Tungsten Alloy Shrapnel Rapidly Induces Metastatic High-Grade Rhabdomyosarcomas in F344 Rats

Continuing concern regarding the potential health and environmental effects of depleted uranium and lead has resulted in many countries adding tungsten alloy (WA)-based munitions to their battlefield arsenals as replacements for these metals. Because the alloys used in many munitions are relatively recent additions to the list of militarily relevant metals, very little is known about the health effects of these metals after internalization as embedded shrapnel. Previous work in this laboratory developed a rodent model system that mimicked shrapnel loads seen in wounded personnel from the 1991 Persian Gulf War. In the present study, we used that system and male F344 rats, implanted intramuscularly with pellets (1 mm × 2 mm cylinders) of weapons-grade WA, to simulate shrapnel wounds. Rats were implanted with 4 (low dose) or 20 pellets (high dose) of WA. Tantalum (20 pellets) and nickel (20 pellets) served as negative and positive controls, respectively. The high-dose WA-implanted rats (n = 46) developed extremely aggressive tumors surrounding the pellets within 4–5 months after implantation. The low-dose WA-implanted rats (n = 46) and nickel-implanted rats (n = 36) also developed tumors surrounding the pellets but at a slower rate. Rats implanted with tantalum (n = 46), an inert control metal, did not develop tumors. Tumor yield was 100% in both the low- and high-dose WA groups. The tumors, characterized as high-grade pleomorphic rhabdomyosarcomas by histopathology and immunohistochemical examination, rapidly metastasized to the lung and necessitated euthanasia of the animal. Significant hematologic changes, indicative of polycythemia, were also observed in the high-dose WA-implanted rats. These changes were apparent as early as 1 month postimplantation in the high-dose WA rats, well before any overt signs of tumor development. These results point out the need for further studies investigating the health effects of tungsten and tungsten-based alloys

Association of the tumor necrosis factor-alpha promoter polymorphism with change in triacylglycerol response to sequential meals

Background: Reported associations between Tumor Necrosis Factor-alpha (TNFA) and the postprandial triacylglycerol (TAG) response have been inconsistent, which could be due to variations in the TNFA gene, meal fat composition or participant’s body weight. Hence, we investigated the association of TNFA polymorphism (−308G → A) with body mass index (BMI) and postprandial lipaemia and also determined the impact of BMI on the association of the polymorphism with postprandial lipaemia. Methods: The study participants (n = 230) underwent a sequential meal postprandial study. Blood samples were taken at regular intervals after a test breakfast (t = 0, 49 g fat) and lunch (t =330 min, 29 g fat) to measure fasting and postprandial lipids, glucose and insulin. The Metabolic Challenge Study (MECHE) comprising 67 Irish participants who underwent a 54 g fat oral lipid tolerance test was used as a replication cohort. The impact of genotype on postprandial responses was determined using general linear model with adjustment for potential confounders. Results: The -308G → A polymorphism showed a significant association with BMI (P = 0.03) and fasting glucose (P = 0.006), where the polymorphism explained 13 % of the variation in the fasting glucose. A 30 % higher incremental area under the curve (IAUC) was observed for the postprandial TAG response in the GG homozygotes than A-allele carriers (P = 0.004) and the genotype explained 19 % of the variation in the IAUC. There was a non-significant trend in the impact of BMI on the association of the genotype with TAG IAUC (P = 0.09). These results were not statistically significant in the MECHE cohort, which could be due to the differences in the sample size, meal composition, baseline lipid profile, allelic diversity and postprandial characterisation of participants across the two cohorts. Conclusions: Our findings suggest that TNFA -308G → A polymorphism may be an important candidate for BMI, fasting glucose and postprandial TAG response. Further studies are required to investigate the mechanistic effects of the polymorphism on glucose and TAG metabolism, and determine whether BMI is an important variable which should be considered in the design of future studies. Trial registration: NCT01172951

Rotation Curves of Spiral Galaxies

Rotation curves of spiral galaxies are the major tool for determining the distribution of mass in spiral galaxies. They provide fundamental information for understanding the dynamics, evolution and formation of spiral galaxies. We describe various methods to derive rotation curves, and review the results obtained. We discuss the basic characteristics of observed rotation curves in relation to various galaxy properties, such as Hubble type, structure, activity, and environment.Comment: 40 pages, 6 gif figures; Ann. Rev. Astron. Astrophys. Vol. 39, p.137, 200

The Role of Bile in the Regulation of Exocrine Pancreatic Secretion

As early as 1926 Mellanby (1) was able to show that introduction of bile into the duodenum of anesthetized cats produces a copious flow of pancreatic juice. In conscious dogs, Ivy & Lueth (2) reported, bile is only a weak stimulant of pancreatic secretion. Diversion of bile from the duodenum, however, did not influence pancreatic volume secretion stimulated by a meal (3,4). Moreover, Thomas & Crider (5) observed that bile not only failed to stimulate the secretion of pancreatic juice but also abolished the pancreatic response to intraduodenally administered peptone or soap

The Mitochondrial Fusion-Promoting Factor Mitofusin Is a Substrate of the PINK1/Parkin Pathway

Loss-of-function mutations in the PINK1 or parkin genes result in recessive heritable forms of parkinsonism. Genetic studies of Drosophila orthologs of PINK1 and parkin indicate that PINK1, a mitochondrially targeted serine/threonine kinase, acts upstream of Parkin, a cytosolic ubiquitin-protein ligase, to promote mitochondrial fragmentation, although the molecular mechanisms by which the PINK1/Parkin pathway promotes mitochondrial fragmentation are unknown. We tested the hypothesis that PINK1 and Parkin promote mitochondrial fragmentation by targeting core components of the mitochondrial morphogenesis machinery for ubiquitination. We report that the steady-state abundance of the mitochondrial fusion-promoting factor Mitofusin (dMfn) is inversely correlated with the activity of PINK1 and Parkin in Drosophila. We further report that dMfn is ubiquitinated in a PINK1- and Parkin-dependent fashion and that dMfn co-immunoprecipitates with Parkin. By contrast, perturbations of PINK1 or Parkin did not influence the steady-state abundance of the mitochondrial fission-promoting factor Drp1 or the mitochondrial fusion-promoting factor Opa1, or the subcellular distribution of Drp1. Our findings suggest that dMfn is a direct substrate of the PINK1/Parkin pathway and that the mitochondrial morphological alterations and tissue degeneration phenotypes that derive from mutations in PINK1 and parkin result at least in part from reduced ubiquitin-mediated turnover of dMfn

Bioavailability in soils

The consumption of locally-produced vegetables by humans may be an important exposure pathway for soil contaminants in many urban settings and for agricultural land use. Hence, prediction of metal and metalloid uptake by vegetables from contaminated soils is an important part of the Human Health Risk Assessment procedure. The behaviour of metals (cadmium, chromium, cobalt, copper, mercury, molybdenum, nickel, lead and zinc) and metalloids (arsenic, boron and selenium) in contaminated soils depends to a large extent on the intrinsic charge, valence and speciation of the contaminant ion, and soil properties such as pH, redox status and contents of clay and/or organic matter. However, chemistry and behaviour of the contaminant in soil alone cannot predict soil-to-plant transfer. Root uptake, root selectivity, ion interactions, rhizosphere processes, leaf uptake from the atmosphere, and plant partitioning are important processes that ultimately govern the accumulation ofmetals and metalloids in edible vegetable tissues. Mechanistic models to accurately describe all these processes have not yet been developed, let alone validated under field conditions. Hence, to estimate risks by vegetable consumption, empirical models have been used to correlate concentrations of metals and metalloids in contaminated soils, soil physico-chemical characteristics, and concentrations of elements in vegetable tissues. These models should only be used within the bounds of their calibration, and often need to be re-calibrated or validated using local soil and environmental conditions on a regional or site-specific basis.Mike J. McLaughlin, Erik Smolders, Fien Degryse, and Rene Rietr

A high fat diet increases mitochondrial fatty acid oxidation and uncoupling to decrease efficiency in rat heart

Elevated levels of cardiac mitochondrial uncoupling protein 3 (UCP3) and decreased cardiac efficiency (hydraulic power/oxygen consumption) with abnormal cardiac function occur in obese, diabetic mice. To determine whether cardiac mitochondrial uncoupling occurs in non-genetic obesity, we fed rats a high fat diet (55% kcal from fat) or standard laboratory chow (7% kcal from fat) for 3 weeks, after which we measured cardiac function in vivo using cine MRI, efficiency in isolated working hearts and respiration rates and ADP/O ratios in isolated interfibrillar mitochondria; also, measured were medium chain acyl-CoA dehydrogenase (MCAD) and citrate synthase activities plus uncoupling protein 3 (UCP3), mitochondrial thioesterase 1 (MTE-1), adenine nucleotide translocase (ANT) and ATP synthase protein levels. We found that in vivo cardiac function was the same for all rats, yet oxygen consumption was 19% higher in high fat-fed rat hearts, therefore, efficiency was 21% lower than in controls. We found that mitochondrial fatty acid oxidation rates were 25% higher, and MCAD activity was 23% higher, in hearts from rats fed the high fat diet when compared with controls. Mitochondria from high fat-fed rat hearts had lower ADP/O ratios than controls, indicating increased respiratory uncoupling, which was ameliorated by GDP, a UCP3 inhibitor. Mitochondrial UCP3 and MTE-1 levels were both increased by 20% in high fat-fed rat hearts when compared with controls, with no significant change in ATP synthase or ANT levels, or citrate synthase activity. We conclude that increased cardiac oxygen utilisation, and thereby decreased cardiac efficiency, occurs in non-genetic obesity, which is associated with increased mitochondrial uncoupling due to elevated UCP3 and MTE-1 levels

Investigation of the Acetylation Mechanism by GCN5 Histone Acetyltransferase

The histone acetylation of post-translational modification can be highly dynamic and play a crucial role in regulating cellular proliferation, survival, differentiation and motility. Of the enzymes that mediate post-translation modifications, the GCN5 of the histone acetyltransferase (HAT) proteins family that add acetyl groups to target lysine residues within histones, has been most extensively studied. According to the mechanism studies of GCN5 related proteins, two key processes, deprotonation and acetylation, must be involved. However, as a fundamental issue, the structure of hGCN5/AcCoA/pH3 remains elusive. Although biological experiments have proved that GCN5 mediates the acetylation process through the sequential mechanism pathway, a dynamic view of the catalytic process and the molecular basis for hGCN5/AcCoA/pH3 are still not available and none of theoretical studies has been reported to other related enzymes in HAT family. To explore the molecular basis for the catalytic mechanism, computational approaches including molecular modeling, molecular dynamic (MD) simulation and quantum mechanics/molecular mechanics (QM/MM) simulation were carried out. The initial hGCN5/AcCoA/pH3 complex structure was modeled and a reasonable snapshot was extracted from the trajectory of a 20 ns MD simulation, with considering post-MD analysis and reported experimental results. Those residues playing crucial roles in binding affinity and acetylation reaction were comprehensively investigated. It demonstrated Glu80 acted as the general base for deprotonation of Lys171 from H3. Furthermore, the two-dimensional QM/MM potential energy surface was employed to study the sequential pathway acetylation mechanism. Energy barriers of addition-elimination reaction in acetylation obtained from QM/MM calculation indicated the point of the intermediate ternary complex. Our study may provide insights into the detailed mechanism for acetylation reaction of GCN5, and has important implications for the discovery of regulators against GCN5 enzymes and related HAT family enzymes