The paper shows an algorithm which, given a basic parallel processes (BPP) system,
constructs a set of linear map**s which characterize the (strong) bisimulation equivalence …

Interactive simulation of battles is a valuable tool for training. The behavior and movement of
hundreds or thousands of entities (tanks, trucks, airplanes, missiles, etc.) is currently …

In this paper, we propose a novel query-oriented, mediator-based biological data querying
tool, SNPMiner. The system searches and queries single nucleotide polymorphisms (SNPs) …

The execution plans generated by relational query optimisers can be suboptimal because of
the inaccuracies of estimations, the unavailability of resources and the instability of the …

Selecting a relevant data source among the available ones in a data integration system
plays vital role in optimizing query performance. The sources are heterogeneous and …

Integrating life science Web databases, while important and necessary, is a challenge for
current integration systems mainly due to the large number of these databases, their …

The extension of biology with a more data-centric component offers new opportunities for
discovery. To enable investigations that rely on third-party data, the infrastructure that retains …

The information needed by biologists and physicians for research purposes is distributed
over many heterogeneous sources. Integration systems provide a single, centralized and …

Traditionally, biologists focused on a single research subject. New high-throughput
experimental and analytical technologies, such as microarray and BLAST programs, have …

One of the major problems in biological data integration is that many data sources are stored
as atlasses, with a variety of different layouts. Integrating data from such sources can be an …