Sciweavers

1922 search results - page 242 / 385
» Systems biology, models, and concurrency
Sort
View
TCS
2008
15 years 1 months ago
On the decidability and complexity of the structural congruence for beta-binders
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a stru...
Alessandro Romanel, Corrado Priami
CCGRID
2006
IEEE
15 years 7 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
ECAL
2005
Springer
15 years 6 months ago
Artificial Life Meets Anthropology: A Case of Aggression in Primitive Societies
One of the greatest challenges in the modern biological and social sciences has been to understand the evolution of altruistic and cooperative behaviors. General outlines of the an...
Mikhail S. Burtsev
ALIFE
2006
15 years 1 months ago
Understanding Linguistic Evolution by Visualizing the Emergence of Topographic Mappings
We show how cultural selection for learnability during the process of linguistic evolution can be visualized using a simple iterated learning model. Computational models of linguis...
Henry Brighton, Simon Kirby
ASAP
2009
IEEE
141views Hardware» more  ASAP 2009»
15 years 10 months ago
Accelerating a Virtual Ecology Model with FPGAs
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...
Julien Lamoureux, Tony Field, Wayne Luk