Browsing Graduate Theses by Title
Now showing items 25720-25739 of 34875
-
Provincetown--auditorium for music and experimental drama
(Massachusetts Institute of Technology, 1955) -
Proving correctness of a controller algorithm for the RAID Level 5 system
(Massachusetts Institute of Technology, 1996) -
Proving safety properties of an aircraft landing protocol using timed and untimed I/O automata : a case study
(Massachusetts Institute of Technology, 2007)This thesis presents an assertional-style verification of the aircraft landing protocol of NASA's SATS (Small Aircraft Transportation System) concept of operation using the timed and untimed I/O automata frameworks. We ... -
The provision of low-income housing within the context of a new town in Lazard Cardenas - Las Truchas, Mexico
(Massachusetts Institute of Technology, 1985)This thesis is essentially the description of the shelter components of a World Bank co-financed urban development project in the new town of Lazaro Cardenas and its twin, the poor city of Guacamayas. The document presents ... -
Provisioning public education : infrastructural violence, school districting, and spatialized inequity in the San Francisco Bay Area
(Massachusetts Institute of Technology, 2020)With an alarming budget deficit and mounting fiscal pressures, Oakland Unified School District made a contentious and familiar decision in 2019- to close and consolidate schools. The ensuing conflict exposed a deeper ... -
Proximal Gradient Algorithms for Gaussian Variational Inference:Optimization in the Bures–Wasserstein Space
(Massachusetts Institute of Technology, 2023-06)Variational inference (VI) seeks to approximate a target distribution π by an element of a tractable family of distributions. Of key interest in statistics and machine learning is Gaussian VI, which approximates π by ... -
Proximity effect in spot welding of stainless steel
(Massachusetts Institute of Technology, 1936) -
Proximity of body & mind : urban gym as a heterotopic domain
(Massachusetts Institute of Technology, 2002)In the present urban space, where an individual is exposed to the conditions of heterogeneity and anonymity, a conventional Bodybuilding Gym opens up certain issues of emplacement of un/nder-spoken men's body and its ... -
Proximity operations of a miniature inspector satellite using emulated computer vision
(Massachusetts Institute of Technology, 2008)If a micrometeoroid, a piece of space junk, launch debris, or a major system failure impacts the Crew Exploration Vehicle (CEV), it can cause life-threatening damage. Past International Space Station (ISS) and Space Shuttle ... -
Proximity operations of an underwater vehicle to a host vessel
(Massachusetts Institute of Technology, 1996) -
Proximity Sensors for a High-Bandwidth, Low-Latency Robotic Manipulation Object Avoidance Controller
(Massachusetts Institute of Technology, 2024-05)Robotics holds the promise of transforming industries, from automating recycling to managing household chores, by enabling machines to perform tasks with human-like dexterity. However, current robotic manipulation systems ... -
A pseudo-Bayesian model-based approach for noninvasive intracranial pressure estimation
(Massachusetts Institute of Technology, 2018)A noninvasive intracranial pressure (ICP) estimation method is proposed that incorporates model-based estimation within a probabilistic framework. A first-order subject-specific model of the cerebral vasculature relates ... -
A pseudo-optimal control approach for a redundant degree-of-freedom in a gimbaled mechanical system
(Massachusetts Institute of Technology, 2004)Unaided inertial navigation systems of sufficient quality allow a missile or other body to navigate freely for potentially long periods of time. The use of four gimbals in such systems allows for elimination of large ... -
A pseudo-polynomial time O(log² n)-approximation algorithm for art gallery problems
(Massachusetts Institute of Technology, 2006)In this thesis, we give a pseudo-polynomial time O(log² n)-approximation algorithm for a variant of the art gallery problem the point-guard problem. The point-guard problem involves finding the minimum number of points and ... -
Pseudoedge--a hierarchical skeletal modeler for the computer aided design of structural components
(Massachusetts Institute of Technology, 1991) -
Pseudofluorination of polymer surfaces using freon gases
(Massachusetts Institute of Technology, 1984) -
Pseudonym systems
(Massachusetts Institute of Technology, 1999) -
A pseudopolynomial algorithm for Alexandrov's theorem
(Massachusetts Institute of Technology, 2008)Alexandrov's Theorem states that every metric with the global topology and local geometry required of a convex polyhedron is in fact the intrinsic metric of some convex polyhedron. Recent work by Bobenko and Izmestiev ... -
Pseudorandom functions with structure : extensions and implications
(Massachusetts Institute of Technology, 2015)In the first part of this work, we introduce a new type of pseudo-random function for which "aggregate queries" over exponential-sized sets can be efficiently answered. We show how to use algebraic properties of underlying ... -
PSolver : a distributed SAT solver framework
(Massachusetts Institute of Technology, 2001)