Density classification on infinite lattices and trees

Consider an infinite graph with nodes initially labeled by independent Bernoulli random variables of parameter p. We address the density classification problem, that is, we want to design a (probabilistic or deterministic) cellular automaton or a finite-range interacting particle system that evolves on this graph and decides whether p is smaller or larger than 1/2. Precisely, the trajectories should converge to the uniform configuration with only 0's if p1/2. We present solutions to that problem on the d-dimensional lattice, for any d>1, and on the regular infinite trees. For Z, we propose some candidates that we back up with numerical simulations

Improving Strategies via SMT Solving

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete

Transport by molecular motors in the presence of static defects

The transport by molecular motors along cytoskeletal filaments is studied theoretically in the presence of static defects. The movements of single motors are described as biased random walks along the filament as well as binding to and unbinding from the filament. Three basic types of defects are distinguished, which differ from normal filament sites only in one of the motors' transition probabilities. Both stepping defects with a reduced probability for forward steps and unbinding defects with an increased probability for motor unbinding strongly reduce the velocities and the run lengths of the motors with increasing defect density. For transport by single motors, binding defects with a reduced probability for motor binding have a relatively small effect on the transport properties. For cargo transport by motors teams, binding defects also change the effective unbinding rate of the cargo particles and are expected to have a stronger effect.Comment: 20 pages, latex, 7 figures, 1 tabl

Multiwavelength studies of MHD waves in the solar chromosphere: An overview of recent results

The chromosphere is a thin layer of the solar atmosphere that bridges the relatively cool photosphere and the intensely heated transition region and corona. Compressible and incompressible waves propagating through the chromosphere can supply significant amounts of energy to the interface region and corona. In recent years an abundance of high-resolution observations from state-of-the-art facilities have provided new and exciting ways of disentangling the characteristics of oscillatory phenomena propagating through the dynamic chromosphere. Coupled with rapid advancements in magnetohydrodynamic wave theory, we are now in an ideal position to thoroughly investigate the role waves play in supplying energy to sustain chromospheric and coronal heating. Here, we review the recent progress made in characterising, categorising and interpreting oscillations manifesting in the solar chromosphere, with an impetus placed on their intrinsic energetics.Comment: 48 pages, 25 figures, accepted into Space Science Review

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Jet size dependence of single jet suppression in lead-lead collisions at sqrt(s(NN)) = 2.76 TeV with the ATLAS detector at the LHC

Measurements of inclusive jet suppression in heavy ion collisions at the LHC provide direct sensitivity to the physics of jet quenching. In a sample of lead-lead collisions at sqrt(s) = 2.76 TeV corresponding to an integrated luminosity of approximately 7 inverse microbarns, ATLAS has measured jets with a calorimeter over the pseudorapidity interval |eta| < 2.1 and over the transverse momentum range 38 < pT < 210 GeV. Jets were reconstructed using the anti-kt algorithm with values for the distance parameter that determines the nominal jet radius of R = 0.2, 0.3, 0.4 and 0.5. The centrality dependence of the jet yield is characterized by the jet "central-to-peripheral ratio," Rcp. Jet production is found to be suppressed by approximately a factor of two in the 10% most central collisions relative to peripheral collisions. Rcp varies smoothly with centrality as characterized by the number of participating nucleons. The observed suppression is only weakly dependent on jet radius and transverse momentum. These results provide the first direct measurement of inclusive jet suppression in heavy ion collisions and complement previous measurements of dijet transverse energy imbalance at the LHC.Comment: 15 pages plus author list (30 pages total), 8 figures, 2 tables, submitted to Physics Letters B. All figures including auxiliary figures are available at http://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/HION-2011-02

Functional Anatomy of the Female Pelvic Floor

