251 - 275 of 577
Number of results to display per page
CreatorTitleDescriptionSubjectDate
251 Myers, Chris J.Formal verification of genetic circuitsResearchers are beginning to be able to engineer synthetic genetic circuits for a range of applications in the environmental, medical, and energy domains [1]. Crucial to the success of these efforts is the development of methods and tools to verify the correctness of these designs. This verification...2012-01-01
252 Stevens, KennethFractional-order signal processing using a polymer-electrolyte transistorFractional-order systems have applications in the areas of Flight Control, Robotics, Missile Guidance, Control of Structural Vibrations of Space Platforms and Sensor Technology. Fractional-order transfer functions can characterize complex nonlinear dynamics with many fewer parameters than integer-or...2008
253 Myers, Chris J.Framework of timed trace theoretic verification revisitedThis paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or failures is developed. The concept of the semimirror is introduced to allow conformance checking thus supporting hierarc...2001
254 Furse, Cynthia M.Frequency-domain reflectometery for on-board testing of aging aircraft wiringAging aircraft wiring poses a significant safety threat and has been implicated in losses of both military and commercial aircraft. This paper describes the conceptual design and function of a "smart wiring system" based on a low-cost frequency-domain reflectometer (FDR) that can be used to test th...Frequency domain reflectometry; Aging wiring; On board testing2003-05
255 Mastrangelo, Carlos H.From chips to dust: the MEMS shatter secure chipThis paper presents the implementation of a transience mechanism for silicon microchips via low-temperature post-processing steps that transform almost any electronic, optical or MEMS substrate chips into transient ones. Transience is achieved without any hazardous or explosive materials. Triggered ...2014-01-01
256 Stevens, KennethFsimac: a fault simulator for asynchronous sequential circuitsAt very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper presents Fsimac, a gate-level fault simulator for stuck-at and gate-delay faults in asynchronous sequential circuits. Fsimac...2000
257 Stringfellow, Gerald B.Fundamentals of vapor phase epitaxial growth processesThe first success with the growth of semiconductor materials by vapor phase epitaxy (VPE) dates back to the 1950's. Today, it is the largest volume technique for the production of both Si and HI/V electronic and photonic devices. Of course, commercial processes for the growth of Si layers, dielectri...Vapor phase epitaxy; Surfactants2007
258 Stringfellow, Gerald B.GaInAsSb metastable alloys grown by organometallic vapor phase epitaxyGa1-xlnx As1-ySby alloys have been grown by organometallic vapor phase epitaxy using trimethyl compounds of Ga, In, As, and Sb(TMGa, TMIn, TMAs, and TMSb) plus AsH3 in an atmospheric pressure, horizontal, infrared heated reactor. For the first time, alloys near the center of the region of solid immi...Organometallic; Alloys; Vapor phase epitaxy1986
259 Furse, Cynthia M.; Gore, Paul A.Gender differences in expressed interests in engineering-related fields over a 30-year spanThis study examines gender differences and historical trends of high school student interest in engineering based on ACT data on expressed interest compared with that of students' and ability. Changes have been observed in the interest in engineering fields over time most likely because of societal...2009-04-27
260 Khan, Faisal HabibGenerating isolated outputs in a multilevel modular capacitor clamped DC-DC converter (MMCCC) for hybrid electric and fuel cell vehiclesThis paper presents a new technique to obtain isolated dc voltage outputs from a capacitor clamped dc-dc converter. The multilevel modular capacitor clamped converter (MMCCC) has several key features that make it possible to generate ac outputs (10 kHz) from a dc-dc converter circuit. Using those h...2008-01-01
261 Tasdizen, Tolga; Whitaker, Ross T.Geometric surface smoothing via anisotropic diffusion of normalsThis paper introduces a method for smoothing complex, noisy surfaces, while preserving (and enhancing) sharp, geometric features. It has two main advantages over previous approaches to feature preserving surface smoothing. First is the use of level set surface models, which allows us to process ver...2002
262 Simpson, Jamesina J.Global FDTD maxwell's equations modeling of elctromagnetic propagation from currents in the lithosphereElectromagnetic wave propagation from electric currents within the Earth's crust is investigated using a three-dimensional finite-difference time-domain (FDTD) full-vector Maxwell's equations model of the global Earth-ionosphere cavity. The FDTD model employed extends from -100 km below sea level to...2008-01-01
263 Furse, Cynthia M.Hands-on electromagnetics: microstrip circuit and antenna design laboratories at USUNew laboratories for microstrip circuit and antenna design have recently been developed at Utah State University. These laboratories are used to provide hands-on design, fabrication, and testing experience in two senior/graduate level design comes -- ECE 6130 Microwave Engineering and ECE 6170 Anten...Microstrip circuit design laboratories; Antenna design laboratories1999
264 Harrison, Reid R.HermesC: low-power wireless neural recording system for freely moving primatesNeural prosthetic systems have the potential to restore lost functionality to amputees or patients suffering from neurological injury or disease. Current systems have primarily been designed for immobile patients, such as tetraplegics functioning in a rather static, carefully tailored environment....Brain-machine interface; Low power; Neural prosthetics; Telemetry; Wireless; Neural recording; HermesC2009-08
265 Harrison, Reid R.HermesC: RF wireless low-power neural recording for freely behaving primatesNeural prosthetics for motor systems is a rapidly growing field with the potential to provide treatment for amputees or patients suffering from neurological injury and disease. To determine whether a physically active patient such as an amputee can take advantage of these systems, we seek to devel...HermesC; RF wireless; Low-power; Neural recording; Neural prosthetics; Integrated Neural Interface; Macaques2008-05
266 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
267 Stringfellow, Gerald B.Heterostructures in GaInP grown using a change in V/III ratioA natural monolayer 111% superlattice -- the CuPt ordered structure -- is formed spontaneously during organometallic vapor phase epitaxial OMVPE growth of Ga0.52In0.48P. The extent of this ordering process is found to be a strong function of the input partial pressure of the phosphorus precursor dur...Superlattices; Alloys; Atomic ordering; Heterostructures1997-02-24
268 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
269 Tasdizen, Tolga; Whitaker, Ross T.Higher-order nonlinear priors for surface reconstructionAbstract-For surface reconstruction problems with noisy and incomplete range data, a Bayesian estimation approach can improve the overall quality of the surfaces. The Bayesian approach to surface estimation relies on a likelihood term, which ties the surface estimate to the input data, and the prior...2004
270 Mathews, V. JohnHowling suppression in hearing aids using least-squares estimation and perceptually motivated gain controlABSTRACT Howling is a significant problem even in digital hearing aids equipped with adaptive feedback cancellation. Among the many causes of howling is the inability of the adaptive filter to track rapid changes in the feedback path. Many systems use howling detectors to detect the start of howlin...2006
271 Khan, Faisal HabibHybrid electric vehicle power management solutions based on isolated and nonisolated configurations of multilevel modular capacitor-clamped converterAbstract-This paper presents the various configurations of a multilevel modular capacitor-clamped converter (MMCCC), and it reveals many useful and new formations of the original MMCCC for transferring power in either an isolated or nonisolated manner. The various features of the original MMCCC circ...2009
272 Mathews, V. JohnIdentification of nonlinear, memoryless systems using chebyshev nodesABSTRACT This paper describes an approach for identification of static nonlinearities from input-output measurements. The approach is based on minimax approximation of memoryless nonlinear systems using Chebyshev polynomials. For memoryless nonlinear systems that are finite and continuous with fini...2005
273 Myers, Chris J.ILP-based scheduling for asynchronous circuits in bundled-data implementationIn this paper, we propose a new scheduling method for asynchronous circuits in bundled-data implementation. The method is based on integer linear programming (ILP) which explores an optimum schedule under resource or time constraints. To schedule descriptions with many operations,our method approx...2006
274 Mathews, V. JohnImage compression using vector quantization of linear (One-Step) prediction errorsABSTRACT A novel approach to image compression using vector quantization of linear (one-step) prediction errors is presented in this paper. In order to minimize the image reconstruction error, we choose the optimum predictor coefficients (in a least-squares sense) that satisfy the additional constr...1987
275 Mathews, V. JohnImage enhancement via adaptive unsharp maskingAbstract-This paper presents a new method for unsharp masking for contrast enhancement of images. Our approach employs an adaptive filter that controls the contribution of the sharpening path in such a way that contrast enhancement occurs in high detail areas and little or no image sharpening occur...2000
251 - 275 of 577