Publication

Relating BIP and Reo

Publications associées (35)

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

Equivariant Diffusion for Molecule Generation in 3D

Clément Arthur Yvon Vignac

This work introduces a diffusion model for molecule generation in 3D that is equivariant to Euclidean transformations. Our E(3) Equivariant Diffusion Model (EDM) learns to denoise a diffusion process with an equivariant network that jointly operates on bot ...

JMLR-JOURNAL MACHINE LEARNING RESEARCH2022

In Via Accidit

Alexandre Blanc, Marco Bakker

To share an event that happened or could have happen on the road in relation to architecture or space in a wider sense. ...

MANSLAB2020

Insertion device for inserting deformable prosthesis into an eye

Diego Ghezzi, Charles-Henri Puncho Jérôme Vila

An insertion device (100; 100') for inserting a retinal prosthesis (200) into the eye of a patient comprises: a handle portion (1; 1') arranged to be grasped by a user of the insertion device (100; 100'), a cannula element (12; 12') arranged to be inserted ...

2020

La géothermie, ce potentiel inexploité: interview de Lyesse Laloui, professeur à l'EPFL

Prof. Laloui gave an interview with RTS about the status of geothermal energy in Switzerland in relation to its progression in other countries. Prof. Laloui discussed how the challenges associated with geothermal energy are primarily technical and how the ...

2018

Combine and conquer: Relating BIP and Reo

Simon Bliudze

Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation b ...

Elsevier Science Inc2017

Cross-code gyrokinetic verification and benchmark on the linear collisionless dynamics of the geodesic acoustic mode

Alberto Bottino, Gabriele Merlo

The linear properties of the geodesic acoustic modes (GAMs) in tokamaks are investigated by means of the comparison of analytical theory and gyrokinetic numerical simulations. The dependence on the value of the safety factor, finite-orbit-width of the ions ...

Amer Inst Physics2017

Projective transformations of structural equilibrium

Corentin Jean Dominique Fivet

Direct methods that transform the geometry of a structure and conserve its static equilibrium are of particular interest for designers. They allow the exploration of alternative solutions at minimum computational cost. While parallel transformations (stret ...

2016

Gauging nonrelativistic field theories using the coset construction

Alexander Monin, Georgios Karananas

We discuss how nonrelativistic spacetime symmetries can be gauged in the context of the coset construction. We consider theories invariant under the centrally extended Galilei algebra as well as the Lifshitz one, and we investigate under what conditions th ...

Amer Physical Soc2016

Semisupervised Manifold Alignment of Multimodal Remote Sensing Images

Devis Tuia, Maxime Pierre Trolliet

We introduce a method for manifold alignment of different modalities (or domains) of remote sensing images. The problem is recurrent when a set of multitemporal, multisource, multisensor, and multiangular images is available. In these situations, images sh ...

Ieee-Inst Electrical Electronics Engineers Inc2014

, ,

Process monitoring and fault diagnosis are broadly used to control quality and enforce safety compliance in industrial processes. Processes are commonly monitored by online spectroscopy, with either PCA or calibration techniques such as PLS being used to p ...

2014