Concept

Contrat en droit suisse

Publications associées (59)

Automated Formal Verification of Software Network Functions

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Optimal Depth of Discharge for Electric Batteries with Robust Capacity-Shrinkage Estimator

Thomas Alois Weber

A user’s benefit from the energy stored in a battery over its lifetime depends on the time-varying characteristics of the battery, which are in turn affected by the chosen usage behavior. Both the capacity shrinkage and the number of lifetime cycles are st ...

2024

The design of simple and versatile synthetic routes to accomplish triggered-release properties in carriers is of particular interest for drug delivery purposes. In this context, the programmability and adaptability of DNA nanoarchitectures in combination w ...

AMER CHEMICAL SOC2022

Intentional machines: A defence of trust in medical artificial intelligence

Trust constitutes a fundamental strategy to deal with risks and uncertainty in complex societies. In line with the vast literature stressing the importance of trust in doctor–patient relationships, trust is therefore regularly suggested as a way of dealing ...

2022

Orthos: A Trustworthy AI Framework for Data Acquisition

Boi Faltings, Sujit Prakash Gujar, Dimitrios Chatzopoulos

Information acquisition through crowdsensing with mobile agents is a popular way to collect data, especially in the context of smart cities where the deployment of dedicated data collectors is expensive and ineffective. It requires efficient information el ...

Springer2021

La Technologie et les brevets d'invention aux XVIIIe et XIXe siècles

Jérôme Baudry

(FR) Dans les régimes de brevets d’invention qui se mettent en place au XVIIIe siècle, d’abord en Angleterre puis aux États-Unis et en France, la description (par le texte, l’image, le modèle, l’échantillon) occupe un rôle central. Elle permet d’opérationn ...

2020

Smart Contract With Secret Parameters

Serge Vaudenay

By design, smart contracts' data and computations are public to all participants. In this paper, we study how to create smart contracts with parameters that need to stay secret. We propose a way to keep some of the parameters off-chain, while guaranteeing ...

2020

Performance Contracts for Software Network Functions

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh, Rishabh Ramesh Iyer, Luis David Figueiredo Mascarenhas Moreira Pedrosa

Software network functions (NFs), or middleboxes, promise flexibility and easy deployment of network services but face the serious challenge of unexpected performance behaviour. We propose the notion of a performance contract, a construct formulated in ter ...

USENIX ASSOC2019

Local Energy Storage and Stochastic Modeling for Ultrafast Charging Stations

Hubert Girault, Heron Vrubel, Yorick Ligen

Multi-stall fast charging stations are often thought to require megawatt-range grid connections. The power consumption profile of such stations results in high cost penalties due to monthly power peaks and expensive linkage fees. A local energy storage sys ...

2019

Constraints and regulations related to new buildings are constantly evolving and all these changes, in our ways of thinking and producing, will have an impact on standards. For the policy field, contractual relationships, risk-allocation models and procedu ...

2018

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