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 …
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
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 …
communicating X-machines, to simulate in a natural way a well established model of …
The Epitheliome Project: Multiscale agent-based modeling of epithelial cells
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 …
within the context of tissue architecture, differentiation, wound repair and malignancy …
[PDF][PDF] Formal modelling for in-silico experiments with social insect colonies
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 …
outstanding characteristics, such as self-organisation and emergence. In this paper, we …
Aspect mining in procedural object oriented code
Although object-oriented programming promotes reusable and well factored entity
decomposition, industrial software often shows traces of lack of object-oriented design and …
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 …
have started exhibiting properties usually associated with complex systems. Although …
Formal verification of generalised state machines
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 …
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 …
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 …
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 …
stability of an electronic trading venue. Automated trading strategies have contributed to …