| Programmee: | International Collaboration |
| Code: | STCU 4032 |
| Execution period: | 2007 – 2010 |
| Institutions: | Academy of Sciences of Moldova, Institute of Mathematics and Computer Science |
| Project Leader: | Rogozhin Yurii |
| Participants: |
Cojocaru Svetlana, Ciubotaru Constantin, Boian Elena, Alhazov Artiom, Colesnicov Alexandru, Burtseva Lyudmila, Magariu Galina, Verlan Tatiana, Malahov Ludmila, Tofan Tatiana, Demidova Valentina, Macari Veaceslav, Matveevici Artiom, Verlan Serghei, Rogozhin Vladimir, Căpăţână Gheorghe, Duca Maria, Chior Alexandru |
| Financed by: | The Science & Technology Center in Ukraine (STCU) |
Summary
This project is an exciting combination of several scientific disciplines: theoretical computer science, mathematics and biology. Will be considered models of cellular computing based on membrane systems (P systems), P automata, cellular automata and other models. Also will be studied the application of these computing paradigms for effectively solving some non-commutative computer algebra problems and linguistic problems. The project will contribute to a better understanding of the capabilities of several computing paradigms based on the structure and functioning of the living cell – we will be able to understand better in which conditions we reach Turing-universal computational power, how various restrictions affect their power, and how they relate to other classical computing paradigms. In the same time, modeling efforts will contribute to a better understanding of fundamental processes in living cells. Bringing formal tools used in Computer Science for the study of concurrency and parallelism, we have the potential of formally analyzing various aspects of biological processes, including equilibrium points, robustness, and the effects of various malfunctioning components. Throughout the project will be used a combination of mathematical techniques, ranging from discrete mathematics (strings, graphs, and formal languages, multisets) to continuous mathematics (differential equations). Also will be utilized computational techniques including software packages and simulations.
