research
∙
11/01/2022
A Categorical Framework for Modeling with Stock and Flow Diagrams
Stock and flow diagrams are already an important tool in epidemiology, b...
share
research
∙
07/12/2021
The Fundamental Theorem of Natural Selection
Suppose we have n different types of self-replicating entity, with the p...
research
∙
09/26/2020
Operads for Designing Systems of Systems
System of systems engineering seeks to analyze, design and deploy collec...
research
∙
05/14/2019
Enriched Lawvere Theories for Operational Semantics
Enriched Lawvere theories are a generalization of Lawvere theories that ...
research
∙
04/07/2019
Network Models from Petri Nets with Catalysts
Petri networks and network models are two frameworks for the composition...
research
∙
08/16/2018