This three volume set, CCIS 771, 772, 773, constitutes the refereed proceedings of the CCF Chinese Conference on Computer Vision, CCCV 2017, held in Tianjin, China, in October 2017. The total of 174 revised full papers presented in three volumes were carefully reviewed and selected from 465 submissions. The papers are organized in the following topical sections: biological vision inspired visual method; biomedical image analysis; computer vision applications; deep neural network; face and posture analysis; image and video retrieval; image color and texture; image composition; image quality assessment and analysis; image restoration; image segmentation and classification; image-based modeling; object detection and classification; object identification; photography and video; robot vision; shape representation and matching; statistical methods and learning; video analysis and event recognition; visual salient detection

This tutorial provides the application of the coupling interface OGS#IPhreeqc (open-source scientific software) to model reactive mass transport processes in environmental subsurface systems. It contains general information regarding reactive transport modeling and step-by-step model set-up with OGS#IPhreeqc and related components such as GINA and ParaView. Benchmark examples (1D to 2D) are presented in detail. The book is intended primarily for graduate students and applied scientists who deal with reactive transport modeling. It also gives valuable information to the professional geoscientists wishing to advance their knowledge in numerical simulation, with the focus on the fate and transport of nitrate. It is the third volume in a series that represents the further application of computational modeling in hydrological science.

This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016.The 17 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 118 submissions. They are organized in topical sections named: modeling languages, tools and architectures; methodologies, processes and platforms; applications and software development.

This book constitutes the refereed proceedings of the 13th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2017, held in Essen, Germany, in June 2017. The main focus of EOMAS is on the role, importance, and application of modeling and simulation within the extended organizational and enterprise context. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections on formal methods, conceptual modeling, and enterprise engineering.

The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, held in Nanjing, China, in September 2017. The 208 revised full papers presented were carefully reviewed and selected from over 625 submissions. The papers of this volume are organized in topical sections on: Biomedical Signal Processing; Computational Methods in Organism Modeling; Medical Apparatus and Clinical Applications; Bionics Control Methods, Algorithms and Apparatus; Modeling and Simulation of Life Systems; Data Driven Analysis; Image and Video Processing; Advanced Fuzzy and Neural Network Theory and Algorithms; Advanced Evolutionary Methods and Applications; Advanced Machine Learning Methods and Applications; Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems; Advanced Methods for Networked Systems; Control and Analysis of Transportation Systems; Advanced Sliding Mode Control and Applications; Advanced Analysis of New Materials and Devices; Computational Intelligence in Utilization of Clean and Renewable Energy Resources; Intelligent Methods for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Computing and Control in Power Systems; Modeling, Simulation and Control in Smart Grid and Microgrid; Optimization Methods; Computational Methods for Sustainable Environment.

This volume on "Advances in Analysis and Design of Deep Foundations" contains 22 technical papers which cover various aspects of analysis and design of deep foundations based on full-scale field testing, numerical modeling, and analytical solutions. The technical papers are 8-10 pages long that present the results and findings from research as well as practical-oriented studies on deep foundations that are of interest to civil/geotechnical engineering community. The topics cover a wide spectrum of applications that include evaluation of the axial and lateral capacity of piles, pile group effects, evaluation of the increase in pile capacity with time (or pile setup), influence of excavation on pile capacity, study the behavior of pile raft caisson foundations, evaluate the bearing capacity and settlement of piles from cone penetration tests, etc. This volume is part of the proceedings of the 1st GeoMEast International Congress and Exhibition on Sustainable Civil Infrastructures, Egypt 2017.

The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, held in Nanjing, China, in September 2017. The 208 revised full papers presented were carefully reviewed and selected from over 625 submissions. The papers of this volume are organized in topical sections on: Biomedical Signal Processing; Computational Methods in Organism Modeling; Medical Apparatus and Clinical Applications; Bionics Control Methods, Algorithms and Apparatus; Modeling and Simulation of Life Systems; Data Driven Analysis; Image and Video Processing; Advanced Fuzzy and Neural Network Theory and Algorithms; Advanced Evolutionary Methods and Applications; Advanced Machine Learning Methods and Applications; Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems; Advanced Methods for Networked Systems; Control and Analysis of Transportation Systems; Advanced Sliding Mode Control and Applications; Advanced Analysis of New Materials and Devices; Computational Intelligence in Utilization of Clean and Renewable Energy Resources; Intelligent Methods for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Computing and Control in Power Systems; Modeling, Simulation and Control in Smart Grid and Microgrid; Optimization Methods; Computational Methods for Sustainable Environment.

Understanding how to properly manage urban stormwater is a critical concern to civil and environmental engineers the world over. Mismanagement of stormwater and urban runoff results in flooding, erosion, and water quality problems. In an effort to develop better management techniques, engineers have come to rely on computer simulation and advanced mathematical modeling techniques to help plan and predict water system performance. This important book outlines a new method that uses probability tools to model how stormwater behaves and interacts in a combined- or single-system municipal water system. Complete with sample problems and case studies illustrating how concepts really work, the book presents a cost-effective, easy-to-master approach to analytical modeling of stormwater management systems.

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2017, held in Milan, Italy, in June 2017. The 14 full papers presented together with one full-length invited paper and 2 invited talk abstracts were carefully reviewed and selected from a total of 28 submissions. The papers feature research on correlated models of automata. The topics include aspects and features of such models: dynamics; topological, ergodic, and algebraic aspects; algorithmic and complexity issues; emergent properties; formal languages; symbolic dynamics; tilings; models of parallelism and distributed systems; timing schemes; synchronous versus asynchronous models; phenomenological descriptions; scientific modelling; practical applications.

