Publications associées à GIS-based 3D modelling for landslide hazard assessment: increasing the objectivity of hazard maps

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in orthologic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based pro ...

Springer International Publishing Ag2024

Interpolation and Quantifiers in Ortholattices

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We study quantifiers and interpolation properties in ortho- logic, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical logic, yet has a quadratic-time decision procedure. We present a sequent-based p ...

2024

Retraction-based numerical methods for continuation, interpolation and time integration on manifolds

Axel Elie Joseph Séguin

The goal of this thesis is the development and the analysis of numerical methods for problems where the unknown is a curve on a smooth manifold. In particular, the thesis is structured around the three following problems: homotopy continuation, curve inter ...

EPFL2023

Computer-assisted proof of kernel inequalities

Maryna Viazovska, Abhinav Kumar

This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...

EPFL Infoscience2023

A Depth-Averaged Material Point Method for Shallow Landslides: Applications to Snow Slab Avalanche Release

Bertil Trottet, Johan Alexandre Philippe Gaume, Denis Aloyse Joseph Steffen, Lars Kristoffer Uhlen Blatny, Louis Marie Cédric Guillet

Shallow landslides pose a significant threat to people and infrastructure. Despite significant progress in the understanding of such phenomena, the evaluation of the size of the landslide release zone, a crucial input for risk assessment, still remains a c ...

AMER GEOPHYSICAL UNION2023

Relative plus constructions

Jérôme Scherer

Let h be a connective homology theory. We construct a functorial relative plus construction as a Bousfield localization functor in the category of maps of spaces. It allows us to associate to a pair (X,H), consisting of a connected space X and an hperfect ...

2023

Machine-Learning-Enhanced Procedural Modeling for 4D Historical Cities Reconstruction

Frédéric Kaplan, Isabella Di Lenardo, Rémi Guillaume Petitpierre, Beatrice Vaienti

The generation of 3D models depicting cities in the past holds great potential for documentation and educational purposes. However, it is often hindered by incomplete historical data and the specialized expertise required. To address these challenges, we p ...

2023

Clustering and Informative Path Planning for 3D Gas Distribution Mapping: Algorithms and Performance Evaluation

Alcherio Martinoli, Chiara Ercolani, Ankita Arun Humne, Lixuan Tang

Chemical gas dispersion can represent a severe threat to human and animal lives, as well as to the environment. Constructing a map of the distribution of gas in a fast and reliable manner is critical to ensure accurate monitoring of at-risk facilities and ...

2022

Mapping Active Site Geometry to Activity in Immobilized Frustrated Lewis Pair Catalysts

Anne-Clémence Corminboeuf, Jacob Terence Blaskovits, Shubhajit Das, Rubén Laplaza Solanas

The immobilization of molecular catalysts imposes spatial constraints on their active site. We reveal that in bifunctional catalysis such constraints can also be utilized as an appealing handle to boost intrinsic activity through judicious control of the a ...

Wiley-VCH Verlag GmbH2022

Mapping forest in the Swiss Alps treeline ecotone with explainable deep learning

Devis Tuia, Thiên-Anh Claris Nguyen, Benjamin Alexander Kellenberger

Forest maps are essential to understand forest dynamics. Due to the increasing availability of remote sensing data and machine learning models like convolutional neural networks, forest maps can these days be created on large scales with high accuracy. Com ...

Elsevier2022

A Lightweight Goal-Based model for Trajectory Prediction

Kaouther Messaoud Ben Amor

We present a lightweight goal-based model for multimodal, probabilistic trajectory prediction for urban driving. Previous conditioned-on-goal methods have used map information in order to establish a set of potential goals and then complete the correspondi ...

IEEE2022

Classical soft graviton theorem rewritten

Biswajit Sahoo

Classical soft graviton theorem gives the gravitational wave-form at future null infinity at late retarded time u for a general classical scattering. The large u expansion has three known universal terms: the constant term, the term proportional to 1/u and ...

Springer Nature2022

Fourier non-uniqueness sets from totally real number fields

Martin Peter Stoller

Let K be a totally real number field of degree n >= 2. The inverse different of K gives rise to a lattice in Rn. We prove that the space of Schwartz Fourier eigenfunctions on R-n which vanish on the "component-wise square root" of this lattice, is infinite ...

EUROPEAN MATHEMATICAL SOC-EMS2022

Vision-based Flocking in Aerial Robot Swarms

Fabian Maximilian Schilling

Aerial robot swarms have the potential to perform time-critical and dangerous tasks such as disaster response without compromising human safety. However, their reliance on external infrastructure such as global positioning for localization and wireless net ...

EPFL2022

On Linear Interpolation in the Latent Space of Deep Generative Models

Quentin Christian Becker, Mike Yan Michelis

The underlying geometrical structure of the latent space in deep generative models is in most cases not Euclidean, which may lead to biases when comparing interpolation capabilities of two models. Smoothness and plausibility of linear interpolations in lat ...

2021

Practical issues with modeling extreme Brazilian rainfall

Anthony Christopher Davison, Isolde Santos Previdelli, Paulo Vitor Da Costa Pereira

Accurately quantifying extreme rainfall is important for the design of hydraulic structures, for flood mapping and zoning and for disaster management. In order to produce maps of estimates of 25-year rainfall return levels in Brazil, we selected 893 shorte ...

BRAZILIAN STATISTICAL ASSOCIATION2021

Pressure on obstacles induced by granular snow avalanches

Michael Lukas Kyburz

The increasing population and the consequential demand for dwelling and recreation areas lead to more frequent conflicts between humans and natural hazards. In mountainous regions snow avalanches are, therefore, still a major threat to humans and infrastru ...

EPFL2021

Learning convergence prediction of astrobots in multi-object spectrographs

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian, Francesco Basciani

Astrobot swarms are used to capture astronomical signals to generate the map of the observable universe for the purpose of dark energy studies. The convergence of each swarm in the course of its coordination has to surpass a particular threshold to yield a ...

2021

Quantifying the transition of impact mechanisms of geophysical flows against flexible barrier

Xingyue Li

Flexible barriers have been increasingly used worldwide for mitigating natural hazards involving various geophysical flows. The analysis and design of flexible barriers need to distinguish two major impact mechanisms, runup and pile-up, which remain poorly ...

ELSEVIER2021

The challenges of impact evaluation: Attempting to measure the effectiveness of community-based disaster risk management

Anthony Christopher Davison, Silvia Hostettler, Alfredo Rafael Kägi Trejo, Nicola Mary Banwell

Although disaster risk management is becoming increasingly important in development cooperation, there is still a lack of robust evidence regarding its effectiveness. Few studies based on a counterfactual have been conducted in the fields of disaster manag ...

2020