Displaying similar documents to “Enumerated type semantics for the calculus of looping sequences”

Enumerated type semantics for the calculus of looping sequences

Livio Bioglio (2011)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. In this paper we enrich this calculus with a type discipline which preserves some biological properties depending on the minimum and the maximum number of elements of some type requested by the present elements. The type system enforces these properties and typed reductions guarantee that evolution preserves them. As an example, we model the hemoglobin...

On the Mathematical Modelling of Complex Biological Systems. A Kinetic Theory Approach

Marcello Delitala (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

This paper deals with the mathematical modelling, based on the kinetic theory of active particles, of a complex biological living system constituted by different populations of cells. The modelling refers to the competition between immune and tumor cells. Moreover, a qualitative and quantitative analysis is developed, to show how the models can describe several interesting phenomena related to biological applications. A final section highlights further research perspectives related to...

Modeling and simulation with augmented reality

Khaled Hussain, Varol Kaptan (2010)

RAIRO - Operations Research

Similarity:

In applications such as airport operations, military simulations, and medical simulations, conducting simulations in accurate and realistic settings that are represented by real video imaging sequences becomes essential. This paper surveys recent work that enables visually realistic model constructions and the simulation of synthetic objects which are inserted in video sequences, and illustrates how synthetic objects can conduct intelligent behavior within a visual augmented reality. ...

Spatio-Temporal Modelling of the p53–mdm2 Oscillatory System

K. E. Gordon, I. M.M. van Leeuwen, S. Laín, M. A.J. Chaplain (2009)

Mathematical Modelling of Natural Phenomena

Similarity:

In this paper we investigate the role of spatial effects in determining the dynamics of a subclass of signalling pathways characterised by their ability to demonstrate oscillatory behaviour. To this end, we formulate a simple spatial model of the p53 network that accounts for both a negative feedback and a transcriptional delay. We show that the formation of protein density patterns can depend on the shape of the cell, position of the nucleus, and the protein diffusion rates. The temporal...

Uniqueness and local existence of solutions to an approximate system of a 1D simplified tumor invasion model

Maciej Cytowski, Akio Ito, Marek Niezgódka (2009)

Banach Center Publications

Similarity:

In the present paper, we consider an approximate system of one-dimensional simplified tumor invasion model, which was originally proposed by Chaplain and Anderson in [chaplain-anderson-03]. The simplified tumor invasion model is composed of PDE and ODE. Actually, the PDE is the balance equation of the density of tumor cells and the ODE describes the dynamics of concentration of extracellular matrix. In this model, we take into account that the random motility of the density of tumor...

Mathematical modeling of the competition between acquired immunity and cancer

Mikhail Kolev (2003)

International Journal of Applied Mathematics and Computer Science

Similarity:

In this paper we propose and analyse a model of the competition between cancer and the acquired immune system. The model is a system of integro-differential bilinear equations. The role of the humoral response is analyzed. The simulations are related to the immunotherapy of tumors with antibodies.