Analysis and Simulation of Complex Networks We consider stochastic spreading processes on large complex networks and develop novel methods for efficient simulation, analysis, and control of the emerging dynamics.
MULTIMODE (DFG) In this project we develop novel methods for the analysis of stochastic chemical reaction networks that exhibit multimodal behaviour.
NextAID (Saarland University) Our mission is to apply cutting-edge machine learning methods to accelerate compound screening, perform in-silico predictions of pharmacokinetic properties and toxicity of drug candidates, improve drug efficacy and effectiveness, and design new drug candidates.
MoDigPro/Reinforcement Learning (ERDF) We approximate near-optimal policies of stochastic decision making processes where process rewards are determined by the discrete-event simulation of a related reward model. Our focus is on combinations of Deep Reinforcement Learning methods and planning heuristics to solve planning benchmarks and applications from automotive industry.
Tools
Geobound Overview Geobound takes a transition class model and a polynomial Lyapunov function as input and symbolically computes the drift, i.e. a multivariate polynomial expressing the expected change in the Lyapunov function for each state.
H(O)TA Overview H(O)TA is a Matlab based tool that allows biologists to accurately measure the methylation and hydroxylation levels at a certain locus of the DNA and to determine the efficiencies of the enzymes that are responsible for maintenance (Dnmt1) and de novo (Dnmt3a/b) methylation as well as hydroxylation (Tets) at this locus over time.
LumPy The LumPy toolset implements lumping for Pair-Approximation (PA) and Degree-Based Mean Field (DBMF) equations for contact processes on complex networks. It reduces the large number of ODEs given by the PA or DBMF equations by clustering them and solving instead just a single ODE per cluster.
STAR STAR is a tool for the stochastic hybrid analysis of Markov population models, that is, Markov processes with an underlying population structure. It efficiently computes an accurate approximation of the probability distribution at a particular time instant based on a stochastic hybrid model that combines moment-based and state-based representations of probability distributions.