Cel The basis for this project consists in a mathematical framework previously developed by the applicant that allows to describe graph rewriting systems algebraically, the so-called rule algebraic framework. In order to advance and valorise the concept, this project proposes to develop a general concept for rule-algebraic simple rewriting (RaSiR), both for conventional graph rewriting and for a novel form of simplicial rewriting. Secondly, RaSiR will serve as the basis for developing rule-algebraic variants of trace compression and observable-update algorithms for the rewriting system Kappa. The final aim of the project consists in developing and implementing the so-called observable-centric bootstrapping algorithm (OCBA) as a module for the simulation suite KaSim for the Kappa language. Kappa is predominantly used for simulating biochemical reaction systems, which typically display an extremely high combinatorial complexity. The algorithms and software modules developed in this project will provide in particular an alternative to pure stochastic simulation via the SSA algorithm as currently implemented in KaSim, in the form of the OCBA module. This module will admit the generation of approximate observable distributions from individual pure states of the system by calculating algebraically truncations of the formal solution of the chemical master equation as well as the induced observable update functions. The project shall be hosted by Dr. Jean Krivine of the PPS team at IRIF at the University Paris-Diderot in France. Dr. Krivine is one of the two main developers of the KaSim simulation suite, and moreover one of the world experts in the theoretical and practical development of the programming language Kappa. IRIF will provide an ideal environment for the applicant to develop new skills, to be part the very interdisciplinary research team PPS, and to communicate and valorise the project results to the greater biochemical and systems biological simulation community. Dziedzina nauki natural sciencescomputer and information sciencessoftware Program(-y) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Temat(-y) MSCA-IF-2016 - Individual Fellowships Zaproszenie do składania wniosków H2020-MSCA-IF-2016 Zobacz inne projekty w ramach tego zaproszenia System finansowania MSCA-IF-EF-ST - Standard EF Koordynator UNIVERSITE PARIS CITE Wkład UE netto € 173 076,00 Adres 85 BD SAINT GERMAIN 75006 Paris Francja Zobacz na mapie Region Ile-de-France Ile-de-France Paris Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Uczestnictwo w unijnych programach w zakresie badań i innowacji Opens in new window sieć współpracy HORIZON Opens in new window Koszt całkowity € 173 076,00
