300 research outputs found

    Gravitational Radiation Theory and Light Propagation

    Get PDF
    The paper gives an introduction to the gravitational radiation theory of isolated sources and to the propagation properties of light rays in radiative gravitational fields. It presents a theoretical study of the generation, propagation, back-reaction, and detection of gravitational waves from astrophysical sources. After reviewing the various quadrupole-moment laws for gravitational radiation in the Newtonian approximation, we show how to incorporate post-Newtonian corrections into the source multipole moments, the radiative multipole moments at infinity, and the back-reaction potentials. We further treat the light propagation in the linearized gravitational field outside a gravitational wave emitting source. The effects of time delay, bending of light, and moving source frequency shift are presented in terms of the gravitational lens potential. Time delay results are applied in the description of the procedure of the detection of gravitational waves

    IgG Fc N-glycosylation translates MHCII haplotype into autoimmune skin disease

    Get PDF
    The major histocompatibility complex haplotype represents the most prevalent genetic risk factor for the development of autoimmune diseases. However, the mechanisms by which major histocompatibility complex-associated genetic susceptibility translates into autoimmune disease are not fully understood. Epidermolysis bullosa acquisita is an autoimmune skin-blistering disease driven by autoantibodies to type VII collagen. Here, we investigated autoantigen-specific plasma cells, CD4(+) T cells, and IgG fraction crystallizable glycosylation in murine epidermolysis bullosa acquisita in congenic mouse strains with the disease-permitting H2s or disease-nonpermitting H2b major histocompatibility complex II haplotypes. Mice with an H2s haplotype showed increased numbers of autoreactive CD4(+) T cells and elevated IL-21 and IFN-gamma production, associated with a higher frequency of IgG autoantibodies with an agalactosylated, proinflammatory N-glycan moiety. Mechanistically, we show that the altered antibody glycosylation leads to increased ROS release from neutrophils, the main drivers of autoimmune inflammation in this model. These results indicate that major histocompatibility complex II-associated susceptibility to autoimmune diseases acuminates in a proinflammatory IgG fraction crystallizable N-glycosylation pattern and provide a mechanistic link to increased ROS release by neutrophils.Proteomic

    From Clock Synchronization to Dark Matter as a Relativistic Inertial Effect

    Full text link
    Lecture at BOSS2011 on relativistic metrology, on clock synchronization, relativistic dynamics and non-inertial frames in Minkowski spacetime, on relativistic atomic physics, on ADM canonical tetrad gravity in asymptotically Minkowskian spacetimes, on the York canonical basis identifying the inertial (gauge) and tidal degrees of freedom of the gravitational field, on the Post-Minkowskian linearization in 3-orthogonal gauges, on the Post-Newtonian limit of matter Hamilton equations, on the possibility to interpret dark matter as a relativistic inertial effect connected with relativistic metrology (i.e. clock synchronization) in Einstein GR.Comment: 90 pages. Lecture at BOSS201

    ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models

    Full text link
    Abstract. Formal verification and validation play a crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong guarantees about the system behavior if accurate models of the system can be obtained, including mod-els of the controller and of the physical dynamics. In CPS, models are essential; but any model we could possibly build necessarily deviates from the real world. If the real system fits to the model, its behavior is guaranteed to satisfy the correct-ness properties verified w.r.t. the model. Otherwise, all bets are off. This paper introduces ModelPlex, a method ensuring that verification results about models apply to CPS implementations. ModelPlex provides correctness guarantees for CPS executions at runtime: it combines offline verification of CPS models with runtime validation of system executions for compliance with the model. Model-Plex ensures that the verification results obtained for the model apply to the ac-tual system runs by monitoring the behavior of the world for compliance with the model, assuming the system dynamics deviation is bounded. If, at some point, the observed behavior no longer complies with the model so that offline verifica-tion results no longer apply, ModelPlex initiates provably safe fallback actions. This paper, furthermore, develops a systematic technique to synthesize provably correct monitors automatically from CPS proofs in differential dynamic logic.

    Size Doesn't Matter: Towards a More Inclusive Philosophy of Biology

    Get PDF
    notes: As the primary author, O’Malley drafted the paper, and gathered and analysed data (scientific papers and talks). Conceptual analysis was conducted by both authors.publication-status: Publishedtypes: ArticlePhilosophers of biology, along with everyone else, generally perceive life to fall into two broad categories, the microbes and macrobes, and then pay most of their attention to the latter. ‘Macrobe’ is the word we propose for larger life forms, and we use it as part of an argument for microbial equality. We suggest that taking more notice of microbes – the dominant life form on the planet, both now and throughout evolutionary history – will transform some of the philosophy of biology’s standard ideas on ontology, evolution, taxonomy and biodiversity. We set out a number of recent developments in microbiology – including biofilm formation, chemotaxis, quorum sensing and gene transfer – that highlight microbial capacities for cooperation and communication and break down conventional thinking that microbes are solely or primarily single-celled organisms. These insights also bring new perspectives to the levels of selection debate, as well as to discussions of the evolution and nature of multicellularity, and to neo-Darwinian understandings of evolutionary mechanisms. We show how these revisions lead to further complications for microbial classification and the philosophies of systematics and biodiversity. Incorporating microbial insights into the philosophy of biology will challenge many of its assumptions, but also give greater scope and depth to its investigations

    Measurement of the ttbar Production Cross Section in ppbar collisions at sqrt s = 1.96 TeV in the All Hadronic Decay Mode

    Get PDF
    We report a measurement of the ttbar production cross section using the CDF-II detector at the Fermilab Tevatron. The analysis is performed using 311 pb-1 of ppbar collisions at sqrt(s)=1.96 TeV. The data consist of events selected with six or more hadronic jets with additional kinematic requirements. At least one of these jets must be identified as a b-quark jet by the reconstruction of a secondary vertex. The cross section is measured to be sigma(tbart)=7.5+-2.1(stat.)+3.3-2.2(syst.)+0.5-0.4(lumi.) pb, which is consistent with the standard model prediction.Comment: By CDF collaboratio

    Measurement of the W+W- Production Cross Section in ppbar Collisions at sqrt(s)=1.96 TeV using Dilepton Events

    Get PDF
    We present a measurement of the W+W- production cross section using 184/pb of ppbar collisions at a center-of-mass energy of 1.96 TeV collected with the Collider Detector at Fermilab. Using the dilepton decay channel W+W- -> l+l-vvbar, where the charged leptons can be either electrons or muons, we find 17 candidate events compared to an expected background of 5.0+2.2-0.8 events. The resulting W+W- production cross section measurement of sigma(ppbar -> W+W-) = 14.6 +5.8 -5.1 (stat) +1.8 -3.0 (syst) +-0.9 (lum) pb agrees well with the Standard Model expectation.Comment: 8 pages, 2 figures, 2 tables. To be submitted to Physical Review Letter

    ϒ production in p–Pb collisions at √sNN=8.16 TeV

    Get PDF
    ϒ production in p–Pb interactions is studied at the centre-of-mass energy per nucleon–nucleon collision √sNN = 8.16 TeV with the ALICE detector at the CERN LHC. The measurement is performed reconstructing bottomonium resonances via their dimuon decay channel, in the centre-of-mass rapidity intervals 2.03 < ycms < 3.53 and −4.46 < ycms < −2.96, down to zero transverse momentum. In this work, results on the ϒ(1S) production cross section as a function of rapidity and transverse momentum are presented. The corresponding nuclear modification factor shows a suppression of the ϒ(1S) yields with respect to pp collisions, both at forward and backward rapidity. This suppression is stronger in the low transverse momentum region and shows no significant dependence on the centrality of the interactions. Furthermore, the ϒ(2S) nuclear modification factor is evaluated, suggesting a suppression similar to that of the ϒ(1S). A first measurement of the ϒ(3S) has also been performed. Finally, results are compared with previous ALICE measurements in p–Pb collisions at √sNN = 5.02 TeV and with theoretical calculations.publishedVersio
    corecore