The availability of genomic data has grown exponentially in the last decade, mainly due to the development of new sequencing technologies.
Gene annotation addresses the problem of predicting unknown associations between gene and functions (e. g., biological processes) of a specific organism.
Node classification is the task of inferring or predicting missing node attributes from information available for other nodes in a network.
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
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.