The Pulsed Neutron Beam EDM Experiment

We report on the Beam EDM experiment, which aims to employ a pulsed cold neutron beam to search for an electric dipole moment instead of the established use of storable ultracold neutrons. We present a brief overview of the basic measurement concept and the current status of our proof-of-principle Ramsey apparatus

Telescoping Solar Array Concept for Achieving High Packaging Efficiency

Lightweight, high-efficiency solar arrays are required for future deep space missions using high-power Solar Electric Propulsion (SEP). Structural performance metrics for state-of-the art 30-50 kW flexible blanket arrays recently demonstrated in ground tests are approximately 40 kW/cu m packaging efficiency, 150 W/kg specific power, 0.1 Hz deployed stiffness, and 0.2 g deployed strength. Much larger arrays with up to a megawatt or more of power and improved packaging and specific power are of interest to mission planners for minimizing launch and life cycle costs of Mars exploration. A new concept referred to as the Compact Telescoping Array (CTA) with 60 kW/cu m packaging efficiency at 1 MW of power is described herein. Performance metrics as a function of array size and corresponding power level are derived analytically and validated by finite element analysis. Feasible CTA packaging and deployment approaches are also described. The CTA was developed, in part, to serve as a NASA reference solar array concept against which other proposed designs of 50-1000 kW arrays for future high-power SEP missions could be compared

Learning Moore Machines from Input-Output Traces

The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automata encoding a Moore machine; and (3) the MooreMI algorithm, which directly learns a Moore machine using PTAP extended with state merging. We prove that MooreMI has the fundamental identification in the limit property. We also compare the algorithms experimentally in terms of the size of the learned machine and several notions of accuracy, introduced in this paper. Finally, we compare with OSTIA, an algorithm that learns a more general class of transducers, and find that OSTIA generally does not learn a Moore machine, even when fed with a characteristic sample

Sociobiological Control of Plasmid copy number

Background:
All known mechanisms and genes responsible for the regulation of plasmid replication lie with the plasmid rather than the chromosome. It is possible therefore that there can be copy-up mutants. Copy-up mutants will have within host selective advantage. This would eventually result into instability of bacteria-plasmid association. In spite of this possibility low copy number plasmids appear to exist stably in host populations. We examined this paradox using a computer simulation model.

Model:
Our multilevel selection model assumes a wild type with tightly regulated replication to ensure low copy number. A mutant with slightly relaxed replication regulation can act as a “cheater” or “selfish” plasmid and can enjoy a greater within-host-fitness. However the host of a cheater plasmid has to pay a greater cost. As a result, in host level competition, host cell with low copy number plasmid has a greater fitness. Furthermore, another mutant that has lost the genes required for conjugation was introduced in the model. The non-conjugal mutant was assumed to undergo conjugal transfer in the presence of another conjugal plasmid in the host cell.

Results:
The simulatons showed that if the cost of carrying a plasmid was low, the copy-up mutant could drive the wild type to extinction or very low frequencies. Consequently, another mutant with a higher copy number could invade the first invader. This process could result into an increasing copy number. However above a certain copy number within-host selection was overcompensated by host level selection leading to a rock-paper-scissor (RPS) like situation. The RPS situation allowed the coexistence of high and low copy number plasmids. The non-conjugal “hypercheaters” could further arrest the copy numbers to a substantially lower level.

Conclusions:
These sociobiological interactions might explain the stability of copy numbers better than molecular mechanisms of replication regulation alone

The definition of the European Almond Core collection

The European project 068 AGRI GEN RES 870/2004 has as an aim the definition of the European almond core collection. The methodology for creation of any core collection has to define how best to select entries using complex and incomplete accession data, as well as how and when to revise these decisions over time. The acquisition of data has been based on specific varietal descriptors, including morphological, physiological, phytopathological, genetic and chemical traits, following the descriptors defined by IBPGR/Bioversity, UPOV and the ECP/GR Prunus Working Group. Newly defined traits, not included in these descriptors, have also been considered because they are very important in defining the range of variability of the species. These traits include chilling and heat requirements for blooming, the molecular markers for genotype identification and the different chemical components of the kernel, as possible parameters for defining almond quality. As a result, a strategy to define the almond core collection was identified by highlighting the main steps to achieve in the near future.Peer ReviewedPrunus amygdalus Batschcore collectiongenetic resourcesgermplasmPublishe

Verified lifting of stencil computations

