RUBYX

Intrinsic Complexity of Rule-Based Systems

Coordinatore	KOBENHAVNS UNIVERSITET    more  Organization address postcode: 1017 contact info Titolo: Mr. Nome: Bjarne Friis Cognome: Ploumark Email: send email Telefono: 4535322712 Fax: 4535324612
Nazionalità Coordinatore	Denmark [DK]
Totale costo	221˙154 €
EC contributo	221˙154 €
Programma	FP7-PEOPLE Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
Code Call	FP7-PEOPLE-2013-IEF
Funding Scheme	MC-IEF
Anno di inizio	2014
Periodo (anno-mese-giorno)	2014-12-01   -   2017-03-09

 Partecipanti

#	participant	country	role	EC contrib. [€]
1	KOBENHAVNS UNIVERSITET	DK	coordinator	221˙154.60

Mappa

 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

 Obiettivo del progetto (Objective)

'The RUBYX project will extend the theoretical foundations for the area of rule-based systems used in theoretical computer science to model biological and chemical processes with the aim of extending their areas of application to new areas. Rule-based systems give rise to systems of differential equations that describe the evolution of the biochemical systems modelled, but which are too complex to solve with current state-of-the art algorithms. RUBYX will address this shortcoming by (i) providing a theoretical characterisation of the intrinsic computational complexity of general rule-based systems; (ii) employ techniques from graph rewriting to investigate the optimality of existing techniques from Kappa calculus, and characterise the set of rule-based methods for which optimal methods exist; (iii) provide experimental in silico corroboration of the theoretical results. The RUBYX project aims to further strengthen the leading European position in the theoretical treatment of synthetic biology (the mathematical and computer scientific aspects of which have internationally leading experts in France, Italy and Scotland) by enabling a highly promising junior researcher in the area to interface with leading European experts in computational complexity theory and rewriting (with internationally leading experts in, amongst other countries, Denmark, Germany, and the Netherlands). The long-term strategic benefit to both the applicant and the European research area will be the (a) the establishment of further interaction between distinct areas of theoretical computer science, and (b) the extension and potential empirical verification of theoretical methods developed in Europe in areas of synthetic biology whose practical aspects are currently dominated by scientists in the United States.'