ConTComp:
Continuous Time Computation and Complexity
Project POCTI/MAT/45978/2002 funded by FCT and FEDER.
September 2003-December 2006
A project of CLC
on the complexity of continuous time computation and, in particular, on
real recursive functions and continuous dynamical systems, such as
continuous
time neural network and analog circuits.
Core team
Results
Tasks
-
Real recursive functions
-
Algebraic properties of the relations between analog and standard
notions
of complexity.
-
Analog characterizations of low time complexity classes.
-
Links between problems in computational complexity and in the the
theory
of differential equations.
-
Real recursive functions and continuous dynamical systems.
-
Continuous dynamical systems
-
Neural networks with complex spatiotemporal dynamics.
-
Analog circuits.
-
Complexity and robustness to perturbations.
Documents