Institutional Repository
 
Filters: Department:"Computer Science"
1 - 25 of 17
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
7Being agile: how agile impacted the development of passenger pilot2025Textir_htoa
8Brain Changes in Traumatic Brain Injury2012Textir_uspace
9Brain imaging studies: high throughput by automatic processing pipeline2012Textir_uspace
10Continuous Trajectories from Discrete Anatomical Shapes2012Textir_uspace
11Down syndrome: Bridging Genes, Brain and Cognition2012Textir_uspace
12From proprietary to portable: analyzing and standardizing quilting design file formats2025Textir_htoa
13Integrating player-centric procedural content generation in a human testing environment2025Textir_htoa
14Neuro imaging research lab2012Textir_uspace
15Towards automated tooling for disorders of consciousness: considerations and perspectives2025Textir_htoa
16Tunetalker process and development of a modern web APP2025Textir_htoa
17The value of retrieval-augmented structured output generation in the software development process: LearnLoop case study2025Textir_htoa
1 - 25 of 17