research
∙
06/04/2021
Adiabatic Quantum Feature Selection for Sparse Linear Regression
Linear regression is a popular machine learning approach to learn and pr...
share
research
∙
02/11/2020
A polynomial time parallel algorithm for graph isomorphism using a quasipolynomial number of processors
The Graph Isomorphism (GI) problem is a theoretically interesting proble...
research
∙
11/24/2019
The Bouquet Algorithm for Model Checking Unbounded Until
The problem of verifying the "Unbounded Until" fragment in temporal logi...
research
∙
08/02/2014