|
|
Creator | Title | Description | Subject | Date |
1 |
|
Harrison, Reid R. | CMOS imager with on-chip temporal filtering for motion pre-processing | Robust 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 study | Atomistic 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 modulus | 2008-04-04 |
3 |
|
Myers, Chris J. | Timed state space exploration using POSETs | Abstract-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. John | Adaptive lattice bilinear filters | Abstract-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, Feng | Simple generic method for predicting the effect of strain on surface diffusion | We 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; Adatoms | 2001-11 |
6 |
|
Stringfellow, Gerald B.; Shurtleff, James Kevin | Heterostructures in GaInP grown using a change in Te doping | In 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; Alloys | 2000 |
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 programming | 1983 |
8 |
|
Starkey, Mike | Switchbox routing by pattern matching | Many 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; VLSI | 1991 |
9 |
|
Tiwari, Ashutosh | Zn0.9Co0.1O-based diluted magnetic semiconducting thin films | Here 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; Cobalt | 2004 |
10 |
|
Harrison, Reid R.; Rieth, Loren W.; Tathireddy, Prashant; Solzbacher, Florian | Long term in vitro stability of fully integrated wireless neural interfaces based on Utah slant electrode array | We 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-element | Synthetic 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, Feng | Confining P diffusion in Si by an As-doped barrier layer | The 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 control | 2007 |
13 |
|
Balasubramonian, Rajeev | Dynamically tuning processor resources with adaptive processing | Using 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-cache | 2003-12 |
14 |
|
Carter, John B. | Supporting persistent C++ objects in a distributed storage system | We 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 space | 1999 |
15 |
|
Yang, Haori | Digital spectroscopy systems for high rate events in active interrogation applications | Abstract- 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, Florian | High speed wafer scale bulge testing for the determination of thin film mechanical properties | A 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 implementations | In 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; Consistency | 1980 |
18 |
|
Liu, Feng | Magnetization on rough ferromagnetic surfaces | Using 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 magnetization | 2000-11 |
19 |
|
Furse, Cynthia M. | Capacitance and inductance sensor circuits for detecting the lengths of open- and short-circuited wires | The 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 sensors | 2009-08 |
20 |
|
Regehr, John | Correctness proofs for device drivers in embedded systems | Computer 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 Kevin | Bi surfactant effects on ordering in GaInP grown by organometallic vapor-phase epitaxy | The 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; Trimethylbismuth | 2000 |
22 |
|
Kuramkote, Ravindra; Carter, John | Exploring the value of supporting multiple DSM protocols in Hardware DSM Controllers | The 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; Controllers | 1999 |
23 |
|
Freire, Juliana | Combining scheduling strategies in tabled evaluations | Tabled 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 scheduling | 1997 |
24 |
|
Henderson, Thomas C. | Video based animal behavior analysis | It 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 Analysis | 2006-06-06 |
25 |
|
Liu, Feng | Determining the adsorptive and catalytic properties of strained metal surfaces using adsorption-induced stress | We 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 properties | 2004 |