Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 26 |
 |
Stevens, Kenneth | Concurrency reduction of untimed latch protocols - theory and practice | A systematic investigation into concurrency reduction of untimed asynchronous 4-phase latch controllers is reported. Starting with a state graph that exhibits maximal concurrency, rules are provided for systematically reducing its states and thereby curtailing its behaviors. The rules predict liven... | 2010 | |
| 27 |
 |
Regehr, John | Correctness proofs for device drivers in embedded systems | Computer systems do not exist in isolation: they must interact with the world through I/O devices. Our work, which focuses on constrained embedded systems, provides a framework for verifying device driver software at the machine code level. We created an abstract device model that can be plugged... | 2010 | |
| 28 |
 |
Olivera, Baldomero M. | Defining a clade by morphological, molecular, and toxinological criteria: distinctive forms related to Conus praecellens A. Adams, 1854 (Gastropoda: Conidae) | We carried out a definition of the Conus praecellens A. Adams, 1854, species group using a combination of comparative morphological data, molecular phylogeny based on standard genetic markers, and toxinological markers. Prior to this work, Conus praecellens was generally postulated to belong to a cl... | Turriconus; 12SrRNA sequences; Phylogenetic analysis; Conus praecellens; Exogenes | 2010 |
| 29 |
 |
Harpending, Henry C.; Rogers, Alan R. | Detecting positive selection from genome scans of linkage disequilibrium | Though a variety of linkage disequilibrium tests have recently been introduced to measure the signal of recent positive selection, the statistical properties of the various methods have not been directly compared. While most applications of these tests have suggested that positive selection has pl... | Genome scans; Linkage disequilibrium; Gene trees | 2010 |
| 30 |
 |
Mastrangelo, Carlos H. | Detection of biomolecular binding by fourier-transform SPR | Surface plasmon resonance (SPR) is a widely used label-free detection technique that has many applications in drug discovery, pharmacokinetics, systems biology and food science. The SPR technique measures the dynamics of a biomolecular interaction at a surface, yielding kinetic association and diss... | 2010 | |
| 31 |
 |
Tasdizen, Tolga | Detection of salient image points using principal subspace manifold structure | This paper presents a method to find salient image points in images with regular patterns based on deviations from the overall manifold structure. The two main contributions are that: (i) the features to extract salient point are derived directly and in an unsupervised manner from image neighborhoo... | 2010 | |
| 32 |
 |
Shapiro, Michael D. | Divergence, convergence, and the ancestry of feral populations in the domestic rock pigeon | Domestic pigeons are spectacularly diverse and exhibit variation in more traits than any other bird species [1]. In The Origin of Species, Charles Darwin repeatedly calls attention to the striking variation among domestic pigeon breeds - generated by thousands of years of artificial selection on a s... | 2010 | |
| 33 |
 |
Ehleringer, James R.; Bush, Sarah Elizabeth | Ecophysiology of riparian cottonwood and willow before, during, and after two years of soil water removal | Riparian cottonwood/willow forest assemblages are highly valued in the southwestern United States for their wildlife habitat, biodiversity, and watershed protection. Yet these forests are under considerable threat from climate change impacts on water resources and land-use activities to support hum... | Riparian cottonwood; Riparian willow; Soil water removal; Coyote willow; Drought recovery; Populus fremontii; Riparian ecology; Red Butte Canyon Research Natural Area; Salix exigua; Stem sap flux; Leaf carbon isotope ratios | 2010 |
| 34 |
 |
Tasdizen, Tolga | Edge enhanced spatio-temporal constrained reconstruction of undersampled dynamic contrast enhanced radial MRI | There are many applications in MRI where it is desirable to have high spatial and high temporal resolution. This can be achieved by undersampling of k-space and requires special techniques for reconstruction. Even if undersampling artifacts are removed, sharpness of the edges can be a problem. We pr... | 2010 | |
| 35 |
 |
Dawson, Kyle | The effects of charge transfer inefficiency (CTI) on galaxy shape measurements | We examine the effects of charge transfer inefficiency (CTI) during CCD readout on the demanding galaxy shape measurements required by studies of weak gravitational lensing. We simulate a CCD readout with CTI such as that caused by charged particle radiation damage in space-based detectors. We verif... | 2010 | |
| 36 |
 |
Adler, Frederick R. | Effects of intraspecific density-dependence on species richness and species abundance distributions | Abstract Species richness and patterns of abundance result from the interplay between niche differences, realized as intraspecific density-dependence (IDD), and so-called neutral processes that arise when species fitnesses are similar. This paper presents an extension of neutral models that incorpo... | 2010 | |
| 37 |
 |
Bohs, Lynn A. | Eggplant origins: out of Africa, into the Orient | The eggplant (Solanum melongena L.), also known as aubergine or brinjal, has been cultivated for centuries in the Old World and is currently a crop species of global importance. Despite this, hypotheses of eggplant evolution have been fraught with controversy. Previous conclusions have relied solely... | Eggplant origins; Crop domestication; Solanum melongena complex; Solanum incanum; DNA sequence; Africa; Asia | 2010 |
| 38 |
 |
