Filters: Collection: "ir_uspace" Type: "Text" Format: "application/pdf" School Or College: "College of Engineering"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 201 |
 |
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 | |
| 202 |
 |
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 | |
| 203 |
 |
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 |
| 204 |
 |
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 |
| 205 |
 |
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 |
| 206 |
 |
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 | |
| 207 |
 |
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 | |
| 208 |
 |
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 |
| 209 |
 |
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 |
| 210 |
 |
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 |
| 211 |
 |
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 | |
| 212 |
 |
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 |
| 213 |
 |
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 |
| 214 |
 |
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 |
| 215 |
 |
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 |
| 216 |
 |
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 |
| 217 |
 |
Riloff, Ellen M. | Corpus-based semantic lexicon induction with web-based corroboration | Various techniques have been developed to automatically induce semantic dictionaries from text corpora and from the Web. Our research combines corpus-based semantic lexicon induction with statistics acquired from the Web to improve the accuracy of automatically acquired domain-specific dictionari... | Corpus-based; Text corpora; Domain-specific dictionaries; Bootstrapping algorithm | 2009 |
| 218 |
 |
Freire, Juliana | Beyond depth-first strategies: improving tabled logic programs through alternative scheduling | Tabled evaluation ensures termination for programs with finite models by keeping track of which subgoals have been called. Given several variant subgoals in an evaluation, only the fi rst one encountered will use program-clause resolution; the rest will resolve with the answers generated by the f... | Alternate scheduling; SLG-WAM; Tabled logic programs | 1998 |
| 219 |
 |
Angelucci, Alessandra; Lund, Jennifer S. | Circuits for local and global signal integration in primary visual cortex | Contrast-dependent changes in spatial summation and contextual modulation of primary visual cortex (V1) neuron responses to stimulation of their receptive field reveal long-distance integration of visual signals within V1, well beyond the classical receptive field (cRF) of single neurons. To identif... | Primary Visual Cortex; Extrastriate Cortex; Feed-back Connections; Lateral Connections; SUrround Modulation; Macaque | 2002-10-01 |
| 220 |
 |
Brunvand, Erik L. | HDL modeling for analysis and optimization of asynchronous controllers | We propose a simulation-based technique for analysis and optimization of extended burst-mode (XBM) asynchronous controllers. In asynchronous controllers of this sort, timing information on control signals is significant both for performance enhancement and timing validation. Timing information, ... | 2005 | |
| 221 |
 |
Mastrangelo, Carlos H.; Young, Darrin J. | Personal navigation via high-resolution gait-corrected inertial measurement units | Abstract-In this paper, a personal micronavigation system that uses high-resolution gait-corrected inertial measurement units is presented. The goal of this paper is to develop a navigation system that uses secondary inertial variables, such as velocity, to enable long-term precise navigation in th... | 2010 | |
| 222 |
 |
Boll, Steven F. | Suppression of acoustic noise in speech using two microphone adaptive noise cancellation | Acoustic noise with energy greater or equal to the speech is suppressed by filtering a separately recorded correlated noise signal and subtracting it from the speech waveform. This approach was investigated to determine the degree of noise suppression possible using an external correlated input. The... | Suppression; acoustic noise; adaptive noise cancellation | 1979 |
| 223 |
 |
Harrison, Reid R. | Local field potential measurement with low-power analog integrated circuit | Local field potentials (LFPs) in the brain are an important source of information for basic research and clinical (i.e., neuroprosthetic) applications. The energy contained in certain bands of LFPs in the 10-100 Hz range has been shown to correlate with specific arm movement parameters in nonhuman ... | Local field potentials; Neural recording; Low-power circuit design; Neural prosthesis; VLSI | 2004-01-01 |
| 224 |
 |
Hibler, Michael J. | Interface and execution models in the fluke kernel | We have defined and implemented a new kernel API that makes every exported operation either fully interruptible and restartable, thereby appearing atomic to the user. To achieve interruptibility, all possible states in which a thread may become blocked for a "long" time are completely representable ... | Fluke kernel; Interruptibility | 1998 |
| 225 |
 |
Horch, Kenneth W. | Acoustic interneurons of fiddler and ghost crabs | The properties of acoustic interneurons in fiddler (Uca pugilalor and U. minax) and ghost (Ocvpade qucldrula) crabs are described, as revealed bv tests with pure tones. Three types of interneurons were present in all species: tonic, which fired for the duration of the stimulus; phasic, which fire... | Acoustic crabs; Neural recording; Vibration reception | 1976 |