UScholar Works
 
Filters: School Or College: "College of Engineering" Collection: ir_uspace
801 - 825 of 1,978
Number of results to display per page
CreatorTitleDescriptionSubjectDate
801 Gesteland, Raymond F.; Atkins, John F.Frameshifting in gene 10 of bacteriophage T7Gene 10 of bacteriophage T7, which encodes the most abundant capsid protein, has two products: a major product, 10A (36 kDa), and a minor product, 10B (41 kDa). 10B is produced by frameshifting into the -1 frame near the end of the 10A coding frame and is incorporated into the capsid. The frameshift...Frameshifting; Bacteriophage T7; RNA, Viral; Gene Expression1991
802 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
803 Richardson, William F.The Fred VHDL ModelThis is the companion document to my dissertation. It contains 47 pages of schematics, and 163 pages of VHDL code. It is pretty meaningless without the dissertation, and it only exists because I felt that I should archive this information somewhere.1995
804 Richardson, William F.Fred: an architecture for a self-timed decoupled computerDecoupled computer architectures provide an effective means of exploiting instruction level parallelism. Self-timed micropipeline systems are inherently decoupled due to the elastic nature of the basic FIFO structure, and may be ideally suited for constructing decoupled computer architectures. Fred ...Decoupled computer; Fred1995
805 Brunvand, Erik L.Fred: an architecture for a self-timed decoupled computerDecoupled computer architectures provide an effective means of exploiting instruction level parallelism. Selftimed micropipeline systems are inherently decoupled due to the elastic nature of the basic FIFO structure, and may be ideally suited for constructing decoupled computer architectures. Fred ...1996
806 Free form surface analysis using a hybrid of symbolic and numeric computationDetailed analysis of many mathematical properties of sculptured models has been hindered by the fact that the properties do not have the same representation as the surface For example unit tangents surface normals and principal curvatures are typically computed at prede??ned discrete sets of ...Surface analysis1992
807 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
808 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
809 Henderson, Thomas C.From motes to Java stamps: smart sensor network testbedsWe have proposed Smart Sensor Networks (S-Nets) as an architecture and set of distributed algorithms to extract, interpret and exploit networked sensor devices. Heretofore, the development of this approach has been done in simulation. In this paper, we describe two complementary implementations o...Smart Sensor Networks; S-Nets2003-03-03
810 Gopalakrishnan, GaneshFrom process-oriented functional specifications to efficient asynchronous circuitsA methodology for high-level synthesis and performance optimization of asynchronous circuits is described. A specification language called hopCP which is based on a simple extension to classical flow graphs is introduced. The extension involves the addition of expression actions to a flow graph, to ...Synthesis; Performance optimization1991
811 Regehr, JohnFrom the editor: real-time and embedded systems--teaching reliabilityCan we teach students to build reliable embedded software? Although it would be rash to say that a general agreement exists on how to teach embedded systems, there's certainly a growing understanding of the issues. For example, the excellent August 2005 issue of ACM Transactions on Embedded Computin...2006-01-01
812 Freire, JulianaFrom XML schema to relations: a cost-based approach to XML storageAs Web applications manipulate an increasing amount of XML, there is a growing interest in storing XML data in relational databases. Due to the mismatch between the complexity of XML's tree structure and the simplicity of flat relational tables, there are many ways to store the same document in an ...LegoDB; XML Schema2002
813 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
814 Normann, Richard A.Functional reorganization of primary visual cortex induced by electrical stimulation in the cat.Compared to the high degree of plasticity observed in a juvenile, mature sensory cortices have long been held to be immutable but, recently, researchers have suggested some plasticity persists in the mature cortex. Cortical reorganization has particular saliency to the development of a cortically ba...Cat; Electrophysiology; Phosphene; Plasticity; Receptive Field; Striate Cortex2005
815 Lighty, Joann; Silcox, GeoffreyFundamentals of mercury oxidation in flue gasThis report was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor any of their employees, makes any warranty, express or implied, or assumes any legal liability or responsibility for the accuracy, ...2006
816 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
817 Subrahmanyam, P.A.FUNLOG = functions + logic: a computational model integrating logic programming and functional programming (Rev. May 1983)Funlog, a computational model which attempts to integrate functional programming and logic programming is described. The model supports computations with infinite data structures without the introduction of complex control issues at the user-level. Control characteristics are improved as compared wi...FUNLOG; Functional programming; Logic programming1983
818 Scarpulla, MichaelGa1-xMnxP synthesized by ion implantation and pulsed-laser meltingThe synthesis of single-crystalline epitaxial thin films of the carrier-mediated ferromagnetic phase of Ga1-xMnxP and Ga1-xMnxP-based quaternary alloys using ion implantation and pulsed-laser melting (II-PLM) has allowed for the exploration of the effect of anion substitution on ferromagnetism in Ga...2008
819 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
820 Tiwari, AshutoshGarnet-type Li7La3Zr2O12 electrolyte prepared by a solution-based technique for lithium ion batteryHigh quality garnet-type Li7La3Zr2O12 solid electrolyte was synthesized using a solution-based technique. The electrolyte pellets were sintered at 900 oC, resulting in tetragonal phase, which then transformed to cubic phase after annealing at 1230 oC. The ionic conductivity of both phases was studie...2012-01-01
821 Hansen, Charles D.Gaussian transfer functions for multi-field volume visualizationVolume rendering is a flexible technique for visualizing dense 3D volumetric datasets. A central element of volume rendering is the conversion between data values and observable quantities such as color and opacity. This process is usually realized through the use of transfer functions that are prec...Volume rendering; Transfer functions; Volume visualization2003
822 Bruderlin, BeatGDI reference manualGDI is a dialog interface tool library for C + + applications. It facilitates the design and implementation of graphical, object-oriented user interfaces for workstations equipped with a graphical display, a mouse and a keyboard. GDI's design allows for its portability onto a multitude of platforms....GDI; Dialog interface tool library1992
823 Humphrey, Alan Parker; Derrick, Christopher Glade; Gopalakrishnan, GaneshGEM: graphical explorer for MPI programsFormal dynamic verification can complement MPI program testing by detecting hard-to-find concurrency bugs. In previous work, we described our dynamic verifier called ISP that can parsimoniously search the execution space of an MPI program while detecting important classes of bugs. One major limit...GEM; Graphical explorer; MPI programs; Dynamic verification; Concurrency bugs2009
824 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
825 Christensen, Douglas A.General formulation for connecting sources and passive lumped-circuit elements across multiple 3-D FDTD cellsA previous extension of the finite-difference time-domain (FDTD) method to include lumped-circuit elements is further extended to model lumped-element circuits connected across multiple FDTD cells. This formulation is needed to model many kinds of circuits, like those with a transistor or other ac...Finite-difference time-domain method; Lumped-element circuit; Dielectric; Microstrip1996-02
801 - 825 of 1,978