TO
Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 176 |
 | Zhao, Lu; Regehr, John | Comparing program logics for reasoning about safety properties | To prove memory write and controls transfers do not interfere with other programs in embedded systems. Hoare Logic with Bale Predicate; Hoare Logic with Separation Conjunction. | 2010-10-06 | |
| 177 |
 | Greene, Stephen Andrew; Golden, Kenneth M. | Composite microstructures and climate change | Develop mathematical models to better understand the changes in sea ice as it pertains to global climate. Compare Diffusion Limited Aggregates (DLA) and Electrorheological (ER) fluids to sea ice microstructures. | Composite microstructures; Climate change; Effect on climate; Trapeze Interactive Poster | 2010-03-15 |
| 178 |
 | Mitchell, Joyce A. | Computational Feature of Selection and Classification of RET Phenotypic Severity | Although many reported mutations in the RET oncogene have been directly associated with hereditary thyroid carcinoma, other mutations are labelled as uncertain gene variants because they have not been clearly associated with a clinical phenotype. The process of determining the severity of a mutation... | 2010-01-01 | |
| 179 |
 | Fletcher, Preston Thomas; Moeller, John Henry; Phillips, Jeffrey; Venkatasubramanian, Suresh | Computing hulls in positive definite space | P(n): a Riemannian manifold Definition: symmetric positive-definite (n) (n) matrices Applications: Diffusion Tensor MRI (DT-MRI) Flow through voxel modeled in P(3) Elasticity Tensors Modeled by elements of P(6) Machine Learning Used in kernels Convex Hulls Data on P(n): Want to analyze... | 2010-10-06 | |
| 180 |
 | Mallat, Chibli | The Constitutional Crisis in Iraq: What Can the Federal Supreme Court Do? | Contemplate the ongoing deadlock in Iraq following French historian Fernand Braudel's classification of two spans of time, two durées. One is the longue durée: how does the Federal Supreme Court (FSC), and the Iraqi judiciary in general, shape the rule of law for the Iraqi citizen, and for the bod... | 2010-09-02 | |
| 181 |
 | Robison, Reid Justin; Farley, Megan A.; Cannon, Dale Sherman; Allen Brady, Kristina Lisa; Matsunami, Norisada; Stevens, Jeffery; Baird, Lisa M.; Varvil, Tena; Leppert, Mark F.; McMahon, William M.; Coon, Hilary H. | Copy number variation in a follow-up of adults with ASD: a behavioral phenotype-genotype study | Autistic Spectrum Disorders (ASD) are a set of complex, early-onset neurodevelopmental disorders. Recent studies have revealed a complex genetic landscape for ASD, with many potential genes involved. Little is known about the long-term outcome of individuals with ASD who were diagnosed in childhoo... | Autistic spectrum disorders; Copy number variation; Genotyping; Trapeze Interactive Poster | 2010-03-15 |
| 182 |
 | McIntyre, Sandra A.; Morrow, Anne; Chaufty, Lisa Marie | Creating a path through the labyrinth: using sitemaps to enhance discoverability | Presentation given at the Western CONTENTdm Users Group annual meeting, J. Willard Marriott Library, University of Utah, Salt Lake City, UT, June 3-4, 2010. | search engine optimization; Google; crawler; googlebot; sitemaps; discoverability; digital collections | 2010-06-03 |
| 183 |
 | Mates, Phillip Lopes; Silva, Claudio T. | crowdLabs: a provenance enabled web repository | The National Science Foundation Science and Technology Center for Coastal Margin Observation and Prediction (CMPO) is a multi-institutional center dedicated to coastal margins, which are regions consisting of very productive ecosystems that play an important role in global elemental cycles. CMPO ma... | CrowdLabs; Web repository; Coastal margins; Trapeze Interactive Poster | 2010-03-15 |
| 184 |
 | Yang, Haori | Detection of hidden materials using nuclear resonance fluorescence technique: simulation and measurements | Abstract-The measured value of the 2.176 MeV 238U Nuclear Resonance Fluorescence (NRF) peak count rate were compared with simulation results. The simulation methods studied include GEANT4, MCNP5 and MCNPX. The simulation results were found out to be consistent but one order of magnitude higher than ... | 2010-01-01 | |
| 185 |
 | Adler, Robert W. | Drought, Sustainability, and the Law | Researchers and responsible officials have made considerable progress in recent years in efforts to anticipate, plan for, and respond to drought. Some of those efforts are beginning to shift from purely reactive, relief-oriented measures to programs designed to prevent or to mitigate drought impacts... | 2010-07-15 | |
| 186 |
 | Clayton, Dale H. | Ecoimmunity in Darwin's finches: invasive parasites trigger acquired immunity in the medium ground finch (Geospiza fortis) | Invasive parasites pose a serious threat to native animal populations, because hosts with no history of exposure may lack effective immune defenses. Invasive parasites are a particular threat to small, island populations [1,2]. For example, introduced malaria (Plasmodium relictum) has exacerbated t... | Darwins finches; Ecoimmunity; Acquired immunity; Medium ground finch; Geospiza fortis; Invasive parasites; Novel parasites; Poxvirus avium; Nest flies; Philornis downsi | 2010-01-06 |
