Publications related to Decision Procedures for Algebraic Data Types with Abstractions

DELF: Safeguarding deletion correctness in Online Social Networks

Deletion is a core facet of Online Social Networks (OSNs). For users, deletion is a tool to remove what they have shared and control their data. For OSNs, robust deletion is both an obligation to their users and a risk when developer mistakes inevitably oc ...

USENIX ASSOC2020

Heterogeneous Memory Organizations in Embedded Systems. Placement of Dynamic Data Objects

Miguel Peon Quiros

This book defines and explores the problem of placing the instances of dynamic data types on the components of the heterogeneous memory organization of an embedded system, with the final goal of reducing energy consumption and improving performance. It is ...

Springer International Publishing2020

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

Recursive evaluation and iterative contraction of N-body equivariant features

Michele Ceriotti, Sergey Pozdnyakov, Jigyasa Nigam

Mapping an atomistic configuration to a symmetrized N-point correlation of a field associated with the atomic positions (e.g., an atomic density) has emerged as an elegant and effective solution to represent structures as the input of machine-learning algo ...

2020

New Results in Integer and Lattice Programming

Christoph Hunkenschröder

An integer program (IP) is a problem of the form

\min \{f(x) : \, Ax = b, \ l \leq x \leq u, \ x \in \Z^n\}

, where

A \in \Z^{m \times n}

,

b \in \Z^m

,

l,u \in \Z^n

, and

f: \Z^n \rightarrow \Z

is a separable convex objective function. The problem o ...

EPFL2020

From Trees to Barcodes and Back Again: Theoretical and Statistical Perspectives

Kathryn Hess Bellwald, Lida Kanari, Adélie Eliane Garin

Methods of topological data analysis have been successfully applied in a wide range of fields to provide useful summaries of the structure of complex data sets in terms of topological descriptors, such as persistence diagrams. While there are many powerfu ...

2020

Decision Procedures for Algebraic Data Types with Abstractions

Graph Chatbot

Chat with Graph Search

DELF: Safeguarding deletion correctness in Online Social Networks

Heterogeneous Memory Organizations in Embedded Systems. Placement of Dynamic Data Objects

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

Recursive evaluation and iterative contraction of N-body equivariant features

New Results in Integer and Lattice Programming

From Trees to Barcodes and Back Again: Theoretical and Statistical Perspectives

DELF: Safeguarding deletion correctness in Online Social Networks

New Results in Integer and Lattice Programming

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

Heterogeneous Memory Organizations in Embedded Systems. Placement of Dynamic Data Objects

Recursive evaluation and iterative contraction of N-body equivariant features

From Trees to Barcodes and Back Again: Theoretical and Statistical Perspectives