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 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 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 the proceedings of the 16th International Conference on Information Technologies and Mathematical Modelling, ITMM 2017, held in Kazan, Russia, in September/October 2017. The 31 papers presented in this volume were carefully reviewed and selected from 85 submissions. The conference covers various aspects of mathematical modeling and information technologies, focusing on probabilistic methods and models, queueing theory and communication networks.

This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017. The 24 revised full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.

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 17th International Conference on Software Process Improvement and Capability Determination, SPICE 2017, held in Palma de Mallorca, Spain, in October 2017.The 34 full papers presented together with 4 short papers were carefully reviewed and selected from 65 submissions. The papers are organized in the following topical sections: SPI in agile approaches; SPI in small settings; SPI and assessment; SPI and models; SPI and functional safety; SPI in various settings; SPI and gamification; SPI case studies; strategic and knowledge issues in SPI; education issues in SPI.

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.

This book provides a general theoretical background for constructing the recursive Bayesian estimation algorithms for mixture models. It collects the recursive algorithms for estimating dynamic mixtures of various distributions and brings them in the unified form, providing a scheme for constructing the estimation algorithm for a mixture of components modeled by distributions with reproducible statistics. It offers the recursive estimation of dynamic mixtures, which are free of iterative processes and close to analytical solutions as much as possible. In addition, these methods can be used online and simultaneously perform learning, which improves their efficiency during estimation. The book includes detailed program codes for solving the presented theoretical tasks. Codes are implemented in the open source platform for engineering computations. The program codes given serve to illustrate the theory and demonstrate the work of the included algorithms.

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.

An introductory approach to the subject of large strains and large displacements in finite elements.

"Large Strain Finite Element Method: A Practical Course," takes an introductory approach to the subject of large strains and large displacements in finite elements and starts from the basic concepts of finite strain deformability, including finite rotations and finite displacements. The necessary elements of vector analysis and tensorial calculus on the lines of modern understanding of the concept of tensor will also be introduced.

This book explains how tensors and vectors can be described using matrices and also introduces different stress and strain tensors. Building on these, step by step finite element techniques for both hyper and hypo-elastic approach will be considered.

Material models including isotropic, unisotropic, plastic and viscoplastic materials will be independently discussed to facilitate clarity and ease of learning. Elements of transient dynamics will also be covered and key explicit and iterative solvers including the direct numerical integration, relaxation techniques and conjugate gradient method will also be explored.

This book contains a large number of easy to follow illustrations, examples and source code details that facilitate both reading and understanding. Takes an introductory approach to the subject of large strains and large displacements in finite elements. No prior knowledge of the subject is required.Discusses computational methods and algorithms to tackle large strains and teaches the basic knowledge required to be able to critically gauge the results of computational models.Contains a large number of easy to follow illustrations, examples and source code details.Accompanied by a website hosting code examples.

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.

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 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.

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.

This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016. The 27 full papers, 5 short papers and 18 workshop papers were selected from 85 submissions. The papers are organized thematically in tracks, starting with network security, followed by QoS, reliability and modeling, wireless and mobile networks. In addition the papers of two workshops are included: International Workshop on 5G Communication Architecture and Technology (5G-CAT 2016), and the 2nd International Workshop on Sensor Networks and Cloud Computing (SNCC 2016).

This book reports on the latest advances in understanding cross-cultural decision and human cognition with respect to various cultural constructs, such as geographical, historical, sociological, and organizational cultures. It addresses researchers, scholars, and industry practitioners from diverse fields, including sociology, linguistics, business, military science, psychology, human factors research, neuroscience, and education. The book covers a wealth of topics, including: analyses of historical events and intercultural competence; commercial applications of social-cultural science; the study of decision-making similarities (and differences) across cultures; cultural behavioral modeling and simulation technology; and social networks and studies on group communication alike. It also reports on real-world case studies relevant to cross-cultural decision-making. The book's main goal is to combine studies from other relevant disciplines such as causal analysis in complex environments, team decision making and social changes to develop a more holistic understanding of the decisions that people, groups, and societies make, so as to improve our ability to forecast and plan for the future. Based on the AHFE 2017 International Conference on Cross-Cultural Decision Making (CCDM), held on July 17-21, 2017, in Los Angeles, California, USA, this book offers a multidisciplinary view on the impact of culture on people's cognition and behavior, and a timely reference guide to new applications and future challenges.

