58 research outputs found

    Kondo effect induced by a magnetic field

    Full text link
    We study peculiarities of transport through a Coulomb blockade system tuned to the vicinity of the spin transition in its ground state. Such transitions can be induced in practice by application of a magnetic field. Tunneling of electrons between the dot and leads mixes the states belonging to the ground state manifold of the dot. Remarkably, both the orbital and spin degrees of freedom of the electrons are engaged in the mixing at the singlet-triplet transition point. We present a model which provides an adequate theoretical description of recent experiments with semiconductor quantum dots and carbon nanotubes

    Timed patterns: TCOZ to timed automata

    Get PDF
    Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real-time systems. However, the challenge is how to verify the TCOZ models with tool support, especially for analyzing timing properties. Specialized graph-based modeling technique, Timed Automata (TA), has powerful mechanisms for designing real-time models using multiple clocks and has well developed automatic tool support. One weakness of TA is the lack of high level composable graphical patterns to support systematic designs for complex systems. The investigation of possible links between TCOZ and TA may benefit both techniques. For TCOZ, TA’s tool support can be reused to check timing properties. For TA, a set of composable graphical patterns can be defined based on the semantics of the TCOZ constructs, so that those patterns can be re-used in a generic way. This paper firstly defines the composable TA graphical patterns, and then presents sound transformation rules and a tool for projecting TCOZ specifications into TA. A case study of a railroad crossing system is demonstrated

    VERITAS: the Very Energetic Radiation Imaging Telescope Array System

    Get PDF
    The Very Energetic Radiation Imaging Telescope Array System (VERITAS) represents an important step forward in the study of extreme astrophysical processes in the universe. It combines the power of the atmospheric Cherenkov imaging technique using a large optical reflector with the power of stereoscopic observatories using arrays of separated telescopes looking at the same shower. The seven identical telescopes in VERITAS, each of aperture 10 m, will be deployed in a filled hexagonal pattern of side 80 m; each telescope will have a camera consisting of 499 pixels with a field of view of 3.5 deg VERITAS will substantially increase the catalog of very high energy (E > 100GeV) gamma-ray sources and greatly improve measurements of established sources.Comment: 44 pages, 16 figure

    Coexistence of genetically modified (GM) and non-GM crops in the European Union. A review

    Full text link

    Earth as a Tool for Astrobiology—A European Perspective

    Get PDF

    c948, VI.3.3.3 Ternary and polynary nitrates

    No full text

    A single amino acid determines the toxicity of Ginkgo biloba extracts

    No full text
    Ginkgo biloba extracts are currently used for a wide range of health-related conditions. Some of the medical benefits of these extracts are controversial, but their lack of toxicity in humans is not in doubt. These extracts are, however, highly toxic to insects. Their active components (ginkgolides and bilobalide) have structures similar to the convulsant picrotoxin, a GABAA receptor antagonist, so their lack of toxicity in mammals is puzzling. Here, we show that the different compositions of insect and vertebrate GABA receptor pores are responsible for the differing toxicities. Insect GABA receptors contain Ala at their 2′ position in the pore. Substitution with Val, which is the equivalent residue in vertebrate GABAA receptor α-subunits, decreases ginkgolide potency by up to 10,000-fold. The reverse mutation in vertebrate GABAA α1 subunits increased the sensitivity of α1β2 and α1β2γ2 receptors to ginkgolides. Mutant cycle analysis demonstrates a strong interaction between the ginkgolides and the 2′ residue, a result supported by in silico docking of compounds into a model of the pore. We conclude that the insecticidal activity of G. biloba extracts can be attributed to their effects at insect GABA receptors, and the presence of a Val at the 2′ position in vertebrate GABAA receptors explains why these compounds are not similarly toxic to humans.—Thompson, A. J., McGonigle, I., Duke, R., Johnston, G. A. R., Lummis, S. C. R. A single amino acid determines the toxicity of Ginkgo biloba extracts
    corecore