Compositionality for Quantitative Specifications

We provide a framework for compositional and iterative design and verification of systems with quantitative information, such as rewards, time or energy. It is based on disjunctive modal transition systems where we allow actions to bear various types of quantitative information. Throughout the design process the actions can be further refined and the information made more precise. We show how to compute the results of standard operations on the systems, including the quotient (residual), which has not been previously considered for quantitative non-deterministic systems. Our quantitative framework has close connections to the modal nu-calculus and is compositional with respect to general notions of distances between systems and the standard operations

Influence of Anaesthesia on Mobilisation Following Hip Fracture Surgery : An Observational Study: 麻醉技術對髖部骨折病人術後活動能力的影響：一項觀察性研究

Background Anaesthetic technique can influence mortality and morbidity following hip fracture surgery. However, its influence on postoperative mobilisation is not clear. In this study, we evaluated the influence of anaesthetic technique on postoperative mobilisation. Methods In this prospective observational study, we included all consecutive patients who underwent surgery for hip fracture between 1 January 2012 and 31 December 2013 at our institution. Any patients who died prior to mobilisation or who could not be followed up after surgery were excluded. Data was collected on demographics, clinical characteristics, anaesthesia technique and surgical factors, and date and time of admission, operation, first mobilisation and discharge. Results Of the 1040 patients included in the analysis, 264 received general anaesthesia only (Group GA), 322 received general anaesthesia with regional anaesthesia (Group GARA), and 454 received central neuraxial blockade anaesthesia with or without sedation (Group CNB). There was no significant difference in age (p = 0.56), sex (p = 0.23), number of comorbidities (p = 0.06), residential status (p = 0.18), time to surgery (p = 0.10) and length of hospital stay (p = 0.30) between the three groups. There was a statistically significant difference in ASA grade (p = 0.01), implant type used (p = 0.04), grade of operating surgeon (p = 0.02) and grade of anaesthetist during surgery (p = 0.004) among the three groups. Patients in Group GARA had a median time-to-first mobilisation of 23.8 hours after surgery, compared to 24.1 hours in Group GA and 24.3 hours in Group CNB. This difference was not statistically significant after controlling for confounding factors (p = 0.45). Conclusion Our results show that anaesthetic technique does not influence time-to-first mobilisation after hip fracture surgery

Towards a theory of close analysis for dispute mediation discourse

Mediation is an alternative dispute resolution process that is becoming more and more popular particularly in English-speaking countries. In contrast to traditional litigation it has not benefited from technological advances and little research has been carried out to make this increasingly widespread practice more efficient. The study of argumentation in disputemediation hitherto has largely been concerned with theoretical insights. The development of argumentation theories linked to computational applications opens promising new horizons since computational tools could support mediators, making sessions quicker and more efficient.For this, we need tools for close analysis of mediation discourse in order to explore the argumentative activity in depth, and ultimately get an accurate image of how dialogues unfold in this particular context. This paper therefore aims at laying the foundations of a theory of close analysis for discourse in dispute mediation. Theories provided by the literature serve as a basis for argumentative analyses of transcripts of mediation sessions in order to deliver a clear image of the argumentative structure. Analyses of the argumentative strategies in mediationdiscourse will allow for the development of a dialogue protocol that can be used to develop operational models which can be embodied in software to help make the mediation process easier and more effective

Mechanisms driving variability in the ocean forcing of Pine Island Glacier

Pine Island Glacier (PIG) terminates in a rapidly melting ice shelf, and ocean circulation and temperature are implicated in the retreat and growing contribution to sea level rise of PIG and nearby glaciers. However, the variability of the ocean forcing of PIG has been poorly constrained due to a lack of multi-year observations. Here we show, using a unique record close to the Pine Island Ice Shelf (PIIS), that there is considerable oceanic variability at seasonal and interannual timescales, including a pronounced cold period from October 2011 to May 2013. This variability can be largely explained by two processes: cumulative ocean surface heat fluxes and sea ice formation close to PIIS; and interannual reversals in ocean currents and associated heat transport within Pine Island Bay, driven by a combination of local and remote forcing. Local atmospheric forcing therefore plays an important role in driving oceanic variability close to PIIS

Pneumococcal carriage in sub-Saharan Africa--a systematic review.

BACKGROUND: Pneumococcal epidemiology varies geographically and few data are available from the African continent. We assess pneumococcal carriage from studies conducted in sub-Saharan Africa (sSA) before and after the pneumococcal conjugate vaccine (PCV) era. METHODS: A search for pneumococcal carriage studies published before 2012 was conducted to describe carriage in sSA. The review also describes pneumococcal serotypes and assesses the impact of vaccination on carriage in this region. RESULTS: Fifty-seven studies were included in this review with the majority (40.3%) from South Africa. There was considerable variability in the prevalence of carriage between studies (I-squared statistic = 99%). Carriage was higher in children and decreased with increasing age, 63.2% (95% CI: 55.6-70.8) in children less than 5 years, 42.6% (95% CI: 29.9-55.4) in children 5-15 years and 28.0% (95% CI: 19.0-37.0) in adults older than 15 years. There was no difference in the prevalence of carriage between males and females in 9/11 studies. Serotypes 19F, 6B, 6A, 14 and 23F were the five most common isolates. A meta-analysis of four randomized trials of PCV vaccination in children aged 9-24 months showed that carriage of vaccine type (VT) serotypes decreased with PCV vaccination; however, overall carriage remained the same because of a concomitant increase in non-vaccine type (NVT) serotypes. CONCLUSION: Pneumococcal carriage is generally high in the African continent, particularly in young children. The five most common serotypes in sSA are among the top seven serotypes that cause invasive pneumococcal disease in children globally. These serotypes are covered by the two PCVs recommended for routine childhood immunization by the WHO. The distribution of serotypes found in the nasopharynx is altered by PCV vaccination

