Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 101 |
 |
Brunvand, Erik L. | A correctness criterion for asynchronous circuit validation and optimization | In order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio... | Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation | 1992 |
| 102 |
 |
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
| 103 |
 |
Roundy, Shadrach J. | A cost-effective planar electromagnetic energy harvesting transducer | This paper presents a planar multi-pole electromagnetic energy harvesting transducer. We report on the design, manufacture, and performance results of integrated devices based on this transducer. The transducer leverages recent advancements in the manufacture of multi-pole magnets and can be impleme... | 2012-01-01 | |
| 104 |
 |
Roundy, Shad | A Cost-effective Planar Electromagnetic Energy Harvesting Transducer Technical Digest PowerMEMS 2012 (Atlanta, GA USA 2-5 December 2012) | 2012-12-05 | ||
| 105 |
 |
Warner, Homer R. | A Data-Trend Log and Bar Graph Dispaly for Physiological Monitoring | Biomedical Informatics | 1970 | |
| 106 |
 |
Warner, Homer R. | A Decision Support Technology Clearinghouse | Biomedical Informatics | 1988 | |
| 107 |
 |
Warner, Homer R. | A Decision-Driven System to Collect the Patient History | Biomedical Informatics | 1987 | |
| 108 |
 |
Mitchell, Joyce A. | A decision-support system for the analysis of clinical practice patterns | Several studies documented substantial variation in medical practice patterns, but physicians often do not have adequate information on the cumulative clinical and financial effects of their decisions. The purpose of developing an expert system for the analysis of clinical practice patterns was to a... | 1994-01-01 | |
| 109 |
 |
Barsky, Brian A. | A description of several tools for the synchronization of concurrent processes | Concurrent processes are tasks which may be executed simultaneously. When several such processes have access to shared variables, it is necessary to establish some regimen to control this access. Several language tools for expressing various synchronization disciplines are presented. | Concurrent processes | 1980 |
| 110 |
 |
Chamberlin, Ralph V. | A descriptive catalog of the Mollusca of Utah | In the preparation of this bulletin an effort has been made to bring together what was previously known of recent Utah mollusks and to incorporate with this the results of the authors' special studies. The form of presentation has been determined by the fact that, in the first place, the paper is in... | 1929-06 | |
| 111 |
 |
Anderson, Richard Bryan | A dialogue on PDA | 2011 | ||
| 112 |
 |
O'Connell, James F. | A Different Paradigm for the Initial Colonisation of Sahul: Archaeological, genetic, demographic and geographic perspectives | The questions of when and how humans reached Sahul, the Pleistocene continent of Australia and New Guinea, has remained a central issue of Australian archaeology since its development as an academic discipline in the mid-twentieth century. Additionally, this has been a dominant theme linking Austral... | Sahul; Wallacea; colonisation; isolation; genomics; mitochondrial DNA | 2019-08-20 |
| 113 |
 |
Schott, Mathias; Hansen, Charles D | A directional occlusion shading model for interactive direct volume rendering | Volumetric rendering is widely used to examine 3D scalar fields Key aspect: provide perceptual cues to aid in understanding the data set Shading models with natural lighting conditions better convey depth information and spatial relationships Traditionally require considerable (pre)computatio... | ||
| 114 |
 |
A distributed garbage collection algorithm | Concurrent Scheme extends the Scheme programming language, providing parallel program execution on a distributed network. The Concurrent Scheme environment requires a garbage collector to reclaim global objects; objects that exist in a portion of the global heap located on the node that created them... | Concurrent Scheme; Garbage collection algorithm | 1992 | |
| 115 |
 |
Evans, John | A distributed object-oriented graphical programming system | This report presents the design of a distributed parallel object system (DPOS) and its implementation using a graphical editing interface. DPOS brings together concepts of object-oriented programming and graphical programming with aspects of modern functional languages. Programs are defined as netwo... | Distributed parallel object system; DPOS | 1990 |
| 116 |
 |
Warner, Homer R. | A Distributed Processing System for Patient Management | Biomedical Informatics | 1978 | |
| 117 |
 |
