Practical Verification of Decision-Making in Agent-Based Autonomous Systems

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex log- ical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this devel- opment. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a sepa- rate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems

Search for new physics in the multijet and missing transverse momentum final state in proton-proton collisions at √s=8 Tev

Peer reviewe

Study of hadronic event-shape variables in multijet final states in pp collisions at √s=7 TeV

Peer reviewe

Measurement of Higgs boson production and properties in the WW decay channel with leptonic final states

Peer reviewe

Constraints on parton distribution functions and extraction of the strong coupling constant from the inclusive jet cross section in pp collisions at √s=7 TeV

Peer reviewe

Short- and long-lasting tinnitus relief induced by transcranial direct current stimulation

A significant proportion of the population suffers from tinnitus, a bothersome auditory phantom perception that can severely alter the quality of life. Numerous experimental studies suggests that a maladaptive plasticity of the auditory and limbic cortical areas may underlie tinnitus. Accordingly, repetitive transcranial magnetic stimulation (rTMS) has been repeatedly used with success to reduce tinnitus intensity. The potential of transcranial direct current stimulation (tDCS), another promising method of noninvasive brain stimulation, to relieve tinnitus has not been explored systematically. In a double-blind, placebo-controlled and balanced order design, 20 patients suffering from chronic untreatable tinnitus were submitted to 20 minutes of 1 mA anodal, cathodal and sham tDCS targeting the left temporoparietal area. The primary outcome measure was a change in tinnitus intensity or discomfort assessed with a Visual Analogic Scale (VAS) change-scale immediately after tDCS and 1 hour later. Compared to sham tDCS, anodal tDCS significantly reduced tinnitus intensity immediately after stimulation; whereas cathodal tDCS failed to do so. The variances of the tinnitus intensity and discomfort VAS change-scales increased dramatically after anodal and cathodal tDCS, whereas they remained virtually unchanged after sham tDCS. Moreover, several patients unexpectedly reported longer-lasting effects (at least several days) such as tinnitus improvement, worsening, or changes in tinnitus features, more frequently after real than sham tDCS. Anodal tDCS is a promising therapeutic tool for modulating tinnitus perception. Moreover, both anodal and cathodal tDCS seem able to alter tinnitus perception and could, thus, be used to trigger plastic changes

Study of double parton scattering using W+2-jet events in proton-proton collisions at √s=7 TeV

Peer reviewe

Search for Dark Matter and Supersymmetry with a Compressed Mass Spectrum in the Vector Boson Fusion Topology in Proton-Proton Collisions at root s=8 TeV

Peer reviewe

Measurements of the tt¯ charge asymmetry using the dilepton decay channel in pp collisions at √s=7 TeV

Peer reviewe

Standing orders for influenza and pneumococcal polysaccharide vaccination: Correlates identified in a national survey of U.S. Primary care physicians

<p>Abstract</p> <p>Background</p> <p>Standing orders programs (SOPs) allow non-physician medical staff to assess eligibility and administer vaccines without a specific physician's order. SOPs increase vaccination rates but are underutilized.</p> <p>Method</p> <p>In 2009, correlates of SOPs use for influenza vaccine and pneumococcal polysaccharide vaccination (PPV) were assessed in a nationally representative, stratified random sample of U.S. physicians (n = 880) in family and internal medicine who provided office immunization. The response rate was 67%. Physicians reporting no SOPs, only influenza SOPs, and joint influenza and PPV SOPs were compared using multinomial and logistic regression models to examine individual and practice-level correlates.</p> <p>Results</p> <p>23% reported using SOPs consistently for both influenza vaccine and PPV, and 20% for influenza vaccination only, with the remainder not using SOPs. Practice-level factors that distinguished practices with joint influenza-PPV SOPs included perceived practice openness to change, strong practice teamwork, access to an electronic medical record, presence of an immunization champion in the practice, and access to nurse/physician assistant staff as opposed to medical assistants alone.</p> <p>Discussion</p> <p>Physicians in practices with SOPs for both vaccines reported greater awareness of ACIP recommendations and/or Medicare regulations and were more likely to agree that SOPs are an effective way to boost vaccination coverage. However, implementation of both influenza and PPV SOPs was also associated with a variety of practice-level factors, including teamwork, the presence of an immunization champion, and greater availability of clinical assistants with advanced training.</p> <p>Conclusions</p> <p>Practice-level factors are critical for the adoption of more complex SOPs, such as joint SOPs for influenza and PPV.</p