From Computational Logic to Computational Biology

Keyphrases

Publications

2024

Vincenzo Cutello, Mario Pavone, Francesco Zito
Inferring a Gene Regulatory Network from Gene Expression Data. An Overview of Best Methods and a Reverse Engineering Approach. From Computational Logic to Computational Biology (2024)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of a Landing Gear System. From Computational Logic to Computational Biology (2024)
Alfredo Ferro, Eugenio G. Omodeo
A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic. From Computational Logic to Computational Biology (2024)
Domenico Cantone, Eugenio G. Omodeo
Onset and Today's Perspectives of Multilevel Syllogistic. From Computational Logic to Computational Biology (2024)
Barel I. Mashiach, Roded Sharan
Integer Programming Based Algorithms for Overlapping Correlation Clustering. From Computational Logic to Computational Biology (2024)
Alessandro Laganà
The Search for Cancer Drivers. From Computational Logic to Computational Biology (2024)
Alessio Emanuele Biondo, Alessandro Pluchino, Andrea Rapisarda
Efficient Random Strategies for Taming Complex Socio-economic Systems. From Computational Logic to Computational Biology (2024)
Marco Pellegrini
Advances in Network-Based Drug Repositioning. From Computational Logic to Computational Biology (2024)
Edmond Schonberg
The Early Development of SETL. From Computational Logic to Computational Biology (2024)
Andrea Gabrielli, Valentina Macchiati, Diego Garlaschelli
Critical Density for Network Reconstruction. From Computational Logic to Computational Biology (2024)
Emanuele Martorana, Roberto Grasso, Giovanni Micale, Salvatore Alaimo, Dennis E. Shasha, Rosalba Giugno, Alfredo Pulvirenti
Motif Finding Algorithms: A Performance Comparison. From Computational Logic to Computational Biology (2024)
Francesco Russo, Filip Ottosson, Justin J. J. van der Hooft, Madeleine Ernst
Deep Learning Models for LC-MS Untargeted Metabolomics Data Analysis. From Computational Logic to Computational Biology (2024)

volume 14070, 2024

From Computational Logic to Computational Biology - Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career From Computational Logic to Computational Biology 14070 (2024)