Publications related to Purely functional data structure

Transportation-based functional ANOVA and PCA for covariance operators

Victor Panaretos, Yoav Zemel, Valentina Masarotto

We consider the problem of comparing several samples of stochastic processes with respect to their second-order structure, and describing the main modes of variation in this second order structure, if present. These tasks can be seen as an Analysis of Vari ...

Inst Mathematical Statistics-Ims2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

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

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

Functional data analysis with rough sample paths?

Victor Panaretos, Neda Mohammadi Jouzdani

Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...

TAYLOR & FRANCIS LTD2024

Fast correlation function calculator A high-performance pair-counting toolkit

Cheng Zhao

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

EDP SCIENCES S A2023

A Simple, Closed-Form Method for Determining the Superelevation of Tall Reinforced Concrete Buildings

David Michael Volpe Ruggiero, Paola Costanza Miglietta

The vertical shortening of tall buildings is not negligible, and it is important to account for these deformations to minimize differential movement and ensure that the finished building is level. Compensation via superelevation is common in reinforced con ...

Springer2023

CovNet: Covariance networks for functional data on multidimensional domains

Victor Panaretos, Soham Sarkar

Covariance estimation is ubiquitous in functional data analysis. Yet, the case of functional observations over multidimensional domains introduces computational and statistical challenges, rendering the standard methods effectively inapplicable. To address ...

WILEY2022

Functional peaks-over-threshold analysis

Anthony Christopher Davison, Raphaël Gérard Théodore Michel Marie de Deloÿe et Fourcade de Fondeville

Peaks-over-threshold analysis using the generalised Pareto distribution is widely applied in modelling tails of univariate random variables, but much information may be lost when complex extreme events are studied using univariate results. In this paper, w ...

WILEY2022

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Covariance Estimation for Random Surfaces beyond Separability

Tomas Masák

This thesis focuses on non-parametric covariance estimation for random surfaces, i.e.~functional data on a two-dimensional domain. Non-parametric covariance estimation lies at the heart of functional data analysis, and considerations of statistical and com ...

EPFL2022

Extraction and controlled functionalization of lignin for materials applications

Stefania Bertella

Lignin is a renewable aromatic polymer that due to its abundance and unique chemical structure is a promising candidate to replace aromatic materials that are currently sourced from fossil oil. The same structure of lignin poses however drawbacks for its v ...

EPFL2022

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Testing For The Rank Of A Covariance Operator

Victor Panaretos

How can we discern whether the covariance operator of a stochastic pro-cess is of reduced rank, and if so, what its precise rank is? And how can we do so at a given level of confidence? This question is central to a great deal of methods for functional dat ...

INST MATHEMATICAL STATISTICS-IMS2022

Engineering of Existing Structures: The Need and Place for Non-destructive Evaluation

Eugen Brühwiler, Numa Joy Bertola, Thomas Schumacher

Structural engineers today are still educated mainly to design new structures. This ignores the fact that structures already exist and need to be maintained. Students are thus often ill-equipped to deal with maintenance and preservation of existing structu ...

2022

Sketches, metrics and fast algorithms

Navid Nouri

As it has become easier and cheaper to collect big datasets in the last few decades, designing efficient and low-cost algorithms for these datasets has attracted unprecedented attention. However, in most applications, even storing datasets as acquired has ...

EPFL2022

Active origami platforms for human-robot interactions

Frédéric Henri Vaskin Giraud

Robots are employed to assist humans in lengthy, challenging, and repetitive tasks. However, the fields of rehabilitation, haptics, and assistive robotics have shown a significant need to support and interact with people in their everyday life. To facilita ...

EPFL2022

Quantification of Strand Accessibility in Biostable DNA Origami with Single-Staple Resolution

Maartje Martina Cornelia Bastings, Alice Comberlato

DNA-based nanostructures are actively gaining interest as tools for biomedical and therapeutic applications following the recent development of protective coating strategies prolonging structural integrity in physiological conditions. For tailored biologic ...

AMER CHEMICAL SOC2021

Functional registration and local variations: Identifiability, rank, and tuning

Victor Panaretos, Anirvan Chakraborty

We develop theory and methodology for the problem of nonparametric registration of functional data that have been subjected to random deformation (warping) of their time scale. The separation of this phase variation ("horizontal" variation) from the amplit ...

2021

An integrated design tool for timber plate structures to generate joints geometry, fabrication toolpath, and robot trajectories

Yves Weinand, Nicolas Henry Pierre Louis Rogeau, Pierre Latteur

This paper presents an integrated design tool for structures composed of engineered timber panels that are connected by traditional wood joints. Recent advances in computational architecture have permitted to automate the fabrication and assembly of such s ...

2021

Software Support for Non-Volatile Memory (NVM) Programming

David Teksen Aksun

Non-Volatile Memory (NVM) is an emerging type of memory device that provides fast, byte-addressable, and high-capacity durable storage. NVM sits on the memory bus and allows durable data structures designs similar to the in-memory equivalent ones. Expensiv ...

EPFL2021