Narus, Scott P. | A domain analysis model for eIRB systems: addressing the weak link in clinical research informatics | Institutional Review Boards (IRBs) are a critical component of clinical research and can become a significant bottleneck due to the dramatic increase, in both volume and complexity of clinical research. Despite the interest in developing clinical research informatics (CRI) systems and supporting dat... | 2014-01-01 | |
| 118 |
 |
Mecklenburg, Robert | A dossier driven persistent objects facility | We describe the design and implementation of a persistent object storage facility based on a dossier driven approach. Objects are characterized by dossiers which describe both their language defined and "extra-linguistic" properties. These dossiers are generated by a C+-f- preprocessor in concert ... | Persistent object storage facility; Dossier driven | 1994 |
| 119 |
 |
Zhang, Lixin | A DRAM backend for the impulse memory system | The Impulse Adaptable Memory System exposes DRAM access patterns not seen in conventional memory systems. For instance, it can generate 32 DRAM accesses each of which requests a four-byte word in 32 cycles. Conventional DRAM backends are optimized for accesses that request full cache lines. They m... | Impulse Adaptable Memory System; DRAM | 1998-12-16 |
| 120 |
 |
Sobh, Tarek M. | A dynamic framework for intelligent inspection | CAD (Computer Aided Design) typically involves the design, manufacture and inspection of a mechanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design, and perhaps a manufacturing process, for the part. We pr... | CAD; Discrete event dynamic systems; DEDS | 1992 |
| 121 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic framwork for intelligent inspection | CAD Computer Aided Design typically involves the design manufacture and inspection of a me chanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design and perhaps a manufacturing process for the part. ... | CAD; Manufacture; Inspection; Intelligent inspection | 1992 |
| 122 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent exploration | We suggest a new approach for inspection and reverse engineering applications. In particular, we investigate the use of discrete event dynamic systems (DEDS) to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering. We introduce dy... | Intelligent exploration; Discrete event dynamic systems; DEDS; Dynamic recursive finite state machines; DRFSM | 1992 |
| 123 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent inspection | We suggest a new approach for inspection and reverse engineering applications. In particular we investigate the use of discrete event dynamic systems DEDS to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering?? We introduce... | Intelligent inspection; Discrete event dynamic systems; DEDS; Industrial inspection; Dynamic recursive structure | 1992 |
| 124 |
 |
Fogel, Alan Dale | A dynamic systems approach to infant facial action | What does it mean when a baby smiles? Is it an expression of enjoyment, a signal to a partner that rewards effective caretaking, or simply a muscular contraction? Do physically different types of smiles indicate different things? Should the social context in which an infant smiles inform our unders... | 1997 | |
| 125 |
 |
Whitaker, Ross T. | A fast iterative method for a class of Hamilton-Jacobi equations on parallel systems | In this paper we propose a novel computational technique, which we call the Fast Iterative Method (FIM), to solve a class of Hamilton- Jacobi (H-J) equations on massively parallel systems. The proposed method manages the list of active nodes and iteratively updates the solutions on those nodes u... | Fast Iterative Method; FIM; Parallel systems | 2007 |
| 126 |
 |
Whitaker, Ross T. | A fast iterative method for solving the eikonal equation on triangulated surfaces | 2012 | ||
| 127 |
 |
Smith, Kent F. | A fast parallel squarer based on divide-and-conquer | Fast and small squarers are needed in many applications such as image compression. A new family of high performance parallel squarers based on the divide-and-conquer method is reported. Our main result was realizing the basis cases of the divide-and-conquer recursion by using optimized n-bit primiti... | Squarer; Parallel squarers; Divide-and-conquer; MOPS; CMOS | 1995 |
| 128 |
 |
Mathews, V. John | A fast recursive least-squares adaptive nonlinear filter | This paper presents a fast, recursive least-squares (RLS) adaptive nonlinear filter. The nonlinearity in the system is modeled using the Hammerstein model, which consists of a memoryless polynomial nonlinearity followed by a finite impulse response linear system. The complexity of our method is abou... | 1988 | |
| 129 |
 |
