Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
Background: The statistical modeling of biomedical corpora could yield integrated, coarse-to-fine views of biological phenomena that complement discoveries made from analysis of m...
David M. Blei, K. Franks, Michael I. Jordan, I. Sa...
Abstract. Bellare and Kohno introduced a formal framework for the study of related-key attacks against blockciphers. They established sufficient conditions (output-unpredictabilit...
Martin R. Albrecht, Pooya Farshim, Kenny G. Paters...
I have been designing and building applications, including the databases used by those applications, for several decades now. I have seen similar problems approached by different d...
In functional Magnetic Resonance Imaging (fMRI), recent works have addressed the non parametric estimation of the Hemodynamic Response Function (HRF) under linearity and stationar...
Sophie Donnet, Marc Lavielle, Philippe Ciuciu, Jea...