1,586 research outputs found

    Silicon spin diffusion transistor: materials, physics and device characteristics

    No full text
    The realisation that eaveryday electronics has ignored the spin of the carrier in favour of its charge is the foundation of the field of spintronics. Starting with simple two-terminal devices based on GMR and tunnel magnetoresistance, the technology has advanced to consider three-terminal devices that aim to combine spin sensitivity with a high current gain and a large current output. These devices require both efficient spin injection and semiconductor fabrication. In this paper, a discussion is presented of the design, operation and characteristics of the only spin transistor that has yielded a current gain greater than one in combination with reasonable output current

    CP Nonconservation in e+e−→ttˉge^+e^-\to t\bar tg

    Full text link
    CP violation effects in e+e−→ttˉge^+ e^- \to t\bar tg are examined. CP-odd, TnT_n-odd and TnT_n-even observables can both be used to extract information on the real and imaginary parts of Feynman amplitudes. Two Higgs doublet model with CP violating phase from neutral Higgs exchange is used to estimate possible effects.Comment: 9 pages, 4 Figures, Late

    Standaard Data Formulieren Natura 2000-gebieden : aanvullingen vanwege wijzigingen in Natura 2000-aanwijzingsbesluiten

    Get PDF
    This report explains the additional information on the Standard Data Forms for species listed in Annex II of the Habitats Directive. These forms make up part of the database of information on Natura 2000 sites. The database can be used as material evidence in legal proceedings and is used by the European Commission when assessing proposals for Natura 2000 sites. In 2017 an analysis was made of present but not designated conservation values for habitats and species under the Habitats Directive. The analysis identified 74 species-site combinations to be added to designation orders for Natura 2000 sites. Information on these combinations has been entered onto the Standard Data Forms, including data on the numbers of a species, the type of population, the relative population compared with other populations in the Netherlands, species habitat quality, the location of the population within the European range and a general evaluation. The assessments of the sites for each species were made by expert

    On the `Stationary Implies Axisymmetric' Theorem for Extremal Black Holes in Higher Dimensions

    Full text link
    All known stationary black hole solutions in higher dimensions possess additional rotational symmetries in addition to the stationary Killing field. Also, for all known stationary solutions, the event horizon is a Killing horizon, and the surface gravity is constant. In the case of non-degenerate horizons (non-extremal black holes), a general theorem was previously established [gr-qc/0605106] proving that these statements are in fact generally true under the assumption that the spacetime is analytic, and that the metric satisfies Einstein's equation. Here, we extend the analysis to the case of degenerate (extremal) black holes. It is shown that the theorem still holds true if the vector of angular velocities of the horizon satisfies a certain "diophantine condition," which holds except for a set of measure zero.Comment: 30pp, Latex, no figure

    QCD Loop Corrections to Top Production and Decay at e^+ e^- Colliders

    Get PDF
    We present a computation of QCD next-to-leading order virtual corrections to the top production and decay process at linear colliders. The top quarks are allowed to be off-shell and the production and decay subprocesses are treated together, thus allowing for interference effects. The framework employed for our computation is the double pole approximation (DPA). We describe the implementation of this approximation for the top production and decay process and compare it with the implementation of DPA for the evaluation of QED corrections to the W pair production at LEP II. Similarities and differences between the two cases are pointed out. One result of interest is the incomplete cancelation of interference corrections. Other results include values for the total NLO top production cross section, and the impact the nonfactorizable (interference) corrections have on the top invariant mass distribution.Comment: 27 pages, 8 ps figures; reference added to introductio

    Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

    Full text link
    A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596
    • 

    corecore