-
1
-
2
Simulation Techniques for Proving Properties of Real-time Systems
Published 2023“…This paper presents the simulation method in the context of a very general automaton (i.e., labelled transition system) model for timing-based systems. …”
Get full text
-
3
Natural Language Input for a Computer Problem Solving System
Published 2004“…I shall describe these problems and my solutions, and point out those solutions which I feel have general applicability. I will also indicate which must be replaced by more general methods to be really useful, and give my ideas about what general solutions to these particular problems might entail.…”
Get full text
-
4
Lavender@MIT: The Case for an All-Gender Restroom Paradigm on the MIT Campus
Published 2022“…In this thesis, we approach the issue of restroom equity (and inequity) on the MIT campus in three areas, offering a window into how nonbinary students experience MIT’s restroom infrastructure, documenting the history and recent progress around all-gender restrooms at MIT, and showing that MIT students have a vested interest in and thoughts about both all-gender restrooms and institutional restroom design in general. Parts I and II offer an account of my personal journey interacting with all-gender restrooms and all-gender restroom policy and activism on the MIT campus, and culminate with a series of proposed physical interventions and a single renovation to both increase the visibility of all-gender restrooms on campus and to act as a possible example for future single-gender to all-gender multi-stall restroom conversions. …”
Get full text
Thesis -
5
Towards Efficient Local 3D Conditioning
Published 2023“…Recently, Neural Implicit Representations (NIRs) have gained popularity for learning-based 3D shape representation. General representations, i.e. ones that share a decoder across a family of geometries have multiple advantages such as ability of generating previously unseen samples and smoothly interpolating between training examples. …”
Get full text
Article -
6
-
7
-
8
-
9
Temperature-jump 2D IR spectroscopy to study protein conformational dynamics
Published 2012Get full text
Thesis -
10
-
11
-
12
Guessing with a bit of help
Published 2020“…For the case of a uniform binary vector observed through a binary symmetric channel, we provide two upper bounds on the guessing ratio by analyzing the performance of the dictator (for general k≥1 ) and majority functions (for k=1 ). We further provide a lower bound via maximum entropy (for general k≥1 ) and a lower bound based on Fourier-analytic/hypercontractivity arguments (for k=1 ). …”
Get full text
Article -
13
Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
Published 2023“…This algorithm is a generalization of one used in the Orca shared object system. …”
Get full text
-
14
An effective field theory for non-maximal quantum chaos
Published 2023“…We construct an effective field theory (EFT) to capture these exchanges in (0 + 1) dimensions. The EFT generalizes the one for maximally chaotic systems, and reduces to it in the limit of maximal chaos. …”
Get full text
Article -
15
Automated Validation of Trusted Digital Repository Assessment Criteria
Published 2007“…The system is sufficiently general that one can also demonstrate the completeness and self-consistency of preservation environments. …”
Get full text
Article -
16
Lattice model for fermionic toric code
Published 2014“…The Z[subscript 2] topological order in Z[subscript 2] spin liquid and in the exactly solvable Kitaev toric code model is the simplest topological order for 2 + 1D bosonic systems. More general 2 + 1D bosonic topologically ordered states can be constructed via exactly solvable string-net models. …”
Get full text
Get full text
Article -
17
The Death Effect of Severe Climate Variability
Published 2014“…I find that severe heat increases mortality, while the health effect of severe cold is generally trivial. I show that exchanging one day with a temperature of 16-18 °C for one day with temperatures higher than 30 °C increases the crude mortality rate by 0.15 percentage points, a result robust to several model specifications. …”
Get full text
Article -
18
Resilient flow decomposition of unicast connections with network coding
Published 2016“…The proposed resilient flow decomposition method generalizes the 1+1 protection and the end-to-end diversity coding approaches while keeping both of their benefits. …”
Get full text
Get full text
Article -
19
Analytic continuation of dimensions in supersymmetric localization
Published 2018“…The results are consistent with the free multiplets and the one-loop β-functions for general N = 1 gauge theories. We also consider the analytic continuation of an N = 1 preserving mass deformation of the maximally supersymmetric gauge theory and compare to recent holographic results for N = 1[superscript ∗] super Yang-Mills. …”
Get full text
Get full text
Article -
20
Reactivity of Crystalline Slags in Alkaline Solution
Published 2021“…Slags with varied amorphous and crystalline content, typical of iron and steel production, are generally underutilized. One promising reuse pathway for these wastes is chemical activation, producing alternatives to conventional building materials with lower embodied energy. …”
Get full text
Article