Concept

Abduction (logique)

Publications associées (32)

A Data-Knowledge Hybrid Driven Method for Gas Turbine Gas Path Diagnosis

Gas path fault diagnosis of a gas turbine is a complex task involving field data analysis and knowledge-based reasoning. In this paper, a data-knowledge hybrid driven method for gas path fault diagnosis is proposed by integrating a physical model-based gas ...

MDPI2022

Learning Analytics for Adaptive and Self-Improving Learning Environments for Inductive Teaching

Louis Pierre Faucon

The emergence of digital technology is changing education in many ways. A particularly interesting aspect of this transformation is the development of learning environments that can automatically adapt to individual students and can collect data in order t ...

EPFL2021

Multi-Dimensional Explanation of Target Variables from Documents

Boi Faltings, Claudiu-Cristian Musat, Diego Matteo Antognini

Automated predictions require explanations to be interpretable by humans. Past work used attention and rationale mechanisms to find words that predict the target variable of a document. Often though, they result in a tradeoff between noisy explanations or ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2021

Contextual semantic interpretability

Devis Tuia, Sylvain Lobry, Nicolas Courty

Convolutional neural networks (CNN) are known to learn an image representation that captures concepts relevant to the task, but do so in an implicit way that hampers model interpretability. However, one could argue that such a representation is hidden in t ...

LNCS2020

A Bayesian Model of Individual Differences and Flexibility in Inductive Reasoning for Categorization of Examples

Pierre Dillenbourg, Jennifer Kaitlyn Olsen, Louis Pierre Faucon

Inductive reasoning is an important educational practice but can be difficult for teachers to support in the classroom due to the high level of preparation and classroom time needed to choose the teaching materials that challenge students' current views. I ...

ASSOC COMPUTING MACHINERY2020

Inference methods for the study of interacting biological oscillators in single-cells

Colas Noé Droin

Biological oscillators are pervasive in biology, covering all aspects of life from enzyme kinetics reactions to population dynamics. Although their behaviour has been intensively studied in the last decades, the recent advances of high-throughput experimen ...

EPFL2020

A conceptual framework to study the dynamics of routine practice transitions

Franziska Meinherz

Actors from academia, politics, and the civil society increasingly acknowledge that to address our current unsustainable regimes of resource and energy demand, we need to redefine our ways of being and doing. Everyday practices are a key driver of energy a ...

2018

ChoiceRank: Identifying Preferences from Node Traffic in Networks

Matthias Grossglauser, Lucas Maystre

Understanding how users navigate in a network is of high interest in many applications. We consider a setting where only aggregate node-level traffic is observed and tackle the task of learning edge transition probabilities. We cast it as a preference lear ...

2017

From Nano- to Micrometer Scale: The Role of Antisolvent Treatment on High Performance Perovskite Solar Cells

Mohammad Khaja Nazeeruddin, Francesco Stellacci, Pascal Alexander Schouwink, Yi Zhang, Peng Gao, Sanghyun Paek, Giulia Grancini, Kyung Taek Cho, Evangelia-Nefeli Athanasopoulou

To date, antisolvent treatment has become one of the most important means to fabricate high efficiency perovskite solar cells (PSCs); however, the few reported antisolvents have not been analyzed on a uniform platform, and there is hitherto no clear reason ...

American Chemical Society2017

metaSMT: focus on your application and not on solver integration

Mathias Soeken, Heinz Riener

Many applications from artificial intelligence and formal methods use decision procedures as their core solving engines. In this context, automated reasoning based on Satisfiability (SAT) or Satisfiability Modulo Theories (SMT) is very effective. For a giv ...

Springer Verlag2017

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search