Computing with cells: membrane systems - some complexity issues.

Membrane computing is a branch of natural computing which abstracts computing models from the structure and the functioning of the living cell. The main ingredients of membrane systems, called P systems, are (i) the membrane structure, which consists of a hierarchical arrangements of membranes which delimit compartments where (ii) multisets of symbols, called objects, evolve according to (iii) sets of rules which are localised and associated with compartments. By using the rules in a nondeterministic/deterministic maximally parallel manner, transitions between the system configurations can be obtained. A sequence of transitions is a computation of how the system is evolving. Various ways of controlling the transfer of objects from one membrane to another and applying the rules, as well as possibilities to dissolve, divide or create membranes have been studied. Membrane systems have a great potential for implementing massively concurrent systems in an efficient way that would allow us to solve currently intractable problems once future biotechnology gives way to a practical bio-realization. In this paper we survey some interesting and fundamental complexity issues such as universality vs. nonuniversality, determinism vs. nondeterminism, membrane and alphabet size hierarchies, characterizations of context-sensitive languages and other language classes and various notions of parallelism

Prototype tests for the ALICE TRD

A Transition Radiation Detector (TRD) has been designed to improve the electron identification and trigger capability of the ALICE experiment at the Large Hadron Collider (LHC) at CERN. We present results from tests of a prototype of the TRD concerning pion rejection for different methods of analysis over a momentum range from 0.7 to 2 GeV/c. We investigate the performance of different radiator types, composed of foils, fibres and foams.Comment: Presented at the IEEE Nuclear Science Symposium and Medical Imaging Conference, Lyon, October 15-20, 2000 (accepted for publication in IEEE TNS), Latex (IEEEtran.cls), 7 pages, 11 eps figure

Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections

In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconnected logical regulatory networks a la Rene Thomas equipped with information about their spatial relationships. The semantics of such models is expressed through colored Petri nets to implement regulation rules, combined with topological collections to implement the spatial information. Some constraints are put on the the representation of spatial information in order to preserve the possibility of an enumerative and exhaustive state space exploration. This paper presents the modelling framework, its semantics, as well as a prototype implementation that allowed preliminary experimentation on some applications.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005

Transition Radiation Spectroscopy with Prototypes of the ALICE TRD

We present measurements of the transition radiation (TR) spectrum produced in an irregular radiator at different electron momenta. The data are compared to simulations of TR from a regular radiator.Comment: 4 pages, 5 Figures, Proceedings for "TRDs for the 3rd millennium" (Sept. 4-7, 2003, Bari, Italy

Space charge in drift chambers operated with the Xe,CO2(15%) mixture

Using prototype modules of the ALICE Transition Radiation Detector we investigate space charge effects and the dependence of the pion rejection performance on the incident angle of the ionizing particle. The average pulse height distributions in the drift chambers operated with the Xe,CO2(15%) mixture provide quantitative information on the gas gain reduction due to space charge accumulating during the drift of the primary ionization. Our results demonstrate that the pion rejection performance of a TRD is better for tracks which are not at normal incidence to the anode wires. We present detailed simulations of detector signals, which reproduce the measurements and lend strong support to our interpretation of the measurements in terms of space charge effects.Comment: 18 pages, 10 figures, accepted for publication in Nucl.Instrum.Meth. A. Data files available at http://www-alice.gsi.de/tr

Energy loss of pions and electrons of 1 to 6 GeV/c in drift chambers operated with Xe,CO2(15%)

We present measurements of the energy loss of pions and electrons in drift chambers operated with a Xe,CO2(15%) mixture. The measurements are carried out for particle momenta from 1 to 6 GeV/c using prototype drift chambers for the ALICE TRD. Microscopic calculations are performed using input parameters calculated with GEANT3. These calculations reproduce well the measured average and most probable values for pions, but a higher Fermi plateau is required in order to reproduce our electron data. The widths of the measured distributions are smaller for data compared to the calculations. The electron/pion identification performance using the energy loss is also presented.Comment: 15 pages, 10 figures, accepted for publication in Nucl.Instrum.Meth.

Position Reconstruction in Drift Chambers operated with Xe, CO2 (15%)

We present measurements of position and angular resolution of drift chambers operated with a Xe,CO$_2$(15%) mixture. The results are compared to Monte Carlo simulations and important systematic effects, in particular the dispersive nature of the absorption of transition radiation and non-linearities, are discussed. The measurements were carried out with prototype drift chambers of the ALICE Transition Radiation Detector, but our findings can be generalized to other drift chambers with similar geometry, where the electron drift is perpendicular to the wire planes.Comment: 30 pages, 18 figure

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal modelling of MAS. We review our research throughout the last decade, by describing the problems we have encountered and the decisions we have made towards resolving them and providing solutions. Much of this work involved membrane computing and classes of P Systems, such as Tissue and Population P Systems, targeted to the modelling of MAS whose dynamic structure is a prominent characteristic. More particularly, social insects (such as colonies of ants, bees, etc.), biology inspired swarms and systems with emergent behaviour are indicative examples for which we developed formal MAS models. Here, we aim to review our work and disseminate our findings to fellow researchers who might face similar challenges and, furthermore, to discuss important issues for advancing research on the application of membrane computing in MAS modelling.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314

Prototype test for the ALICE TRD

A Transition Radiation Detector( TRD) has been designed to improve the electron identification and trigger capability of the ALICE experiment at the Large Hadron Collider (LHC) at CERN. We present results from tests of a prototype of the TRD concerning pion rejection for different methods of analysis over a momentum range from 0.7 to 2 GeV/c. We investigate the performance of different radiator types, composed of foils fibres and foams