|
|
Title | Date | Type | Setname |
| 1 |
 |
3-D design of free-form B-spline Surfaces | 1974 | Text | ir_etd |
| 2 |
 |
A collective approach to harness idle resources of end nodes | 2011-08 | Text | ir_etd |
| 3 |
 |
A composable static analysis framework for program analysis | 2016 | Text | ir_etd |
| 4 |
 |
A Framework for creative visualization-oppourtunities workshops | 2019 | Text | ir_etd |
| 5 |
 |
A fully convolutional deep learning approach for using C-Band satellite radar imagery for forest biomass estimation | 2019 | Text | ir_etd |
| 6 |
 |
A GPU-based maximal independent set aggregation strategy: algorithms, comparisons, and applications withing algebraic multigrid | 2014-08 | Text | ir_etd |
| 7 |
 |
A lane-based approach to large-scale unmanned aircraft systems traffic management | 2022 | Text | ir_etd |
| 8 |
 |
A program logic and its application in fully verified software fault isolation | 2012-08 | Text | ir_etd |
| 9 |
 |
A scalable and tunable adaptive resolution parallel i/o framework | 2016 | Text | ir_etd |
| 10 |
 |
A subdivision algorithm for computer display of curved surfaces | 1974 | Text | ir_etd |
| 11 |
 |
Abstractions and strategies for adaptive programming | 2016 | Text | ir_etd |
| 12 |
 |
Accent classification: learning a distrance metric over phonetic strings | 2013-12 | Text | ir_etd |
| 13 |
 |
Accurate and interactive visualization of high-order finite element fields | 2012-08 | Text | ir_etd |
| 14 |
 |
Acquiring knowledge for affective state recognition in social media | 2016 | Text | ir_etd |
| 15 |
 |
Adaptive model-predictive control and 3d acoustic radiation force imaging for the improvement of magnetic resonance-guided focused ultrasound therapies | 2015 | Text | ir_etd |
| 16 |
 |
Advanced methods for controlling untethered magnetic devices using rotating magnetic fields | 2014-08 | Text | ir_etd |
| 17 |
 |
Affective polarity recognition and human needs categorization for affective events | 2018 | Text | ir_etd |
| 18 |
 |
Agile in the Wild - An in-Depth look into EAE Student Development Practice | 2019 | Text | ir_htoa |
| 19 |
 |
Algorithms and coresets for large-scale kernel smoothing | 2017 | Text | ir_etd |
| 20 |
 |
An evaluation of the quality of contemporary ray tracing methods on architectural materials | 2009-05 | Text | ir_htoa |
| 21 |
 |
An integrated compiler and runtime framework for sparse matrix codes | 2016 | Text | ir_etd |
| 22 |
 |
Analysis-aware higher order smooth three-dimensional representations: creation, simulation and visualization | 2012-05 | Text | ir_etd |
| 23 |
 |
Application binary interface compatability through a customizable language | 2011-12 | Text | ir_etd |
| 24 |
 |
Applications of spline manifolds to problems in modeling, rendering, and analysis | 2013-05 | Text | ir_etd |
| 25 |
 |
Artist-guided physics-based animation | 2015 | Text | ir_etd |
| 26 |
 |
Auto-tuning methods for scaling resources in networks and cloud-based systems | 2019 | Text | ir_etd |
| 27 |
 |
Automated film direction for computer-generated discourse: planning, scheduling, and execution | 2019 | Text | ir_etd |
| 28 |
 |
Automatic catalog construction for product search engines | 2011-12 | Text | ir_etd |
| 29 |
 |
Automatic markup of neural cell membranes using boosted decision stumps | 2010 | Text | ir_etd |
| 30 |
 |
Bayesian models on manifolds for image registration and statistical shape analysis | 2016 | Text | ir_etd |
| 31 |
 |
Blue noise virtual point lights for global illumination | 2017 | Text | ir_etd |
| 32 |
 |