Mathews, V. John | A fast recursive least-squares second order volterra filter | ABSTRACT This paper presents a fast, recursive least-squares (RLS) adaptive nonlinear filter. The nonlinearity is modelled using a second order Volterra series expansion. The structure presented in the paper makes use of the ideas of fast RLS multichannel filters and has a computational complexity ... | 1988 | |
| 130 |
 |
Henderson, Thomas C.; Hansen, Charles D. | A fault tolerant sensor scheme | Multi-sensor systems pose the problem of how to coherently and efficiently treat the data provided by the various sensors. However. the availability of greater numbers of sensors also broadens the ability to build fault tolerant sensor systems. We define a framework in which sensors can be abstractl... | Multi-sensor systems; Logical sensors | 1983 |
| 131 |
 |
Lenart, Joshua B. | A Feasibility Study of a Transfer of Federal Lands: Assessing the Triple Bottom Line | This feasibility study identifies various aspects of the proposed transfer of public federal lands to individual states by characterizing the most significant challenges that the transfer entails for civil and environmental engineers. | 2016 | |
| 132 |
 |
Simpson, Jamesina J. | A feasibility study of microjets applied to breast cancer detection | The feasibility of detecting small tumors of diameter 0.5mm inside a human breast is demonstrated using microjets. Microjets are photonic nanojets scaled to microwave frequencies wherein a plane-wave-illuminated dielectric sphere produces a high-intensity, narrow beam of light extending from the sha... | 2012-01-01 | |
| 133 |
 |
Mallat, Chibli | A Federal Israel-Palestine: Ending 100 Years of Civil War in the Holy Land? | What if we substitute a federal Israel-Palestine for the two-state solution deadlock? | 2010-09-17 | |
| 134 |
 |
Mallat, Chibli | A Federal Israel-Palestine: Nonviolence and Law to End the 100-year Civil War | In the first part of this study, the deadlock in Israel-Palestine was presented as a 100-year civil war. New realities on the ground, as well as visionary calls for a united state, instead of partitioning the land at a heavy human cost, have come from leading US thinkers, notably Tony Judt and Seyla... | 2010-09-23 | |
| 135 |
 |
Sutherland, James Clayton | A filter-independent model identification technique for turbulent combustion modeling | In this paper, we address a method to reduce the number of species equations that must be solved via application of Principal Component Analysis (PCA). This technique provides a robust methodology to reduce the number of species equations by identifying correlations in state-space and defining new v... | 2012-01-01 | |
| 136 |
 |
Gerig, Guido | A framework for longitudinal data analysis via shape regression | Traditional longitudinal analysis begins by extracting desired clinical measurements, such as volume or head circumference, from discrete imaging data. Typically, the continuous evolution of a scalar measurement is estimated by choosing a 1D regression model, such as kernel regression or fitting a p... | 2012-01-01 | |
| 137 |
 |
Lindstrom, Gary E. | A framework for module-based language processors | A system composed of interconnected modules is a module-based system. We present an object-oriented (0-0) framework for the development of processors for module-based systems, such as compilers for 0-0 languages, linkers/loaders, and tools for user/system libraries. We claim t h a t this framework,... | Language processors; Jigsaw; Module-based | 1993 |
| 138 |
 |
Michell, Nick | A gallium arsenide mutual exclusion element | A mutual exclusion element is a key component in building asynchronous and self-timed circuits. As part of our effort to design high performance self-timed circuits, we have designed a mutual exclusion element in gallium arsenide. This circuit has been fabricated in a 1.2? process and tested. A test... | Mutual exclusion element; Self-timed circuits | 1993 |
| 139 |
 |
Mathew, Binu K.; Davis, Al; Fang, Zhen | A Gaussian probability accelerator for SPHINX 3 | Accurate real-time speech recognition is not currently possible in the mobile embedded space where the need for natural voice interfaces is clearly important. The continuous nature of speech recognition coupled with an inherently large working set creates significant cache interference with other... | Speech recognition; SPHINX 3; Speech recognizers | 2003-07-22 |
| 140 |
 |