Wight, Charles Albert; Anderson, Richard Bryan | Electronic publication of theses and dissertations | For many years, the university has required its doctoral students to print and publish their dissertations. After a dissertation has been approved for release by the Graduate School thesis editors and the student has been approved for graduation, the university sends one copy of the manuscript to Pr... | Electronic publication; Theses; Dissertations | 2010 |
| 39 |
 |
Morse, Michael David | Electronic spectroscopy and electronic structure of diatomic CrC | Optical spectra of jet-cooled diatomic CrC have been recorded in the near infrared region using resonant two-photon ionization spectroscopy combined with mass-selective detection of the resulting ions. Several weak transitions have been observed, along with one relatively strong band near 842 nm. Ro... | 2010 | |
| 40 |
 |
Stevens, Kenneth | Energy and performance models for synchronous and asynchronous communication | Communication costs, which have the potential to throttle design performance as scaling continues, are mathematically modeled and compared for various pipeline methodologies. First-order models are created for common pipeline protocols, including clocked flopped, clocked time-borrowing latch, async... | 2010 | |
| 41 |
 |
Scarpulla, Michael | Enhanced absorption in optically thin solar cells by scattering from embedded dielectric nanoparticles | Abstract: We present a concept for improving the efficiency of thin-film solar cells via scattering from dielectric particles. The particles are embedded directly within the semiconductor absorber material with sizes on the order of one wavelength. Importantly, this geometry is fully compatible wit... | 2010 | |
| 42 |
 |
Tasdizen, Tolga | Fast semi-supervised image segmentation by novelty selection | The goal of semi-supervised image segmentation is to obtain the segmentation from a partially labeled image. By utilizing the image manifold structure in labeled and unlabeled pixels, semi-supervised methods propagate the user labeling to the unlabeled data, thus minimizing the need for user labelin... | 2010 | |
| 43 |
 |
Love, April | From subject selectors to college and interdisciplinary teams | The renovation of the J .Willard Marriott Library, coupled with the changing responsibilities of public services librarians and the decreases in financial support, has forced librarians to evaluate their strategic alignment. The new Knowledge Commons has become the center for in-person reference and... | Subject specialists; Organization-Library; Collection Development; Outreach; Cross-disciplinary; Collaboration | 2010 |
| 44 |
 |
Arlitsch, Kenning | Future leaders' views on organizational culture | Research libraries will continue to be affected by rapid and transformative changes in information technology and the networked environment for the foreseeable future. The pace and direction of these changes will profoundly challenge libraries and their staffs to respond effectively. This paper pre... | 2010 | |
| 45 |
 |
Nicoll, Kathleen | Geobiology and sedimentology of the hypersaline Great Salt Lake, Northern Utah, USA: analogues for assessing watery environments on Mars? | The hypersaline Great Salt Lake (GSL) of northern Utah, USA is a critical regional ecosystem that has not been examined in detail from a geobiological perspective. There are presently only a handful of studies on the biota of this shallow water closed-lake system [1]. Despite interest from industrie... | 2010 | |
| 46 |
 |
Nicoll, Kathleen | Geomorphic and hazard vulnerability assessment of recent residential developments on landslide-prone terrain: the case of the Traverse Mountains, Utah, USA | Homeowners who live near or on steep slopes of the Traverse Mountains along the Wasatch front in southern Salt Lake City, Utah (USA) are at risk where development of "master-planned communities" has been permitted on known landslide deposits since 2001. Some of the largest landslides in the state o... | 2010 | |
| 47 |
 |
Nicoll, Kathleen; Chan, Marjorie A. | Geomorphic evolution of pleistocene Lake Bonneville: temporal implications for surface processes on Mars | Pleistocene Lake Bonneville of the Great Basin offers unparalleled insight into temporal constraints for understanding the development of similar analog environments and processes on Mars. The extensive and well preserved lake system exhibits many intact features that include: prominent shorelines, ... | 2010 | |
| 48 |
 |
Armentrout, Peter B. | Guided ion beam and theoretical studies of the reaction of Ag+ with CS2: gas-phase thermochemistry of AgS+ and AgCS+ and insight into spin-forbidden reactions | The gas-phase reactivity of the atomic transition metal cation, Ag+, with CS2 is investigated using guided-ion beam mass spectrometry. Endothermic reactions forming AgS+ and AgCS+ are observed but are quite inefficient. This observation is largely attributed to the stability of the closed shell Ag+(... | 2010 | |
| 49 |
 |
Armentrout, Peter B. | Guided ion beam and theoretical studies of the reaction of Ru+ with CS2 in the gas-phase: thermochemistry of RuC+, RuS+, and RuCS+ | Abstract: The gas-phase reactivity of the atomic transition metal cation, Ru+, with CS2 is investigated using guided-ion beam mass spectrometry (GIBMS). Endothermic reactions forming RuC+, RuS+, and RuCS+ are observed. Analysis of the kinetic energy dependence of the cross sections for formation of ... | 2010 | |
| 50 |
 |
Scarpulla, Michael | Heat flow model for pulsed laser melting and rapid solidification of ion implanted GaAs | In order to further understand the pulsed-laser melting (PLM) of Mn and N implanted GaAs, which we have used to synthesize thin films of the ferromagnetic semiconductor Ga1−xMnxAs and the highly mismatched alloy GaNxAs1−x, we have simulated PLM of amorphous (a-) and crystalline (c-) GaAs. We pre... | 2010 |