Publications related to Recursion (computer science)

Acceleration of graph pattern mining and applications to financial crime

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

EPFL2023

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

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

Giulia Tagliabue, Theodoros Tsoulos

Dielectric nanoresona tors uniquely support both magnetic and electric resonances across a wide wavelength range. They are thus being exploited in a growing number of groundbreaking applications. In particular, they have been recently suggested as promisin ...

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

Recursion (computer science)

Graph Chatbot

Chat with 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

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

Acceleration of graph pattern mining and applications to financial crime

Maximum Independent Set: Self-Training through Dynamic Programming

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

Recursive evaluation and iterative contraction of N-body equivariant features

Functional Tucker Approximation Using Chebyshev Interpolation

Virtual ADTs for Portable Metaprogramming

Optimizing Quantum Circuit Synthesis for Permutations Using Recursion

Semi-global controllability of a geometric wave equation

Cognitive workload monitoring in virtual reality based rescue missions with drones