From Computational Logic to Computational Biology

Computational Logic.- The Early Development of SETL.- Onset and Today's Perspectives of Multilevel Syllogistic.- An Automatically Verified Prototype of a Landing Gear System.- A Sound and Complete Validity Test for Formulas in Extensional Multi-Level Syllogistic.- Computational Biology and Complex Systems.- Advances in Network-Based Drug Repositioning.- Integer Programming Based Algorithms for Overlapping Correlation Clustering.- Deep Learning Models for LC-MS Untargeted Metabolomics Data Analysis.- The Search for Cancer Drivers: Basic Principles and Computational Approaches.- Inferring a Gene Regulatory Network from Gene Expression Data. AnOverview of Best Methods and a Reverse Engineering Approach.- Efficient Random Strategies for Taming Complex Socio-Economic Systems.- Critical Density for Network Reconstruction.- Motif Finding Algorithms: a Performance Comparison.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Fundamentos da Matemática
• Modelagem computacional e simulação
• Lógica matemática
• Biologia, ciências da vida

computational logic;computable set theory;decision procedures;set-based programming languages;automated verification;bioinformatics;data mining;graph analysis;graph motifs;graph random models;computational biology;integer linear programming;complex systems;drug repurposing;metabolomics;biological networks