Bounds for nearest neighbor algorithms and embeddings | 2016 | Text | ir_etd |
| 33 |
 |
The Cabal reflection: A post mortem of an entertainment arts and engineering capstone project | 2015-08 | Text | ir_htoa |
| 34 |
 |
Cenet-- capability enabled networking: towards least-privileged networking | 2015 | Text | ir_etd |
| 35 |
 |
Classification and regression methods for functional brain network analysis | 2021 | Text | ir_etd |
| 36 |
 |
Cloud modeling and rendering | 2007-04-05 | Text | ir_etd |
| 37 |
 |
Coarse tetrahedral meshing for interactive simulation | 2013-05 | Text | ir_etd |
| 38 |
 |
CoGenE: an automated design framework for domain-specific architectures | 2012-12 | Text | ir_etd |
| 39 |
 |
Community-affinity: measuring strength of memberships of nodes in network communities | 2015 | Text | ir_etd |
| 40 |
 |
Compiler optimizations and autotuning for stencils and geometric multigrid | 2016 | Text | ir_etd |
| 41 |
 |
Computer display of curved surfaces | 1978 | Text | ir_etd |
| 42 |
 |
Computer-assisted approaches to intrafascicular multielectrode stimulation | 2014-05 | Text | ir_etd |
| 43 |
 |
Concept aware co-occurrence and its applications | 2015-08 | Text | ir_etd |
| 44 |
 |
Consistent feature extraction from vector fields: combinatorial representations and analysis under local reference frames | 2015-05 | Text | ir_etd |
| 45 |
 |
Consistent representation of two-dimensional flow | 2012-08 | Text | ir_etd |
| 46 |
 |
Control of spatial and temporal fidelity with adaptive sampling | 2011-05 | Text | ir_etd |
| 47 |
 |
Corrected moran's I statistic | 2019 | Text | ir_etd |
| 48 |
 |
Course transformation: content, structure and effectiveness analysis | 2016 | Text | ir_etd |
| 49 |
 |
Critical Reroute | 2018 | Text | ir_htoa |
| 50 |
 |
Critical reroute: A practical approach to network flow prioritization using segment routing | 2019 | Text | ir_etd |
| 51 |
 |
CS1 pedagogical approach to parallel thinking | 2010-08 | Text | ir_etd |
| 52 |
 |
CUDA-CHiLL: a programming language interface for GPGPU optimizations and code generation | | | ir_etd |
| 53 |
 |
Data analysis and visualization using basis selection for matrix approximation | 2017 | Text | ir_etd |
| 54 |
 |
Data placement for efficient main memory access | 2013-05 | Text | ir_etd |
| 55 |
 |
Data scalable approach for identifying correlation in large and multidimensional data | 2017 | Text | ir_etd |
| 56 |
 |
Debugging with Domain-specific Events via Macros | 2017 | Text | ir_etd |
| 57 |
 |
Defining learning: mystifying machine learning as a powerful tool in a data-driven world | 2016-04 | Text | ir_htoa |
| 58 |
 |
Deformation embedding for point-based elastoplastic simulation | 2012-08 | Text | ir_etd |
| 59 |
 |
Deidtect - distributed elastic intrusion detection architecture | 2016 | Text | ir_etd |
| 60 |
 |
Depth-based visualizations for ensemble data and graphs | 2018 | Text | ir_etd |
| 61 |
 |
The design activity framework: investigating the data visualization design process | 2017 | Text | ir_etd |
| 62 |
 |
Design and control of a new class of untethered magnetic haptic display | 2021 | Text | ir_etd |
| 63 |
 |
Design and implementation of a mobile wireless sensor network testbed | 2010-04-15 | Text | ir_etd |
| 64 |
 |
Design and optimization of hardware accelerators for deep learning | 2018 | Text | ir_etd |
| 65 |
 |
Designing a parallel dataflow architecture for streaming large-scale visualization on heterogeneous platforms | 2011-08 | Text | ir_etd |
| 66 |
 |
