• Home
  • Browse
  • Ask Us
  • Chat
  • Harmful Language Statement
  • Log in
logoUScholar Works
Advanced Search
 
Year
TO
Type
  • Text9
Format
  • application/pdf9
Collection
  • UScholar Works9
Filters: Department: "Computer Science" Format Medium: "application/pdf" Format: "application/pdf"
1 - 25 of 9
Number of results to display per page
TitleDateType
1 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Text
2 The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Text
3 3D tensor normalization for improved accuracy in DTI tensor registration methods2012-01-01Text
4 4D active cut: an interactive tool for pathological anatomy modeling2014-01-01Text
5 Brain Changes in Traumatic Brain Injury2012Text
6 Brain imaging studies: high throughput by automatic processing pipeline2012Text
7 Continuous Trajectories from Discrete Anatomical Shapes2012Text
8 Down syndrome: Bridging Genes, Brain and Cognition2012Text
9 Neuro imaging research lab2012Text
1 - 25 of 9
Marriott Digital Library Logo

J. Willard Marriott Library

295 S 1500 E
SLC UT 84112-0860

Contact Us

801.581.8558

FAX: 801.585.3464

J. Willard Marriott Library
  • Digital Library Services
  • Special Collections
  • Copyright Resources
  • Terms of Use
  • Harmful Language Statement
University of Utah Digital Projects
  • Marriott Digital Library
  • Utah Digital Newspapers
  • Digital Exhibits
  • Collections as Data
  • Digital Library News
  • USpace Institutional Repository
  • Hive Data Repository
Related Digital Library Sites
  • Partner Institutions
  • Mountain West Digital Library
  • Digital Public Library of America

Copyright © J. Willard Marriott Library. All rights reserved.

  • Privacy/
  • Nondiscrimination & Accessibility/
  • Safe U/
  • Disclaimer/
  • Policies