Publications associées à Innovative methods to release fine sediments from seasonal reservoirs

Orthologic with Axioms

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Confinement-Controlled Crystallization of Guanine

Esther Amstad, Chuen-Ru Li

Guanine crystals are frequently encountered in nature in the beta-polymorph to create structural colors, to enhance the vision of creatures, and for camouflage. Unfortunately, it is challenging to control the crystallization of guanine in aqueous condition ...

Amer Chemical Soc2024

Design and assessment of an evaporating water-cooled methanation reactor for a SOE-based power-to-methane system

Philippe Aubin

The transition towards clean renewable energy sources, where wind and solar are prone to variation, requires adequate energy storage. Power-to-methane (PtM) systems can be part of the solution. Specifically, solid-oxide-electrolyser (SOE) based PtM systems ...

EPFL2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

Mario Paolone, Willem Lambrichts

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

2024

Structure and dynamics of liquid water from ab initio simulations: adding Minnesota density functionals to Jacob's ladder

Ursula Röthlisberger, Justin Villard, Martin Peter Bircher

The accurate representation of the structural and dynamical properties of water is essential for simulating the unique behavior of this ubiquitous solvent. Here we assess the current status of describing liquid water using ab initio molecular dynamics, wit ...

Royal Soc Chemistry2024

Non-planarity of Markoff graphs mod p

Matthew De Courcy-Ireland

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

European Mathematical Soc-Ems2024

Modeling, design and economics of PEC devices

Alexandre Dominique M. Cattry

Photo-electrochemical (PEC) devices allow for converting solar energy into chemical energy and for the production of energetically dense solar fuels. Light absorption, charge separation and transport, electrochemical reactions, and ionic transport are requ ...

EPFL2024

The influence of water-saturation on the strength of volcanic rocks and the stability of lava domes

Marie Estelle Solange Violay, Michael Heap

The rocks forming a volcanic edifice or dome are typically saturated or partially-saturated with water. However, most experiments aimed at better understanding the mechanical behaviour of volcanic rocks have been performed on dry samples, and therefore mos ...

2023

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Serge Vaudenay, Bénédikt Minh Dang Tran

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023