research
∙
05/26/2023
A Categorical Representation Language and Computational System for Knowledge-Based Planning
Classical planning representation languages based on first-order logic h...
share
research
∙
05/09/2022
Compositional Modeling with Stock and Flow Diagrams
Stock and flow diagrams are widely used in epidemiology to model the dyn...
research
∙
02/28/2022
An Algebraic Framework for Structured Epidemic Modeling
Pandemic management requires that scientists rapidly formulate and analy...
research
∙
11/02/2021
Double pushout rewriting of C-sets
We generalize a pushout complement algorithm from graph rewriting to fin...
research
∙
06/08/2021
Categorical Data Structures for Technical Computing
Many mathematical objects can be represented as functors from finitely-p...
research
∙
01/26/2021
Wiring diagrams as normal forms for computing in symmetric monoidal categories
Applications of category theory often involve symmetric monoidal categor...
research
∙
06/16/2020
The algebra and machine representation of statistical models
As the twin movements of open science and open source bring an ever grea...
research
∙
05/11/2020
Compositional Scientific Computing with Catlab and SemanticModels
Scientific computing is currently performed by writing domain specific m...
research
∙
09/23/2019
String Diagrams for Assembly Planning
Assembly planning is a difficult problem for companies. Many disciplines...
research
∙
09/06/2019
Graph Representation Ensemble Learning
Representation learning on graphs has been gaining attention due to its ...
research
∙
05/08/2019
Conformalized Quantile Regression
Conformal prediction is a technique for constructing prediction interval...
research
∙
07/16/2018
Teaching machines to understand data science code by semantic enrichment of dataflow graphs
Your computer is continuously executing programs, but does it really und...
research
∙
06/02/2017