Publications associées à Série génératrice

Enriching the Computational Toolbox for Organocatalysis

Organocatalysis has evolved significantly over the last decades, becoming a pillar of synthetic chemistry, but traditional theoretical approaches based on quantum mechanical computations to investigate reaction mechanisms and provide rationalizations of ca ...

EPFL2023

A DONALDSON-THOMAS CREPANT RESOLUTION CONJECTURE ON CALABI-YAU 4-FOLDS

Sergej Monavari

Let G be a finite subgroup of SU(4) such that its elements have age at most one. In the first part of this paper, we define K-theoretic stable pair invariants on a crepant resolution of the affine quotient C4/G, and conjecture a closed formula for their ge ...

Amer Mathematical Soc2023

Dated: Guidelines for Creating Synthetic Datasets for Engineering Design Applications

Jürg Alexander Schiffmann, Cyril Picard, Faez Ahmed

Exploiting the recent advancements in artificial intelligence, showcased by ChatGPT and DALL-E, in real-world applications necessitates vast, domain-specific, and publicly accessible datasets. Unfortunately, the scarcity of such datasets poses a significan ...

Amer Soc Mechanical Engineers2023

Generative power of a protein language model trained on multiple sequence alignments

Anne-Florence Raphaëlle Bitbol, Umberto Lupo, Damiano Sgarbossa

Computational models starting from large ensembles of evolutionarily related protein sequences capture a representation of protein families and learn constraints associated to protein structure and function. They thus open the possibility for generating no ...

eLIFE SCIENCES PUBL LTD2023

Memory of Motion for Initializing Optimization in Robotics

Teguh Santoso Lembono

Many robotics problems are formulated as optimization problems. However, most optimization solvers in robotics are locally optimal and the performance depends a lot on the initial guess. For challenging problems, the solver will often get stuck at poor loc ...

EPFL2022

Synthesis and direct assay of large macrocycle diversities by combinatorial late-stage modification at picomole scale

Gerardo Turcatti, Christian Heinis, Julien Bortoli Chapalay, Jonathan Patrice Vesin, Alessandro Angelini, Manuel Leonardo Merz, Sevan Mleh Habeshian, Mischa Schüttel, Ganesh Kumar Mothukuri, Gontran Sangouard, Cristina Diaz Perlas, Zsolt Bognár

Macrocycles have excellent potential as therapeutics due to their ability to bind challenging targets. However, generating macrocycles against new targets is hindered by a lack of large macrocycle libraries for high-throughput screening. To overcome this, ...

Nature Research2022

Scattering Map for the Vlasov–Poisson System

Klaus Martin Widmayer

We construct (modified) scattering operators for the Vlasov–Poisson system in three dimensions, mapping small asymptotic dynamics as t→−∞ to asymptotic dynamics as t→+∞. The main novelty is the construction of modified wave operators, but we also obtain a ...

2023

Enantioselective Total Synthesis of (+)-Nordasycarpidone, (+)-Dasycarpidone, and (+)-Uleine

Qian Wang, Jieping Zhu, Cédric Fung, Bastien Delayre

The structure of uleine type alkaloids is characterized by the presence of a bridged tetracyclic hexahydro-1H-1,5-methanoazocino[4,3-b]indole ring system 1. Various strategies have been developed to access this polycyclic structural motif. We report herein ...

2021

The fourth moment of individual Dirichlet L-functions on the critical line

Berke Topacogullari

We prove an asymptotic formula for the second moment of a product of two Dirichlet L-functions on the critical line, which has a power saving in the error term and which is uniform with respect to the involved Dirichlet characters. As special cases we give ...

2021

TV-based reconstruction of periodic functions

Matthieu Martin Jean-André Simeoni, Julien René Pierre Fageot

We introduce a general framework for the reconstruction of periodic multivariate functions from finitely many and possibly noisy linear measurements. The reconstruction task is formulated as a penalized convex optimization problem, taking the form of a sum ...

IOP PUBLISHING LTD2020

A Spectral Algorithm for 3-valued Function Equivalence Classification

Mathias Soeken

Spectral techniques for Boolean and multiple-valued functions have been well studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This ...

OLD CITY PUBLISHING INC2020

A 49 mu W 6th-Order Chebyshev SSF-based Low-Pass Analog Filter for IEEE 802.11ax

Christian Enz, Alessandro Pezzotta, Daniel Mathias Bold, Salvatore Collura

In this paper a continuous-time low-pass analog filter based on the Cascoded Super Source Follower (C-SSF) architecture, implemented in a 28-nm bulk CMOS process, is presented. The target application is the transceiver analog baseband for the next-generati ...

IEEE2020

A gyrokinetic model for the plasma periphery of tokamak devices

Paolo Ricci, Paolo De Los Rios, Rogério Manuel Cabete De Jesus Jorge, Baptiste Jimmy Frei

A gyrokinetic model is presented that can properly describe large and small amplitude electromagnetic fluctuations occurring on scale lengths ranging from the electron Larmor radius to the equilibrium perpendicular pressure gradient scale length, and the a ...

Cambridge University Press2020

On the relation between linearity-generating processes and linear-rational models

Damir Filipovic, Martin Larsson

We review the notion of a linearity-generating (LG) process introduced by Gabaix and relate LG processes to linear-rational (LR) models studied by Filipović et al. We show that every LR model can be represented as an LG process and vice versa. We find that ...

2019

Refutation-based synthesis in SMT

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

SPRINGER2019

Fourier interpolation on the real line

Maryna Viazovska

In this paper we construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set {0,+/- 1,+/- ...

2019

Adaptive Design of Experiments for Conservative Estimation of Excursion Sets

David Ginsbourger

We consider the problem of estimating the set of all inputs that leads a system to some particular behavior. The system is modeled by an expensive-to-evaluate function, such as a computer experiment, and we are interested in its excursion set, that is, the ...

2021

Properties of Direct-Time and Reversed-Time Transfer Functions to Locate Disturbances along Power Transmission Lines

Mario Paolone, Zhaoyang Wang, Zhe Chen

The paper discusses specific frequency-domain properties of the electromagnetic time reversal (EMTR) method applied to locate faults and, more in general, disturbances in power networks. Specifically, we investigate the properties of two transfer functions ...

IEEE2019

New insights on Drosophila antimicrobial peptide function in host defense and beyond

Bruno Lemaitre, Mark Austin Hanson

Since the first animal antimicrobial peptides (AMPs) were discovered in insects, Drosophila melanogaster has emerged as a powerful model for their characterization. Drosophila AMPs have been used extensively to monitor the activity of the Toll and Imd NF-κ ...

2020

Generating and identifying functional subnetworks within structural networks

Henry Markram, Kathryn Hess Bellwald, Michael Reimann, Ran Levi, Max Christian Nolte

In one aspect, a method includes generating a functional subgraph of a network from a structural graph of the network. The structural graph comprises a set of vertices and structural connections between the vertices. Generating the functional subgraph incl ...

2018