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

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

Search for the Higgs boson in events with missing transverse energy and b quark jets produced in proton-antiproton collisions at s**(1/2)=1.96 TeV

We search for the standard model Higgs boson produced in association with an electroweak vector boson in events with no identified charged leptons, large imbalance in transverse momentum, and two jets where at least one contains a secondary vertex consistent with the decay of b hadrons. We use ~1 fb-1 integrated luminosity of proton-antiproton collisions at s**(1/2)=1.96 TeV recorded by the CDF II experiment at the Tevatron. We find 268 (16) single (double) b-tagged candidate events, where 248 +/- 43 (14.4 +/- 2.7) are expected from standard model background processes. We place 95% confidence level upper limits on the Higgs boson production cross section for several Higgs boson masses ranging from 110 GeV/c2 to 140 GeV/c2. For a mass of 115 GeV/c2 the observed (expected) limit is 20.4 (14.2) times the standard model prediction.Comment: 8 pages, 2 figures, submitted to Phys. Rev. Let