RUBYX
Intrinsic Complexity of Rule-Based Systems
| Coordinatore | KOBENHAVNS UNIVERSITET
Organization address
postcode: 1017 contact info |
| 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
| # | ||||
|---|---|---|---|---|
| 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.'