Publication

Interactive Parallel Analysis on the ALICE Grid with the PROOF Framework

Publications associées (29)

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

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

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

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

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

Advanced control strategies to exploit the hydropower potential enhancing ancillary services provision to the power system

Francesco Gerini

The European Union's Green Deal aims for a 55% reduction in greenhouse gas emissions by 2030. To reach this goal, a massive integration of Renewable Energy Sources (RES) into the power grid is necessary. As RES become a large part of the electricity genera ...

EPFL2024

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

Federated Reinforcement Learning for Electric Vehicles Charging Control on Distribution Networks

Wei Chen, Xin Liu, Ting Wang, Yuning Jiang

With the growing popularity of electric vehicles (EVs), maintaining power grid stability has become a significant challenge. To address this issue, EV charging control strategies have been developed to manage the switch between vehicle-to-grid (V2G) and gr ...

Ieee-Inst Electrical Electronics Engineers Inc2024

Fair real-time control of energy storage systems in active distribution networks in the presence of uncertainties

Plouton Grammatikos

The thesis explores the issue of fairness in the real-time (RT) control of battery energy storage systems (BESSs) hosted in active distribution networks (ADNs) in the presence of uncertainties by proposing and experimentally validating appropriate control ...

EPFL2024

DC Power Distribution Networks with Direct Current Transformers

Renan Pillon Barcelos

The shift towards DC power distribution networks, enabled by power electronics technologies, is changing the nature of electrical power systems. Nowadays, DC power distribution networks can effectively support the high penetration of distributed energy res ...

EPFL2024

Energy Management of Price-Maker Community Energy Storage by Stochastic Dynamic Programming

Xue Zhang, Tianshu Yang

In this paper, we propose an analytical stochastic dynamic programming (SDP) algorithm to address the optimal management problem of price-maker community energy storage. As a price-maker, energy storage smooths price differences, thus decreasing energy arb ...

China Electric Power Research Inst2024

Changes in spatial self-consciousness elicit grid cell–like representation in the entorhinal cortex

Olaf Blanke, Hyeongdong Park, Hyukjun Moon, Baptiste Gauthier, Emanuela De Falco, Louis Philippe Albert, Corentin Marie Hervé Robert Tasu

Grid cells in the entorhinal cortex (EC) encode an individual’s location in space, integrating both environmental and multisensory bodily cues. Notably, body-derived signals are also primary signals for the sense of self. While studies have demonstrated th ...

2024

Unified Harmonic Power-Flow and Stability Analysis of Power Grids with Converter-Interfaced Distributed Energy Resources

Johanna Kristin Maria Becker

Modern power distribution systems are experiencing a large-scale integration of Converter-Interfaced Distributed Energy Resources (CIDERs). Their presence complicates the analysis and mitigation of harmonics, whose creation and propagation may be amplified ...

EPFL2024

Electrochemical Hydrophobic Tri-layer Interface Rendered Mechanically Graded Solid Electrolyte Interface for Stable Zinc Metal Anode

Lei Zhang, Kangning Zhao

The aqueous zinc-ion battery is promising as grid scale energy storage device, but hindered by the instable electrode/electrolyte interface. Herein, we report the lean-water ionic liquid electrolyte for aqueous zinc metal batteries. The lean-water ionic li ...

Wiley-VCH Verlag GmbH2024

Study of flexible operating conditions in variable-speed hydraulic turbines : advanced models and experimental validation

Martin Seydoux

The global imperative to transition from fossil fuel-based energy sources to renewable alternatives has become increasingly urgent in the pursuit of sustainable and renewable power generation. This paradigm shift necessitates innovative approaches to manag ...

EPFL2024

Nanoindentation hardness and modulus of Al2O3-SiO2-CaO and MnO-SiO2-FeO inclusions in iron

Andreas Mortensen, Léa Deillon, Alejandra Inés Slagter, Eva Luisa Vogt, David Hernandez Escobar, Jonathan Aristya Setyadji

Dataset corresponding to the following manuscript: Slagter, A., Setyadji, J.A., Vogt, E.L. et al. Nanoindentation Hardness and Modulus of Al2O3–SiO2–CaO and MnO–SiO2–FeO Inclusions in Iron. Metall Mater Trans A (2024). https://doi.org/10.1007/s11661-024-0 ...

Zenodo2024

Functional-Basis Analysis of Non-Stationary Signals in Modern Power Grids: Theory and Implementation in Embedded Systems

Alexandra Cameron Karpilow

Situational awareness strategies are essential for the reliable and secure operation of the electric power grid which represents critical infrastructure in modern society. With the rise of converter-interfaced renewable generation and the consequent shift ...

EPFL2024

Autorepression of yeast Hsp70 cochaperones by intramolecular interactions involving their J-domains

Paolo De Los Rios, Bruno Claude Daniel Fauvet, Adélaïde Alice Mohr, Satyam Tiwari, Mathieu Rebeaud, Pierre Goloubinoff

The 70 kDa heat shock protein (Hsp70) chaperones control protein homeostasis in all ATP-containing cellular compartments. J-domain proteins (JDPs) coevolved with Hsp70s to trigger ATP hydrolysis and catalytically upload various substrate polypeptides in ne ...

Elsevier Science Inc2024

Data and scripts for the RaFSIP scheme

Athanasios Nenes, Paraskevi Georgakaki

This repository contains microphysics routines, scripts, and processed data from the Weather Research and Forecasting (WRF) model simulations presented in the paper "RaFSIP: Parameterizing ice multiplication in models using a machine learning approach", by ...

Zenodo2024

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Paul Scharnhorst

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

EPFL2024

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Alireza Modirshanechi

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

Hybrid Simulator for Capturing Dynamics of Synthetic Populations

Michel Bierlaire, Marija Kukic

This paper presents a novel hybrid framework for generating and updating a synthetic population. We call it hybrid because it combines model-based and data-driven approaches. Existing generators produce a snapshot of synthetic data that becomes outdated ov ...

IEEE2024