The ACANCOS project aims to lay the foundation for a solid, and internationally competitive research, which is deeply rooted in a context of numerous prior collaborations (but non structured in an unique network on a worldwide scale) on modelling of complex systems by some formal models.
ACANCOS connects the scientific expertise and excellence of research groups from five countries, two of them outside EU, including experts from two distinct communities, from two distinct orientations (theory-oriented and application-oriented), and from two distinct disciplines (computer science, mathematics).
The scientific objectives of the project are:
- Increasing the knowledge on the relations among the formal description of the involved models and the dynamical behaviour they are able to exhibit;
- Understanding the sensitivity/robustness of the models when used in an asyncronous way;
- Understanding the capacity of these models to simulate the dynamical behaviour of other instances of the same model;
- Targeting and understanding wide subclasses of the models both exhibiting the complex behaviours of general models and with complex dynamical behaviours which can be established by some algorithm;
- Designing efficient algorithms establishing the above mentioned dynamical behaviours;
- Understanding the complexity of the problems of establishing the more significant complex behaviors;
- Models for new conceptualisation and modelling of Gene Regulatory Networks: theoretical validations and applicative validations on real Gene Regulatory Networks;
- New methods for data encryption based on the considered formal models
Sharing knowledge among different cultural and scientific environments will be crucial to achieve the scientific objectives of the project.