Accelerating Parametric Probabilistic Verification

We present a novel method for computing reachability probabilities of parametric discrete-time Markov chains whose transition probabilities are fractions of polynomials over a set of parameters. Our algorithm is based on two key ingredients: a graph decomposition into strongly connected subgraphs combined with a novel factorization strategy for polynomials. Experimental evaluations show that these approaches can lead to a speed-up of up to several orders of magnitude in comparison to existing approache

Direct determination of vibrational density of states change on ligand binding to a protein

The change in the vibrational density of states of a protein (dihydrofolate reductase) on binding a ligand (methotrexate) is determined using inelastic neutron scattering. The vibrations of the complex soften significantly relative to the unbound protein. The resulting free-energy change, which is directly determined by the density of states change, is found to contribute significantly to the binding equilibrium

Aboveground biomass and carbon stock of the riparian vegetation in the Danube Delta

Intact wetlands can act as carbon sinks and mitigate increased amounts of greenhouse gases in the atmosphere following climate change. In addition to organic soils, the riparian vegetation plays an important role in carbon storage and cycling within wetlands. In the context of the project ‘EDAPHIC-BLOOM Danube’, the riparian vegetation in the Danube Delta was investigated. Preliminary results show differences in aboveground biomass and carbon content between softwood and hardwood riparian forests and artificial poplar plantations. The aboveground biomass in the reed beds is much lower per plot, but due to their huge extension, they are very important for carbon storage

Genes involved in carnitine synthesis and carnitine uptake are up-regulated in the liver of sows during lactation

BACKGROUND:Convincing evidence exist that carnitine synthesis and uptake of carnitine into cells is regulated by peroxisome proliferator-activated receptor alpha (PPARA), a transcription factor which is physiologically activated during fasting or energy deprivation. Sows are typically in a negative energy balance during peak lactation. We investigated the hypothesis that genes involved in carnitine synthesis and uptake in the liver of sows are up-regulated during peak lactation. FINDINGS:Transcript levels of several PPARalpha target genes involved in fatty acid uptake (FABP4, SLC25A20), fatty acid oxidation (ACOX1, CYP4A24) and ketogenesis (HMGCS2, FGF21) were elevated in the liver of lactating compared to non-lactating sows (P < 0.05). In addition, transcript levels of genes involved in carnitine synthesis (ALDH9A1, TMLHE, BBOX1) and carnitine uptake (SLC22A5) in the liver were greater in lactating than in non-lactating sows (P < 0.05). Carnitine concentrations in liver and plasma were about 20% and 50%, respectively, lower in lactating than in non-lactating sows (P < 0.05), which is likely due to an increased loss of carnitine via the milk. CONCLUSIONS:The results of the present study show that PPARalpha is activated in the liver of sows during lactation which leads to an up-regulation of genes involved in carnitine synthesis and carnitine uptake. The PPARalpha mediated up-regulation of genes involved in carnitine synthesis and uptake in the liver of lactating sows may be regarded as an adaptive mechanism to maintain hepatic carnitine levels at a level sufficient to transport excessive amounts of fatty acids into the mitochondrion

The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains

This report presents the tool COMICS, which performs model checking and generates counterexamples for DTMCs. For an input DTMC, COMICS computes an abstract system that carries the model checking information and uses this result to compute a critical subsystem, which induces a counterexample. This abstract subsystem can be refined and concretized hierarchically. The tool comes with a command-line version as well as a graphical user interface that allows the user to interactively influence the refinement process of the counterexample

Multiwavelength Observations of the Runaway Binary HD 15137

HD 15137 is an intriguing runaway O-type binary system that offers a rare opportunity to explore the mechanism by which it was ejected from the open cluster of its birth. Here we present recent blue optical spectra of HD 15137 and derive a new orbital solution for the spectroscopic binary and physical parameters of the O star primary. We also present the first XMM-Newton observations of the system. Fits of the EPIC spectra indicate soft, thermal X-ray emission consistent with an isolated O star. Upper limits on the undetected hard X-ray emission place limits on the emission from a proposed compact companion in the system, and we rule out a quiescent neutron star in the propellor regime or a weakly accreting neutron star. An unevolved secondary companion is also not detected in our optical spectra of the binary, and it is difficult to conclude that a gravitational interaction could have ejected this runaway binary with a low mass optical star. HD 15137 may contain an elusive neutron star in the ejector regime or a quiescent black hole with conditions unfavorable for accretion at the time of our observations.Comment: Accepted to A

