Liveness-Driven Random Program Generation

Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing random program generators may generate large amounts of dead code (computations whose result is never used). This leaves relatively little code to exercise a target compiler's more complex optimizations. To address this shortcoming, we introduce liveness-driven random program generation. In this approach the random program is constructed bottom-up, guided by a simultaneous structural data-flow analysis to ensure that the generator never generates dead code. The algorithm is implemented as a plugin for the Frama-C framework. We evaluate it in comparison to Csmith, the standard random C program generator. Our tool generates programs that compile to more machine code with a more complex instruction mix.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Wolbachia and DNA barcoding insects: patterns, potential and problems

Wolbachia is a genus of bacterial endosymbionts that impacts the breeding systems of their hosts. Wolbachia can confuse the patterns of mitochondrial variation, including DNA barcodes, because it influences the pathways through which mitochondria are inherited. We examined the extent to which these endosymbionts are detected in routine DNA barcoding, assessed their impact upon the insect sequence divergence and identification accuracy, and considered the variation present in Wolbachia COI. Using both standard PCR assays (Wolbachia surface coding protein – wsp), and bacterial COI fragments we found evidence of Wolbachia in insect total genomic extracts created for DNA barcoding library construction. When >2 million insect COI trace files were examined on the Barcode of Life Datasystem (BOLD) Wolbachia COI was present in 0.16% of the cases. It is possible to generate Wolbachia COI using standard insect primers; however, that amplicon was never confused with the COI of the host. Wolbachia alleles recovered were predominantly Supergroup A and were broadly distributed geographically and phylogenetically. We conclude that the presence of the Wolbachia DNA in total genomic extracts made from insects is unlikely to compromise the accuracy of the DNA barcode library; in fact, the ability to query this DNA library (the database and the extracts) for endosymbionts is one of the ancillary benefits of such a large scale endeavor – for which we provide several examples. It is our conclusion that regular assays for Wolbachia presence and type can, and should, be adopted by large scale insect barcoding initiatives. While COI is one of the five multi-locus sequence typing (MLST) genes used for categorizing Wolbachia, there is limited overlap with the eukaryotic DNA barcode region

Captive reptile mortality rates in the home and implications for the wildlife trade

The trade in wildlife and keeping of exotic pets is subject to varying levels of national and international regulation and is a topic often attracting controversy. Reptiles are popular exotic pets and comprise a substantial component of the live animal trade. High mortality of traded animals raises welfare concerns, and also has implications for conservation if collection from the wild is required to meet demand. Mortality of reptiles can occur at any stage of the trade chain from collector to consumer. However, there is limited information on mortality rates of reptiles across trade chains, particularly amongst final consumers in the home. We investigated mortality rates of reptiles amongst consumers using a specialised technique for asking sensitive questions, additive Randomised Response Technique (aRRT), as well as direct questioning (DQ). Overall, 3.6% of snakes, chelonians and lizards died within one year of acquisition. Boas and pythons had the lowest reported mortality rates of 1.9% and chameleons had the highest at 28.2%. More than 97% of snakes, 87% of lizards and 69% of chelonians acquired by respondents over five years were reported to be captive bred and results suggest that mortality rates may be lowest for captive bred individuals. Estimates of mortality from aRRT and DQ did not differ significantly which is in line with our findings that respondents did not find questions about reptile mortality to be sensitive. This research suggests that captive reptile mortality in the home is rather low, and identifies those taxa where further effort could be made to reduce mortality rate

The effectiveness of problem solving therapy for stroke patients: Study protocol for a pragmatic randomized controlled trial

Background: Coping style is one of the determinants of health-related quality of life after stroke. Stroke patients make less use of active problem-oriented coping styles than other brain damaged patients. Coping styles can be influenced by means of intervention. The primary aim of this study is to investigate if Problem Solving Therapy is an effective group intervention for improving coping style and health-related quality of life in stroke patients. The secondary aim is to determine the effect of Problem Solving Therapy on depression, social participation, health care consumption, and to determine the cost-effectiveness of the intervention.Methods/design: We strive to include 200 stroke patients in the outpatient phase of rehabilitation treatment, using a multicenter pragmatic randomized controlled trial with one year follow-up. Patients in the intervention group will receive Problem Solving Therapy in addition to the standard rehabilitation program. The intervention will be provided in an open group design, with a continuous flow of patients. Primary outcome measures are coping style and health-related quality of life. Secondary outcome measures are depression, social participation, health care consumption, and the cost-effectiveness of the intervention.Discussion: We designed our study as close to the implementation in practice as possible, using a pragmatic randomized trial and open group design, to represent a realistic estimate of the effectiveness of the intervention. If effective, Problem Solving Therapy is an inexpensive, deliverable and sustainable group intervention for stroke rehabilitation programs.Trial registration: Nederlands Trial Register, NTR2509

Predicting fitness to practise events in international medical graduates who registered as UK doctors via the Professional and Linguistic Assessments Board (PLAB) system: a national cohort study

