UScholar Works
 
Filters: Department: "Electrical & Computer Engineering" School Or College: "College of Engineering" Collection: "ir_uspace" Format: "application/pdf"
126 - 150 of 577
Number of results to display per page
CreatorTitleDescriptionSubjectDate
126 Myers, Chris J.; Jones, KevinNew verification method for embedded systemsAbstract-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. JohnAn optimal design procedure for intraband vector quantized subband codingAbstTact- 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. JohnAdaptive realization of a maximum likelihood time delay estimatorABSTRACT 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 stimulationThe 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-power2009-12
130 Stevens, KennethTesting 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 circuitWe 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 Array2008-05
132 Stevens, KennethThe post office experience: designing a large asynchronous chipThe 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, KennethCongruent weak conformanceCongruent 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 diagnosisAbstract?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 epitaxyWe 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 intensity2008
136 Mathews, V. JohnOn using the short-time unbiased spectrum estimation algorithm for estimating time delays and magnitude squared coherence functionsThis 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 SPRSurface 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 learningIn 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, ChristianCell library for automatic synthesis of analog error control decodersThis 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 GaInPSurface 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 reconstruction1996-05-01
141 Furse, Cynthia M.; Gandhi, Om P.Currents induced in the human body for exposure to ultrawideband electromagnetic pulsesThe 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 currents1997-01-01
142 Tasdizen, TolgaAlgebraic curves that work betterAn 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, MassoodMicrofabrication of plasma nanotorch tips for localized etching and depositionAbstract-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 equationMultiple-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. JohnAdaptive polynomial filtersWhile 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 simulationsThis 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 transform2000-01-01
147 Mathews, V. JohnAn analytical model of the perceptual threshold function for multichannel image compressionABSTRACT 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. JohnTracking analysis of the sign algorithm in nonstationary environmentsThis 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, KennethCAD directions for high performance asynchronous circuitsThis 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 microscopyThe 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 morphology1995
126 - 150 of 577