|
|
Creator | Title | Description | Subject | Date |
| 376 |
 | Lighty, Joann; Sarofim, Adel F. | Carbon dioxide effects on metal vaporization during coal combustion | Coal combustion products may take one of two forms. Residual ash (> 1 micron) is formed by particle shrinkage and breaking during combustion. Some material will vaporize and later recondense. During recondensation, these molecules have a high affinity for submicron particles because of the large sur... | Coal combustion products; Metal vaporization; Carbon dioxide; Residual ash | 2001 |
| 377 |
 | Scarpulla, Michael | Carrier concentration dependencies of magnetization & transport in Ga1-xMnxAs1-yTey | We have investigated the transport and magnetization characteristics of Ga1-xMnxAs intentionally compensated with shallow Te donors. Using ion implantation followed by pulsed-laser melting, we vary the Te compensation and drive the system through a metal-insulator transition (MIT). This MIT is assoc... | Gallium arsenide; Ferromagnetic semiconductors; Magnetization; Resistivity | 2005 |
| 378 |
 | Carter, Tony M. | Cascade: a hardware alternative to bignums | The Cascade hardware architecture for high/variable precision arithmetic is described. It uses a radix-16 redundant signed-digit number representation and directly supports single or multiple precision addition, subtraction, multiplication, division, extraction of the square root and computation of ... | Cascade hardware; Bignums; Precision arithmetic | 1989 |
| 379 |
 | Regehr, John | The case for hierarchical schedulers with performance guarantees | | | 2000-01-01 |
| 380 |
 | Gopalakrishnan, Ganesh | Case studies in symbolic model checking | The need to formally verify hardware and software systems before they are deployed the real world has been recognized for several decades now. This is especially true of concurrent systems that are even more difficult to debug than sequential systems. For example, many of the protocols that get emp... | Symbolic model checking; Hardware verification; Software verification | 1994 |
| 381 |
 | Riloff, Ellen M. | Case study in using linguistic phrases for text categorization on the WWW | Most learning algorithms that arc applied to text categorization problems rely on a bag-of-words document representation, i.e., each word occurring in the document is considered as a separate feature. In this paper, we investigate the use of linguistic phrases as input features for text categoriz... | Learning algorithms; Text categorization; Linguistic phrases; Information extraction patterns; AutoSlog-TS | 1998 |
| 382 |
 | Hansen, Charles D. | Case study of isosurface extraction algorithm performance | Isosurface extraction is an important and useful visualization method. Over the past ten years, the field has seen numerous isosurface techniques published, leaving the user in a quandary about which one should be used. Some papers have published complexity analysis of the techniques, yet empirical... | Isosurfaces; Contours | 2000 |
| 383 |
 | Cates, Joshua E.; Whitaker, Ross T.; Jones, Greg M. | Case study: an evaluation of user-assisted hierarchical watershed segmentation | While level sets have demonstrated a great potential for 3D medical image segmentation, their usefulness has been limited by two problems. First, 3D level sets are relatively slow to compute. Second, their formulation usually entails several free parameters which can be very difficult to correctl... | Watershed segmentation; Brain tumor imaging | 2004-02-27 |
| 384 |
 | Organick, Elliott I. | CASL - A language for automating the implementation of computer architectures | The computer Architecture Specification Language (CASL), described in this paper, is intended for use by computer architects CASL is a state machine description language especially useful for describing digital systems at the "register transfer" level and designed to meet the needs of the computer a... | Computer Architecture Specification Language | 1979 |
| 385 |
 | Regehr, John | Cause reduction for quick testing | Abstract-In random testing, it is often desirable to produce a "quick test" - an extremely inexpensive test suite that can serve as a frequently applied regression and allow the benefits of random testing to be obtained even in very slow or oversubscribed test environments. Delta debugging is an alg... | | 2014-01-01 |
| 386 |
 | Henderson, Thomas C. | CBCV: A CAD-based vision system | The CBCV system has been developed in order to provide the capability of automatically synthesizing executable vision modules for various functions like object recognition, pose determinaion, quality inspection, etc. A wide range of tools exist for both 2D and 3D vision, including not only software... | CBCV | 1990 |
| 387 |
 | 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 |
| 388 |
 | Myers, Chris J.; Harrison, Reid R.; 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 |
