1 - 25 of 24
Number of results to display per page
TitleDateType
1 Scalable scientific data2010-02-26Text; Image
2 Remote visualizationText; Image
3 Morse theory and its applicationText; Image
4 Image registrationText; Image
5 Infinite Zoom2010-10-06Text; Image
6 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element MethodText; Image
7 Understanding global climate changeText; Image
8 Tracing ridges on B-Spline surfaces2010-02-26Text; Image
9 Comparing program logics for reasoning about safety properties2010-10-06Text; Image
10 ABP : predictor based management of DRAM row buffers2010-10-06InteractiveResource
11 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsText; Image
12 Uintah: a massively parallel problem solving environment2000Text
13 Enhancing covert communications with multiple colluding receivers2010-10-06Text; Image
14 Finding compiler bugs with random testingText; Image
15 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text; Image
16 Computing hulls in positive definite space2010-10-06Text; Image
17 Mobility Assisted Secret Key GenerationText; Image
18 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference ResolutionText; Image
19 Matching shapes using the current distanceText; Image
20 Efficient data restructuring and aggregation for I/O acceleration in PIDX2012-01-01Text
21 Uintah parallelism infrastructure: a performance evaluation on the SGI origin 20002001Text
22 Uncertainty visualization in forward and inverse cardiac models2013-01-01Text
23 Performance analysis integration in the Uintah software development cycle2003Text
24 Characterizing growth patterns in longitudinal MRI using image contrast2014-01-01Text
1 - 25 of 24