Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
2010
2011
2012
2013
TO
2010
2011
2012
2013
Type
Text
19
Image
17
InteractiveResource
1
Format
application/pdf
20
Collection
UScholar Works
20
Filters:
Department:
"Computing, School of"
School Or College:
"Scientific Computing and Imaging Institute"
1
-
25
of
20
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Date
Type
1
ABP : predictor based management of DRAM row buffers
2010-10-06
InteractiveResource
2
Comparing program logics for reasoning about safety properties
2010-10-06
Text; Image
3
Computing hulls in positive definite space
2010-10-06
Text; Image
4
Efficient data restructuring and aggregation for I/O acceleration in PIDX
2012-01-01
Text
5
Enhancing covert communications with multiple colluding receivers
2010-10-06
Text; Image
6
Exploring Knowledge-Rich Solutions to Noun Phrase Coreference Resolution
Text; Image
7
Finding compiler bugs with random testing
Text; Image
8
Helmholtz-Hodge Decomposition of vector fields on 2-manifolds
Text; Image
9
Image registration
Text; Image
10
Infinite Zoom
2010-10-06
Text; Image
11
Matching shapes using the current distance
Text; Image
12
Mobility Assisted Secret Key Generation
Text; Image
13
Morse theory and its application
Text; Image
14
Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element Method
Text; Image
15
PUG : A Symbolic Verifier of GPU Programs
2010-10-06
Text; Image
16
Remote visualization
Text; Image
17
Scalable scientific data
2010-02-26
Text; Image
18
Tracing ridges on B-Spline surfaces
2010-02-26
Text; Image
19
Uncertainty visualization in forward and inverse cardiac models
2013-01-01
Text
20
Understanding global climate change
Text; Image
1
-
25
of
20