Communicating sequential processes
Communicating sequential processes
Complexity and real computation
Complexity and real computation
Neural networks and analog computation: beyond the Turing limit
Neural networks and analog computation: beyond the Turing limit
Lower bounds for the computational power of networks of spiking neurons
Neural Computation
Parallelization of algorithms with recurrent neural networks
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part I
Hi-index | 5.23 |
We study the predecessor existence problem for finite discrete dynamical systems. Given a finite discrete dynamical system S and a configuration C, the Predecessor existence (or Pre) problem is to determine whether there is a configuration C^' such that ...