A Calculus of Looping Sequences for Modelling Microbiological Systems

13 years 4 months ago

Download www.di.unito.it

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 bacteriophage viruses, and to reason on their properties.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo

Real-time Traffic

Bacteriophage | Calculus | FUIN 2006 | Microbiological Systems |

claim paper

» A Semantic Recognizer Infrastructure for Computing Loop Behavior

» ClosedLoop Tracking and Change Detection in MultiActivity Sequences

» Predicate Logic with Sequence Variables and Sequence Function Symbols

» A Hidden Markov Model for Predicting Transmembrane Helices in Protein Sequences

» Synthesizing Dynamic Texture with ClosedLoop Linear Dynamic System

» Prediction and trace compression of data access addresses through nested loop recognition

» Automatic Transformations for CommunicationMinimized Parallelization and Locality Optimiza...

» Nonlocal Flow of Control and Kleene Algebra with Tests

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	FUIN
Authors	Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Comments (0)

Sciweavers

A Calculus of Looping Sequences for Modelling Microbiological Systems

Bacteriophage | Calculus | FUIN 2006 | Microbiological Systems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers