UScholar Works
 
Filters: Format Medium: "application/pdf" Collection: "ir_uspace"
176 - 200 of 7,198
Number of results to display per page
CreatorTitleDescriptionSubjectDate
176 Durrant, Stephen D.A new pocket gopher of the thomomys quadratus group from the Northern Great Basin RegionCritical 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
177 Brenckle, J. F.A new polygonum from Garfield County, UtahThe 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
178 Cottam, Walter P.A new violet from UtahA 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
179 Warner, Homer R.A Non-Stready-State Kinetic Evaluation of the Mechanism of Cortisone-Induced GranulocytosisBiomedical Informatics1968
180 Wunderlich, Adam JamesA nonparametric procedure for comparing the areas under correlated LROC curvesIn 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
181 Pryor, T. AllanA Note on Filtering ElectrocardiogramsBiomedical Informatics1971
182 Sikorski, KrisA note on optimal algorithms for fixed pointsWe 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 lemma2009
183 Lyche, TomA note on the Oslo algorithmThe 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 surface1987
184 Simpson, Jamesina J.A novel ELF radar for major oil depositsThis 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
185 Dale, ColinA novel human-infection-derived bacterium provides insights into the evolutionary origins of mutualistic insect-bacterial symbiosesDespite 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
186 Sloan, Peter-PikeA painterly approach to human skinRendering 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 skin1999
187 Morse, Michael DavidA pair potentials study of matrix-isolated atomic zinc. II. Intersystem crossing in rare-gas clusters and matricesThe 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
188 Parke, Frederic IraA parametric model for human facesThis 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 face1975
189 Gopalakrishnan, GaneshA partial order reduction algorithm without the ProvisoThis 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 step1998
190 Brunvand, Erik L.A partial scan methodology for testing self-timed circuitsThis 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
191 Brunvand, Erik L.A partial scan methodology for testing self-timed circuitsThis 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; Testing1995
192 McDirmid, Sean; Hsieh, Wilson C.A path-precise analysis for property synthesisRecent 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 codes2003-12-01
193 Thompson, Cynthia A.A personalized system for conversational recommendationsIncreased 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 systems2002-06-26
194 Mathews, V. JohnA phase likelihood-based algorithm for blind identification of PSK signalsThis paper presents a phase likelihood-based method for automatically identifying different phase-shift keying (PSK) modulations. This method identifies the PSK signals as the hypothesis for which the likelihood function of phase difference between nearby samples of the received signal is the maximu...2014-01-01
195 Suchy, YanaA picture is worth a thousand words: effects of emotional distracters on executive task performance2011-04-20
196 Smith, Ken R.A population-based study of childhood cancer survivors body mass indexPopulation-based studies are needed to estimate the prevalence of underweight or overweight/obese childhood cancer survivors. Procedure. Adult survivors (diagnosed ≤20 years) were identified from the linked Utah Cancer Registry and Utah Population Database. We included survivors currently aged ≥...2014-01-01
197 Regehr, JohnA practical logic framework for verifying safety properties of executablesWe present a novel program logic, Lf , which is designed on top of a Hoare logic, but is simpler, more flexible and more scalable. Based on Lf , we develop a framework for automatically verifying safety properties of executables. It utilizes a whole-program interprocedural abstract interpretation to...2011-01-01
198 Hansen, Charles D.A practical workflow for making anatomical atlases for biological researchAn anatomical atlas provides a detailed map for medical and biological studies of anatomy. These atlases are important for understanding normal anatomy and the development and function of structures, and for determining the etiology of congenital abnormalities. Unfortunately, for biologists, generat...2012-01-01
199 Rees, Don M.A preliminary list of the ants of UtahThe 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
200 Gerig, GuidoA preliminary study on the effect of motion correction on HARDI reconstructionPost-acquisition motion correction is widely performed in diffusion-weighted imaging (DWI) to guarantee voxel-wise correspondence between DWIs. Whereas this is primarily motivated to save as many scans as possible if corrupted by motion, users do not fully understand the consequences of different ty...2014-01-01
176 - 200 of 7,198