Sciweavers

7681 search results - page 9 / 1537
» Typed Membrane Systems
Sort
View
34
Voted
ENTCS
2007
94views more  ENTCS 2007»
14 years 9 months ago
Membrane Systems with Marked Membranes
Robert Brijder, Matteo Cavaliere, Agustin Riscos-N...
MEMBRANE
2005
Springer
15 years 3 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
FCT
2003
Springer
15 years 2 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 4 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...
94
Voted
ISMB
1998
14 years 11 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...