13784 search results - page 417 / 2757 » On Computing Functions with Uncertainty |
176
click to vote
JAT
2010
15 years 5 months ago
2010
We give a bivariate analog of the Micchelli-Rivlin quadrature for computing the integral of a function over the unit disk using its Radon projections. AMS subject classification:...
197
click to vote
MCU
2007
15 years 8 months ago
2007
We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
195
click to vote
EUROCRYPT
2003
Springer
16 years 35 min ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
190
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...
183
click to vote
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...