Tailoring the atomic structure of graphene nanoribbons by STM lithography

The practical realization of nano-scale electronics faces two major challenges: the precise engineering of the building blocks and their assembly into functional circuits. In spite of the exceptional electronic properties of carbon nanotubes only basic demonstration-devices have been realized by time-consuming processes. This is mainly due to the lack of selective growth and reliable assembly processes for nanotubes. However, graphene offers an attractive alternative. Here we report the patterning of graphene nanoribbons (GNRs) and bent junctions with nanometer precision, well-defined widths and predetermined crystallographic orientations allowing us to fully engineer their electronic structure using scanning tunneling microscope (STM) lithography. The atomic structure and electronic properties of the ribbons have been investigated by STM and tunneling spectroscopy measurements. Opening of confinement gaps up to 0.5 eV, allowing room temperature operation of GNR-based devices, is reported. This method avoids the difficulties of assembling nano-scale components and allows the realization of complete integrated circuits, operating as room temperature ballistic electronic devices.Comment: 8 pages text, 5 figures, Nature Nanotechnology, in pres

Towards the Formalization of Fractional Calculus in Higher-Order Logic

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing the basic theories of fractional calculus in the HOL Light theorem prover. Mainly, we present the motivation and application of such formalization efforts, a roadmap to achieve our goals, current status of the project and future milestones.Comment: 9 page

Comparative Field Evaluation of Combinations of Long-Lasting Insecticide Treated Nets and Indoor Residual Spraying, Relative to Either Method Alone, for Malaria Prevention in an Area where the main Vector is Anopheles Arabiensis.

Long-lasting insecticidal nets (LLINs) and indoor residual spraying (IRS) are commonly used together in the same households to improve malaria control despite inconsistent evidence on whether such combinations actually offer better protection than nets alone or IRS alone. Comparative tests were conducted using experimental huts fitted with LLINs, untreated nets, IRS plus untreated nets, or combinations of LLINs and IRS, in an area where Anopheles arabiensis is the predominant malaria vector species. Three LLIN types, Olyset®, PermaNet 2.0® and Icon Life® nets and three IRS treatments, pirimiphos-methyl, DDT, and lambda cyhalothrin, were used singly or in combinations. We compared, number of mosquitoes entering huts, proportion and number killed, proportions prevented from blood-feeding, time when mosquitoes exited the huts, and proportions caught exiting. The tests were done for four months in dry season and another six months in wet season, each time using new intact nets. All the net types, used with or without IRS, prevented >99% of indoor mosquito bites. Adding PermaNet 2.0® and Icon Life®, but not Olyset® nets into huts with any IRS increased mortality of malaria vectors relative to IRS alone. However, of all IRS treatments, only pirimiphos-methyl significantly increased vector mortality relative to LLINs alone, though this increase was modest. Overall, median mortality of An. arabiensis caught in huts with any of the treatments did not exceed 29%. No treatment reduced entry of the vectors into huts, except for marginal reductions due to PermaNet 2.0® nets and DDT. More than 95% of all mosquitoes were caught in exit traps rather than inside huts. Where the main malaria vector is An. arabiensis, adding IRS into houses with intact pyrethroid LLINs does not enhance house-hold level protection except where the IRS employs non-pyrethroid insecticides such as pirimiphos-methyl, which can confer modest enhancements. In contrast, adding intact bednets onto IRS enhances protection by preventing mosquito blood-feeding (even if the nets are non-insecticidal) and by slightly increasing mosquito mortality (in case of LLINs). The primary mode of action of intact LLINs against An. arabiensis is clearly bite prevention rather than insecticidal activity. Therefore, where resources are limited, priority should be to ensure that everyone at risk consistently uses LLINs and that the nets are regularly replaced before being excessively torn. Measures that maximize bite prevention (e.g. proper net sizes to effectively cover sleeping spaces, stronger net fibres that resist tears and burns and net use practices that preserve net longevity), should be emphasized

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Measurement of the B0 anti-B0 oscillation frequency using l- D*+ pairs and lepton flavor tags

The oscillation frequency Delta-md of B0 anti-B0 mixing is measured using the partially reconstructed semileptonic decay anti-B0 -> l- nubar D*+ X. The data sample was collected with the CDF detector at the Fermilab Tevatron collider during 1992 - 1995 by triggering on the existence of two lepton candidates in an event, and corresponds to about 110 pb-1 of pbar p collisions at sqrt(s) = 1.8 TeV. We estimate the proper decay time of the anti-B0 meson from the measured decay length and reconstructed momentum of the l- D*+ system. The charge of the lepton in the final state identifies the flavor of the anti-B0 meson at its decay. The second lepton in the event is used to infer the flavor of the anti-B0 meson at production. We measure the oscillation frequency to be Delta-md = 0.516 +/- 0.099 +0.029 -0.035 ps-1, where the first uncertainty is statistical and the second is systematic.Comment: 30 pages, 7 figures. Submitted to Physical Review

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

A 160-kilobit molecular electronic memory patterned at 10^(11) bits per square centimetre

The primary metric for gauging progress in the various semiconductor integrated circuit technologies is the spacing, or pitch, between the most closely spaced wires within a dynamic random access memory (DRAM) circuit. Modern DRAM circuits have 140nm pitch wires and a memory cell size of 0.0408 μm^2. Improving integrated circuit technology will require that these dimensions decrease over time. However, at present a large fraction of the patterning and materials requirements that we expect to need for the construction of new integrated circuit technologies in 2013 have ‘no known solution’. Promising ingredients for advances in integrated circuit technology are nanowires, molecular electronics and defect-tolerant architectures, as demonstrated by reports of single devices and small circuits. Methods of extending these approaches to large-scale, high-density circuitry are largely undeveloped. Here we describe a 160,000-bit molecular electronic memory circuit, fabricated at a density of 10^(11) bits cm^(-2) (pitch 33 nm; memory cell size 0.0011 mm^2), that is, roughly analogous to the dimensions of a DRAM circuit projected to be available by 2020. A monolayer of bistable, [2]rotaxane molecules 10 served as the data storage elements. Although the circuit has large numbers of defects, those defects could be readily identified through electronic testing and isolated using software coding. The working bits were then configured to form a fully functional random access memory circuit for storing and retrieving information

Expression of Multiple Artificial MicroRNAs from a Chicken miRNA126-Based Lentiviral Vector

Background: The use of RNAi in both basic and translational research often requires expression of multiple siRNAs from the same vector. Methods/Principal Findings: We have developed a novel chicken miR126-based artificial miRNA expression system that can express one, two or three miRNAs from a single cassette in a lentiviral vector. We show that each of the miRNAs expressed from the same lentiviral vector is capable of potent inhibition of reporter gene expression in transient transfection and stable integration assays in chicken fibroblast DF-1 cells. Transduction of Vero cells with lentivirus expressing two or three different anti-influenza miRNAs leads to inhibition of influenza virus production. In addition, the chicken miR126-based expression system effectively inhibits reporter gene expression in human, monkey, dog and mouse cells. These results demonstrate that the flanking regions of a single primary miRNA can support processing of three different stem-loops in a single vector. Conclusions/Significance: This novel design expands the means to express multiple miRNAs from the same vector for potent and effective silencing of target genes and influenza virus.National Institutes of Health (U.S.) (Grant R01AI056267)Cobb-Vantress, inc