Designing efficient memory for future computing systems | 2012 | Text | ir_etd |
| 67 |
 |
Designing efficient memory for future computing systems | 2012-05 | Text | ir_etd |
| 68 |
 |
Designing efficient memory schedulers for future systems | 2013-12 | Text | ir_etd |
| 69 |
 |
Designing performant, flexible and evolvable | 2019 | Text | ir_etd |
| 70 |
 |
Detecting and mitigating malware in virtual appliances | 2014-12 | Text | ir_etd |
| 71 |
 |
Detecting and tracking human motion in variance-based radio tomography imaging | 2013-05 | Text | ir_etd |
| 72 |
 |
Detecting potential lensed galaxies behind foreground Galaxy targets using machine learning techniques | 2018 | Text | ir_etd |
| 73 |
 |
Detecting secrets in source code: using machine learning to reduce false positives | 2019 | Text | ir_etd |
| 74 |
 |
Deterministic systems analysis | 2013-05 | Text | ir_etd |
| 75 |
 |
Development of a nonlinear finite element code for computational biomechanics and biophysics | 2017 | Text | ir_etd |
| 76 |
 |
Direct equivalence testing of embedded software | 2011-08 | Text | ir_etd |
| 77 |
 |
Distributed friend-to-friend framework and services using social networks | 2012-12 | Text | ir_etd |
| 78 |
 |
Distributed sensing and computing in wireless networks | 2017 | Text | ir_etd |
| 79 |
 |
Dual streaming for hardware-accelerated Ray Tracing | 2019 | Text | ir_etd |
| 80 |
 |
Effect of animated self-avatar in virtual environments | 2013-08 | Text | ir_etd |
| 81 |
 |
Efficient dynamic verification algorithms for MPI applications | 2010 | Text | ir_etd |
| 82 |
 |
Efficient floating-point error testing and rigorous mixed precision tuning | 2016 | Text | ir_etd |
| 83 |
 |
Efficient ray tracing architectures | 2015-05 | Text | ir_etd |
| 84 |
 |
Efficient summarization techniques for massive data | 2013-12 | Text | ir_etd |
| 85 |
 |
Efficient switching between WiFi and cellular networks for robust internet connectivity | 2014-08 | Text | ir_etd |
| 86 |
 |
Efficient user-level event notification | 2013-08 | Text | ir_etd |
| 87 |
 |
Emergency service in WI-FI networks without access point association | 2011-08 | Text | ir_etd |
| 88 |
 |
Enabling big memory with emerging technologies | 2016 | Text | ir_etd |
| 89 |
 |
Energy-efficient design of an asynchronous network-on-chip | 2011-08 | Text | ir_etd |
| 90 |
 |
Enhancing automatic software testing for broader applicability | 2018 | Text | ir_etd |
| 91 |
 |
Enhancing covert communications with colluding receivers | 2010 | Text | ir_etd |
| 92 |
 |
Enhancing realism and scalability in network testbeds | 2010 | Text | ir_etd |
| 93 |
 |
Enhancing reliability in device-free localization | 2011-08 | Text | ir_etd |
| 94 |
 |
Enhancing scalability and reliability in mobile core networks | 2018 | Text | ir_etd |
| 95 |
 |
Estimating generative models for statistical shape analysis | 2020 | Text | ir_etd |
| 96 |
 |
Evaluating the effectiveness of orientation indicators with an awareness of individual differences | 2010-08 | Text | ir_etd |
| 97 |
 |
Evaluation and validation of off-the-shelf statistical shape modeling tools in clinical applications | 2019 | Text | ir_etd |
| 98 |
 |
Exploiting cross layer opportunities for secrecy and efficiency in wireless networks | 2013-05 | Text | ir_etd |
| 99 |
 |
Exploiting example structure in multiple instance learning | 2011-05 | Text | ir_etd |
| 100 |
 |