Rapidity and Centrality Dependence of Proton and Anti-proton Production from Au+Au Collisions at sqrt(sNN) = 130GeV

We report on the rapidity and centrality dependence of proton and anti-proton transverse mass distributions from Au+Au collisions at sqrt(sNN) = 130GeV as measured by the STAR experiment at RHIC. Our results are from the rapidity and transverse momentum range of |y|<0.5 and 0.35 <p_t<1.00GeV/c. For both protons and anti-protons, transverse mass distributions become more convex from peripheral to central collisions demonstrating characteristics of collective expansion. The measured rapidity distributions and the mean transverse momenta versus rapidity are flat within |y|<0.5. Comparisons of our data with results from model calculations indicate that in order to obtain a consistent picture of the proton(anti-proton) yields and transverse mass distributions the possibility of pre-hadronic collective expansion may have to be taken into account.Comment: 4 pages, 3 figures, 1 table, submitted to PR

A seasonal cycle in the export of bottom water from the Weddell Sea

Dense water formed over the Antarctic continental shelf rapidly descends into the deep ocean where it spreads throughout the global ocean as Antarctic Bottom Water1, 2. The coldest and most voluminous component of this water mass is Weddell Sea bottom water1, 3, 4, 5, 6, 7. Here we present observations over eight years of the temperature and salinity stratification in the lowermost ocean southeast of the South Orkney Islands, marking the export of Weddell Sea bottom water. We observe a pronounced seasonal cycle in bottom temperatures, with a cold pulse in May/June and a warm one in October/November, but the timing of these phases varies each year. We detect the coldest bottom water in 1999 and 2002, whereas there was no cold phase in 2000. On the basis of current velocities and water mass characteristics, we infer that the pulses originate from the southwest Weddell Sea. We propose that the seasonal fluctuations of Weddell Sea bottom-water properties are governed by the seasonal cycle of the winds over the western margin of the Weddell Sea. Interannual fluctuations are linked to the variability of the wind-driven Weddell Sea gyre and hence to large-scale climate phenomena such as the Southern Annular Mode and El Niño/Southern Oscillation

Probing strongly coupled anisotropic plasma

We calculate the static potential, the drag force and the jet quenching parameter in strongly coupled anisotropic N=4 super Yang-Mills plasma. We find that the jet quenching is in general enhanced in presence of anisotropy compared to the isotropic case and that its value depends strongly on the direction of the moving quark and the direction along which the momentum broadening occurs. The jet quenching is strongly enhanced for a quark moving along the anisotropic direction and momentum broadening happens along the transverse one. The parameter gets lower for a quark moving along the transverse direction and the momentum broadening considered along the anisotropic one. Finally, a weaker enhancement is observed when the quark moves in the transverse plane and the broadening occurs on the same plane. The drag force for quark motion parallel to the anisotropy is always enhanced. For motion in the transverse space the drag force is enhanced compared to the isotropic case only for quarks having velocity above a critical value. Below this critical value the force is decreased. Moreover, the drag force along the anisotropic direction is always stronger than the force in the transverse space. The diffusion time follows exactly the inverse relations of the drag forces. The static potential is decreased and stronger decrease observed for quark-antiquark pair aligned along the anisotropic direction than the transverse one. We finally comment on our results and elaborate on their similarities and differences with the weakly coupled plasmas.Comment: 1+44 pages, 18 Figures; Added results on static force; Added references; version published in JHE

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Vitamin D supplementation and breast cancer prevention : a systematic review and meta-analysis of randomized clinical trials

In recent years, the scientific evidence linking vitamin D status or supplementation to breast cancer has grown notably. To investigate the role of vitamin D supplementation on breast cancer incidence, we conducted a systematic review and meta-analysis of randomized controlled trials comparing vitamin D with placebo or no treatment. We used OVID to search MEDLINE (R), EMBASE and CENTRAL until April 2012. We screened the reference lists of included studies and used the “Related Article” feature in PubMed to identify additional articles. No language restrictions were applied. Two reviewers independently extracted data on methodological quality, participants, intervention, comparison and outcomes. Risk Ratios and 95% Confident Intervals for breast cancer were pooled using a random-effects model. Heterogeneity was assessed using the I2 test. In sensitivity analysis, we assessed the impact of vitamin D dosage and mode of administration on treatment effects. Only two randomized controlled trials fulfilled the pre-set inclusion criteria. The pooled analysis included 5372 postmenopausal women. Overall, Risk Ratios and 95% Confident Intervals were 1.11 and 0.74–1.68. We found no evidence of heterogeneity. Neither vitamin D dosage nor mode of administration significantly affected breast cancer risk. However, treatment efficacy was somewhat greater when vitamin D was administered at the highest dosage and in combination with calcium (Risk Ratio 0.58, 95% Confident Interval 0.23–1.47 and Risk Ratio 0.93, 95% Confident Interval 0.54–1.60, respectively). In conclusions, vitamin D use seems not to be associated with a reduced risk of breast cancer development in postmenopausal women. However, the available evidence is still limited and inadequate to draw firm conclusions. Study protocol code: FARM8L2B5L