1,376 research outputs found

    Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

    Full text link
    Cyber-physical systems (CPS), such as automotive systems, are starting to include sophisticated machine learning (ML) components. Their correctness, therefore, depends on properties of the inner ML modules. While learning algorithms aim to generalize from examples, they are only as good as the examples provided, and recent efforts have shown that they can produce inconsistent output under small adversarial perturbations. This raises the question: can the output from learning components can lead to a failure of the entire CPS? In this work, we address this question by formulating it as a problem of falsifying signal temporal logic (STL) specifications for CPS with ML components. We propose a compositional falsification framework where a temporal logic falsifier and a machine learning analyzer cooperate with the aim of finding falsifying executions of the considered model. The efficacy of the proposed technique is shown on an automatic emergency braking system model with a perception component based on deep neural networks

    Implications of large dimuon CP asymmetry in B_{d,s} decays on minimal flavor violation with low tan beta

    Full text link
    The D0 collaboration has recently announced evidence for a dimuon CP asymmetry in B_{d,s} decays of order one percent. If confirmed, this asymmetry requires new physics. We argue that for minimally flavor violating (MFV) new physics, and at low tan beta=v_u/v_d, there are only two four-quark operators (Q_{2,3}) that can provide the required CP violating effect. The scale of such new physics must lie below 260 GeV sqrt{tan beta}. The effect is universal in the B_s and B_d systems, leading to S_{psi K}~sin(2beta)-0.15 and S_{psi phi}~0.25. The effects on epsilon_K and on electric dipole moments are negligible. The most plausible mechanism is tree-level scalar exchange. MFV supersymmetry with low tan beta will be excluded. Finally, we explain how a pattern of deviations from the Standard Model predictions for S_{psi phi}, S_{psi K} and epsilon_K can be used to test MFV and, if MFV holds, to probe its structure in detail.Comment: 11 pages. v2: References adde

    On theories of enhanced CP violation in B_s,d meson mixing

    Get PDF
    The DO collaboration has measured a deviation from the standard model (SM) prediction in the like sign dimuon asymmetry in semileptonic b decay with a significance of 3.2 sigma. We discuss how minimal flavour violating (MFV) models with multiple scalar representations can lead to this deviation through tree level exchanges of new MFV scalars. We review how the two scalar doublet model can accommodate this result and discuss some of its phenomenology. Limits on electric dipole moments suggest that in this model the coupling of the charged scalar to the right handed u-type quarks is suppressed while its coupling to the d-type right handed quarks must be enhanced. We construct an extension of the MFV two scalar doublet model where this occurs naturally.Comment: 10 pages, 7 figures, v3 final JHEP versio

    Human Epidermal Neural Crest Stem Cells (hEPI-NCSC)—Characterization and Directed Differentiation into Osteocytes and Melanocytes

    Get PDF
    Here we describe the isolation, characterisation and ex-vivo expansion of human epidermal neural crest stem cells (hEPI-NCSC) and we provide protocols for their directed differentiation into osteocytes and melanocytes. hEPI-NCSC are neural crest-derived multipotent stem cells that persist into adulthood in the bulge of hair follicles. Multipotency and self-renewal were determined by in vitro clonal analyses. hEPI-NCSC generate all major neural crest derivatives, including bone/cartilage cells, neurons, Schwann cells, myofibroblasts and melanocytes. Furthermore, hEPI-NCSC express additional neural crest stem cell markers and global stem cell genes. To variable degrees and in a donor-dependent manner, hEPI-NCSC express the six essential pluripotency genes C-MYC, KLF4, SOX2, LIN28, OCT-4/POU5F1 and NANOG. hEPI-NCSC can be expanded ex vivo into millions of stem cells that remain mulitpotent and continue to express stem cell genes. The novelty of hEPI-NCSC lies in the combination of their highly desirable traits. hEPI-NCSC are embryonic remnants in a postnatal location, the bulge of hair follicles. Therefore they are readily accessible in the hairy skin by minimal invasive procedure. hEPI-NCSC are multipotent somatic stem cells that can be isolated reproducibly and with high yield. By taking advantage of their migratory ability, hEPI-NCSC can be isolated as a highly pure population of stem cells. hEPI-NCSC can undergo robust ex vivo expansion and directed differentiation. As somatic stem cells, hEPI-NCSC are conducive to autologous transplantation, which avoids graft rejection. Together, these traits make hEPI-NCSC novel and attractive candidates for future cell-based therapies and regenerative medicine

    Color & Weak triplet scalars, the dimuon asymmetry in BsB_s decay, the top forward-backward asymmetry, and the CDF dijet excess

    Full text link
    The new physics required to explain the anomalies recently reported by the D0 and CDF collaborations, namely the top forward-backward asymmetry (FBA), the like-sign dimuon charge asymmetry in semileptonic b decay, and the CDF dijet excess, has to feature an amount of flavor symmetry in order to satisfy the severe constrains arising from flavor violation. In this paper we show that, once baryon number conservation is imposed, color & weak triplet scalars with hypercharge Y=1/3Y=1/3 can feature the required flavor structure as a consequence of standard model gauge invariance. The color & weak triplet model can simultaneously explain the top FBA and the dimuon charge asymmetry or the dimuon charge asymmetry and the CDF dijet excess. However, the CDF dijet excess appears to be incompatible with the top FBA in the minimal framework. Our model for the dimuon asymmetry predicts the observed pattern hdhsh_d\ll h_s in the region of parameter space required to explain the top FBA, whereas our model for the CDF dijet anomaly is characterized by the absence of beyond the SM b-quark jets in the excess region. Compatibility of the color & weak triplet with the electroweak constraints is also discussed. We show that a Higgs boson mass exceeding the LEP bound is typically favored in this scenario, and that both Higgs production and decay can be significantly altered by the triplet. The most promising collider signature is found if the splitting among the components of the triplet is of weak scale magnitude.Comment: references added, published versio

    Infrared composition of the Large Magellanic Cloud

    Get PDF
    The evolution of galaxies and the history of star formation in the Universe are among the most important topics in today's astrophysics. Especially, the role of small, irregular galaxies in the star-formation history of the Universe is not yet clear. Using the data from the AKARI IRC survey of the Large Magellanic Cloud at 3.2, 7, 11, 15, and 24 {\mu}m wavelengths, i.e., at the mid- and near-infrared, we have constructed a multiwavelength catalog containing data from a cross-correlation with a number of other databases at different wavelengths. We present the separation of different classes of stars in the LMC in color-color, and color-magnitude, diagrams, and analyze their contribution to the total LMC flux, related to point sources at different infrared wavelengths

    Covariant Description of Flavor Conversion in the LHC Era

    Full text link
    A simple covariant formalism to describe flavor and CP violation in the left-handed quark sector in a model independent way is provided. The introduction of a covariant basis, which makes the standard model approximate symmetry structure manifest, leads to a physical and transparent picture of flavor conversion processes. Our method is particularly useful to derive robust bounds on models with arbitrary mechanisms of alignment. Known constraints on flavor violation in the K and D systems are reproduced in a straightforward manner. Assumptions-free limits, based on top flavor violation at the LHC, are then obtained. In the absence of signal, with 100 fb^{-1} of data, the LHC will exclude weakly coupled (strongly coupled) new physics up to a scale of 0.6 TeV (7.6 TeV), while at present no general constraint can be set related to Delta t=1 processes. LHC data will constrain Delta F=2 contributions via same-sign tops signal, with a model independent exclusion region of 0.08 TeV (1.0 TeV). However, in this case, stronger bounds are found from the study of CP violation in D-bar D mixing with a scale of 0.57 TeV (7.2 TeV). In addition, we apply our analysis to models of supersymmetry and warped extra dimension. The minimal flavor violation framework is also discussed, where the formalism allows to distinguish between the linear and generic non-linear limits within this class of models.Comment: 24 pages, 6 figures. Some corrections and clarifications; references added. Matches published versio

    Characterization of Sulfolobus islandicus rod-shaped virus 2 gp19, a single-strand specific endonuclease

    Get PDF
    The hyperthermophilic Sulfolobus islandicus rod-shaped virus 2 (SIRV2) encodes a 25-kDa protein (SIRV2gp19) annotated as a hypothetical protein with sequence homology to the RecB nuclease superfamily. Even though SIRV2gp19 homologs are conserved throughout the rudivirus family and presumably play a role in the viral life cycle, SIRV2gp19 has not been functionally characterized. To define the minimal requirements for activity, SIRV2gp19 was purified and tested under varying conditions. SIRV2gp19 is a single-strand specific endonuclease that requires Mg2+ for activity and is inactive on double-stranded DNA. A conserved aspartic acid in RecB nuclease superfamily Motif II (D89) is also essential for SIRV2gp19 activity and mutation to alanine (D89A) abolishes activity. Therefore, the SIRV2gp19 cleavage mechanism is similar to previously described RecB nucleases. Finally, SIRV2gp19 single-stranded DNA endonuclease activity could play a role in host chromosome degradation during SIRV2 lytic infection
    corecore