The quantitative verification benchmark set

We present an extensive collection of quantitative models to facilitate the development, comparison, and benchmarking of new verification algorithms and tools. All models have a formal semantics in terms of extensions of Markov chains, are provided in the Jani format, and are documented by a comprehensive set of metadata. The collection is highly diverse: it includes established probabilistic verification and planning benchmarks, industrial case studies, models of biological systems, dynamic fault trees, and Petri net examples, all originally specified in a variety of modelling languages. It archives detailed tool performance data for each model, enabling immediate comparisons between tools and among tool versions over time. The collection is easy to access via a client-side web application at qcomp.org with powerful search and visualisation features. It can be extended via a Git-based submission process, and is openly accessible according to the terms of the CC-BY license

Extension modes and breakup processes of the southeast China-Northwest Palawan conjugate rifted margins

International audienc

Bottom mixed layer oxygen dynamics in the Celtic Sea

The seasonally stratified continental shelf seas are highly productive, economically important environments which are under considerable pressure from human activity. Global dissolved oxygen concentrations have shown rapid reductions in response to anthropogenic forcing since at least the middle of the twentieth century. Oxygen consumption is at the same time linked to the cycling of atmospheric carbon, with oxygen being a proxy for carbon remineralisation and the release of CO2. In the seasonally stratified seas the bottom mixed layer (BML) is partially isolated from the atmosphere and is thus controlled by interplay between oxygen consumption processes, vertical and horizontal advection. Oxygen consumption rates can be both spatially and temporally dynamic, but these dynamics are often missed with incubation based techniques. Here we adopt a Bayesian approach to determining total BML oxygen consumption rates from a high resolution oxygen time-series. This incorporates both our knowledge and our uncertainty of the various processes which control the oxygen inventory. Total BML rates integrate both processes in the water column and at the sediment interface. These observations span the stratified period of the Celtic Sea and across both sandy and muddy sediment types. We show how horizontal advection, tidal forcing and vertical mixing together control the bottom mixed layer oxygen concentrations at various times over the stratified period. Our muddy-sand site shows cyclic spring-neap mediated changes in oxygen consumption driven by the frequent resuspension or ventilation of the seabed. We see evidence for prolonged periods of increased vertical mixing which provide the ventilation necessary to support the high rates of consumption observed

First-time patellar dislocation with resultant habitual dislocation two years later, which was not demonstrated on plain X-rays halfway: a case report

We present an instructive case of habitual left patellar dislocation in which the patella had appeared odd due to lateral tilt relative to contralateral side, but had been radiologically confirmed to be on the trochlea at 1 year prior to the referral. An 11-year-old girl presented to our hospital 2 years after the left patella had dislocated with a 'giving way' when cutting to the left. Our physical and radiological examinations confirmed that the left patella was laterally tilted in the patellar groove with the knee in extension but was dislocated in flexion beyond 45°. In spite of these findings, she had been untreated at the previous hospital since all plain X-rays, including a skyline patellar view, had failed to demonstrate the dislocation. Consequently, in addition to reconstruction of medial patellofemoral ligament, she had to undergo a lateral retinacular release, which might have been unnecessary if treated earlier. This case illustrates that first-time patellar dislocation can gradually lead to habitual dislocation subsequently, and that cautious physical examinations in regard to patella tracking are essential since radiological examinations do not always reveal the pathophysiology of patellar instability

Validation of epidemiological tools for eczema diagnosis in brazilian children: the isaac's and uk working party's criteria

BACKGROUND: Instruments for field diagnosis of eczema are increasingly used, and it is essential to understand specific limitations to make best use of their strengths. Our objective was to assess the validity of ISAAC and UK Working Party criteria for field diagnosis of eczema in children. METHODS: We performed a cohort study in urban Brazil. Parents/guardians of 1,419 children answered ISAAC phase II questionnaire. Children were examined for skin lesions (UKWP protocol). Two dermatologists examined most cases of eczema (according to ISAAC or UKWP), and a sample without eczema. RESULTS: Agreement between repeat questionnaires on the filter question was poor (kappa = 0.4). Agreement between the 2 dermatologists was fair (kappa = 0.6). False positive reports included scabies in 39% of ISAAC cases and 33% of UKWP cases. Sensitivity and PPV were low (ISAAC: 37.1% and 16.1%; UKWP: 28.6% and 23.8%). Specificity and NPV were high (ISAAC: 90.0% and 96.6%; UKWP: 95.3% and 96.2%). One-year prevalence of eczema was 11.3% (ISAAC), 5.9% (UKWP) and 4.9% (adjusted dermatologist diagnosis). Point prevalence of scabies (alone or not) was 43%, 33% and 18%, in eczemas according to ISAAC, to UKWP and to dermatologists. The reasons why children with eczema were not identified by ISAAC or UKWP were wrongly denying dry skin, itchy rash or personal history of atopic diseases. A limitation is that questionnaire was already validated in Brazil, but not field tested in this specific setting. CONCLUSIONS: Studies using UKWP or ISAAC criteria should include a validation arm, to contribute to the understanding of potential limitations of their use in different contexts and to explore solutions. We list specific recommendations