This book constitutes the refereed proceedings of the Third International Workshop on Management of Information, Process and Cooperation, MiPAC 2016, held in Hangzhou, China, in September 2016. The 8 revised full papers were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections on process modeling, process enactment, and data driven service computing.

This book constitutes the thoroughly refereed proceedings of the 15th National Software Application Conference, NASAC 2016, held in Kunming, Yunnan, in November 2016. The 15 revised selected papers were selected from 38 submissions and focus on all aspects of software engineering, e.g. requirements engineering, software methodologies, software analytics, software testing and evolution, and empirical studies.

This book introduces a methodology for solving the seismic inverse problem using purely numerical solutions built on 3D wave equations and which is free of the approximations or simplifications that are common in classical seismic inversion methodologies and therefore applicable to arbitrary 3D geological media and seismic source models. Source codes provided allow readers to experiment with the calculations demonstrated and also explore their own applications.

This book explores the theory and methods of systems analysis and computer modeling as applied to problems in ecology and natural resource management. It reflects the problems and conflicts between competing uses of limited space and the need for quantitative predictors of the outcome of various management strategies.

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.

This book constitutes the refereed proceedings of the 12th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2016, held in Ljubljana, Slovenia, in June 2016. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections on formal approaches and human-centric approaches.

This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 2016, held in Beijing, China, in October 2016. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this first volume of the set are organized in topical sections on modeling and simulation theory and methodology; model engineering for system of systems; high performance computing and simulation; modeling and simulation for smart city.

This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 2016, held in Beijing, China, in October 2016. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this fourth volume of the set are organized in topical sections on Modeling and Simulation Applications; Simulation Software; Social Simulations; Verification, Validation and Accreditation.

The methods considered in the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) have properties which offer distinct advantages for a number of applications. The second volume of the proceedings covers reviewed contributions reporting successful applications in the fields of fluid dynamics, magnetohydrodynamics, structural analysis, nuclear physics, semiconductor theory and other topics. The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications. Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations.

This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 2016, held in Beijing, China, in October 2016. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this second volume of the set are organized in topical sections on HMI and robot simulations; modeling and simulation for intelligent manufacturing; military simulation; visualization and virtual reality.

This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 2016, held in Beijing, China, in October 2016. The 265 revised full papers presented were carefully reviewed and selected from 651 submissions. The papers in this third volume of the set are organized in topical sections on Cloud technologies in simulation applications; fractional calculus with applications and simulations; modeling and simulation for energy, environment and climate; SBA virtual prototyping engineering technology; simulation and Big Data.

Benjamin Meyer performs several psycho-physical experiments to measure the re-adaptation process of glared drivers in traffic scenarios. The author then develops a novel tone mapping algorithm to simulate the recurring contrast perception of the human eye by adjusting the displayed contrast. Depending on background illumination, bright light sources cause considerable perception restrictions for a glared viewer and can deter the driver from perceiving critical objects for several seconds and severely increase the risk of accidents. Based on the results of the conducted user studies, this vision impairment is integrated into a night driving simulator. The modified driving simulation provides a more realistic visualization and enables the analysis of critical traffic scenarios including short-time headlight glares. This leads to better transferability of driving simulator results and enables investigating driving behavior in the presence of glare.

Designed for use in a second course on linear algebra, Matrix Theory and Applications with MATLAB covers the basics of the subject-from a review of matrix algebra through vector spaces to matrix calculus and unitary similarity-in a presentation that stresses insight, understanding, and applications. Among its most outstanding features is the integration of MATLAB throughout the text. Each chapter includes a MATLAB subsection that discusses the various commands used to do the computations in that section and offers code for the graphics and some algorithms used in the text.

All of the material is presented from a matrix point of view with enough rigor for students to learn to compose arguments and proofs and adjust the material to cover other problems. The treatment includes optional subsections covering applications, and the final chapters move beyond basic matrix theory to discuss more advanced topics, such as decompositions, positive definite matrices, graphics, and topology.

Filled with illustrations, examples, and exercises that reinforce understanding, Matrix Theory and Applications with MATLAB allows readers to experiment and visualize results in a way that no other text does. Its rigor, use of MATLAB, and focus on applications better prepares them to use the material in their future work and research, to extend the material, and perhaps obtain new results of their own.

This book constitutes the refereed proceedings of the 7th International Conference on Concept Mapping, CMC 2016, held in Tallinn, Estonia, in September 2016. The 25 revised full papers presented were carefully reviewed and selected from 135 submissions. The papers address issues such as facilitation of learning; eliciting, capturing, archiving, and using "expert" knowledge; planning instruction; assessment of "deep" understandings; research planning; collaborative knowledge modeling; creation of "knowledge portfolios"; curriculum design; eLearning, and administrative and strategic planning and monitoring.

This book constitutes the refereed proceedings of the seven workshops co-located with the 14th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2016, held in Sevilla, Spain, in June 2016.The 37 full papers presented were carefully reviewed and selected from 77 submissions. The volume presents the papers that have been accepted for the following workshops: Workshop on Agents and Multi-Agent Systems for AAL and e-Health; Workshop on Agent-Based Solutions for Manufacturing and Supply Chain; Workshop on MAS for Complex Networks and Social Computation; Workshop on Decision Making in Dynamic Information Environments; Workshop on Intelligent Systems for Context-based Information Fusion; Workshop on Multi-Agent based Applications for Smart Grids and Sustainable Energy Systems; Workshop on Multiagent System based Learning Environments.

This book constitutes the refereed proceedings of the 6th International Conference on Supercomputing, ISUM 2015, held in Mexico, Mexico, in March 2015. The 38 revised full papers presented were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on perspectives in supercomputer infrastructure and applications; parallel algorithms and optimization; HPC applications and simulations;