Evaluating an implementation strategy in cardiovascular prevention to improve prescribing of statins in Germany: an intention to treat analysis

BACKGROUND: The prescription of statins is an evidence-based treatment to reduce the risk of cardiovascular events in patients with elevated cardiovascular risk or with a cardiovascular disorder (CVD). In spite of this, many of these patients do not receive statins. METHODS: We evaluated the impact of a brief educational intervention in cardiovascular prevention in primary care physicians' prescribing behaviour regarding statins beyond their participation in a randomised controlled trial (RCT). For this, prescribing data of all patients >= 35 years who were counselled before and after the study period were analysed (each n > 75000). Outcome measure was prescription of Hydroxymethylglutaryl-CoA Reductase Inhibitors (statins) corresponding to patients' overall risk for CVD. Appropriateness of prescribing was examined according to different risk groups based on the Anatomical Therapeutic Chemical Classification System (ATC codes). RESULTS: There was no consistent association between group allocation and statin prescription controlling for risk status in each risk group before and after study participation. However, we found a change to more significant drug configurations predicting the prescription of statins in the intervention group, which can be regarded as a small intervention effect. CONCLUSION: Our results suggest that an active implementation of a brief evidence-based educational intervention does not lead to prescription modifications in everyday practice. Physician's prescribing behaviour is affected by an established health care system, which is not easy to change.Trial registration: ISRCTN71348772

Treatment of lactating sows with clofibrate as a synthetic agonist of PPARalpha does not influence milk fat content and gains of litters

BACKGROUND: In rats, it has been observed that treatment with activators of peroxisome proliferator-activated receptor a (PPARalpha) disturbs metabolic adaptations during lactation, which in turn lead to a reduction of milk fat content and gains of litters during the suckling period. It has not yet been investigated whether agonists of PPARalpha are impairing milk production of lactating sows in a similar manner as in rats. Therefore, the present study aimed to investigate the effect of treatment with clofibrate, a strong synthetic agonist of PPARalpha, on milk composition and litter gains in lactating sows. RESULTS: Twenty lactating sows received either a basal diet (control group) or the same diet with supplementation of 2 g of clofibrate per kg of diet (clofibrate group). In the clofibrate group, mRNA concentrations of various PPARalpha target genes involved in fatty acid utilization in liver and skeletal muscle were moderately up-regulated. Fat and energy content of the milk and gains of litters during the suckling period were not different between the control group and the clofibrate group. CONCLUSIONS: It is shown that treatment with clofibrate induces only a moderate up-regulation of PPARalpha target genes in liver and muscle of lactating sows and in turn might have limited effect on whole body fatty acid utilization. This may be the reason why clofibrate treatment did not influence milk fat content and gains of litters during the suckling period. Thus, the present study indicates that activation of PPARalpha induced either by native agonists such as dietary polyunsaturated fatty acids or a by negative energy balance might be largely uncritical in lactating sows with respect to milk production and litter gains in lactating sows

Berkeley UXO Discriminator (BUD)

The Berkeley UXO Discriminator (BUD) is an optimally designed active electromagnetic system that not only detects but also characterizes UXO. The system incorporates three orthogonal transmitters and eight pairs of differenced receivers. it has two modes of operation: (1) search mode, in which BUD moves along a profile and exclusively detects targets in its vicinity, providing target depth and horizontal location, and (2) discrimination mode, in which BUD, stationary above a target, from a single position, determines three discriminating polarizability responses together with the object location and orientation. The performance of the system is governed by a target size-depth curve. Maximum detection depth is 1.5 m. While UXO objects have a single major polarizability coincident with the long axis of the object and two equal transverse polarizabilities, scrap metal has three different principal polarizabilities. The results clearly show that there are very clear distinctions between symmetric intact UXO and irregular scrap metal, and that BUD can resolve the intrinsic polarizabilities of the target. The field survey at the Yuma Proving Ground in Arizona showed excellent results within the predicted size-depth range