16 citations · 47 across the 13 of their papers we have counts for
13 papers
Equational and Inductive Reasoning for Maude in Athena
Mateo Sanabria, Carlos Varela, Camilo Rocha +1
In the rewriting logic framework, equational-based specifications are used to define deterministic functional behavior, abstract data types, and canonical representations of data.…
Hierarchy exploitation to detect missing annotations on hierarchical multi-label classification
Miguel Romero, Felipe Kenji Nakano, Jorge Finke +2
The availability of genomic data has grown exponentially in the last decade, mainly due to the development of new sequencing technologies. Based on the interactions between genes (…
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B
Carlos Olarte, Camilo Rocha, Daniel Osorio
Probabilistic specifications are fast gaining ground as a tool for statistical modeling of probabilistic systems. One of the main goals of formal methods in this domain is to ensur…
Feature extraction using Spectral Clustering for Gene Function Prediction using Hierarchical Multi-label Classification
Miguel Romero, Oscar Ramírez, Jorge Finke +1
Gene annotation addresses the problem of predicting unknown associations between gene and functions (e.g., biological processes) of a specific organism. Despite recent advances, th…
A Top-down Supervised Learning Approach to Hierarchical Multi-label Classification in Networks
Miguel Romero, Jorge Finke, Camilo Rocha
Node classification is the task of inferring or predicting missing node attributes from information available for other nodes in a network. This paper presents a general prediction…
Identifying Stress Responsive Genes using Overlapping Communities in Co-expression Networks
Camila Riccio, Jorge Finke, Camilo Rocha
This paper proposes a workflow to identify genes that respond to specific treatments in plants. The workflow takes as input the RNA sequencing read counts and phenotypical data of…