Learn More
We studied zooplankton dynamics in a groundwater-fed, montane lake during four consecutive years and assessed the importance of water residence time for zooplankton dynamics. Crustacean abundance and biomass were significantly correlated with water residence time and temperature, but showed no significant correlation with phytoplankton biovolume. We(More)
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 Management(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 timed CCS-like process algebra PAFAS and a testing scenario are developed for evaluating the temporal worst-case efficiency of asynchronous concurrent systems. Each action is associated with a maximal time delay, which allows components to work with arbitrary relative speeds; for simplicity, the maximal delay is 1 or 0, but time is continuous. The(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)
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 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)