Shaping the future of technology
Distributed Asynchronous Regular Path Queries (RPQs) on Graphs
A new Markov-Dubins hybrid solver with learned decision trees.
Authors: Cristian Consonni, Martin Brugnara, Paolo Bevilacqua, Anna Tagliaferri, Marco Frego
Towards an Abstraction for Verifiable Credentials and Zero Knowledge Proofs
Authors: Mark Moir, Harold Carr
Parallel, efficient, in-memory, single-machine and distributed graph processing