UScholar Works
 
Filters: School Or College: "Scientific Computing and Imaging Institute" Collection: "ir_uspace" Type: "Image"
1 - 25 of 17
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 Enhancing covert communications with multiple colluding receiversir_uspaceText; Image
4 Exploring Knowledge-Rich Solutions to Noun Phrase Coreference Resolutionir_uspaceText; Image
5 Finding compiler bugs with random testingir_uspaceText; Image
6 Helmholtz-Hodge Decomposition of vector fields on 2-manifoldsir_uspaceText; Image
7 Image registrationir_uspaceText; Image
8 Infinite Zoomir_uspaceText; Image
9 Matching shapes using the current distanceir_uspaceText; Image
10 Mobility Assisted Secret Key Generationir_uspaceText; Image
11 Morse theory and its applicationir_uspaceText; Image
12 Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element Methodir_uspaceText; Image
13 PUG : A Symbolic Verifier of GPU Programsir_uspaceText; Image
14 Remote visualizationir_uspaceText; Image
15 Scalable scientific datair_uspaceText; Image
16 Tracing ridges on B-Spline surfacesir_uspaceText; Image
17 Understanding global climate changeir_uspaceText; Image
1 - 25 of 17