This book addresses the problems involved in the modelling and simulation of shale gas reservoirs, and details recent advances in the field. It discusses various modelling and simulation challenges, such as the complexity of fracture networks, adsorption phenomena, non-Darcy flow, and natural fracture networks, presenting the latest findings in these areas. It also discusses the difficulties of developing shale gas models, and compares analytical modelling and numerical simulations of shale gas reservoirs with those of conventional reservoirs. Offering a comprehensive review of the state-of-the-art in developing shale gas models and simulators in the upstream oil industry, it allows readers to gain a better understanding of these reservoirs and encourages more systematic research on efficient exploitation of shale gas plays. It is a valuable resource for researchers interested in the modelling of unconventional reservoirs and graduate students studying reservoir engineering. It is also of interest to practising reservoir and production engineers.

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

Der MHI e.V. ist ein Netzwerk leitender Universitatsprofessoren aus dem deutschsprachigen Raum, die sowohl grundlagenorientiert als auch anwendungsnah in der Montage, Handhabung und Industrierobotik erfolgreich forschend tatig sind. Die Grundung der Gesellschaft erfolgte im Fruhjahr 2012. Der MHI e.V. hat derzeit 20 Mitglieder, die uber ihre Institute und Lehrstuhle zurzeit ca. 1.000 Wissenschaftler reprasentieren. Die ubergeordnete Zielsetzung des MHI e.V. ist die Foerderung der Zusammenarbeit von deutschsprachigen Wissenschaftlerinnen und Wissenschaftlern untereinander, sowie mit der Industrie im Bereich Montage, Handhabung und Industrierobotik zur Beschleunigung der Forschung, Optimierung der Lehre und zur Verbesserung der internationalen Wettbewerbsfahigkeit der deutschen Industrie in diesem Bereich. Das Kolloquium fokussiert auf einen akademischen Austausch auf hohem Niveau, um die gewonnenen Forschungsergebnisse zu verteilen, synergetische Effekte und Trends zu bestimmen, die Akteure persoenlich zu verbinden und das Forschungsfeld sowie die MHI-Gemeinschaft zu starken.

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017. The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, with 1 short abstract and 3 extended abstracts of invited talks presented together in this volume were carefully reviewed and selected from 33 submissions. The focus of the conference is on following topics: Simulation of Colored Petri Nets, Petri Net Tools.- Model Checking, Liveness and Opacity, Stochastic Petri Nets, Specific Net Classes, and Petri Nets for Pathways.

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 focuses on computational modeling and simulation research that advances the current state-of-the-art regarding human factors in simulation and applied digital human modeling. It reports on cutting-edge simulators such as virtual and augmented reality, on multisensory environments, and on modeling and simulation methods used in various applications, such as surgery, military operations, occupational safety, sports training, education, transportation and robotics. Based on the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, held on July 17-21, 2017, in Los Angeles, California, USA, the book is intended as a timely reference guide for researchers and practitioners developing new modeling and simulation tools for analyzing or improving human performance. It also offers a unique resource for modelers seeking insights into human factors research and more feasible and reliable computational tools to foster advances in this exciting research field.

This volume contains the proceedings of the 12th International Conference on Simulation of Semiconductor Processes and Devices, SISPAD 2007, held September 2007 in Vienna, Austria. It provides a global forum for the presentation and discussion of recent advances and developments in the theoretical description, physical modeling and numerical simulation and analysis of semiconductor fabrication processes, device operation and system performance.

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.

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.

This book constitutes the refereed proceedings of the Second Russian Supercomputing Days, RuSCDays 2016, held in Moscow, Russia, in September 2016. The 28 revised full papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections on the present of supercomputing: large tasks solving experience; the future of supercomputing: new technologies.

This monograph presents a novel numerical approach to solving partial integro-differential equations arising in asset pricing models with jumps, which greatly exceeds the efficiency of existing approaches. The method, based on pseudo-differential operators and several original contributions to the theory of finite-difference schemes, is new as applied to the Levy processes in finance, and is herein presented for the first time in a single volume. The results within, developed in a series of research papers, are collected and arranged together with the necessary background material from Levy processes, the modern theory of finite-difference schemes, the theory of M-matrices and EM-matrices, etc., thus forming a self-contained work that gives the reader a smooth introduction to the subject. For readers with no knowledge of finance, a short explanation of the main financial terms and notions used in the book is given in the glossary. The latter part of the book demonstrates the efficacy of the method by solving some typical problems encountered in computational finance, including structural default models with jumps, and local stochastic volatility models with stochastic interest rates and jumps. The author also adds extra complexity to the traditional statements of these problems by taking into account jumps in each stochastic component while all jumps are fully correlated, and shows how this setting can be efficiently addressed within the framework of the new method. Written for non-mathematicians, this book will appeal to financial engineers and analysts, econophysicists, and researchers in applied numerical analysis. It can also be used as an advance course on modern finite-difference methods or computational finance.

