In mathematical logic and computer science the symbol has taken the name turnstile because of its resemblance to a typical turnstile if viewed from… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- Omri Weinstein, David P. Woodruff
- ICALP
- 2015

We study k-party set disjointness in the simultaneous message-passing model, and show that even if each element i ∈ [n] is… (More)

Is this relevant?

2015

2015

- Christian Konrad
- ESA
- 2015

We consider the unweighted bipartite maximum matching problem in the one-pass turnstile streaming model where the input stream… (More)

Is this relevant?

2013

2013

- Varick L. Erickson, Stefan Achleitner, Alberto Cerpa
- 2013 ACM/IEEE International Conference on…
- 2013

Buildings account for 40% of US primary energy consumption and 72% of electricity. Of this total, 50% of the energy consumed in… (More)

Is this relevant?

2011

2011

- R. Garcia, Francisco Mayol, J. M. Montero, Antonio Culebras
- IEEE Antennas and Propagation Magazine
- 2011

This paper presents the development of a circular-polarization feed comprising an OMT (orthomode transducer) and a corrugated… (More)

Is this relevant?

2010

2010

We consider the problem of approximating a set P of η points in <i>R</i><sup>d</sup> by a j-dimensional subspace under the <i>l… (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Kenneth L. Clarkson, David P. Woodruff
- STOC
- 2009

We give near-optimal space bounds in the streaming model for linear algebra problems that include estimation of matrix products… (More)

Is this relevant?

2009

2009

- Neil D. Jones, Lars Kristiansen
- ACM Trans. Comput. Log.
- 2009

We present a method for certifying that the values computed by an imperative program will be bounded by polynomials in the… (More)

Is this relevant?

2009

2009

- Francesca Scire-Scappuzzo, S. N. Makarov
- IEEE Transactions on Antennas and Propagation
- 2009

We compare the performance of the classic global positioning system (GPS) choke ring ground plane with a new shallower design… (More)

Is this relevant?

1998

1998

- Carlos Areces, Eva Hoogland, Dick de Jongh
- Advances in Modal Logic
- 1998

In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow… (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- Leslie Lamport
- Commun. ACM
- 1989

Over the past few years, I have developed an approach to the formal specification of concurrent systems that I now call the… (More)

Is this relevant?