A number of diseases, such as arthritis and cardiovascular disorders impacting the lives of many people have strong inflammatory components. To elucidate the antiinflammatory mecha...
Jing Yu, Gabriel Helmlinger, Muriel Saulnier, Anna...
—Patterns of human encounters, which are difficult to observe directly, are fundamental to the propagation of mobile malware aimed at infecting devices in spatial proximity. We ...
James Mitchell, Eamonn O'Neill, Gjergji Zyba, Geof...
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Image annotation, the task of automatically generating description words for a picture, is a key component in various image search and retrieval applications. Creating image datab...
This paper describes an approach to constructing a probabilistic process model representing knowledge worker activity out of a log of primitive events, such as e-mails, web page v...