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.
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 ...
Introduction: Quantitative proteomics using mass spectrometry is performed via label-free or label-based approaches. Labeling strategies rely on the incorporation of stable heavy isotopes by metabolic, enzymatic, or chemical routes. Isobaric labeling uses ...
GADTs are a very useful language feature that allow encoding some invariants in types. GADT reasoning is currently implemented in Scala and Dotty, but it’s plagued with soundness issues. To get a better understanding of GADTs in Scala, we explore how they ...
Wasserstein distances are metrics on probability distributions inspired by the problem of optimal mass transportation. Roughly speaking, they measure the minimal effort required to reconfigure the probability mass of one distribution in order to recover th ...
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...
In this paper, we present a structural rewriting method for a recently proposed XOR-Majority graph (XMG), which has exclusive-OR (XOR), majority-of-three (MAJ), and inverters as primitives. XMGs are an extension of Majority-Inverter Graphs (MIGs). Previous ...
The stability of pressure driven modes such as the 1/1 internal kink is known to depend sensitively on a multitude of physical effects such as toroidal rotation, kinetic effects due to thermal and suprathermal particle species and finite Larmor radius effe ...
This letter proposes the application of a hybrid numerical technique to two cases of interest in the space business: the reallocation of radiators and scatters on satellite platforms; and the analysis of antennas for mobile communications. It is based on t ...
This article presents a new model for the main hydration peaks of tricalcium silicate and alite on the assumption that C-S-H nucleates and grows as needles. The model relies only on directly observable quantities and reproduces the transition from the acce ...
