|
|
Creator | Title | Description | Subject | Date |
251 |
|
Myers, Chris J. | Formal verification of genetic circuits | Researchers 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, Kenneth | Fractional-order signal processing using a polymer-electrolyte transistor | Fractional-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 revisited | This 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 wiring | Aging 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 testing | 2003-05 |
255 |
|
Mastrangelo, Carlos H. | From chips to dust: the MEMS shatter secure chip | This 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, Kenneth | Fsimac: a fault simulator for asynchronous sequential circuits | At 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 processes | The 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; Surfactants | 2007 |
258 |
|
Stringfellow, Gerald B. | GaInAsSb metastable alloys grown by organometallic vapor phase epitaxy | Ga1-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 epitaxy | 1986 |
259 |
|
Furse, Cynthia M.; Gore, Paul A. | Gender differences in expressed interests in engineering-related fields over a 30-year span | This 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 Habib | Generating isolated outputs in a multilevel modular capacitor clamped DC-DC converter (MMCCC) for hybrid electric and fuel cell vehicles | This 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 normals | This 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 lithosphere | Electromagnetic 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 USU | New 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 laboratories | 1999 |
264 |
|
Harrison, Reid R. | HermesC: low-power wireless neural recording system for freely moving primates | Neural 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; HermesC | 2009-08 |
265 |
|
Harrison, Reid R. | HermesC: RF wireless low-power neural recording for freely behaving primates | Neural 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; Macaques | 2008-05 |
266 |
|
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 |
267 |
|
Stringfellow, Gerald B. | Heterostructures in GaInP grown using a change in V/III ratio | A 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; Heterostructures | 1997-02-24 |
268 |
|
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 |
269 |
|
Tasdizen, Tolga; Whitaker, Ross T. | Higher-order nonlinear priors for surface reconstruction | Abstract-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. John | Howling suppression in hearing aids using least-squares estimation and perceptually motivated gain control | ABSTRACT 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 Habib | Hybrid electric vehicle power management solutions based on isolated and nonisolated configurations of multilevel modular capacitor-clamped converter | Abstract-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. John | Identification of nonlinear, memoryless systems using chebyshev nodes | ABSTRACT 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 implementation | In 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. John | Image compression using vector quantization of linear (One-Step) prediction errors | ABSTRACT 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. John | Image enhancement via adaptive unsharp masking | Abstract-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 |