Publications related to The perils of taxonomic inconsistency in quantitative palaeoecology: experiments with testate amoeba data

Automated Formal Verification of Software Network Functions

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Error estimates for SUPG-stabilised Dynamical Low Rank Approximations

Fabio Nobile, Thomas Simon Spencer Trigo Trindade

We perform an error analysis of a fully discretised Streamline Upwind Petrov Galerkin Dynamical Low Rank (SUPG-DLR) method for random time-dependent advection-dominated problems. The time integration scheme has a splitting-like nature, allowing for potenti ...

Springer Nature Switzerland2025

Orchestrating chromosome conformation capture analysis with Bioconductor

Cyril Matthey-Doret

Genome-wide chromatin conformation capture assays provide formidable insights into the spatial organization of genomes. However, due to the complexity of the data structure, their integration in multi-omics workflows remains challenging. We present data st ...

Nature Research2024

An Unbiased Method of Measuring the Ratio of Two Data Sets

Jean-Paul Richard Kneib, Huanyuan Shan

In certain cases of astronomical data analysis, the meaningful physical quantity to extract is the ratio R between two data sets. Examples include the lensing ratio, the interloper rate in spectroscopic redshift samples, and the decay rate of gravitational ...

IOP Publishing Ltd2023

Impact of phylogeny on structural contact inference from protein sequence data

Nicola Dietler, Umberto Lupo, Anne-Florence Raphaëlle Bitbol

Local and global inference methods have been developed to infer structural contacts from multiple sequence alignments of homologous proteins. They rely on correlations in amino acid usage at contacting sites. Because homologous proteins share a common ance ...

ROYAL SOC2023

Cosmological constraints with the linear point from the BOSS survey

Huanyuan Shan, Cheng Zhao

The Linear Point (LP), defined as the mid-point between the baryon acoustic oscillation (BAO) peak and the associated left dip of the two-point correlation function (2PCF), xi(s), is proposed as a new standard ruler which is insensitive to non-linear effec ...

Oxford Univ Press2023

From Trees to Barcodes and Back Again: A Combinatorial, Probabilistic and Geometric Study of a Topological Inverse Problem

Adélie Eliane Garin

In this thesis, we investigate the inverse problem of trees and barcodes from a combinatorial, geometric, probabilistic and statistical point of view. Computing the persistent homology of a merge tree yields a barcode B. Reconstructing a tree from B invol ...

EPFL2022

Removing Algorithmic Discrimination (With Minimal Individual Error)

Rachid Guerraoui, El Mahdi El Mhamdi, Le Nguyen Hoang, Alexandre David Olivier Maurer

We address for the first time the problem of correcting group discriminations within a score function, while minimizing the individual error. Each group is described by a probability density function on the set of profiles. We first solve the problem analy ...

2022

Does jackknife scale really matter for accurate large-scale structure covariances?

Ginevra Favole

The jackknife method gives an internal covariance estimate for large-scale structure surveys and allows model-independent errors on cosmological parameters. Using the SDSS-III BOSS CMASS sample, we study how the jackknife size and number of resamplings imp ...

OXFORD UNIV PRESS2021

A hierarchical approach to the a posteriori error estimation of isogeometric Kirchhoff plates and Kirchhoff–Love shells

Annalisa Buffa, Pablo Antolin Sanchez, Luca Coradello

This work focuses on the development of a posteriori error estimates for fourth-order, elliptic, partial differential equations. In particular, we propose a novel algorithm to steer an adaptive simulation in the context of Kirchhoff plates and Kirchhoff–Lo ...

2020

Using an antenna as a tool for studying microturbulence and zonal structures in tokamaks with a global gyrokinetic GPU-enabled particle-in-cell code

Noé Thomas Elie Ohana

In order to get a better understanding of the interaction of plasma microinstabilities and associated turbulence with specific modes, an antenna is implemented in the global gyrokinetic Particle-In-Cell (PIC) code ORB5. It consists in applying an external ...

EPFL2020

MPGM: Scalable and Accurate Multiple Network Alignment

Matthias Grossglauser, Ehsan Kazemi

Protein-protein interaction (PPI) network alignment is a canonical operation to transfer biological knowledge among species. The alignment of PPI-networks has many applications, such as the prediction of protein function, detection of conserved network mot ...

IEEE COMPUTER SOC2020

Frequency domain theory for functional time series: Variance decomposition and an invariance principle

Neda Mohammadi Jouzdani

This paper is concerned with frequency domain theory for functional time series, which are temporally dependent sequences of functions in a Hilbert space. We consider a variance decomposition, which is more suitable for such a data structure than the varia ...

INT STATISTICAL INST2020

Method and system for the creation of an h-spline based data structure, data storage, and data representation

Michaël Unser, Daniel Andreas Schmitter, Zsuzsanna Püspöki

A method for generating a data structure to digitally represent a geometrical object based on H-splines, the method being performed on a computer device having a data processor and memory, the method including the steps of creating a first data structure a ...

2019

Controlling the bias error of Fokker- Planck methods for rarefied gas dynamics simulations

Mohammadhossein Gorji

Direct simulation Monte-Carlo (DSMC) is the most established method for rarefied gas flow simulations. It is valid from continuum to near vacuum, but in cases involving small Knudsen numbers (Kn), it suffers from high computational cost. The Fokker-Planck ...

2019

Learning and Adaptive Data Analysis via Maximal Leakage

Michael Christoph Gastpar, Ibrahim Issa, Amedeo Roberto Esposito

There has been growing interest in studying connections between generalization error of learning algorithms and information measures. In this work, we generalize a result that employs the maximal leakage, a measure of leakage of information, and explore ho ...

IEEE2019

Adaptive simulation-based framework for error characterization of inexact circuits

Vincent Frédéric Camus

To design faster and more energy-efficient systems, numerous inexact arithmetic operators have been proposed, generally obtained by modifying the logic structure of conventional circuits. However, as the quality of service of an application has to be ensur ...

PERGAMON-ELSEVIER SCIENCE LTD2019

Perceptual effects of daylight patterns in architecture

Kynthia Chamilothori

The profound impact of daylight on occupants is broadly recognized in the fields of architecture and lighting. In particular, the façade and its interplay with light is a central design element, while the diversity of daylight in space is widely acknowledg ...

EPFL2019

Correction of surface error occurring in microlenses characterization performed by optical profilers

Wilfried Noell, Toralf Scharf, Jeremy Béguelin

Characterizing the surface of microlenses by optical profilers has the important advantages of measurement speed, flexibility and automation. Nevertheless, the accuracy of such characterization is limited by error occurring in non-flat measurements. Here, ...

SPIE-INT SOC OPTICAL ENGINEERING2019

The detection of two-component mixture alternatives : Theory and methods

Daria Rukina

In this thesis, we deal with one of the facets of the statistical detection problem. We study a particular type of alternative, the mixture model. We consider testing where the null hypothesis corresponds to the absence of a signal, represented by some kno ...

EPFL2018