Seminars 2018-2019 – The ANTIQUE Research Team

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

2018/10/31 - 2:00 PM 2023/10/15Seminars 2018-2019

Aimed at applications of our recently developed rule algebra framework to the study of complex systems, we introduce two novel concepts. Consider a complex system specified in the form of a stochastic rewriting system, in terms of its state space, its initial state and its possible random transitions. Our combinatorial…

Tropical Abstraction of Biochemical Reaction Networks with Guarantees

2018/09/20 - 2:00 PM 2023/10/18Seminars 2018-2019

Biochemical molecules interact through modification and binding reactions, giving raise to a combinatorial number of possible biochemical species. The time-dependent evolution of concentrations of the species is commonly described by a system of coupled ordinary differential equations (ODEs). However, the analysis of such high-dimensional, non-linear system of equations is often…

A weak consensus algorithm with applications to sidechaining

2018/09/19 - 2:00 PM 2023/10/15Seminars 2018-2019

No abstract available (joint work with Vincent Danos).