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...

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
Erakunde egilea: SpringerLink (Online service)
Beste egile batzuk: Cantone, Domenico (Argitaratzailea), Pulvirenti, Alfredo (Argitaratzailea)
Formatua: Baliabide elektronikoa eBook
Hizkuntza:ingelesa
Argitaratua: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edizioa:1st ed. 2024.
Saila:Lecture Notes in Computer Science, 14070
Gaiak:
Sarrera elektronikoa:https://doi.org/10.1007/978-3-031-55248-9
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

MARC

LEADER 00000nam a22000005i 4500
001 978-3-031-55248-9
003 DE-He213
005 20260810171039.0
007 cr nn 008mamaa
008 240315s2024 sz | o |||| 0|eng d
020 |a 9783031552489  |9 978-3-031-55248-9 
024 7 |a 10.1007/978-3-031-55248-9  |2 doi 
050 4 |a QA8.9-10.3 
072 7 |a PBCD  |2 bicssc 
072 7 |a PBC  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a PBCD  |2 thema 
072 7 |a PBC  |2 thema 
082 0 4 |a 511.3  |2 23 
245 1 0 |a From Computational Logic to Computational Biology  |h [electronic resource] :  |b Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /  |c edited by Domenico Cantone, Alfredo Pulvirenti. 
250 |a 1st ed. 2024. 
264 1 |a Cham :  |b Springer Nature Switzerland :  |b Imprint: Springer,  |c 2024. 
300 |a 1 online resource (XVIII, 269 p. 50 illus.).  |b 41 illus. in color. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 14070 
505 0 |a 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. 
520 |a 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 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. 
588 |a Print version record. 
650 0 |a Mathematical logic. 
650 0 |a Bioinformatics. 
650 1 4 |a Mathematical Logic and Foundations. 
650 2 4 |a Computational and Systems Biology. 
700 1 |a Cantone, Domenico.  |e editor.  |0 (orcid)0000-0002-1306-1166  |1 https://orcid.org/0000-0002-1306-1166  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Pulvirenti, Alfredo.  |e editor.  |0 (orcid)0000-0002-9764-0295  |1 https://orcid.org/0000-0002-9764-0295  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783031552472 
776 0 8 |i Printed edition:  |z 9783031552496 
830 0 |a Lecture Notes in Computer Science,  |x 1611-3349 ;  |v 14070 
856 4 0 |u https://doi.org/10.1007/978-3-031-55248-9 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)