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...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| 版: | 1st ed. 2024. |
| シリーズ: | Lecture Notes in Computer Science,
14070 |
| 主題: | |
| オンライン･アクセス: | https://doi.org/10.1007/978-3-031-55248-9 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
目次:
- 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.