UScholar Works
 
Filters: Department: "Computing, School of" Format: "application/pdf" School Or College: "Scientific Computing and Imaging Institute" Type: "Text"
1 - 25 of 19
Number of results to display per page
TitleDateType
1 Comparing program logics for reasoning about safety properties2010-10-06Text; Image
2 Computing hulls in positive definite space2010-10-06Text; Image
3 Efficient data restructuring and aggregation for I/O acceleration in PIDX2012-01-01Text
4 Enhancing covert communications with multiple colluding receivers2010-10-06Text; Image
5 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference ResolutionText; Image
6 Finding compiler bugs with random testingText; Image
7 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsText; Image
8 Image registrationText; Image
9 Infinite Zoom2010-10-06Text; Image
10 Matching shapes using the current distanceText; Image
11 Mobility Assisted Secret Key GenerationText; Image
12 Morse theory and its applicationText; Image
13 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element MethodText; Image
14 PUG : A Symbolic Verifier of GPU Programs2010-10-06Text; Image
15 Remote visualizationText; Image
16 Scalable scientific data2010-02-26Text; Image
17 Tracing ridges on B-Spline surfaces2010-02-26Text; Image
18 Uncertainty visualization in forward and inverse cardiac models2013-01-01Text
19 Understanding global climate changeText; Image
1 - 25 of 19