Institutional Repository
 
Filters: Format: "application/pdf" School Or College: "School of Computing"
1 - 25 of 37
Number of results to display per page
TitleDateTypeSetname
1 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
2 The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
3 A fully convolutional deep learning approach for using C-Band satellite radar imagery for forest biomass estimation2019Textir_etd
4 A lane-based approach to large-scale unmanned aircraft systems traffic management2022Textir_etd
5 A subdivision algorithm for computer display of curved surfaces1974Textir_etd
6 Algebraic reconstruction optimization through precomputation of weights matrix2021Textir_htoa
7 Asynchronous distributed }OT-Enabled customer characterization in distrubtion networks: theory and hardware implementation2021Textir_htoa
8 Automated film direction for computer-generated discourse: planning, scheduling, and execution2019Textir_etd
9 Cita a matchmaking mobile app: an analysis of why developers choose certain frameworks2021Textir_htoa
10 Classification and regression methods for functional brain network analysis2021Textir_etd
11 Convex optimization-based structure-preserving filtering for polynomial-based numerical methods2021Textir_etd
12 Corrected moran's I statistic2019Textir_etd
13 Design and control of a new class of untethered magnetic haptic display2021Textir_etd
14 Designing a large scale software application: the Histia Story2021Textir_htoa
15 Designing performant, flexible and evolvable2019Textir_etd
16 Estimating generative models for statistical shape analysis2020Textir_etd
17 Evaluation and validation of off-the-shelf statistical shape modeling tools in clinical applications2019Textir_etd
18 Explaining and evaluating the use of RDMA in high performance containers2022Textir_htoa
19 Functional validation and improvement of a low-cost control system for assistive robotic devices2022Textir_htoa
20 Game feel development analysis of student game final project2023Textir_htoa
21 How to stop AI from ruining the world: designing and pilot testing integrated al-ethics assignments2022Textir_htoa
22 Improved context awareness in data-centric network management2019Textir_etd
23 Improving automation and scalability of rigorous program reasoning2019Textir_etd
24 Mining netflow records for host behaviors2018Textir_etd
25 Modeling nondiffeomorphic motion VIA composite deformation models2018Textir_etd
1 - 25 of 37