Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 501 |
 |
Kirby, Robert Michael | Verifying volume rendering using discretization error analysis | We propose an approach for verification of volume rendering correctness based on an analysis of the volume rendering integral, the basis of most DVR algorithms. With respect to the most common discretization of this continuous model (Riemann summation), we make assumptions about the impact of parame... | 2014-01-01 | |
| 502 |
 |
McLennan, John | Final Report Geothermal Battery Energy Storage | Solar and wind power are being introduced into electric grids to supplement and replace conventional electricity production. The deployment of utility-scale storage has not kept pace to overcome the intermittent nature of solar and to a lesser extent wind. Large-scale energy storage is cur... | 2020-06 | |
| 503 |
 |
Gerig, Guido | Discordance of prenatal and neonatal brain development in twins | Background: Discordance of birth weight has been observed in twin pairs, though little is known about prenatal and early neonatal discordance of head and brain size, and the role that zygosity and chorionicity play in discordances of early brain development in twins. Aims: To compare prenatal and ne... | 2009-01-01 | |
| 504 |
 |
Bernstein, Paul S. | Evaluation of the G protein coupled receptor-75 (GPR75) in age related macular degeneration | 2001 | ||
| 505 |
 |
Chandran, Ravi | Evolution of microstructure and phases in in-situ processed Ti-TiB composites containing high volume fractions of TiB whiskers | A series of titanium composites, with varying volume fractions of titanium monoboride (TiB) whiskers, were made by mixing various proportions of titanium (Ti) and titanium diboride (TiB2) powders followed by hot pressing. The phases present were identified by x-ray diffraction. | Morphology; diffraction; relative intensity | 1999 |
| 506 |
 |
Lupton, John Mark | Exciton storage in CdSe/CdS tetrapod semiconductor nanocrystals: electric field effects on exciton and multiexciton states | CdSe/CdS nanocrystal tetrapods are interesting building blocks for excitonic circuits, where the flow of excitation energy is gated by an external stimulus. The physical morphology of the nanoparticle, along with the electronic structure, which favors electron delocalization between the two semicond... | 2012-01-01 | |
| 507 |
 |
Hawkes, Kristen | Hadza scavenging: implications for Plio/Pleistocene Hominid subsistence | The frequent association of stone tools and large animal bones in African Plio/Pleistocene archaeological sites has long been taken as evidence of the importance of hunting in early hominid diets. Many now argue that it reflects hominid scavenging, not hunting. | Hadza; Scavenging; Plio/Pleistocene; Hominid Diet | 1988-04 |
| 508 |
 |
Codding, Brian F. | Interpreting abundance indices: some zooarchaeological implications of Martu foraging | Indices of taxonomic abundance are commonly used by zooarchaeologists to examine resource inten sification, overexploitation and gender divisions in foraging labor. The original formulation of abundance indices developed a clear interpretive framework by linking the measure with foraging models from... | Human behavioral ecology; Zooarchaeology; Ethnoarchaeology; Resource intensification; Gender division of labor; Western Australia | 2010-07-20 |
| 509 |
 |
Wu, Yong-Shi | On gauge invariance of noncommutative Chern-Simons theories | Motivated by possible applications to condensed matter systems, in this paper we construct U(N) noncommutative Chern-Simons (NCCS) action for a disc and for a double-layer geometry, respectively. In both cases, gauge invariance severely constrains the form of the NCCS action. In the first case, it ... | 2002-05 | |
| 510 |
 |
Venkatasubramanian, Suresh | Sensor network localization for moving sensors | Sensor network localization (SNL) is the problem of determining the locations of the sensors given sparse and usually noisy inter-communication distances among them. In this work we propose an iterative algorithm named PLACEMENT to solve the SNL problem. This iterative algorithm requires an initial ... | 2012-01-01 | |
| 511 |
 |
Vardeny, Zeev Valentine | Spin dynamics in organic spin valves based on La⅔Sr⅓MnO3 electrodes | We fabricated spin-valve devices made of organic semiconductor thin films sandwiched between ferromagnetic half-metal La2/3Sr1/3MnO3 (LSMO) and cobalt electrodes, using three different organic molecules. Subsequently, we studied the spin injection and transport properties by measuring the device mag... | Spin dynamics; Organic spin-valves; Spin response; OSEC | 2007-06 |
| 512 |
 |
Slind, Konrad Lee | Emerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2004 | This volume constitutes the proceedings of the Emerging Trends track of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. The TPHOLs conference covers all aspects of theorem proving in higher order logics ... | Theorem proving; Higher order logics | 2004-08 |
| 513 |
 |
Baehr, Wolfgang | Cloning and molecular characterization of cGMP-gated ion channels from rod and cone photoreceptors of striped bass ( M. saxatilis ) retina | Vertebrate photoreceptors respond to light with changes in membrane conductance that reflect the activity of cyclic-nucleotide gated channels (CNG channels). The functional features of these channels differ in rods and cones; to understand the basis of these differences we cloned CNG channels from t... | Amino Acid Sequence; Computational Biology; Reverse Transcriptase Polymerase Chain Reaction | 2006 |
| 514 |
 |