Gopalakrishnan, Ganesh | A general compositional approach to verifying hierarchical cache coherence protocols | Modern chip multiprocessor (CMP) cache coherence protocols are extremely complex and error prone to design. Modern symbolic methods are unable to provide much leverage for this class of examples. In [1], we presented a method to verify hierarchical and inclusive versions of these protocols using ... | Hierarchical cache coherence protocols; Verification | 2006-11-26 |
| 141 |
 |
Sobh, Tarek M. | A general review, graphical environment, and applications for discrete event and hybrid systems in Robotics and Automation | 1994 | ||
| 142 |
 |
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E. | A generic operational memory model specification framework for multithreaded program verification | Given the complicated nature of modern architectural and language level memory model designs, it is vital to have a systematic ap- proach for specifying memory consistency requirements that can support verification and promote understanding. In this paper, we develop a spec- ification methodolog... | Multithreaded program verification | 2003 |
| 143 |
 |
Kerber, Richard A. | A genome-wide study replicates linkage of 3p22-24 to extreme longevity in humans and identifies possible additional loci | Background: Although there is abundant evidence that human longevity is heritable, efforts to map loci responsible for variation in human lifespan have had limited success. Methodology/Principal Findings: We identified individuals from a large multigenerational population database (the Utah Populati... | 2012-01-01 | |
| 144 |
 |
Tasdizen, Tolga; Whitaker, Ross T. | A geometric multigrid approach to solving the 2D inhomogeneous laplace equation with internal drichlet boundary conditions | The inhomogeneous Laplace (Poisson) equation with internal Dirichlet boundary conditions has recently appeared in several applications to image processing and analysis. Although these approaches have demonstrated quality results, the computational burden of solution demands an efficient solver. Desi... | 2005 | |
| 145 |
 |
Von Arnim, Rudiger Lennart | A global model of recovery and rebalancing | This paper presents an investigation of global recovery from the great recession and rebalancing of global external imbalances, using a global model of sixteen countries and composite regions. The model applies to the short run, and only to the real side. Key features are demand-driven output determ... | 2010-01-01 | |
| 146 |
 |
Arnim, Rudiger von | A global model of recovery and rebalancing | This paper presents an investigation of global recovery from the Great Recession and the rebalancing of global external imbalances, using a global model of 16 countries and composite regions. The model applies to the short term and only to the real side. Key features are demand-driven output determi... | Global imbalances; great recession; global model | 2012-08-01 |
| 147 |
 |
Lefohn, Aaron; Whitaker, Ross T. | A GPU-based, three-dimensional level set solver with curvature flow | Level set methods are a powerful tool for implicitly representing deformable surfaces. Since their inception, these techniques have been used to solve prob- lems in fields as varied as computer vision, scientific visualization, computer graphics and computational physics. With the power and flexi... | GPU-based; Level set solver | 2002-12-11 |
| 148 |
 |
Sobh, Tarek M. | A graphical environment and applications for discrete event and hybrid systems in robotics and automation | In this paper we present an overview for the development of a graphical environment for simulating, analyzing, synthesizing, monitoring, and controlling complex discrete event and hybrid systems within the robotics, automation, and intelligent system domain. We start by presenting an overview of di... | Intelligent system domain; Graphical environment | 1994 |
| 149 |
 |
Warnock, John E. | A hidden line algorithm for halftone picture representation | In exploring applications in computer graphics, one finds quickly that the representation of three dimensional objects in picture form is both a desirable and necessary capability. Applications dealing with any form of spatial design or with visual environment simulation need the ability to represen... | Halftone picture representation; Spatial design | 1968 |
| 150 |
 |
Khan, Faisal Habib | A high-efficiency modular switched-capacitor converter with continuously variable conversion ratio | The multilevel modular capacitor clamped converter (MMCCC) topology overcomes the difficulties of the multilevel switched capacitor (SC) based dc-to-dc converters in high conversion ratio applications. MMCCC is completely modular and has many other advantageous features. Like most other SC converter... | 2012-01-01 | |
| 151 |
 |
Mastrangelo, Carlos H. | A high-resolution flexible tactile imager system based on floating comb electrodes | Flexible high-resolution contact force imagers are needed in many applications for robotic grippers and gait analysis, but its intrinsic intimate contact requirement often causes breaking of top metallization layers and failure in a short time. The use of floating electrodes has significantly improv... | 2012-01-01 | |
| 152 |
 |
Furse, Cynthia M. | A history & future of implantable antennas | Implantable antennas have been used for communication with medical implants for decades. This paper traces their roots from early transcutaneous inductively coupled devices to the microstrip and wire antennas in use today. A suggestion for where this technology may go in the future as medical device... | 2014-01-01 | |
| 153 |
 |
Cohen, Elaine | A hole-filling algorithm for triangular meshes | Data obtained by scanning 3D models typically contains missing pieces and holes. These can be caused due to scanning artifacts or artifacts in the surface due to wear and tear. We provide a method based on the Moving Least Squares projection to fill holes in triangular meshes obtained during the ... | Hole-filling algorithm; Triangular meshes; 3D models; Scanning | 2004-12-20 |
| 154 |
 |
Chamberlin, Ralph Vary | A hundred new species of American spiders | In this paper, we describe a hundred new species of American spiders, most of them from North America, with a few from South America. These are a part of the new species which have been accumulating in the collection of the University of Utah, as well as several from the collections of the Field Mus... | 1942-06-30 | |
| 155 |
 |
Gerig, Guido | A joint framework for 4D segmentation and estimation of smooth temporal appearance changes | Medical imaging studies increasingly use longitudinal images of individual subjects in order to follow-up changes due to development, degeneration, disease progression or efficacy of therapeutic intervention. Repeated image data of individuals are highly correlated, and the strong causality of infor... | 2014-01-01 | |
| 156 |
 |
Codding, Brian F. | A land of work: foraging behavior and ecology | Work is a core theme in many of the major issues and debates in California archaeology. Work is central in understanding why the first Californians entered the region (e.g., Erlandson, this volume): how thousands of years of work following colonization resulted in the overexploitation of particular ... | Human behavioral ecology; Hunter-gatherer; North America: California | 2012-03-15 |
| 157 |
 |
Mallat, Chibli | A legal manifesto for the Lebanese Cabinet: Justice for Rafik Hariri and Moussa Sadr | Last week I pleaded for a legal manifesto for Irans Green Revolution. I am arguing this week for a judicial manifesto for the Lebanese Cabinet. I have no illusions. The turgid governmental manifesto, like the Arab Leagues declarations, will read as a litany of bullet points where each of the plet... | 2009-07-09 | |
| 158 |
 |
Kraus, Peter L. | A librarian runs for political office (or Cincinnatus looks outside the Ivory Tower) | Librarians have long been activists for social and political causes outside of their profession; however, few take the crucial step and actually run for political office at the local, state, or national level. In March 2014, after being involved in local and state politics for over ten years and ... | 2015-08-23 | |
| 159 |
 |
Starkey, Mike | A lisp-based occam interpreter | The OCCAM programming language is an implementation of Communicating Sequential Processes and is used in a number of different areas. These areas usually require explicitly describing small-grain paralleslism. OCCAM programs formed by such descriptions can be tested for correctness by executing the... | Lisp-based; Occam interpreter | 1991 |
| 160 |
 |
Gerig, Guido | A longitudinal structural MRI study of change in regional contrast in Autism Spectrum Disorder | Authors: Avantika Vardhan1, Joseph Piven2, Marcel Prastawa3, Guido Gerig3 Institutions: 1Scientific Computing and Imaging Institute, University of Utah, Salt Lake City, United States, 2Dept of Psychiatry, UNC School of Medicine, Chapel Hill, NC, 3University of Utah, Salt Lake City, UT Introduction: ... | 2013-01-01 | |
| 161 |
 |
Stevens, Kenneth | A low power UART design based on asynchronous techniques | Abstract-Universal Asynchronous Receiver Transmitter (UART) implements serial communication between peripherals and remote embedded systems. The UART protocol is defined based on fixed frequencies with a sampling method to achieve robustness under reasonable frequency variations between systems. Suc... | 2013-01-01 | |
| 162 |
 |
Khan, Faisal Habib | A low-cost non-mechanical maximum power point tracking scheme for grid-tied single-phase induction generators | A new configuration of a single-phase induction generator based power generation system with maximum power point tracking capability is proposed in this paper, and this configuration is suitable for small-scale variable speed wind energy conversion system. Using this technique, the synchronous speed... | 2012-01-01 | |
| 163 |
 |
Simpson, Jamesina J. | A magnetic field-independent absorbing boundary condition for magnetized cold plasma | An effective absorbing boundary condition (ABC) based on the second-order approximations of Engquist and Majda's wave equations is presented for terminating three-dimensional finite-difference time-domain (FDTD) models employing the E-J collocated magnetized cold plasma algorithm. Numerical tests de... | 2011-01-01 | |
| 164 |
 |
Stevens, Kenneth | A mathematical approach to a low power FFT architecture | Architecture and circuit design are the two most effective means of reducing power in CMOS VLSI. Mathematical manipulations have been applied to create a power efficient architecture of an FFT. This architecture has been implemented in asynchronous circuit technology that achieves significant powe... | 1998 | |
| 165 |
 |
Warner, Homer R. | A Mathematical Approach to Medical Diagnosis: Application to Congenital Heart Disease | Biomedical Informatics | 1992 | |
| 166 |
 |
Warner, Homer R. | A Mathematical Approach to Medical Diagnosis: Application to Polycythemic States Utilizing Clinical Findings with Values Continuously Distributed | Biomedical Informatics | 1969 | |
| 167 |
 |
Mathews, V. John; Clark, Edward B. | A mathematical basis for the application of the modified geometric method to maximum frequency estimation | Abstract-The application of ultrasound in assessing the fetal cardiovascular system often requires the accurate estimation of maximum blood flow velocity waveforms using Doppler measurements. The modified geometric method estimates the maximum Doppler frequency as the frequency at which the vertica... | 2004 | |
| 168 |
 |
Mitchell, Joyce A. | A medical microcomputer database management system | The Patient Data Handler (PDH) is a general purpose, interactive, relational database management system (DBMS) which was created to store and retrieve the patient records stemming from a research project centering upon the genetic causes and diagnosis of concomitant deafness and blindness [1, 5]. Th... | 1985-01-01 | |
| 169 |
 |
Bennion, Scott Thomas | A method of solution for hydrodynamics and radiation diffusion as a multi-material problem in one dimension | Multi-material problem | 1971 | |
| 170 |
 |
Blair, Steven | A methodology for physical design automation for integrated optics | Advancements in silicon photonics technology are enabling large scale integration of electro-optical circuits and systems. To fully exploit this potential, automated techniques for design space exploration and physical synthesis for integrated optics must be developed. This paper investigates how co... | 2012-01-01 | |
| 171 |
 |
Battin, Margaret P. | A midwife through the dying process: stories of healing and hard choices at the end of life | In Timothy Quill's recounting of the deaths of nine patients, the final description is of the planned death of Jules: at home, surrounded by family members, and aided by a physician. It is a moving, true story, recounted in meticulous detail, from the first diagnosis to the final dose of barbiturat... | 1997 | |
| 172 |
 |
Mathews, V. John | A minimax approach for the joint design of acoustic crosstalk cancellation filters | Abstract-This paper presents a method for jointly designing immersive audio rendering filters for a single listener using loudspeakers. The filters for crosstalk cancellation are assumed to have finite impulse responses and are designed using the minimax criterion. In addition to the traditional At... | 2007 | |
| 173 |
 |
Pryor, T. Allan | A MLM-Based Order Entry System: The Use of Knowledge in a Traditional HIS Application | Biomedical Informatics | 1990 | |
| 174 |
 |
Bennett, Donald R. | A Model for the Telephone Transmission of Six-Channel Electroencephalograms | Biomedical Informatics | 1970 | |
| 175 |
 |
Adamczyk, Abby | A model to integrate data curation services with additional campus services related to research | The University of Utah has three libraries: main, health sciences, and law. The librarians at the main and health sciences libraries are working together to improve current services and develop new services for researchers. A recent survey of research resources on campus and on the University websit... | Data curation services; Development; Research data life cycle; Data repositories; Data management plans | 2012 |
| 176 |
 |
Weinstein, David | A morphing algorithm for generating near optimal grids: applications in computational medicine | We apply morphing to t h e problem of generating the initial mesh for finite element simulations. This algorithm reduces mesh adaptation time by integrating physical and geometric constraints to provide a near optimal initial mesh. We apply this method to large-scale bioelectric field problems invol... | Morphing algorithm; Bioelectric field problems | 1994 |
| 177 |
 |
Subrahmanyam, P.A. | A new approach to specifying and handling exceptions | An operation generally exhibits different patterns of behavior over different parts of its domain. Depending upon the context, such behavior may either be conceived of as "normal" or as an "exception." Thus, the behavior of an operation Is quite naturally characterized by the set of partial operatio... | Computer operations; Exceptions; Exception handling | 1980 |
| 178 |
 |
Bruderlin, Beat | A new approach to tolerance analysis | Tolerance analysis is seen as part of a more general problem, namely handling data with uncertainty. Uncertain geometric data arises when interpreting measured data, but also in solid modeling where floating point approximations are common, when representing design tolerances, or when dealing with l... | Tolerance analysis | 1994 |
| 179 |
 |
Mathews, V. John | A new carrier frequency estimator for modem signals | ABSTRACT A novel carrier frequency estimation scheme for a relatively broad class of voiceband data signals (modem signals) is presented in this paper. The class of signals being studied includes different types of phase-shift-keyed (PSK) and frequency-shift-keyed (FSK) signals. The frequency estim... | 1988 | |
| 180 |
 |
Miller, Jan D. | A new cone beam X-ray microtomography facility for 3D analysis of multiphase materials | Three-dimensional x-ray microtomography offers a unique imaging capability. Spatial resolution on the order of ten microns can be achieved with the use of microfocus x-ray generators. Recently, a state-of-the-art, flexible cone beam x-ray microtomography system has been installed at the University o... | 2001-01-01 | |
| 181 |
 |
Swalberg, AJa | A new denazinemys (baenid turtle) specimen from the upper cretaceous wahweap formation | 2012-04-18 | ||
| 182 |
 |
Kirby, Robert Michael II; Johnson, Christopher R. | A new family of variational-form-based regularizers for reconstructing epicardial potentials from body-surface mapping | We propose a new family of regularizers for the inverse ECG problem, using a variational principle that underlies finite element approximation methods. As an alternative to traditional Tikhonov regularizers, the variational formulation has several advantages: 1)it enables a simple construction of ... | 2010 | |
| 183 |
 |
