Sciweavers

7681 search results - page 9 / 1537
» Typed Membrane Systems
Sort
View
ENTCS
2007
94views more  ENTCS 2007»
14 years 11 months ago
Membrane Systems with Marked Membranes
Robert Brijder, Matteo Cavaliere, Agustin Riscos-N...
MEMBRANE
2005
Springer
15 years 5 months ago
P Systems, Petri Nets, and Program Machines
Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
Pierluigi Frisco
88
Voted
FCT
2003
Springer
15 years 5 months ago
Membrane Computing
: In this paper a comparison is provided between the membrane computing systems and the graphical interfaces of operating systems. A membrane computing system is a computing model ...
Gheorghe Paun
TCS
2010
14 years 6 months ago
Non-confluence in divisionless P systems with active membranes
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...
Antonio E. Porreca, Giancarlo Mauri, Claudio Zandr...
ISMB
1998
15 years 1 months ago
A Hidden Markov Model for Predicting Transmembrane Helices in Protein Sequences
A novel method to model and predict the location and orientation of alpha helices in membrane- spanning proteins is presented. It is based on a hidden Markov model (HMM) with an a...
Erik L. L. Sonnhammer, Gunnar von Heijne, Anders K...