Publication

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Related publications (27)

The autism susceptibility kinase, TAOK2, phosphorylates eEF2 and modulates translation

Genes implicated in translation control have been associated with autism spectrum disorders (ASDs). However, some important genetic causes of autism, including the 16p11.2 microdeletion, bear no obvious connection to translation. Here, we use proteomics, g ...

Amer Assoc Advancement Science2024

Two-particle Bose-Einstein correlations and their Lévy parameters in PbPb collisions at √sNN=5.02 TeV

Matthias Finger, Konstantin Androsov, Qian Wang, Jan Steggemann, Yiming Li, Anna Mascellani, Varun Sharma, Xin Chen, Rakesh Chawla, Matteo Galli

Two -particle Bose-Einstein momentum correlation functions are studied for charged-hadron pairs in lead -lead collisions at a center -of -mass energy per nucleon pair of .'/sNN = 5.02 TeV. The data sample, containing 4.27 x 109 minimum bias events correspo ...

Amer Physical Soc2024

Acceleration of graph pattern mining and applications to financial crime

Jovan Blanusa

Various forms of real-world data, such as social, financial, and biological networks, can be represented using graphs. An efficient method of analysing this type of data is to extract subgraph patterns, such as cliques, cycles, and motifs, from graphs. For ...

EPFL2023

Stable parameterization of continuous and piecewise-linear functions

Michaël Unser, Alexis Marie Frederic Goujon, Joaquim Gonçalves Garcia Barreto Campos

Rectified-linear-unit (ReLU) neural networks, which play a prominent role in deep learning, generate continuous and piecewise-linear (CPWL) functions. While they provide a powerful parametric representation, the mapping between the parameter and function s ...

2023

Debates on the dorsomedial prefrontal/dorsal anterior cingulate cortex: insights for future research

Nicolas Clairis

The dorsomedial prefrontal cortex/dorsal anterior cingulate cortex (dmPFC/dACC) is a brain area subject to many theories and debates over its function(s). Even its precise anatomical borders are subject to much controversy. In the past decades, the dmPFC/d ...

Oxford Univ Press2023

Algebraic twists of GL(2) automorphic forms

Vignesh Arumugam Nadarajan

In this thesis we consider the problem of estimating the correlation of Hecke eigenvalues of GL2 automorphic forms with a class of functions of algebraic origin defined over finite fields called trace functions. The class of trace functions is vast and inc ...

EPFL2023

One-shot Garbage Collection for In-memory OLTP through Temporality-aware Version Storage

Anastasia Ailamaki, Syed Mohammad Aunn Raza, Periklis Chrysogelos, Angelos Christos Anadiotis

Most modern in-memory online transaction processing (OLTP) engines rely on multi-version concurrency control (MVCC) to provide data consistency guarantees in the presence of conflicting data accesses. MVCC improves concurrency by generating a new version o ...

ACM2023

Augmented Lagrangian Methods for Provable and Scalable Machine Learning

Mehmet Fatih Sahin

Non-convex constrained optimization problems have become a powerful framework for modeling a wide range of machine learning problems, with applications in k-means clustering, large- scale semidefinite programs (SDPs), and various other tasks. As the perfor ...

EPFL2023

Results on Sparse Integer Programming and Geometric Independent Sets

Jana Tabea Cslovjecsek

An integer linear program is a problem of the form max{c^T x : Ax=b, x >= 0, x integer}, where A is in Z^(n x m), b in Z^m, and c in Z^n. Solving an integer linear program is NP-hard in general, but there are several assumptions for which it becomes fixed ...

EPFL2023

Haptics based collaborative steering control in automated driving environments

Tomohiro Nakade

A vehicle's steering is a particular system in that it is exposed to individual subjective reviews based on criteria that are hard to assess quantitatively. Haptic design of such systems is a prime concern that has been at the center of industrial developm ...

EPFL2023