Institutional Repository
 
Filters: Department:"Computer Science"
1 - 25 of 15
Number of results to display per page
TitleDateTypeSetname
1The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
2The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
33D tensor normalization for improved accuracy in DTI tensor registration methods2012-01-01Textir_uspace
44D active cut: an interactive tool for pathological anatomy modeling2014-01-01Textir_uspace
5A comparison of artificial intelligence techniques used for implementing non-player characters within video games2022Textir_htoa
6A reflection on work modality in the development of a mobile application2025Textir_htoa
7Brain Changes in Traumatic Brain Injury2012Textir_uspace
8Brain imaging studies: high throughput by automatic processing pipeline2012Textir_uspace
9Continuous Trajectories from Discrete Anatomical Shapes2012Textir_uspace
10Down syndrome: Bridging Genes, Brain and Cognition2012Textir_uspace
11From proprietary to portable: analyzing and standardizing quilting design file formats2025Textir_htoa
12Integrating player-centric procedural content generation in a human testing environment2025Textir_htoa
13Neuro imaging research lab2012Textir_uspace
14Towards automated tooling for disorders of consciousness: considerations and perspectives2025Textir_htoa
15The value of retrieval-augmented structured output generation in the software development process: LearnLoop case study2025Textir_htoa
1 - 25 of 15