This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions.
The three-volume set CCIS 1032, CCIS 1033, and CCIS 1034 contains the extended abstracts of the posters presented during the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, in July 2019.
This two-volume set LNICST 286-287 constitutes the post-conference proceedings of the First EAI International Conference on Artificial Intelligence for Communications and Networks, AICON 2019, held in Harbin, China, in May 2019.
This book constitutes the refereed proceedings of the 11th International Symposium on Business Modeling and Software Design, BMSD 2021, which took place in Sofia, Bulgaria, in July 2021.
This book constitutes the refereed proceedings of the 14th International Conference on Cognitive Radio-Oriented Wireless Networks, CROWNCOM 2019, held in Poznan, Poland, in June 2019.
This book constitutes the proceedings of the 17th International Conference on Business Process Management, BPM 2019, held in Vienna, Austria, in September 2019.
This two-volume set LNCS 11592 and 11593 constitutes the refereed proceedings of the 5th International Conference on Human Aspects of IT for the Aged Population, ITAP 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA.
This book provides a systematic introduction to the fundamental concepts, major challenges, and effective solutions for Quality of Service in Wireless Sensor Networks (WSNs).
This book constitutes the refereed proceedings of seven workshops held at the 19th International Conference on Image Analysis and Processing, ICIAP 2017, in Catania, Italy, in September 2017: First International Workshop on Brain-Inspired Computer Vision - WBICV 2017; Social Signal Processing and Beyond - SSPandBE 2017; Automatic affect analysis and synthesis - 3AS 2017; Background learning for detection and tracking from RGBD Videos - RGBD 2017; Natural human-computer Interaction and ecological perception in immersive Virtual and Augmented Reality - NIVAR 2017; 1st International Workshop on Biometrics as-a-service: cloud-based technology, systems and applications - IWBAAS 2017; 3rd International Workshop on Multimedia Assisted Dietary Management - MADiMa 2017.
This book constitutes the refereed proceedings of the 9th International Conference on Reversible Computation, RC 2017, held in Kolkata, India, in July 2017.
This book constitutes the thoroughly refereed post-workshop proceedings of the 21st Chinese Lexical Semantics Workshop, CLSW 2020, held in Hong Kong, China in May 2020.
The six volume set LNCS 10634, LNCS 10635, LNCS 10636, LNCS 10637, LNCS 10638, and LNCS 10639 constitues the proceedings of the 24rd International Conference on Neural Information Processing, ICONIP 2017, held in Guangzhou, China, in November 2017.
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Nis, Serbia, in June/July 2019.
This book constitutes the refereed proceedings of the 13th International Conference on Machine Learning and Data Mining in Pattern Recognition, MLDM 2017, held in New York, NY, USA in July/August 2017.
The two-volume set LNCS 10269 and 10270 constitutes the refereed proceedings of the 20th Scandinavian Conference on Image Analysis, SCIA 2017, held in Tromso, Norway, in June 2017.
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017.
This book constitutes the proceedings of the 21st International Conference on Developments in Language Theory, DLT 2017, held in Liege, Belgium, in August 2017.
This book constitutes extended, revised and selected papers from the 6th International Conference on Cloud Computing and Services Science, CLOSER 2016, held in Rome, Italy, in April 2016.
This essential textbook presents a concise introduction to the fundamental principles of software engineering, together with practical guidance on how to apply the theory in a real-world, industrial environment.
This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi'an, China, in July 2019.
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019.
This three volume set of LNCS 12207, 12208 and 12209 constitutes the refereed proceedings of the 6th International Conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020.
This book constitutes the refereed proceedings of the 7th International Symposium on End-User Development, IS-EUD 2017, held in Hatfield, UK, in July 2019.
This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017.
This book constitutes the refereed proceedings of the Second International Conference on Intelligence Science, ICIS 2017, held in Shanghai, China, in October 2017.
This book constitutes the refereed proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2017, held in Nice, France, in October/November 2017.
This book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks; a number of algorithms on multi-aspect anomaly detection in sensor networks; several algorithms on mobile agent transmission optimization in resource constrained sensor networks; an algorithm on mobile agent-enabled in situ verification of anomalous sensor nodes; a detailed Petri Net-based formal modeling and analysis of the proposed system, and an algorithm on fuzzy logic-based cross-layer anomaly detection and mobile agent transmission optimization.
This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Data Structures, WADS, 2019, held in Edmonton, AB, Canada, in August 2019.
This two-volume set, LNCS 11641 and 11642, constitutes the thoroughly refereed proceedings of the Third International Joint Conference, APWeb-WAIM 2019, held in Chengdu, China, in August 2019.
This book constitutes the proceedings of the Third International Conference on Technologies and Innovation, CITI 2017, held in Guayaquil, Ecuador, in October 2017.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.
This book provides explicit representations of finite-dimensional simple Lie algebras, related partial differential equations, linear orthogonal algebraic codes, combinatorics and algebraic varieties, summarizing the author's works and his joint works with his former students.
The book provides a comprehensive coverage of the widely accepted desiderata of component-based software development, as well as the foundations that these desiderata necessitate.
This book, Smart Agriculture: Harnessing Machine Learning for Crop Management, is a comprehensive guide designed to explore the various facets of integrating machine learning into agricultural practices.
This compendium contains 10 chapters written by world renowned researchers with expertise in semantic computing, genome sequence analysis, biomolecular interaction, time-series microarray analysis, and machine learning algorithms.
Multi-objective optimization problems (MOPs) and uncertain optimization problems (UOPs) which widely exist in real life are challengeable problems in the fields of decision making, system designing, and scheduling, amongst others.
This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 devoted to theoretical and practical approaches to computation.
This book explores the ways in which the broad range of technologies that make up the smart city infrastructure can be harnessed to incorporate more playfulness into the day-to-day activities that take place within smart cities, making them not only more efficient but also more enjoyable for the people who live and work within their confines.
The book is a collection of invited chapters by renowned experts and is part of a series on Language Processing, Pattern Recognition, and Intelligent Systems.
