Efficient Parallel Statistical Model Checking of Biochemical Networks

We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture

Pluralism about Knowledge

In this paper I consider the prospects for pluralism about knowledge, that is, the view that there is a plurality of knowledge relations. After a brief overview of some views that entail a sort of pluralism about knowledge, I focus on a particular kind of knowledge pluralism I call standards pluralism. Put roughly, standards pluralism is the view that one never knows anything simpliciter. Rather, one knows by this-or-that epistemic standard. Because there is a plurality of epistemic standards, there is a plurality of knowledge relations. In §1 I argue that one can construct an impressive case for standards pluralism. In §2 I clarify the relationship between standards pluralism, epistemic contextualism and epistemic relativism. In §3 I argue that standards pluralism faces a serious objection. The gist of the objection is that standards pluralism is incompatible with plausible claims about the normative role of knowledge. In §4 I finish by sketching the form that a standards pluralist response to this objection might take

Negative Concord in Russian. An Overview

In this article I will describe the general properties of Negative Concord in Russian, which is a strict Negative Concord language, where all negative indefinites must co-occur with sentential negation. However, there are several cases where the negation marker can be absent (like in fragment answers) or can appear in a non-standard position (like at the left of an embedded infinitival). I will take into consideration all these specific cases described by the literature on the negation system of Russian and analyse them according to current approaches to Negative Concord

Bridging Alone: Religious Conservatism, Marital Homogamy, and Voluntary Association Membership

This study characterizes social insularity of religiously conservative American married couples by examining patterns of voluntary associationmembership. Constructing a dataset of 3938 marital dyads from the second wave of the National Survey of Families and Households, the author investigates whether conservative religious homogamy encourages membership in religious voluntary groups and discourages membership in secular voluntary groups. Results indicate that couples’ shared affiliation with conservative denominations, paired with beliefs in biblical authority and inerrancy, increases the likelihood of religious group membership for husbands and wives and reduces the likelihood of secular group membership for wives, but not for husbands. The social insularity of conservative religious groups appears to be reinforced by homogamy—particularly by wives who share faith with husbands

Quantifying TOLNet Ozone Lidar Accuracy During the 2014 DISCOVER-AQ and FRAPP Campaigns

The Tropospheric Ozone Lidar Network (TOLNet) is a unique network of lidar systems that measure high-resolution atmospheric profiles of ozone. The accurate characterization of these lidars is necessary to determine the uniformity of the network calibration. From July to August 2014, three lidars, the TROPospheric OZone (TROPOZ) lidar, the Tunable Optical Profiler for Aerosol and oZone (TOPAZ) lidar, and the Langley Mobile Ozone Lidar (LMOL), of TOLNet participated in the Deriving Information on Surface conditions from Column and Vertically Resolved Observations Relevant to Air Quality (DISCOVER-AQ) mission and the Front Range Air Pollution and Photochemistry xperiment (FRAPP) to measure ozone variations from the boundary layer to the top of the troposphere. This study presents the analysis of the intercomparison between the TROPOZ, TOPAZ, and LMOL lidars, along with comparisons between the lidars and other in situ ozone instruments including ozonesondes and a P-3B airborne chemiluminescence sensor. The TOLNet lidars measured vertical ozone structures with an accuracy generally better than 15 % within the troposphere. Larger differences occur at some individual altitudes in both the near-field and far-field range of the lidar systems, largely as expected. In terms of column average, the TOLNet lidars measured ozone with an accuracy better than 5 % for both the intercomparison between the lidars and between the lidars and other instruments. These results indicate that these three TOLNet lidars are suitable for use in air quality, satellite validation, and ozone modeling efforts

The Long-Baseline Neutrino Experiment: Exploring Fundamental Symmetries of the Universe

