Publication

Parameterized Systems in BIP: Design and Model Checking

Related publications (46)

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.

Dynamic Personalized Ranking

Jérémie Rappaz

Personalized ranking methods are at the core of many systems that learn to produce recommendations from user feedbacks. Their primary objective is to identify relevant items from very large vocabularies and to assist users in discovering new content. These ...

EPFL2022

Teaching under lockdown: the change in the social practice of teaching

Patrick Jermann, Roland John Tormey, Helena Kovacs

Due to the unprecedented situation caused by a global pandemic, the traditional way of teaching that is reliant on face-to-face interaction between teachers and students has been dismantled. This article looks into university teachers’ experiences of teach ...

Springer2022

Pushing the Limits of the Donor-Acceptor Copolymer Strategy for Intramolecular Singlet Fission

Maria Fumanal Quintana

Donor-acceptor (D-A) copolymers have shown great potential for intramolecular singlet fission (iSF). Nonetheless, very few design principles exist for optimizing these systems for iSF, with very little knowledge about how to engineer them for this purpose. ...

AMER CHEMICAL SOC2021

On Katznelson's Question for skew product systems

Florian Karl Richter

Katznelson's Question is a long-standing open question concerning recurrence in topological dynamics with strong historical and mathematical ties to open problems in combinatorics and harmonic analysis. In this article, we give a positive answer to Katznel ...

2021

The Annotated Mozart Sonatas: Score, Harmony, and Cadence

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This article describes a new expert-labelled dataset featuring harmonic, phrase, and cadence analyses of all piano sonatas by W.A. Mozart. The dataset draws on the DCML standard for harmonic annotation and is being published adopting the FAIR principles of ...

2021

Physics of optically driven nanojunctions

Philippe Andreas Rölli

Recent years have seen spectacular developments in the domain of nano-optics. Alongside the well-known techniques of super-resolution microscopy progress in nanofabrication has enabled important improvements in the fields of optical imaging and spectros ...

EPFL2020

Bridging the Gap between Semantics and Multimedia Processing

Roberto Gerson De Albuquerque Azevedo

In this paper, we overview the semantic gap problem in multimedia and discuss how machine learning and symbolic AI can be combined to narrow this gap. We describe the semantic gap in terms of a classical architecture for multimedia processing and discuss a ...

IEEE2019

Fully symmetrical single-suspension electrodynamic loudspeaker using a Halbach array

Hervé Lissek, Thomas Laurence

Invented at the end of the XIXth century, the electrodynamic loudspeaker has not much changed sincethen. Although the materials have greatly evolved, the geometry and the transduction principle staythe same. In many applications, the presence of two sets o ...

Canadian Acoustical Association2019

Processing Megapixel Images with Deep Attention-Sampling Models

François Fleuret, Angelos Katharopoulos

Existing deep architectures cannot operate on very large signals such as megapixel images due to computational and memory constraints. To tackle this limitation, we propose a fully differentiable end-to-end trainable model that samples and processes only a ...

Idiap2019

Level up the interaction space with Cellulo robots

Lucas Gérard Burget

Cellulo, as tabletop tangible robots, are a great tool for interactive learning and upper limb rehabilita-tion. For the moment, the main way of interaction is to take them in hand and move them in the plane.Thus, due to the laws of physics, the different g ...

2019