A Federated Learning Protocol for Spiking Neural Membrane Systems.

Although deep learning models have shown promising results in solving problems related to image recognition or natural language processing, they do not match how the biological brain works. Some of the differences include the amount of energy consumed, the way neurons communicate, or the way they learn. To close the gap between artificial neural networks and biological ones, researchers proposed the spiking neural network.

Verifiable biology.

The formalization of biological systems using computational modelling approaches as an alternative to mathematical-based methods has recently received much interest because computational models provide a deeper mechanistic understanding of biological systems. In particular, formal verification, complementary approach to standard computational techniques such as simulation, is used to validate the system correctness and obtain critical information about system behaviour. In this study, we survey the most frequently used computational modelling approaches and formal verification techniques for computational biology.

Toward Full-Stack Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation.

We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated computational environment for the computer-aided design of synthetic biological systems. It supports an iterative workflow that begins with specification of the desired synthetic system, followed by simulation and verification of the system in high-performance environments and ending with the eventual compilation of the system specification into suitable genetic constructs. IBW integrates , , , and features into a single software suite.

Automatic selection of verification tools for efficient analysis of biochemical models.

Motivation: Formal verification is a computational approach that checks system correctness (in relation to a desired functionality). It has been widely used in engineering applications to verify that systems work correctly. Model checking, an algorithmic approach to verification, looks at whether a system model satisfies its requirements specification.

A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.

This paper proposes a formal methodology to analyse bio-systems, in particular synthetic biology systems. An integrative analysis perspective combining different model checking approaches based on different property categories is provided. The methodology is applied to the synthetic pulse generator system and several verification experiments are carried out to demonstrate the use of our approach to formally analyse various aspects of synthetic biology systems.

Automatic design of deterministic and non-halting membrane systems by tuning syntactical ingredients.

To solve the programmability issue of membrane computing models, the automatic design of membrane systems is a newly initiated and promising research direction. In this paper, we propose an automatic design method, Permutation Penalty Genetic Algorithm (PPGA), for a deterministic and non-halting membrane system by tuning membrane structures, initial objects and evolution rules. The main ideas of PPGA are the introduction of the permutation encoding technique for a membrane system, a penalty function evaluation approach for a candidate membrane system and a genetic algorithm for evolving a population of membrane systems toward a successful one fulfilling a given computational task.

Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems.

Computational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations).

A computational study of liposome logic: towards cellular computing from the bottom up.

In this paper we propose a new bottom-up approach to cellular computing, in which computational chemical processes are encapsulated within liposomes. This "liposome logic" approach (also called vesicle computing) makes use of supra-molecular chemistry constructs, e.g.

A formal language-based approach in biology.

This paper presents an overview of computational biology approaches and surveys some of the natural computing models using, in both cases, a formal language-based approach.

A hybrid machine model of rice blast fungus, Magnaporthe grisea.

The fungus, Magnaporthe grisea (Rice blast fungus) is a major agricultural problem affecting rice and related food crops. The way that the fungus invades the host plant and propagates itself is a very important scientific problem and recent advances in research into the genetic basis of these processes can be used to build a simple partial model using hybrid computational modelling techniques. The possible potential benefits of doing this include the use of computer simulation and automated analysis through techniques such as model checking to understand the complex behaviour of such systems.