Concept

Abstraction (philosophie)

Publications associées (79)

Reliable and Real-Time Distributed Abstractions

The celebrated distributed computing approach for building systems and services using multiple machines continues to expand to new domains. Computation devices nowadays have additional sensing and communication capabilities, while becoming, at the same tim ...

EPFL2016

On generalizability of MOOC models

Pierre Dillenbourg, Kshitij Sharma, Mina Shirvani Boroujeni

The big data imposes the key problem of generalizability of the results. In the present contribution, we discuss statistical tools which can help to select variables adequate for target level of abstraction. We show that a model considered as over-fitted i ...

2016

Behaviorally Driven Train Timetable Design

Tomas Robenek

The focus of this thesis is to include the passengers and their behavior inside the train timetable design. This is done through three main objectives: timetable design based on passenger satisfaction, exploitation of hybrid cyclicity and choice based reve ...

EPFL2016

Verification of Component-based Systems via Predicate Abstraction and Simultaneous Set Reduction

Simon Bliudze, Qiang Wang

This paper presents a novel safety property verification approach for component-based systems modelled in BIP (Behaviour, Interaction and Priority), encompassing multiparty synchronisation with data transfer and priority. Our contributions consist of: (1 ...

Springer2015

On the Soundness of Behavioural Abstraction in Hybrid Systems

Simon Bliudze

We discuss the challenges of building a simulation framework for hybrid systems, in particular the well-known Zeno effect and correct composition of models idealised by abstracting irrelevant behavioural details (e.g. the bounce dynamics of a bouncing ball ...

2014

Hyperpolarized Magnetic Resonance as a Sensitive Detector of Metabolic Function

Arnaud Comment

Hyperpolarized magnetic resonance allows for noninvasive measurements of biochemical reactions in vivo. Although this technique provides a unique tool for assaying enzymatic activities in intact organs, the scope of its application is still elusive for the ...

Amer Chemical Soc2014

Laboratory as a Service (LaaS): a Model for Developing and Implementing Remote Laboratories as Modular Components

Denis Gillet, Christophe Salzmann, Mohamed Tawfik

This contribution introduces a novel model, Laboratory as a Service (LaaS), for developing remote laboratories as independent component modules and implementing them as a set of loosely-coupled services to be consumed with a high level of abstraction and v ...

IEEE2014

Reduction and Abstraction Techniques for BIP

Simon Bliudze, Mohammad Noureddine

Reduction and abstraction techniques have been proposed to address the state space explosion problem in verification. In this paper, we present reduction and abstraction techniques for component-based systems modeled in BIP (Behavior, Interaction and Prior ...

Springer2014

Lightweight Snapshots and System-level Backtracking

George Candea, Edouard Bugnion, Vitaly Chipounov

We propose a new system-level abstraction, the lightweight immutable execution snapshot, which combines the immutable characteristics of checkpoints with the direct integration into the virtual memory subsystem of standard mutable address spaces. The abstr ...

USENIX2013

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

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