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.
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 ...
Description (through texts, images, models or samples) played a central role in the patent regimes that emerged in the eighteenth century, first in England, later in the United States and in France. Description ensured that the contract—protection in excha ...
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 ...
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 ...
(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 ...
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 ...
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 ...
Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...
Economic interpretations, in particular the lens of the Industrial Revolution, have strongly influenced our understanding of the rise of intellectual property. This article examines the political origins of the 1791 patent law in France, which is usually s ...
Our understanding of the rise of intellectual property has been highly influenced by the tools and concepts of economic history and the lens of the Industrial Revolution. Looking at the case of France, this article examines the cultural and ideological ori ...
