Learn More
We address the problem of specifying and detecting emergent behavior in networks of cardiac myocytes, spiral electric waves in particular, a precursor to atrial and ventricular fibrillation. To solve this problem we: (1) apply discrete mode abstraction to the cycle-linear hybrid automata (CLHA) we have recently developed for modeling the behavior of myocyte(More)
Based on PAFAS (Process Algebra for Faster Asynchronous Systems), a testing-based faster-than relation has previously been developed that compares the worst-case efficiency of asyn-chronous systems. This approach reveals that pipelining does not improve efficiency in general; that it does so in practice depends on assumptions about the user behaviour. As a(More)
We introduce the main concepts of a bio-inspired calculus for describing 3D shapes moving in a space. Each shape contains a timed CCS-like process specifying an internal behaviour based on shape-dependent channels and splitting actions. Interactions among such entities , called 3D processes, are collision-driven, i.e. collisions are detected and resolved(More)
The adoption of agent technologies and multi-agent systems constitutes an emerging area in bioinformatics. In this article, we report on the activity of the Working Group on Agents in Bioinformatics (BIOAGENTS) founded during the first AgentLink III Technical Forum meeting on the 2nd of July, 2004, in Rome. The meeting provided an opportunity for seeding(More)
BACKGROUND An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A workflow has the advantage to be reproducible, traceable and compositional by reusing other workflows. In order to support the daily work of a bioscientist, several Workflow(More)