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...
share
research
∙
06/12/2022
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B
Probabilistic specifications are fast gaining ground as a tool for stati...
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
∙
01/08/2021
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
This paper develops an algorithmic-based approach for proving inductive ...
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
∙
05/25/2020
Verification of the IBOS Browser Security Properties in Reachability Logic
This paper presents a rewriting logic specification of the Illinois Brow...
research
∙
09/13/2019
A Random Network Model for the Analysis of Blockchain Designs with Communication Delay
This paper proposes a random network model for blockchains, a distribute...
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
∙
05/18/2018