Innovative methods to release fine sediments from seasonal reservoirs

Chat with Graph Search

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.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Stream periphytons are candidate ecosystem engineers in proglacial margins. Here, we quantify the extent to which they are engineers for the case of hillslope-fed tributaries in the terrace zones of proglacial margin alluvial plains. Candidate ecosystem en ...

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 ...

The availability of a reliable and sufficient amount of water constitutes one of the Sustainable Development Goals set by the United Nations. The provision of water is still challenging in many regions of the world, especially in arid and semi-arid regions ...

The process synthesis and optimization methods used in this work include simulation of biomass gasification, hydrogen and synthetic natural gas production, and jet fuel production via a Fisher Tropsch unit. An energy integration approach, carried out by th ...

Edible electronics leverages the electronic properties of food-derived materials to deliver safer technologies that can be degraded (or digested) in the environment (or body) at the end-of-life. Sensors will be central to future smart edible robots, and ed ...

Incidents where water networks are contaminated with microorganisms or pollutants can result in a large number of infected or ill persons, and it is therefore important to quickly detect, localize and estimate the spread and source of the contamination. In ...

This paper presents the cooling concept for a medium voltage modular multilevel converter cell. To optimize power density, the metallic enclosure is used to dissipate the heat generated by semiconductor losses, while maintaining maximum temperatures below ...

Data repository for the following publication: A. Duque-Prata*, H.-Y. Chen*, L. Müller, M. Oppermann, M. Puppin, C. Serpa, C. Bostedt and M. Chergui, “Ultrafast deep-ultraviolet study of photoexcited aqueous Ferrioxalate”, submitted to ChemPhotoCh ...

Prediction of ground motion triggered by earthquakes is a prime concern for both the seismology community and geotechnical earthquake engineering one. The subfield occupied with such a problem is termed site response analysis (SRA), its one-dimensional fla ...

Cryopreservation and lyophilization processes are widely used for conservation purposes in the pharmaceutical, biotechnological, and food industries or in medical transplantation. Such processes deal with extremely low temperatures (e.g., -196 degrees C) a ...

This contribution outlines a research proposal combining ethical guidelines on AI and a law-as-data approach. Building upon the definitions of soft law discussed in legal scholarship, it proposes a way of structuring the regulatory landscape on AI and of a ...

Innovative methods to release fine sediments from seasonal reservoirs

Chat with Graph Search

Orthologic with Axioms

Confinement-Controlled Crystallization of Guanine

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

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

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

Non-planarity of Markoff graphs mod p

Modeling, design and economics of PEC devices

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

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

Ecosystem engineering by periphyton in Alpine proglacial streams

LISA – A Modern Proof System

Atmospheric water harvesting in semi-arid regions by membranes: A techno-economic assessment

Renewable Energy Integration and Waste Heat Recovery for the Production of Sustainable Jet Fuel and Decarbonization of Industrial Heating Applications

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

Estimating pollution spread in water networks as a Schrödinger bridge problem with partial information

Thermal Design of a Medium Voltage Modular Multilevel Converter Cell

Data for "Ultrafast deep-ultraviolet study of photoexcited aqueous Ferrioxalate"

Data-driven 1D wave propagation for site response analysis

Industrial Biotechnology Conservation Processes: Similarities with Natural Long-Term Preservation of Biological Organisms

Learning from the Ethics of AI-A Research Proposal on Soft Law and Ethics of AI