Mathematical aspects and applications of membrane
computing
This is an announcement of the research group “Mathematical aspects and applications of membrane computing” at the Institute of Mathematics of the Polish Academy of Sciences.
The group lead by dr. hab. Adam Obtułowicz is associated to European Molecular Computing Consortium realizing objectives of MolCoNet –A Thematic Network of Molecular Computing, Project IST
-2001-32008 in 5-th Frame Program of European Community. The scientific activity of the group is supported by the Authorities of Institute of Mathematics of the Polish Academy of Sciences.
The group is also involved in realization of objectives of the Centre of Excellence IMPAN-BC of the European Community 5FP.
The members of the group are the following scientists and practicians: dr. Waldemar Korczyński, Krzysztof Miksza, Janusz A. Pomykała, Sylwester Wawrzoła, Joanna Bartosik.
The research projects of the group contain:
- applications of membrane computing in cryptography,
- modeling memory evolutive systems, up to emergence of consciousness, in biology and cognitive psychology; biochemical-membrane system approach,
- applications of membrane systems in management sciences, in particular to planing industrial production processes,
- mathematical modeling of processes generated by P systems; algebraic, categorical, probabilistic, topological, and rough set theoretical approach.
- approximation space and membrane systems.
The research group has had and continues to have fruitful scientific contacts with:
- Moletronic Laboratory (Nucleic Acid) and Group of Artificial Intelligence Research led by prof. Jan J. Mulawka in Institute of Electronic Systems of Warsaw University of Technology,
- cryptography research groups in Institute of Mathematics PAS (prof. dr. Jerzy Urbanowicz) and in Institute of Foundations of Informatics PAS (prof. dr. Marian Srebrny),
- Membrane Computing research group in Tarragona University (Spain),
- corresponding research group in Institute of Mathematics of The Romanian Academy of Sciences,
- A. C. Ehresmann’s and J.-P. Vanbremeesch’s mathematical biology research group in Universite de Picardie Jules Verne, Amiens (France).
.
List of papers in molecular computing area
- J. Bartosik, Membrane systems and Gantt’s charts (in Polish).
- J. Bartosik and W. Korczyński, Membrane systems as models of hierarchical
structures of management, (in Polish), published in Ekonomia
–Informatyka-Zarządzanie. Teoria i Praktyka .Tom II, ed. Z. Cięciwa,
Kraków 2002.
- W. Korczyński, G. Wawrzoła, and S. Wawrzoła, On a reconstruction
problem for membrane systems, submitted to Demonstratio Mathematicae.
- A. Obtułowicz, Membrane Computing and One-Way Functions, International
Journal of Foundations of Computer Science Vol. 12, No 4 (2001), pp.
551–558.
- A. Obtułowicz, Deterministic P systems for solving SAT-problem,
Romanian Journal of Information Science and Technology Vol. 4, No 1–2
(2001), pp. 195–201.
- A. Obtułowicz, On P systems with Active Membranes Solving Integer
Factorization Problem in a Polynomial Time, in Multisets Processing, ed.
C. S. Calude et al. Lecture Notes in Computer Science, Vol. 2235, Berlin
2001, pp. 267–285.
- A. Obtułowicz,
Probabilistic P systems,
Membrane Computing 2002,
ed. Gh. Paun et al. Lecture Notes in Computer Science, Vol. 2597, Berlin,
2003, pp. 377-387.
A. Obtułowicz,
Note on some recursive family of P systems with active membranes,
P systems Web Page
http://psystems.disco.unimib.it
R. Freund, Carlos
Martin-Vide, A. Obtułowicz, Gh. Paun, On Three Classes of Automata-Like P
systems, P systems Web Page
http://psystems.disco.unimib.it
presented at MalConEt Conference, Budapest, November 2002.
Adam Obtułowicz, Gheorge Paun, BioSystems 70 (2003) pp. 107-121,
work done in the framework of the contract no. ICA1-2000-70024 between
IM PAS and European Community .
Adam Obtułowicz, Mathematical models of uncertainty with a regard
to membrane systems, Natural Computing 2 (2003)}, pp. 251-263.
Adam Obtułowicz, New Mathematical Foundations of Membrane Computing:
Attacking NP Complete Problems Revisited, submitted to Theoretical Computer
Science, Series: Theory of Natural Computing.
A.J. Pomykała, Membrane systems and symmetric morphism in many sorted
algebras, (in preparation).
A.J. Pomykała, Similarity of membrane systems, approximational point
of view, part I,
General theory
Part II: experimental computer programs, (in preparation)
A.J. Pomykała, Cover logic and membrane systems, (in preparation).
A.J. Pomykała, J.M. Pomykała, Systemy informacyjne, (in Polish),
MIKOM 1999.