Computer

This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed proceedings of the 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, held in Cadiz, Spain, in June 20

From Internet of Things to Smart Cities: Enabling Technologies explores the information and communication technologies (ICT) needed to enable real-time responses to current environmental, technologica

This book constitutes the proceedings of the 19th International Conference on Technology Enhanced Assessment, TEA 2016, held in Tallinn, Estonia, in October 2016. The 16 full papers presented were car

This is the second edition of a practical book on exploratory multivariate analysis. It takes an example-driven approach, with lots of detailed examples using real data, all coded in R, with implement

This comprehensive guide provides a uniquely practical, application-focused introduction to medical image analysis. This fully updated new edition has been enhanced with material on the latest develop

This book is designed to provide a new framework for Data Science, based on a solid foundation in mathematics and computational science. It covers a diverse range of topics from the field, including d

This book constitutes the refereed proceedings of the First International Conference on Recent Trends in Image Processing and Pattern Recognition, RTIP2R 2016, held in Bidar, Karnataka, India, in Dece

This book constitutes the refereed proceedings of the 13th International Conference entitled Beyond Databases, Architectures and Structures, BDAS 2017, held in Ustron, Poland, in May/June 2017. It con

This book constitutes the refereed proceedings of the 28th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2016, held in Ershovo, Moscow, Russia, in Oc

This book constitutes the thoroughly refereed proceedings of the 12th Italian Research Conference on Digital Libraries, IRCDL 2016, held in Firence, Italy, in February 2016. The 15 papers presented we

"This book contains a comprehensive discussion of the most important topics of information-carrier transport, including some topics not previously presented, altogether, in a single book. The main pur

This unique text/reference provides a detailed overview of the latest advances in machine learning and computer vision related to visual attributes, highlighting how this emerging field intersects wit

This volume details trends in the properties, applications, and development of polymer dielectrics. It describes the insulation of new power energy, polymer properties in wind generator winding and

This book constitutes the refereed proceedings of the 13th International Forum of Digital TV and Wireless Multimedia Communication, IFTC 2016, held in Shanghai, China, in November 2016. The 38 revised

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on the Arithmetic of Finite Field, WAIFI 2016, held in Ghent, Belgium, in July 2016. The 14 re

This book constitutes the refereed proceedings of the Second Annual International Symposium on Information Management and Big Data, SIMBig 2015, held in Cusco, Peru, in September 2015, and of the

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016, held in Rome, Ital

The two volume proceedings of CCIS 698 and 699 constitutes revised selected papers from the 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016

The two volume proceedings of CCIS 698 and 699 constitutes revised selected papers from the 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016

This book describes the various methods used for exploratory data analysis with an emphasis on MATLAB implementation. It covers approaches for visualizing data, data tours and animations, clustering (

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015.The 18 papers

This book constitutes the revised selected papers of the Second International Conference on Information Systems Security and Privacy, ICISSP 2016, held in Rome, Italy, in February 2016.The 9 full pape

"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations

This comprehensive handbook addresses the sophisticated forensic threats and challenges that have arisen in the modern digital age, and reviews the new computing solutions that have been proposed to t

This book constitutes the refereed proceedings of the 11th International Conference on Global Security, Safety and Sustainability, ICGS3 2017, held in London, UK, in January, 2017. The 32 revised

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017. The 32 papers presented i

This book constitutes revised selected papers from the 4th European Conference on Information Literacy, ECIL 2016, held in Prague, Czech Republic, in October 2016. The 52 full and 19 short papers pres

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but

This book contains extended and revised versions of selected papers from the Third International Congress on Sports Science Research and Technology Support, icSPORTS 2015, held in Lisbon, Portugal, in

This book constitutes revised selected papers from the Second International Rapid Mashup Challenge, RMC 2016, held in Lugano, Switzerland in June 2016. The 6 papers presented in this volume were care

This book constitutes the thoroughly refereed post-workshop proceedings of the 14th International Workshop on Approximation and Online Algorithms, WAOA 2016, held in Aarhus, Denmark, in August 2016 as

This book constitutes the refereed proceedings of the 12th China Workshop on Machine Translation, CWMT 2016, held in Urumqi, China, in August 2016. The 10 English papers presented in this volume were

This volume explores multiple dimensions of openness in ICT-enhanced education. The chapters, contributed by researchers and academic teachers, present a number of exemplary solutions in the area. The

This classroom-tested and easy-to-understand textbook/reference describes the state of the art in 3D reconstruction from multiple images, taking into consideration all aspects of programming and imple

This book presents practical optimization techniques used in image processing and computer vision problems. Ill-posed problems are introduced and used as examples to show how each type of problem is r

This book constitutes the refereed proceedings of the 20th CCF Conference on Computer Engineering and Technology, NCCET 2016, held in Xi'an, China, in August 2016. The 21 full papers presented were ca

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers

This book constitutes the refereed proceedings of the 51st Annual Convention of the Computer Society of India, CSI 2016, held in Coimbatore, India, in December 2016.The 23 revised papers presented wer

This book constitutes the refereed proceedings of the first China Conference on Knowledge Graph and Semantic Computing, CCKS, held in Beijing, China, in September 2016.The 19 revised full papers prese

This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.