Institutional Repository
 
Filters: Format: "application/pdf" School Or College: "School of Computing"
1 - 25 of 12
Number of results to display per page
TitleDateTypeSetname
1 A lane-based approach to large-scale unmanned aircraft systems traffic management2022Textir_etd
2 Structural rounding on a parameterized graph class using heuristics2021Textir_htoa
3 Asynchronous distributed }OT-Enabled customer characterization in distrubtion networks: theory and hardware implementation2021Textir_htoa
4 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
5 The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
6 Chop-sat in NON-Euclidean Geometry2024Textir_htoa
7 Estimating generative models for statistical shape analysis2020Textir_etd
8 Portable and performant GPU/heterogeneous asynchronous many-task runtime system2019Textir_etd
9 A fully convolutional deep learning approach for using C-Band satellite radar imagery for forest biomass estimation2019Textir_etd
10 Evaluation and validation of off-the-shelf statistical shape modeling tools in clinical applications2019Textir_etd
11 Improving automation and scalability of rigorous program reasoning2019Textir_etd
12 Normalization RNA-SEQ towards the improvement of Gene expression signatures2022Textir_etd
1 - 25 of 12