Advances in bioinformatics and systems biology require improved computational methods for analyzing data, while progress in molecular biology is in turn influencing the development of computer science methods.
This two-volume set CCIS 2736-2737 constitutes the revised selected papers of the 6th International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2024, held in Goa, India, during December 20–21, 2024.
This book constitutes the revised selected papers of the 9th International Conference on Advances in Computing and Data Sciences, ICACDS 2025, held in Tallinn, Estonia, during August 28–29, 2025.
This book constitutes the revised selected papers of the 9th International Conference on Advances in Computing and Data Sciences, ICACDS 2025, held in Tallinn, Estonia, during August 28–29, 2025.
This two-volume set CCIS 2736-2737 constitutes the revised selected papers of the 6th International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2024, held in Goa, India, during December 20–21, 2024.
This volume constitutes the proceedings of 31st International Conference on Cooperative Information Systems, CoopIS 2025, held in Marbella, Spain, during October 20–22, 2025.
This volume constitutes the proceedings of 31st International Conference on Cooperative Information Systems, CoopIS 2025, held in Marbella, Spain, during October 20–22, 2025.
This two-volume set CCIS 2736-2737 constitutes the revised selected papers of the 6th International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2024, held in Goa, India, during December 20–21, 2024.
This two-volume set CCIS 2736-2737 constitutes the revised selected papers of the 6th International Conference on Machine Learning, Image Processing, Network Security and Data Sciences, MIND 2024, held in Goa, India, during December 20–21, 2024.
This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 9–12, 2025.
This book LNCS 16213 constitutes the refereed proceedings of the 29th International Conference on Enterprise Design, Operations, and Computing, EDOC 2025, held in Lisbon, Portugal, during September 9–12, 2025.
This book explores various aspects of knowledge graph reasoning to solve different tasks, encompassing first, traditional symbolic methods for knowledge graph reasoning; second, recent developments in neural-based knowledge graph reasoning techniques; and third, cutting-edge advancements in neural-symbolic hybrid approaches to knowledge graph reasoning.
This book explores various aspects of knowledge graph reasoning to solve different tasks, encompassing first, traditional symbolic methods for knowledge graph reasoning; second, recent developments in neural-based knowledge graph reasoning techniques; and third, cutting-edge advancements in neural-symbolic hybrid approaches to knowledge graph reasoning.
MAPLE is a computer algebra system which, thanks to an extensive library of sophisticated functions, enables both numerical and formal computations to be performed.
Measure and integration wereonceconsidered,especially by many ofthe more practically inclined, to be an esoteric area ofabstract mathematics best left to pure mathematicians.
The development of powerful computer algebra systems has considerably ex- tended the scope of problems of scientific computing which can now be solved successfully with the aid of computers.
These post-proceedings contain the revised versions of the accepted papers of the international workshop \Transactions and Database Dynamics"e;, which was the eighth workshop in a series focusing on foundations of models and languages for data and objects (FoMLaDO).
CASC 2001 continues a tradition ~ started in 1998 ~ of international con- ferences on the latest advances in the application of computer algebra systems to the solution of various problems in scientific computing.
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.
In this volume we present the accepted contributions to the Sixth European Conference on Genetic Programming (EuroGP 2003) which took place at the University of Essex, UK on 14-16 April 2003.
The two volume set LNCS 3102/3103 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2004, held in Seattle, WA, USA, in June 2004.
In today’s world, the concept of a circular economy has emerged as a vital solution to address pressing environmental concerns and foster sustainable development.
The four-volume set LNCS constitutes the refereed proceedings of the 9th International Joint Conference on Web and Big Data, APWeb-WAIM 2025, held in Shenyang, China, during August 28–30, 2025.
The four-volume set LNCS constitutes the refereed proceedings of the 9th International Joint Conference on Web and Big Data, APWeb-WAIM 2025, held in Shenyang, China, during August 28–30, 2025.
In today’s world, the concept of a circular economy has emerged as a vital solution to address pressing environmental concerns and foster sustainable development.
Block ciphers encrypt blocks of plaintext, messages, into blocks of ciphertext under the action of a secret key, and the process of encryption is reversed by decryption which uses the same user-supplied key.
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems.
Just as in its 1st edition, this book starts with illustrations of the ubiquitous character of optimization, and describes numerical algorithms in a tutorial way.
The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1–5, 2025.
