TO
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Clark, James Henry | 3-D design of free-form B-spline Surfaces | Computer graphics | 1974 | dissertation |
| 2 |
 |
Goyal, Sachin | A collective approach to harness idle resources of end nodes | Idle resources; end nodes; collective managers | 2011-08 | dissertation |
| 3 |
 |
Aananthakrishnan, Sriram | A composable static analysis framework for program analysis | Computer science; applied sciences; compositional analysis | 2016 | dissertation |
| 4 |
 |
Kerzner, Ethan | A Framework for creative visualization-oppourtunities workshops | Computer science; Connectomics; Creativity; Data visualization; Design study; Workshops | 2019 | dissertation |
| 5 |
 |
Cate, Nolan Randolph | A fully convolutional deep learning approach for using C-Band satellite radar imagery for forest biomass estimation | Geography; Computer science; Biomass; Deep learning; Forestry; Machine learning; Neural networks; SAR | 2019 | thesis |
| 6 |
 |
Lewis, Thomas James | A GPU-based maximal independent set aggregation strategy: algorithms, comparisons, and applications withing algebraic multigrid | GPU; maximal independent set; multigrid | 2014-08 | thesis |
| 7 |
 |
Sacharny, David | A lane-based approach to large-scale unmanned aircraft systems traffic management | Robotics | 2022 | dissertation |
| 8 |
 |
Zhao, Lu | A program logic and its application in fully verified software fault isolation | Software fault isolation; Trusted computing base; TCB; Hoare logic | 2012-08 | dissertation |
| 9 |
 |
Kumar, Sidharth | A scalable and tunable adaptive resolution parallel i/o framework | File system; HPC; Parallel I/O | 2016 | dissertation |
| 10 |
 |
Catmull, Edwin Earl | A subdivision algorithm for computer display of curved surfaces | Computer science | 1974 | disswertation |
| 11 |
 |
Muralidharan, Saurav | Abstractions and strategies for adaptive programming | adaptive programming; architecture-adaptive; autotuning; input-adaptive; multiobjective; nested data parallelism | 2016 | dissertation |
| 12 |
 |
Machanavajhala, Swetha | Accent classification: learning a distrance metric over phonetic strings | Accent classification; Distance metric learning; Kernels; Machine learning; Speech recognition; Swetha Machanavajhala | 2013-12 | thesis |
| 13 |
 |
Nelson, Blake William | Accurate and interactive visualization of high-order finite element fields | Cut surfaces; GPU programming; High-order finite elements; Visualization; Volume rendering | 2012-08 | dissertation |
| 14 |
 |
Qadir, Ashequl | Acquiring knowledge for affective state recognition in social media | Affective Polarity; Emotion Hashtag; Implicit Property; Natural Language Processing; Simile; Social Media | 2016 | dissertation |
| 15 |
 |
de Bever, Joshua Thomas | Adaptive model-predictive control and 3d acoustic radiation force imaging for the improvement of magnetic resonance-guided focused ultrasound therapies | Acoustic Radiation Force Imaging; Focused Ultrasound; Model-Predictive Control; MRI | 2015 | dissertation |
| 16 |
 |
Mahoney Jr, Arthur W. | Advanced methods for controlling untethered magnetic devices using rotating magnetic fields | Capsule endoscopy; Magnetics; Medical robotics; Microrobotics | 2014-08 | dissertation |
| 17 |
 |
Ding, Haibo | Affective polarity recognition and human needs categorization for affective events | Affective Events; Daily life events; Graph-based models; Human needs; Semi-supervised learning; Sentiment analysis | 2018 | dissertation |
| 18 |
 |
Zheng, Yan | Algorithms and coresets for large-scale kernel smoothing | Computer science | 2017 | dissertation |
| 19 |
 |
Venkat, Anand | An integrated compiler and runtime framework for sparse matrix codes | Compilers; computer architecture; sparse matrix codes | 2016 | dissertation |
| 20 |
 |
Martin, Tobias | Analysis-aware higher order smooth three-dimensional representations: creation, simulation and visualization | Analysis-aware; finite elements; geometric modeling; isogeometric analysis; visualization; volumetric parameterization | 2012-05 | dissertation |
| 21 |
 |
Atkinson, Kevin Jay | Application binary interface compatability through a customizable language | Applied sciences; Abi; binary compatibility; customizable language; extensible compilers; macros; scheme | 2011-12 | dissertation |
| 22 |
 |
Martin, William Michael | Applications of spline manifolds to problems in modeling, rendering, and analysis | computer-aided design; heterogeneous design; high-dimensional splines; radiance; spline approximation; volumetric splines | 2013-05 | dissertation |
| 23 |
 |
