This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaLi - Dynamic logics for cyber-physical systems: towards contract based design.

This book constitutes the proceedings of the 11th Mexican Conference on Pattern Recognition, MCPR 2019, held in Queretaro, Mexico, in June 2019. The 40 papers presented in this volume were carefully reviewed and selected from 86 submissions. They were organized in topical sections named: artificial intelligence techniques and recognition; computer vision; industrial and medical applications of pattern recognition; image processing and analysis; pattern recognition techniques; signal processing and analysis; natural language, and processing and recognition.

Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to physics and mathematics. The Hamiltonian, which is used in quantum physics to describe the total energy of a system, would have been a major achievement for anyone, but Hamilton also invented quaternions, which paved the way for modern vector analysis.

Quaternions are one of the most documented inventions in the history of mathematics, and this book is about their invention, and how they are used to rotate vectors about an arbitrary axis. Apart from introducing the reader to the features of quaternions and their associated algebra, the book provides valuable historical facts that bring the subject alive.

Quaternions for Computer Graphics introduces the reader to quaternion algebra by describing concepts of sets, groups, fields and rings. It also includes chapters on imaginary quantities, complex numbers and the complex plane, which are essential to understanding quaternions. The book contains many illustrations and worked examples, which make it essential reading for students, academics, researchers and professional practitioners.

This book constitutes the proceedings of the 31st Australasian Joint Conference on Artificial Intelligence, AI 2018, held in Wellington, New Zealand, in December 2018. The 50 full and 26 short papers presented in this volume were carefully reviewed and selected from 125 submissions. The paper were organized in topical sections named: agents, games and robotics; AI applications and innovations; computer vision; constraints and search; evolutionary computation; knowledge representation and reasoning; machine learning and data mining; planning and scheduling; and text mining and NLP.

This three-volume set LNCS 10666, 10667, and 10668 constitutes the refereed conference proceedings of the 9th International Conference on Image and Graphics, ICIG 2017, held in Shanghai, China, in September 2017. The 172 full papers were selected from 370 submissions and focus on advances of theory, techniques and algorithms as well as innovative technologies of image, video and graphics processing and fostering innovation, entrepreneurship, and networking.

Presenting a collection of high-quality research papers on image processing and communications, this book not only discusses emerging applications of the currently available solutions, but also outlines potential future techniques and research directions in these areas. Gathering the proceedings of the 10th International Conference on Image Processing and Communications (IP&C 2018), held in Bydgoszcz, Poland in November 2018, it is divided into two parts. Part I focuses on image processing, offering a comprehensive survey of available methods and discussing current trends in computer vision. In turn, Part II presents novel results on networks, communications and a diverse range of applications, including cybersecurity and cloud computing.

This volume constitutes the proceedings of the 18th Asia Simulation Conference, AsiaSim 2018, held in Kyoto, Japan, in August 2018. The 45 revised full papers presented in this volume were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on modeling and simulation technology; soft computing and machine learning; high performance computing and cloud computing; simulation technology for industry; simulation technology for intelligent society; simulation of instrumentation and control application; computational mathematics and computational science; flow simulation; visualization and computer vision to support simulation.

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.

The sixteen-volume set comprising the LNCS volumes 11205-11220 constitutes the refereed proceedings of the 15th European Conference on Computer Vision, ECCV 2018, held in Munich, Germany, in September 2018.The 776 revised papers presented were carefully reviewed and selected from 2439 submissions. The papers are organized in topical sections on learning for vision; computational photography; human analysis; human sensing; stereo and reconstruction; optimization; matching and recognition; video attention; and poster sessions.

This book constitutes the refereed proceedings of the 12th Chinese Conference on Image and Graphics Technologies and Applications, IGTA 2017, held in Beijing, China June 30 - July 1, 2017. The 26 papers presented were carefully reviewed and selected from 78 submissions. They provide a forum for sharing progresses in the areas of image processing technology; image analysis and understanding; computer vision and pattern recognition; big data mining, computer graphics and VR; as well as image technology applications

