Cancer is a complex disease, responsible for significant portion of global deaths. The increasing prioritisation know-why over know-how approaches in biological research has favoured the rising use both white- and black-box mathematical techniques cancer modelling, seeking to better grasp multi-scale mechanistic workings its phenomena (such as tumour-immune interactions, drug resistance, tumour...

Noether's calculus of invariant variations yields exact identities from functional symmetries. The standard application to an action integral allows identify conservation laws. Here we rather consider generating functionals, such as the free energy and power functional, for equilibrium driven many-body systems. Translational rotational symmetry operations yield mechanical These global express v...

This paper is a contribution to the search for efficient and high-level mathematical tools specify reason about (abstract) programming languages or calculi. Generalising reduction monads of Ahrens et al., we introduce transition monads, thus covering new applications such as lambda-bar-mu-calculus, pi-calculus, Positive GSOS specifications, differential lambda-calculus, big-step, simply-typed, ...