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
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.



 
Back to JVT Research
Back to JVT Home Page