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.
We study the problem of proving termination of open, higher-order programs with recursive functions and datatypes. We identify a new point in the design space of solutions, with an appealing trade-off between simplicity of specification, modularity, and am ...
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 ...
A sample of contracts of apprenticeship from three periods in the history of early modern Venice is analysed, as recorded in the archive of the Giustizia Vecchia, a venetian magistracy. The periods are the end of the 16th century, the 1620s and the 1650s. ...
After decades of public or private vertically integrated monopolies, the organisation of the European railway sector was re-structured. The European Commission has been seeking to improve the efficiency of the railways to strengthen the position of railway ...
We consider a supply chain with one supplier and one retailer in which the parties develop a quantity flexibility contract to specify the conditions of procurement activities. The contract allows the retailer to adjust the initial order quantity after the ...
(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 ...
We study changes in chief executive officer (CEO) contracts when firms transition from public ownership with dispersed owners to private ownership with strong principals in the form of private equity sponsors. The most significant changes are that a signif ...
We study changes in chief executive officer (CEO) contracts when firms transition from public ownership with dispersed owners to private ownership with strong principals in the form of private equity sponsors. The most significant changes are that a signif ...
Supply contracts are used to coordinate the activities of the supply chain partners. In many industries, service level-based supply contracts are commonly used. Under such a contract, a company agrees to achieve a certain service level and to pay a financi ...
R-type pyocins are representatives of contractile ejection systems, a class of biological nanomachines that includes, among others, the bacterial type VI secretion system (T6SS) and contractile bacteriophage tails. We report atomic models of the Pseudomona ...