Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 26 |
 |
Fletcher, Thomas H. | On relating brain shape with neurological disorders | 2012 | ||
| 27 |
 |
Whitaker, Ross T. | Realtime image denoising of fluoroscopy images for Dose Reduction | 2012 | ||
| 28 |
 |
Fletcher, Thomas H. | Analysis of human brain connectivity from multi-modal imaging | 2012 | ||
| 29 |
 |
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 | |
| 30 |
 |
Gerig, Guido | Neuro imaging research lab | 2012 | ||
| 31 |
 |
Gerig, Guido | Down syndrome: Bridging Genes, Brain and Cognition | 2012 | ||
| 32 |
 |
Awasthi, Manu; Nellans, David W.; Sudan, Kshitij; Balasubramonian, Rajeev | ABP : predictor based management of DRAM row buffers | DRAM accesses are costly, especially in multicore systems. Future CMPs will run a mixed load of workloads/threads. Destructive interference at memory controller, spatio-temporal locality lost! DRAM row-buffer hits are least expensive, row-conflicts are most. Randomized memory access patterns re... | 2010-10-06 | |
| 33 |
 |
Gerig, Guido | Brain Changes in Traumatic Brain Injury | 2012 | ||
| 34 |
 |
Gerig, Guido | Continuous Trajectories from Discrete Anatomical Shapes | 2012 | ||
| 35 |
 |
Bhatia, Harsh; Jadhav, Shreeraj Digambar; Norgard, Greg; Bremer, Peer-Timo; Pascucci, Valerio | Helmholtz-Hodge Decomposition of vector fields on 2-manifolds | A Morse-like Decomposition ? - Morse-Smale decomposition for gradient (of scalar) fields is an interesting way of decomposing the domain into regions of unidirectional flow (from a source to a sink ). - But works for gradient fields, which are conservative (irrotational), only. - Can such a de... | ||
| 36 |
 |
Pascucci, Valerio | Hybrid Computing for HPC Applications | 2012 | ||
| 37 |
 |
De St Germain, John Davison; Parker, Steven G.; Johnson, Christopher R. | Uintah: a massively parallel problem solving environment | This paper describes Uintah, a component-based visual problem solving environment (PSE) that is designed to specifically address the unique problems of massively parallel computation on terascale computing platforms. Uintah supports the entire life cycle of scientific applications by allowing scient... | Uintah; Problem solving environment; Computational steering; Parallel computers | 2000 |
| 38 |
 |
Pascucci, Valerio | Extreme-scale visual analytics | The September/October 2004 CG&A introduced the term visual analytics (VA) to the computer science literature.1 In 2005, an international advisory panel with representatives from academia, industry, and government defined VA as "the science of analytical reasoning facilitated by interactive visual in... | 2012-01-01 | |
| 39 |
 |
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 | |
| 40 |
 |
Awate, Suyash P | Fast shape-based nearest-neighbor search for brain MRIs using hierarchical feature matching | 2011-09-14 | ||
| 41 |
 |
Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, John | Finding compiler bugs with random testing | Undefined behavior (such as divide by 0) or unspecified behavior (such as order of evaluation) gives compilers freedom to diverge, causing failure to our voting mechanism Control Flow Analysis • a control flow analyzer that can handle abnormal edges created by jump statements (goto / break ... | ||
| 42 |
 |
Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert Michael Ii | PUG : A Symbolic Verifier of GPU Programs | PUG is a automated verifier for GPU programs written in C/CUDA. PUG verifies GPU kernels for Data Races, Barrier mismatches, Totally wrong results, and Weak memory model related bugs. SMT-based correctness checking methods for these error are often more scalable, general and modular. | 2010-10-06 | |
| 43 |
 |
Harris, Michael D. | Subject-specific computational modeling of normal and dysplastic hips | 2012 | ||
| 44 |
 |
Beazley, David. M. | A wrapper generation tool for the creation of scriptable scientific applications | In recent years, there has been considerable interest in the use of scripting languages as a mechanism for controlling and developing scientific software. Scripting languages allow scientific applications to be encapsulated in an interpreted environment similar to that found in commercial scientific... | 1998 | |
| 45 |
 |
Pascucci, Valerio | Adaptive sampling with topological scores | 2012 | ||
| 46 |
 |
Vardhan, Avantika | Segmenting the Invisible : Processing 4D Image Data | 2012 | ||
| 47 |
 |
Macleod, Robert S. | Sensitivity of epicardial electrical markers to acute ischemia detection | Introduction: We hypothesize that electrocardiographic measurements from the intramyocardial space contain more sensitive markers of ischemia than those detectable on the epicardium. The goal of this study was to evaluate different electrical markers for their potential to detect the earliest phases... | 2014-01-01 | |
| 48 |
 |
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 | |
| 49 |
 |
Hansen, Charles D. | Using Depth Perception to Enhance Volume Rendering | 2012 | ||
| 50 |
 |
Hansen, Charles D. | Graphics applications for grid computing | The first article, "Enabling View-Dependent Progressive Volume Visualization on the Grid" by Alan Norton and Alyn Rockwood describes and evaluates the communication in a progressive, visibility-driven compression scheme for distributing volumetric data from grid resources to volume-rendering clien... | Grid computing | 2003-03 |