Sciweavers

2659 search results - page 83 / 532
» Do we mean the same
Sort
View
BSL
2008
98views more  BSL 2008»
15 years 4 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 4 months ago
Sharp Bounds on the Entropy of the Poisson Law and Related Quantities
One of the difficulties in calculating the capacity of certain Poisson channels is that H(), the entropy of the Poisson distribution with mean , is not available in a simple form. ...
José A. Adell, Alberto Lekuona, Yaming Yu
SYNTHESE
2008
82views more  SYNTHESE 2008»
15 years 4 months ago
Kripke's paradox and the Church-Turing thesis
Kripke (1982, Wittgenstein on rules and private language. Cambridge, MA: MIT Press) presents a rule-following paradox in terms of what we meant by our past use of "plus",...
Mark D. Sprevak
JMLC
2000
Springer
15 years 8 months ago
Composable Message Semantics in Oberon
Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express addition...
Markus Hof
ISBI
2006
IEEE
16 years 5 months ago
3D anatomical variability assessment of the scoliotic spine using statistics on Lie groups
We present a method to analyse the variability of the spine shape using rigid transforms. The spine was expressed as a set of rigid transforms that superpose local coordinates sys...
Jonathan Boisvert, Xavier Pennec, Nicholas Ayache,...