J V Tucker: Research
Computation and Physical Systems
For many years I have been interested in the foundations of modelling
physical systems, especially algorithmic models and program semantics
for spatially extended systems. My main research interests have been
focussed upon problems concerned with
- continuous data, like real numbers
- synchronous concurrent algorithms as a general model for
spatially extended systems
- spatial data types and their applications in volume graphics.
In recent years, together with Edwin Beggs I have been
working on the physical foundations of computability theory and, with
Jeff Zucker, on analogue computation.
1. Experimental
computation
2. Analogue computation
I will sketch some of the background and results of recent research.
1. Experimental
Computation
E J Beggs and J V Tucker, Computations
via experiments with kinematic systems, Technical Report 5-2004,
Department of Computer Science, University of Wales Swansea, March
2004.
E J Beggs and J V Tucker, Newtonian
systems, bounded in space, time, mass and energy can compute all
functions, Technical Report 3-2005,
Department of Computer Science, University of Wales Swansea, February
2005.
E J Beggs and J V Tucker, Embedding
infinitely parallel computation in Newtonian kinematic systems,
Technical
Report ??-2005,
Department of Computer Science, University of Wales Swansea, July
2005. Applied Mathematics and
Computation, accepted.
E J Beggs and J V Tucker, Experimental
computation of real numbers by Newtonian machines, Technical Report
9-2006,
Department of Computer Science, University of Wales Swansea, June
2006.
2. Analogue
Computation
J V Tucker and J I Zucker, A
network model of analogue computation over metric algebras, in S B
Cooper, B Lowe, L Torenvliet (eds), Computability in Europe 2005,
Lecture Notes in Computer Science 3526 , Springer Verlag, 2005, pages
515-529.