Add to ORKG“Theories of computations for continuous systems. Applications to models of computations, to distributed computing, and t
Logic programs may be construed as discrete-time and continuous-time dynamical systems with continuo...
AbstractWe introduce three notions of computation for processes described as CCS (Calculus of Commun...
Our model of computation (theoretical machine) was designed for the analysis of analog Fourier optic...
The goal of the course is to provide a bridge between the theoretical and practical aspects of scien...
Abstract: In this paper, functioning and interaction of distributed devices and concurrent algorithm...
This book is a definitive introduction to models of computation for the design of complex, heterogen...
In this article we develop a theory of computation for continuous mathematics. The theory is based o...
Continuous complexity theory gets its name from the model of mathematical computation on which it is...
We provide a tutorial introduction to reachability computation, a class of computational techniques ...
This book presents in their basic form the most important models of computation, their basic program...
In the paper we define the notion of a continuous machine of memory length τ, which can be said to b...
Abstract. We study the computational power of Piecewise Constant Derivative (PCD) systems. PCD syste...
We study the computational power of Piecewise Constant Derivative (PCD) systems. PCD systems are dyn...
As in the previous volume on the topic, the authors close the gap between abstract mathematical appr...
Abstract: Contemporary computer theory is governed by the discretization of continuous problems. Cla...
Logic programs may be construed as discrete-time and continuous-time dynamical systems with continuo...
AbstractWe introduce three notions of computation for processes described as CCS (Calculus of Commun...
Our model of computation (theoretical machine) was designed for the analysis of analog Fourier optic...
The goal of the course is to provide a bridge between the theoretical and practical aspects of scien...
Abstract: In this paper, functioning and interaction of distributed devices and concurrent algorithm...
This book is a definitive introduction to models of computation for the design of complex, heterogen...
In this article we develop a theory of computation for continuous mathematics. The theory is based o...
Continuous complexity theory gets its name from the model of mathematical computation on which it is...
We provide a tutorial introduction to reachability computation, a class of computational techniques ...
This book presents in their basic form the most important models of computation, their basic program...
In the paper we define the notion of a continuous machine of memory length τ, which can be said to b...
Abstract. We study the computational power of Piecewise Constant Derivative (PCD) systems. PCD syste...
We study the computational power of Piecewise Constant Derivative (PCD) systems. PCD systems are dyn...
As in the previous volume on the topic, the authors close the gap between abstract mathematical appr...
Abstract: Contemporary computer theory is governed by the discretization of continuous problems. Cla...
Logic programs may be construed as discrete-time and continuous-time dynamical systems with continuo...
AbstractWe introduce three notions of computation for processes described as CCS (Calculus of Commun...
Our model of computation (theoretical machine) was designed for the analysis of analog Fourier optic...