Sciweavers

CC
2015
Springer
8 years 6 months ago
Mining Circuit Lower Bound Proofs for Meta-Algorithms
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolo...
CC
2015
Springer
8 years 6 months ago
Monomials in Arithmetic Circuits: Complete Problems in the Counting Hierarchy
We consider the complexity of two questions on polynomials given by arithmetic circuits: testing whether a monomial is present and counting the number of monomials. We show that t...
Hervé Fournier, Guillaume Malod, Stefan Men...
CC
2015
Springer
8 years 6 months ago
Deterministic polynomial identity tests for multilinear bounded-read formulae
We present a polynomial-time deterministic algorithm for testing whether constant-read multilinear arithmetic formulae are identically zero. In such a formula each variable occurs ...
Matthew Anderson, Dieter van Melkebeek, Ilya Volko...
CC
2015
Springer
8 years 6 months ago
On Rigid Matrices and U-Polynomials
Noga Alon, Gil Cohen
CC
2015
Springer
8 years 6 months ago
A parallel repetition theorem for entangled projection games
We study the behavior of the entangled value of two-player one-round projection games under parallel repetition. We show that for any projection game G of entangled value 1 − ε...
Irit Dinur, David Steurer, Thomas Vidick
CC
2015
Springer
8 years 6 months ago
Limits on Alternation Trading Proofs for Time-Space Lower Bounds
This paper characterizes alternation-trading based proofs that the Boolean satisfiability problem is not in the time and space
Samuel R. Buss, Ryan Williams
CC
2015
Springer
8 years 6 months ago
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages
Modeling languages for hybrid systems are cornerstones of embedded systems development in which software interacts with a physical environment. Sequential code generation from such...
Timothy Bourke, Jean-Louis Colaço, Bruno Pa...
CC
2015
Springer
8 years 6 months ago
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
Abstract. In many data processing tasks, declarative query programming offers substantial benefit over manual data analysis: the query processors found in declarative systems can...
Hilmar Ackermann, Christoph Reichenbach, Christian...