From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Alfredo Ferro’s impact on information technology has traversed diverse domains, encompassing Computational Logic, Data Mining, Bioinformatics, and Complex Systems. After first studying Mathematics at the University of Catania, he received a Ph.D. in Computer Science from NYU in 1981, working under t...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Cham
Springer Nature Switzerland
2024, 2024
|
Edition: | 1st ed. 2024 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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. An Overview 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