1 - 25 of 1,962
Number of results to display per page
1 Harrison, Reid R.CMOS imager with on-chip temporal filtering for motion pre-processingRobust motion detection algorithms such as the motion energy model require temporal filtering at the pixel level. We have designed and tested a CMOS imager with integrated, pixel-level temporal filtering necessary for motion detection. This temporal filtering enhances transients and provides a ...2002-01-01
2 Bedrov, Dmitro; Smith, Grant D.Thermodynamic, transport and viscoelastic properties of PBX-9501 binder: a molecular dynamics simulation studyAtomistic molecular dynamics simulations were performed on a low molecular weight nitroplasticized Estane® mixture representative of the binder used in PBX-9501. Pressurevolume-temperature (PVT) behavior over a wide range of pressure and temperatures above the order-disorder temperature (ODT) of Es...PBX-9501 binder; Estane; Viscosity; Shear stress relaxation modulus2008-04-04
3 Myers, Chris J.Timed state space exploration using POSETsAbstract-This paper presents a new timing analysis algorithm for efficient state space exploration during the synthesis of timed circuits or the verification of timed systems. The source of the computational complexity in the synthesis or verification of a timed system is in finding the reachable ti...2000
4 Mathews, V. JohnAdaptive lattice bilinear filtersAbstract-This paper presents two fast least squares lattice algorithms for adaptive nonlinear filters equipped with bilinear system models. Bilinear models are attractive for adaptive filtering applications because they can approximate a large class of nonlinear systems adequately, and usually with...1993
5 Liu, FengSimple generic method for predicting the effect of strain on surface diffusionWe show, by first-principles calculations, that the effect of external strain on surface diffusion is inherently correlated with the intrinsic surface stress induced by the adatom along its diffusion pathways. We demonstrate a simple generic method for a priori predicting quantitatively how an ext...Surface diffusion; First-principles calculations; Adatoms2001-11
6 Stringfellow, Gerald B.; Shurtleff, James KevinHeterostructures in GaInP grown using a change in Te dopingIn organometallic vapor phase epitaxy, changes in growth conditions can be used to modulate the extent of CuPt ordering and, hence, the band gap energy of GaInP. One method is to add Te during growth. An increase in the band gap energy of 0.1 eV due to a decrease in ordering has been obtained by ...Heterostructures; Alloys2000
7 Subrahmanyam, P.A.FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)Funlog, a computational model which attempts to integrate functional programming and logic programming is described. The model supports computations with infinite data structures without the introduction of complex control issues at the user-level. Control characteristics are improved as compared wi...FUNLOG; Functional programming; Logic programming1983
8 Starkey, MikeSwitchbox routing by pattern matchingMany good algorithms have been designed that provide good solutions to the wire routing problem in VLSI. Unfortunately, many of these algorithms only consider a small subset of different parameters such as number of layers, routability of layers and technology. We believe that these algorithms can b...Switchbox routing; pattern matching; wire routing problem; VLSI1991
9 Tiwari, AshutoshZn0.9Co0.1O-based diluted magnetic semiconducting thin filmsHere we report a systematic study of structural, optical, and magnetic measurements on epitaxial Zn0.9Co0.1O films grown on c-plane sapphire single crystal, at various temperatures (500-650°C), using pulsed-laser deposition. The main emphasis in this work has been on the correlation of microstructu...ZnO; Cobalt2004
10 Harrison, Reid R.; Rieth, Loren W.; Tathireddy, Prashant; Solzbacher, FlorianLong term in vitro stability of fully integrated wireless neural interfaces based on Utah slant electrode arrayWe herein report in vitro functional stability and recording longevity of a fully integrated wireless neural interface (INI). The INI uses biocompatible Parylene-C as an encapsulation layer, and was immersed in phosphate buffered saline (PBS) for a period of over 150 days. The full functionality ...2010
11 Myers, Chris J.Design of a genetic muller C-elementSynthetic biology uses engineering principles to design circuits out of genetic materials that are inserted into bacteria to perform various tasks. While synthetic combinational Boolean logic gates have been constructed, there are many open issues in the design of sequential logic gates. One such g...2007
12 Liu, FengConfining P diffusion in Si by an As-doped barrier layerThe miniaturization of Si-based devices requires control of doping profile, which makes the understanding of dopant interaction and diffusion in Si critical. The authors have studied the effect of As doping on P diffusion in Si using first-principles calculations. The authors found a form of As-vaca...P diffusion; Silicon; Arsenic doping; As-doped barrier; Diffusion control2007
13 Balasubramonian, RajeevDynamically tuning processor resources with adaptive processingUsing adaptive processing to dynamically tune major microprocessor resources, developers can achieve greater energy efficiency with reasonable hardware and software overhead while avoiding undue performance loss.Adaptive processing; Energy efficiency; DRI-cache2003-12
14 Carter, John B.Supporting persistent C++ objects in a distributed storage systemWe have designed and implemented a C++ object layer for Khazana, a distributed persistent storage system that exports a flat shared address space as its basic abstraction. The C++ layer described herein lets programmers use familiar C++ idioms to allocate, manipulate, and deallocate persistent share...persistent C++ objects; distributed storage; Khazana; flat shared address space1999
15 Yang, HaoriDigital spectroscopy systems for high rate events in active interrogation applicationsAbstract- Two digital spectroscopy systems have been developed to handle high rate events in active interrogation applications. In the first system, signal from a PMT is directly digitized by a digitizer and then processed on a PC offline, using deconvolution method. By bypassing the preamplifier, ...2007
16 Rieth, Loren W; Solzbacher, FlorianHigh speed wafer scale bulge testing for the determination of thin film mechanical propertiesA wafer scale bulge testing system has been constructed to study the mechanical properties of thin films and microstructures. The custom built test stage was coupled with a pressure regulation system and optical profilometer which gives high accuracy three-dimensional topographic images collected on...2010
17 Subrahmanyam, P.A.On proving the correctness of data type implementationsIn order to prove the correctness (or consistency) of an implementation of a data type with respect to the data type's specifications, the minimal amount of information that needs to be provided consists of: (i) a specification of the type being implemented; (ii) a specification of the representati...Data type; Consistency1980
18 Liu, FengMagnetization on rough ferromagnetic surfacesUsing Ising-model Monte Carlo simulations, we show a strong dependence of surface magnetization on surface roughness. On ferromagnetic surfaces with spin-exchange coupling larger than that of the bulk, the surface magnetic ordering temperature decreases toward the bulk Curie temperature with incre...Ferromagnetic surfaces; Surface magnetization2000-11
19 Furse, Cynthia M.Capacitance and inductance sensor circuits for detecting the lengths of open- and short-circuited wiresThe length of an open- or short-circuited wire is linearly proportional to the capacitance or inductance of the wire, respectively. Several types of simple and inexpensive circuits are introduced to measure these values. Open-circuited (capacitance) measurements are very effective. Short-circuited ...Aging aircraft wire; Capacitance sensors; Fault detection; Inductance sensors2009-08
20 Regehr, JohnCorrectness proofs for device drivers in embedded systemsComputer systems do not exist in isolation: they must interact with the world through I/O devices. Our work, which focuses on constrained embedded systems, provides a framework for verifying device driver software at the machine code level. We created an abstract device model that can be plugged...2010
21 Stringfellow, Gerald B.; Shurtleff, James KevinBi surfactant effects on ordering in GaInP grown by organometallic vapor-phase epitaxyThe effect of the isoelectronic surfactant Bi on surface structure and ordering has been studied for GaInP semiconductor alloys grown by organometallic vapor-phase epitaxy. A small amount of Bi trimethylbismuth added during growth is found to result in disordering for layers grown using conditions t...Surfactant; Semiconductors; Trimethylbismuth2000
22 Kuramkote, Ravindra; Carter, JohnExploring the value of supporting multiple DSM protocols in Hardware DSM ControllersThe performance of a hardware distributed shared memory (DSM) system is largely dependent on its architect's ability to reduce the number of remote memory misses that occur. Previous attempts to solve this problem have included measures such as supporting both the CC-NUMA and S-COMA architectures is...DSM; Controllers1999
23 Freire, JulianaCombining scheduling strategies in tabled evaluationsTabled evaluations ensure termination for Datalog programs by distinguishing calls to tabled subgoals. Given several variant subgoals in an evaluation, only the first (the generator) will use program clause resolution, the rest (consumers) must perform answer resolution using answers computed by th...SLG; SLG-WAM; Tabling; Local scheduling; Batched scheduling1997
24 Henderson, Thomas C.Video based animal behavior analysisIt has become increasingly popular to study animal behaviors with the assistance of video recordings. The traditional way to do this is to first videotape the animal for a period of time, and then a human observer watches the video and records the behaviors of the animal manually. This is a time ...Hidden Markov Model; HMM; Animal Behavior Analysis2006-06-06
25 Liu, FengDetermining the adsorptive and catalytic properties of strained metal surfaces using adsorption-induced stressWe demonstrate a model for determining the adsorptive and catalytic properties of strained metal surfaces based on linear elastic theory, using first-principles calculations of CO adsorption on Au and K surfaces and CO dissociation on Ru surface. The model involves a single calculation of the adsorp...Strained metal surfaces; Adsorption-induced stress; Adsorptive properties; Catalytic properties2004
1 - 25 of 1,962