| 389 |
 | Gesteland, Raymond F. | Cell-free synthesis of herpes simplex virus proteins | Polyribosomes isolated from herpes simplex virus type I (HSV-1)-infected cells have been used to program a eucaryotic cell-free translation system. At least 10 HSV-specific polypeptides, with apparent molecular weights of 25,000 to 160,000, are synthesized by wild-type HSV-infected polyribosomes. Po... | Viral Proteins; Herpes Simplex; Peptide Biosynthesis; Thymidine Kinase | 1977 |
| 390 |
 | Akella, Venkatesh | CFSIM: A concurrent compiled-code functional simulator for hopCP | Control intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations, polling and interrupt-driven modes of operation, multiple concurrent threads of executi... | CFSIM; Hardware design; hopCP | 1992 |
| 391 |
 | Khan, Faisal Habib | Challenges and solutions in measuring computer power supply efficiency for 80 PLUS® certification | This paper discusses the techniques, challenges, and results of measuring computer power supply (CPS) efficiency, power factor (PF), and input harmonic currents for the 80 PLUS® program since its beginning in 2002. To date, over 750 power supplies have been tested with many certified for the 80 PL... | | 2009-02 |
| 392 |
 | Furse, Cynthia M.; Cotter, Neil E. | Challenges in curriculum adaptation across institutions of higher education: international and national student transfer | The challenges associated with student transfer between institutions of higher education are investigated. The Utah System of Higher Education (USHE) requires that undergraduate courses from non-ABET accredited institutions are recognized across public universities and colleges in Utah Based on empi... | | 2006 |
| 393 |
 | Furse, Cynthia M. | Challenges with optically transparent patch antennas | In this paper, antennas made out of transparent conducting oxides (TCOs) are explored. The optical transparency of transparent conducting oxides is achieved through thin-film depositions on substrates. However, thin-film depositions create a new set of electrical challenges that require a full under... | | 2012-01-01 |
| 394 |
 | Horch, Kenneth W. | Changes in primary afferent depolarization of sensory neurones during peripheral nerve regeneration in the cat | I. Micro-electrode recordings were made from normal and regenerating sural nerve fibres in cats. Increases in the excitability of the central terminals of these fibres after conditioning stimulation of other sural nerve fibres were taken as evidence for primary afferent depolarization. 2. At all... | Micro-electrode recording; Nerve regeneration; Primary afferent depolarization | 1981 |
| 395 |
 | Blair, Steven | Channel routing for integrated optics | Increasing scope and applications of integrated optics necessitates the development of automated techniques for physical design of optical systems. This paper presents an automated, planar channel routing technique for integrated optical waveguides. Integrated optics is a planar technology and lacks... | | 2013-01-01 |
| 396 |
 | Organick, Elliott I. | Characteristics of a functional programming language | A programming language kernel is presented where an algorithm is a function defined through a functional expression. The only data structure introduced is an object that may be an atom or a sequence of objects. A number of functional forms are defined, with a notation close to ordinary mathematical ... | | 1980 |
| 397 |
 | Blair, Steven | Characterization of a 3D optrode array for infrared neural stimulation | This paper characterizes the Utah Slant Optrode Array (USOA) as a means to deliver infrared light deep into tissue. An undoped crystalline silicon (100) substrate was used to fabricate 10×10 arrays of optrodes with rows of varying lengths from 0.5mm to 1.5mm on a 400-μm pitch. Light delivery from ... | | 2012-01-01 |
| 398 |
 | Collins, Zachary J.; Poelzing, Steven | Characterization of a four-camera ratiometric optical mapping system | Electrical activity precedes calcium mediated heart contractions. Optical mapping takes advantage of minimally invasive fluorescent molecular probes to image both electrical and calcium activity. These molecular probes allow for ratiometric imaging. We characterize a four camera system capable of... | Optical mapping; Ratiometric imaging; Di-4-ANEPPS; Indo-1; Trapeze Interactive Poster | 2010-03-15 |
| 399 |
 | Gale, Bruce K. | Characterization of a microscale thermal-electrical field-flow fractionation system | A microscale thermal-electrical field-flow fractionation (ThElFFF) channel is reported for the first time and preliminary characterization results show high retention at certain operating conditions including relatively high flow rates when compared to standard microscale electrical or thermal field... | | 2010 |
| 400 |
 | Khan, Faisal Habib | Characterization of aging process in power converters using spread spectrum time domain reflectometry | This paper aims to find a new technique to predict the state of health of power converters by characterizing the most vulnerable components in the converter without affecting the normal circuit operation. Spread spectrum time domain reflectometry (SSTDR) can detect most of the aged components inside... | | 2012-01-01 |
