Publications associées (86)

Disabling conditional inferences: An EEG study

Mariia Kaliuzhna

Although the Modus Ponens inference is one of the most basic logical rules, decades of conditional reasoning research show that it is often rejected when people consider stored background knowledge about potential disabling conditions. In the present study ...
Pergamon-Elsevier Science Ltd2014

Stochastic fragments: A framework for the exact reduction of the stochastic semantics of rule-based models

Tatjana Petrov

In this paper, we propose an abstract interpretation-based framework for reducing the state space of stochastic semantics for protein protein interaction networks. Our approach consists in quotienting the state space of networks. Yet interestingly, we do n ...
2013

Extracting Informative Textual Parts from Web Pages Containing User-Generated Content

Nikolaos Pappas

The vast amount of user-generated content on the Web has increased the need for handling the problem of automatically processing content in web pages. The segmentation of web pages and noise (non-informative segment) removal are important pre-processing st ...
ACM2012

An Interactive Performance-Based Expert System for Daylighting in Architectural Design

Design practitioners are increasingly using digital tools during the design process; however, building performance simulation continues to be more commonly utilized for analysis rather than as a design aid. Additionally, while simulation tools provide the ...
PhD in Building Technology, Department of Architecture, Massachusetts Institute of Technology2011

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems

Joseph Sifakis, Simon Bliudze

We study glue operators used in component-based frameworks to obtain systems as the composition of atomic components described as labeled transition systems (LTS). Glue operators map tuples of LTS into LTS. They restrict the behavior of their arguments by ...
Springer2011

Robustness

Stephan Morgenthaler

That the conclusion based on a data analysis be robust and stable is not merely a desirable feature, it is essential. To merit this quality label, a conclusion must be supported by strong data-based evidence and not simply be a discovery gleaned from a pre ...
2011

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.