10602 search results - page 78 / 2121 » Weakly Useful Sequences |
FSTTCS
2010
Springer
13 years 7 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
SIAMSC
2011
13 years 4 months ago
2011
In this paper we describe a general framework for deriving modified equations for stochastic differential equations with respect to weak convergence. Modified equations are deri...
ASWEC
2008
IEEE
14 years 3 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
ACISP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. We explore three applications of geometric sequences in constructing cryptographic Boolean functions. First, we construct 1-resilient functions of n Boolean variables wit...
EPIA
1995
Springer
14 years 24 days ago
1995
Springer
Abstract. Argument-based formalisms are gaining popularity as models of nonmonotonic reasoning. Central in such formalisms is a notion of argument. Arguments are formal reconstruct...