Tesis doctoral
2026
Grinstead, Kathleen Milligan
This thesis explores Vizing's theorem in the proof assistant Rocq. We employ the SSReflect language and the open-source Mathematical Components library to extend the graph theory library developed by Christian Doczkal, Damien Pous, and Daniel Severín. Specifically, we implement edge coloring and a proof of Vizing's the...
Graph theory
Proof assistants
computer and information sciences
Rocq
Tesis doctoral
2026
Schwartz, Andrew M
This thesis imagines the future post-industrial landscape of Detroit’s General Motors Assembly Plant as the medium through which the 1981 expropriation and destruction of the Poletown neighborhood are spatially registered. Proposed as a 2035 scenario, the project reclaims the 400-acre site as a public commons and memor...
Poletown
Landscape architecture
Eminent Domain
Terrain Vague
Tesis doctoral
2026
Wang, Yiyang (Jennifer)
NOD2 is a cytosolic pattern-recognition receptor that detects bacterial muramyl dipeptide (MDP) and activates inflammatory signaling through recruitment of receptor-interacting serine/threonine-protein kinase 2 (RIPK2). Genetic variants in NOD2 are strongly associated with Crohn’s disease and Blau syndrome, yet the mol...
basic medicine
medical and health sciences
RIPK2
Master of Medical Sciences in Immunology
Tesis doctoral
2026
Lakin, Phoebe
This dissertation examines the reception of Virgil’s Georgics from the perspective of ecocriticism, a branch of literary studies that focuses on depictions of nature and the environment. In my analysis of Latin and Greek didactic and pastoral poetry and technical prose from antiquity and late antiquity, twentieth-centu...
Virgil
languages and literature
Georgics
Ecocriticism
Tesis doctoral
2026
Zhao, Olivia
The pharmaceutical industry is an important sector in U.S. healthcare, with prescription drug expenditures accounting for $467 billion (9% of health care expenditures) in 2024. The industry has been a prominent target of policy reforms due to increasing burdens on households in accessing prescription drug treatments. A...
medical and health sciences
Economics
other medical science
Tesis doctoral
2026
Stern, Rephael G.
After the Mandate examines the legal history of the transition from British Mandate Palestine to the state of Israel. Focusing on how Israeli judges, lawyers, politicians, and bureaucrats appropriated, modified, and, at times, resisted the inherited mandatory legal system during their state’s first decade, it argues th...
History
Legal history
Comparative history
social sciences
Tesis doctoral
2026
Sie, Brandon Matthew
Recognition of specific sequence motifs is a fundamental aspect of detecting and triggering response to environmental stimuli in cellular organisms. This phenomenon is utilized for a diverse range of biological applications. Among others, two critical examples of motif-recognizing systems in vertebrate biology are the...
medical and health sciences
clinical medicine
motif
Molecular biology
Tesis doctoral
2026
Srivastava, Kartik
This dissertation comprises three essays on economic development, examining how labor market power, outside options, and social structure shape worker outcomes — and how policy can either reinforce or disrupt these dynamics. The first chapter studies whether redirecting referrals toward underrepresented workers in segm...
Economics
economics and business
social sciences
Tesis doctoral
2026
Zhang, Gemma
The rapid growth of astrophysical data is ushering us into a new era of astrophysics and cosmology, one where many current statistical methods will struggle to keep pace with the volume of available information. These datasets will offer us unprecedented opportunities to gain deeper insights into our Universe, but maki...
Artificial intelligence
Deep Learning
Statistics
Astrophysics
Tesis doctoral
2026
Mendoza, Guillermo
The San Joaquin–Merced River confluence in California stages coupled crises: the agricultural grid’s enclosure onto wetlands and the structural precarity of the migrant workforce that sustains regional productivity. The thesis asks: Can an architectural-and-governance system, a conservation easement, and a resident ste...
biological sciences
Architecture
natural sciences
Resultados provistos por
OpenAIRE,
la infraestructura europea de ciencia abierta. Tesis y Másters Colombia no aloja
ni distribuye estos documentos: cada enlace lleva al repositorio de origen.
