Publication

Interactive Parallel Analysis on the ALICE Grid with the PROOF Framework

Publications associées (29)

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

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

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

On the role of energy infrastructure in the energy transition. Case study of an energy independent and CO2 neutral energy system for Switzerland

Sidi-Rachid Cherkaoui, Manuele Domenico Margni, François Maréchal, Jonas Schnidrig

The transition towards renewable energy is leading to an important strain on the energy grids. The question of designing and deploying renewable energy technologies in symbiosis with existing grids and infrastructure is arising. While current energy system ...

2023

Methods for Grid-aware Operation and Planning of Active Distribution Networks

Rahul Kumar Gupta

The thesis presents methods for controlling and planning distributed energy resources (DERs) in active distribution networks (ADNs). It deals with three main challenges: (i) developing and experimentally validating grid-aware real-time control frameworks, ...

EPFL2023

Flexible High Power Electronics Solutions for Hydro-Power Applications

Philippe Alexandre Bontemps

The current global energy landscape is characterized by an increasing demand for affordable and sustainable energy sources, leading to an ever increasing integration of intermittent renewable energy resources into the grid. The intermittent nature of these ...

EPFL2023

Alternative energy supply approach for industrial complexes and district heating networks based on biomass integrated gasification

François Maréchal, Daniel Alexander Florez Orrego, Meire Ellen Gorete Ribeiro Domingos

In this work, a systematic approach combining different energy solutions and the time-varying energy demands is used to identify the operating conditions and arrangements for industrial complexes. A kraft pulp mill integrated to an urban district heating n ...

Universidad de Las Palmas de Gran Canaria2023

Leveraging industrial biorefineries for the energy transition

François Maréchal, Julia Granacher

Biorefineries hold the potential to provide products and energy carriers at reduced environmental impact compared to their fossil-based counterparts. Thus, they can contribute to the decarbonization of sectors in which electrification of demands is challen ...

Elsevier Sci Ltd2023

The effects of war on Ukrainian research

Gaétan Jean A de Rassenfosse, Wolf-Hendrik Peter Uhlbach, Tetiana Murovana

The ongoing war in Ukraine has profoundly impacted the Ukrainian scientific community. Numerous researchers have either emigrated or transitioned to alternate professions. For those who remain in research, the destruction of civil infrastructure and psycho ...

Springernature2023

Automatic and high-precision acoustic emission-based structural health monitoring of concrete structures

Brice Tanguy Alphonse Lecampion, Seyyedmaalek Momeni

Acoustic emission (AE) monitoring is a useful technique to monitor the health of a structure continuously, helping to prevent potential failure. AE are elastic waves produced and emitted during fracture processes inside a material and are recorded by senso ...

DESTech publications inc.2023