11397 search results - page 282 / 2280 » A Relational Abstraction for Functions |
184
click to vote
ECCC
2000
15 years 7 months ago
2000
Abstract. We suggest a candidate one-way function using combinatorial constructs such as expander graphs. These graphs are used to determine a sequence of small overlapping subsets...
149
click to vote
MOC
2002
15 years 7 months ago
2002
Abstract. In this paper, we are interested in the evaluation of the zeta function of the simplest cubic field. We first introduce Siegel's formula for values of the zeta funct...
166
click to vote
RC
2007
15 years 6 months ago
2007
Abstract. “Computing the pessimism” means bounding the overestimation produced by an inclusion function. There are two important distinctions with classical error analysis. Fir...
201
click to vote
MA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract − We address the estimation of quantiles from heavy-tailed distributions when functional covariate information is available and in the case where the order of the quanti...
182
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...