This book constitutes the revised selected papers of the 4th International Scientific and Practical Conference on Information Technologies and Intelligent Decision-Making Systems, ITIDMS 2024, held in Moscow, Russia, during December 11–13, 2024.
This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 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 two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 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 three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.
This three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.
This book focuses on the kinematic analysis, design, and simulation of industrial robots, making these topics easily accessible to students and engineers through an interactive scheme.
Enterprise-Grade Test Automation PlaybookBest Practices for Architecture, Governance, and Scale - With production-ready code and research-backed patterns Why do most test automation initiatives fail?
Quantum Machine Learning (QML): Platform, Tools and Applications, Volume 140 in the Advances in Computers series, explores the intersection of quantum computing and artificial intelligence, highlighting advances that promise to revolutionize computational science.
Quantum Machine Learning (QML): Platform, Tools and Applications, Volume 140 in the Advances in Computers series, explores the intersection of quantum computing and artificial intelligence, highlighting advances that promise to revolutionize computational science.
Foundations of Cloud Computing provides readers with a guidebook to navigating the field of Cloud Computing, including the guiding principles, key concepts, history, terminology, state-of-the-art in research, and a roadmap to where the field intersects and interacts with related fields of research and development.
This book covers proceedings of the 15th International conference for information society and technologies that brings together experts from various fields to discuss the latest advancements in using AI and IoT to shape a future industry, digitalization of health, well-being and sport, energy and environment, generative AI, and large language models, machine learning, and software engineering.
In-depth coverage of the latest advances in software engineering Aimed at defining inherent problems and providing appropriate solutions when constructing large software systems, the study of software engineering is an essential practice in order to create and maintain successful software development.
This book explores how Artificial Intelligence (AI) and Software-Defined Networking (SDN) can transform the way modern networks are designed, secured, and operated.
Create rich and dynamic web applications built on the Azure cloud platform using static web development techniques built around Blazor WebAssembly, APIs, and Markup, whilst leveraging the paradigm commonly known as JAMstack.
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978.
This book constitutes the proceedings of several workshops which were held in conjunction with the MICAI 2025 International Workshops on Advances in Computational Intelligence, MICAI 2025, held in Guanajuato, Mexico, during November 3–7, 2025.
Beyond 5G and 6G Networks, the AI-Native Revolution explores the transformative convergence of generative artificial intelligence (GenAI), large language models (LLMs), and next-generation telecommunications.
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 how Artificial Intelligence (AI) and Software-Defined Networking (SDN) can transform the way modern networks are designed, secured, and operated.
Multiresolution methods in geometric modelling are concerned with the generation, representation, and manipulation of geometric objects at several levels of detail.
Modern Web Cartography is your ultimate guide to practical web maps using open source tools, with a particular focus on OpenStreetMap (OSM) and its rich ecosystem.
Modern Web Cartography is your ultimate guide to practical web maps using open source tools, with a particular focus on OpenStreetMap (OSM) and its rich ecosystem.
This book covers proceedings of the 15th International conference for information society and technologies that brings together experts from various fields to discuss the latest advancements in using AI and IoT to shape a future industry, digitalization of health, well-being and sport, energy and environment, generative AI, and large language models, machine learning, and software engineering.
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 SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri?
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.