Jones, Benjamin James | Artist-guided physics-based animation | Animation; example-based; physics | 2015 | dissertation |
| 24 |
 |
Novak, Joseph Herschel | Auto-tuning methods for scaling resources in networks and cloud-based systems | Active queue management; AQM; cloud; miss ratio curves; MRC; scaling | 2019 | dissertation |
| 25 |
 |
Winer, David R. | Automated film direction for computer-generated discourse: planning, scheduling, and execution | Automated planning; cinematography; story generation | 2019 | dissertation |
| 26 |
 |
Nguyen, Hoa Thanh | Automatic catalog construction for product search engines | Database; Data integration; Deep web; E-commerce; Machine learning; Schema matching | 2011-12 | dissertation |
| 27 |
 |
Venkataraju, Kannan Umadevi | Automatic markup of neural cell membranes using boosted decision stumps | Decision making -- Data processing; Neural circuitry; Cell membranes | 2010 | thesis |
| 28 |
 |
Zhang, Miaomiao | Bayesian models on manifolds for image registration and statistical shape analysis | Bayesian; Diffeomorphisms; Image registration; Manifolds; Statistical shape analysis | 2016 | dissertation |
| 29 |
 |
Montazerolzohour, Mohammad | Blue noise virtual point lights for global illumination | Computer Graphics; Global Illumination; Rendering; VPL | 2017 | thesis |
| 30 |
 |
Abdullah, Amirali | Bounds for nearest neighbor algorithms and embeddings | Algorithms; Approximation; Bregman divergences; Data structures; Lower bounds | 2016 | dissertation |
| 31 |
 |
Joseph, Jithu | Cenet-- capability enabled networking: towards least-privileged networking | Access control in SDN; Capability based access control; Network access control; Network security; Security; Software defined networks | 2015 | thesis |
| 32 |
 |
Wong, Eleanor | Classification and regression methods for functional brain network analysis | 2021 | dissertation | |
| 33 |
 |
Perry, Daniel James | Cloud modeling and rendering | Computer graphics; Clouds--Graphic rendering | 2007-04-05 | honors thesis |
| 34 |
 |
Stuart, David Alexander | Coarse tetrahedral meshing for interactive simulation | Animation; Meshing; Physics | 2013-05 | thesis |
| 35 |
 |
Ramani, Karthik | CoGenE: an automated design framework for domain-specific architectures | Compilers; Computer architecture; Energy efficiency; Low power; Ray Tracing; Recognition | 2012-12 | dissertation |
| 36 |
 |
Yadav, Nitin | Community-affinity: measuring strength of memberships of nodes in network communities | community-affinity; community-detection; graph clustering; graphs; network science | 2015 | thesis |
| 37 |
 |
Basu, Protonu | Compiler optimizations and autotuning for stencils and geometric multigrid | Autotuning; Code Generation; Compilers; Geometric Multigrid; Parallel Programming; Stencil Compuations | 2016 | dissertation |
| 38 |
 |
Blinn, James Frederick | Computer display of curved surfaces | 1978 | dissertation | |
| 39 |
 |
Wilder, Andrew M. | Computer-assisted approaches to intrafascicular multielectrode stimulation | Asynchronous interleaved multielectrode stimulation; Functional electrical stimulation; Interleaved stimulation; Multielectrode stimulation; Peripheral nerve; Utah slanted electrode array | 2014-05 | dissertation |
| 40 |
 |
Simonic, Klemen | Concept aware co-occurrence and its applications | Concept co-occurrence; Isa relations; Query undertstanding; Short text understanding; Term co-occurrence | 2015-08 | thesis |
| 41 |
 |
Bhatia, Harsh | Consistent feature extraction from vector fields: combinatorial representations and analysis under local reference frames | Data analysis; Scientific computing; Scientific visualization | 2015-05 | dissertation |
| 42 |
 |
Jadhav, Shreeraj | Consistent representation of two-dimensional flow | Data analysis; Discrete methods; Vector fields; Two-dimensional flow | 2012-08 | thesis |
| 43 |
 |
Stephens, Abraham J. | Control of spatial and temporal fidelity with adaptive sampling | Interactive computer graphics; Adaptive; Fidelity; Framelet; Graphics; Rendering; Spatiotemporal; Temporal fidelity; Spatial fidelity | 2011-05 | dissertation |
| 44 |
 |
Ying, Jian | Corrected moran's I statistic | 2019 | thesis | |
| 45 |
 |
Duhadway, Linda P. | Course transformation: content, structure and effectiveness analysis | Computer Science Education; Graphical Course Mapping; Interactive Learning Environments; Personalized Learning | 2016 | dissertation |
| 46 |
 |
