Nuclear Spin Relaxation for Higher Spin

We study the relaxation of a spin I that is weakly coupled to a quantum mechanical environment. Starting from the microscopic description, we derive a system of coupled relaxation equations within the adiabatic approximation. These are valid for arbitrary I and also for a general stationary non--equilibrium state of the environment. In the case of equilibrium, the stationary solution of the equations becomes the correct Boltzmannian equilibrium distribution for given spin I. The relaxation towards the stationary solution is characterized by a set of relaxation times, the longest of which can be shorter, by a factor of up to 2I, than the relaxation time in the corresponding Bloch equations calculated in the standard perturbative way.Comment: 4 pages, Latex, 2 figure

Copper-Catalyzed Synthesis of Trifluoroethylarenes from Benzylic Bromodifluoroacetates

Trifluoroethylarenes are found in a variety of biologically active molecules, and strategies for accessing this substructure are important for developing therapeutic candidates and biological probes. Trifluoroethylarenes can be directly accessed via nucleophilic trifluoromethylation of benzylic electrophiles; however, current catalytic methods do not effectively transform electron-deficient substrates and heterocycles. To address this gap, we report a Cu-catalyzed decarboxylative trifluoromethylation of benzylic bromodifluoroacetates. To account for the tolerance of sensitive functional groups, we propose an inner-sphere mechanism of decarboxylation

Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

Different Transport Pathways of Individual Precursor Proteins in Mitochondria

Transport of mitochondrial precursor proteins into mitochondria of Neurospora crassa was studied in a cellfree reconstituted system. Precursors were synthesized in a reticulocyte lysate programmed with Neurospora mRNA and transported into isolated mitochondria in the absence of protein synthesis. Uptake of the following precursors was investigated: apocytochrome c, ADP/ATP carrier and subunit 9 of the oligomycin-sensitive ATPase. Addition of high concentrations of unlabelled chemically prepared apocytochrome c (1–10 μM) inhibited the appearance in the mitochondrial of labelled cytochrome c synthesized in vitro because the unlabelled protein dilutes the labelled one and because the translocation system has a limited capacity [apparent V is 1–3 pmol × min−1× (mg mitochondrial protein)−1]. Concentrations of added apocytochrome c exceeding the concentrations of precursor proteins synthesized in vitro by a factor of about 104 did not inhibit the transfer of ADP/ATP carrier or ATPase subunit 9 into mitochondria. Carbonylcyanide m-chlorophenylhydrazone, an uncoupler of oxidative phosphorylation, inhibited transfer in vitro of ADP/ATP carrier and of ATPase subunit 9, but not of cytochrome c. These findings suggest that cytochrome c and the other two proteins have different import pathways into mitochondria. It can be inferred from the data presented that different 'receptors' on the mitochondrial surface mediate the specific recognition of precursor proteins by mitochondria as a first step in the transport process

Spectroscopic and Mechanistic Studies of Heterodimetallic Forms of Metallo-β-lactamase NDM-1

In an effort to characterize the roles of each metal ion in metallo-β-lactamase NDM-1, heterodimetallic analogues (CoCo-, ZnCo-, and CoCd-) of the enzyme were generated and characterized. UV–vis, 1H NMR, EPR, and EXAFS spectroscopies were used to confirm the fidelity of the metal substitutions, including the presence of a homogeneous, heterodimetallic cluster, with a single-atom bridge. This marks the first preparation of a metallo-β-lactamase selectively substituted with a paramagnetic metal ion, Co(II), either in the Zn1 (CoCd-NDM-1) or in the Zn2 site (ZnCo-NDM-1), as well as both (CoCo-NDM-1). We then used these metal-substituted forms of the enzyme to probe the reaction mechanism, using steady-state and stopped-flow kinetics, stopped-flow fluorescence, and rapid-freeze-quench EPR. Both metal sites show significant effects on the kinetic constants, and both paramagnetic variants (CoCd- and ZnCo-NDM-1) showed significant structural changes on reaction with substrate. These changes are discussed in terms of a minimal kinetic mechanism that incorporates all of the data

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Search for chargino-neutralino production with mass splittings near the electroweak scale in three-lepton final states in √s=13 TeV pp collisions with the ATLAS detector

A search for supersymmetry through the pair production of electroweakinos with mass splittings near the electroweak scale and decaying via on-shell W and Z bosons is presented for a three-lepton final state. The analyzed proton-proton collision data taken at a center-of-mass energy of √s=13  TeV were collected between 2015 and 2018 by the ATLAS experiment at the Large Hadron Collider, corresponding to an integrated luminosity of 139  fb−1. A search, emulating the recursive jigsaw reconstruction technique with easily reproducible laboratory-frame variables, is performed. The two excesses observed in the 2015–2016 data recursive jigsaw analysis in the low-mass three-lepton phase space are reproduced. Results with the full data set are in agreement with the Standard Model expectations. They are interpreted to set exclusion limits at the 95% confidence level on simplified models of chargino-neutralino pair production for masses up to 345 GeV