201 - 225 of 7,210
Number of results to display per page
CreatorTitleDescriptionSubjectDate
201 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
202 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
203 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
204 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
205 Suchy, YanaA picture is worth a thousand words: effects of emotional distracters on executive task performance2011-04-20
206 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
207 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
208 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
209 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
210 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
211 Kraus, Peter L.A primer on grant writing for foundation support for first-time grant writers in academic libraries: challenges and opportunitiesIn a majority of academic disciplines, grant writing is a skill that is often self-taught or acquired informally by trial and error. Few academic discip lines have grant writing as standard part of their curriculum at the graduate level. In the past, grant writing has received little or no emphasis...2015-09-01
212 Gouraud, HenriA programmer's guide to PDP-10 eulerThis 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 language1970
213 Gardner, Reed M.A Proposal to Improve Quality, Increase Efficiency, and Expand Access in the U.S. Health Care SystemBiomedical Informatics1997
214 Whitty, Kevin J.A pulse-width modulation controlled wire-mesh heater apparatus for investigation of solid fuel pyrolysisA novel wire mesh heater apparatus has been developed to study the devolatilization of solid fuels under pressurized conditions at well-controlled heating rates on the order of 1000 K/s. The apparatus combines direct current and pulse-width modulation with a fast-acting and high current-capacity re...2012-01-01
215 Warner, Homer R.A PVC Detection ProgramBiomedical Informatics1971
216 Moffett, James W.A quantitative study of the bottom fauna in some Utah Streams Variously Affected by ErosionFloods 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
217 Watkins, Gary ScottA real time visible surface algorithmWith 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 algorithm1970
218 Brown, Francis HaroldA reappraisal of the geomagnetic polarity time scale to 4 MA using data from the turkana basin, East AfricaRecalibration of the Pliocene and early Pleistocene geomagnetic time scale using the K-Ar dated fluvial sequence of the Turkana Basin in East Africa agrees with calibrations based on astronomical calculations. Ages estimated here are: Olduvai Subchron, 1.78-1.96 Ma; Reunion Subchrons, 2.11-2.15 Ma ...2012
219 Fogel, Alan DaleA relational perspective on the development of self and emotionBegin 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
220 Fogel, Alan DaleA relational perspective on the development of self and emotionThis 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
221 Myntti, JeremyA review of "Introduction to indexing and abstracting" by Donald B. Cleveland and Ana D. ClevelandIntroduction to Indexing and Abstracting by Donald and Ana Cleveland has been used in Library and; Information Science classrooms for many years. The latest edition of this text has been updated to; include more information about the current indexing environment where many people seem to favor; onli...Indexing; Abstracting2014
222 Crespo, Jose GuillermoA review of chemosensation and related behavior in aquatic insectsInsects that are secondarily adapted to aquatic environments are able to sense odors from a diverse array of sources. The antenna of these insects, as in all insects, is the main chemosensory structure and its input to the brain allows for integration of sensory information that ultimately ends in b...2011-09-13
223 Simpson, Jamesina J.A review of progress in FDTD Maxwell's equations modeling of impulsive subionospheric propagation below 300 kHzWave propagation at the bottom of the electromagnetic spectrum (below300 kHz) in the Earth-ionosphere waveguide system has been an interesting and important area of investigation for the last four decades. Such wave propagation is characterized by complex phenomena involving nonhomogeneous and aniso...2007-01-01
224 Podlog, Leslie WilliamA review of return to sport concerns following injury rehabilitation: practitioner strategies for enhancing recovery outcomesObjectives: Evidence suggests that competitive athletes returning to sport following injury rehabilitation may experience a range of psychosocial concerns. The purpose of this paper is to review some of the psychosocial stresses common among returning athletes and to provide practitioner strategies ...2011-01-01
225 Lawton, Evert C.A review of shear stress sign convention in interpreting Mohrs circleThe pole of planes method is a popular technique for interpreting Mohr's circle to determine the stresses (normal and shear) on planes of differing rotations in 2-D space. A survey of undergraduate textbooks on soil mechanics shows differing viewpoints on the sign convention for interpreting the she...2012-01-01
201 - 225 of 7,210