Interactive Parallel Analysis on the ALICE Grid with the PROOF Framework

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

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

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

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

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

Multi-Scale computing systems aim at bringing the computing as close as possible to the data sources, to optimize both computation and networking. These systems are composed of at least three computing layers: the terminal layer, the edge layer, and the cl ...

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

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

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

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

Interactive Parallel Analysis on the ALICE Grid with the PROOF Framework

Chat with Graph Search

LISA – A Modern Proof System

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

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

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

Flexible High Power Electronics Solutions for Hydro-Power Applications

Special Session: Challenges and Opportunities for Sustainable Multi-Scale Computing Systems

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

Leveraging industrial biorefineries for the energy transition

The effects of war on Ukrainian research

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