| 187 |
 | Sekercioglu, Cagan | The effects of climate change on tropical birds | Birds are among the most widely studied organisms on earth and represent an important indicator group for learning about the effects of climate change - particularly in regard to the effects of climate change on tropical ecosystems. In this review, we assess the potential impacts of climate change o... | 2010-01-01 | |
| 188 |
 | Patwari, Neal | Efficient high rate secret key extraction in sensor networks using collaboration | 2010-02-26 | ||
| 189 |
 | Kasera, Sneha K. | Enhancing covert communications with multiple colluding receivers | Traditional (single receiver) system setup: ? Choose exploit field (e.g. last byte of TCP Timestamp) ? Alice: probabilistically inject parts of coded message into field ? Bob: extract symbols from field, decode to correct errors ?Warden: assume full knowledge of system and keys Can we create un... | 2010-10-06 | |
| 190 |
 | Gerig, Guido | Evaluation of DTI property maps as basis of DTI atlas building | Compared to region of interest based DTI analysis, voxel-based analysis gives higher degree of localization and avoids the procedure of manual delineation with the resulting intra and inter-rater variability. One of the major challenges in voxel-wise DTI analysis is to get high quality voxel-level c... | 2010-01-01 | |
| 191 |
 | Flatt, Matthew | Extensible type systems | 2010-02-26 | ||
| 192 |
 | Hawkes, Kristen | Family provisioning is not the only reason men hunt | Gurven and Hill (2009) ask, "Why do mean hunt?" As they say, "The observation that mean hunt and women gather supported the simplistic view of marriage as a cooperative enterprise. Greater sophistication suggests that males may often be motivated by mating and status rather than offspring investment... | 2010-01-01 | |
| 193 |
 | Fukuta, Norihiko | Fundamental principles of cloud and aerosol physics | 2010-07-26 | ||
| 194 |
 | Kieda, David B.; Binks, Joshua Thomas | Gamma-ray emission by the BL Lac Markarian 501 | Optical astronomy is the study of the heavens as they emit light, or the visible portion of the electromagnetic spectrum. Gamma-ray astronomy is the study of astrophysical sources that emit the most energetic form of electromagnetic radiation (ie: gamma-rays). High Energy gamma-rays are much too f... | Markarian 501; Gamma-ray emission; Trapeze Interactive Poster | 2010-03-15 |
| 195 |
 | Herbert, John | Getting all your newspaper data into CONTENTdm - the new flex loader | Utah Digital Newspapers (UDN) Overview: - Run by J. Willard Marriott Library - Entirely a "soft money" program - Raised $3.5 million in local, state, federal funds -Launched in December 2002 - 3 titles, 30k pages - On CONTENTdm (version 2) -Current holdings: - 60 titles/... | 2010-06-03 | |
| 196 |
 | Hawkes, Kristen | Grandmother effects, heterogeneity, and the evolution of human aging: guidance from human-chimpanzee comparisons | In the first paper to present formal theory explaining that senescence is a consequence of natural selection, W. D. Hamilton concluded that human postmenopausal longevity results from the contributions of ancestral grandmothers to the reproduction of their relatives. A grandmother hypothesis, subseq... | Evolution of senescence; Heterogeneity of frailty; Human life history; Menopause; Human aging | 2010-01-01 |
| 197 |
 | Francis, Leslie | Group compromise: perfect cases make problematic generalizations | Rothstein argues that groups may be harmed by research on deidentified data. He concludes that researchers are obligated to minimize group harms and demonstrate respect for a studied group through robust opt-out capacities, information about the possibility of group-based harms, and publications ref... | 2010-01-01 | |
| 198 |
 | Armentrout, Peter B. | Guided ion beam and theoretical studies of sequential bond energies of water to sodium cysteine cation | Absolute bond dissociation energies of water to sodium cysteine (Cys) cations and cysteine to hydrated sodium cations are determined experimentally by collision-induced dissociation of Na+Cys(H2O)x, where x = 1 - 4, complexes with xenon in a guided ion beam mass spectrometer. Experimental results sh... | 2010-01-01 | |
| 199 |
 | Armentrout, Peter B. | Guided ion beam and theoretical study of the reactions of Hf+ with H2, D2, and HD | The kinetic energy dependences of reactions of the third-row transition metal cation Hf+ with H2, D2, and HD were determined using a guided ion beam tandem mass spectrometer. A flow tube ion source produces Hf+ in its 2D (6s25d1) electronic ground state level. Corresponding state-specific reaction c... | 2010-01-01 | |
| 200 |
 | Sudan, Kshitij | Hardware prediction of OS run-length for fine-grained resource customization | 2010-02-26 |