#	Pagina
attuale pagina	/open-h2020/projects/209685/index.html

Opendata, web and dolomites

RaSiR SIGNED

Rule-algebraic Simple Rewriting

Total Cost €

EC-Contrib. €

Partnership

Views

RaSiR project word cloud

Explore the words cloud of the RaSiR project. It provides you a very rough idea of what is the project "RaSiR" about.

predominantly environment centric interdisciplinary algorithm irif truncations final distributions kappa individual programming simulation software display proposes ideal practical framework dr developers valorise admit hosted kasim update rule skills biological communicate alternative consists community france team ocba pure ssa functions krivine graph paris modules previously implementing rewriting simulating serve extremely solution compression algebraically equation mathematical suite bootstrapping basis simplicial form stochastic pps diderot language formal university secondly rasir reaction world theoretical algebraic module approximate complexity master trace biochemical calculating generation experts variants chemical conventional jean describe combinatorial algorithms

Project "RaSiR" data sheet

The following table provides information about the project.

Coordinator	UNIVERSITE PARIS DIDEROT - PARIS 7 There are not information about this coordinator. Please contact Fabio for more information, thanks.
Coordinator Country	France [FR]
Total cost	173˙076 €
EC max contribution	173˙076 € (100%)
Programme	1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
Code Call	H2020-MSCA-IF-2016
Funding Scheme	MSCA-IF-EF-ST
Starting year	2017
Duration (year-month-day)	from 2017-10-01 to 2019-09-30

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	UNIVERSITE DE PARIS UNIVERSITE DE PARIS Organization address address: 85 BD SAINT GERMAIN city: PARIS postcode: 75006 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS)	coordinator	173˙076.00
2	UNIVERSITE PARIS DIDEROT - PARIS 7 UNIVERSITE PARIS DIDEROT - PARIS 7 Organization address address: RUE THOMAS MANN 5 city: PARIS postcode: 75205 website: www.univ-paris-diderot.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS)	coordinator	0.00

Map

Project objective

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.

Publications

List of publications.
year	authors and title	journal	last update
2019	Nicolas Behr Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework published pages: 23-52, ISSN: 2075-2180, DOI: 10.4204/eptcs.309.2	Electronic Proceedings in Theoretical Computer Science 309	2020-04-08
2019	Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi Operator Ordering and Solution of Pseudo-Evolutionary Equations published pages: 35, ISSN: 2075-1680, DOI: 10.3390/axioms8010035	Axioms 8/1	2020-04-08
2019	Nicolas Behr, Giuseppe Dattoli, Ambra Lattanzi, Silvia Licciardi Dual Numbers and Operational Umbral Methods published pages: 77, ISSN: 2075-1680, DOI: 10.3390/axioms8030077	Axioms 8/3	2020-04-08
2019	Nicolas Behr, Giuseppe Dattoli, GÃ©rard Duchamp, Silvia Penson Operational Methods in the Study of Sobolev-Jacobi Polynomials published pages: 124, ISSN: 2227-7390, DOI: 10.3390/math7020124	Mathematics 7/2	2020-04-08

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "RASIR" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "RASIR" are provided by the European Opendata Portal: CORDIS opendata.