research
∙
04/13/2023
Conjunctive Regular Path Queries under Injective Semantics
We introduce injective semantics for Conjunctive Regular Path Queries (C...
share
research
∙
07/13/2022
Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification
The availability of genomic data has grown exponentially in the last dec...
research
∙
06/30/2022
On Computing Probabilistic Explanations for Decision Trees
Formal XAI (explainable AI) is a growing area that focuses on computing ...
research
∙
06/05/2022
Modeling GPU Dynamic Parallelism for Self Similar Density Workloads
Dynamic Parallelism (DP) is a runtime feature of the GPU programming mod...
research
∙
03/25/2022
Feature extraction using Spectral Clustering for Gene Function Prediction
Gene annotation addresses the problem of predicting unknown associations...
research
∙
03/23/2022
A Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks
Node classification is the task of inferring or predicting missing node ...
research
∙
06/22/2020
Spectral Evolution with Approximated Eigenvalue Trajectories for Link Prediction
The spectral evolution model aims to characterize the growth of large ne...
research
∙
03/12/2020
On monotonic determinacy and rewritability for recursive queries and views
A query Q is monotonically determined over a set of views if Q can be ex...
research
∙
12/14/2019
Training Deep Learning models with small datasets
The growing use of Machine Learning has produced significant advances in...
research
∙
11/08/2019
Treewidth-Pliability and PTAS for Max-CSPs
We identify a sufficient condition, treewidth-pliability, that gives a p...
research
∙
09/09/2019
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification
This paper addresses the issue of specifying, simulating, and verifying ...
research
∙
04/16/2019
Point-width and Max-CSPs
The complexity of (unbounded-arity) Max-CSPs under structural restrictio...
research
∙
04/01/2019
A More General Theory of Static Approximations for Conjunctive Queries
Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable ...
research
∙
04/01/2019
Boundedness of Conjunctive Regular Path Queries
We study the boundedness problem for unions of conjunctive regular path ...
research
∙
05/18/2018
Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion
Spatial concurrent constraint programming (SCCP) is an algebraic model o...
research
∙
12/23/2017
The tractability frontier of well-designed SPARQL queries
We study the complexity of query evaluation of SPARQL queries. We focus ...
research
∙
10/09/2017