Gerig, Guido | A new framework for analyzing white matter maturation in early brain development | The trajectory of early brain development is marked by rapid growth presented by volume but also by tissue property changes. Capturing regional characteristics of axonal structuring and myelination via neuroimaging requires analysis of longitudinal image data with multiple modalities. Complementary ... | 2010-01-01 | |
| 184 |
 |
Chamberlin, Ralph V. | A new genus in the family agelenidae | Mr. J. H. Emerton in 1911 described a new species of spiders under the name Liocranum calcaratum, mistakenly placing it in the family Clubionidae (Trans. Conn. Acad. Arts and Sci., vol. X V I , p. 402, pi. V, ff. 4 -4 f ) . This disposition o f the species was natural in view of its resemblance to c... | 1933-07 | |
| 185 |
 |
Chamberlin, Ralph V. | A new genus of theridiid spiders in which the male develops only one palpus | The discovery of the male of Theridion fordum Keyserling, reveals characteristics for that species which set it off as genericallv different, from Theridion proper. The erection of a new genus is thus found necessary for this species; and several other species which are closely related to it natural... | 1934-04 | |
| 186 |
 |
Durrant, Stephen D. | A new gopher from Antelope Island, Great Salt Lake, Utah | The present paper presents the results of a study of a series of specimens taken around the Great Salt Lake and on Antelope Island in this lake, the series forming part of the collection of the University of Utah. The form from Antelope Island differs sufficiently from the described subspecies of Th... | 1936-10 | |
| 187 |
 |
