Zobrazeno 1 - 10 of 29 pro vyhledávání: '"J. V. Tucker"'
4
Computable functions and semicomputable sets on many-sorted algebras
Autor: J. V. Tucker, J. I. Zucker
The theory of the computable functions is a mathematical theory of total and partial functions of the form f : Nn →N, and sets of the form. . . SÍ Nn. . .that can be defined by means of algorithms on the set . . . N = {0,1,2, . . . } . . . of natu
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ebb7ccbeef8cd36b223735a2ee0b9bd0
https://doi.org/10.1093/oso/9780198537816.003.0008
Zobrazit plný text záznamu
5
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 317–329. - R. Statman. Equality between functionals revisited. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 331–338. - Robert E. Byerly. Mathematical aspects of recursive function theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 339–352
Autor: J. V. Tucker
Publikováno v: Journal of Symbolic Logic. 55:876-878
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::123f7ee577c43682edbd4211d8fbf87f
https://doi.org/10.2307/2274676
Zobrazit plný text záznamu
6
Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack
Autor: J. V. Tucker, B. McConnell
Publikováno v: Logic and Algebra of Specification ISBN: 9783642634482
An infinite synchronous concurrent algorithm (isca) is an algorithm composed of infinitely many modules and channels, computing and communicating in parallel, and synchronised by a global clock. A theory of such algorithms will explore infinite paral
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::31eb862156792840d217a4f95a750116
https://doi.org/10.1007/978-3-642-58041-3_9
Zobrazit plný text záznamu
7
Theoretical framework for analysing the behaviour of real and simulated neural networks
Autor: Arun V. Holden, J. V. Tucker, B. C. Thompson, D. Withington, Henggui Zhang
Publikováno v: Neural Network Dynamics ISBN: 9783540197713
We outline the theory of synchronous concurrent algorithms, as it may be applied to models of neurobiological networks; and illustrate its application by an example of the behaviour of a neural network model (synchronisation and visual binding) and t
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0ce3420c50135fe27af3770700066676
https://doi.org/10.1007/978-1-4471-2001-8_11
Zobrazit plný text záznamu
8
Excitable Media as Computational Systems
Autor: B. C. Thompson, J. V. Tucker, Arun V. Holden
Publikováno v: Nonlinear Wave Processes in Excitable Media ISBN: 9781489936851
A number of mathematical approaches may be used to model a given excitable system. For an excitable system that is not spatially extensive a map, or a system of nonlinear ordinary differential equations may be appropriate. For a spatially extensive e
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4bbaf4ebe8c694b86a1a7d85880d7474
https://doi.org/10.1007/978-1-4899-3683-7_45
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje