Advanced Search
DSpace@MIT

Browsing MIT Open Access Articles by Title

Research and Teaching Output of the MIT Community

Browsing MIT Open Access Articles by Title

Sort by: Order: Results:

  • Dennis, Gregory D.; Yessenov, Kuat T.; Jackson, Daniel (Springer Berlin Heidelberg, 2008-09)
    We present a case-study in which vote-tallying software is analyzed using a bounded verification technique, whereby all executions of a procedure are exhaustively examined within a finite space given by a bound on the size ...
  • Baer, Eric; Vasseur, Alexis (Society for Industrial and Applied Mathematics, 2013-07)
    We give a uniform bound from below on the temperature for a variant of the compressible Navier-Stokes--Fourier system, under suitable hypotheses. This system of equations forms a mathematical model of the motion of a ...
  • Sugaya, Takuo; Wolitzky, Alexander G. (The Econometric Society, 2017-05)
    We provide a simple sufficient condition for the existence of a recursive upper bound on (the Pareto frontier of) the sequential equilibrium payoff set at a fixed discount factor in two-player repeated games with imperfect ...
  • Shkolnik, Alexander C.; Levashov, Michael; Manchester, Ian R.; Tedrake, Russell Louis (Sage, 2010-12)
    A motion planning algorithm is described for bounding over rough terrain with the LittleDog robot. Unlike walking gaits, bounding is highly dynamic and cannot be planned with quasi-steady approximations. LittleDog is modeled ...
  • Geneson, Jesse; Prasad, Rohil; Tidor, Jonathan (Electronic Journal of Combinatorics, 2014-08)
    An (r,s)-formation is a concatenation of s permutations of r letters. If u is a sequence with r distinct letters, then let Ex(u,n) be the maximum length of any r-sparse sequence with n distinct letters which has no subsequence ...
  • Sreenivasa Gopalan, Vijay Kumar; Taylor, Washington (Institute of Physics, 2009-12)
    We prove that there are only finitely many distinct semi-simple gauge groups and matter representations possible in consistent 6D chiral (1,0) supergravity theories with one tensor multiplet. The proof relies only on ...
  • Cowan, Ray Franklin; Sciolla, Gabriella; Taylor, Frank E.; Yamamoto, R. K. (American Physical Society, 2004-08)
    We have measured the time-dependent decay rate for the process B→J/ψK[superscript *0](892) in a sample of about 88×10[superscript 6] Υ(4S)→BB̅ decays collected with the BABAR detector at the PEP-II asymmetric-energy B ...
  • England, Philip C.; Walker, Richard T.; Fu, Bihong; Floyd, Mike (Elsevier B.V., 2013-08)
    Palaeoshorelines around four large lakes in central Tibet record a latest-Pleistocene-to-Holocene high stand during which the lakes were filled 150–200 m more deeply than they are at present. GPS measurements of shoreline ...
  • Makur, Anuran; Zheng, Lizhong (Institute of Electrical and Electronics Engineers (IEEE), 2016-04)
    In this paper, we delineate how the contraction coefficient of the strong data processing inequality for KL divergence can be used to learn likelihood models. We then present an alternative formulation that forces the input ...
  • Fox, Jacob; Conlon, David (Springer-Verlag, 2012-08)
    We show, for any positive integer k, that there exists a graph in which any equitable partition of its vertices into k parts has at least ck [superscript 2]/log* k pairs of parts which are not ϵ -regular, where c,ϵ>0 are ...
  • Ghaffari, Mohsen; Haeupler, Bernhard; Newport, Calvin Charles; Lynch, Nancy Ann (Springer-Verlag, 2012)
    The local broadcast problem assumes that processes in a wireless network are provided messages, one by one, that must be delivered to their neighbors. In this paper, we prove tight bounds for this problem in two well-studied ...
  • Medard, Muriel; Christiansen, Mark M.; Duffy, Ken R.; Tessaro, Stefano; Calmon, Flavio du Pin; Varia, Mayank H. (Institute of Electrical and Electronics Engineers (IEEE), 2013-10)
    Lower bounds for the average probability of error of estimating a hidden variable X given an observation of a correlated random variable Y, and Fano's inequality in particular, play a central role in information theory. ...
  • Huang, Dennis; Webb, Tatiana A.; Fang, Shiang; Song, Can-Li; Kaxiras, Efthimios; Hoffman, Jennifer E.; Chang, Cui-zu; Moodera, Jagadeesh (American Physical Society, 2016-03)
    We use scanning tunneling microscopy (STM) and quasiparticle interference (QPI) imaging to investigate the low-energy orbital texture of single-layer FeSe/SrTiO[subscript 3]. We develop a T-matrix model of multiorbital QPI ...
  • Baym, Michael Hartmann; West, Douglas B. (Springer Science+Business Media, 2012-11)
    Trotter conjectured that dimP×Q≥dimP+dimQ−2 for all posets P and Q. To shed light on this, we study the k-dimension of products of finite orders. For k ∈ o(ln n), the value 2dimk(P)−dimk(P×P) is unbounded when P is an ...
  • Dalai, Marco; Polyanskiy, Yury (Institute of Electrical and Electronics Engineers (IEEE), 2016-07)
    We give new bounds on the reliability function of a typewriter channel with 5 inputs and crossover probability 1/2. The lower bound is more of theoretical than practical importance; it improves very marginally the expurgated ...
  • Luders, Brandon Douglas; Karaman, Sertac; Frazzoli, Emilio; How, Jonathan P. (Institute of Electrical and Electronics Engineers, 2010-07)
    This paper considers the real-time motion planning problem for autonomous systems subject to complex dynamics, constraints, and uncertainty. Rapidly-exploring random trees (RRT) can be used to efficiently construct trees ...
  • Hsu, Chia Wei; Stone, A. Douglas; Zhen, Bo; Joannopoulos, John; Soljacic, Marin (Nature Publishing Group, 2016-07)
    Bound states in the continuum (BICs) are waves that remain localized even though they coexist with a continuous spectrum of radiating waves that can carry energy away. Their very existence defies conventional wisdom. ...
  • Vernier, Eric; Pekker, David; Zwierlein, Martin Wolfram; Demier, Eugene (American Physical Society, 2011-03)
    We consider a localized impurity atom that interacts with a cloud of fermions in the paired state. We develop an effective scattering length description of the interaction between an impurity and a fermionic atom using ...
  • Wang, Chong (American Physical Society, 2015-06)
    We propose a simple theoretical construction of certain short-range entangled phases of interacting fermions, by putting the bound states of three fermions (which we refer to as clustons) into topological bands. We give ...
  • Schneider, Christian Michael; Kesselring, Tobias A.; Jose, Andrade, S. Jr.; Herrmann, Hans J. (American Physical Society, 2012-07)
    The self-similarity of complex networks is typically investigated through computational algorithms, the primary task of which is to cover the structure with a minimal number of boxes. Here we introduce a box-covering ...
Open Access