The emergence of new species is one of the trickiest issues of evolutionary biology. We propose a cellular automata model to investigate the possibility that speciation proceeds in...
Google Scholar allows researchers to search through a free and extensive source of information on scientific publications. In this paper we show that within the limited context o...
This report1 considers 2-regions of grid cubes and proposes an algorithm for calculating the number of tunnels of such a region. The graph-theoretical algorithm proceeds layer by l...
We are concerned with programs composed of cooperative threads whose execution proceeds in synchronous rounds called instants. We develop static analysis methods to guarantee that...
ded abstract of this technical report appeared in the Proceedings of the First Information Security Practice and Experience Conference (ISPEC 2005) [AHS05].