Redman, Simon | Critical reroute: A practical approach to network flow prioritization using segment routing | 2019 | thesis | |
| 47 |
 |
Rague, Brian William | CS1 pedagogical approach to parallel thinking | Computer; CS1; Education; Parallel; Programming; Science | 2010-08 | dissertation |
| 48 |
 |
Rudy, Gabe | CUDA-CHiLL: a programming language interface for GPGPU optimizations and code generation | CUDA-CHiLL; Programming language interface; GPGPU; Code generation; Programming languages (Electronic computers) ; Graphics processing units ; Application program interfaces (Computer software) | thesis | |
| 49 |
 |
Perry, Daniel J. | Data analysis and visualization using basis selection for matrix approximation | Computer science | 2017 | dissertation |
| 50 |
 |
Sudan, Kshitij | Data placement for efficient main memory access | Computer Architecture; DRAM memory management; Main memory; Operating system | 2013-05 | dissertation |
| 51 |
 |
Nguyen, Hoa Thanh | Data scalable approach for identifying correlation in large and multidimensional data | Correlation Visualization; Data Scalable visualization; Data Visualization; Multidimensional Data | 2017 | dissertation |
| 52 |
 |
Li, Xiangqi | Debugging with Domain-specific Events via Macros | Computer science | 2017 | dissertation |
| 53 |
 |
Ward, Stephen J. | Deformation embedding for point-based elastoplastic simulation | Computer science; Elastoplastic materials | 2012-08 | thesis |
| 54 |
 |
Shanmugam, Praveen kumar | Deidtect - distributed elastic intrusion detection architecture | Cloud; Distributed Networking; Networking; Orchestration; SDN | 2016 | thesis |
| 55 |
 |
Raj, Mukund | Depth-based visualizations for ensemble data and graphs | Computer science; Mathematics | 2018 | dissertation |
| 56 |
 |
McKenna, Sean Patrick | The design activity framework: investigating the data visualization design process | Computer science; Design | 2017 | dissertation |
| 57 |
 |
Pourkand, Ashkan | Design and control of a new class of untethered magnetic haptic display | 2021 | dissertation | |
| 58 |
 |
Johnson, David Michael | Design and implementation of a mobile wireless sensor network testbed | Network simulation; Mobile Emulab | 2010-04-15 | thesis |
| 59 |
 |
Ardestani, Ali Shafiee | Design and optimization of hardware accelerators for deep learning | Computer science | 2018 | dissertation |
| 60 |
 |
Vo, Huy T. | Designing a parallel dataflow architecture for streaming large-scale visualization on heterogeneous platforms | Dataflow architecture; Heterogeneous platforms; Multi-CPU; Multi-GPU; Parallel execution | 2011-08 | dissertation |
| 61 |
 |
Udipi, Aniruddha N. | Designing efficient memory for future computing systems | 2012 | dissertation | |
| 62 |
 |
Udipi, Aniruddha N. | Designing efficient memory for future computing systems | Computer science; Server infrastructure | 2012-05 | dissertation |
| 63 |
 |
Chatterjee, Niladrish | Designing efficient memory schedulers for future systems | DRAM; Memory system; Scheduling | 2013-12 | dissertation |
| 64 |
 |
Cho, Junguk | Designing performant, flexible and evolvable | 2019 | dissertation | |
| 65 |
 |
Nayak, Prashanth | Detecting and mitigating malware in virtual appliances | Detection; Expert systems; Malware; Mitigation; Virtual appliance; Virtual machine introspection | 2014-12 | thesis |
| 66 |
 |
Gupta, Shobhit | Detecting and tracking human motion in variance-based radio tomography imaging | Blob Detection; OpenCV; Radio sensors; SVM | 2013-05 | thesis |
| 67 |
 |
Fahimfar, Zahra | Detecting potential lensed galaxies behind foreground Galaxy targets using machine learning techniques | 2018 | thesis | |
| 68 |
 |
Saha, Aakanksha | Detecting secrets in source code: using machine learning to reduce false positives | 2019 | thesis | |
| 69 |
 |
Burtsev, Anton | Deterministic systems analysis | Deterministic replay; Replay debugging; Xen | 2013-05 | dissertation |
| 70 |
 |
Maas, Steve | Development of a nonlinear finite element code for computational biomechanics and biophysics | computational biomechanics; computational biophysics; nonlinear finite element method | 2017 | dissertation |
| 71 |
 |
Pagariya, Rohit | Direct equivalence testing of embedded software | Compiler testing; Embedded software; Equivalence testing; Verification | 2011-08 | thesis |
| 72 |
 |
