TO
Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 376 |
 | Couldwell, William T. | Surgical approaches for resection of vestibular schwannomas: Translabyrinthine, retrosigmoid, and middle fossa approaches | Surgical removal remains one of the key treatment modalities for vestibular schwannomas. A team approach between a neurotologist and a neurosurgeon offers the patient the expertise of both specialties and maximizes the chances for an optimal outcome. Vestibular schwannomas can typically be resected ... | 2012-01-01 | |
| 377 |
 | Regehr, John | Swarm testing | Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detection. In swarm testing, the usual practice of potentially including all features in every test case is abandoned. Rather,... | 2012-01-01 | |
| 378 |
 | Henderson, Thomas C. | Target-directed navigation using wireless sensor networks and implicit surface interpolation | Abstract-This paper extends the novel research for event localization and target-directed navigation using a deployed wireless sensor network (WSN) [4]. The goal is to have an autonomous mobile robot (AMR) navigate to a target-location by: (i) producing an artificial magnitude distribution within th... | 2012-01-01 | |
| 379 |
 | Marcus, Robin | Targeting anabolic impairment in response to resistance exercise in older adults with mobility impairments: potential mechanisms and rehabilitation approaches | Muscle atrophy is associated with healthy aging (i.e., sarcopenia) and may be compounded by comorbidities, injury, surgery, illness, and physical inactivity. While a bout of resistance exercise increases protein synthesis rates in healthy young skeletal muscle, the effectiveness of resistance exerci... | 2012-01-01 | |
| 380 |
 | Scarpulla, Michael | Temperature dependent conductivity of polycrystalline Cu 2ZnSnS 4 thin films | The temperature-dependent conductivity of Cu2ZnSnS4 (CZTS) thin films prepared by sulfurization of different sputtered ZnS/Cu/Sn stacks and also of the same stack annealed for different times was investigated from 30-300 K. Fitting of the through-thickness conductivity requires a model including Mot... | 2012-01-01 | |
| 381 |
 | Regehr, John | Test-case reduction for C compiler bugs | To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing substrings of the original input; the result is a concatenation of substrings that delta cannot remove. We have found this... | 2012-01-01 | |
| 382 |
 | Regehr, John | Testing static analyzers with randomly generated programs | Static analyzers should be correct. We used the random C-program generator Csmith, initially intended to test C compilers, to test parts of the Frama-C static analysis platform. Although Frama-C was already relatively mature at that point, fifty bugs were found and fixed during the process, in the f... | 2012-01-01 | |
| 383 |
 | Armentrout, Peter B. | Thermodynamics and mechanisms of protonated diglycine decomposition: a guided ion beam study | We present a full molecular description of fragmentation reactions of protonated diglycine (H+GG) by studying their collision-induced dissociation (CID) with Xe using a guided ion beam tandem mass spectrometer (GIBMS). Analysis of the kinetic energy-dependent CID cross sections provides the 0 K barr... | 2012-01-01 | |
| 384 |
 | Armentrout, Peter B. | Thermodynamics and mechanisms of protonated diglycine decomposition: a computational study | We present a full computational description of the fragmentation reactions of protonated diglycine (H+GG). Relaxed potential energy surface scans performed at B3LYP/6-31G(d) or B3LYP/6-311+G(d,p) levels are used to map the reaction coordinate surfaces and identify the transition states (TSs) and int... | 2012-01-01 | |
| 385 |
 | Pascucci, Valerio | Topological analysis and visualization of cyclical behavior in memory reference traces | We demonstrate the application of topological analysis techniques to the rather unexpected domain of software visualization. We collect a memory reference trace from a running program, recasting the linear flow of trace records as a high-dimensional point cloud in a metric space. We use topological ... | 2012-01-01 | |
| 386 |
 | Liu, Feng | Topological and electronic transitions in a Sb(111) nanofilm: the interplay between quantum confinement and surface effect | When the dimension of a solid structure is reduced, there will be two emerging effects, quantum confinement and surface effect, which dominate at nanoscale. Based on first-principles calculations, we demonstrate that due to an intriguing interplay between these two dominating effects, the topologica... | 2012-01-01 | |
| 387 |
 | Gerig, Guido | Topology preserving atlas construction from shape data without correspondence using sparse parameters | Statistical analysis of shapes, performed by constructing an atlas composed of an average model of shapes within a population and associated deformation maps, is a fundamental aspect of medical imaging studies. Usual methods for constructing a shape atlas require point correspondences across subject... | 2012-01-01 | |
