Publications related to Gemini: Elastic SNARKs for Diverse Environments

Related publications (44)

DIABLO: A Benchmark Suite for Blockchains

Rachid Guerraoui, Vincent Gramoli, Gauthier Jérôme Timothée Voron

With the recent advent of blockchains, we have witnessed a plethora of blockchain proposals. These proposals range from using work to using time, storage or stake in order to select blocks to be appended to the chain. As a drawback it makes it difficult fo ...

ASSOC COMPUTING MACHINERY2023

BBB security for 5-round even-Mansour-based key-alternating Feistel ciphers

Ritam Bhaumik

In this paper, we study the security of the Key-Alternating Feistel (KAF) ciphers, a class of key alternating ciphers with the Feistel structure, where each round of the cipher is instantiated with n-bit public round permutation Pi\documentclass[12pt]{mini ...

SPRINGER2023

Adaptive Symplectic Model Order Reduction Of Parametric Particle-Based Vlasov-Poisson Equation

Jan Sickmann Hesthaven, Cecilia Pagliantini, Nicolò Ripamonti

. High-resolution simulations of particle-based kinetic plasma models typically require a high number of particles and thus often become computationally intractable. This is exacerbated in multi-query simulations, where the problem depends on a set of para ...

AMER MATHEMATICAL SOC2023

A mixed precision LOBPCG algorithm

Daniel Kressner, Meiyue Shao

The locally optimal block preconditioned conjugate gradient (LOBPCG) algorithm is a popular approach for computing a few smallest eigenvalues and the corresponding eigenvectors of a large Hermitian positive definite matrix A. In this work, we propose a mix ...

SPRINGER2023

Decision Procedures for Power Structures

Rodrigo Raya

We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...

EPFL2023

Motor-Unit Ordering of Blindly-Separated Surface-EMG Signals for Gesture Recognition

Pasquale Davide Schiavone

Hand gestures are one of the most natural and expressive way for humans to convey information, and thus hand gesture recognition has become a research hotspot in the human-machine interface (HMI) field. In particular, biological signals such as surface ele ...

SPRINGER INTERNATIONAL PUBLISHING AG2023

Masked Training of Neural Networks with Partial Gradients

Martin Jaggi, Sebastian Urban Stich, Amirkeivan Mohtashami

State-of-the-art training algorithms for deep learning models are based on stochastic gradient descent (SGD). Recently, many variations have been explored: perturbing parameters for better accuracy (such as in Extra-gradient), limiting SGD updates to a sub ...

JMLR-JOURNAL MACHINE LEARNING RESEARCH2022

Dynamic Personalized Ranking

Jérémie Rappaz

Personalized ranking methods are at the core of many systems that learn to produce recommendations from user feedbacks. Their primary objective is to identify relevant items from very large vocabularies and to assist users in discovering new content. These ...

EPFL2022

Computational tools for twisted topological Hochschild homology of equivariant spectra

Kathryn Hess Bellwald

Twisted topological Hochschild homology of Cn-equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we intr ...

ELSEVIER2022

Unexpected large evasion fluxes of carbon dioxide from turbulent streams draining the world’s mountains

Tom Ian Battin, Enrico Bertuzzo, Amber Joy Ulseth, Asa Lovisa Viktoria Horgby, Pier Luigi Segatto

Inland waters, including streams and rivers, are active components of the global carbon cycle.Despite the large areal extent of the world’s mountains, the role of mountain streams forglobal carbonfluxes remains elusive. Using recent insights from gas excha ...

Nature Research2019

Improving Main-memory Database System Performance through Cooperative Multitasking

Georgios Psaropoulos

Database systems access memory either sequentially or randomly. Contrary to sequential access and despite the extensive efforts of computer architects, compiler writers, and system builders, random access to data larger than the processor cache has been s ...

EPFL2019

Optimized Data Representation for Interactive Multiview Navigation

Pascal Frossard, Thomas Maugey

In contrary to traditional media streaming services where a unique media content is delivered to different users, interactive multiview navigation applications enable users to choose their own viewpoints and freely navigate in a three-dimensional scene. Th ...

2018

Distributed Diffusion Adaptation Over Graph Signals

Ali H. Sayed, Roula Nassif

Most works on graph signal processing assume static graph signals, which is a limitation even in comparison to traditional DSP techniques where signals are modeled as sequences that evolve over time. For broader applicability, it is necessary to develop te ...

IEEE2018

Recommendation on Live-Streaming Platforms: Dynamic Availability and Repeat Consumption

Karl Aberer, Jérémie Rappaz

Live-streaming platforms broadcast user-generated video in real-time. Recommendation on these platforms shares similarities with traditional settings, such as a large volume of heterogeneous content and highly skewed interaction distributions. However, sev ...

ASSOC COMPUTING MACHINERY2021

Eigendecomposition-Free Training of Deep Networks for Linear Least-Square Problems

Pascal Fua, Mathieu Salzmann, Kwang Moo Yi, Yinlin Hu, Zheng Dang

Many classical Computer Vision problems, such as essential matrix computation and pose estimation from 3D to 2D correspondences, can be tackled by solving a linear least-square problem, which can be done by finding the eigenvector corresponding to the smal ...

IEEE COMPUTER SOC2021

A Machine Learning-Based Strategy for Efficient Resource Management of Video Encoding on Heterogeneous MPSoCs

David Atienza Alonso, Marina Zapater Sancho, Arman Iranfar, William Andrew Simon

The design of new streaming systems is becoming a major area of research to deploy services targeted in the Internet-of-Things (IoT) era. In this context, the new High Efficiency Video Coding (HEVC) standard provides high efficiency and scalability of qual ...

2018

Experimental validation of an analytical kinetic model for edge-localized modes in JET-ITER-like wall

Olivier Sauter, Martinus Adela Maria Gijs, Jonathan Graves, Ambrogio Fasoli, Stefano Coda, Basil Duval, Henri Weisen, Richard Pitts, Yves Martin, Javier García Hernández, Duccio Testa, Miguel Fernández Ruiz, Nicola Vianello, Robin Humphry-Baker, Sun Hee Kim, Federico Nespoli, Patrick Blanchard, Alessandro Pau, David Pfefferlé, Davide Galassi, Jonathan Marc Philippe Faustin, Cristian Sommariva, Hamish William Patten, Samuel Lanthaler, Jan Horacek, Yann Camenen, Bruno Emanuel Ferreira De Sousa Correia, José Pedro Rebelo Ferreira Marques, Mikhail Maslov, Marco Wischmeier, Dalziel Joseph Wilson, Liang Yao, Daniel Scott Alessi, Arnout Lodewijk M Beckers, Ana Francisca Leal Silva Soares, Jonnathan Cesar Hidalgo Acosta, Antonio José Pereira de Figueiredo, Partha Dutta, Pierre-Thomas Paul Brun, Pedro Camilo de Oliveira e Silva, Alberto Hernando de Castro, Julio Rodriguez, Vlad Trifa, Li Shuai, Rebecca Hill

The design and operation of future fusion devices relying on H-mode plasmas requires reliable modelling of edge-localized modes (ELMs) for precise prediction of divertor target conditions. An extensive experimental validation of simple analytical predictio ...

IOP Publishing Ltd2018

The Metabolic Regimes at the Scale of an Entire Stream Network Unveiled Through Sensor Data and Machine Learning

Tom Ian Battin, Enrico Bertuzzo, Pier Luigi Segatto

Streams and rivers form dense networks that drain the terrestrial landscape and are relevant for biodiversity dynamics, ecosystem functioning, and transport and transformation of carbon. Yet, resolving in both space and time gross primary production (GPP), ...

2021

Delay-Power-Rate-Distortion Optimization of Video Representations for Dynamic Adaptive Streaming

Pascal Frossard, Laura Toni

Dynamic adaptive streaming addresses user heterogeneity by providing multiple encoded representations at different rates and/or resolutions for the same video content. For delay-sensitive applications, such as live streaming, there is however a stringent r ...

IEEE2018

Modeling of Stream Metabolism from Reach-scale to the Scale of Entire River Networks

Pier Luigi Segatto

Streams are key components of the global carbon (C) cycle. The river network conceptualization moved from the pipelineâ idea, in which C is solely transported, to the active ecosystemâ concept, in which both terrestrial derived and autochthonous C ...

EPFL2021