Probst, Matthew Jared | Distributed friend-to-friend framework and services using social networks | Distributed Systems; Malware Detection; Peer-to-Peer; Social Distance; Social Networks; Social psychology; Computer science | 2012-12 | dissertation |
| 73 |
 |
Khaledi, Mojgan | Distributed sensing and computing in wireless networks | Computer science | 2017 | dissertation |
| 74 |
 |
Shkurko, Konstantin | Dual streaming for hardware-accelerated Ray Tracing | 2019 | dissertation | |
| 75 |
 |
Raj, Mukund | Effect of animated self-avatar in virtual environments | Avatars; Virtual environment; Behavioral psychology; Computer science | 2013-08 | thesis |
| 76 |
 |
Vakkalanka, Sarvani | Efficient dynamic verification algorithms for MPI applications | Dynamic verification; MPI; Testing | 2010 | dissertation |
| 77 |
 |
Chiang, Wei-fan | Efficient floating-point error testing and rigorous mixed precision tuning | floating-point error testing; mixed-precision tuning; optimization; Computer science | 2016 | dissertation |
| 78 |
 |
Spjut, Josef Bo | Efficient ray tracing architectures | Computer architecture; Computer graphics; Graphics; Ray tracing; Rendering; Computer Engineering; Computer science | 2015-05 | dissertation |
| 79 |
 |
Jestes, Jeffrey | Efficient summarization techniques for massive data | Big data; Data analytics; Efficient queries; Massive data; Summaries; Computer science | 2013-12 | dissertation |
| 80 |
 |
Subramanyam, Naveen Dasa | Efficient switching between WiFi and cellular networks for robust internet connectivity | Cellular; Internet; Networks; Smartphone; Wifi; Computer science | 2014-08 | thesis |
| 81 |
 |
Parker, Michael Allen | Efficient user-level event notification | Architecture; Interrupt; Message-passing; Notification; User-level; Computer science | 2013-08 | dissertation |
| 82 |
 |
Seth, Manav | Emergency service in WI-FI networks without access point association | 911; Emergency service; Networks; Wi-Fi; Emergency reporting systems; Computer science | 2011-08 | thesis |
| 83 |
 |
Shevgoor, Manjunath | Enabling big memory with emerging technologies | computer architecture; DRAM; memory; Computer Engineering | 2016 | dissertation |
| 84 |
 |
Gebhardt, Daniel J. | Energy-efficient design of an asynchronous network-on-chip | Computer Engineering; Electrical engineering; Computer science | 2011-08 | dissertation |
| 85 |
 |
Dimjasevic, Marko | Enhancing automatic software testing for broader applicability | Computer science; Electrical engineering | 2018 | dissertation |
| 86 |
 |
Clark, Michael R. | Enhancing covert communications with colluding receivers | Communications; Covert; Computer science | 2010 | thesis |
| 87 |
 |
Ricci, Robert Preston Riekenberg | Enhancing realism and scalability in network testbeds | Computer science | 2010 | dissertation |
| 88 |
 |
Maheshwari, Manas | Enhancing reliability in device-free localization | Device free localization; Localization; Security; Sensor networks; Tracking; Computer science | 2011-08 | thesis |
| 89 |
 |
Nguyen, Binh Quang | Enhancing scalability and reliability in mobile core networks | Computer science | 2018 | dissertation |
| 90 |
 |
Agrawal, Praful | Estimating generative models for statistical shape analysis | 2020 | dissertation | |
| 91 |
 |
Ziemek, Tina Renee | Evaluating the effectiveness of orientation indicators with an awareness of individual differences | Orientation indicators | 2010-08 | dissertation |
| 92 |
 |
Goparaju, Venkata Seaha Sai Anupama | Evaluation and validation of off-the-shelf statistical shape modeling tools in clinical applications | 2019 | thesis | |
| 93 |
 |
Premnath, Sriram Nandha | Exploiting cross layer opportunities for secrecy and efficiency in wireless networks | Cross layer; Dynamic spectrum access networks; Filterbank multicarrier; Secret key extraction; Wireless channel characteristics | 2013-05 | dissertation |
| 94 |
 |
Pokkunuri, Rama Krishna Sandeep | Exploiting example structure in multiple instance learning | Cutting plane optimization; Machine learning; Multiple instance learning; Structured prediction | 2011-05 | thesis |
| 95 |
 |
Lakshmane Gowda, Prarthana | Exploring bluetooth for received signal strength indicator-based secret key extraction | Android; Bluetooth; RSSI; Secret keys | 2012-12 | thesis |
| 96 |
 |
