Sciweavers

92 search results - page 13 / 19
» Nonlinearity Bounds and Constructions of Resilient Boolean F...
Sort
View
SIAMCO
2008
93views more  SIAMCO 2008»
13 years 6 months ago
Dissipative Boundary Conditions for One-Dimensional Nonlinear Hyperbolic Systems
We give a new sufficient condition on the boundary conditions for the exponential stability of one-dimensional nonlinear hyperbolic systems on a bounded interval. Our proof relies ...
Jean-Michel Coron, Georges Bastin, Brigitte d'Andr...
HYBRID
2010
Springer
14 years 1 months ago
Accurate hybridization of nonlinear systems
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
Thao Dang, Oded Maler, Romain Testylier
CSR
2011
Springer
12 years 10 months ago
The Complexity of Inversion of Explicit Goldreich's Function by DPLL Algorithms
The Goldreich’s function has n binary inputs and n binary outputs. Every output depends on d inputs and is computed from them by the fixed predicate of arity d. Every Goldreich...
Dmitry Itsykson, Dmitry Sokolov
STOC
1996
ACM
97views Algorithms» more  STOC 1996»
13 years 11 months ago
Deterministic Restrictions in Circuit Complexity
We study the complexity of computing Boolean functions using AND, OR and NOT gates. We show that a circuit of depth d with S gates can be made to output a constant by setting O(S1...
Shiva Chaudhuri, Jaikumar Radhakrishnan
ECCC
2011
183views ECommerce» more  ECCC 2011»
13 years 1 months ago
Extractors and Lower Bounds for Locally Samplable Sources
We consider the problem of extracting randomness from sources that are efficiently samplable, in the sense that each output bit of the sampler only depends on some small number d ...
Anindya De, Thomas Watson