Concept
Contradiction
Publications associées (24)
LISA – A Modern Proof System
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
2023Improving Standard-Cell Design Flow using Factored Form Optimization
Giovanni De Micheli, Alessandro Tempia Calvino
Factored form is a powerful multi-level representation of a Boolean function that readily translates into an implementation of the function in CMOS technology. In particular, the number of literals in a factored form correlates strongly with the number of ...
New York2023Computational Studies of the Proton-Coupled Metal Ion Transport in the SLC11/NRAMP Family of Transporters
In the last years, it has been demonstrated a link between the overload of metal ions inside nervous system cells and the onset of severe neurodegenerative diseases. This prompted the investigation of the structural and functional properties of transporter ...
EPFL2022Cost for a controlled linear KdV equation
Joachim Krieger, Shengquan Xiang
The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathem ...
2019Nuove ecologie alpine: industrializzazione e costruzione della città-territorio
This research study offers a reflection on the Alpine urban condition through the observation of the spaces of production. Departing from the premise that the tourist economy cannot be the only possible horizon for Alpine development, this thesis reflects ...
EPFL2018Fréchet means in Wasserstein space
This work studies the problem of statistical inference for Fréchet means in the Wasserstein space of measures on Euclidean spaces, . This question arises naturally from the problem of separating amplitude and phase variation i ...
EPFL2017