In many applications transactions between the elements of an information hierarchy occur over time. For example, the product offers of a department store can be organized into pro...
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
: Starting from the rich historical documentation of the National Archaeological Museum of Aquileia, we provide some examples of crosschecking aerial photography and archival data,...
Background: Caspases are a family of proteases that have central functions in programmed cell death (apoptosis) and inflammation. Caspases mediate their effects through aspartate-...
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...