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.
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 ...
In this paper, we present an acoustic localization system for multiple devices. In contrast to systems which localize a device relative to one or several anchor points, we focus on the joint localization of several devices relative to each other. We presen ...
Group recommender systems suggest items of interest to a group of people. Traditionally, group recommenders provide recommendations by aggregation the group membersâ preferences. Nowadays, there is a trend of decentralized group recommendation process th ...
Anthropomorphic soft robotics systems which replicate the stiffness and range of human joints can be challenging to develop and fabricate. By using 3D printing it is possible to create flexible joints which can have the mechanical impedance and joint range ...
Higher education is experienced by many academics as a highly individualized environment where they work in relative isolation and often do not see how their teaching fits together with other courses and into the wider curriculum. But, when the ultimate go ...
This study presents an analysis of the displacement interaction among general configurations of energy piles bearing on stiff soil strata that are subjected to thermal loads. This work integrates recent analyses investigating the displacement interaction a ...
BIP is a component-based framework for system design that has important industrial applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP to system ...
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2016
Prior to this study, no simplified yet rational methods were available for estimating the vertical displacements of energy pile groups subjected to thermal loads. Observing such a challenge, the goal of this study has been threefold: (i) to extend the inte ...
Programming by Examples (PBE) has the potential to revolutionize end-user programming by enabling end users, most of whom are non-programmers, to create small scripts for automating repetitive tasks. However, examples, though often easy to provide, are an ...
We propose a new parametric 3D snake with cylindrical topology. Its construction is based on interpolatory basis functions which facilitates user-interaction because the control points of the snake directly lie on the surface of the deformable cylinder. We ...