Publications associées à A self-organized, fault-tolerant and scalable replication scheme for cloud storage

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

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

Multimodal transcriptomic atlases of mouse spinal cord injury

Matthieu Pierre Gautier

A spinal cord injury (SCI) triggers a cascade of molecular and cellular responses involving inflammatory cell infiltration and cytokine release, apoptosis, demyelination, excitotoxicity, ischemia, and the formation of a fibrotic scar surrounded by an astro ...

EPFL2024

When Subtyping Constraints Liberate A Novel Type Inference Approach for First-Class Polymorphism

Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki

Type inference in the presence of first-class or "impredicative" second-order polymorphism a la System F has been an active research area for several decades, with original works dating back to the end of the 80s. Yet, until now many basic problems remain ...

Assoc Computing Machinery2024

Formal Foundations of Capture Tracking

Aleksander Slawomir Boruch-Gruszecki

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

Altruism, reciprocity, and tokens to reward forwarding data: Is that fair?

Verónica del Carmen Estrada Galiñanes, Arman Babaei

Decentralized storage networks offer services with intriguing possibilities to reduce inequalities in an extremely centralized market. Fair distribution of rewards, however, is still a persistent problem in the current generation of decentralized applicati ...

2024

Impact of CO2-rich seawater injection on the flow properties of basalts

Lyesse Laloui, Eleni Stavropoulou, Cesare Griner

Permanent CO storage in basalts through mineralisation offers a promising solution for reducing carbon emissions and mitigating climate change. This study focuses on the impact of potential mineralisation on the flow properties of the basaltic material. Fl ...

2024

Collective motion in a sheet of microswimmers

Viktor Skultéty

Self-propelled particles such as bacteria or algae swimming through a fluid are non-equilibrium systems where particle motility breaks microscopic detailed balance, often resulting in large-scale collective motion. Previous theoretical work has identified ...

Nature Portfolio2024

Planetary-Scale Byzantine Fault Tolerance

Matteo Monti

The scale and pervasiveness of the Internet make it a pillar of planetary communication, industry and economy, as well as a fundamental medium for public discourse and democratic engagement. In stark contrast with the Internet's decentralized infrastructur ...

EPFL2024

Exponential convergence to steady-states for trajectories of a damped dynamical system modeling adhesive strings

Nicola De Nitti

We study the global well-posedness and asymptotic behavior for a semilinear damped wave equation with Neumann boundary conditions, modeling a one-dimensional linearly elastic body interacting with a rigid substrate through an adhesive material. The key fea ...

World Scientific Publ Co Pte Ltd2024

Seismic Testing of Adjacent Interacting Masonry Structures – Analysis of a Blind Prediction

Katrin Beyer, Andrea Penna, Igor Tomic

Masonry aggregates, which emerged as layouts of cities and villages became denser, make up historical centres all over the world. In these aggregates, neighbouring structures may share structural walls that are joined at the interfaces by mortar or interlo ...

Springer2024

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

Swiss dams: Overview of historical development

Anton Schleiss

With more than 220 large dams in operation, compared to its surface of some 41ʹ000 km2, Switzerland has a very large fleet. They were erected to meet various economic and protection needs. Their main assignments concern the storage of water for later use, ...

CRC Press/Balkema2023

Updates on Hydrogen Value Chain: A Strategic Roadmap

Michael Graetzel, Dan Ren

A strategic roadmap for noncarbonized fuels is a global priority, and the reduction of carbon dioxide emissions is a key focus of the Paris Agreement to mitigate the effects of rising temperatures. In this context, hydrogen is a promising noncarbonized fue ...

WILEY-V C H VERLAG GMBH2023

Analysis of the influence of errors in DNA-based image coding

Touradj Ebrahimi, Davi Nachtigall Lazzarotto, Michela Testolina

In the last decade, DNA has been increasingly investigated as an alternative medium for cold data storage, presenting several advantages over standard hard drives such as a higher density, longer lifespan and lower energy consumption. However, such coding ...

2023

Interactive-time Exploration, Querying, and Analysis of Large High-dimensional Datasets

Sachin Basil John

In the current era of big data, aggregation queries on high-dimensional datasets are frequently utilized to uncover hidden patterns, trends, and correlations critical for effective business decision-making. Data cubes facilitate such queries by employing p ...

EPFL2023

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

HPCache: memory-efficient OLAP through proportional caching revisited

Anastasia Ailamaki, Periklis Chrysogelos, Hamish Mcniece Hill Nicholson

Analytical engines rely on in-memory data caching to avoid storage accesses and provide timely responses by keeping the most frequently accessed data in memory. Purely frequency- and time-based caching decisions, however, are a proxy of the expected query ...

Springer2023

Regulation and function of a hemicleaved Activin-A processing intermediate in melanoma

Manon Bulliard

Activin-A is a Transforming Growth Factor-B (TGFB)-related cytokine that regulates various biological processes including cell proliferation and differentiation through autocrine, paracrine or endocrine signaling. Activin-A expression is upregulated in mul ...

EPFL2023

The effect of storage conditions on the long-term stability of ethylene-vinyl-acetate (EVA) copolymer used in glass/glass modules

Christophe Ballif, Eleonora Annigoni, Alessandro Francesco Aldo Virtuani, Luca Gnocchi, Andrew Wayne Fairbrother

We evaluate the effect of storage conditions of uncured encapsulant rolls and the potential consequences on photovoltaic (PV) module performance. We show the impact of residual water trapped inside laminated double glass PV modules after lamination and dur ...

ELSEVIER2023

Capturing Types

Martin Odersky, Ondrej Lhoták, Aleksander Slawomir Boruch-Gruszecki

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023