Creatine-induced activation of antioxidative defence in myotube cultures revealed by explorative NMR-based metabonomics and proteomics

<p>Abstract</p> <p>Background</p> <p>Creatine is a key intermediate in energy metabolism and supplementation of creatine has been used for increasing muscle mass, strength and endurance. Creatine supplementation has also been reported to trigger the skeletal muscle expression of insulin like growth factor I, to increase the fat-free mass and improve cognition in elderly, and more explorative approaches like transcriptomics has revealed additional information. The aim of the present study was to reveal additional insight into the biochemical effects of creatine supplementation at the protein and metabolite level by integrating the explorative techniques, proteomics and NMR metabonomics, in a systems biology approach.</p> <p>Methods</p> <p>Differentiated mouse myotube cultures (C2C12) were exposed to 5 mM creatine monohydrate (CMH) for 24 hours. For proteomics studies, lysed myotubes were analyzed in single 2-DGE gels where the first dimension of protein separation was pI 5-8 and second dimension was a 12.5% Criterion gel. Differentially expressed protein spots of significance were excised from the gel, desalted and identified by peptide mass fingerprinting using MALDI-TOF MS. For NMR metabonomic studies, chloroform/methanol extractions of the myotubes were subjected to one-dimensional ¹H NMR spectroscopy and the intracellular oxidative status of myotubes was assessed by intracellular DCFH₂oxidation after 24 h pre-incubation with CMH.</p> <p>Results</p> <p>The identified differentially expressed proteins included vimentin, malate dehydrogenase, peroxiredoxin, thioredoxin dependent peroxide reductase, and 75 kDa and 78 kDa glucose regulated protein precursors. After CMH exposure, up-regulated proteomic spots correlated positively with the NMR signals from creatine, while down-regulated proteomic spots were negatively correlated with these NMR signals. The identified differentially regulated proteins were related to energy metabolism, glucose regulated stress, cellular structure and the antioxidative defence system. The suggested improvement of the antioxidative defence was confirmed by a reduced intracellular DCFH₂oxidation with increasing concentrations of CMH in the 24 h pre-incubation medium.</p> <p>Conclusions</p> <p>The explorative approach of this study combined with the determination of a decreased intracellular DCFH₂oxidation revealed an additional stimulation of cellular antioxidative mechanisms when myotubes were exposed to CMH. This may contribute to an increased exercise performance mediated by increased ability to cope with training-induced increases in oxidative stress.</p

Male reproductive health and environmental xenoestrogens

EHP is a publication of the U.S. government. Publication of EHP lies in the public domain and is therefore without copyright. Research articles from EHP may be used freely; however, articles from the News section of EHP may contain photographs or figures copyrighted by other commercial organizations and individuals that may not be used without obtaining prior approval from both the EHP editors and the holder of the copyright. Use of any materials published in EHP should be acknowledged (for example, "Reproduced with permission from Environmental Health Perspectives") and a reference provided for the article from which the material was reproduced.Male reproductive health has deteriorated in many countries during the last few decades. In the 1990s, declining semen quality has been reported from Belgium, Denmark, France, and Great Britain. The incidence of testicular cancer has increased during the same time incidences of hypospadias and cryptorchidism also appear to be increasing. Similar reproductive problems occur in many wildlife species. There are marked geographic differences in the prevalence of male reproductive disorders. While the reasons for these differences are currently unknown, both clinical and laboratory research suggest that the adverse changes may be inter-related and have a common origin in fetal life or childhood. Exposure of the male fetus to supranormal levels of estrogens, such as diethlylstilbestrol, can result in the above-mentioned reproductive defects. The growing number of reports demonstrating that common environmental contaminants and natural factors possess estrogenic activity presents the working hypothesis that the adverse trends in male reproductive health may be, at least in part, associated with exposure to estrogenic or other hormonally active (e.g., antiandrogenic) environmental chemicals during fetal and childhood development. An extensive research program is needed to understand the extent of the problem, its underlying etiology, and the development of a strategy for prevention and intervention.Supported by EU Contract BMH4-CT96-0314

Paradoxical euthyroid hormone profile in a case of Graves' disease with cardiac failure

Cardiac failure is an uncommon complication of juvenile hyperthyroidism. We describe an adolescent boy with Graves' disease who developed manifestations of heart failure while on antithyroid medications. There was no evidence of any underlying cardiac disease. He had paradoxical euthyroid hormone profile which rose to hyperthyroid range when the manifestations of the cardiac failure subsided. The case highlights several unusual features of Graves' disease