Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
TO
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
Type
Text
8
Format
application/pdf
8
Collection
UScholar Works
8
Filters:
Department:
"Computer Science"
Year End:
2012
1
-
25
of
8
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
The 'test model-checking' approach to the verification of formal memory models of multiprocessors
1998
Text
2
The 'Test model-checking' approach to the verification of formal memory models of multiprocessors
1998
Text
3
3D tensor normalization for improved accuracy in DTI tensor registration methods
2012-01-01
Text
4
Brain Changes in Traumatic Brain Injury
2012
Text
5
Brain imaging studies: high throughput by automatic processing pipeline
2012
Text
6
Continuous Trajectories from Discrete Anatomical Shapes
2012
Text
7
Down syndrome: Bridging Genes, Brain and Cognition
2012
Text
8
Neuro imaging research lab
2012
Text
1
-
25
of
8
