Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
The large scale adoption of adaptive services in pervasive and mobile computing is likely to be conditioned to the availability of reliable privacy-preserving technologies. Unfort...
— Many applications of Reservoir Computing (and other signal processing techniques) have to deal with information processing of signals with multiple time-scales. Classical Reser...
Francis Wyffels, Benjamin Schrauwen, David Verstra...
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
In this paper, we present an application of grid computing to solve an important industrial problem: that of optimising the band gap of photonic crystals, which are an important te...
Duan H. Beckett, Ben P. Hiett, Ken S. Thomas, Simo...