A New Method of Interpolation and Smooth Curve Fitting Based on Local Procedures

JOURNAL ARTICLE published October 1970 in Journal of the ACM

Authors: Hiroshi Akima

Numerical Inversion of Laplace Transforms Using a Fourier Series Approximation

JOURNAL ARTICLE published January 1976 in Journal of the ACM

Authors: Kenny S. Crump

Fixpoint logics, relational machines, and computational complexity

JOURNAL ARTICLE published 15 January 1997 in Journal of the ACM

Authors: Serge Abiteboul | Moshe Y. Vardi | Victor Vianu

Alternating-time temporal logic

JOURNAL ARTICLE published September 2002 in Journal of the ACM

Authors: Rajeev Alur | Thomas A. Henzinger | Orna Kupferman

Beyond the flow decomposition barrier

JOURNAL ARTICLE published September 1998 in Journal of the ACM

Authors: Andrew V. Goldberg | Satish Rao

Periodification scheme

JOURNAL ARTICLE published September 2000 in Journal of the ACM

Authors: Mirosław kutyłowski | Krzysztof Loryś | Brigitte Oesterdiekhoff | Rolf Wanka

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

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