Raman, Parasaran | Exploring the landscape of clusterings | Clustering; Data mining; Machine learning; Sampling | 2013-12 | dissertation |
| 97 |
 |
Zaheer, Zirak | Eztrust: Network independent perimeterization for microservices | 2019 | thesis | |
| 98 |
 |
Daniels, Joel, II | Feature-aligned, semiregular, quad-only mesh generation | Computer graphics; Geometry processing; Mesh simplification; Quadrilateral meshing; Surface parameterization; Surface reconstruction | 2010 | dissertation |
| 99 |
 |
Wang, Dafang | Finite element solutions to inverse Electrocardiography | Cardiac electrophysiology; Finite element method; Inverse problem; Optimization; Partial differential equation; Scientific computing | 2012-12 | dissertation |
| 100 |
 |
Territo, Matthew Joseph | Flightcontroller | 2019 | thesis | |
| 101 |
 |
Strum, Matt | Flowops: open access network management and operation | Municipal networks; Network framework; Network management; Open access network; Openflow; Software-defined network | 2013-12 | thesis |
| 102 |
 |
Wan, Yong | Fluorender, an interactive tool for confocal microscopy data visualization and analysis | Anatomical atlas; Biology application; Confocal microscopy; Visualization; Volume rendering | 2013-08 | dissertation |
| 103 |
 |
Duan, Jianjun | Formal verification of device drivers in embedded systems | Device; Driver; Formal; Interrupt; Verification | 2013-12 | dissertation |
| 104 |
 |
Li, Guodong | Formal verification of programs and their transformations | Compiler verification; Formal verification; GPU program; Parallel program; SMT solving; Theorem proving | 2010-12 | dissertation |
| 105 |
 |
Christensen, Cameron T. | Framework and model for interactive spatiotemporal data analysis and visualization systems | 2019 | thesis | |
| 106 |
 |
Kim, Mark | Gpu-enabled surface visualization | Applied sciences; GPU; Visualizing surfaces | 2016 | dissertation |
| 107 |
 |
Sun, Weibin | Harnessing GPU computing in system-level software | GPU; Network; Storage; System software | 2014-08 | dissertation |
| 108 |
 |
Chiang, Wei-Fan | Heuristics for efficient dynamic verification of message passing interface and thread programs | Dynamic verification; Heuristic; MPI programs; Thread programs | 2011-05 | thesis |
| 109 |
 |
Ha, Linh Khanh | High performance multiscale image processing framework on multi-gpus (graphics processing units) with applications to unbiased diffeomorphic atlas construction | Atlas construction; CUDA; Diffeomorphism; GPU; HPC; Medical image processing | 2011-08 | dissertation |
| 110 |
 |
Robison, Braden Devin | Hybrid scheduling for graph-based algorithm decomposition in high-performance computing environments | Computer Engineering; Computer science | 2014 | thesis |
| 111 |
 |
Phong, Bui Tuong | Illumination for Computer-Generated Images | 1973 | thesis | |
| 112 |
 |
Kirby, Richard | Image correspondences from perceived motion | 3D Reconstruction; Computer Vision; Graph Cuts; Optical Flow; Variational methods | 2017 | dissertation |
| 113 |
 |
Liu, Ting | Image segmentation with hierarchical models | Connectomics; Electron microscopy; Hierarchical models; Image segmentation; Machine learning; Semi-supervised learning | 2016 | dissertation |
| 114 |
 |
Quinn, Stephen Lorenzo | Improved context awareness in data-centric network management | 2019 | dissertation | |
| 115 |
 |
Hao, Xiang | Improved segmentation and analysis of white matter tracts based on adaptive geodesic tracking | Adaptive riemannian metrics; Diffusion weighted imaging; Fractional segmentation; Geodesic tracking; Image segmentation; White matter tracts | 2014-05 | dissertation |
| 116 |
 |
He, Shaobo | Improving automation and scalability of rigorous program reasoning | 2019 | dissertation | |
| 117 |
 |
Lyde, Steven | Improving control-flow analysis of higher-order languages | 2015 | dissertation | |
| 118 |
 |
Ramalingam, Shreyas | Improving high-performance sparse libraries using compiler assisted specialization: a PETSC (portable, extensible toolkit for scientific computation) case study | PETSC; Compiler assisted specialization | 2012-05 | thesis |
| 119 |
 |
Huang, Ruihong | Improving information extraction by discourse-guided and multifaceted event recognition | 2014-12 | dissertation | |
| 120 |
 |
Nellans, David | Improving operating system and hardware interactions through co-design | 2014-12 | dissertation | |
| 121 |
 |
