16430 search results - page 780 / 3286 » On Computable Tree Functions |
200
click to vote
IWFM
2003
15 years 9 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
200
click to vote
JUCS
2008
15 years 7 months ago
2008
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
193
click to vote
MOC
2002
15 years 7 months ago
2002
We explain how one can dispense with the numerical computation of approximations to the transcendental integral functions involved when computing class numbers of quadratic number ...
397
click to vote
Book
"Numerical Computing with MATLAB is a textbook for an introductory course
in numerical methods, Matlab, and technical computing. The emphasis is on informed use of mathematic...
181
Voted
CMMR
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents ongoing research into the design and creation of interfaces for computer music. This work concentrates on the use of sensor as the primary means of interaction ...