04332nam a22005055i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001500172072001700187072001600204072002300220072001600243072001500259245020000274250001800474264006900492300006700561336002600628337002600654338003600680347002400716490005900740505090100799520143501700650003103135650002703166650004703193650004603240700015403286700008903440710003403529773002603563776003603589776003603625830005903661856004603720912001403766912001503780912001403795999001703809978-3-031-55248-9DE-He21320251030111742.0cr nn 008mamaa240315s2024    sz |    s    |||| 0|eng d  a97830315524899978-3-031-55248-97 a10.1007/978-3-031-55248-92doi 4aQA8.9-10.3 7aPBCD2bicssc 7aPBC2bicssc 7aMAT0180002bisacsh 7aPBCD2thema 7aPBC2thema10aFrom Computational Logic to Computational Biologyh[electronic resource] :bEssays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /cedited by Domenico Cantone, Alfredo Pulvirenti.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXVIII, 269 p. 50 illus., 41 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v140700 aComputational 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.  aAlfredo 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 the supervision of Jacob Theodor (Jack) Schwartz. He returned to the University of Catania where he established the Computer Science undergraduate program, served as the coordinator of the Ph.D. program in Computer Science, cofounded the Ph.D. program in Biology, Human Genetics, and Bioinformatics, and retired as a full professor in 2021. 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 and inspired 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. 0aMathematical logic.966195 0aBioinformatics.96405014aMathematical Logic and Foundations.96619824aComputational and Systems Biology.9659741 aCantone, Domenico.eeditor.0(orcid)0000-0002-1306-11661https://orcid.org/0000-0002-1306-11664edt4http://id.loc.gov/vocabulary/relators/edt9738891 aPulvirenti, Alfredo.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt9738902 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303155247208iPrinted edition:z9783031552496 0aLecture Notes in Computer Science,x1611-3349 ;v1407040uhttps://doi.org/10.1007/978-3-031-55248-9  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c58626d58626