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 …

Translating digital signal processing (DSP) software into its finite-precision hardware
implementation is often a time-consuming task. We describe a new static analysis technique …

Background The huge amount of biological information, its distribution over the Internet and
the heterogeneity of available software tools makes the adoption of new data integration and …

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 …

Understanding in silico the dynamics of metabolic reactions made by a large number of
molecules has led to the development of different tools for visualising molecular interactions …

Recently, a collective effort from multiple research areas has been made to understand
biological systems at the system level. On the one hand, for instance, researchers working …

We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape
forms a 3D process when combined with a behaviour. Behaviours are specified with a timed …

Due to the huge volume and complexity of biological data available today, a fundamental
component of biomedical research is now in silico analysis. This includes modelling and …

The simulation and visualization of biological system models is becoming more and more
important both in clinical use and in basic research. Since many systems are characterized …

There are many infectious diseases still plaguing different nations of the world. Some of
these infectious diseases such as HIV, malaria, Ebola, and Lassa fever tend to affect less …