Overview

Full Product Details

Author:   Domenico Cantone ,  Alfredo Pulvirenti
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2024 ed.
Volume:   14070
ISBN:  

9783031552472

ISBN 10:   3031552474
Pages:   269
Publication Date:   16 March 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions