Mathematics is a highly specialized domain with its own unique set of
ch...
We investigate different systems for extracting mathematical entities fr...
Engineering safe and secure cyber-physical systems requires system engin...
As the complexity and heterogeneity of a system grows, the challenge of
...
This paper applies operads and functorial semantics to address the probl...