Exploring bluetooth for received signal strength indicator-based secret key extraction | 2012-12 | Text | ir_etd |
| 101 |
 |
Exploring the landscape of clusterings | 2013-12 | Text | ir_etd |
| 102 |
 |
Extending Support for Floating-Points in the Boogie and Smack Software Verifiers | 2019 | Text | ir_htoa |
| 103 |
 |
Eztrust: Network independent perimeterization for microservices | 2019 | Text | ir_etd |
| 104 |
 |
Feature-aligned, semiregular, quad-only mesh generation | 2010 | Text | ir_etd |
| 105 |
 |
Finite element solutions to inverse Electrocardiography | 2012-12 | Text | ir_etd |
| 106 |
 |
Flightcontroller | 2019 | Text | ir_etd |
| 107 |
 |
Flowops: open access network management and operation | 2013-12 | Text | ir_etd |
| 108 |
 |
Fluorender, an interactive tool for confocal microscopy data visualization and analysis | 2013-08 | Text | ir_etd |
| 109 |
 |
Formal verification of device drivers in embedded systems | 2013-12 | Text | ir_etd |
| 110 |
 |
Formal verification of programs and their transformations | 2010-12 | Text | ir_etd |
| 111 |
 |
Framework and model for interactive spatiotemporal data analysis and visualization systems | 2019 | Text | ir_etd |
| 112 |
 |
Fund Raising Game Development Through Crowdfunding | 2017 | Text | ir_htoa |
| 113 |
 |
Generating audio mixtures using deep convolutional neural networks | 2016-05 | Text | ir_htoa |
| 114 |
 |
Gpu-enabled surface visualization | 2016 | Text | ir_etd |
| 115 |
 |
Harnessing GPU computing in system-level software | 2014-08 | Text | ir_etd |
| 116 |
 |
Heuristics for efficient dynamic verification of message passing interface and thread programs | 2011-05 | Text | ir_etd |
| 117 |
 |
High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas construction | 2011-08 | Text | ir_etd |
| 118 |
 |
Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environments | 2014 | Text | ir_etd |
| 119 |
 |
Illumination for Computer-Generated Images | 1973 | Text | ir_etd |
| 120 |
 |
Image correspondences from perceived motion | 2017 | Text | ir_etd |
| 121 |
 |
Image segmentation with hierarchical models | 2016 | Text | ir_etd |
| 122 |
 |
Improved context awareness in data-centric network management | 2019 | Text | ir_etd |
| 123 |
 |
Improved segmentation and analysis of white matter tracts based on adaptive geodesic tracking | 2014-05 | Text | ir_etd |
| 124 |
 |
Improving automation and scalability of rigorous program reasoning | 2019 | Text | ir_etd |
| 125 |
 |
Improving control-flow analysis of higher-order languages | 2015 | Text | ir_etd |
| 126 |
 |
Improving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case study | 2012-05 | Text | ir_etd |
| 127 |
 |
Improving information extraction by discourse-guided and multifaceted event recognition | 2014-12 | Text | ir_etd |
| 128 |
 |
Improving operating system and hardware interactions through co-design | 2014-12 | Text | ir_etd |
| 129 |
 |
Improving simulations for transcranial high-intensity focused ultrasound using the Hybrid angluar spectrum method | 2018 | Text | ir_etd |
| 130 |
 |
Improving the utility of compiler fuzzers | 2014-05 | Text | ir_etd |
| 131 |
 |
Integrating structured data on the web | 2013-05 | Text | ir_etd |
| 132 |
 |
Interactive digital photography at scale | 2013-05 | Text | ir_etd |
| 133 |
 |
Interactive visualization and exploration of feature evolution in dynamic data | 2017 | Text | ir_etd |
| 134 |
 |
Interparty visibility in a cloud computing platform | 2018 | Text | ir_etd |
| 135 |
 |
Introspective pushdown analysis and nebo | 2014-05 | Text | ir_etd |
| 136 |
 |
