Skip to main content
SpringerLink
Log in

From Computational Logic to Computational Biology

Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

  • Book
  • © 2024

Overview

Editors:
  1. Domenico Cantone

    1. University of Catania, Catania, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alfredo Pulvirenti

    1. University of Catania, Catania, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Honors Alfredo Ferro’s career as a scientist, teacher, and mentor
  • Includes research results in decision procedures, verification, bioinformatics, data mining, and graph analysis
  • Contributions by leading researchers and collaborators

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14070)

  • 1354 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Computational Logic

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Early Development of SETL

      • Edmond Schonberg
      Pages 3-8

    3. Onset and Today’s Perspectives of Multilevel Syllogistic

      • Domenico Cantone, Eugenio G. Omodeo
      Pages 9-55

    4. An Automatically Verified Prototype of a Landing Gear System

      • Maximiliano Cristiá, Gianfranco Rossi
      Pages 56-81

    5. A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic

      • Alfredo Ferro, Eugenio G. Omodeo
      Pages 82-95

  3. Computational Biology and Complex Systems

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Advances in Network-Based Drug Repositioning

      • Marco Pellegrini
      Pages 99-114

    3. Integer Programming Based Algorithms for Overlapping Correlation Clustering

      • Barel I. Mashiach, Roded Sharan
      Pages 115-127

    4. Deep Learning Models for LC-MS Untargeted Metabolomics Data Analysis

      • Francesco Russo, Filip Ottosson, Justin J. J. van der Hooft, Madeleine Ernst
      Pages 128-144

    5. The Search for Cancer Drivers

      • Alessandro Laganà
      Pages 145-171

    6. Inferring a Gene Regulatory Network from Gene Expression Data. An Overview of Best Methods and a Reverse Engineering Approach

      • Vincenzo Cutello, Mario Pavone, Francesco Zito
      Pages 172-185

    7. Efficient Random Strategies for Taming Complex Socio-economic Systems

      • Alessio E. Biondo, Alessandro Pluchino, Andrea Rapisarda
      Pages 186-222

    8. Critical Density for Network Reconstruction

      • Andrea Gabrielli, Valentina Macchiati, Diego Garlaschelli
      Pages 223-249

    9. Motif Finding Algorithms: A Performance Comparison

      • Emanuele Martorana, Roberto Grasso, Giovanni Micale, Salvatore Alaimo, Dennis Shasha, Rosalba Giugno et al.
      Pages 250-267

  4. Back Matter

    Pages 269-269
    Download chapter PDF
Back to top

Keywords

About this book

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


Editors and Affiliations

  • University of Catania, Catania, Italy

    Domenico Cantone, Alfredo Pulvirenti

Bibliographic Information

  • Book Title: From Computational Logic to Computational Biology

  • Book Subtitle: Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

  • Editors: Domenico Cantone, Alfredo Pulvirenti

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-55248-9

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2024

  • Softcover ISBN: 978-3-031-55247-2Published: 16 March 2024

  • eBook ISBN: 978-3-031-55248-9Published: 15 March 2024

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVIII, 269

  • Number of Illustrations: 9 b/w illustrations, 41 illustrations in colour

  • Topics: Mathematical Logic and Foundations, Bioinformatics

Publish with us

Policies and ethics

Back to top

Search

Navigation