Explicit Model Checking of Very Large MDP using Partitioning and Secondary Storage

The applicability of model checking is hindered by the state space explosion problem in combination with limited amounts of main memory. To extend its reach, the large available capacities of secondary storage such as hard disks can be exploited. Due to the specific performance characteristics of secondary storage technologies, specialised algorithms are required. In this paper, we present a technique to use secondary storage for probabilistic model checking of Markov decision processes. It combines state space exploration based on partitioning with a block-iterative variant of value iteration over the same partitions for the analysis of probabilistic reachability and expected-reward properties. A sparse matrix-like representation is used to store partitions on secondary storage in a compact format. All file accesses are sequential, and compression can be used without affecting runtime. The technique has been implemented within the Modest Toolset. We evaluate its performance on several benchmark models of up to 3.5 billion states. In the analysis of time-bounded properties on real-time models, our method neutralises the state space explosion induced by the time bound in its entirety.Comment: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24953-7_1

Losing the desire: selection can promote obligate asexuality

Whilst parthenogenesis has evolved multiple times from sexual invertebrate and vertebrate lineages, the drivers and consequences of the sex-asex transition remain mostly uncertain. A model by Stouthamer et al. recently published in BMC Evolutionary Biology shows a pathway by which obligate asexuality could be selected for following endosymbiont infection

The morphologies of massive galaxies at 1 < z < 3 in the CANDELS-UDS field : compact bulges, and the rise and fall of massive discs

We have used high-resolution, Hubble Space Telescope, near-infrared imaging to conduct a detailed analysis of the morphological properties of the most massive galaxies at high redshift, modelling the WFC3/IR H-160-band images of the similar or equal to 200 galaxies in the CANDELS-UDS field with photometric redshifts 1 10(11)M(circle dot). We have explored the results of fitting single-Sersic and bulge+disc models, and have investigated the additional errors and potential biases introduced by uncertainties in the background and the on-image point spread function. This approach has enabled us to obtain formally acceptable model fits to the WFC3/IR images of > 90 per cent of the galaxies. Our results indicate that these massive galaxies at 1 2 the compact bulges display effective radii a factor of similar or equal to 4 smaller than local ellipticals of comparable mass. These trends also appear to extend to the bulge components of disc-dominated galaxies. In addition, we find that, while such massive galaxies at low redshift are generally bulge-dominated, at redshifts 1 2 they are mostly disc-dominated. The majority of the disc-dominated galaxies are actively forming stars, although this is also true for many of the bulge-dominated systems. Interestingly, however, while most of the quiescent galaxies are bulge-dominated, we find that a significant fraction (25-40 per cent) of the most quiescent galaxies, with specific star formation rates sSFR < 10(-10) yr(-1), have disc-dominated morphologies. Thus, while our results show that the massive galaxy population is undergoing dramatic changes at this crucial epoch, they also suggest that the physical mechanisms which quench star formation activity are not simply connected to those responsible for the morphological transformation of massive galaxies into present-day giant ellipticals

Why is it difficult to implement e-health initiatives? A qualitative study

