Sciweavers

23 search results - page 1 / 5
» The Calculus of Looping Sequences for Modeling Biological Me...
Sort
View
MEMBRANE
2007
Springer
13 years 11 months ago
The Calculus of Looping Sequences for Modeling Biological Membranes
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
ISMB
1998
13 years 6 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...
DAGSTUHL
2006
13 years 7 months ago
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting
ed Abstract Membrane systems are models of computation inspired by the structure and the function of biological cells. The model was introduced in 1998 by Gh. Paun and since then m...
Matteo Cavaliere, Sean Sedwards
ENTCS
2008
96views more  ENTCS 2008»
13 years 5 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
FUIN
2006
112views more  FUIN 2006»
13 years 5 months ago
A Calculus of Looping Sequences for Modelling Microbiological Systems
Abstract. The paper presents a new calculus suitable to describe microbiological systems and their evolution. We use the calculus to model interactions among bacteria and bacteriop...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...