-
Deviance Information Criteria for Missing Data Models
The deviance information criterion (DIC) introduced by is directly inspired by linear and generalised linear models, but it is not so naturally defined for missing... -
HMSCs en tant que spécifications partielles et leurs complétions dans les rés...
Nous présentons les premiers résultats d'une étude visant à comprendre la nature des spécifications données par des HMSCs (High Level Message Sequence Charts) et les... -
A Fine-Grained Concurrent Completion Procedure
We present a concurrent Completion procedure based on the use of a SOUR graph as data structure. The procedure has the following characteristics. It is asynchronous,... -
Why are under-constrained systems not that bad
International audience -
Lipschitz functions on topometric spaces
We study functions on topometric spaces which are both (metrically) Lipschitz and (topologically) continuous, using them in contexts where, in classical topology,... -
A completion simulator for the two-sided truncated normal distribution
International audience -
Congruence Closure modulo Associativity-Commutativity
Colloque avec actes et comité de lecture. internationale. -
Abstract Saturation-based Inference
Colloque avec actes et comité de lecture. internationale.
