Rosen's (M, R) system as an X-machine

ML Palmer, RA Williams, D Gatherer - Journal of Theoretical Biology, 2016 - Elsevier
Abstract Robert Rosen's (M, R) system is an abstract biological network architecture that is
allegedly both irreducible to sub-models of its component states and non-computable on a …

Simulation and verification of P systems through communicating X-machines

P Kefalas, G Eleftherakis, M Holcombe, M Gheorghe - BioSystems, 2003 - Elsevier
The aim of this paper is to prove the suitability of a parallel distributed computational model,
communicating X-machines, to simulate in a natural way a well established model of …

The Epitheliome Project: Multiscale agent-based modeling of epithelial cells

R Smallwood, M Holcombe - 3rd IEEE International …, 2006 - ieeexplore.ieee.org
The aim of the Epitheliome Project is to develop a computational model of cell behaviour
within the context of tissue architecture, differentiation, wound repair and malignancy …

[PDF][PDF] Formal modelling for in-silico experiments with social insect colonies

I Stamatopoulou, I Sakellariou… - Current Trends in …, 2007 - ccl.northwestern.edu
Social insect colonies present an interesting problem for formal modelling due to their
outstanding characteristics, such as self-organisation and emergence. In this paper, we …

Aspect mining in procedural object oriented code

MU Bhatti, S Ducasse, A Rashid - 2008 16th IEEE International …, 2008 - ieeexplore.ieee.org
Although object-oriented programming promotes reusable and well factored entity
decomposition, industrial software often shows traces of lack of object-oriented design and …

[PDF][PDF] Framework for empirical exploration of emergence using multi-agent simulation

O Paunovski, G Eleftherakis, T Cowling - Workshop on Complex …, 2008 - kar.kent.ac.uk
In recent years the concept of emergence has gained much attention as computer systems
have started exhibiting properties usually associated with complex systems. Although …

Formal verification of generalised state machines

G Eleftherakis, P Kefalas - 2008 Panhellenic Conference on …, 2008 - ieeexplore.ieee.org
The demand for more complex software is constantly increasing while at the same time the
need for reliability leads modern software engineering to use more formally based …

Hybrid automata dicretising agents for formal modelling of robots

L Molnar, SM Veres - IFAC Proceedings Volumes, 2011 - Elsevier
Some of the fundamental capabilities required by autonomous vehicles and systems for their
intelligent decision making are: modelling of the environment and forming data abstractions …

Cell-centred modeling of tissue behaviour

R Smallwood - Understanding the Dynamics of Biological Systems …, 2010 - Springer
Normal structure and function in epithelial tissues is an emergent property of the interaction
of the cells which comprise the tissue, so a cell-centred approach to the modelling of tissue …

Market Agents and Flash Crashes

M Naderi - 2022 - discovery.ucl.ac.uk
This thesis studies the use of agent-based modelling to investigate factors that can affect the
stability of an electronic trading venue. Automated trading strategies have contributed to …