This book constitutes the refereed proceedings of the 6th Conference on Artificial Intelligence and Natural Language, AINL 2017, held in St. Petersburg, Russia, in September 2017. The 13 revised full papers, 4 revised short papers papers were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections on social interaction analysis, speech processing, information extraction, Web-scale data processing, computation morphology and word embedding, machine learning. The volume also contains 6 papers participating in the Russian paraphrase detection shared task.

This monograph is devoted to the description of the physical fundamentals of laser refractography-a novel informational-measuring technique for the diagnostics of optically inhomogeneous media and flows, based on the idea of using spatially structured probe laser radiation in combination with its digital recording and c- puter techniques for the differential processing of refraction patterns. Considered are the physical fundamentals of this technique, actual optical schemes, methods of processing refraction patterns, and possible applications. This informational technique can be employed in such areas of science and technology as require remote nonperturbative monitoring of optical, thermophysical, chemical, aerohydrodynamic, and manufacturing processes. The monograph can also be recommended for students and postgraduates of - formational, laser, electro-optical, thermophysical, chemical, and other specialties. Laser refractography is a conceptually novel refraction method for the diagn- tics of inhomogeneous media, based on the idea of using spatially structured probe laser radiation in combination with its digital recording and computer techniques for the differential processing of refraction patterns.

This book constitutes the refereed joint proceedings of the Third International Workshop on Reconstruction and Analysis of Moving Body Organs, RAMBO 2018, the Fourth International Workshop on Breast Image Analysis, BIA 2018, and the First International Workshop on Thoracic Image Analysis, TIA 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018. The 5 full papers (out of 10 submissions) presented at RAMBO, the 9 full papers (out of 18 submissions) presented at BIA, and the 20 full papers (out of 21 submissions) presented at TIA were carefully reviewed and selected. The RAMBO papers cover aspects of medical imaging where motion plays a role in the image formation or analysis. The BIA papers deal with topics such as computer-aided detection and diagnosis of breast cancer, quantitative analysis of breast imaging modalities, and large scale breast image screening and analysis. The TIA papers cover aspects of image analysis research for lung and cardiac diseases including segmentation, registration, quantification, modeling of the image acquisition process, visualization, validation, statistical modeling, biophysical lung modeling (computational anatomy), deep learning and novel applications.

This volume of Advances in Intelligent Systems and Computing highlights papers presented at the 11th International Conference on Genetic and Evolutionary Computing (ICGEC 2017). Held from 6 to 8 November 2017 in Kaohsiung, Taiwan, the conference was co-sponsored by Springer, Fujian University of Technology in China, National University of Kaohsiung, Harbin Institute of Technology, National Kaohsiung University of Applied Sciences, and VSB -Technical University of Ostrava. The conference was intended as an international forum for researchers and professionals engaged in all areas of genetic computing, intelligent computing, evolutionary and grid computing.

This book constitutes the refereed proceedings of the 17th International Conference on Entertainment Computing, ICEC 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 15 full papers, 13 short papers, and 23 poster, demostration, and workshop papers presented were carefully reviewed and selected from 65 submissions. They cover a large range of topics in the following thematic areas: digital games and interactive entertainment; design, human-computer interaction, and analysis of entertainment systems; interactive art, performance and cultural computing; entertainment devices, platforms and systems; theoratical foundations and ethical issues; entertainment for purpose and persuasion; computational methodologies for entertainment; and media studies, communication, business, and information systems.

This book constitutes the proceedings of the Workshop on Shape in Medical Imaging, ShapeMI 2018, held in conjunction with the 21st International Conference on Medical Image Computing, MICCAI 2018, in Granada, Spain, in September 2018. The 26 full papers and 2 short papers presented were carefully reviewed and selected for inclusion in this volume. The papers discuss novel approaches and applications in shape and geometry processing and their use in research and clinical studies and explore novel, cutting-edge theoretical methods and their usefulness for medical applications, e.g., from the fields of geometric learning or spectral shape analysis.

