This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes. The underlying concepts are
This book constitutes the refereed proceedings of the 4th International Conference on Statistical Language and Speech Processing, SLSP 2016, held in Pilsen, Czech Republic, in October 2016. The 11 ful
The book reports on new theories and applications in the field of intelligent systems and computing. It covers computational and artificial intelligence methods, as well as advances in computer vision
This book constitutes the joint refereed proceedings of the 16th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2016, and the 9th Conference on Intern
This book constitutes the refereed proceedings of the 4th International Symposium on Security in Computing and Communications, SSCC 2016, held in Jaipur, India, in September 2016. The 23 revised
This book describes trends in email scams and offers tools and techniques to identify such trends. It also describes automated countermeasures based on an understanding of the type of persuasive metho
This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and Modeling, SAM 2016, held in Saint-Melo, France, in October 2016. The 15 full papers p
This book offers a comprehensive reference guide to intelligence systems in environmental management. It provides readers with all the necessary tools for solving complex environmental problems, where
Facebook’s psychological experiments and Edward Snowden’s NSA leaks epitomize a world of increasing information awareness in the social media ecosystem. With over a billion monthly active users, Faceb
This book constitutes the refereed proceedings of the 7th International Conference on Knowledge Engineering and the Semantic Web, KESW 2016, held in Prague, Czech Republic, in September 2016.The 17 re
In this book, leading CEOs, CIOs and experts from international corporations explore the role of digitalization and cloud-based processes as the main business drivers of the 21st century. Focusin
This book, edited by four of the leaders of the National Science Foundation’s Global Environment and Network Innovations (GENI) project, gives the reader a tour of the history, architecture, future, a
The emergence of intelligent technologies, sophisticated natural language processing methodologies and huge textual repositories, invites a new approach for the challenge of automatically identifying
This book introduces readers to the basic concepts of and latest findings in the area of differential equations with uncertain factors. It covers the analytic method and numerical method for solving u
The three volume set LNAI 9851, 9852 and 9853 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2016, held in Riva del
Automatic detection and segmentation of anatomical structures in medical images are prerequisites to subsequent image measurements and disease quantification, and therefore have multiple clinical appl
This book constitutes the refereed proceedings of the 8th International Conference on Collaboration Technologies, CollabTech 2016, held in Kanazawa, Japan, in September 2016. The 16 revised full paper
This textbook provides an introduction to the fundamentals of serious games, which differ considerably from computer games that are meant for pure entertainment. Undergraduate and graduate students fr
This book provides a comprehensive overview of the fundamental security of Industrial Control Systems (ICSs), including Supervisory Control and Data Acquisition (SCADA) systems and touching on cyber-p
The ability to communicate cultural codes in multimedia depends on their meaning and beauty, as perceived by different audiences around the globe. In this book, the ongoing research on computational m
This book constitutes the refereed proceedings of the 6th IFIP World Information Technology Forum, WITFOR 2016, San José, Costa Rica, in September 2016. The 16 full papers and 6 short papers presented
This book presents the proceedings of the KKIO Software Engineering Conference held in Wroclaw, Poland in September 15-17, 2016. It contains the carefully reviewed and selected scientific outcome of t
This SpringerBrief presents the fundamental concepts of a specialized class of data stream, spatio-temporal data streams, and demonstrates their distributed processing using Big Data frameworks and pl
This work reviews the state of the art in SVM and perceptron classifiers. A Support Vector Machine (SVM) is easily the most popular tool for dealing with a variety of machine-learning tasks, including
This book constitutes the refereed proceedings of the 12th IFIP TC 9 International Conference on Human Choice and Computers, HCC12 2016, held in Salford, UK, in September 2016.The 26 revised
This book combines work from curators, digital artists, human computer interaction researchers and computer scientists to look at the mutual benefits and challenges posed when working together to supp
This book takes a fresh look at biometrics and identity management, extending the dialogue beyond technical considerations, and exploring some of the broader societal and philosophical aspects surroun
This volume constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference on Availability, Reliability and Security in Information Systems, CD-ARES 2016, and
Requirements engineering is the process of eliciting individual stakeholder requirements and needs and developing them into detailed, agreed requirements documented and specified in such a way that th
This is the first textbook on pattern recognition to present the Bayesian viewpoint. The book presents approximate inference algorithms that permit fast approximate answers in situations where exact a
This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer-based solution of certain classes of mathematical problems are illustrated. The authors sh
What are the key channels to change in blended instructional practice as they relate to the use of a learning management system (LMS)? What role LMS users’ profiles play in facilitating change in prac
This book provides a concise study of eye gaze tracking as a direct controller of electronic displays and interfaces inside cars and other vehicles. The author explores the prospect of controlling a v
This book examines the interaction between the technical and economic issues in database-assisted dynamic spectrum networks. It explains various business models for different network settings, analyzi
This book explores the role of cognition in the field of human-computer interaction (HCI) assessing how the field has developed over the past thirty years and discusses where the field is heading, as
The unconventional computing is a niche for interdisciplinary science, cross-bred of computer science, physics, mathematics, chemistry, electronic engineering, biology, material science and nanotechno
This book addresses human factors research in energy, an emphasis on human factors applications in design, construction, and operation of nuclear, electrical power generation, and oil and gas assets.
The topics treated in this handbook cover all areas of games and entertainment technologies, such as digital entertainment; technology, desigrt, and sociology. The handbook consists of contribution
This book gives a detailed survey of the main results on bent functions over finite fields, presents a systematic overview of their generalizations, variations and applications, considers open problem