Almquist, Scott Tervor | Improving simulations for transcranial high-intensity focused ultrasound using the Hybrid angluar spectrum method | 2018 | dissertation | |
| 122 |
 |
Chen, Yang | Improving the utility of compiler fuzzers | Bug reporting; Compiler defect; Compiler testing; Random testing; Test-case minimization; Test-case reduction | 2014-05 | dissertation |
| 123 |
 |
Nguyen, Thanh Hoang | Integrating structured data on the web | 2013-05 | dissertation | |
| 124 |
 |
Summa, Brian Mark | Interactive digital photography at scale | 2013-05 | dissertation | |
| 125 |
 |
Widanagamaachchi, Wathsala | Interactive visualization and exploration of feature evolution in dynamic data | Computer science | 2017 | dissertation |
| 126 |
 |
Baek, Hyun-wook | Interparty visibility in a cloud computing platform | 2018 | dissertation | |
| 127 |
 |
Earl, Christopher | Introspective pushdown analysis and nebo | Computer science | 2014-05 | dissertation |
| 128 |
 |
Grosset, Pascal | Investigating depth of field in volume rendering and distributed volume rendering on high performance computing systems | Depth of Field; Distrubuted Volume Rendering; HPC; Image Compositing; Perception | 2016 | dissertation |
| 129 |
 |
Moeller, John | Kernels and geometry of machine learning | Kernel Learning; Machine Learning; Multiple Kernel Learning; Support Vector Machines | 2017 | dissertation |
| 130 |
 |
Du, Min | Large scale system log monitoring and analysis: a data-driven approach | 2019 | dissertation | |
| 131 |
 |
Meng, Qingyu | Large-scale distributed runtime system for dag-based computational framework | Distributed system; Heterogeneous computing; MPI; Multithread; Uintah | 2014-08 | dissertation |
| 132 |
 |
Landge, Aaditya G | Large-scale in-situ topological analysis using segmented merge trees: performance, scalability, and power efficiency | In-situ analysis techniques; Merge tree computation techniques | 2016 | thesis |
| 133 |
 |
Rai, Piyush | Learning latent structures via bayesian nonparametrics: new models and efficient inference | Bayesian learning; Bayesian nonparametrics; Machine learning | 2013-08 | dissertation |
| 134 |
 |
Jacobsen, Charles | Lightweight capability domains: toward decomposing the linux kernel | Applied sciences | 2016 | thesis |
| 135 |
 |
Gao, Yang | Longitudinal segmentation for image sequence with appearance and shape change | 2019 | dissertation | |
| 136 |
 |
Atzeni, Simone | Low overhead data race detection techniques for large openMP applications | Computer science | 2017 | dissertation |
| 137 |
 |
Popek, Katie M | Magnetic localization and closed-loop propulsion for active capsule endoscopy using a single magnetic dipole source | capsule endoscopy; localization; magnetic manipulation; medical robotics | 2017 | dissertation |
| 138 |
 |
Kesavan, Aniraj | Making large transfers fast for in-memory databases in modern networks | Computer science | 2017 | thesis |
| 139 |
 |
Tripathi, Anand | Malware beaconing detection | 2018 | thesis | |
| 140 |
 |
Awasthi, Manu | Managing data locality in future memory hierarchies using a hardware software codesign approach | Cache management; Data locality; DRAM; Memory hierarchy; NUMA; Operating system support | 2014-12 | dissertation |
| 141 |
 |
Koop, David Allen | Managing provenance for knowledge discovery and reuse | Provenance; VisTrails; Workflow | 2012-05 | dissertation |
| 142 |
 |
Rungta, Atul | Manyvis: multiple applications in an integrated visualization environment | 2015-05 | thesis | |
| 143 |
 |
Weiser, Uri Chanan | Mathematical and graphical tools for the creation of computational arrays | 1981 | dissertation | |
| 144 |
 |
Musuvathy, Suraj Ravi | Medial axis of regions bounded by b-spline curves and surfaces | B-spline curves; B-spline surfaces; Medial axis | 2011-12 | dissertation |
| 145 |
 |
Kommineni, Teja | Mining netflow records for host behaviors | 2018 | thesis | |
| 146 |
 |
Jindal, Sonika | Mobility management entity function-as-a-service | 2019 | dissertation | |
| 147 |
 |
Preston, J. Samuel | Modeling nondiffeomorphic motion VIA composite deformation models | 2018 | dissertation | |
| 148 |
 |
Wu, Kui | Modeling, readering, and simulating knits | 2019 | dissertation | |
| 149 |
 |
Loos, Bradford J. | Modular radiance transfer | Global illumination; Graphics | 2015-05 | dissertation |
| 150 |
 |