The preponderance of matter over antimatter in the early Universe, the dynamics of the supernova bursts that produced the heavy elements necessary for life and whether protons eventually decay --- these mysteries at the forefront of particle physics and astrophysics are key to understanding the early evolution of our Universe, its current state and its eventual fate. The Long-Baseline Neutrino Experiment (LBNE) represents an extensively developed plan for a world-class experiment dedicated to addressing these questions. LBNE is conceived around three central components: (1) a new, high-intensity neutrino source generated from a megawatt-class proton accelerator at Fermi National Accelerator Laboratory, (2) a near neutrino detector just downstream of the source, and (3) a massive liquid argon time-projection chamber deployed as a far detector deep underground at the Sanford Underground Research Facility. This facility, located at the site of the former Homestake Mine in Lead, South Dakota, is approximately 1,300 km from the neutrino source at Fermilab -- a distance (baseline) that delivers optimal sensitivity to neutrino charge-parity symmetry violation and mass ordering effects. This ambitious yet cost-effective design incorporates scalability and flexibility and can accommodate a variety of upgrades and contributions. With its exceptional combination of experimental configuration, technical capabilities, and potential for transformative discoveries, LBNE promises to be a vital facility for the field of particle physics worldwide, providing physicists from around the globe with opportunities to collaborate in a twenty to thirty year program of exciting science. In this document we provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess.Comment: Major update of previous version. This is the reference document for LBNE science program and current status. Chapters 1, 3, and 9 provide a comprehensive overview of LBNE's scientific objectives, its place in the landscape of neutrino physics worldwide, the technologies it will incorporate and the capabilities it will possess. 288 pages, 116 figure

Status of Muon Collider Research and Development and Future Plans

The status of the research on muon colliders is discussed and plans are outlined for future theoretical and experimental studies. Besides continued work on the parameters of a 3-4 and 0.5 TeV center-of-mass (CoM) energy collider, many studies are now concentrating on a machine near 0.1 TeV (CoM) that could be a factory for the s-channel production of Higgs particles. We discuss the research on the various components in such muon colliders, starting from the proton accelerator needed to generate pions from a heavy-Z target and proceeding through the phase rotation and decay ($\pi \to \mu \nu_{\mu}$) channel, muon cooling, acceleration, storage in a collider ring and the collider detector. We also present theoretical and experimental R & D plans for the next several years that should lead to a better understanding of the design and feasibility issues for all of the components. This report is an update of the progress on the R & D since the Feasibility Study of Muon Colliders presented at the Snowmass'96 Workshop [R. B. Palmer, A. Sessler and A. Tollestrup, Proceedings of the 1996 DPF/DPB Summer Study on High-Energy Physics (Stanford Linear Accelerator Center, Menlo Park, CA, 1997)].Comment: 95 pages, 75 figures. Submitted to Physical Review Special Topics, Accelerators and Beam

Protocol for the development of a multidisciplinary clinical practice guideline for the care of patients with chronic subdural haematoma

Introduction: A common neurosurgical condition, chronic subdural haematoma (cSDH) typically affects older people with other underlying health conditions. The care of this potentially vulnerable cohort is often, however, fragmented and suboptimal. In other complex conditions, multidisciplinary guidelines have transformed patient experience and outcomes, but no such framework exists for cSDH. This paper outlines a protocol to develop the first comprehensive multidisciplinary guideline from diagnosis to long-term recovery with cSDH. Methods: The project will be guided by a steering group of key stakeholders and professional organisations and will feature patient and public involvement. Multidisciplinary thematic working groups will examine key aspects of care to formulate appropriate, patient-centered research questions, targeted with evidence review using the GRADE framework. The working groups will then formulate draft clinical recommendations to be used in a modified Delphi process to build consensus on guideline contents. Conclusions: We present a protocol for the development of a multidisciplinary guideline to inform the care of patients with a cSDH, developed by cross-disciplinary working groups and arrived at through a consensus-building process, including a modified online Delphi.</p

A relação entre o nível voluntário de transparência e o custo de capital próprio das empresas brasileiras não-financeiras

O objetivo principal desta pesquisa é verificar empiricamente a existência de relação significativa entre o nível de disclosure voluntário de informações e custo de capital próprio de empresas brasileiras não financeiras. É esperado que um maior nível de disclosure esteja relacionado a um menor custo de capital próprio pela redução do risco percebido pelos investidores. A fim de medir o nível de disclosure voluntário das empresas foi utilizado um questionário desenvolvido para este fim. O custo de capital próprio foi obtido com base em informações publicamente disponíveis das empresas. Foi encontrada uma relação negativa e significante entre as variáveis de interesse, indicando que as empresas que mais divulgam informações voluntariamente conseguem captar capital próprio a uma taxa mais barata