Filters: Collection:"ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 326 |  | Gopalakrishnan, Ganesh | On the decidability of shared memory consistency verification | We view shared memories as structures which define relations over the set of programs and their executions. An implementation is modeled by a transducer, where the relation it realizes is its language. This approach allows us to cast shared memory verification as language inclusion. We show tha... | Shared memory; Consistency; Verification | 2005-03-15 |
| 327 |  | Owen, William E.; Roberts, William L. | Performance characteristics of an HPLC method for Urinary Albumin | Microalbuminuria is a marker of early diabetic nephropathy and cardiovascular risk. Immunoassays for urinary albumin can underestimate the amount of intact albumin present in urine. The purpose of this study was to evaluate a new urinary albumin assay that employs size exclusion HPLC with UV detecti... | MA; Microalbuminuria; HPLC | 2005-07-06 |
| 328 |  | Slev, Patricia R.; Rawlins, Mindy, L.; Roberts, William L. | Performance characteristics of seven automated CA 15-3 methods | Poster describing studies to evaluate seven automated methods for the following parameters: limit of detection, linearity, imprecision, reference intervals and method comparison with the ADVIA Centaur as the comparison method to detect CA 15-3. | CA 15-3 Method | 2005-07-13 |
| 329 |  | Mongia, Shella K.; Rawlins, Mindy, L.; Owen, William E.; Roberts, William L. | Performance characteristics of seven automated CA125 assays | Author manuscript. Cancer antigen 125 (CA125) is a high molecular mass glycoprotien, which is used as tumor marker to monitor disease progression, response to therapy and in early detection of recurrence after treatment for ovarian cancer. The Access 2, ADVIA Centaur, ARCHITECT i2000, AxSYM, Elecsys... | CA125 assays | 2005-08-29 |
| 330 |  | Haber, Matthew | Poverty of the Linnaean Hierarchy: a philosophical study of biological taxonomy (book review) | The article reviews the book "The Poverty of the Linnaean Hierarchy: A Philosophical Study of Biological Taxonomy," by Marc Ereshefsky. | Biology, classification; Books, reviews; Nonficiton | 2005-12-15 |
| 331 |  | Millgram, Elijah | Practical reason and the structure of actions | A wave of recent philosophical work on practical rationality is organized by the following implicit argument: Practical reasoning is figuring out what to do; to do is to act; so the forms of practical inference can be derived from the structure or features of action. Now it is not as though earlier ... | Practical reasoning; Inference; Philosophy | 2005-08-24 |
| 332 |  | Regehr, John | Proofs as a substrate for tool integration supporting high-confidence embedded software | As the size and complexity of software in safety-critical embedded systems increases, the ability of programmers to deliver these systems in a timely fashion decreases. Specific difficulties are that embedded software must interact with the physical world in real time and that it must make efficient... | 2005-01-01 | |
| 333 |  | Propensities for return migration for race/ethnic groups across nonmetropolitan and metropolitan counties | Leaving a community is generally a difficult undertaking for a family or individual. Yet five percent or 15 million Americans leave one county to live in another yearly (http://www.census.gov.) Prior research has shown that repeat migration makes up a large share of these migrations. Although a ri... | Relocation; Neighborhoods; Communities; Race | 2005-03-25 | |
| 334 |  | Hillyard, David R. | Quantitative real time PCR assay for detecting BK virus in serum, plasma and urine. | BK is a non-enveloped virus in the Polyomavirus family, closely related to SV40 and JC virus. Primary infection with BK generally occurs during childhood without specific symptoms, and is widespread in the population, with approximately 80% of adults infected globally. The virus remains latent in th... | Quantitative Tests; Linearity Studies; Oligonucleotides | 2005-05-02 |
| 335 |  | Stevenson, Jeffery B.; Hillyard, David R. | Quantitative real time PCR assay for detecting EBV virus in multiple sample types. | We are developing a real time quantitative PCR assay to detect EBV in serum, plasma, whole blood, tissue and spinal fluid. Real time PCR, with its intrinsic quantitative capacity, is an excellent method for measuring EBV viral load. Epstein Barr virus is a member of the Herpesvirus family, with a tr... | Eclipse Probes; EBV Primer | 2005-08-11 |
| 336 |  | Hymas, Weston C.; Stevenson, Jeffery B.; Taggart, Bill; Hillyard, David R. | Quantitative real time PCR assay for the detection of human herpes 6. | Human herpes virus type 6 is a beta virus that occurs as two variants (A & B) and infects nearly 100% of the population before two years of age. Primary infections in children can produce fever and a unique lacy rash that gives the disease its name: roseola. The rare primary infection in adults can ... | Probe Technology; Roseola Infantum | 2005-02-05 |
| 337 |  | Regehr, John | Random testing of interrupt-driven software | Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using random interrupt testing-firing random interrupt handlers at random times. Unfortunately, na¨ıve application of random test... | 2005-01-01 | |
| 338 |  | Osborne, Anne G.; Couldwell, William T. | Rathke cleft cyst intracystic nodule: a characteristic magnetic resonance imaging finding. | OBJECT: The fluid content of Rathke cleft cysts (RCCs) displays variable appearances on magnetic resonance (MR) images and can appear indistinguishable from other intrasellar or suprasellar cystic lesions. Intracystic nodules associated with individual RCCs have been noted, but to date their signifi... | Brain Neoplasms; Central Nervous System Cysts; Magnetic Resonance Imaging | 2005-11-01 |
| 339 |  | Hymas, Weston C.; Hillyard, David R. | Real time RT-PCR assay for norovirus detection with eclipse probes and a non-competitive internal control. | Noroviruses are the major causative agents of nonbacterial gastroenteritis worldwide and are estimated to cause approximately 23 million cases in the United States annually. Real time RT-PCR is rapidly becoming the principle diagnostic means for norovirus detection due to its enhanced sensitivity an... | Gastroenteritis; Eclipse Hybridization Probes; Norovirus | 2005-05-03 |
| 340 |  | Couldwell, William T. | Review by Oren N. Gottfried, M.D. and William T. Couldwell, M.D., Ph.D for Neurosurgery Journal Club. (Yadav JS, Wholey MH, Kuntz RE, et al: Protected carotid-artery stenting versus endarterectomy in high-risk patients.) | This is an important study that helps further define a role for carotid stenting as a therapeutic option for atherosclerotic carotid disease. There is a need for a larger-scale multi-centered trial with increased numbers patients and longer follow-up to identify appropriate patients for either endar... | Carotid Stenosis; Endarterectomy, Carotid; Stents | 2005-01-07 |
| 341 |  | Cloud, Joann L.; Dunn, Jim; Hoggan, Karen; Wilson, Deborah; Iwen, Peter; Lasala, Paul; Hall, Geri; Woods, Gail L. | Sequence-based identification of gram negative nonfermenters using commercial 16S rDNA databases | This poster presents a study assessing the validity of the databases from two commercial systems were compared for the identification of NF. Background: Identification of gram negative nonfermenters (NF) from cultured human specimens is often difficult using traditional phenotypic methods. Partial 1... | MicroSeq500; Virodec | 2005-08-29 |
| 342 |  | Lombardo, Nancy T. | So many meetings so little time: using IP videoconferencing to revitalize statewide committees | Internet technologies continue to transform the library profession and redefine how we communicate with professional colleagues and peers. IP (Internet Protocol) videoconferencing provides increased opportunities for librarians to engage in virtual teamwork and e-collaborations. The use of video con... | Internet technologies; Library profession; Technology in libraries; Information literacy; Library services; Distance education | 2005-11-23 |
| 343 |  | Le Ber, Jeanne M.; Lombardo, Nancy T. | Teaching teachers to teach with tablet PCs | Library faculty met weekly to learn and teach one another how to use TabletPCs and how to train faculty in their use in the new health sciences education building. The new health sciences education building at the University of Utah provides a modern, state of the art, student focused, teaching and... | Teacher; Tablet PCs | 2005-05-12 |
| 344 |  | Couldwell, William T. | Trends in the neurosurgical workforce in the United States (Neurosurgical workforce trends in the United States) | OBJECT: The purpose of this study was to evaluate the US neurosurgery workforce by reviewing journal recruitment advertisements published during the past 10 years. METHODS: The number of available academic and private neurosurgical staff positions was determined based on recruitment advertisements i... | Advertising; Internship and Residency; Neurosurgery; Personnel Selection | 2005-02-01 |
| 345 |  | Sokolsky, Pierre | Ultra high energy ντ detection with a cosmic ray tau neutrino telescope used in fluorescence/Cerenkov light detection | We have investigated the possibility of ντ detection using Cosmic Ray Tau Neutrino Telescope (CRTNT) based on air shower fluorescence/Cerenkov light detector techniques. This approach requires an interaction of a νг with material such as a mountain or the earth's crust. lepton produced in th... | Tau neutrino; Tau lepton; Fluorescence; Cerenkov light | 2005-07-01 |
| 346 |  | Gerig, Guido | Unbiased atlas formation via large deformations metric mapping | The construction of population atlases is a key issue in medical image analysis, and particularly in brain mapping. Large sets of images are mapped into a common coordinate system to study intrapopulation variability and inter-population differences, to provide voxelwise mapping of functional sites,... | Computational anatomy; Brain atlases; Image metric space | 2005-01-01 |
| 347 |  | Olivera, Baldomero M. | Uniquely selective inhibitor of the mammalian fetal neuromuscular nicotinic acetylcholine receptor | We have purified and characterized a novel conotoxin from the venom of Conus obscurus, which has the unique property of selectively and potently inhibiting the fetal form of the mammalian neuromuscular nicotinic acetylcholine receptor (nAChR) (α1β1γδ-subunits). Although this conotoxin, αA-cono... | Conotoxins; Conus obscurus; Fetal; Muscle; nAChR; Inhibitor; Receptor | 2005-01-19 |
| 348 |  | Morrison, David L. | Utah digital newspapers: copyright and the web | Copyright presentation given by David Morrison, July 14, 2005. | 2005-07-14 | |
| 349 | | Gerig, Guido | Vessel tortuosity and brain tumor malignancy: a blinded study | Rationale-Malignancy provokes regional changes to vessel shape. Characteristic vessel tortuosity abnormalities appear early during tumor development, affect initially healthy vessels, spread beyond the confines of tumor margins, and do not simply mirror tissue perfusion. The ability to detect and qu... | Computer; Cancer; Blood vessels; Tortuosity; MRA; Brain tumor | 2005-01-01 |
| 350 |  | Wu, Yong-Shi | Wave function describing superfluidity in a perfect crystal | We propose a many-body wave function that exhibits both diagonal and off-diagonal long-range order. Incorporating short-range correlations due to interatomic repulsion, this wave function is shown to allow condensation of zero-point lattice vibrations and phase rigidity. In the presence of an exter... | 2005-07-01 |