The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
Interest in multioutput kernel methods is increasing, whether under the guise of multitask learning, multisensor networks or structured output data. From the Gaussian process pers...
Mauricio Alvarez, David Luengo, Michalis Titsias, ...
Threshold estimation is one of the useful techniques in the inference for jump-type stochastic processes from discrete observations. In this method, a jump-discriminant filter is ...
Background: Recent, rapid growth in the quantity of available genomic data has generated many protein sequences that are not yet biochemically classified. Thus, the prediction of ...