| 388 |
 | Pascucci, Valerio | Topology verification for isosurface extraction | The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topological properties. Specifically, we use stratified Morse theory and digital topology to design algorithms which verify topolog... | 2012-01-01 | |
| 389 |
 | Wen, Ming | Trans-local ties, local ties and psychological well-being among rural-to-urban migrants in Shanghai | During the past three decades, an estimated 200 million rural residents have moved to urban centers in China. They are "sojourners" in the cities and maintain close ties with their home communities, which we term trans-local ties. This paper examines the relationship between migrants' social ties an... | 2012-01-01 | |
| 390 |
 | Golden, Kenneth M. | Transition in the fractal geometry of Arctic melt ponds | During the Arctic melt season, the sea ice surface undergoes a remarkable transformation from vast expanses of snow covered ice to complex mosaics of ice and melt ponds. Sea ice albedo, a key parameter in climate modeling, is determined by the complex evolution of melt pond configurations. In fact, ... | 2012-01-01 | |
| 391 |
 | Couldwell, William T. | Transnasal excerebration surgery in ancient Egypt: Historical vignette | Ancient Egyptians were pioneers in many fields, including medicine and surgery. Our modern knowledge of anatomy, pathology, and surgical techniques stems from discoveries and observations made by Egyptian physicians and embalmers. In the realm of neurosurgery, ancient Egyptians were the first to elu... | 2012-01-01 | |
| 392 |
 | Thalos, Mariam | Truth deserves to be believed. | 2012-12-01 | ||
| 393 |
 | Thalos, Mariam | Truth deserves to be believed. | 2012-12-01 | ||
| 394 |
 | Dwight, Zachary Lawrence | uAnalyze: web-based high-resolution DNA melting analysis with comparison to thermodynamic predictions | Abstract-uAnalyzeSM is a web-based tool for analyzing high-resolution melting data of PCR products. PCR product sequence is input by the user and recursive nearest neighbor thermodynamic calculations used to predict a melting curve similar to uMELT (http://www.dna.utah.edu/umelt/umelt.html). Unproce... | 2012-01-01 | |
| 395 |
 | Berzins, Martin | Uintah hybrid task-based parallelism algorithm | Abstract-Uintah is a software framework that provides an environment for solving large-scale science and engineering problems involving the solution of partial differential equations. Uintah uses a combination of fluid-flow solvers and particle-based methods for solids, together with adaptive meshin... | 2012-01-01 | |
| 396 |
 | Symko, Orest George | Ultrasonic thermoacoustic energy converter | Thermoacoustic prime movers have been developed for operation in the low ultrasonic frequency range by scaling down the device size. The developed engines operate at frequencies up to 23 kHz. They are self-sustained oscillators whose dimensions scale inversely with operating frequency. The smallest ... | 2012-01-01 | |
| 397 |
 | Christensen, Douglas A. | Ultrasound beam simulations in inhomogeneous tissue geometries using the hybrid angular spectrum method | The angular spectrum method is a fast, accurate and computationally efficient method for modeling wave propagation. However, the traditional angular spectrum method assumes that the region of propagation has homogenous properties. In this paper, the angular spectrum method is extended to calculate u... | 2012-01-01 | |
| 398 |
 | Jorgensen, Erik | UNC-41/stonin functions with AP2 to recycle synaptic vesicles in Caenorhabditis elegans | The recycling of synaptic vesicles requires the recovery of vesicle proteins and membrane. Members of the stonin protein family (Drosophila Stoned B, mammalian stonin 2) have been shown to link the synaptic vesicle protein synaptotagmin to the endocytic machinery. Here we characterize the unc-41 gen... | 2012-01-01 | |
| 399 |
 | Frederick, Jeanne M. | Uncoordinated (UNC)119: Coordinating the trafficking of myristoylated proteins | The mechanism by which myristoylated proteins are targeted to specific subcellular membrane compartments is poorly understood. Two novel acyl-binding proteins, UNC119A and UNC119B, have been shown recently to function as chaperones/co-factors in the transport of myristoylated G protein a-subunits an... | 2012-01-01 | |
| 400 |
 | Regehr, John | Understanding integer overflow in C/C++ | Integer overflow bugs in C and C++ programs are difficult to track down and may lead to fatal errors or exploitable vulnerabilities. Although a number of tools for finding these bugs exist, the situation is complicated because not all overflows are bugs. Better tools need to be constructed-but a tho... | 2012-01-01 |