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)
A cell consists of a large number of components interacting in a dynamic environment. The complexity of interaction among cell components and functions makes design of cell simulations a challenging task for biologists. We posit that the paradigm of agent-oriented software engineering (AOSE), in which complex systems are organized as autonomous software(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)
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)
The Service Oriented Architecture paradigm promises to open and integrate Public Administration offices in order to provide high-value e-services to citizens. Nevertheless to foster real usage of e-services by citizens, in majority still not fully acquainted with Internet technologies , it is necessary to put in place mechanisms to reduce as much as(More)
BACKGROUND AND OBJECTIVE Human leukemic K562 cells are able to undergo erythroid differentiation in vitro when cultured with a variety of inducers, leading to increased expression of embryo-fetal globin genes such as the zita, epsilon and gamma-globin genes. Therefore the K562 cell line has been proposed as a very useful in vitro model system for(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)