research
∙
07/13/2023
Parmesan: mathematical concept extraction for education
Mathematics is a highly specialized domain with its own unique set of ch...
share
research
∙
08/29/2022
Extracting Mathematical Concepts from Text
We investigate different systems for extracting mathematical entities fr...
research
∙
05/27/2021
Compositional Thinking in Cyber-Physical Systems Theory
Engineering safe and secure cyber-physical systems requires system engin...
research
∙
01/26/2021
Operads for complex system design specification, analysis and synthesis
As the complexity and heterogeneity of a system grows, the challenge of ...
research
∙
09/15/2020