Publication

Contribution à une méthode de conception par objets pour des logiciels ADA

Publications associées (28)

Advanced Silicon and SWIR Single-Photon Avalanche Diodes: Design, Simulation, and Characterization

Low-level light detection with high spatial and timing accuracy is a growing area of interest by virtue of applications such as light detection and ranging (LiDAR), biomedical imaging, time-resolved Raman spectroscopy, and quantum applications. Single-phot ...

EPFL2024

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Shailesh Mishra

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Ieee Computer Soc2023

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Neelu Shivprakash Kalani, Yuchen Qian

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Lessons Learned from Data-Driven Building Control Experiments: Contrasting Gaussian Process-based MPC, Bilevel DeePC, and Deep Reinforcement Learning

Colin Neil Jones, Loris Di Natale, Jicheng Shi, Emilio Maddalena, Yingzhao Lian

This manuscript offers the perspective of experimentalists on a number of modern data-driven techniques: model predictive control relying on Gaussian processes, adaptive data-driven control based on behavioral theory, and deep reinforcement learning. These ...

2023

Studies on EU-DEMO 3D coils requirements and conceptual design for error field correction and plasma control

Pierluigi Bruzzone, Hartmut Zohm, Leonardo Pigatto

This work presents the initial studies on the requirements for the design of 3D coils on EU-DEMO. The use of 3D coils in present machines includes two main purposes: the first one is the Error Field Correction (EFC). The EFC aims at minimizing the intrinsi ...

Elsevier Science Sa2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, John Stephan, Sadegh Farhadkhani, Le Nguyen Hoang, Nirupam Gupta, Rafaël Benjamin Pinot

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

A Reuse-Ready Timber Slab-and-Column System for Modular Building Structures

Corentin Jean Dominique Fivet, Jonas Warmuth, Jan Friedrich Georg Brütting, Alex-Manuel Muresan, Edisson Xavier Estrella Arcos

The construction industry is a significant contributor to resource consumption and waste generation. To address this issue, component reuse has been proposed as a way to prevent valuable building elements from being discarded and avoid producing new ones. ...

Curran Associates, Inc.2023

Modeling high-entropy transition metal alloys with alchemical compression

Michele Ceriotti, Guillaume André Jean Fraux, Sandip De, Nataliya Lopanitsyna

Alloys composed of several elements in roughly equimolar composition, often referred to as high-entropy alloys, have long been of interest for their thermodynamics and peculiar mechanical properties, and more recently for their potential application in cat ...

AMER PHYSICAL SOC2023

Electroadhesive gripping system and method for gripping an object

Herbert Shea, Vito Cacucciolo, Krishna Manaswi Digumarti

An electroadhesive gripping system and a method for gripping and manipulating an object are disclosed. The invention provides a novel approach particularly useful to pick fabrics or otherwise flat and flexible objects including a method relying on electroa ...

2023

Plasma-Assisted Hybrid Vapour Deposition Technology for Thin Film Fabrication

Caroline Hain

Continuous development of thin film deposition technologies is essential for the fabrication of films that meet the specific requirements of their target applications and working conditions. Therefore, it is necessary to increase the number of accessible a ...

EPFL2023