Cohen, Elaine | A new local basis for designing with tensioned splines | Recently there has been a great deal of interest in the use of "tension" parameters to augment control mesh vertices as design handles for piecewise polynomials. A particular local cubic basis called p-splines, which has been termed a "generalization of B-splines", has been proposed as an appropriat... | Tensioned splines | 1985 |
| 188 |
 |
A new look for CONENTdm: a user-centered approach | CONTENTdm Western Users Group, June 3 2010. | 2010-06-03 | ||
| 189 |
 |
Mathews, V. John | A new model of perceptual threshold functions for application in image compression systems | This paper discusses the development of a perceptual threshold model for the human visual system. The perceptual threshold functions describe the levels of distortions present at each location in an image that human observers can not detect. Models of perceptual threshold functions are useful in ima... | 1995 | |
| 190 |
 |
Durrant, Stephen D. | A new pocket gopher from the Oquirrh Mountains, Utah | Continued studies of the pocket gophers of the talpoides group from Utah have disclosed the existence of an hitherto undescribed race indigenous to the Oquirrh Mountains, which are located in Utah, Tooele and Salt Lake Counties. | 1939-10-24 | |
| 191 |
 |
Durrant, Stephen D. | A new pocket gopher of the thomomys quadratus group from the Northern Great Basin Region | Critical examination of specimens of Thomomys quadratus from Utah has brought to light the existence of an hitherto unnamed race from the Raft River region in the northwest corner of the state and contiguous areas of Idaho and Nevada. Extensive material from northeastern Nevada in the collection of ... | 1939-02-28 | |
| 192 |
 |
