jpfairbanks
commented
2 years ago I made a greatest hits list for the ASKEM kickoff meeting. Should we publish it on the website and keep it updated?
These three are about modeling in ODEs: Model Formulation with operad algebras https://arxiv.org/abs/2105.12282 Model Verification by encoding scientific theories as type systems https://arxiv.org/abs/2203.16345 Model Mutation with Rewriting (won best paper yesterday at ICGT) https://arxiv.org/abs/2111.03784 Model Space Exploration with Categories of Diagrams https://arxiv.org/abs/2206.08755
Physics: This one is the first in a series (to be written) on math physics that is the multiphysics stuff we will be extending on ASKEM https://arxiv.org/abs/2204.01843 In Prep: The next in the series is about simulating these multiphysics. In Prep: The third will be about things like multi grid and multi scale.
Demos: AlgebraicDynamics Documentation: https://algebraicjulia.github.io/AlgebraicDynamics.jl/dev/ AlgebraicPetri Documentation and Examples: https://algebraicjulia.github.io/AlgebraicPetri.jl/dev/ BilayerNetworks: https://algebraicjulia.github.io/AlgebraicPetri.jl/dev/examples/covid/bilayerconversion/ Most Polished Examples of Model Stratification https://github.com/AlgebraicJulia/Structured-Epidemic-Modeling Model Mutation: https://algebraicjulia.github.io/AlgebraicRewriting.jl/dev/ (under development) Markov Chain Modeling Ising Model Example, slightly out of date: https://github.com/AlgebraicJulia/CombinatorialChains.jl Stock Flow Diagrams: https://github.com/AlgebraicJulia/StockFlow.jl/blob/master/examples/primitive_schema_examples/Covid19_composition_model_in_paper.ipynb
Add a section to the landing page with recent talks and published papers of our technology. (eg. JuliaCon 2020 talk, ACT talks, etc.)