UScholar Works
 
Filters: Department: "Computing, School of" School Or College: "Scientific Computing and Imaging Institute" Collection: ir_uspace Type: "Text"
1 - 25 of 19
Number of results to display per page
TitleSetnameType
1 Comparing program logics for reasoning about safety propertiesir_uspaceText; Image
2 Computing hulls in positive definite spaceir_uspaceText; Image
3 Efficient data restructuring and aggregation for I/O acceleration in PIDXir_uspaceText
4 Enhancing covert communications with multiple colluding receiversir_uspaceText; Image
5 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference Resolutionir_uspaceText; Image
6 Finding compiler bugs with random testingir_uspaceText; Image
7 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsir_uspaceText; Image
8 Image registrationir_uspaceText; Image
9 Infinite Zoomir_uspaceText; Image
10 Matching shapes using the current distanceir_uspaceText; Image
11 Mobility Assisted Secret Key Generationir_uspaceText; Image
12 Morse theory and its applicationir_uspaceText; Image
13 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element Methodir_uspaceText; Image
14 PUG : A Symbolic Verifier of GPU Programsir_uspaceText; Image
15 Remote visualizationir_uspaceText; Image
16 Scalable scientific datair_uspaceText; Image
17 Tracing ridges on B-Spline surfacesir_uspaceText; Image
18 Uncertainty visualization in forward and inverse cardiac modelsir_uspaceText
19 Understanding global climate changeir_uspaceText; Image
1 - 25 of 19