Publications related to Efficient Verifiable Delay Functions

Related publications (35)

Biobased surfactant

Jeremy Luterbacher, Stefania Bertella, Songlan Sun, Anastasiia Komarova

The present invention relates to a compound of the general formula (I), (II) and (III), more specifically of formula (Ia), (Ib), (Ic)wherein R11 and R12 or R21 and R22 or R31 and R32 are both hydrogen or form together with CHR50 a cyclic moiety or one of R ...

2024

Biobased surfactant

Jeremy Luterbacher, Stefania Bertella, Songlan Sun, Anastasiia Komarova

The present invention relates to a compound of the general formula (I), and (II)wherein one of R11 and R12 is hydrogen and the other is -CH2-R70, and one of R13 and R14 is hydrogen and the other is -CH2-R71, or wherein one of R11 and R12 is hydrogen and th ...

2024

Disagreement and fragmentation in growing groups

Jiyong Zhang, Yubo Xie

The arise of disagreement is an emergent phenomenon that can be observed within a growing social group and, beyond a certain threshold, can lead to group fragmentation. To better understand how disagreement emerges, we introduce an analytically tractable m ...

PERGAMON-ELSEVIER SCIENCE LTD2023

Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations

Zilu Tian

Agent-based simulations have been widely applied in many disciplines, by scientists and engineers alike. Scientists use agent-based simulations to tackle global problems, including alleviating poverty, reducing violence, and predicting the impact of pandem ...

EPFL2023

Efficient Lung Nodule Detection via 3D Deep Learning with Shifted Convolutions

Jiancheng Yang

The high computational costs of deep convolutional neural networks hinder their deployment in real-world applications, including pulmonary nodule detection from CT scans where large 3D image sizes amplify the issue. This paper presents a novel 3D method to ...

IEEE2023

Biobased surfactants

Jeremy Luterbacher, Stefania Bertella, Songlan Sun, Anastasiia Komarova

Compound of the general formula (Ia), (Ib) and (Ic) R50 and R60 are different form each other and are selected from the group consisting of -R70, -ZR70, -Z-OH, -Z-NH2, -Z-SH, -Z-OC(O)R70, -OC(O)R70, - COOH and its corresponding salts, -C(O)NH2, -C(O)NH-R70 ...

2023

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

Effect of Different Communication Affordances on the Emergence of Collaboration Strategies in an Online Multiplayer Game

Pierre Dillenbourg, Barbara Bruno, Aditi Kothiyal, Hala Khodr

In a group, the collective dynamics is governed by the inter- actions between individuals, which can manifest differently depending on the available means of communication. In this paper, we compare 3 conditions of communication affordances (global chat, l ...

Springer2022

Synthesis of new 1-Vinyl and 1-Alkynyl Triazenes

Carl Thomas Bormann

The recent discovery of an N2O-based synthesis of triazenes in our group has enabled the synthesis and investigation of 1-alkynyl triazenes. Early studies showed their potential for a functional group tolerant synthesis of 1-vinyl triazenes, which is furth ...

EPFL2022

Exploring Photoredox-Catalyzed (Re)functionalizations with Core-Modified Benziodoxolones

Jérôme Waser, Franck Le Vaillant, Stephanie Grace Elizabeth Amos

Alkynes and nitriles are valuable building blocks in organic synthesis and also have multiple applications in chemical biology and materials science. Due to the high availability of tertiary alcohols, developing methods for their conversion into alkynes an ...

2022

Removing Algorithmic Discrimination (With Minimal Individual Error)

Rachid Guerraoui, El Mahdi El Mhamdi, Alexandre David Olivier Maurer, Le Nguyen Hoang

We address for the first time the problem of correcting group discriminations within a score function, while minimizing the individual error. Each group is described by a probability density function on the set of profiles. We first solve the problem analy ...

2022

De novo developed small cyclic peptides that are orally available

Manuel Leonardo Merz

Cyclic peptides are ring-shaped molecules that emerged as a promising class of therapeutics. While it is often difficult to find small molecule binders for challenging disease targets, cyclic peptides can bind to featureless surfaces or inhibit protein-pro ...

EPFL2022

On Succinct Non-interactive Arguments in Relativized Worlds

Alessandro Chiesa

Succinct non-interactive arguments of knowledge (SNARKs) are cryptographic proofs with strong efficiency properties. Applications of SNARKs often involve proving computations that include the SNARK verifier, a technique called recursive composition. Unfort ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Daily Contributors of Tinnitus Loudness and Distress: An Ecological Momentary Assessment Study

Patrick Karl Alois Neff

BackgroundTinnitus is a heterogeneous condition which may be associated with moderate to severe disability, but the reasons why only a subset of individuals is burdened by the condition are not fully clear. Ecological momentary assessment (EMA) allows a be ...

FRONTIERS MEDIA SA2022

PERFECT: Prompt-free and Efficient Few-shot Learning with Language Models

Rabeeh Karimi Mahabadi

Current methods for few-shot fine-tuning of pretrained masked language models (PLMs) require carefully engineered prompts and verbalizers for each new task to convert examples into a cloze-format that the PLM can score. In this work, we propose PERFECT, a ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2022

A finiteness result for p-adic families of Bianchi modular forms

Vlad Serban

We study p-adic families of cohomological automorphic forms for GL(2) over imaginary quadratic fields and prove that families interpolating a Zariski-dense set of classical cuspidal automorphic forms only occur under very restrictive conditions. We show ho ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022

Topology Optimization of an Electromagnet Manipulator for 3D Uniform Magnetic Field

Yves Perriard, Adrien Jean-Michel Thabuis, Xiaotao Ren

Magnetic manipulation is a method used for biomedical applications to remotely control micro-robots in a contactless manner. The electromagnet manipulator should control a magnetic field with 3 degrees of freedom inside a region of interest. In various cas ...

IEEE2022

Green solvents for chemical reactions

Jeremy Luterbacher, Anastasiia Komarova

The present invention relates to Use of a compound of the general formula (I), (II), (III), (IV), (V) or (VI) wherein R1 and R1', R21 and R21', R31 and R31' are the same and are hydrogen, a linear or branched C1 to C18 alkyl, a linear or branched C2 to C18 ...

2022

Robotic Avian Wing Explains Aerodynamic Advantages of Wing Folding and Stroke Tilting in Flapping Flight

Adrien Paolini, Dario Floreano, Enrico Ajanic

Avian flapping strategies have the potential to revolutionize future drones as they may considerably improve agility, increase slow speed flight capability, and extend the aerodynamic performance. The study of live birds is time-consuming, laborious, and, ...

2022