Publications associées à Algorithme récursif

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Maximum Independent Set: Self-Training through Dynamic Programming

Volkan Cevher, Grigorios Chrysos, Efstratios Panteleimon Skoulakis

This work presents a graph neural network (GNN) framework for solving the maximum independent set (MIS) problem, inspired by dynamic programming (DP). Specifically, given a graph, we propose a DP-like recursive algorithm based on GNNs that firstly construc ...

2023

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

Ngoc Khanh Karol Nguyen

We give a construction of an efficient one-out-of-many proof system, in which a prover shows that he knows the pre-image for one element in a set, based on the hardness of lattice problems. The construction employs the recent zero-knowledge framework of Ly ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Optimizing Quantum Circuit Synthesis for Permutations Using Recursion

Bruno Schmitt Antunes

We describe a family of recursive methods for the synthesis of qubit permutations on quantum computers with limited qubit connectivity. Two objectives are of importance: circuit size and depth. In each case we combine a scalable heuristic with a nonscalabl ...

ASSOC COMPUTING MACHINERY2022

Semi-global controllability of a geometric wave equation

Joachim Krieger, Shengquan Xiang

We prove the semi-global controllability and stabilization of the

(1+1)-

dimensional wave maps equation with spatial domain 𝕊1 and target

𝕊k

. First we show that damping stabilizes the system when the energy is strictly below the threshold

2π

, where ha ...

2022

Virtual ADTs for Portable Metaprogramming

Martin Odersky, Nicolas Alexander Stucki

Scala 3 provides a metaprogramming interface that represents the abstract syntax tree definitions using algebraic data types. To allow the compiler to freely evolve without breaking the metaprogramming interface, we present virtual algebraic data types (or ...

ASSOC COMPUTING MACHINERY2021

Functional Tucker Approximation Using Chebyshev Interpolation

Daniel Kressner, Christoph Max Strössner

This work is concerned with approximating a trivariate function defined on a tensor-product domain via function evaluations. Combining tensorized Chebyshev interpolation with a Tucker decomposition of low multilinear rank yields function approximations tha ...

SIAM PUBLICATIONS2021

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

Cognitive workload monitoring in virtual reality based rescue missions with drones

David Atienza Alonso, Adriana Arza Valdes, Fabio Isidoro Tiberio Dell'Agnola, Niloofar Momeni

The use of drones in search and rescue (SAR) missions can be very cognitively demanding. Since high levels of cognitive workload can negatively affect human performance, there is a risk of compromising the mission and leading to failure with catastrophic o ...

2020

Semi-global controllability of a geometric wave equation

Joachim Krieger, Shengquan Xiang

We prove the semi-global controllability and stabilization of the

(1+1)-

dimensional wave maps equation with spatial domain 𝕊1 and target

𝕊k

. First we show that damping stabilizes the system when the energy is strictly below the threshold

2π

, where ha ...

2022

Algorithme récursif

Graph Chatbot

Chattez avec Graph Search

Acceleration of graph pattern mining and applications to financial crime

Maximum Independent Set: Self-Training through Dynamic Programming

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

Optimizing Quantum Circuit Synthesis for Permutations Using Recursion

Semi-global controllability of a geometric wave equation

Virtual ADTs for Portable Metaprogramming

Functional Tucker Approximation Using Chebyshev Interpolation

Recursive evaluation and iterative contraction of N-body equivariant features

Self-induced thermo-optical effects in silicon and germanium dielectric nanoresonators

Cognitive workload monitoring in virtual reality based rescue missions with drones

Acceleration of graph pattern mining and applications to financial crime

BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications

Maximum Independent Set: Self-Training through Dynamic Programming

Optimizing Quantum Circuit Synthesis for Permutations Using Recursion

Recursive evaluation and iterative contraction of N-body equivariant features

Semi-global controllability of a geometric wave equation

Self-induced thermo-optical effects in silicon and germanium dielectric nanoresonators

Virtual ADTs for Portable Metaprogramming

Functional Tucker Approximation Using Chebyshev Interpolation

Cognitive workload monitoring in virtual reality based rescue missions with drones