English
Related papers

Related papers: Proceedings Fourth Workshop on Membrane Computing …

200 papers

Chemical reaction networks underpin biological and physical phenomena across scales, from microbial interactions to planetary atmosphere dynamics. Bacterial communities exhibit complex competitive interactions for resources, human organs…

Molecular Networks · Quantitative Biology 2026-01-08 Jorge Reyes , Jörn Dunkel

Computational models have become an essential part of exploratory protocols in cell biology, as a complement to in vivo or in vitro experiments. These virtual models have the twofold advantage of enabling access to new types of data and…

Medical Physics · Physics 2021-12-20 Maxime Vassaux , Laurent Pieuchot , Karine Anselme , Maxence Bigerelle , Jean-Louis Milan

The computer revolution has been driven by a sustained increase of computational speed of approximately one order of magnitude (a factor of ten) every five years since about 1950. In natural sciences this has led to a continuous increase of…

Statistical Mechanics · Physics 2007-09-06 Bernd A. Berg

Microbes are essentially yet convolutedly linked with human lives on the earth. They critically interfere in different physiological processes and thus influence overall health status. Studying microbial species is used to be constrained to…

Genomics · Quantitative Biology 2021-09-03 Chao Yang , Debajyoti Chowdhury , Zhenmiao Zhang , William K. Cheung , Aiping Lu , Zhao Xiang Bian , Lu Zhang

The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel…

Programming Languages · Computer Science 2010-11-11 Ezio Bartocci , Diletta Romana Cacciagrano , Maria Rita Di Berardini , Emanuela Merelli , Luca Tesei

The interaction between nano- or micro-sized particles and cell membranes is of crucial importance in many biological and biomedical applications such as drug and gene delivery to cells and tissues. During their cellular uptake, the…

Biocomputing systems based on engineered bacteria can lead to novel tools for environmental monitoring and detection of metabolic diseases. In this paper, we propose a Bacterial Molecular Computing on a Chip (BMCoC) using microfluidic and…

Since the turn of the millennium, computational modelling of biological systems has evolved remarkably and sees matured use spanning basic and clinical research. While the topic of the peri-millennial debate about the virtues and…

Quantitative Methods · Quantitative Biology 2025-08-05 Axel Loewe , Peter J. Hunter , Peter Kohl

This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International…

Logic in Computer Science · Computer Science 2017-01-18 Iliano Cervesato , Maribel Fernández

Cell cortex contraction is essential for shaping cells, enabling movement, ensuring proper division, maintaining tissue integrity, guiding development, and responding to mechanical signals - all critical for the life and health of…

Biological Physics · Physics 2024-09-05 Emanuel F. Teixeira , Carine P. Beatrici , Heitor C. M. Fernandes , Leonardo G. Brunnet

This volume contains the proceedings of the Seventh International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013). The workshop took place in Rome, Italy, on March 23rd, 2013, as part of the sixteenth edition of the European…

Symbolic Computation · Computer Science 2013-02-26 Rachid Echahed , Detlef Plump

The Computing Community Consortium (CCC) sponsored a workshop on "Robotic Materials" in Washington, DC, that was held from April 23-24, 2018. This workshop was the second in a series of interdisciplinary workshops aimed at transforming our…

Robotics · Computer Science 2019-03-26 Nikolaus Correll , Ray Baughman , Richard Voyles , Lining Yao , Dan Inman

Computer simulations have become a very powerful tool for scientific research. In order to facilitate research in computational biology, the BioDynaMo project aims at a general platform for biological computer simulations, which should be…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-18 Lukas Breitwieser , Roman Bauer , Alberto Di Meglio , Leonard Johard , Marcus Kaiser , Marco Manca , Manuel Mazzara , Fons Rademakers , Max Talanov

This volume contains the proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), held in Saarbrucken, Germany, April 1--3, 2011. QAPL 2011 is a satellite event of the European Joint Conferences on…

Programming Languages · Computer Science 2011-07-06 Mieke Massink , Gethin Norman

The processes taking place inside the living cell are now understood to the point where predictive computational models can be used to gain detailed understanding of important biological phenomena. A key challenge is to extrapolate this…

Tissues and Organs · Quantitative Biology 2018-10-26 Stefan Engblom Daniel B. Wilson , Ruth E. Baker

Microbial communities play a significant role in bioremediation,plant growth,human and animal digestion,global elemental cycles including the carbon-cycle,and water treatment.They are also posed to be the engines of renewable energy via…

Emerging Technologies · Computer Science 2016-01-12 Nicolò Michelusi , James Boedicker , Mohamed Y. El-Naggar , Urbashi Mitra

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2017-11-29 Dana Fisman , Swen Jacobs

An astonishingly diverse biomolecular circuitry orchestrates the functioning machinery underlying every living cell. These biomolecules and their circuits have been engineered not only for various industrial applications but also to perform…

Biomolecules · Quantitative Biology 2021-02-15 Sahana Gangadharan , Karthik Raman

The capacity to predict and control bioprocesses is perhaps one of the most important objectives of biotechnology. Computational simulation is an established methodology for the design and optimization of bioprocesses, where the finite…

Computational Engineering, Finance, and Science · Computer Science 2015-08-12 R. C. Martins , N. Fachada

The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their…

Logic in Computer Science · Computer Science 2014-04-01 Benedikt Löwe , Glynn Winskel