In this work we present an optimized version of XMuSer, an ILP based framework suitable to explore temporal patterns available in multi-relational databases. The main idea behind XMuSer consists of exploiting frequent sequence mining, an efficient and direct method to learn temporal patterns in the form of sequences. The efficiency of XMuSer comes from a new coding methodology and on the use of...

Simulation-based inference for partially observed stochastic dynamic models is currently receiving much attention due to the fact that direct computation of the likelihood is not possible in many practical situations. Iterated filtering methodologies enable maximization of the likelihood function using simulation-based sequential Monte Carlo filters. Doucet et al. (2013) developed an approximat...

Sequential diagnosis methods compute a series of queries for discriminating between diagnoses. Queries are answered by probing such that eventually the set of faults is identified. The computation of queries is based on the generation of a set of most probable diagnoses. However, in diagnosis problem instances where the number of minimal diagnoses and their cardinality is high, even the generat...

The thesis of this paper is simple: that understanding both the construction and the interpretation of algebras is useful not only as a speciication technique for the implementation of interactive systems, but also as providing fundamental insights into the design and use of such systems in a general way. This is in contrast rstly to state-oriented speciication techniques like Z and VDM , which...