Investigating depth of field in volume rendering and distributed volume rendering on high performance computing systems | 2016 | Text | ir_etd |
| 137 |
 |
Iterative game development: What goes into making an effective game and the lessons learned from making two games | 2016-04 | Text | ir_htoa |
| 138 |
 |
Kernels and geometry of machine learning | 2017 | Text | ir_etd |
| 139 |
 |
Large scale system log monitoring and analysis: a data-driven approach | 2019 | Text | ir_etd |
| 140 |
 |
Large-scale distributed runtime system for dag-based computational framework | 2014-08 | Text | ir_etd |
| 141 |
 |
Large-scale in-situ topological analysis using segmented merge trees: performance, scalability, and power efficiency | 2016 | Text | ir_etd |
| 142 |
 |
Learning 3D Reconstructions for Geometrically aware Robotic Grasping | 2020 | Text | ir_htoa |
| 143 |
 |
Learning latent structures via bayesian nonparametrics: new models and efficient inference | 2013-08 | Text | ir_etd |
| 144 |
 |
Lifting Coach: Using Machine Learning to Battle Musculoskeletal Damage | 2019 | Text | ir_htoa |
| 145 |
 |
Lightweight capability domains: toward decomposing the linux kernel | 2016 | Text | ir_etd |
| 146 |
 |
Longitudinal segmentation for image sequence with appearance and shape change | 2019 | Text | ir_etd |
| 147 |
 |
Low overhead data race detection techniques for large openMP applications | 2017 | Text | ir_etd |
| 148 |
 |
Magnetic localization and closed-loop propulsion for active capsule endoscopy using a single magnetic dipole source | 2017 | Text | ir_etd |
| 149 |
 |
Making large transfers fast for in-memory databases in modern networks | 2017 | Text | ir_etd |
| 150 |
 |
Malware beaconing detection | 2018 | Text | ir_etd |
| 151 |
 |
Managing data locality in future memory hierarchies using a hardware software codesign approach | 2014-12 | Text | ir_etd |
| 152 |
 |
Managing provenance for knowledge discovery and reuse | 2012-05 | Text | ir_etd |
| 153 |
 |
Manyvis: multiple applications in an integrated visualization environment | 2015-05 | Text | ir_etd |
| 154 |
 |
Mathematical and graphical tools for the creation of computational arrays | 1981 | Text | ir_etd |
| 155 |
 |
Medial axis of regions bounded by b-spline curves and surfaces | 2011-12 | Text | ir_etd |
| 156 |
 |
Memoized parsing with derivatives | 2016-04 | Text | ir_htoa |
| 157 |
 |
Mining netflow records for host behaviors | 2018 | Text | ir_etd |
| 158 |
 |
Mobility management entity function-as-a-service | 2019 | Text | ir_etd |
| 159 |
 |
Modeling nondiffeomorphic motion VIA composite deformation models | 2018 | Text | ir_etd |
| 160 |
 |
Modeling, readering, and simulating knits | 2019 | Text | ir_etd |
| 161 |
 |
Modular radiance transfer | 2015-05 | Text | ir_etd |
| 162 |
 |
Moran's I Spacial auto-correlation and anomaly detection utilizing PCA and high dimensional feature vectors | 2017 | Text | ir_etd |
| 163 |
 |
Multicore system design with XUM: the extensible Utah multicore project | 2010 | Text | ir_etd |
| 164 |
 |
Multisite learning in medical image analysis | 2015-12 | Text | ir_etd |
| 165 |
 |
Multivariate regression of shapes via deformation momenta: application to quantifying brain atrophy in aging and dementia | 2013-12 | Text | ir_etd |
| 166 |
 |
Multivariate transfer function design | 2014-08 | Text | ir_etd |
| 167 |
 |
New approaches to quality tetrahedral mesh generation | 2015-08 | Text | ir_etd |
| 168 |
 |
New problems in exploring distributed data | 2015-05 | Text | ir_etd |
| 169 |
 |
