The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Tech
The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Tech
The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Tech
This book constitutes the refereed post-conference proceedings of the 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and the 47th International Simulation and Gaming Associat
This book constitutes the refereed proceedings of the 13th International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2017, held in Beijing, China, in December 2017. The 39 revised full papers
This volume features a collection of papers on emerging concepts, significant insights, novel approaches and ideas in information systems development. It examines advances in information systems devel
In this book the author introduces a novel approach to securing exam systems. He provides an in-depth understanding, useful for studying the security of exams and similar systems, such as public tende
This book introduces the challenges of robotic tactile perception and task understanding, and describes an advanced approach based on machine learning and sparse coding techniques. Further, a set of s
This book presents a new paradigm of software testing by emphasizing the role of critical thinking, system thinking and rationality as the most important skills for the tester. It thus approaches soft
This book offers a broad overview of mobile communications and its databases, focusing on the processes and methods used in mobile communication networks. Drawing upon the insights of leading research
This book includes a selection of papers from the 2018 World Conference on Information Systems and Technologies (WorldCIST'18), held in Naples, Italy on March27-29, 2018. WorldCIST is a global forum f
This book presents state-of-the-art methodologies and a comprehensive introduction to the recognition and representation of species and individual animals based on their physiological and phenotypic a
This book reports on advanced concepts in fuzzy graph theory, showing a set of tools that can be successfully applied to understanding and modeling illegal human trafficking. Building on the previous
This book constitutes revised selected papers from the 20th International Conference on Information Security and Cryptology, ICISC 2017, held in Seoul, South Korea, in November/December 2017. The tota
This unique text/reference advocates a novel forgetful approach to dealing with personal multimedia content in the long run, which is inspired by the effectiveness of human forgetting as a mechanism f
This book presents recent research in the field of interaction between computational intelligence and mathematics, ranging from theory to applications. Computational intelligence, or soft computing co
This book reveals the general laws of the theory of smart systems with the help of a very powerful and expressive language of algebraic formalization. It also shows how this language can be used to su
This book presents two collaborative prediction approaches based on contextual representation and hierarchical representation, and their applications including context-aware recommendation, latent col
Image Quality Assessment is well-known for measuring the perceived image degradation of natural scene images but is still an emerging topic for computer-generated images. This book addresses this prob
This book discusses digitalization trends and their concrete applications in business and societal contexts. It summarizes new findings from research, teaching and management activities comprising dig
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language a
Scala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorp
This book describes efficient and effective techniques for harnessing the power of Linked Data by tackling the various aspects of managing its growing volume: storing, querying, reasoning, provenance
This book describes effective methods for automatically analyzing a sentence, based on the syntactic and semantic characteristics of the elements that form it. To tackle ambiguities, the authors
This book constitutes the proceedings of the 9th International Conference on Wireless and Satellite Services, WiSATS 2017, held in Oxford, UK, in September 2017. The conference was formerly known as t
The book offers a comprehensive, practice-oriented introduction to the field of fuzzy mathematical programming (FMP) as key topic of modern analytics. FMP plays a fundamental role in dealing with a v
This is the second edition of the first ever book to explore the exciting new field of augmented reality art and its enabling technologies. The new edition has been thoroughly revised and updated, and
This book constitutes the proceedings of two conferences: The 6th International Conference on ArtsIT, Interactivity and Game Creation (ArtsIT 2017) and the Second International Conference on Design, L
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2017, held in Rome, Italy, , in Octo
This book gathers selected papers presented at the conference of the Forum for Interdisciplinary Mathematics (FIM), held at Palau Macaya, Barcelona, on 18 to 20 November, 2015. The event was co-organi
This book presents the refereed proceedings of the third International Conference on Advanced Machine Learning Technologies and Applications, AMLTA 2018, held in Cairo, Egypt, on February 22–24, 2018,
This book discusses harnessing the real power of cloud computing in optimization problems, presenting state-of-the-art computing paradigms, advances in applications, and challenges concerning both the
This book features contributions from various spheres of socio-humanitarian sciences presented at the scientific and practical conference on “Humans as an Object of Study by Modern Science,” which too
This book offers a unique blend of reports on both theoretical models and their applications in the area of Intelligent Information and Database Systems. The reports cover a broad range of research to
This book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017.
This book presents an improved design for service provisioning and allocation models that are validated through running genome sequence assembly tasks in a hybrid cloud environment. It proposes approa
This book constitutes revised selected papers from the Australasian Symposium on Service Research and Innovation, ASSRI, held in Sydney Australia.The 11 full papers presented from ASSRI 2017, which to
This book constitutes the proceedings of the 19th International Conference on Passive and Active Measurement, PAM 2018, held in Berlin, Germany, in March 2018.The 20 full papers presented in this
This book constitutes the refereed proceedings of the 9th International Conference on Internet Multimedia Computing and Service, ICIMCS 2017, held in Qingdao, China, in August 2017.The 20 revised full
This book presents cutting-edge research on various ways to bridge the semantic gap in image and video analysis. The respective chapters address different stages of image processing, revealing that th