The seven-volume set of LNCS 11301-11307 constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The 5th volume, LNCS 11305, is organized in topical sections on prediction; pattern recognition; and word, text and document processing.

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The third volume, LNCS 11303, is organized in topical sections on embedded learning, transfer learning, reinforcement learning, and other learning approaches.

The seven-volume set of LNCS 11301-11307 constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018. The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural information processing techniques across different domains. The 6th volume, LNCS 11306, is organized in topical sections on time-series analysis; social systems; and image and signal processing.

This book constitutes the thoroughly refereed workshop post-proceedings of the 15th International Workshop on Approximation and Online Algorithms, WAOA 2017, held in Vienna, Austria, in September 2017 as part of ALGO 2017. The 23 revised full papers presented in this book were carefully reviewed and selected from 50 submissions. Topics of interest for WAOA 2017 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.

This book constitutes the proceedings of the 8th International Conference on Intelligence Science and Big DataEngineering, IScIDE 2018, held in Lanzhou, China, in August 2018.The 59 full papers presented in this book were carefully reviewed and selected from 121 submissions.They are grouped in topical sections on robots and intelligent systems; statistics and learning; deep learning; objects and language; classification and clustering; imaging; and biomedical signal processing.

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Intelligent Human Computer Interaction, IHCI 2018, held in Allahabad, India, in December 2018. The 28 regular papers presented were carefully reviewed and selected from 89 submissions. The papers have been organized in the following topical sections: ECG, EEG -based and Other Multimodal Interactions; Natural Language, Speech and Dialogue Processing; Modeling Human Cognitive Processes and Simulation; Image and Vision Based Interactions; and Applications of HCI.

This two-volume set CCIS 751 and CCIS 752 constitutes the proceedings of the 17th Asia Simulation Conference, AsiaSim 2017, held in Malacca, Malaysia, in August/September 2017. The 124 revised full papers presented in this two-volume set were carefully reviewed and selected from 267 submissions. The papers contained in these proceedings address challenging issues in modeling and simulation in various fields such as embedded systems; symbiotic simulation; agent-based simulation; parallel and distributed simulation; high performance computing; biomedical engineering; big data; energy, society and economics; medical processes; simulation language and software; visualization; virtual reality; modeling and Simulation for IoT; machine learning; as well as the fundamentals and applications of computing.

Before you can build analytics tools to gain quick insights, you first need to know how to process data in real time. With this practical guide, developers familiar with Apache Spark will learn how to put this in-memory framework to use for streaming data. You'll discover how Spark enables you to write streaming jobs in almost the same way you write batch jobs. Authors Gerard Maas and Francois Garillot help you explore the theoretical underpinnings of Apache Spark. This comprehensive guide features two sections that compare and contrast the streaming APIs Spark now supports: the original Spark Streaming library and the newer Structured Streaming API. Learn fundamental stream processing concepts and examine different streaming architectures Explore Structured Streaming through practical examples; learn different aspects of stream processing in detail Create and operate streaming jobs and applications with Spark Streaming; integrate Spark Streaming with other Spark APIs Learn advanced Spark Streaming techniques, including approximation algorithms and machine learning algorithms Compare Apache Spark to other stream processing projects, including Apache Storm, Apache Flink, and Apache Kafka Streams

This book constitutes the refereed joint proceedings of the First International Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2018, the First International Workshop on Deep Learning Fails, DLF 2018, and the First International Workshop on Interpretability of Machine Intelligence in Medical Image Computing, iMIMIC 2018, held in conjunction with the 21st International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2018, in Granada, Spain, in September 2018. The 4 full MLCN papers, the 6 full DLF papers, and the 6 full iMIMIC papers included in this volume were carefully reviewed and selected. The MLCN contributions develop state-of-the-art machine learning methods such as spatio-temporal Gaussian process analysis, stochastic variational inference, and deep learning for applications in Alzheimer's disease diagnosis and multi-site neuroimaging data analysis; the DLF papers evaluate the strengths and weaknesses of DL and identify the main challenges in the current state of the art and future directions; the iMIMIC papers cover a large range of topics in the field of interpretability of machine learning in the context of medical image analysis.