New verification method for embedded systems | 2010-12 | Text | ir_etd |
| 170 |
 |
Normalization RNA-SEQ towards the improvement of Gene expression signatures | 2022 | Text | ir_etd |
| 171 |
 |
Numerical study and improvement of the methods in Uintah framework: the Material Point Method and the Implicit Continuous-fluid Eulerian method | 2012-12 | Text | ir_etd |
| 172 |
 |
On fast and accurate detection of unauthorized wireless access points using clock skews | 2009-05-06 | Text | ir_etd |
| 173 |
 |
On Frequent Directions, A Streaming Matrix Sketching Algorithm | 2017 | Text | ir_etd |
| 174 |
 |
Opportunities for near data computing in mapreduce workloads | 2015-05 | Text | ir_etd |
| 175 |
 |
Parallel ray tracing in scientific visualization | 2012-12 | Text | ir_etd |
| 176 |
 |
Parallel-streaming algorithms for solving partial differential equations on unstructured meshes | 2013-12 | Text | ir_etd |
| 177 |
 |
Partial-Order Ambiguous Observations of Fluents and Actions for Goal Recognition as Planning | 2020 | Text | ir_htoa |
| 178 |
 |
Performance modeling for architectural and program analysis | 2015-05 | Text | ir_etd |
| 179 |
 |
Physics-based animation of large-scale splashing liquids, elastoplastic solids, and model-reduced flow | 2014-08 | Text | ir_etd |
| 180 |
 |
Places: parallelism for racket | 2013-08 | Text | ir_etd |
| 181 |
 |
Portable and performant GPU/heterogeneous asynchronous many-task runtime system | 2019 | Text | ir_etd |
| 182 |
 |
Practical and Configurable Network Traffic Classification using Probabilistic Machine Learning | 2020 | Text | ir_htoa |
| 183 |
 |
Practical symbolic execution analysis and methodology for GPU programs | 2015-05 | Text | ir_etd |
| 184 |
 |
Prediction of microstructurally small fatigue-crack growth using data-driven analysis and machine learning | 2019 | Text | ir_etd |
| 185 |
 |
Predictive analysis of message passing applications | 2013-08 | Text | ir_etd |
| 186 |
 |
Privacy enabled crowdsourced transmitter localization using adjusted measurements | 2018 | Text | ir_etd |
| 187 |
 |
Privacy enabled noise-free data collection in vehicular networks | 2018 | Text | ir_etd |
| 188 |
 |
Privacy-aware peak load reduction is smart homes | 2018 | Text | ir_etd |
| 189 |
 |
Processing of MRI data for simulation and monitoring of drug delivery | 2009-05-06 | Text | ir_etd |
| 190 |
 |
Program analyses for resilient and approximate computation | 2016 | Text | ir_etd |
| 191 |
 |
Provenance of exploratory tasks in scientific visualization: management and applications | 2014-05 | Text | ir_etd |
| 192 |
 |
Quantifying the impact of interblock wire-delays on processor performance | 2008-05 | Text | ir_etd |
| 193 |
 |
Radial basis function-based numerical methods for the simulation of platelet aggregation | 2014-08 | Text | ir_etd |
| 194 |
 |
Random testing of open source C compilers | 2014-12 | Text | ir_etd |
| 195 |
 |
Ray tracing from a data movement perspective | 2016 | Text | ir_etd |
| 196 |
 |
Realistic traffic shaping in dummynet link emulator | 2014 | Text | ir_etd |
| 197 |
 |
Reducing irregularities in control flow and memory access on graphics processing unit architectures | 2017 | Text | ir_etd |
| 198 |
 |
Reflections, models, and software for iterative visualization design | 2019 | Text | ir_etd |
| 199 |
 |
Relating users' reported comfort, necessity, and value in vignettes of sensor-equipped environments | 2020 | Text | ir_etd |
| 200 |
 |
Reliable real-time data upload for wireless networks | 2018 | Text | ir_etd |
