|
|
Creator | Title | Description | Subject | Date |
126 |
|
Myers, Chris J.; Jones, Kevin | New verification method for embedded systems | Abstract-Verification of embedded systems is complicated by the fact that they are composed of digital hardware, analog sensors and actuators, and low level software. In order to verify the interaction of these heterogeneous components, it would be beneficial to have a single modeling formalism that... | | 2009 |
127 |
|
Mathews, V. John | An optimal design procedure for intraband vector quantized subband coding | AbstTact- Subband coding with vector quantization is addressed in this paper. Forming the data vectors from both between and within the subbands is considered. The former of these two schemes is referred to as interband coding and the latter as intraband coding. Interband coder design is relatively ... | | 1995 |
128 |
|
Mathews, V. John | Adaptive realization of a maximum likelihood time delay estimator | ABSTRACT This paper presents an adaptive maximum likelihood method for estimating the time difference of arrival of a source signal at two spatially separate sensors. It is well-known that the maximum likelihood technique achieves the Cramer-Rao lower bound for time delay estimation error for ce... | | 1996 |
129 |
|
Harrison, Reid R. | Wireless integrated circuit for 100-channel charge-balanced neural stimulation | The authors present the design of an integrated circuit for wireless neural stimulation, along with benchtop and in-vivo experimental results. The chip has the ability to drive 100 individual stimulation electrodes with constant-current pulses of varying amplitude, duration, interphasic delay, and ... | Wireless integrated circuit; Low-power | 2009-12 |
130 |
|
Stevens, Kenneth | Testing the consequences of specifications in modal µ | In a companion paper in these proceedings [6], we introduced the CCS notation and explained how to write specifications succinctly in CCS using the composition operator. In this paper we explain how one may associate a process logic with CCS and use it to resolve deadlock, safety, liveness, and fai... | | 1993 |
131 |
|
Harrison, Reid R. | Wireless neural signal acquisition with single low-power integrated circuit | We present experimental results from an integrated circuit designed for wireless neural recording applications. The chip, which was fabricated in a 0.6-μm 2P3M BiCMOS process, contains 100 amplifiers and a 10-bit ADC and 902-928 MHz FSK transmitter. Neural signals from one amplifier are sampled by... | Low-power; Wireless; Neural recording; Integrated Neural Interface; INI3; Utah Electrode Array | 2008-05 |
132 |
|
Stevens, Kenneth | The post office experience: designing a large asynchronous chip | The Post Office is an asynchronous, 300,000 transistor, full-custom CMOS chip designed as the communication component for the Mayfly scalable parallel processor. Performance requirements led to the development of a design style which permits the design of sequential circuits operating under a rest... | | 1993 |
133 |
|
Stevens, Kenneth | Congruent weak conformance | Congruent weak conformance is a property between formal models capturing the desired relationship between a specification and its implementation by allowing unused and redundant circuitry and tolerating unspec4jied behavior in the unreachable state space. By providing greater flexibility in design t... | | 2001 |
134 |
|
Furse, Cynthia M. | Novel inverse methods for wire fault detection and diagnosis | Abstract?In recent years, methods used to locate and diagnose wiring faults have increased in complexity and variety. However, there is much research yet to take place in order to develop high resolution models for accurately analysis of the effects of small faults, gradual impedance discontinuities... | | 2011 |
135 |
|
Stringfellow, Gerald B. | Modulated contrast and associated diffracted intensity of GaPySb1-y layers grown using organometallic vapor phase epitaxy | We have investigated the modulated structures and its associated diffracted diff_x000B_use intensity, of organometallic vapor phase epitaxially grown GaPSb (001) layers by using transmission electron microscopy (TEM) and transmission electron diff_x000B_raction (TED). The TEM results reveal the co-e... | Organometallic vapor phase epitaxy; GaPySb1-y layers; Modulated contrast; Diffracted intensity | 2008 |
136 |
|
Mathews, V. John | On using the short-time unbiased spectrum estimation algorithm for estimating time delays and magnitude squared coherence functions | This paper introduces novel applications of the short-time unbiased sprectral estimation (STUSE) algorithm, which adds biased estimates to yield unbiased spectral estimates. It is shown that STUSE algorithm is an effective tool for estimating time delays and magnitude-squared coherence (MSC) functio... | | 1983 |
137 |
|
Mastrangelo, Carlos H. | Detection of biomolecular binding by fourier-transform SPR | Surface plasmon resonance (SPR) is a widely used label-free detection technique that has many applications in drug discovery, pharmacokinetics, systems biology and food science. The SPR technique measures the dynamics of a biomolecular interaction at a surface, yielding kinetic association and diss... | | 2010 |
138 |
|
Furse, Cynthia M. | Improving communication skills through project-based learning | In 2006, a program geared towards integrating technical communication and teamwork within engineering at the University of Utah was initiated. The program's aim was to improve communication education using technical course assignments, thereby avoiding the addition of a technical elective to an alre... | | 2007-06 |
139 |
|
Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Cell library for automatic synthesis of analog error control decoders | This paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog ermr control decoders can be automatically synthesized. Also, using automatic synthesis based on this cell library, the circuit performance is not degraded and the circuit i... | | 2002 |
140 |
|
Stringfellow, Gerald B. | Surface photoabsorption study of the effects of growth temperature and V/III ratio on ordering in GaInP | Surface photoabsorption (SPA) measurements were used to clarify the Cu-Pt ordering mechanism in Ga0.5In0.5P layers grown by organometallic vapor phase epitaxy. The Cu-Pt ordering is strongly affected by the growth temperature and the input partial pressure of the phosphorus precursor, i.e., the V/II... | P-dimer concentration; Oriented phosphorus dimers; Surface reconstruction | 1996-05-01 |
141 |
|
Furse, Cynthia M.; Gandhi, Om P. | Currents induced in the human body for exposure to ultrawideband electromagnetic pulses | The frequency-dependent finite-difference time-domain [(FD)2TD] method is used to calculate internal electric fields and induced current densities in a 1.31-cm resolution anatomically-based model of the human body for exposure to ultrawideband vertically polarized electromagnetic pulses (EMP's). Fr... | FDTD; Finite-difference time-domain; Ultrawideband electromagnetic pulses; Induced currents | 1997-01-01 |
142 |
|
Tasdizen, Tolga | Algebraic curves that work better | An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or superquadrics. The main drawback in representing shapes by algebraic curves has been the lack of repeatability in fitting algebraic... | | 1999 |
143 |
|
Mastrangelo, Carlos H.; Tabib-Azar, Massood | Microfabrication of plasma nanotorch tips for localized etching and deposition | Abstract-We present the microfabrication and initial testing of an AFM-tip like device, or nanotorch, that is capable of generating a very localized microplasma at its tip. The submicron region near its tip provides a unique manufacturing environment where new methods for controlled direct-write mic... | | 2010 |
144 |
|
Furse, Cynthia M. | MIMO transmission equation | Multiple-input, multiple-output (MIMO) antenna systems such as the one depicted in Fig. 1 offer capacity benefits over their single-input, single-output (SISO) counterparts [1], thus attracting considerable current research. MIMO performance depends on a wide range of parameters [1] including radia... | | 2008-07 |
145 |
|
Mathews, V. John | Adaptive polynomial filters | While linear filter are useful in a large number of applications and relatively simple from conceptual and implementational view points. there are many practical situations that require nonlinear processing of the signals involved. This article explains adaptive nonlinear filters equipped with polyn... | | 1991 |
146 |
|
Furse, Cynthia M. | Faster than fourier: ultra-efficient time-to-frequency-domain conversions for FDTD simulations | This tutorial compares several methods of converting from the time to the frequency domain for FDTD simulations. Applications include calculations of field or power distributions, antenna impedance, and radiation patterns. The traditional Fourier transform methods are compared to two methods based o... | FDTD simulations; FDTD methods; Finite-difference time-domain; Computation time; Frequency domain analysis; Time domain analysis; Discrete Fourier transform | 2000-01-01 |
147 |
|
Mathews, V. John | An analytical model of the perceptual threshold function for multichannel image compression | ABSTRACT The human observer is often the final judge of the quality of compressed images. One way to design a compression system that attempts to reduce or eliminate subjective distortions in the coded images is to incorporate a perceptual threshold function model into the compression system. The... | | 1998 |
148 |
|
Mathews, V. John | Tracking analysis of the sign algorithm in nonstationary environments | This paper presents a tracking analysis of the adaptive filters equipped with the sign algorithm and operating in nonstationary environments. Under the assumption that the nonstationarity can be modeled using a random disturbance, it is shown that the long-term time average of the mean-absolute erro... | | 1990 |
149 |
|
Stevens, Kenneth | CAD directions for high performance asynchronous circuits | This paper describes a novel methodology for high performance asynchronous design based on timed circuits and on CAD support for their synthesis using Relative Timing. This methodology was developed for a prototype iA32 instruction length decoding and steering unit called RAPPID ("Revolving Asynchro... | | 1999 |
150 |
|
Stringfellow, Gerald B.; Williams, Clayton C. | Atomic ordering of GaInP studied by Kelvin probe force microscopy | The atomic ordering of GaInP has been established and studied by a variety of methods, including transmission electron microscopy, cathodoluminescence, and photoluminescence. In this work, a Kelvin probe force microscope _x0002_KPFM_x0003_ has been employed to image several GaInP samples previous... | Cathodoluminescence; Photoluminescence; Surface morphology | 1995 |