Brenckle, J. F. | A new polygonum from Garfield County, Utah | The plant described below was collected 6 miles north of Escalante, Garfield Co., Utah, by W . P. Cottam, Sept. 17, 1935. It was found growing in great abundance along sandy ravines on the rocky Navajo sandstone spur which projects southward from the Aquarius Plateau. The type specimen, No. 65 0 7 ,... | 1940-06-27 | |
| 193 |
 |
Cottam, Walter P. | A new violet from Utah | A beautiful violet strikingly different from any species heretofore reported from Utah was discovered by the writer growing 011 vacant property on the outskirts of Salt Lake City at the corner of 13th South and 17th E as t streets, April 17, 1937.*' This property and neighboring areas to the east ha... | 1939-06-28 | |
| 194 |
 |
Warner, Homer R. | A Non-Stready-State Kinetic Evaluation of the Mechanism of Cortisone-Induced Granulocytosis | Biomedical Informatics | 1968 | |
| 195 |
 |
Wunderlich, Adam James | A nonparametric procedure for comparing the areas under correlated LROC curves | In contrast to the receiver operating characteristic (ROC) assessment paradigm, localization ROC (LROC) analysis provides a means to jointly assess the accuracy of localization and detection in an observer study. In a typical multireader, multicase (MRMC) evaluation, the data sets are paired so that... | 2012-01-01 | |
| 196 |
 |
Pryor, T. Allan | A Note on Filtering Electrocardiograms | Biomedical Informatics | 1971 | |
| 197 |
 |
Sikorski, Kris | A note on optimal algorithms for fixed points | We present a constructive lemma that we believe will make possible the design of nearly optimal 0(dlog | ) cost algorithms for computing eresidual approximations to the fixed points of d-dimensional nonexpansive mappings with respect to the infinity norm. This lemma is a generalization of a two-... | Fixed points; Constructive lemma | 2009 |
| 198 |
 |
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 |
| 199 |
 |
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 | |
| 200 |
 |
Dale, Colin | A novel human-infection-derived bacterium provides insights into the evolutionary origins of mutualistic insect-bacterial symbioses | Despite extensive study, little is known about the origins of the mutualistic bacterial endosymbionts that inhabit approximately 10% of the world's insects. In this study, we characterized a novel opportunistic human pathogen, designated ‘‘strain HS,'' and found that it is a close relative of th... | 2012-01-01 |