|
|
Creator | Title | Description | Subject | Date |
126 |
|
Lyche, Tom | A note on the Oslo algorithm | The Oslo algorithm is a recursive method for updating the B-spline representation of a curve or tensor product surface when extra knots are added. In the present note the derivation of this method is simplified. | Oslo algorithm; B-spline; Curve product surface; Tensor product surface | 1987 |
127 |
|
Simpson, Jamesina J. | A novel ELF radar for major oil deposits | This letter proposes a novel extremely low frequency (ELF) radar for major oil deposits. Using our recently developed whole-Earth electromagnetic wave propagation model based upon the finite-difference time-domain method, we have determined that detection of the radial (vertical) component of the sc... | | 2006-01-01 |
128 |
|
Sloan, Peter-Pike | A painterly approach to human skin | Rendering convincing human figures is one of the unsolved goals of computer graphics. Previous work has concentrated on modeling physics of human skin. We have taken a different approach. We are exploring techniques used by artists, specifically artists who paint air-brushed portraits. Our goal is t... | Human skin | 1999 |
129 |
|
Morse, Michael David | A pair potentials study of matrix-isolated atomic zinc. II. Intersystem crossing in rare-gas clusters and matrices | The mechanism of 4p 1P1?4p 3PJ intersystem crossing (ISC) following excitation of the 4p 1P1 level of matrix-isolated atomic zinc is investigated using a pair potentials approach. This is achieved by extending earlier ISC calculations on the Zn?RG2 and Zn?RG3 complexes to the square planar Zn?RG4 ... | | 1998 |
130 |
|
Parke, Frederic Ira | A parametric model for human faces | This report presents a computer model for the representation of human faces. This three-dimensional, parametric model produces shaded facial images. The face, constructed of polygonal surfaces, is manipulated through the use of parameters which control interpolation, translation, rotation and scalin... | Parametric model; Human face | 1975 |
131 |
|
Gopalakrishnan, Ganesh | A partial order reduction algorithm without the Proviso | This paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step o... | Order reduction algorithm; Proviso step | 1998 |
132 |
|
Brunvand, Erik L. | A partial scan methodology for testing self-timed circuits | This paper presents a partial scan method for testing control sections of macromodule based self-timed circuits for stuck-at faults. In comparison with other proposed test methods for self-timed circuits, this technique offers better fault coverage than methods using self-checking techniques, and ... | | 1995 |
133 |
|
Brunvand, Erik L. | A partial scan methodology for testing self-timed circuits | This paper presents a partial scan method for testing control sections of macromodule based self-timed circuits for stuck-at faults. In comparison with other proposed test methods for self-timed circuits, this technique offers better fault coverage than methods using self-checking techniques, and re... | Self-timed circuits; Testing | 1995 |
134 |
|
McDirmid, Sean; Hsieh, Wilson C. | A path-precise analysis for property synthesis | Recent systems such as SLAM, Metal, and ESP help programmers by automating reasoning about the correctness of temporal program properties. This paper presents a technique called property synthesis, which can be viewed as the inverse of property checking. We show that the code for some program pro... | Property synthesis; Property codes | 2003-12-01 |
135 |
|
Thompson, Cynthia A. | A personalized system for conversational recommendations | Increased computing power and theWeb have made information widely accessible. In turn, this has encouraged the development of recommendation systems that help users find items of interest, such as books or restaurants. Such systems are more useful when they personalize themselves to each user?s p... | Adaptive Place Advisor; Recommendation systems | 2002-06-26 |
136 |
|
Rees, Don M. | A preliminary list of the ants of Utah | The following list of the ants of Utah was prepared from specimens and data now in the Biology Department of the University of Utah. This list is by no means complete, yet it is representative of practically all parts of the state. A few specimens in the collection date back to 1902, and all of thes... | | 1940-11-05 |
137 |
|
Gouraud, Henri | A programmer's guide to PDP-10 euler | This manual describes the EULER language as implemented on the DEC PDP-10 computer. EULER is a block-structured language, similar to Algol-60 but simplified by omitting type declarations and by altering the way procedures are defined and called. PDP-10 EULER includes features for list-and array-mani... | EULER language | 1970 |
138 |
|
Gardner, Reed M. | A Proposal to Improve Quality, Increase Efficiency, and Expand Access in the U.S. Health Care System | Biomedical Informatics | | 1997 |
139 |
|
Warner, Homer R. | A PVC Detection Program | Biomedical Informatics | | 1971 |
140 |
|
Moffett, James W. | A quantitative study of the bottom fauna in some Utah Streams Variously Affected by Erosion | Floods and cloudbursts in the Intermountain region of western United States cause considerable damage to watersheds and streams. Because of steep gradients these torrential waters remove vast quantities of debris, stones, gravel and soil from the stream beds. It follows that, with the removal of mat... | | 1936-06 |
141 |
|
Watkins, Gary Scott | A real time visible surface algorithm | With the increasing use of computer graphics, a need is growing for a processor capable of displaying solid objects. Environmental simulation and architectural modeling are only two areas that would benefit from such a diplay processor. This dissertation describes an algorithm designed for such a ... | Surface algorithm | 1970 |
142 |
|
Fogel, Alan Dale | A relational perspective on the development of self and emotion | Begin with two premises. First, psychological experience always implies a connection, a relationship: with another person, with cultural tools or language, or with the natural environment. Life is a network of relationships. Second, psychological experience is always dynamic and changing. The sim... | | 2001 |
143 |
|
Fogel, Alan Dale | A relational perspective on the development of self and emotion | This work was funded in part by a grant to the author from the United States National Institute of Mental Health (MH48680 and MH57669). I am grateful to the following individuals for their comments on this chapter: Kari Applegate, Trevor Burnsed, Jacqueline Fogel, J'lene George, Ilse de Koeijer, ... | | 2001 |
144 |
|
George, Lal | A scheduling strategy for shared memory multiprocessors | An efficient scheduling strategy for shared memory multiprocessors is described. The rapid dissemination of tasks to available procesors and ready queues is crucial to the performance of any parallel system. Such overheads determine the attainable speedup and performance of the system. Poor techniq... | Shared memory multiprocessors | 1990 |
145 |
|
Warner, Homer R. | A Sequential Bayesean Approach to History Taking and Diagnosis | Biomedical Informatics | | 1972 |
146 |
|
Fujimoto, Richard M. | A shared memory algorithm and proof for the alternative construct in CSP | Communicating Sequential Processes (CSP) is a paradigm for communication and synchronization among distributed processes. The alternative construct is a key feature of CSP that allows nondeterministic selection of one among several possible communicants. Previous algorithms for this construct assume... | Shared memory algorithm; Communicating Sequential Processes; CSP | 1987 |
147 |
|
Furse, Cynthia M.; Gandhi, Om P. | A simple convolution procedure for calculating currents induced in the human body for exposure to electromagnetic pulses | Abstract-The finite-difference time-domain (FDTD) and frequency dependent finite difference time-domain (FD)2TD methods have been previously used to calculate internal electric (E) fields and induced currents for exposure of the anatomically based model of the human body to electromagnetic pulses (E... | | 1994 |
148 |
|
Stevens, Kenneth | A single chip low power asynchronous implementation of an FFT algorithm for space applications | A fully asynchronous _x000C_fixed point FFT processor is introduced for low power space applications. The architecture is based on an algorithm developed by Suter and Stevens specifi_x000C_cally for a low power implementation. The novelty of this architecture lies in its high localization of compo... | | 1998 |
149 |
|
Mathews, V. John | A stability condition for certain bilinear systems | Abstract-This correspondence derives a simple sufficient condition for the output of a discrete-time, time-invariant bilinear system to be bounded whenever the input signal to the system is bounded by a finite constant. | | 1994 |
150 |
|
Mathews, V. John | A stability result for RLS adaptive bilinear filters | Abstract- This letter considers recursive least squares (RLS) adaptive nonlinear filtering using bilinear system models. It is shown that the extended RLS adaptive bilinear filter, as well as the equation-error RLS adaptive bilinear filter, are guaranteed to be stable in the sense that the time aver... | | 1994 |