feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    almahu_9949709323402882
    Format: XVIII, 269 p. 50 illus., 41 illus. in color. , online resource.
    Edition: 1st ed. 2024.
    ISBN: 9783031552489
    Series Statement: Lecture Notes in Computer Science, 14070
    Content: 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.
    Note: 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.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783031552472
    Additional Edition: Printed edition: ISBN 9783031552496
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    b3kat_BV044828572
    Format: 1 Online-Ressource (XII, 154 Seiten, 15 illus)
    ISBN: 9783319747781
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-74777-4
    Language: English
    Subjects: Mathematics
    RVK:
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    b3kat_BV039154694
    Format: XVII, 416 S. , Ill., graph. Darst.
    ISBN: 9780857298089
    Note: Lizenzpflichtig
    Additional Edition: Erscheint auch als Druckausgabe ISBN 978-0-85729-807-2
    Language: Undetermined
    Subjects: Computer Science
    RVK:
    Keywords: Computational logic ; Mengenlehre ; Analysis
    Author information: Schwartz, Jacob T. 1930-2009
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_751287237
    Format: Online-Ressource (XVIII, 409 p) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9781475734522
    Series Statement: Monographs in Computer Science
    Content: Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic methods and deductive techniques in this book offer readers a clear view of the use of set-theoretic notions in such critical areas as specification of problems, data types, and solution methods; algorithmic program verification; and automated deduction. The rigorous and largely self-contained style of presentation addresses readers wanting to complement their set intuition with the ability to exploit it in specification and verification and master it by symbolic, logically based techniques and methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning
    Additional Edition: ISBN 9781441929051
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781441929051
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9780387951973
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9781475734539
    Language: English
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9948621071902882
    Format: XVIII, 409 p. 1 illus. , online resource.
    Edition: 1st ed. 2001.
    ISBN: 9781475734522
    Series Statement: Monographs in Computer Science,
    Content: Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic methods and deductive techniques in this book offer readers a clear view of the use of set-theoretic notions in such critical areas as specification of problems, data types, and solution methods; algorithmic program verification; and automated deduction. The rigorous and largely self-contained style of presentation addresses readers wanting to complement their set intuition with the ability to exploit it in specification and verification and master it by symbolic, logically based techniques and methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
    Note: 1 What Is Computable Set Theory? -- 2 Logical Background -- 3 Axiomatic Views of Aggregates -- 4 Semantic Views of Aggregates -- 5 Sets for Problem Solving -- 6 Decision Problems and Some Solutions -- 7 Inference Techniques and Methods -- 8 Set/Hyperset Unification Algorithms -- 9 (*) A Syllogistic Solitaire -- 10 Stratified Syllogistics -- 11 Quantitative Set Reasoning -- 12 Set Theory for Nonclassic Logics -- 13 Logic Programming with Sets -- 14 Syllogistic Tableaux -- References -- Tables and Index of Symbols -- Association and priority rules -- Truth tables -- Common abbreviations in first-order languages -- Substitution-related notation -- Map-related notation -- Function-related notation -- Basic laws on sets -- Abbreviations in mathematical English -- Index of Terms.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9781441929051
    Additional Edition: Printed edition: ISBN 9780387951973
    Additional Edition: Printed edition: ISBN 9781475734539
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages