5,720 research outputs found
In-situ growth optimization in focused electron-beam induced deposition
We present the application of an evolutionary genetic algorithm for the
in-situ optimization of nanostructures prepared by focused
electron-beam-induced deposition. It allows us to tune the properties of the
deposits towards highest conductivity by using the time gradient of the
measured in-situ rate of change of conductance as fitness parameter for the
algorithm. The effectiveness of the procedure is presented for the precursor
W(CO)6 as well as for post-treatment of Pt-C deposits obtained by dissociation
of MeCpPt(Me)3. For W(CO)6-based structures an increase of conductivity by one
order of magnitude can be achieved, whereas the effect for MeCpPt(Me)3 is
largely suppressed. The presented technique can be applied to all beam-induced
deposition processes and has great potential for further optimization or tuning
of parameters for nanostrucures prepared by FEBID or related techniques
Searching for t-bar t Resonances at the Large Hadron Collider
Many new physics models predict resonances with masses in the TeV range which
decay into a pair of top quarks. With its large cross section, t-bar t
production at the Large Hadron Collider (LHC) offers an excellent opportunity
to search for such particles. We present a detailed study of the discovery
potential of the CERN Large Hadron Collider for Kaluza-Klein (KK) excitations
of the gluon in bulk Randall-Sundrum (RS) models in the t-bar t -> ell^+/- nu
b-bar bq-bar q' (ell=e, mu) final state. We utilize final states with one or
two tagged b-quarks, and two, three or four jets (including b-jets). Our
calculations take into account the finite resolution of detectors, the energy
loss due to b-quark decays, the expected reduced b-tagging efficiency at large
t-bar t invariant masses, and include the background originating from Wb-bar
b+jets, (Wb+W-bar b)+jets, W+jets, and single top + jets production. We derive
semi-realistic 5 sigma discovery limits for nine different KK gluon scenarios,
and compare them with those for KK gravitons, and a Z_H boson in the Littlest
Higgs model. We also analyze the capabilities of the LHC experiments to
differentiate between individual KK gluon models and measure the couplings of
KK gluons to quarks. We find that, for the parameters and models chosen, KK
gluons with masses up to about 4 TeV can be discovered at the LHC. The ability
of the LHC to discriminate between different bulk RS models, and to measure the
couplings of the KK gluons is found to be highly model dependent.Comment: revtex3, 27 pages, 5 tables, 6 figure
Fabrication of FeSi and Fe3Si compounds by electron beam induced mixing of [Fe/Si]2 and [Fe3/Si]2 multilayers grown by focused electron beam induced deposition
Fe-Si binary compounds have been fabricated by focused electron beam induced
deposition by the alternating use of iron pentacarbonyl, Fe(CO)5, and
neopentasilane, Si5H12 as precursor gases. The fabrication procedure consisted
in preparing multilayer structures which were treated by low-energy electron
irradiation and annealing to induce atomic species intermixing. In this way we
are able to fabricate FeSi and Fe3Si binary compounds from [Fe=Si]2 and
[Fe3=Si]2 multilayers, as shown by transmission electron microscopy
investigations. This fabrication procedure is useful to obtain nanostructured
binary alloys from precursors which compete for adsorption sites during growth
and, therefore, cannot be used simultaneously
Refinement sensitive formal semantics of state machines with persistent choice
Modeling languages usually support two kinds of nondeterminism, an external one for interactions of a system with its environment, and one that stems from under-specification as familiar in models of behavioral requirements. Both forms of nondeterminism are resolvable by composing a system with an environment model and by refining under-specified behavior (respectively). Modeling languages usually dont support nondeterminism that is persistent in that neither the composition with an environment nor refinements of under-specification will resolve it. Persistent nondeterminism is used, e.g., for modeling faulty systems. We present a formal semantics for UML state machines enriched with an operator persistent choice that models persistent nondeterminism. This semantics is based on abstract models - μ-automata with a novel refinement relation - and a sound three-valued satisfaction relation for properties expressed in the μ-calculus. © 2009 Elsevier B.V. All rights reserved
Fatal attractors in parity games
We study a new form of attractor in parity games and use it to define solvers that run in PTIME and are partial in that they do not solve all games completely. Technically, for color c this new attractor determines whether player c%2 can reach a set of nodes X of color c whilst avoiding any nodes of color less than c. Such an attractor is fatal if player c%2 can attract all nodes in X back to X in this manner. Our partial solvers detect fixed-points of nodes based on fatal attractors and correctly classify such nodes as won by player c%2. Experimental results show that our partial solvers completely solve benchmarks that were constructed to challenge existing full solvers. Our partial solvers also have encouraging run times. For one partial solver we prove that its runtime is in O(|V |3), that its output game is independent of the order in which attractors are computed, and that it solves all B¨uchi games
Factorization for generic jet production
Factorization is the central ingredient in any theoretical prediction for
collider experiments. We introduce a factorization formalism that can be
applied to any desired observable, like event shapes or jet observables, for
any number of jets and a wide range of jet algorithms in leptonic or hadronic
collisions. This is achieved by using soft-collinear effective theory to prove
the formal factorization of a generic fully-differential cross section in terms
of a hard coefficient, and generic jet and soft functions. In this formalism,
whether a given observable factorizes in the usual sense, depends on whether it
is inclusive enough, so the jet functions can be calculated perturbatively. The
factorization formula for any such observable immediately follows from our
general result, including the precise definition of the jet and soft functions
appropriate for the observable in question. As examples of our formalism, we
work out several results in two-jet production for both e+e- and pp collisions.
For the latter, we also comment on how our formalism allows one to treat
underlying events and beam remnants.Comment: 33 pages, v2: minor typos corrected, journal versio
- …