From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking

JOURNAL ARTICLE published November 2013 in Journal of the ACM

Research funded by Office of Naval Research (N000140811249)

Authors: Omar Fawzi | Patrick Hayden | Pranab Sen

Connectivity and Reversibility in Automata

JOURNAL ARTICLE published April 1970 in Journal of the ACM

Authors: Zamir Bavel | David E. Muller

Probabilistic inductive inference

JOURNAL ARTICLE published April 1989 in Journal of the ACM

Authors: L. Pitt

Embeddability in R ³ is NP-hard

JOURNAL ARTICLE published 31 August 2020 in Journal of the ACM

Research funded by Campus France (EMBEDS II CZ:7AMB17FR029 FR:38087RM) | Agence Nationale de la Recherche (ANR-16-CE40-0009-01) | Grantová Agentura ðeské Republiky (16-01602Y) | Simons Foundation (637880)

Authors: Arnaud de Mesmay | Yo’av Rieck | Eric Sedgwick | Martin Tancer

On the Decidability of Membership in Matrix-exponential Semigroups

JOURNAL ARTICLE published 30 June 2019 in Journal of the ACM

Research funded by Engineering and Physical Sciences Research Council (EP/N008197/1) | European Research Council (648701)

Authors: Joël Ouaknine | Amaury Pouly | João Sousa-Pinto | James Worrell

A note on probabilistically verifying integer and polynomial products

JOURNAL ARTICLE published January 1989 in Journal of the ACM

Authors: Michael Kaminski

On computing all abductive explanations from a propositional Horn theory

JOURNAL ARTICLE published October 2007 in Journal of the ACM

Authors: Thomas Eiter | Kazuhisa Makino

The string B-tree

JOURNAL ARTICLE published March 1999 in Journal of the ACM

Authors: Paolo Ferragina | Roberto Grossi

JOURNAL ISSUE published 1 October 2007 in Journal of the ACM

A Purely Homomorphic Characterization of Recursively Enumerable Sets

JOURNAL ARTICLE published April 1979 in Journal of the ACM

Authors: K. Culik

On Computing the Exact Determinant of Matrices with Polynomial Entries

JOURNAL ARTICLE published January 1975 in Journal of the ACM

Authors: E. Horowitz | S. Sahni

Tree Structures for Optimal Searching

JOURNAL ARTICLE published July 1970 in Journal of the ACM

Authors: L. E. Stanfel

Probability Models for Buffer Storage Allocation Problems

JOURNAL ARTICLE published April 1971 in Journal of the ACM

Authors: Donald P. Gaver | Peter A. W. Lewis

Program and Addressing Structure in a Time-Sharing Environment

JOURNAL ARTICLE published January 1966 in Journal of the ACM

Authors: B. W. Arden | B. A. Galler | T. C. O'Brien | F. H. Westervelt

Floating-Point Arithmetics

JOURNAL ARTICLE published April 1960 in Journal of the ACM

Authors: W. G. Wadey

Chebyshev Solution of n+1 Linear Equations in n + 1 n Unknowns

JOURNAL ARTICLE published July 1965 in Journal of the ACM

Authors: David Moursund

On the Recognition of Information With a Digital Computer

JOURNAL ARTICLE published April 1957 in Journal of the ACM

Authors: Herbert T. Glantz

Some Binary Derivation Systems

JOURNAL ARTICLE published April 1974 in Journal of the ACM

Authors: E. E. Sibert | D. Michie

Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents

JOURNAL ARTICLE published 30 April 2023 in Journal of the ACM

Research funded by NSF (IIS-1703846, IIS-0911036) | ARO (W911NF-17-1-0592) | MURI (W911NF-19-1-0217)

Authors: Ivan Geffner | Joseph Y. Halpern

Almost Optimal Exact Distance Oracles for Planar Graphs

JOURNAL ARTICLE published 30 April 2023 in Journal of the ACM

Research funded by NSF (CF-1637546, CCF-1815316) | Israel Science Foundation (592/17, 810/21) | Independent Research Fund Denmark (7027-00050B)

Authors: Panagiotis Charalampopoulos | Paweł Gawrychowski | Yaowei Long | Shay Mozes | Seth Pettie | Oren Weimann | Christian Wulff-Nilsen