From Computational Logic to Computational Biology
Springer International Publishing (Verlag)
978-3-031-55247-2 (ISBN)
Alfredo's academic career as a computer scientist is characterized by two distinct research phases: Computational Logic until approximately 1995, followed by a notable focus on Data Mining and Bioinformatics. The contributions in this volume reflect the quality and the scope of his personal and collaborative successes.
He also taught andinspired many excellent scientists. A pioneering initiative was to establish summer schools for Ph.D. students in 1989, leading to the so-called Lipari School, now the J.T. Schwartz International School for Scientific Research, where Alfredo continues to serve as director. This prestigious series includes schools focused on Computer Science, Complex Systems, and Computational Biology, featuring world-class scientists as lecturers and mentors.
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.
Erscheinungsdatum | 17.03.2024 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XVIII, 269 p. 50 illus., 41 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Informatik ► Weitere Themen ► Bioinformatik |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Schlagworte | Automated Verification • Bioinformatics • Biological Networks • Complex Systems • computable set theory • Computational Biology • Computational Logic • Data Mining • Decision Procedures • Drug repurposing • graph analysis • graph motifs • graph random models • Integer linear programming • Metabolomics • set-based programming languages |
ISBN-10 | 3-031-55247-4 / 3031552474 |
ISBN-13 | 978-3-031-55247-2 / 9783031552472 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich