Concept

Abductive reasoning

Related publications (77)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Statistics of Extremes

Anthony Christopher Davison, Raphaël Huser

Statistics of extremes concerns inference for rare events. Often the events have never yet been observed, and their probabilities must therefore be estimated by extrapolation of tail models fitted to available data. Because data concerning the event of int ...

Annual Reviews2015

Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

Satisfiability modulo theory solvers are increasingly being used to solve quantified formulas over structures such as integers and term algebras. Quantifier instantiation combined with ground decision procedure alone is insufficient to prove many formulas ...

Springer-Verlag Berlin2015

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

Kullback-Leibler Proximal Variational Inference

Pascal Fua, François Fleuret, Pierre Bruno Baqué, Mohammad Emtiyaz Khan

We propose a new variational inference method based on a proximal framework that uses the Kullback-Leibler (KL) divergence as the proximal term. We make two contributions towards exploiting the geometry and structure of the variational bound. Firstly, we p ...

2015

Formal verification of infinite-state BIP models

Simon Bliudze, Wajeb Saab

We propose two expressive and complementary techniques for the verification of safety properties of infinite-state BIP models. Both our techniques deal with the full BIP specification, while the existing approaches impose con- siderable restrictions: they ...

Springer2015

Scalable and Reactive Programming for Semantic Web Developers

Jean Paul Calbimonte Perez

The Semantic Web brings a powerful set of concepts, standards and ideas that are already changing the shape of the Web. However, in order to put these notions into practice we need to translate them into code. That is why the broad notion of programming th ...

CEUR-WS2015

Granulation and bistability in non-Brownian suspensions

Matthieu Wyart

In granulation, a dense colloidal suspension is converted into pasty lumps by application of flow. Often, such lumps are bistable: each can exist either as a fluid droplet (with a shiny surface) or as a jammed granule, whose rough surface creates a bulk st ...

Springer Verlag2014

On Induction for SMT Solvers

Viktor Kuncak, Andrew Joseph Reynolds

2014

Observations on out-of-plane behaviour of URM walls in buildings with RC slabs

Katrin Beyer, Marco Tondelli

In Switzerland many new residential buildings are constructed as unreinforced masonry (URM) structures or as mixed structures where URM walls are coupled with reinforced concrete (RC) walls by RC slabs. At present the boundary conditions of URM walls subje ...

2014

Audio Steganography using Convex Demixing

Yann Mikaël Schoenenberger

In the first part, we first introduce steganography (in chapter 1) not in the usual context of information security, but as a method to piggyback data on top of some content. We then focus on audio steganography and propose a new steganographic scheme in c ...

2014