-
Tubelets: Unsupervised action proposals from spatiotemporal super-voxels
Authors:
Mihir Jain,
Jan van Gemert,
Hervé Jégou,
Patrick Bouthemy,
Cees G. M. Snoek
Abstract:
This paper considers the problem of localizing actions in videos as a sequences of bounding boxes. The objective is to generate action proposals that are likely to include the action of interest, ideally achieving high recall with few proposals. Our contributions are threefold. First, inspired by selective search for object proposals, we introduce an approach to generate action proposals from spat…
▽ More
This paper considers the problem of localizing actions in videos as a sequences of bounding boxes. The objective is to generate action proposals that are likely to include the action of interest, ideally achieving high recall with few proposals. Our contributions are threefold. First, inspired by selective search for object proposals, we introduce an approach to generate action proposals from spatiotemporal super-voxels in an unsupervised manner, we call them Tubelets. Second, along with the static features from individual frames our approach advantageously exploits motion. We introduce independent motion evidence as a feature to characterize how the action deviates from the background and explicitly incorporate such motion information in various stages of the proposal generation. Finally, we introduce spatiotemporal refinement of Tubelets, for more precise localization of actions, and pruning to keep the number of Tubelets limited. We demonstrate the suitability of our approach by extensive experiments for action proposal quality and action localization on three public datasets: UCF Sports, MSR-II and UCF101. For action proposal quality, our unsupervised proposals beat all other existing approaches on the three datasets. For action localization, we show top performance on both the trimmed videos of UCF Sports and UCF101 as well as the untrimmed videos of MSR-II.
△ Less
Submitted 7 July, 2016;
originally announced July 2016.
-
VideoLSTM Convolves, Attends and Flows for Action Recognition
Authors:
Zhenyang Li,
Efstratios Gavves,
Mihir Jain,
Cees G. M. Snoek
Abstract:
We present a new architecture for end-to-end sequence learning of actions in video, we call VideoLSTM. Rather than adapting the video to the peculiarities of established recurrent or convolutional architectures, we adapt the architecture to fit the requirements of the video medium. Starting from the soft-Attention LSTM, VideoLSTM makes three novel contributions. First, video has a spatial layout.…
▽ More
We present a new architecture for end-to-end sequence learning of actions in video, we call VideoLSTM. Rather than adapting the video to the peculiarities of established recurrent or convolutional architectures, we adapt the architecture to fit the requirements of the video medium. Starting from the soft-Attention LSTM, VideoLSTM makes three novel contributions. First, video has a spatial layout. To exploit the spatial correlation we hardwire convolutions in the soft-Attention LSTM architecture. Second, motion not only informs us about the action content, but also guides better the attention towards the relevant spatio-temporal locations. We introduce motion-based attention. And finally, we demonstrate how the attention from VideoLSTM can be used for action localization by relying on just the action class label. Experiments and comparisons on challenging datasets for action classification and localization support our claims.
△ Less
Submitted 6 July, 2016;
originally announced July 2016.
-
Energy Efficient and High Performance Current-Mode Neural Network Circuit using Memristors and Digitally Assisted Analog CMOS Neurons
Authors:
Aranya Goswamy,
Sagar Kumashi,
Vikash Sehwag,
Siddharth Kumar Singh,
Manny Jain,
Kaushik Roy,
Mrigank Sharad
Abstract:
Emerging nano-scale programmable Resistive-RAM (RRAM) has been identified as a promising technology for implementing brain-inspired computing hardware. Several neural network architectures, that essentially involve computation of scalar products between input data vectors and stored network weights can be efficiently implemented using high density cross-bar arrays of RRAM integrated with CMOS. In…
▽ More
Emerging nano-scale programmable Resistive-RAM (RRAM) has been identified as a promising technology for implementing brain-inspired computing hardware. Several neural network architectures, that essentially involve computation of scalar products between input data vectors and stored network weights can be efficiently implemented using high density cross-bar arrays of RRAM integrated with CMOS. In such a design, the CMOS interface may be responsible for providing input excitations and for processing the RRAM output. In order to achieve high energy efficiency along with high integration density in RRAM based neuromorphic hardware, the design of RRAM-CMOS interface can therefore play a major role. In this work we propose design of high performance, current mode CMOS interface for RRAM based neural network design. The use of current mode excitation for input interface and design of digitally assisted current-mode CMOS neuron circuit for the output interface is presented. The proposed technique achieve 10x energy as well as performance improvement over conventional approaches employed in literature. Network level simulations show that the proposed scheme can achieve 2 orders of magnitude lower energy dissipation as compared to a digital ASIC implementation of a feed-forward neural network.
△ Less
Submitted 1 December, 2015; v1 submitted 29 November, 2015;
originally announced November 2015.
-
A first principles investigation of cubic BaRuO$_3$: A Hund's metal
Authors:
Nagamalleswararao Dasari,
S. R. K. C. Sharma Yamijala,
Manish Jain,
T. Saha Dasgupta,
Juana Moreno,
Mark Jarrell,
N. S. Vidhyadhiraja
Abstract:
A first-principles investigation of cubic-BaRuO$_3$, by combining density functional theory with dynamical mean-field theory and a hybridization expansion continuous time quantum Monte-Carlo solver, has been carried out. Non-magnetic calculations with appropriately chosen on-site Coulomb repulsion, $U$ and Hund's exchange, $J$, for single-particle dynamics and static susceptibility show that cubic…
▽ More
A first-principles investigation of cubic-BaRuO$_3$, by combining density functional theory with dynamical mean-field theory and a hybridization expansion continuous time quantum Monte-Carlo solver, has been carried out. Non-magnetic calculations with appropriately chosen on-site Coulomb repulsion, $U$ and Hund's exchange, $J$, for single-particle dynamics and static susceptibility show that cubic-BaRuO$_3$ is in a spin-frozen state at temperatures above the ferromagnetic transition point. A strong red shift with increasing $J$ of the peak in the real frequency dynamical susceptibility indicates a dramatic suppression of the Fermi liquid coherence scale as compared to the bare parameters in cubic-BaRuO$_3$. The self-energy also shows clear deviation from Fermi liquid behaviour that manifests in the single-particle spectrum. Such a clean separation of energy scales in this system provides scope for an incoherent spin-frozen (SF) phase, that extends over a wide temperature range, to manifest in non-Fermi liquid behaviour and to be the precursor for the magnetically ordered ground state.
△ Less
Submitted 13 December, 2015; v1 submitted 4 November, 2015;
originally announced November 2015.
-
Probing 2D Black Phosphorus by Quantum Capacitance Measurements
Authors:
Manabendra Kuiri,
Chandan Kumar,
Biswanath Chakraborty,
Satyendra N Gupta,
Mit H. Naik,
Manish Jain,
A. K. Sood,
Anindya Das
Abstract:
Two-dimensional materials and their heterostructures have emerged as a new class of materials for not only fundamental physics but also for electronic and optoelectronic applications. Black phosphorus (BP) is a relatively new addition to this class of materials. Its strong in plane anisotropy makes BP a unique material to make conceptually new type of electronic devices. However, the global densit…
▽ More
Two-dimensional materials and their heterostructures have emerged as a new class of materials for not only fundamental physics but also for electronic and optoelectronic applications. Black phosphorus (BP) is a relatively new addition to this class of materials. Its strong in plane anisotropy makes BP a unique material to make conceptually new type of electronic devices. However, the global density of states (DOS) of BP in device geometry has not been measured experimentally. Here we report the quantum capacitance measurements together with conductance measurements on a hBN protected few layer BP ($\sim$ 6 layer) in a dual gated field effect transistor (FET) geometry. The measured DOS from our quantum capacitance is compared with the density functional theory (DFT). Our results reveal that the transport gap for quantum capacitance is smaller than that in conductance measurements due to the presence of localized states near the band edge. The presence of localized states is confirmed by the variable range hop** seen in our temperature-dependence conductivity. A large asymmetry is observed between the electron and hole side. The asymmetric nature is attributed to the anisotropic band dispersion of BP. Our measurements establish the uniqueness of quantum capacitance in probing the localized states near the band edge, hitherto not seen in the conductance measurements.
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
-
Objects2action: Classifying and localizing actions without any video example
Authors:
Mihir Jain,
Jan C. van Gemert,
Thomas Mensink,
Cees G. M. Snoek
Abstract:
The goal of this paper is to recognize actions in video without the need for examples. Different from traditional zero-shot approaches we do not demand the design and specification of attribute classifiers and class-to-attribute map**s to allow for transfer from seen classes to unseen classes. Our key contribution is objects2action, a semantic word embedding that is spanned by a skip-gram model…
▽ More
The goal of this paper is to recognize actions in video without the need for examples. Different from traditional zero-shot approaches we do not demand the design and specification of attribute classifiers and class-to-attribute map**s to allow for transfer from seen classes to unseen classes. Our key contribution is objects2action, a semantic word embedding that is spanned by a skip-gram model of thousands of object categories. Action labels are assigned to an object encoding of unseen video based on a convex combination of action and object affinities. Our semantic embedding has three main characteristics to accommodate for the specifics of actions. First, we propose a mechanism to exploit multiple-word descriptions of actions and objects. Second, we incorporate the automated selection of the most responsive objects per action. And finally, we demonstrate how to extend our zero-shot approach to the spatio-temporal localization of actions in video. Experiments on four action datasets demonstrate the potential of our approach.
△ Less
Submitted 23 October, 2015;
originally announced October 2015.
-
Proving Skip** Refinement with ACL2s
Authors:
Mitesh Jain,
Panagiotis Manolios
Abstract:
We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skip** refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level system. Next, one shows that the behaviors of the implementation system are allowed by the specification system. Skipp…
▽ More
We describe three case studies illustrating the use of ACL2s to prove the correctness of optimized reactive systems using skip** refinement. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level system. Next, one shows that the behaviors of the implementation system are allowed by the specification system. Skip** refinement allows us to reason about implementation systems that can "skip" specification states due to optimizations that allow the implementation system to take several specification steps at once. Skip** refinement also allows implementation systems to, i.e., to take several steps before completing a specification step. We show how ACL2s can be used to prove skip** refinement theorems by modeling and proving the correctness of three systems: a JVM-inspired stack machine, a simple memory controller, and a scalar to vector compiler transformation.
△ Less
Submitted 20 September, 2015;
originally announced September 2015.
-
Generating Functionals for Quantum Field Theories with Random Potentials
Authors:
Mudit Jain,
Vitaly Vanchurin
Abstract:
We consider generating functionals for computing correlators in quantum field theories with random potentials. Examples of such theories include condensed matter systems with quenched disorder (e.g. spin glass) or cosmological systems in context of the string theory landscape (e.g. cosmic inflation). We use the so-called replica trick to define two different generating functionals for calculating…
▽ More
We consider generating functionals for computing correlators in quantum field theories with random potentials. Examples of such theories include condensed matter systems with quenched disorder (e.g. spin glass) or cosmological systems in context of the string theory landscape (e.g. cosmic inflation). We use the so-called replica trick to define two different generating functionals for calculating correlators of the quantum fields averaged over a given distribution of random potentials. The first generating functional is appropriate for calculating averaged (in-out) amplitudes and involves a single replica of fields, but the replica limit is taken to an (unphysical) negative one number of fields outside of the path integral. When the number of replicas is doubled the generating functional can also be used for calculating averaged probabilities (squared amplitudes) using the in-in construction. The second generating functional involves an infinite number of replicas, but can be used for calculating both in-out and in-in correlators and the replica limits are taken to only a zero number of fields. We discuss the formalism in details for a single real scalar field, but the generalization to more fields or to different types of fields is straightforward. We work out three examples: one where the mass of scalar field is treated as a random variable and two where the functional form of interactions is random, one described by a Gaussian random field and the other by a Euclidean action in the field configuration space.
△ Less
Submitted 7 January, 2016; v1 submitted 11 June, 2015;
originally announced June 2015.
-
Dopant-mediated structural and magnetic properties of TbMnO3
Authors:
Vinit Sharma,
A. McDannald,
M. Staruch,
R. Ramprasad,
M. Jain
Abstract:
Structural and magnetic properties of the doped terbium manganites (Tb,A)MnO3 (A = Gd, Dy and Ho) have been investigated using first-principles calculations and further confirmed by subse- quent experimental studies. Both computational and experimental studies suggest that compared to the parent material, namely, TbMnO3 (with a magnetic moment of 9.7 /muB for Tb3+) Dy- and Ho- ion substituted TbMn…
▽ More
Structural and magnetic properties of the doped terbium manganites (Tb,A)MnO3 (A = Gd, Dy and Ho) have been investigated using first-principles calculations and further confirmed by subse- quent experimental studies. Both computational and experimental studies suggest that compared to the parent material, namely, TbMnO3 (with a magnetic moment of 9.7 /muB for Tb3+) Dy- and Ho- ion substituted TbMnO3 results in an increase in the magnetic moment (< 10.6/muB for Dy3+ and Ho3+). The observed spiral-spin AFM order in TbMnO3 is stable with respect to the dopant substitutions, which modify the Mn-O-Mn bond angles and lead to stronger the ferromagnetic component of the magnetic moment. Given the fact that magnetic ordering in TbMnO3 causes the ferroelectricity, this is an important step in the field of the magnetically driven ferroelectricity in the class of magnetoelectric multiferroics, which traditionally have low magnetic moments due to the predominantly antiferromagnetic order. In addition, the present study reveals important insights on the phenomenological coupling mechanism in detail, which is essential in order to design new materials with enhanced magneto-electric effects at higher temperatures.
△ Less
Submitted 26 May, 2015;
originally announced May 2015.
-
Solid-state optical absorption from optimally-tuned time-dependent range-separated hybrid density functional theory
Authors:
Sivan Refaely-Abramson,
Manish Jain,
Sahar Sharifzadeh,
Jeffrey B. Neaton,
Leeor Kronik
Abstract:
We present a framework for obtaining reliable solid-state charge and optical excitations and spectra from optimally-tuned range-separated hybrid density functional theory. The approach, which is fully couched within the formal framework of generalized Kohn-Sham theory, allows for accurate prediction of exciton binding energies. We demonstrate our approach through first principles calculations of o…
▽ More
We present a framework for obtaining reliable solid-state charge and optical excitations and spectra from optimally-tuned range-separated hybrid density functional theory. The approach, which is fully couched within the formal framework of generalized Kohn-Sham theory, allows for accurate prediction of exciton binding energies. We demonstrate our approach through first principles calculations of one- and two-particle excitations in pentacene, a molecular semiconducting crystal, where our work is in excellent agreement with experiments and prior computations. We further show that with one adjustable parameter, set to produce an accurate bandgap, this method accurately predicts band structures and optical spectra of silicon and lithium flouride, prototypical covalent and ionic solids. Our findings indicate that for a broad range of extended bulk systems, this method may provide a computationally inexpensive alternative to many-body perturbation theory, opening the door to studies of materials of increasing size and complexity.
△ Less
Submitted 14 August, 2015; v1 submitted 7 May, 2015;
originally announced May 2015.
-
Skip** Refinement
Authors:
Mitesh Jain,
Panagiotis Manolios
Abstract:
We introduce skip** refinement, a new notion of correctness for reasoning about optimized reactive systems. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level implementation system. One then shows that every behavior allowed by the implementation is also allowed by the specification. Due to the difference in…
▽ More
We introduce skip** refinement, a new notion of correctness for reasoning about optimized reactive systems. Reasoning about reactive systems using refinement involves defining an abstract, high-level specification system and a concrete, low-level implementation system. One then shows that every behavior allowed by the implementation is also allowed by the specification. Due to the difference in abstraction levels, it is often the case that the implementation requires many steps to match one step of the specification, hence, it is quite useful for refinement to directly account for stuttering. Some optimized implementations, however, can actually take multiple specification steps at once. For example, a memory controller can buffer the commands to the memory and at a later time simultaneously update multiple memory locations, thereby skip** several observable states of the abstract specification, which only updates one memory location at a time. We introduce skip** simulation refinement and provide a sound and complete characterization consisting of "local" proof rules that are amenable to mechanization and automated verification. We present case studies that highlight the applicability of skip** refinement: a JVM-inspired stack machine, a simple memory controller and a scalar to vector compiler transformation. Our experimental results demonstrate that current model-checking and automated theorem proving tools have difficultly automatically analyzing these systems using existing notions of correctness, but they can analyze the systems if we use skip** refinement.
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
First-principles DFT+GW study of oxygen vacancies in rutile TiO2
Authors:
Andrei Malashevich,
Manish Jain,
Steven G. Louie
Abstract:
We perform first-principles calculations of the quasiparticle defect states, charge transition levels, and formation energies of oxygen vacancies in rutile titanium dioxide. The calculations are done within the recently developed combined DFT+GW formalism, including the necessary electrostatic corrections for the supercells with charged defects. We find the oxygen vacancy to be a negative U defect…
▽ More
We perform first-principles calculations of the quasiparticle defect states, charge transition levels, and formation energies of oxygen vacancies in rutile titanium dioxide. The calculations are done within the recently developed combined DFT+GW formalism, including the necessary electrostatic corrections for the supercells with charged defects. We find the oxygen vacancy to be a negative U defect, where U is the defect electron addition energy. For the values of Fermi level below 2.8 eV (relative to the valence band maximum) we find the +2 charge state of the vacancy to be the most stable, while above 2.8 eV we find that the neutral charge state is the most stable.
△ Less
Submitted 21 July, 2014;
originally announced July 2014.
-
Application Specific Hardware Design Simulation for High Performance Embedded System
Authors:
Ravi Khatwal,
Manoj Kumar Jain
Abstract:
Application specific simulation is challenging task in various real time high performance embedded devices. In this study specific application is implemented with the help of Xilinx. Xilinx provides SDK and XPS tools, XPS tools used for develop complete hardware platform and SDK provides software platform for application creation and verification. Xilinx XUP-5 board have been used and implemented…
▽ More
Application specific simulation is challenging task in various real time high performance embedded devices. In this study specific application is implemented with the help of Xilinx. Xilinx provides SDK and XPS tools, XPS tools used for develop complete hardware platform and SDK provides software platform for application creation and verification. Xilinx XUP-5 board have been used and implemented various specific Applications with hardware platform. In this study the base instruction set with customized instructions, supported with specific hardware resources are analyzed.
△ Less
Submitted 1 July, 2014;
originally announced July 2014.
-
Application Specific Cache Simulation Analysis for Application Specific Instruction set Processor
Authors:
Ravi Khatwal,
Manoj Kumar Jain
Abstract:
An Efficient Simulation of application specific instruction-set processors (ASIP) is a challenging onus in the area of VLSI design. This paper reconnoiters the possibility of use of ASIP simulators for ASIP Simulation. This proposed study allow as the simulation of the cache memory design with various ASIP simulators like Simple scalar and VEX. In this paper we have implemented the memory configur…
▽ More
An Efficient Simulation of application specific instruction-set processors (ASIP) is a challenging onus in the area of VLSI design. This paper reconnoiters the possibility of use of ASIP simulators for ASIP Simulation. This proposed study allow as the simulation of the cache memory design with various ASIP simulators like Simple scalar and VEX. In this paper we have implemented the memory configuration according to desire application. These simulators performs the cache related results such as cache name, sets, cache associativity, cache block size, cache replacement policy according to specific application.
△ Less
Submitted 19 June, 2014;
originally announced June 2014.
-
An Efficient Synchronous Static Memory design for Embedded System
Authors:
Ravi Khatwal,
Manoj Kumar Jain
Abstract:
Custom memory organization are challenging task in the area of VLSI design. This study aims to design high speed and low power consumption memory for embedded system. Synchronous SRAM has been proposed and analyzed using various simulators. Xilinx simulator simulates the Synchronous SRAM memories which can perform efficient read/write capability for embedded systems. Xinix tool also provide the ac…
▽ More
Custom memory organization are challenging task in the area of VLSI design. This study aims to design high speed and low power consumption memory for embedded system. Synchronous SRAM has been proposed and analyzed using various simulators. Xilinx simulator simulates the Synchronous SRAM memories which can perform efficient read/write capability for embedded systems. Xinix tool also provide the access time that required selecting a word and reading it. Synchronous Static RAM which has easily read /writes capability and performs scheduled read /writes operation in efficient manner.
△ Less
Submitted 18 June, 2014;
originally announced June 2014.
-
Microscopic Origin of Charged Impurity Scattering and Flicker Noise in MoS2 field-effect Transistors
Authors:
Subhamoy Ghatak,
Sumanta Mukherjee,
Manish Jain,
D. D. Sarma,
Arindam Ghosh
Abstract:
Scattering of charge carriers and flicker noise in electrical transport are the central performance limiting factors in electronic devices, but their microscopic origin in molybdenum disulphide~(MoS$_2$)-based field effect transistors remains poorly understood. Here, we show that both carrier scattering and low-frequency $1/f$ noise in mechanically exfoliated ultra-thin MoS$_2$ layers are determin…
▽ More
Scattering of charge carriers and flicker noise in electrical transport are the central performance limiting factors in electronic devices, but their microscopic origin in molybdenum disulphide~(MoS$_2$)-based field effect transistors remains poorly understood. Here, we show that both carrier scattering and low-frequency $1/f$ noise in mechanically exfoliated ultra-thin MoS$_2$ layers are determined by the localized trap states located within the MoS$_2$ channel itself. The trap states not only act as Coulomb scattering centers that determine transport in both equilibrium ($eV< k_BT$) and non-equilibrium ($eV>k_BT$) regimes, where $V$ and $T$ are the source drain bias and temperature respectively, but also exchange carriers with the channel to produce the conductivity noise. The internal origin of the trap states was further confirmed by studying noise in MoS$_2$ films deposited on crystalline boron nitride substrates. Possible origin and nature of the trap states is also discussed.
△ Less
Submitted 13 March, 2014;
originally announced March 2014.
-
Verification of Sequential Circuits by Tests-As-Proofs Paradigm
Authors:
Eugene Goldberg,
Mitesh Jain,
Panagiotis Manolios
Abstract:
We introduce an algorithm for detection of bugs in sequential circuits. This algorithm is incomplete i.e. its failure to find a bug breaking a property P does not imply that P holds. The appeal of incomplete algorithms is that they scale better than their complete counterparts. However, to make an incomplete algorithm effective one needs to guarantee that the probability of finding a bug is reason…
▽ More
We introduce an algorithm for detection of bugs in sequential circuits. This algorithm is incomplete i.e. its failure to find a bug breaking a property P does not imply that P holds. The appeal of incomplete algorithms is that they scale better than their complete counterparts. However, to make an incomplete algorithm effective one needs to guarantee that the probability of finding a bug is reasonably high. We try to achieve such effectiveness by employing the Test-As-Proofs (TAP) paradigm. In our TAP based approach, a counterexample is built as a sequence of states extracted from proofs that some local variations of property P hold. This increases the probability that a) a representative set of states is examined and that b) the considered states are relevant to property P.
We describe an algorithm of test generation based on the TAP paradigm and give preliminary experimental results.
△ Less
Submitted 25 September, 2013; v1 submitted 2 August, 2013;
originally announced August 2013.
-
Centromere reference models for human chromosomes X and Y satellite arrays
Authors:
Karen H. Miga,
Yulia Newton,
Miten Jain,
Nicolas Altemose,
Huntington F. Willard,
W. James Kent
Abstract:
The human genome remains incomplete, with multi-megabase sized gaps representing the endogenous centromeres and other heterochromatic regions. These regions are commonly enriched with long arrays of near-identical tandem repeats, known as satellite DNAs, that offer a limited number of variant sites to differentiate individual repeat copies across millions of bases. This substantial sequence homoge…
▽ More
The human genome remains incomplete, with multi-megabase sized gaps representing the endogenous centromeres and other heterochromatic regions. These regions are commonly enriched with long arrays of near-identical tandem repeats, known as satellite DNAs, that offer a limited number of variant sites to differentiate individual repeat copies across millions of bases. This substantial sequence homogeneity challenges available assembly strategies, and as a result, centromeric regions are omitted from ongoing genomic studies. To address this problem, we present a locally ordered assembly across two haploid human satellite arrays on chromosomes X and Y, resulting in an initial linear representation of 3.83 Mb of centromeric DNA within an individual genome. To further expand the utility of each centromeric reference sequence, we evaluate sites within the arrays for short-read mappability and chromosome specificity. As satellite DNAs evolve in a concerted manner, we use these centromeric assemblies to assess the extent of sequence variation among 372 individuals from distinct human populations. In doing so, we identify two ancient satellite array variants in both X and Y centromeres as determined by array length and sequence composition. This study provides an initial linear representation and comprehensive sequence characterization of a regional centromere and establishes a foundation to extend genomic characterization to these sites as well as to other repeat-rich regions within complex genomes.
△ Less
Submitted 17 September, 2013; v1 submitted 28 June, 2013;
originally announced July 2013.
-
Demonstration of zero optical backscattering from single nanoparticles
Authors:
Steven Person,
Manish Jain,
Zachary Lapin,
Juan Jose Saenz,
Gary Wicks,
Lukas Novotny
Abstract:
We present the first experimental demonstration of zero backscattering from nanoparticles at op- tical frequencies as originally discussed by Kerker et. al. [M. Kerker, D. Wang, and C. Giles, J. Opt. Soc. A 73, 765 (1983)]. GaAs pillars were fabricated on a fused silica substrate and the spectrum of the backscattered radiation was measured in the wavelength range 600-1000 nm. Suppression of backsc…
▽ More
We present the first experimental demonstration of zero backscattering from nanoparticles at op- tical frequencies as originally discussed by Kerker et. al. [M. Kerker, D. Wang, and C. Giles, J. Opt. Soc. A 73, 765 (1983)]. GaAs pillars were fabricated on a fused silica substrate and the spectrum of the backscattered radiation was measured in the wavelength range 600-1000 nm. Suppression of backscattering occurred at ~725 nm, agreeing with calculations based on the discrete dipole approximation. Particles with zero backscattering provide new functionality for metamaterials and optical antennas.
△ Less
Submitted 12 December, 2012;
originally announced December 2012.
-
Perovskite BaCrO_{3}: completing a materials system with an anomalous Mott transition
Authors:
Z. H. Zhu,
F. J. Rueckert,
J. I. Budnick,
W. A. Hines,
M. Jain,
H. Zhang,
B. O. Wells
Abstract:
We have synthesized and characterized laser-deposited film samples of perovskite BaCrO_{3}, a missing member of the perovskite-chromate family. The BaCrO_{3} films have a substantially larger lattice constant than other chromates, are insulating, and exhibit weak ferromagnetism likely associated with canted antiferromagnetism. Comparison with the other sister compounds CaCrO_{3} and SrCrO_{3} sugg…
▽ More
We have synthesized and characterized laser-deposited film samples of perovskite BaCrO_{3}, a missing member of the perovskite-chromate family. The BaCrO_{3} films have a substantially larger lattice constant than other chromates, are insulating, and exhibit weak ferromagnetism likely associated with canted antiferromagnetism. Comparison with the other sister compounds CaCrO_{3} and SrCrO_{3} suggest an anomalous Mott transition where magnetism is independent of whether the compound is metallic or insulating
△ Less
Submitted 12 April, 2016; v1 submitted 2 November, 2012;
originally announced November 2012.
-
Coulomb-hole summations and energies for GW calculations with limited number of empty orbitals: a modified static remainder approach
Authors:
Jack Deslippe,
Georgy Samsonidze,
Manish Jain,
Marvin L. Cohen,
Steven G. Louie
Abstract:
Ab initio GW calculations are a standard method for computing the spectroscopic properties of many materials. The most computationally expensive part in conventional implementations of the method is the generation and summation over the large number of empty orbitals required to converge the electron self energy. We propose a scheme to reduce the summation over empty states by the use of a modifie…
▽ More
Ab initio GW calculations are a standard method for computing the spectroscopic properties of many materials. The most computationally expensive part in conventional implementations of the method is the generation and summation over the large number of empty orbitals required to converge the electron self energy. We propose a scheme to reduce the summation over empty states by the use of a modified static-remainder approximation, which is simple to implement and yields accurate self energies for both bulk and molecular systems requiring a small fraction of the typical number of empty orbitals.
△ Less
Submitted 1 August, 2012;
originally announced August 2012.
-
An Analysis of the Methods Employed for Breast Cancer Diagnosis
Authors:
Mahjabeen Mirza Beg,
Monika Jain
Abstract:
Breast cancer research over the last decade has been tremendous. The ground breaking innovations and novel methods help in the early detection, in setting the stages of the therapy and in assessing the response of the patient to the treatment. The prediction of the recurrent cancer is also crucial for the survival of the patient. This paper studies various techniques used for the diagnosis of brea…
▽ More
Breast cancer research over the last decade has been tremendous. The ground breaking innovations and novel methods help in the early detection, in setting the stages of the therapy and in assessing the response of the patient to the treatment. The prediction of the recurrent cancer is also crucial for the survival of the patient. This paper studies various techniques used for the diagnosis of breast cancer. Different methods are explored for their merits and de-merits for the diagnosis of breast lesion. Some of the methods are yet unproven but the studies look very encouraging. It was found that the recent use of the combination of Artificial Neural Networks in most of the instances gives accurate results for the diagnosis of breast cancer and their use can also be extended to other diseases.
△ Less
Submitted 17 June, 2012;
originally announced June 2012.
-
First-principles calculations of the electronic structure of open-shell condensed matter systems
Authors:
Johannes Lischner,
Jack Deslippe,
Manish Jain,
Steven G. Louie
Abstract:
We develop a Green's function approach to quasiparticle excitations of open-shell systems within the GW approximation. It is shown that accurate calculations of the characteristic multiplet structure require a precise knowledge of the self energy and, in particular, its poles. We achieve this by constructing the self energy from appropriately chosen mean-field theories on a fine frequency grid. We…
▽ More
We develop a Green's function approach to quasiparticle excitations of open-shell systems within the GW approximation. It is shown that accurate calculations of the characteristic multiplet structure require a precise knowledge of the self energy and, in particular, its poles. We achieve this by constructing the self energy from appropriately chosen mean-field theories on a fine frequency grid. We apply our method to a two-site Hubbard model, several molecules and the negatively charged nitrogen-vacancy defect in diamond, and obtain good agreement with experiment and other high-level theories.
△ Less
Submitted 22 February, 2012;
originally announced February 2012.
-
BerkeleyGW: A Massively Parallel Computer Package for the Calculation of the Quasiparticle and Optical Properties of Materials and Nanostructures
Authors:
Jack Deslippe,
Georgy Samsonidze,
David A. Strubbe,
Manish Jain,
Marvin L. Cohen,
Steven G. Louie
Abstract:
BerkeleyGW is a massively parallel computational package for electron excited-state properties that is based on the many-body perturbation theory employing the ab initio GW and GW plus Bethe-Salpeter equation methodology. It can be used in conjunction with many density-functional theory codes for ground-state properties, including PARATEC, PARSEC, Quantum ESPRESSO, OCTOPUS and SIESTA. The package…
▽ More
BerkeleyGW is a massively parallel computational package for electron excited-state properties that is based on the many-body perturbation theory employing the ab initio GW and GW plus Bethe-Salpeter equation methodology. It can be used in conjunction with many density-functional theory codes for ground-state properties, including PARATEC, PARSEC, Quantum ESPRESSO, OCTOPUS and SIESTA. The package can be used to compute the electronic and optical properties of a wide variety of material systems from bulk semiconductors and metals to nanostructured materials and molecules. The package scales to 10,000's of CPUs and can be used to study systems containing up to 100's of atoms.
△ Less
Submitted 1 August, 2012; v1 submitted 18 November, 2011;
originally announced November 2011.
-
Quasiparticle Excitations and Charge Transition Levels of Oxygen Vacancies in Hafnia
Authors:
Manish Jain,
James R. Chelikowsky,
Steven G. Louie
Abstract:
We calculate the quasiparticle defect states and charge transition levels of oxygen vacancies in monoclinic hafnia. The charge transition levels, although they are thermodynamic quantities, can be critically dependent on the band gap owing to localized defect states. These quasiparticle defect level effects are treated using the first principle GW approximation to the self energy. We show that the…
▽ More
We calculate the quasiparticle defect states and charge transition levels of oxygen vacancies in monoclinic hafnia. The charge transition levels, although they are thermodynamic quantities, can be critically dependent on the band gap owing to localized defect states. These quasiparticle defect level effects are treated using the first principle GW approximation to the self energy. We show that the quality and reliability of the results may be evaluated by calculating the same transition level via two physical paths and that it is important to include the necessary electrostatic corrections in a supercell calculation. Contrary to many previous reports, the oxygen vacancies in monoclinic hafnia are found to be a positive U center, where U is the defect electron addition energy. We identify a physical partitioning of U in terms of an electronic and structural relaxation part.
△ Less
Submitted 5 May, 2011;
originally announced May 2011.
-
Approaches to Formal Verification of Security Protocols
Authors:
Suvansh Lal,
Mohit Jain,
Vikrant Chaplot
Abstract:
In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional correctness before they are used in practice. Application of formal methods for verification of security protocols would enhance their reliability thereby, increasing the usability of systems that employ them. Thus, formal veri…
▽ More
In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional correctness before they are used in practice. Application of formal methods for verification of security protocols would enhance their reliability thereby, increasing the usability of systems that employ them. Thus, formal verification of security protocols has become a key issue in computer and communications security. In this paper we present, analyze and compare some prevalent approaches towards verification of secure systems. We follow the notion of - same goal through different approaches - as we formally analyze the Needham Schroeder Public Key protocol for Lowe's attack using each of our presented approaches.
△ Less
Submitted 10 January, 2011;
originally announced January 2011.
-
Suppression of superconductivity in FeSe films under tensile strain
Authors:
Y. F. Nie,
E. Brahimi,
J. I. Budnick,
W. A. Hines,
M. Jain,
B. O. Wells
Abstract:
We have studied the effect of tensile strain on the superconductivity in FeSe films. 50 nm, 100 nm, and 200 nm FeSe films were grown on MgO, SrTiO$_3$, and LaAlO$_3$ substrates by using a pulsed laser deposition technique. X-ray diffraction analysis showed that the tetragonal phase is dominant in all of our FeSe films. The 50 nm FeSe films on MgO and SrTiO$_3$ are under tensile strain, while the…
▽ More
We have studied the effect of tensile strain on the superconductivity in FeSe films. 50 nm, 100 nm, and 200 nm FeSe films were grown on MgO, SrTiO$_3$, and LaAlO$_3$ substrates by using a pulsed laser deposition technique. X-ray diffraction analysis showed that the tetragonal phase is dominant in all of our FeSe films. The 50 nm FeSe films on MgO and SrTiO$_3$ are under tensile strain, while the 50 nm FeSe film on LaAlO$_3$ and the other thick FeSe films are unstrained. Superconducting transitions have been observed in unstrained FeSe films with T$_{onset}$ $\approx$ 8 K, which is close to the bulk value. However, no sign of superconductivity has been observed in FeSe films under tensile strain down to 5 K. There is evidence to show that tensile strain suppresses superconductivity in FeSe films.
△ Less
Submitted 2 June, 2009; v1 submitted 17 April, 2009;
originally announced April 2009.
-
Operation of a Bloch oscillator
Authors:
K. F. Renk,
A. Meier,
B. I. Stahl,
A. Glukhovskoy,
M. Jain,
H. Appel,
W. Wegscheider
Abstract:
We report the operation of a Bloch oscillator. The active medium was a staticvoltage driven, doped GaAs/AlAs superlattice which was electromagnetically coupled to a resonator. The oscillator produced tuneable microwave radiation (frequency ~ 60 GHz; power ~ 0.5 mW; efficiency ~ 4 %). The gain (~ 10^4 /cm) was due to the nonlinearity mediated by miniband electrons. We also present a theory of the…
▽ More
We report the operation of a Bloch oscillator. The active medium was a staticvoltage driven, doped GaAs/AlAs superlattice which was electromagnetically coupled to a resonator. The oscillator produced tuneable microwave radiation (frequency ~ 60 GHz; power ~ 0.5 mW; efficiency ~ 4 %). The gain (~ 10^4 /cm) was due to the nonlinearity mediated by miniband electrons. We also present a theory of the oscillator. The Bloch oscillator should in principle be feasible for generation of radiation up to frequencies of 10 THz and more.
△ Less
Submitted 11 February, 2005;
originally announced February 2005.