This book includes a selection of refereed papers presented at the "Annual International Conference of the German Operations Research Society (OR2016)," which took place at the Helmut-Schmidt-Universitat / Universitat der Bundeswehr Hamburg, Germany, Aug. 30 - Sept. 2, 2016. Over 700 practitioners and academics from mathematics, computer science, business/economics, and related fields attended the conference. The scientific program included around 475 presentations on the theme Analytical Decision Making, focusing on the process of researching complex decision problems and devising effective solution methods towards better decisions. The book presents papers discussing classical mathematical optimization, statistics and simulation techniques. Such approaches are complemented by computer science methods and tools for the processing of data and the design and implementation of information systems. The book also examines recent advances in information technology, which allow big data volumes to be treated and enable real-time predictive and prescriptive business analytics to drive decisions and actions. Further, it includes problems modeled and treated under consideration of uncertainty, risk management, behavioral issues, and strategic decision situations.

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems

This book constitutes the refereed proceedings of the First International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2017, held in Dublin, Ireland, in June 2017. The 15 revised full papers presented together with two keynotes were carefully reviewed and selected from 35 submissions. The papers are organized in two topical sections on models and applications.

This book constitutes the refereed proceedings of the nine workshops co-located with the 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 41 full papers presented were carefully reviewed and selected from 80 submissions. The volume presents the papers that have been accepted for the following workshops: Workshop on Agent based Applications for Air Transport and Application of Agents to Passenger Transport; Workshop on Agent-based Artificial Markets Computational Economics; 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 Multi-agent based Applications for Smart Grids and Sustainable Energy Systems; Workshop on Multiagent System based Learning Environments; Workshop on Smart Cities and Intelligent Agents.

In recent decades, science has experienced a revolutionary shift. The development and extensive application of computer modelling and simulation has transformed the knowledge-making practices of scientific fields as diverse as astro-physics, genetics, robotics and demography. This epistemic transformation has brought with it a simultaneous heightening of political relevance and a renewal of international policy agendas, raising crucial questions about the nature and application of simulation knowledges throughout public policy. Through a diverse range of case studies, spanning over a century of theoretical and practical developments in the atmospheric and environmental sciences, this book argues that computer modelling and simulation have substantially changed scientific and cultural practices and shaped the emergence of novel 'cultures of prediction'. Making an innovative, interdisciplinary contribution to understanding the impact of computer modelling on research practice, institutional configurations and broader cultures, this volume will be essential reading for anyone interested in the past, present and future of climate change and the environmental sciences.

Designed for a one-semester course, Introduction to Numerical Analysis and Scientific Computing presents fundamental concepts of numerical mathematics and explains how to implement and program numerical methods. The classroom-tested text helps students understand floating point number representations, particularly those pertaining to IEEE simple and double-precision standards as used in scientific computer environments such as MATLAB (R) version 7. Drawing on their years of teaching students in mathematics, engineering, and the sciences, the authors discuss computer arithmetic as a source for generating round-off errors and how to avoid the use of algebraic expression that may lead to loss of significant figures. They cover nonlinear equations, linear algebra concepts, the Lagrange interpolation theorem, numerical differentiation and integration, and ODEs. They also focus on the implementation of the algorithms using MATLAB (R). Each chapter ends with a large number of exercises, with answers to odd-numbered exercises provided at the end of the book. Throughout the seven chapters, several computer projects are proposed. These test the students' understanding of both the mathematics of numerical methods and the art of computer programming.