16430 search results - page 673 / 3286 » On Computable Tree Functions |
209
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...
223
click to vote
EUROCRYPT
2003
Springer
16 years 14 days 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...
205
click to vote
BMCBI
2005
15 years 7 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...
204
click to vote
TLCA
2005
Springer
16 years 22 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...
209
click to vote
SMI
2008
IEEE
16 years 1 months ago
2008
IEEE
The distribution of geometric features is anisotropic by its nature. Intrinsic properties of surfaces such as normal curvatures, for example, varies with direction. In this paper ...