Now showing items 1-10 of 11
Provably Efficient Reinforcement Learning Under Linear Model Structures: From Tabular to Feature Based Exploration
(2021)
Reinforcement learning (RL) is a machine learning paradigm where an agent learns to interact with an environment in the presence of a reward signal as feedback. Recent breakthroughs have led to a renewed interest in building ...
Optimization of Critical Infrastructure with Fluids
(2021)
Many of the world's most critical infrastructure systems control the motion of fluids. Despite their importance, the design, operation, and restoration of these infrastructures are sometimes carried out suboptimally. One ...
Artificial Intelligence-Based Clinical Decision-Making System for Cataract Surgery
(2022)
Cataracts are a common eye condition characterized by the clouding of the natural crystalline lens that impairs vision. In cataract surgery, the natural lens of the eye is replaced by an intraocular lens (IOL) implant to ...
Cultivation of Enhanced Bioinformatic-Specific Pedagogical Manipulatives, Interventions, and Professional Development
(2022)
The education of bioinformatics, as an interdisciplinary science, can be negatively impacted by 1) incoming students attempting to negotiate complex concepts while lacking the educational scaffolding of the field’s constituent ...
Learning, Inference, and Unmixing of Weak, Structured Signals in Noise
(2020)
In this thesis, we study two methods that can be used to learn, infer, and unmix weak, structured signals in noise: the Dynamic Mode Decomposition algorithm and the sparse Principal Component Analysis problem. Both problems ...
Correct-by-Construction Control Adaptation against Sensing, Model, and Information Uncertainty
(2022)
The theory of formal methods had a profound effect on computer science. By providing tools that can verify a program’s correctness or generate software that is “correct-by-construction,” Formal Methods made it much easier ...
Multiscale Modeling of T Cells in Mycobacterium Tuberculosis Infection
(2021)
Tuberculosis (TB), caused by infection with Mycobacterium tuberculosis (Mtb), is one of the deadliest infectious diseases in the world and remains a significant global health burden. Central to the immune response against ...
Large-Scale Simulations of Complex Turbulent Flows: Modulation of Turbulent Boundary Layer Separation and Optimization of Discontinuous Galerkin Methods for Next-Generation HPC Platforms
(2020)
The separation of spatially evolving turbulent boundary layer flow near regions of adverse pressure gradients has been the subject of numerous studies in the context of flow control. Although many studies have demonstrated ...
Algebraic Frameworks for Cryptographic Primitives
(2020)
A fundamental goal in theoretical cryptography is to identify the conceptually simplest abstractions that generically imply a collection of other cryptographic primitives. For symmetric-key primitives, this goal has been ...
Applications of Machine Learning: From Single Cell Biology to Algorithmic Fairness
(2020)
It is common practice to obtain answers to complex questions by analyzing large amounts of data. Formal modeling and careful mathematical definitions are essential to extracting relevant answers from data, and establishing ...