User profiles for "author:Mike Holcombe"

Mike Holcombe

Emeritus Professor, University of Sheffield, UK
Verified email at sheffield.ac.uk
Cited by 6471

[BOOK][B] Algebraic automata theory

M Holcombe - 2004 - books.google.com
Original publisher: Washington, DC: US Dept. of Transportation, Federal Aviation
Administration, Office of Aerospace Medicine, 2003] OCLC Number:(OCoLC) 74267777 …

Modelling complex biological systems using an agent-based approach

M Holcombe, S Adra, M Bicak, S Chin… - Integrative …, 2012 - academic.oup.com
Many of the complex systems found in biology are comprised of numerous components,
where interactions between individual agents result in the emergence of structures and …

Trail geometry gives polarity to ant foraging networks

DE Jackson, M Holcombe, FLW Ratnieks - Nature, 2004 - nature.com
Pheromone trails are used by many ants to guide foragers between nest and food,,,. But how
does a forager that has become displaced from a trail know which way to go on rejoining the …

Formal agent-based modelling of intracellular chemical interactions

M Pogson, R Smallwood, E Qwarnstrom, M Holcombe - Biosystems, 2006 - Elsevier
Individual-based or agent-based models have proved useful in a variety of different
biological contexts. This paper presents an agent-based model using a formal …

[HTML][HTML] 'No entry'signal in ant foraging

EJH Robinson, DE Jackson, M Holcombe… - Nature, 2005 - nature.com
Forager ants lay attractive trail pheromones to guide nestmates to food,, but the
effectiveness of foraging networks might be improved if pheromones could also be used to …

[HTML][HTML] Modelling the transport of nanoparticles under blood flow using an agent-based approach

G Fullstone, J Wood, M Holcombe, G Battaglia - Scientific reports, 2015 - nature.com
Blood-mediated nanoparticle delivery is a new and growing field in the development of
therapeutics and diagnostics. Nanoparticle properties such as size, shape and surface …

[BOOK][B] Correct systems: building a business process solution

M Holcombe, F Ipate - 2012 - books.google.com
Correct Systems looks at the whole process of building a business process model, capturing
that in a formal requirements statement and developing a precise specification. The issue of …

[PDF][PDF] FLAME: simulating large populations of agents on parallel hardware architectures

M Kiran, P Richmond, M Holcombe, LS Chin… - Proceedings of the 9th …, 2010 - ifaamas.org
High performance computing is essential for simulating complex problems using agent-
based modelling (ABM). Researchers are hindered by complexities of porting models on …

Exploitation of high performance computing in the FLAME agent-based simulation framework

S Coakley, M Gheorghe, M Holcombe… - 2012 IEEE 14th …, 2012 - ieeexplore.ieee.org
This paper describes the design of an agent-based modelling framework for high
performance computing. Rather than a collection of methods that require parallel …

[HTML][HTML] Development of a three dimensional multiscale computational model of the human epidermis

S Adra, T Sun, S MacNeil, M Holcombe, R Smallwood - PloS one, 2010 - journals.plos.org
Transforming Growth Factor (TGF-β1) is a member of the TGF-beta superfamily ligand-
receptor network. and plays a crucial role in tissue regeneration. The extensive in vitro and …