Wong, Roy Y. | Moran's I Spacial auto-correlation and anomaly detection utilizing PCA and high dimensional feature vectors | Computer science | 2017 | thesis |
| 151 |
 |
Meakin, Benjamin LaSalle | Multicore system design with XUM: the extensible Utah multicore project | Embedded system; Message passing; Multicore; On-chip network | 2010 | thesis |
| 152 |
 |
Hromatka, Michelle | Multisite learning in medical image analysis | classification; fMRI; medical imaging; MRI; multisite learning | 2015-12 | thesis |
| 153 |
 |
Singh, Nikhil Pratap | Multivariate regression of shapes via deformation momenta: application to quantifying brain atrophy in aging and dementia | Alzheimer's disease; Computational anatomy; Diffeomorphisms; Hierarchical geodesic models; Longitudinal; Partial least squares | 2013-12 | dissertation |
| 154 |
 |
Zhou, Liang | Multivariate transfer function design | Transfer function design; User interaction; Volume visualization | 2014-08 | dissertation |
| 155 |
 |
Bronson, Jonathan R. | New approaches to quality tetrahedral mesh generation | Bounded; Cleaving; Meshing; Quality; Tetrahedral; Volumetric | 2015-08 | dissertation |
| 156 |
 |
Tang, Mingwang | New problems in exploring distributed data | data synopsis; distributed; histogram; monitoring; tracking; uncertainty | 2015-05 | dissertation |
| 157 |
 |
Thacker, Robert A | New verification method for embedded systems | Embedded systems; Petri nets; Verification | 2010-12 | dissertation |
| 158 |
 |
Tran, Deim-Trang Thi | Normalization RNA-SEQ towards the improvement of Gene expression signatures | 2022 | dissertation | |
| 159 |
 |
Tran, Lethuy Thi | Numerical study and improvement of the methods in Uintah framework: the Material Point Method and the Implicit Continuous-fluid Eulerian method | Adjoint-based Error Estimate, IMPICE, IMPICE's Error Estimate, Implicit Continuous-fluid Eulerian Method, Improved ICE Method, Material Point Method | 2012-12 | dissertation |
| 160 |
 |
Jana, Suman | On fast and accurate detection of unauthorized wireless access points using clock skews | Wireless LANs; Medium Access Control | 2009-05-06 | thesis |
| 161 |
 |
Ghashami, Mina | On Frequent Directions, A Streaming Matrix Sketching Algorithm | Computer science; Computer engineering; Engineering | 2017 | dissertation |
| 162 |
 |
Pugsley, Seth Hintze | Opportunities for near data computing in mapreduce workloads | Big data; Computer architecture; Hardware accelerators; Memory systems | 2015-05 | dissertation |
| 163 |
 |
Brownlee, Carson | Parallel ray tracing in scientific visualization | Ray tracing algorithms; Parallel programming (Computer science); Visualization | 2012-12 | dissertation |
| 164 |
 |
Fu, Zhisong | Parallel-streaming algorithms for solving partial differential equations on unstructured meshes | GPU; PDE; Unstructured meshes | 2013-12 | dissertation |
| 165 |
 |
Lo, Yu jung | Performance modeling for architectural and program analysis | CUDA unified memory; Memory Bandwidth; Roofline | 2015-05 | thesis |
| 166 |
 |
Gerszewski, Daniel James | Physics-based animation of large-scale splashing liquids, elastoplastic solids, and model-reduced flow | Computer graphics; Liquid simulation; Model reduction; Physically based modeling; Physics-based animation; Point-based simulation | 2014-08 | dissertation |
| 167 |
 |
Tew, Kevin B. | Places: parallelism for racket | Message passing; Parallelism; Programming languages; Racket | 2013-08 | dissertation |
| 168 |
 |
Peterson, Bradley | Portable and performant GPU/heterogeneous asynchronous many-task runtime system | 2019 | dissertation | |
| 169 |
 |
Li, Peng | Practical symbolic execution analysis and methodology for GPU programs | 2015-05 | dissertation | |
| 170 |
 |
Pierson, Kyle David | Prediction of microstructurally small fatigue-crack growth using data-driven analysis and machine learning | 2019 | thesis | |
| 171 |
 |
Sharma, Subodh | Predictive analysis of message passing applications | Dynamic verification; MPI; Predictive analysis | 2013-08 | dissertation |
| 172 |
 |
Singh, Harsimran | Privacy enabled crowdsourced transmitter localization using adjusted measurements | 2018 | thesis | |
| 173 |
 |
Dimri, Anuj | Privacy enabled noise-free data collection in vehicular networks | 2018 | thesis | |
| 174 |
 |