Background International medical graduates working in the UK are more likely to be censured in relation to fitness to practise compared to home graduates. Performance on the General Medical Council’s (GMC’s) Professional and Linguistic Assessments Board (PLAB) tests and English fluency have previously been shown to predict later educational performance in this group of doctors. It is unknown whether the PLAB system is also a valid predictor of unprofessional behaviour and malpractice. The findings would have implications for regulatory policy. Methods This was an observational study linking data relating to fitness to practise events (referral or censure), PLAB performance, demographic variables and English language competence, as evaluated via the International English Language Test System (IELTS). Data from 27,330 international medical graduates registered with the GMC were analysed, including 210 doctors who had been sanctioned in relation to at least one fitness to practise issue. The main outcome was risk of eventual censure (including a warning). Results The significant univariable educational predictors of eventual censure (versus no censures or referrals) were lower PLAB part 1 (hazard ratio [HR], 0.99; 95% confidence interval, 0.98 to 1.00) and part 2 scores (HR, 0.94; 0.91 to 0.97) at first sitting, multiple attempts at both parts of the PLAB, lower IELTS reading (HR, 0.79; 0.65 to 0.94) and listening scores (HR, 0.76; 0.62 to 0.93) and higher IELTS speaking scores (HR, 1.28; 1.04 to 1.57). Multiple resits at either part of the PLAB and higher IELTS speaking score (HR, 1.49; 1.20 to 1.84) were also independent predictors of censure. We estimated that the proposed limit of four attempts at both parts of the PLAB would reduce the risk in this entire group by only approximately two censures per 5 years in this group of doctors. Conclusions Making the PLAB, or any replacement assessment, more stringent and raising the required standards of English reading and listening may result in fewer fitness to practice events in international medical graduates. However, the number of PLAB resits permitted would have to be further capped to meaningfully impact the risk of sanctions in this group of doctor

Strongly exchange-coupled triplet pairs in an organic semiconductor

From biological complexes to devices based on organic semiconductors, spin interactions play a key role in the function of molecular systems. For instance, triplet-pair reactions impact operation of organic light-emitting diodes as well as photovoltaic devices. Conventional models for triplet pairs assume they interact only weakly. Here, using electron spin resonance, we observe long-lived, strongly-interacting triplet pairs in an organic semiconductor, generated via singlet fission. Using coherent spin-manipulation of these two-triplet states, we identify exchange-coupled (spin-2) quintet complexes co-existing with weakly coupled (spin-1) triplets. We measure strongly coupled pairs with a lifetime approaching 3 µs and a spin coherence time approaching 1 µs, at 10 K. Our results pave the way for the utilization of high-spin systems in organic semiconductors.Gates-Cambridge Trust, Winton Programme for the Physics of Sustainability, Freie Universität Berlin within the Excellence Initiative of the German Research Foundation, Engineering and Physical Sciences Research Council (Grant ID: EP/G060738/1)This is the author accepted manuscript. The final version is available from Nature Publishing Group at http://dx.doi.org/10.1038/nphys3908

Local Difference Measures between Complex Networks for Dynamical System Model Evaluation

Acknowledgments We thank Reik V. Donner for inspiring suggestions that initialized the work presented herein. Jan H. Feldhoff is credited for providing us with the STARS simulation data and for his contributions to fruitful discussions. Comments by the anonymous reviewers are gratefully acknowledged as they led to substantial improvements of the manuscript.Peer reviewedPublisher PD

Double-soft limits of gluons and gravitons

Open Access, (c) The Authors. Article funded by SCOAP 3

A Comparative Study of Modern Inference Techniques for Structured Discrete Energy Minimization Problems

International audienceSzeliski et al. published an influential study in 2006 on energy minimization methods for Markov Random Fields (MRF). This study provided valuable insights in choosing the best optimization technique for certain classes of problems. While these insights remain generally useful today, the phenomenal success of random field models means that the kinds of inference problems that have to be solved changed significantly. Specifically , the models today often include higher order interactions, flexible connectivity structures, large label-spaces of different car-dinalities, or learned energy tables. To reflect these changes, we provide a modernized and enlarged study. We present an empirical comparison of more than 27 state-of-the-art optimization techniques on a corpus of 2,453 energy minimization instances from diverse applications in computer vision. To ensure reproducibility, we evaluate all methods in the OpenGM 2 framework and report extensive results regarding runtime and solution quality. Key insights from our study agree with the results of Szeliski et al. for the types of models they studied. However, on new and challenging types of models our findings disagree and suggest that polyhedral methods and integer programming solvers are competitive in terms of runtime and solution quality over a large range of model types

Directed emission of CdSe nanoplatelets originating from strongly anisotropic 2D electronic structure

ntrinsically directional light emitters are potentially important for applications in photonics including lasing and energy-efficient display technology. Here, we propose a new route to overcome intrinsic efficiency limitations in light-emitting devices by studying a CdSe nanoplatelets monolayer that exhibits strongly anisotropic, directed photoluminescence. Analysis of the two-dimensional k-space distribution reveals the underlying internal transition dipole distribution. The observed directed emission is related to the anisotropy of the electronic Bloch states governing the exciton transition dipole moment and forming a bright plane. The strongly directed emission perpendicular to the platelet is further enhanced by the optical local density of states and local fields. In contrast to the emission directionality, the off-resonant absorption into the energetically higher 2D-continuum of states is isotropic. These contrasting optical properties make the oriented CdSe nanoplatelets, or superstructures of parallel-oriented platelets, an interesting and potentially useful class of semiconductor-based emitters