[HTML][HTML] Modelling and verification of weighted spiking neural systems
This paper presents spiking neural P systems with weighted synapses, a class of distributed
parallel neural-like computing models, abstracted from the way in which the complex system …
parallel neural-like computing models, abstracted from the way in which the complex system …
Describing the immune system using enhanced mobile membranes
We investigate the enhanced mobile membranes, a new class of mobile membrane system
in which new rules are introduced. The contextual evolution rules describe how an object …
in which new rules are introduced. The contextual evolution rules describe how an object …
Membrane automata for modeling biomolecular processes
Bioinspired computation models and mechanisms are widely used in various applications,
both in theoretical and practical level. Membrane Computing, a branch of Natural …
both in theoretical and practical level. Membrane Computing, a branch of Natural …
Transforming communicating X-machines into P systems
Tissue P systems (tPS) represent a class of P systems in which cells are arranged in a graph
rather than a hierarchical structure. On the other hand, communicating X-machines (XMs) …
rather than a hierarchical structure. On the other hand, communicating X-machines (XMs) …
Equivalences for a biological process algebra
V Galpin - Theoretical computer science, 2011 - Elsevier
This paper investigates Bio-PEPA, the stochastic process algebra for biological modelling
developed by Ciocchetta and Hillston. It focuses on Bio-PEPA with levels where molecular …
developed by Ciocchetta and Hillston. It focuses on Bio-PEPA with levels where molecular …
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-
PEPA is the ability it provides to discretise concentrations resulting in a smaller, more …
PEPA is the ability it provides to discretise concentrations resulting in a smaller, more …
Equivalence and discretisation in Bio-PEPA
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-
PEPA is the ability it provides to discretise concentrations resulting in a smaller, more …
PEPA is the ability it provides to discretise concentrations resulting in a smaller, more …
Mobile Membranes
Mobile membranes represent a model of computation inspired from the biological movement
provided by endocytosis and exocytosis in the living cells. This paper presents a survey of …
provided by endocytosis and exocytosis in the living cells. This paper presents a survey of …
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 …
complexity, interaction, parallelism and continuous change of roles and organisation …
An optimization technique for ordered (binary) decision diagrams
V Dvorak - 1992 Proceedings Computer Systems and Software …, 1992 - computer.org
The minimum-cost ordered (binary) decision diagram (OBDD)(also a reduced OBDD or
ROBDD) is a canonical representation for a logic function, given an ordering on its variables …
ROBDD) is a canonical representation for a logic function, given an ordering on its variables …