&lt;b&gt;Background&lt;/b&gt; The use of information and communication technologies in healthcare is seen as essential for high quality and cost-effective healthcare. However, implementation of e-health initiatives has often been problematic, with many failing to demonstrate predicted benefits. This study aimed to explore and understand the experiences of implementers - the senior managers and other staff charged with implementing e-health initiatives and their assessment of factors which promote or inhibit the successful implementation, embedding, and integration of e-health initiatives.&lt;p&gt;&lt;/p&gt; &lt;b&gt;Methods&lt;/b&gt; We used a case study methodology, using semi-structured interviews with implementers for data collection. Case studies were selected to provide a range of healthcare contexts (primary, secondary, community care), e-health initiatives, and degrees of normalization. The initiatives studied were Picture Archiving and Communication System (PACS) in secondary care, a Community Nurse Information System (CNIS) in community care, and Choose and Book (C&#38;B) across the primary-secondary care interface. Implementers were selected to provide a range of seniority, including chief executive officers, middle managers, and staff with 'on the ground' experience. Interview data were analyzed using a framework derived from Normalization Process Theory (NPT).&lt;p&gt;&lt;/p&gt; &lt;b&gt;Results&lt;/b&gt; Twenty-three interviews were completed across the three case studies. There were wide differences in experiences of implementation and embedding across these case studies; these differences were well explained by collective action components of NPT. New technology was most likely to 'normalize' where implementers perceived that it had a positive impact on interactions between professionals and patients and between different professional groups, and fit well with the organisational goals and skill sets of existing staff. However, where implementers perceived problems in one or more of these areas, they also perceived a lower level of normalization.&lt;p&gt;&lt;/p&gt; &lt;b&gt;Conclusions&lt;/b&gt; Implementers had rich understandings of barriers and facilitators to successful implementation of e-health initiatives, and their views should continue to be sought in future research. NPT can be used to explain observed variations in implementation processes, and may be useful in drawing planners' attention to potential problems with a view to addressing them during implementation planning

Optical Magnetometry

Some of the most sensitive methods of measuring magnetic fields utilize interactions of resonant light with atomic vapor. Recent developments in this vibrant field are improving magnetometers in many traditional areas such as measurement of geomagnetic anomalies and magnetic fields in space, and are opening the door to new ones, including, dynamical measurements of bio-magnetic fields, detection of nuclear magnetic resonance (NMR), magnetic-resonance imaging (MRI), inertial-rotation sensing, magnetic microscopy with cold atoms, and tests of fundamental symmetries of Nature.Comment: 11 pages; 4 figures; submitted to Nature Physic

Structural parameters of galaxies in CANDELS

We present global structural parameter measurements of 109,533 unique, H-F160W-selected objects from the CANDELS multi-cycle treasury program. Sersic model fits for these objects are produced with GALFIT in all available near-infrared filters (H-F160W, J(F125W) and, for a subset, Y-F105W). The parameters of the best-fitting Sersic models (total magnitude, half-light radius, Sersic index, axis ratio, and position angle) are made public, along with newly constructed point-spread functions for each field and filter. Random uncertainties in the measured parameters are estimated for each individual object based on a comparison between multiple, independent measurements of the same set of objects. To quantify systematic uncertainties, we create a mosaic with simulated galaxy images with a realistic distribution of input parameters and then process and analyze the mosaic in an identical manner as the real data. We find that accurate and precise measurements-to 10% or better-of all structural parameters can typically be obtained for galaxies with H-F160W < 23, with comparable fidelity for basic size and shape measurements for galaxies to H-F160W similar to 24.5

Quantitative conversations: the importance of developing rapport in standardised interviewing

© 2014, The Author(s). When developing household surveys, much emphasis is understandably placed on developing survey instruments that can elicit accurate and comparable responses. In order to ensure that carefully crafted questions are not undermined by ‘interviewer effects’, standardised interviewing tends to be utilised in preference to conversational techniques. However, by drawing on a behaviour coding analysis of survey paradata arising from the 2012 UK Poverty and Social Exclusion Survey we show that in practice standardised survey interviewing often involves extensive unscripted conversation between the interviewer and the respondent. Whilst these interactions can enhance response accuracy, cooperation and ethicality, unscripted conversations can also be problematic in terms of survey reliability and the ethical conduct of survey interviews, as well as raising more basic epistemological questions concerning the degree of standardisation typically assumed within survey research. We conclude that better training in conversational techniques is necessary, even when applying standardised interviewing methodologies. We also draw out some theoretical implications regarding the usefulness of the qualitative–quantitative dichotomy

Parvovirus B19 infection in Tunisian patients with sickle-cell anemia and acute erythroblastopenia

<p>Abstract</p> <p>Background</p> <p>Human parvovirus B19 is the etiologic agent of erythema infectiosum in children. It is also associated with other clinical manifestations in different target groups. Patients with chronic hemolytic anemia are at high risk of developing acute erythroblastopenia following infection by the virus. They usually become highly viremic and pose an increased risk of virus transmission. Close monitoring of such high risk groups is required for epidemiologic surveillance and disease prevention activities. Here we report a molecular epidemiological study on B19 virus infection in Tunisian patients with chronic hemolytic anemia.</p> <p>Methods</p> <p>This study was conducted on 92 young chronic hemolytic anemia patients who attended the same ward at the National Bone Marrow Transplantation Center of Tunis and 46 controls from a different hospital. Screening for IgM and IgG anti-B19 antibodies was performed using commercially available enzyme immunoassays and B19 DNA was detected by nested PCR in the overlapping <it>VP1/VP2 </it>region. DNA was sequenced using dideoxy-terminator cycle sequencing technology.</p> <p>Results</p> <p>Anti-parvovirus B19 IgG antibodies were detected in 26 of 46 sickle-cell anemia patients, 18 of 46 β-thalassemia and 7 of 46 controls. Anti-parvovirus B19 IgM antibodies were detected only in 4 of the sickle-cell anemia patients: two siblings and two unrelated who presented with acute erythroblastopenia at the time of blood collection for this study and had no history of past transfusion. B19 DNA was detected only in sera of these four patients and the corresponding 288 bp nested DNA amplicons were sequenced. The sequences obtained were all identical and phylogenetic analysis showed that they belonged to a new B19 virus strain of Genotype1.</p> <p>Conclusion</p> <p>A new parvovirus B19 strain of genotype1 was detected in four Tunisian patients with sickle-cell anemia. Virus transmission appeared to be nosocomial and resulted in acute erythroblastopenia in the four patients. The possibility of independent transmission of this B19 variant to the patients is unlikely in light of the present epidemiological data. However this possibility cannot be ruled out because of the low genetic variability of the virus.</p

Contrasting impacts of heat stress on violent and nonviolent robbery in Beijing, China

Previous studies investigating the relation between heat stress and crime incidents often focus on violent crimes. In this study, the impacts of heat stress on two types of robbery (violent and nonviolent) in China are compared using crime statistics collected in Beijing and heat stress indices that consider the combined effects of temperature and humidity. The results indicate that the abrupt change in the trend of robbery rates is affected by the 2008 Beijing Olympic Games. The nonviolent robbery rates have a more pronounced seasonality and are better correlated with heat stress at daily scales, especially during the period from 2009 to 2014 when no trend exists. The results also demonstrate that both violent and nonviolent robbery rates significantly increase with heat stress in spring. The nonviolent robbery rates also significantly increase with heat stress in summer. The influence of heat stress on violent robbery rate is more complicated and nonlinear

Poly-substance use and antisocial personality traits at admission predict cumulative retention in a buprenorphine programme with mandatory work and high compliance profile

Background: Continuous abstinence and retention in treatment for alcohol and drug use disorders are central challenges for the treatment providers. The literature has failed to show consistent, strong predictors of retention. Predictors and treatment structure may differ across treatment modalities. In this study the structure was reinforced by the addition of supervised urine samples three times a week and mandatory daily work/structured education activities as a prerequisite of inclusion in the program. Methods: Of 128 patients consecutively admitted to buprenorphine maintenance treatment five patients dropped out within the first week. Of the remaining 123 demographic data and psychiatric assessment were used to predict involuntary discharge from treatment and corresponding cumulative abstinence probability. All subjects were administered the Structured Clinical Interview for DSM-IV-TR, and the Symptom Checklist 90 (SCL-90), the Alcohol Use Disorder Identification Test (AUDIT), the Swedish universities Scales of Personality (SSP) and the Sense of Coherence Scale (SOC), all self-report measures. Some measures were repeated every third month in addition to interviews. Results: Of 123 patients admitted, 86 (70%) remained in treatment after six months and 61 (50%) remained in treatment after 12 months. Of those discharged involuntarily, 34/62 individuals were readmitted after a suspension period of three months. Younger age at intake, poly-substance abuse at intake (number of drugs in urine), and number of conduct disorder criteria on the SCID Screen were independently associated with an increased risk of involuntary discharge. There were no significant differences between dropouts and completers on SCL-90, SSP, SOC or AUDIT. Conclusion: Of the patients admitted to the programme 50% stayed for the first 12 months with continuous abstinence and daily work. Poly-substance use before intake into treatment, high levels of conduct disorder on SCID screen and younger age at intake had a negative impact on retention and abstinence