000 04393nam a22005535i 4500
001 978-3-031-55248-9
003 DE-He213
005 20240423130329.0
007 cr nn 008mamaa
008 240315s2024 sz | s |||| 0|eng d
020 _a9783031552489
_9978-3-031-55248-9
024 7 _a10.1007/978-3-031-55248-9
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBCD
_2bicssc
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBCD
_2thema
072 7 _aPBC
_2thema
082 0 4 _a511.3
_223
245 1 0 _aFrom Computational Logic to Computational Biology
_h[electronic resource] :
_bEssays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
_cedited by Domenico Cantone, Alfredo Pulvirenti.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXVIII, 269 p. 50 illus., 41 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14070
505 0 _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.
520 _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.
650 0 _aMathematical logic.
650 0 _aBioinformatics.
650 1 4 _aMathematical Logic and Foundations.
650 2 4 _aComputational and Systems Biology.
700 1 _aCantone, Domenico.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPulvirenti, Alfredo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031552472
776 0 8 _iPrinted edition:
_z9783031552496
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14070
856 4 0 _uhttps://doi.org/10.1007/978-3-031-55248-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c187426
_d187426