58 research outputs found
Kondo effect induced by a magnetic field
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
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
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
Recommended from our members
Applications of electrified dust and dust devil electrodynamics to Martian atmospheric electricity
Atmospheric transport and suspension of dust frequently brings electrification, which may be substantial. Electric fields of 10 kVm-1 to 100 kVm-1 have been observed at the surface beneath suspended dust in the terrestrial atmosphere, and some electrification has been observed to persist in dust at levels to 5 km, as well as in volcanic plumes. The interaction between individual particles which causes the electrification is incompletely understood, and multiple processes are thought to be acting. A variation in particle charge with particle size, and the effect of gravitational separation explains to, some extent, the charge structures observed in terrestrial dust storms. More extensive flow-based modelling demonstrates that bulk electric fields in excess of 10 kV m-1 can be obtained rapidly (in less than 10 s) from rotating dust systems (dust devils) and that terrestrial breakdown fields can be obtained. Modelled profiles of electrical conductivity in the Martian atmosphere suggest the possibility of dust electrification, and dust devils have been suggested as a mechanism of charge separation able to maintain current flow between one region of the atmosphere and another, through a global circuit. Fundamental new understanding of Martian atmospheric electricity will result from the ExoMars mission, which carries the DREAMS (Dust characterization, Risk Assessment, and Environment Analyser on the Martian Surface)-MicroARES (Atmospheric Radiation and Electricity Sensor) instrumentation to Mars in 2016 for the first in situ measurements
A single amino acid determines the toxicity of Ginkgo biloba extracts
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
- …