Welcome to the AClab Membrane Computing research group site. \\//,

Membrane computing (MC), a branch of Natural computing,  acquires mathematical and computational constructs and abstractions from the functioning, dynamics, and structure of the living cell. The compartmentalized cell structure as well as its inner compartments or membranes are enclosed inside the cell's outermost membrane or skin membrane. The hierarchical cell structure can  be thought of as a tree, with the skin as the root node and its inner membranes and the membranes within those as child nodes or even leaves/terminals for those membranes without an inner membrane. Inside a biological cell are multitudes of ions and molecules which are often represented in MC as a multiset of objects, the data structure common to MC. Within the membranes or regions of the abstracted cell are rules which govern the rewriting, creation, dissolution, and transport of these objects and even membranes. These rules are applied in a non-deterministic and maximally parallel manner, so that all rules or computations that can be applied will be applied.

The theoretical model used in MC is known as a P System introduced by Gheorghe Paun in 1998. Many P system variants are available in literature, varying from the way cells are created and dissolved, how rules are applied , even the distribution of the cells themselves, and so on. MC can be seen as an extension of DNA/molecular computing, zooming out of the molecular level and focusing on other parts of the cell as well, as in a  distributed system. Although biologically inspired, P systems are also being applied to problems beyond biology, including modeling, economics, databases, networks, and so on. One common goal of P systems is to be able to solve computationally hard problems, usually in polynomial or even linear time. P systems often trade execution time for  a large amount of space to solve these hard problems. Although computationally powerful, due to their maximally parallel and non-deterministic workings and space trade off over time, P systems at the moment are run in simulations (often in parallel devices) since they are yet to be fully realized in vivo, in vitro, or in silico.
Please feel free to look around. If you want to join our motley crew of researchers (including graduate and undergraduate students) please contact Henry Adorna (contact details are at our Members page ). Thanks!

We would like to acknowledge the support of:

Recent Announcements

  • CFP: Asian Conference on Membrane Computing 2016 (ACMC2016) CALL FOR PAPERSThe fifth Asian Conference on Membrane Computing (ACMC 2016) provides an open platform to bring together scholars worldwide to present their recent work on membrane computing. The ...
    Posted Feb 3, 2016, 2:40 AM by Francis Cabarle
  • CFP: Asian Conference on Membrane Computing 2015 (ACMC2015) CALL FOR PAPERSThe pdf files of CFP can be downloaded HereACMC 2015 is one of the flagship conferences on Membrane Computing aiming to provide a high-level international ...
    Posted Jul 18, 2015, 5:34 AM by Francis Cabarle
  • CFP: WCTP 2015 — Workshop on Computation: Theory and Practice 2015 Call for PapersTopicsThe WCTP 2015 program will consist of invited talks by prominent researchers and contributed talks from submitted papers selected by the Program Committee. All sessions will ...
    Posted Jul 13, 2015, 1:44 AM by Francis Cabarle
Showing posts 1 - 3 of 75. View more »

Recent publications

Publication typeAuthor/sTitlePublication siteOther infoDate
Conference proceedings F.G.C. Cabarle, N.H.S. Hernandez, M.A. Martinez-del-Amor Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem LNCS Springer page Asian Conference on Membrane Computing 2015 (ACMC2015), 12 to 15 November, 2015, Anhui, China and in LNCS vol 9504, pp. 106-116 (2015) December 30, 2015 
Conference proceedings N.H.S. Hernandez, R.A.B. Juayong, S.L. Francia, D.A.A. Francisco, H.N. Adorna On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems LNCS Springer page Asian Conference on Membrane Computing 2015 (ACMC2015), 12 to 15 November, 2015, Anhui, China, and in LNCS vol 9504, pp. 200-214 (2015) December 30, 2015 
Technical report R.B. Juayong, H.N. Adorna On Simulating Cooperative Transition P systems in Evolution-Communication P systems with Energy CDMTCS report #487 Workshop on Membrane Computing (satellite workshop) at UCNC2015. Also at CDMTCS report #487 pp. 69-73 (2015) September 2, 2015 
Showing 3 items from page Publications sorted by Date. View more »

Recent seminars & presentations

  • Presentations at UCNC2015 and WMC (co-located with UCNC2015) Find attached below the presentations by F. Cabarle and R. Juayong at the UCNC2015 and WMC2015, respectively.More information can be found in the following sources:UCNC2015 site: http://ucnc15 ...
    Posted Sep 18, 2015, 2:03 AM by Francis Cabarle
  • Lecture: Language computations in ECPe systems vis-a-vis Transition P systems As part of the AC lab graduate lecture series, Richelle Juayong provided a lecture last 6 of August, 2015, with the following details:Title: Language computations in ECPe systems vis ...
    Posted Aug 19, 2015, 1:57 AM by Francis Cabarle
  • Public lecture: Some research directions to using SNP systems for solutions hard problems F. Cabarle will provide a lecture on 22 July, 2015, with the following details:Title: Some research directions to using SNP systems for solutions to hard problems.Abstract: This lecture ...
    Posted Jul 18, 2015, 5:37 AM by Francis Cabarle
Showing posts 1 - 3 of 24. View more »