Yu, Zhou | Heterogeneity in Asian American homeownership: the impact of household endowments and immigrant status | Recently, research has begun to investigate the reasons for differences in homeownership rates between Asian and whites. This paper extends this research by examining the heterogeneity that exists across Asian groups in the United States. We find that there are important differences across geog... | Immigrants; Homeownership | 2003 |
| 515 |
 |
Balasubramonian, Rajeev | Scalable, reliable, power-efficient communication for hardware transactional memory | In a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. This is especially true for a large-scale distributed memory system where multiple transactions may attempt to commit simultaneously and co-ordin... | Hardware; Transactional memory; Communication | 2008 |
| 516 |
 |
Ramachandran, Vandana | Clicks to conversion: the value of product information and price incentives | This study uses clickstream data obtained from a large online durable goods retailer to examine how different types of information - product-related and price-related information provided by retailers - impact purchase-related outcomes for consumers. Using mixture-modeling techniques to analyze late... | 2010-01-01 | |
| 517 |
 |
Sung, Younghoon; Kondo, Douglas Gavin; Jeong, Eun-Kee; Renshaw, Perry Franklin | Review: magnetic resonance spectroscopy studies of pediatric major depressive disorder | Introduction. This paper focuses on the application of Magnetic Resonance Spectroscopy (MRS) to the study of Major Depressive Disorder (MDD) in children and adolescents. Method. A literature search using the National Institutes of Health?s PubMed database was conducted to identify indexed peer-revie... | 2011 | |
| 518 |
 |
Behle, William H. | The birds of Southeastern Utah | Southeastern Utah is a rugged and colorful portion of the state. As a part of the Colorado Plateau Physiographic Province it is characterized by an arid climate, multicolored but mostly red sandstones, shales and limestones, weathered sand deep box canyons, and high, isolated, lacolithic mountain ra... | 1960-10 | |
| 519 |
 |
Hawkes, Kristen | Why hunter-gatherers work: An ancient version of the problem of public goods | From the abstract: People who hunt and gather for a living share some resources more widely than others. A favored hypothesis to explain the differential sharing is that giving up portions of large, unpredictable resources obligates others to return shares of them later, reducing everyone's variance... | Hunter-gatherer societies; Public goods | 2001-08 |
| 520 |
 |
Lenart, Joshua B. | A Feasibility Study of a Transfer of Federal Lands: Assessing the Triple Bottom Line | This feasibility study identifies various aspects of the proposed transfer of public federal lands to individual states by characterizing the most significant challenges that the transfer entails for civil and environmental engineers. | 2016 | |
| 521 |
 |
Gopalakrishnan, Ganesh | A general compositional approach to verifying hierarchical cache coherence protocols | Modern chip multiprocessor (CMP) cache coherence protocols are extremely complex and error prone to design. Modern symbolic methods are unable to provide much leverage for this class of examples. In [1], we presented a method to verify hierarchical and inclusive versions of these protocols using ... | Hierarchical cache coherence protocols; Verification | 2006-11-26 |
| 522 |
 |
Williams, Clayton C. | Advances in experimental technique for quantitative two dimensional dopant profiling by scanning capacitance microscopy | Several advances have been made toward the achievement of quantitative two-dimensional dopant and carrier profiling. To improve the dielectric and charge properties of the oxide-silicon interface, a method of low temperature heat treatment has been developed which produces an insulating layer with c... | Doping; Scanning capacitance microscope; SCM | 1999 |
| 523 |
 |
Stevens, Kenneth | Algorithms for MIS vector generation and pruning | Ignoring the effect of simultaneous switching for logic gates causes silicon failures for high performance microprocessor designs. The main reason to omit this effect is the run time penalty and potential over-conservatism. Run times are directly proportional to the vector sizes. Efficient algorithm... | 2006 | |
| 524 |
 |
Coley, Phyllis D.; Lokvam, John; Kursar, Thomas A. | Allelochemic function for a primary metabolite: the case of L-tyrosine hyper-production in Inga umbellifera (Fabaceae) | Young leaves of tropical forest trees experience far higher herbivory pressure than mature leaves of the same species. Selection on young leaves has led to diverse forms of defense chemical expression. Though most allelochemicals are secondary metabolites, allelochemic function for a primary metabol... | 5-amino-4-hydroxy-pentanoic acid; Panama; Barro Colorado Island; Fabaceae; Inga umbellifera; Primary metabolite; Heliothis virescens | 2006 |
| 525 |
 |
Gopalakrishnan, Ganesh | An interface aware guided search method for error-trace justification in large protocols | Many complex concurrent protocols that cannot be formally verified due to state explosion can often be formally verified by initially creating a collection of abstractions (overapproximations), and subsequently refining the overapproximated protocol in response to spurious counterexample traces. ... | Concurrent protocols; Verification; Error-trace justification | 2008 |