An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
Directed graphical models with one layer of observed random variables and one or more layers of hidden random variables have been the dominant modelling paradigm in many research ...
This article extends the concept of compressed sensing to signals that are not sparse in an orthonormal basis but rather in a redundant dictionary. It is shown that a matrix, whic...
Holger Rauhut, Karin Schnass, Pierre Vandergheynst
This paper outlines the methodology and results of the EBONI Project’s evaluation of portable electronic books, in which staff from UK academia were provided with a selection of...
The presentation concerns the "Minerva" project co-financed by E.U. aiming at identifying and promoting "good practice" in the design and delivery of e-learnin...
Maria Cristina Matteucci, Carlos Tomasetto, Felice...