Concept

Abstraction

Related publications (32)

Constant-pressure sound waves in non-Hermitian disordered media

Romain Christophe Rémy Fleury, Hervé Lissek, Etienne Thierry Jean-Luc Rivet, Stefan Rotter

When waves impinge on a disordered material they are back-scattered and form a highly complex interference pattern. Suppressing any such distortions of a wave’s free propagation is a challenging task with many applications in a number of different discipli ...

2018

L'oeuvre de Leandro V. Locsin (1928-1994), architecte à la recherche de l'identité élusive de l'architecture philippine du second après-guerre

Jean-Claude Girard

Filipino architect Leandro Valencia Locsin (Silay1928 - Makati 1994) produced an architectural work that involved 250 projects, of which at least more than half were completed and mostly in his country of origin. A graduate in architecture of San Tomas de ...

EPFL2018

Designing, Aligning, and Visualizing Service Systems

Gorica Tapandjieva Sekulovska

Service is a concept that separates the concerns of an organization into (1) the value created for users and (2) the way the organization manages its resources to provide this value. The discipline of management of information technology (IT) uses services ...

EPFL2018

Reliable and Real-Time Distributed Abstractions

David Kozhaya

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

Right On Time Distributed Shared Memory

Rachid Guerraoui, David Kozhaya, Yvonne Anne Pignolet-Oswald

The demand for real-time data storage in distributed control systems (DCSs) is growing. Yet, providing real- time DCS guarantees is challenging, especially when more and more sensor and actuator devices are connected to industrial plants and message loss n ...

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

Fabrication-Aware Design with Performative Criteria

Yuliy Gennadievich Schwartzburg

Artists and architects often need to handle multiple constraints during design of physical constructions. We define a performative constraint as any constraint on design that is tied to the performance of the model--either during fabrication, construction, ...

EPFL2015

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

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.