Persistent data structure

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related publications (30)

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

Structure-preserving approaches and data-driven closure modeling for model order reduction

Nicolò Ripamonti

In this thesis, we propose model order reduction techniques for high-dimensional PDEs that preserve structures of the original problems and develop a closure modeling framework leveraging the Mori-Zwanzig formalism and recurrent neural networks. Since high ...

EPFL2022

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

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

Experimental Study to Validate an Improved Approach to Design Acceleration-Sensitive Nonstructural Components

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Nonstructural components in buildings can be subjected to very large acceleration and deformation demands during earthquakes. This is particularly true for flexible components that are tuned or nearly tuned to one of the modal frequencies of the supporting ...

Applied Technology Council, Sponse2022

Les Cahiers de l'Ibois 3 / Ibois Notebook 3

Petras Vestartas, Sandra Vuilleumier

Before the twentieth century and concrete modernity, it was stone that embodied the “well built”. Could sustainable wood one day replace concrete as the archetypal material? Will it find a place on the scale of values that gives archi- tecture its referenc ...

EPFL PRESS2022

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

Structural characterisation of nanoalloys for (photo)catalytic applications with the Sapphire library

Kevin Rossi

A non-trivial interplay rules the relationship between the structure and the chemophysical properties of a nanoparticle. In this context, characterization experiments, molecular dynamics simulations and electronic structure calculations may allow the varia ...

ROYAL SOC CHEMISTRY2022

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

Page 2 of 2