Concept
Recursion (computer science)
Related publications (120)
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 ...
EPFL2023Maximum 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 ...
2023BLOOM: Bimodal Lattice One-out-of-Many Proofs and Applications
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 AG2022Virtual 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 MACHINERY2021Functional 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