This paper demonstrates a novel combination of program synthesis and verification to lift stencil computations from low-level Fortran code to a high-level summary expressed using a predicate language. The technique is sound and mostly automated, and leverages counter-example guided inductive synthesis (CEGIS) to find provably correct translations. Lifting existing code to a high-performance description language has a number of benefits, including maintainability and performance portability. For example, our experiments show that the lifted summaries can enable domain specific compilers to do a better job of parallelization as compared to an off-the-shelf compiler working on the original code, and can even support fully automatic migration to hardware accelerators such as GPUs. We have implemented verified lifting in a system called STNG and have evaluated it using microbenchmarks, mini-apps, and real-world applications. We demonstrate the benefits of verified lifting by first automatically summarizing Fortran source code into a high-level predicate language, and subsequently translating the lifted summaries into Halide, with the translated code achieving median performance speedups of 4.1X and up to 24X for non-trivial stencils as compared to the original implementation.United States. Department of Energy. Office of Science (Award DE-SC0008923)United States. Department of Energy. Office of Science (Award DE-SC0005288

Inclusive search for same-sign dilepton signatures in pp collisions at root s=7 TeV with the ATLAS detector

An inclusive search is presented for new physics in events with two isolated leptons (e or mu) having the same electric charge. The data are selected from events collected from p p collisions at root s = 7 TeV by the ATLAS detector and correspond to an integrated luminosity of 34 pb(-1). The spectra in dilepton invariant mass, missing transverse momentum and jet multiplicity are presented and compared to Standard Model predictions. In this event sample, no evidence is found for contributions beyond those of the Standard Model. Limits are set on the cross-section in a fiducial region for new sources of same-sign high-mass dilepton events in the ee, e mu and mu mu channels. Four models predicting same-sign dilepton signals are constrained: two descriptions of Majorana neutrinos, a cascade topology similar to supersymmetry or universal extra dimensions, and fourth generation d-type quarks. Assuming a new physics scale of 1 TeV, Majorana neutrinos produced by an effective operator V with masses below 460 GeV are excluded at 95% confidence level. A lower limit of 290 GeV is set at 95% confidence level on the mass of fourth generation d-type quarks

Measurement of the top quark-pair production cross section with ATLAS in pp collisions at \sqrt{s}=7\TeV

A measurement of the production cross-section for top quark pairs(\ttbar) in $pp$ collisions at \sqrt{s}=7 \TeV is presented using data recorded with the ATLAS detector at the Large Hadron Collider. Events are selected in two different topologies: single lepton (electron $e$ or muon $\mu$) with large missing transverse energy and at least four jets, and dilepton ($ee$, $\mu\mu$ or $e\mu$) with large missing transverse energy and at least two jets. In a data sample of 2.9 pb-1, 37 candidate events are observed in the single-lepton topology and 9 events in the dilepton topology. The corresponding expected backgrounds from non-\ttbar Standard Model processes are estimated using data-driven methods and determined to be $12.2 \pm 3.9$ events and $2.5 \pm 0.6$ events, respectively. The kinematic properties of the selected events are consistent with SM \ttbar production. The inclusive top quark pair production cross-section is measured to be \sigmattbar=145 \pm 31 ^{+42}_{-27} pb where the first uncertainty is statistical and the second systematic. The measurement agrees with perturbative QCD calculations.Comment: 30 pages plus author list (50 pages total), 9 figures, 11 tables, CERN-PH number and final journal adde

Comparing nuclear power trajectories in Germany and the UK: from ‘regimes' to ‘democracies’ in sociotechnical transitions and Discontinuities

This paper focuses on arguably the single most striking contrast in contemporary major energy politics in Europe (and even the developed world as a whole): the starkly differing civil nuclear policies of Germany and the UK. Germany is seeking entirely to phase out nuclear power by 2022. Yet the UK advocates a ‘nuclear renaissance’, promoting the most ambitious new nuclear construction programme in Western Europe.Here,this paper poses a simple yet quite fundamental question: what are the particular divergent conditions most strongly implicated in the contrasting developments in these two countries. With nuclear playing such an iconic role in historical discussions over technological continuity and transformation, answering this may assist in wider understandings of sociotechnical incumbency and discontinuity in the burgeoning field of‘sustainability transitions’. To this end, an ‘abductive’ approach is taken: deploying nine potentially relevant criteria for understanding the different directions pursued in Germany and the UK. Together constituted by 30 parameters spanning literatures related to socio-technical regimes in general as well as nuclear technology in particular, the criteria are divided into those that are ‘internal’ and ‘external’ to the ‘focal regime configuration’ of nuclear power and associated ‘challenger technologies’ like renewables. It is ‘internal’ criteria that are emphasised in conventional sociotechnical regime theory, with ‘external’ criteria relatively less well explored. Asking under each criterion whether attempted discontinuation of nuclear power would be more likely in Germany or the UK, a clear picture emerges. ‘Internal’ criteria suggest attempted nuclear discontinuation should be more likely in the UK than in Germany– the reverse of what is occurring. ‘External’ criteria are more aligned with observed dynamics –especially those relating to military nuclear commitments and broader ‘qualities of democracy’. Despite many differences of framing concerning exactly what constitutes ‘democracy’, a rich political science literature on this point is unanimous in characterising Germany more positively than the UK. Although based only on a single case,a potentially important question is nonetheless raised as to whether sociotechnical regime theory might usefully give greater attention to the general importance of various aspects of democracy in constituting conditions for significant technological discontinuities and transformations. If so, the policy implications are significant. A number of important areas are identified for future research, including the roles of diverse understandings and specific aspects of democracy and the particular relevance of military nuclear commitments– whose under-discussion in civil nuclear policy literatures raises its own questions of democratic accountability