This book provides security analyses of several Software Defined Networking (SDN) and Network Functions Virtualization (NFV) applications using Microsoft’s threat modeling framework STRIDE. Before de
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre
This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field
This book provides the reader with a basic understanding of the formal concepts of the cluster, clustering, partition, cluster analysis etc. The book explains feature-based, graph-based and spectral c
This book combines the advantages of high-dimensional data visualization and machine learning in the context of identifying complex n-D data patterns. It vastly expands the class of reversible lossles
The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran
This book collects recent theoretical advances and concrete applications of learning automata (LAs) in various areas of computer science, presenting a broad treatment of the computer science field in
This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage.Information modelling tasks are a v
The book describes several techniques used to bridge the semantic gap and reflects on recent advancements in content-based image retrieval (CBIR). It presents insights into and the theoretical foundat
This book constitutes the refereed post-conference proceedings of the First International Conference on Innovation and Interdisciplinary Solutions for Underserved Areas, InterSol 2017, and the 6th Col
This book reports on the design and development of a system that assists remote pilots during the landing procedure. In particular, it covers a previously neglected topic, namely the search for the be
This book describes computational problems related to kernel density estimation (KDE) – one of the most important and widely used data smoothing techniques. A very detailed description of novel FFT-ba
This invaluable textbook presents a comprehensive introduction to modern competitive programming. The text highlights how competitive programming has proven to be an excellent way to learn algorithms,
This accessible and engaging textbook/guide provides a concise introduction to data structures and associated algorithms. Emphasis is placed on the fundamentals of data structures, enabling the reader
This two volume set constitutes the refereed post-conference proceedings of the Second International Conference on Machine Learning and Intelligent Communications, MLICOM 2017, held in Weihai, China,
This two volume set constitutes the refereed post-conference proceedings of the Second International Conference on Machine Learning and Intelligent Communications, MLICOM 2017, held in Weihai, China,
This book constitutes the thoroughly refereed post-workshop proceedings of the 18th Chinese Lexical Semantics Workshop, CLSW 2017, held in Leshan, China, in May 2017.The 48 full papers and 5 short pap
This book highlights the interdisciplinary study of cognition, mind and behavior from an information processing perspective, and describes related applications to health informatics. The respective ch
Tele operation systems, in which robots are controlled remotely, are a potential solution to performing tasks in remote, small, and hazardous environments. However, there is a big disadvantage to thes
This book describes a new pattern discovery approach based on the combination among rules between Perceptually Important Points (PIPs) and the Symbolic Aggregate approximation (SAX) representation opt
This comprehensive text/reference presents a broad-ranging overview of device connectivity in distributed computing environments, supporting the vision of an Internet of Things (IoT). Expert perspecti
This important text/reference presents a comprehensive review of techniques for taxonomy matching, discussing matching algorithms, analyzing matching systems, and comparing matching evaluation approac
This book constitutes revised selected papers from the 6th International Conference on Information Systems, Logistics, and Supply Chains, ILS 2016, held in Bordeaux, France, in June 2016. The conferen
This book constitutes the thoroughly refereed proceedings of the 14th Italian Research Conference on Digital Libraries, IRCDL 2018, held in Udine, Italy, in January 2018. The 14 full papers and 11 sh
This book brings a high level of fluidity to analytics and addresses recent trends, innovative ideas, challenges and cognitive computing solutions in big data and the Internet of Things (IoT). It expl
The edited volume contains original papers contributed to 1st International Conference on Smart System, Innovations and Computing (SSIC 2017) by researchers from different countries. The contributions
This book constitutes revised selected papers from the 15th International Conference on Informatics in Economy, IE 2016, held in Cluj-Napoca, Romania, in June 2016. The 10 full papers and 4 short pa
The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT
This book presents interdisciplinary research on cognition, mind and behavior from an information processing perspective. It includes chapters on Artificial Intelligence, Decision Support Systems, Mac
This book constitutes the refereed proceedings of the 21th CCF Conference on Computer Engineering and Technology, NCCET 2017, held in Xiamen, China, in August 2017. The 13 full papers presented were c
This book addresses a wide range of topics in areas of intelligent systems and artificial intelligence and their real-world applications. The 22 chapters have been selected from the 168 papers publish
This book constitutes the proceedings of the 12th International Conference on Queueing Theory and Network Applications, QTNA 2017, held in Qinhuangdao, China, in August 2017. The 19 full papers inclu
This book is written for anyone who is interested in how a field of research evolves and the fundamental role of understanding uncertainties involved in different levels of analysis, ranging from macr
This book gathers the Proceedings of the 20th International Conference on Interactive Collaborative Learning (ICL2017), held in Budapest, Hungary on 27–29 September 2017. The authors are currently wit
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Conference on Financial Cryptography and Data Security, FC 2017, held in Sliema, Malta, in April 201
This book constitutes the refereed proceedings of the First International Conference on Analytical and Computational Methods in Probability Theory and its Applications, ACMPT 2017, held in Moscow, Rus
This book addresses both theoretical developments in and practical applications of econometric techniques to finance-related problems. It includes selected edited outcomes of the International Econome
This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the
This textbook examines empirical linguistics from a theoretical linguist’s perspective. It provides both a theoretical discussion of what quantitative corpus linguistics entails and detailed, hands-on
