Filters: Collection:"ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 251 |  | Rockwell, Kenneth W.; Morrow, Anne | A summary of geospatial initiatives in the University of Utah's Marriott Library | Abstract: The Marriott Library's Geospatial Initiatives Committee consists of librarians and staff involved in projects designed to provide access to different library resources through geospatial interfaces. We are creating maps that link to resources in our digital collections, including the Weste... | 2013-03 | |
| 252 |  | Brown, Francis Harold | A summary of the geology, geochemistry, and geophysics of the Roosevelt Hot Springs thermal area, Utah | 1978 | ||
| 253 |  | Chamberlin, Ralph V. | A summary of the known North American Amaurobiidae | A recent survey o f the spiders o f the family Amaurobiidae, sens, str., in the collection o f the University o f Utah made it evident that a number o f species and also generic groups occurring more especially in the western states had heretofore escaped detection and naming. It also seemed evident... | 1947-10-12 | |
| 254 |  | Ricci, Robert | A survey of computing migration | 2010-02-26 | ||
| 255 |  | Henderson, Thomas C. | A survey of dextrous manipulation | The development of mechanical end effectors capable of dextrous manipulation is a rapidly growing and quite successful field of research. It has in some sense put the focus on control issues, in particular, how to control these remarkably humanlike manipulators to perform the deft movement that we t... | Dextrous manipulation | 1986 |
| 256 |  | Berzins, Martin | A survey of high level frameworks in block-structured adaptive mesh refinement packages | Over the last decade block-structured adaptive mesh refinement (SAMR) has found increasing use in large, publicly available codes and frameworks. SAMR frameworks have evolved along different paths. Some have stayed focused on specific domain areas, others have pursued a more general functionality, p... | 2014-01-01 | |
| 257 |  | Gopalakrishnan, Ganesh; Kirby, Robert Michael II | A survey of MPI related debuggers and tools | Message Passing Interface is a widely used standard in the High Performance and Scienti c Computing Community for writing programs that can exploit the capability of parallel platforms. However, the inherent complexity and the size of the communication standard have made it difficult for programm... | Message Passing Interface; MPI; Debuggers | 2007 |
| 258 |  | Sobh, Tarek M. | A survey on sensor classifications for industrial applications | The importance of sensors in industrial applications is a result of the introduction of many robotics, automation, and intelligent control techniques into factory floors. Research and improvements need to be continuously performed to meet the challenges in automation and manufacturing applications i... | Sensor classifications; Industrial applications; Sensors | 1995 |
| 259 |  | Gopalakrishnan, Ganesh | A symbolic partial order reduction algorithm for rule based transition systems | Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial ord... | Partial order reductions; Partial order reduction algorithms; SAT solver; Rule based transition systems | 2003-12-01 |
| 260 |  | Whitty, Kevin J. | A system for measuring bubble voidage and frequency around tubes immersed in a fluidized bed of particles | Gas-solid fluidized beds are common in chemical processing and energy production industries. These types of reactors frequently have banks of tubes immersed within the bed to provide heating or cooling, and it is important that the fluid dynamics within these bundles is efficient and uniform. This p... | 2010 | |
| 261 |  | Warner, Homer R. | A System for On-Line Computer Analysis of Data During Heart Catheterization | Biomedical Informatics | 1970 | |
| 262 |  | Henderson, Thomas C. | A systolic array implementation of discrete relaxation algorithm | Discrete Relaxation techniques have proven useful in solving a wide range of problems in digital signal processing, artificial intelligence, machine vision, and VLSI engineering, etc. A conventional hardware design for an 8-label 8-object Discrete Relaxation Algorithm (DRA) requires three 4K memory... | Discrete Relaxation algorithm; Systolic array | 1986 |
| 263 |  | Allen, Richardson; Deo, Milind D.; Isaacson, Alan E.; Keiter, Robert B.; Kessler, Christopher; Levey, Raymond; Oh, Kyeong Seok; Smith, Philip J.; Spinti, Jennifer P.; Uchitel, Kirsten; Alleman, David | A Technical, Economic, and Legal Assessment of North American Heavy Oil, Oil Sands, and Oil Shale Resources: In Response to Energy Policy Act of 2005 Section 369(p) | The purpose of this report is to assess unconventional North American resources, summarize current technologies for extracting and processing the resources, identify the issues which will affect the economic viability of various resource development schemes, evaluate the socioeconomic costs to commu... | 2007-09 | |
| 264 |  | Warner, Homer R. | A Technique for the Detection of Asynergistic Motion in the Left Ventricle | Biomedical Informatics | 1974 | |
| 265 |  | Warner, Homer R. | A Technique for the Quantitative Study of Carotid Sinus Behavior | Biomedical Informatics | 1967 | |
| 266 |  | Mariam Thalos | A Theory of Freedom. Forthcoming in Theoria. | 2012-11-01 | ||
| 267 |  | Liu, Feng | A three-layer-mesh bridging domain for coupled atomistic-continuum simulations at finite temperature: formulation and testing | Although concurrent multiscale methods have been well developed for zero-temperature simulations, improvements are needed to meet challenges pertaining to finite-temperature simulations. Bridging domain method (BDM) is one of the most efficient and widely-used multiscale atomistic-continuum techniqu... | 2014-01-01 | |
| 268 |  | Ameel, Timothy A; Gale, Bruce K.; Harvey, Ian R. | A three-semester interdisciplinary educational program in microsystems engineering | Motivated by an NSF IGERT grant in the general area of microfluidics, a sequence of three interdisciplinary technical courses has been developed in the emerging area of microsystems engineering. Designed to be taken in series, these courses take students, both graduate and upper-level undergraduates... | 2004 | |
| 269 |  | Adler, Frederick R. | A time since recovery model with varying rates of loss of immunity | For many infectious diseases, immunity wanes over time. The majority of SIRS models assume that this loss of immunity takes place at a constant rate. We study temporary immunity within a SIRS model structure if the rate of loss of immunity can depend on the time since recovery from disease.We determ... | 2012-01-01 | |
| 270 |  | Seeley, Donn | A tour of the worm | On the evening of November 2, 1988, a self-replicating program was released upon the Internet 1. This program (a worm) invaded VAX and Sun-3 computers running versions of Berkeley UNIX, and used their sources to attack still more computers2. Within the space of hours this program had spread aacross ... | Computer worm | 1989 |
| 271 |  | Warner, Homer R. | A Transfer Function Analysis of Coronary and Renal Circulation Calculated from Upstream and Downstream Indicator-Dilution Curves | Biomedical Informatics | 1966 | |
| 272 |  | Gopalakrishnan, Ganesh | A transformational approach to asynchronous high-level synthesis | Asynchronous high-level synthesis is aimed at transforming high level descriptions of algorithms into efficient asynchronous circuit implementations. This approach is attractive from the point of view of the flexibility it affords in performing high level program transformations on users' initial d... | High level synthesis tool; SHILPA | 1993 |
| 273 |  | Cohen, Elaine | A triangulation-invariant method for anisotropic geodesic map computation on surface meshes | This paper addresses the problem of computing the geodesic distance map from a given set of source vertices to all other vertices on a surface mesh using an anisotropic distance metric. Formulating this problem as an equivalent control theoretic problem with Hamilton-Jacobi-Bellman partial different... | 2012-01-01 | |
| 274 |  | Furse, Cynthia M. | A tutorial on Stochastic FDTD | The Stochastic FDTD (S-FDTD) method provides a way to determine the mean and variance of the electric and magnetic fields in a model where the electrical properties (conductivity and permittivity) vary stochastically, from a single S-FDTD simulation. This method is a realistic and more efficient alt... | 2014-01-01 | |
| 275 |  | Mathews, V. John | A unified approach to nonparametric spectrum estimation algorithms | Abstract-Different approaches to spectrum estimation can be broadly classified as parametric and nonparametric methods. In the parametric techniques, an underlying model is assumed in the formulation of the spectrum estimation problem and one estimates the parameters of the model. For nonparametric... | 1987 |