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.
Mastering Algorithms: From Theory to Practice is a complete, modern guide to algorithmic thinking for students, software engineers, and self-learners who want more than memorization they want understanding.
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.
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.
«Necesitamos ampliar los diálogos, actualizarlos y arriesgar alternativas, como lo hace Colomer cuando borda ideas sobre las múltiples relaciones y dilemas que se generan en las sociedades contemporáneas en las que se crean, producen y circulan las expresiones artísticas, a partir del enfoque de los derechos culturales« (Lucina Jiménez).
This book constitutes the refereed proceedings of the Third Analytics Global Conference on Human-centered Data Analytics: Technology for Sustainable Development, AGC 2025, held in Kolkata, India, during March 8-9, 2025.
This book constitutes the refereed proceedings of the Third Analytics Global Conference on Human-centered Data Analytics: Technology for Sustainable Development, AGC 2025, held in Kolkata, India, during March 8-9, 2025.
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.
This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9–11, 2025.
This book constitutes the conference proceedings of the 22nd International Conference on Smart Business Technologies, ICSBT 2025 held in Bilbao, Spain, during June 11–12, 2025.
This book constitutes the conference proceedings of the 22nd International Conference on Smart Business Technologies, ICSBT 2025 held in Bilbao, Spain, during June 11–12, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
This two-volume set constitutes the proceedings of the 24th International Semantic Web Conference, ISWC 2025, held in Nara, Japan, during November 2–6, 2025.
