東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

From computational logic to computational biology = essays dedicated to Alfredo Ferro to celebrate his scientific career /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	From computational logic to computational biology/ edited by Domenico Cantone, Alfredo Pulvirenti.
其他題名:	essays dedicated to Alfredo Ferro to celebrate his scientific career /
其他作者:	Ferro, Alfredo.
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xviii, 269 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Computer logic. -
電子資源:	https://doi.org/10.1007/978-3-031-55248-9
ISBN:	9783031552489

From computational logic to computational biology = essays dedicated to Alfredo Ferro to celebrate his scientific career /
From computational logic to computational biologyessays dedicated to Alfredo Ferro to celebrate his scientific career /[electronic resource] :edited by Domenico Cantone, Alfredo Pulvirenti. - Cham :Springer Nature Switzerland :2024. - xviii, 269 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,140701611-3349 ;. - Lecture notes in computer science ;14070..

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.

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.

ISBN: 9783031552489

Standard No.: 10.1007/978-3-031-55248-9doiSubjects--Topical Terms:

840463
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

From computational logic to computational biology = essays dedicated to Alfredo Ferro to celebrate his scientific career /
LDR:03530nmm a2200361 a 4500 001 2369800
003 DE-He213
005 20240316115718.0
006 m d
007 cr nn 008maaau
008 241127s2024 sz s 0 eng d
020 $a 9783031552489 $q (electronic bk.)
020 $a 9783031552472 $q (paper)
024 7 $a 10.1007/978-3-031-55248-9 $2 doi
035 $a 978-3-031-55248-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.L63
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 005.1015113 $2 23
090 $a QA76.9.L63 $b F931 2024
245 0 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.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xviii, 269 p. : $b ill. (some col.), digital ; $c 24 cm.
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.
650 0 $a Computer logic. $3 840463
650 0 $a Computer science. $3 523869
650 0 $a Computational biology. $3 590653
650 1 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Computational and Systems Biology. $3 3531279
700 1 $a Ferro, Alfredo. $3 2068245
700 1 $a Cantone, Domenico. $3 3301598
700 1 $a Pulvirenti, Alfredo. $3 3714721
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14070. $3 3714722
856 4 0 $u https://doi.org/10.1007/978-3-031-55248-9
950 $a Computer Science (SpringerNature-11645)