This paper refines the existing axiomatic semantics of digital circuits ...
We enhance the calculus of string diagrams for monoidal categories with
...
In this work, we propose an optimization algorithm which we call norm-ad...
Causal functions of sequences occur throughout computer science, from th...
We investigate causal computations taking sequences of inputs to sequenc...
In the field of quality assurance of hybrid systems (that combine contin...
We investigate a canonical way of defining bisimilarity of systems when ...
This article studies (multilayer perceptron) neural networks with an emp...