This book constitutes the refereed proceedings of the 19th International Conference on Distributed and Computer and Communication Networks, DCCN 2016, held in Moscow, Russia, in November 2016. The 50 revised full papers and the 6 revised short papers presented were carefully reviewed and selected from 141 submissions. The papers cover the following topics: computer and communication networks architecture optimization; control in computer and communication networks; performance and QoS/QoE evaluation in wireless networks; analytical modeling and simulation of next-generation communications systems; queuing theory and reliability theory applications in computer networks; wireless 4G/5G networks, cm- and mm-wave radio technologies; RFID technology and its application in intellectual transportation networks; internet of things, wearables, and applications of distributed information systems; probabilistic and statistical models in information systems; mathematical modeling of high-tech systems; mathematical modeling and control problems; distributed and cloud computing systems, big data analytics.

This book constitutes the refereed post-conference proceedings of the International Conference on Machine Learning and Intelligent Communications, MLICOM 2016, held in Shanghai, China in August 2016. The 41 revised full papers were carefully reviewed and selected from 47 submissions. The papers are organized thematically: data mining in heterogeneous networks, decentralized learning for wireless communication systems, intelligent cooperative/distributed coding, intelligent cooperative networks, Intelligent massive MIMO, time coded multi-user MIMO System based on three dimensional complementary codes, intelligent positioning and navigation systems, intelligent spectrum allocation schemes, machine learning algorithm & cognitive radio networks, machine learning for multimedia.

This book consists of papers presented at Automation 2017, an international conference held in Warsaw from March 15 to 17, 2017. It discusses research findings associated with the concepts behind INDUSTRY 4.0, with a focus on offering a better understanding of and promoting participation in the Fourth Industrial Revolution. Each chapter presents a detailed analysis of a specific technical problem, in most cases followed by a numerical analysis, simulation and description of the results of implementing the solution in a real-world context. The theoretical results, practical solutions and guidelines presented are valuable for both researchers working in the area of engineering sciences and practitioners looking for solutions to industrial problems.

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, held in Hong Kong, China, in November 2016. The total of 118 papers presented in these proceedings were carefully reviewed and selected from 311 submissions. The contributions were organized in topical sections named: smart city in resource management and sustainable ecosystem; spatial data acquisition through RS and GIS in resource management and sustainable ecosystem; ecological and environmental data processing and management; advanced geospatial model and analysis for understanding ecological and environmental processes; applications of geo-informatics in resource management and sustainable ecosystem.

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, held in Hong Kong, China, in November 2016. The total of 118 papers presented in these proceedings were carefully reviewed and selected from 311 submissions. The contributions were organized in topical sections named: smart city in resource management and sustainable ecosystem; spatial data acquisition through RS and GIS in resource management and sustainable ecosystem; ecological and environmental data processing and management; advanced geospatial model and analysis for understanding ecological and environmental processes; applications of geo-informatics in resource management and sustainable ecosystem.

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

The two-volume set, CCIS 681 and CCIS 682, constitutes the proceedings of the 11th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2016, held in Xi'an, China, in October 2016.The 115 revised full papers presented were carefully reviewed and selected from 343 submissions. The papers of Part I are organized in topical sections on DNA Computing; Membrane Computing; Neural Computing; Machine Learning. The papers of Part II are organized in topical sections on Evolutionary Computing; Multi-objective Optimization; Pattern Recognition; Others.

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

This book constitutes the proceedings of the 8th International Conference on Ad Hoc Networks, ADHOCNETS 2016, held in Ottawa, Canada, September 26-17, 2016. The 34 revised full papers presented were carefully reviewed and selected from 46 submissions. The papers provide visions, trends, challenges and opportunities in the area of ad hoc networking and emerging applications. The conference also features two workshops on ad hoc network security and vulnerability, and convergence of wireless directional network systems and software defined networking, respectively.

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.

This book aims to cast light on all aspects of tunnel fires, based on experimental activities and theoretical and computational fluid dynamics (CFD) analyses. In particular, the authors describe a transient full-scale fire test (~15 MW), explaining how they designed and performed the experimental activity inside the Morgex North tunnel in Italy. The entire organization of the experiment is described, from preliminary evaluations to the solutions found for management of operational difficulties and safety issues. This fire test allowed the collection of different measurements (temperature, air velocity, smoke composition, pollutant species) useful for validating and improving CFD codes and for testing the real behavior of the tunnel and its safety systems during a diesel oil fire with a significant heat release rate. Finally, the fire dynamics are compared with empirical correlations, CFD simulations, and literature measurements obtained in other similar tunnel fire tests. This book will be of interest to all engineers and public officials who are concerned with the nature, prevention, and management of tunnel fires.