Sarbhai, Aarushi | Privacy-aware peak load reduction is smart homes | 2018 | thesis | |
| 175 |
 |
Preston, J; Samuel | Processing of MRI data for simulation and monitoring of drug delivery | Drug delivery systems | 2009-05-06 | thesis |
| 176 |
 |
Haran, Arvind | Program analyses for resilient and approximate computation | approximate computing; dynamic analysis; fault tolerance; HPC; resilience; static analysis | 2016 | thesis |
| 177 |
 |
Scheidegger, Carols Eduardo | Provenance of exploratory tasks in scientific visualization: management and applications | 2014-05 | dissertation | |
| 178 |
 |
Venkatesan, Vivek | Quantifying the impact of interblock wire-delays on processor performance | Microprocessors, Design and construction; Electronic circuit design | 2008-05 | thesis |
| 179 |
 |
Shankar, Varun | Radial basis function-based numerical methods for the simulation of platelet aggregation | Forcing method; Immersed boundary method; Meshfree methods; Platelet aggregation; Radial basis Functions (RBFs) | 2014-08 | dissertation |
| 180 |
 |
Yang, Xuejun | Random testing of open source C compilers | Compiler bugs; Compilers; Csmith; Gcc; llvm; Random testing | 2014-12 | dissertation |
| 181 |
 |
Kopta, Daniel | Ray tracing from a data movement perspective | Computer Architecture; Ray Tracing | 2016 | dissertation |
| 182 |
 |
Syed, Aisha | Realistic traffic shaping in dummynet link emulator | Dummynet; Emulation; Packet reordering; Reorder density; Simulation; Traffic shaping | 2014 | thesis |
| 183 |
 |
King, James Sokhom | Reducing irregularities in control flow and memory access on graphics processing unit architectures | GPU; Linear Algebra; SIMD | 2017 | dissertation |
| 184 |
 |
Bigelow, Alex | Reflections, models, and software for iterative visualization design | 2019 | dissertation | |
| 185 |
 |
Kennington, Allen Russell | Relating users' reported comfort, necessity, and value in vignettes of sensor-equipped environments | 2020 | thesis | |
| 186 |
 |
Lundrigan, Philip Brandon | Reliable real-time data upload for wireless networks | 2018 | dissertation | |
| 187 |
 |
Liu, Wei | Resting state functional magnetic resonance imaging analysis by graphical model | Brain connectivity; Functional MRI; Graphical models | 2014-08 | dissertation |
| 188 |
 |
Gritton, Christopher E. | Ringing instabilities in particle methods | Particle methods; Ringing instabilities | 2014-08 | thesis |
| 189 |
 |
Fan, Xiuyi | Robot share: a framework for robot knowledge sharing | Robots; Artificial intelligence | 2009-05 | thesis |
| 190 |
 |
Tang, Pingfan | Robust estimation and sketching of points, lines, trajectories, and other shapes | 2019 | dissertation | |
| 191 |
 |
Zhang, Michael | Sbolexplorer: data infrastructure and data mining for genetic design repositories | 2019 | thesis | |
| 192 |
 |
Luitjens, Justin Paul | The scalability of parallel adaptive mesh refinement within Uintah | Adaptive mesh refinement; Load balancing; Parallel; Regridding; Scalability; Simulation; Uintah | 2010-08 | dissertation |
| 193 |
 |
Humphrey, Alan Parker | Scalable asynchronous many-task runtime solutions to globally coupled roblems | 2019 | dissertation | |
| 194 |
 |
Vo, Anh | Scalable formal dynamic verification of MPI programs through distributed causality tracking | Causality tracking; Correctness checking; MPI; Verification | 2011-08 | dissertation |
| 195 |
 |
Singh, Raghvendra | Scalable spatial scan statistics | Applied sciences | 2015 | thesis |
| 196 |
 |
Maheshwari, Shobhi | Scheduling virtual wifi interfaces for high bandwidth video upstreaming using multipath TCP | 2018 | thesis | |
| 197 |
 |
Kano, Makito | Seacat: an sdn end-to-end containment architecture | 2015-08 | thesis | |
| 198 |
 |
Jurrus, Elizabeth | Segmentation of neurons from electron microscopy images | Artificial neural networks; Connectomics; Electron microscopy; Image processing; Machine learning; Segmentation | 2011-08 | dissertation |
| 199 |
 |
Linton, Trevor Forbes | Semantic feature analysis in raster maps | Gestalt principles | 2009-06-15 | thesis |
| 200 |
 |
Berger, Matthew | Shape analysis of defect-laden data | geometry processing; shape analysis; surface reconstruction | 2013-05 | dissertation |