Browsing FAS Theses and Dissertations by Title
Now showing items 25-44 of 6136
-
A Formalization of Elements of Special Relativity in Coq
(2017-07-14)We present a formalization of elements of special relativity in Coq beginning from a set of first-order axioms, towards demonstrating that Coq may be used to formalize physical reasoning at the level of introductory physics. ... -
A Framework for Protein-Level Interpretation of Genetic Associations and Integration With Large-Scale DNA Sequencing Analysis
(2017-05-10)With recent rapid decrease in exome and genome sequencing price amount of the available sequencing data has dramatically increased. While analysis of common genetic variation has succeeded with GWAS and fine-mapping ... -
A Framework for Rapid Active Learning in Resource-Constrained Environmental Sensing Domains
(2022-05-23)Recent advancements in deep convolutional neural networks have enabled accurate, efficient, and intelligent feature learning for a wide variety of classification tasks. However, there remains a research to practice gap ... -
A Framework for Understanding Small Nervous Systems
(2017-01-09)How do we find important neurons and understand how their dynamics control behavior? Both of these are challenging and general problems in neuroscience. In this dissertation supervised by Sharad Ramanathan, I developed a ... -
A Free Race of Cultivators: Afro-Asian Histories, Ecologies, and Intimacies in the Early Nineteenth-Century Caribbean
(2021-09-10)This dissertation draws together the Indian and Atlantic Oceans while also arguing for the Haitian Revolution as a catalyst in the conscription of Chinese and Indian migrants to the early nineteenth-century Caribbean. In ... -
A Functorial Perspective on Homological Mirror Symmetry for Hypersurfaces
(2023-06-01)In this thesis, we prove two homological mirror symmetry results for hypersurfaces of different kinds. In the first, we consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by ... -
A Gaussian-process Framework for Nonlinear Statistical Inference using Modern Machine Learning Models
(2023-05-12)Gaussian Process Regression has become widely used in biomedical research in recent years, particularly for studying the intricate and nonlinear impacts of multivariate genetic or environmental exposures. This dissertation ... -
A General Curriculum for Meta-Learning
(2022-05-23)Meta-learning is an effective method for few-shot learning, building transferable machine learning models that generalize to new contexts with relatively little new data. Given this limited data, a natural path to improve ... -
A general strategy to construct small molecule biosensors
(2017-05-10)Biosensors for small molecules can be used in applications that range from metabolic engineering to orthogonal control of transcription. Despite their broad utility, it remains a longstanding challenge to rapidly create ... -
A genomics love story: Tying the knot between micro- and macroevolution in the Mycobacterium tuberculosis complex
(2021-08-24)Tuberculosis (TB) is a leading cause of death globally. Understanding the population dynamics and evolution of TB’s causative agent Mycobacterium tuberculosis complex (MTBC) over short time-scales in-host (micro-evolution) ... -
A Global View of Translation in Vesicular Stomatitis Virus Infected Cells
(2018-01-19)Infection of mammalian cells with vesicular stomatitis virus (VSV) results in the inhibition of cellular translation, while viral translation proceeds efficiently. This host “shutoff” is mediated by multiple mechanisms. ... -
A Grand Journey of Statistical Hierarchical Modelling
(2017-05-03)This thesis presents three research reports composed by the candidate and his collaborators on different perspectives and applications of statistical hierarchical modelling, which seeks to connect the observed quantities ... -
A Graphical Theory of Musical Pitch Spelling
(2018-06-29)Based on the conventions of staff-based music notation, musical passages that sound alike can often be written down in multiple ways, with each representation being considered a different "pitch-spelling". In this thesis, ... -
A Hall of Mirrors: Film Regulation and Industry Strategy in Colonial Korea, under Empire and its Aftermath
(2020-11-23)How does a colonized country’s embattled film industry respond to an imperial directive to nationalize cinema? And how should we understand the films that were produced by this industry? These are the central questions ... -
A Hierarchical Modeling Approach to Understanding Tropospheric Ozone
(2021-06-17)Tropospheric ozone is crucial for the oxidative capacity of the atmosphere and for surface air pollution. Today, a number of uncertainties exist regarding the behavior of ozone, which greatly reduces our ability to make ... -
A Hobbit's Guide to Neurodevelopment; An Unexpected Journey into the Innate
(2023-12-11)Brain development presents a remarkable case of biological self-assembly: the intricate, yet reproducible, circuitry of our mind arises from a tapestry of local cell decisions. Similar processes are ubiquitous across ... -
A Lamp on Śivayoga: The Union of Yoga, Ritual, and Devotion in the Śivayogapradīpikā
(2023-05-15)This dissertation centers around the study of a lesser-known Sanskrit yoga treatise from south India entitled the Śivayogapradīpikā, or the “Lamp on Śivayoga.” The text was written by an author named Cennasadāśivayogin, ... -
A Life for Freedom: German Anarcho-Syndicalism and Transnational Antifascism, 1918-1951
(2022-09-09)This dissertation investigates the “long” history of interwar German anarcho-syndicalism and its international connections, from the German Revolution in November 1918 until the crystallization of a new global order at the ... -
A Lighting-Invariant Approach to Local Shape from Shading
(2021-05-04)Shape from shading is a classical problem in computer vision, in which the depth field of an object or a scene is reconstructed from a pattern of intensities in an image. This can be thought of in some sense as the inverse ... -
A Living Extracorporeal Device for Proximal Tubule Reabsorption
(2017-07-14)Currently, 700,000 patients suffer from end-stage renal disease (ESRD) with treatment costs over $42B in the US, yet the 5-year survival of patients on dialysis is only 35% while that of full-organ transplantation is over ...