research
∙
06/27/2023
Cartesian institutions with evidence: Data and system modelling with diagrammatic constraints and generalized sketches
Data constraints are fundamental for practical data modelling, and a ver...
share
research
∙
11/29/2021
Is the Rush to Machine Learning Jeopardizing Safety? Results of a Survey
Machine learning (ML) is finding its way into safety-critical systems (S...
research
∙
12/20/2019
Assurance via workflow+ modelling and conformance
We propose considering assurance as a model management enterprise: sayin...
research
∙
11/28/2019
General supervised learning as change propagation with delta lenses
Delta lenses are an established mathematical framework for modelling and...
research
∙
11/28/2019
General supervised categorical learning as change propagation with delta lenses
Delta lenses are an established mathematical framework for modelling and...
research
∙
11/28/2019
Supervised categorical learning as change propagation with delta lenses
Delta lenses are an established mathematical framework for modelling and...
research
∙
11/26/2019