no code implementations • 13 Jul 2022 • Miguel Romero, Felipe Kenji Nakano, Jorge Finke, Camilo Rocha, Celine Vens
The availability of genomic data has grown exponentially in the last decade, mainly due to the development of new sequencing technologies.
1 code implementation • 25 Mar 2022 • Miguel Romero, Oscar Ramírez, Jorge Finke, Camilo Rocha
Gene annotation addresses the problem of predicting unknown associations between gene and functions (e. g., biological processes) of a specific organism.
no code implementations • 23 Mar 2022 • 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.
no code implementations • 8 Jan 2021 • Carlos Olarte, Elaine Pimentel, Camilo Rocha
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and identity expansion.
Logic in Computer Science Logic
no code implementations • 23 Oct 2020 • Camila Riccio, Jorge Finke, Camilo Rocha
The workflow identifies 19 rice genes that seem relevant in the response to salt stress.
no code implementations • 22 Jun 2020 • Miguel Romero, Jorge Finke, Camilo Rocha, Luis Tobón
The spectral evolution model aims to characterize the growth of large networks (i. e., how they evolve as new edges are established) in terms of the eigenvalue decomposition of the adjacency matrices.