Institutional Repository
 
Filters: Type: "Text" School Or College: "School of Computing"
1 - 25 of 37
Number of results to display per page
TitleDateTypeSetname
1 A subdivision algorithm for computer display of curved surfaces1974Textir_etd
2 The 'test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
3 The 'Test model-checking' approach to the verification of formal memory models of multiprocessors1998Textir_uspace
4 Mining netflow records for host behaviors2018Textir_etd
5 Privacy enabled crowdsourced transmitter localization using adjusted measurements2018Textir_etd
6 Privacy-aware peak load reduction is smart homes2018Textir_etd
7 Topological analysis and visualization of mice temperature data for exploring biological events2018Textir_etd
8 Modeling nondiffeomorphic motion VIA composite deformation models2018Textir_etd
9 Improved context awareness in data-centric network management2019Textir_etd
10 Robust estimation and sketching of points, lines, trajectories, and other shapes2019Textir_etd
11 Sweetpea: toward uniform sampling for experimental design2019Textir_etd
12 Automated film direction for computer-generated discourse: planning, scheduling, and execution2019Textir_etd
13 Understanding constraints in structured prediction problems2019Textir_etd
14 Designing performant, flexible and evolvable2019Textir_etd
15 Improving automation and scalability of rigorous program reasoning2019Textir_etd
16 Evaluation and validation of off-the-shelf statistical shape modeling tools in clinical applications2019Textir_etd
17 A fully convolutional deep learning approach for using C-Band satellite radar imagery for forest biomass estimation2019Textir_etd
18 Topological data analysis for astronomical data cubes2019Textir_etd
19 Portable and performant GPU/heterogeneous asynchronous many-task runtime system2019Textir_etd
20 Corrected moran's I statistic2019Textir_etd
21 Topological models for safety analysis2019Textir_etd
22 Relating users' reported comfort, necessity, and value in vignettes of sensor-equipped environments2020Textir_etd
23 Estimating generative models for statistical shape analysis2020Textir_etd
24 Classification and regression methods for functional brain network analysis2021Textir_etd
25 Convex optimization-based structure-preserving filtering for polynomial-based numerical methods2021Textir_etd
1 - 25 of 37