The anatomic structures in the female that prevent incontinence and genital organ prolapse on increases in abdominal pressure during daily activities include sphincteric and supportive systems. In the urethra, the action of the vesical neck and urethral sphincteric mechanisms maintains urethral closure pressure above bladder pressure. Decreases in the number of striated muscle fibers of the sphincter occur with age and parity. A supportive hammock under the urethra and vesical neck provides a firm backstop against which the urethra is compressed during increases in abdominal pressure to maintain urethral closure pressures above the rapidly increasing bladder pressure. This supporting layer consists of the anterior vaginal wall and the connective tissue that attaches it to the pelvic bones through the pubovaginal portion of the levator ani muscle, and the uterosacral and cardinal ligaments comprising the tendinous arch of the pelvic fascia. At rest the levator ani maintains closure of the urogenital hiatus. They are additionally recruited to maintain hiatal closure in the face of inertial loads related to visceral accelerations as well as abdominal pressurization in daily activities involving recruitment of the abdominal wall musculature and diaphragm. Vaginal birth is associated with an increased risk of levator ani defects, as well as genital organ prolapse and urinary incontinence. Computer models indicate that vaginal birth places the levator ani under tissue stretch ratios of up to 3.3 and the pudendal nerve under strains of up to 33%, respectively. Research is needed to better identify the pathomechanics of these conditions.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72597/1/annals.1389.034.pd

A systematic review of clinical decision support systems for antimicrobial management: are we failing to investigate these interventions appropriately?

Objectives Clinical decision support systems (CDSS) for antimicrobial management can support clinicians to optimize antimicrobial therapy. We reviewed all original literature (qualitative and quantitative) to understand the current scope of CDSS for antimicrobial management and analyse existing methods used to evaluate and report such systems. Method PRISMA guidelines were followed. Medline, EMBASE, HMIC Health and Management and Global Health databases were searched from 1 January 1980 to 31 October 2015. All primary research studies describing CDSS for antimicrobial management in adults in primary or secondary care were included. For qualitative studies, thematic synthesis was performed. Quality was assessed using Integrated quality Criteria for the Review Of Multiple Study designs (ICROMS) criteria. CDSS reporting was assessed against a reporting framework for behaviour change intervention implementation. Results Fifty-eight original articles were included describing 38 independent CDSS. The majority of systems target antimicrobial prescribing (29/38;76%), are platforms integrated with electronic medical records (28/38;74%), and have a rules-based infrastructure providing decision support (29/38;76%). On evaluation against the intervention reporting framework, CDSS studies fail to report consideration of the non-expert, end-user workflow. They have narrow focus, such as antimicrobial selection, and use proxy outcome measures. Engagement with CDSS by clinicians was poor. Conclusion Greater consideration of the factors that drive non-expert decision making must be considered when designing CDSS interventions. Future work must aim to expand CDSS beyond simply selecting appropriate antimicrobials with clear and systematic reporting frameworks for CDSS interventions developed to address current gaps identified in the reporting of evidence

Insertional mutation of the hairless locus on mouse Chromosome 14

Crosses between heterozygous transgenic mice from line 5053 produced offspring with progressive irreversible hair loss beginning at day 10. With increasing age, the skin of these animals became thicker and plicated in appearance. Histological analysis revealed the complete absence of normal hair follicles and numerous intradermic cystic structures, which enlarged with time and became filled with keratinaceous material. Test crosses demonstrated that the affected animals are homozygous for the transgene insertion. The clinicla and histological phenotype of the new mutant closely resembles that of the rhino allele at the hairless locus on Chromosome (Chr) 14. Complementation tests and linkage analysis indicate that the transgene has interrupted the hairless locus. It has been demonstrated previously that mutation at the hr locus is accompanied by a variety of immune deficiencies. Many of the older affected transgenic mice developed an impetigo-like skin eruption which responded to antibiotic ointment and which may reflect impaired immune function. The transgenic allele, hr TgN5053Mm , will be useful for identification of the transcription unit of the hairless locus.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/47000/1/335_2004_Article_BF00360900.pd