This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015. The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems.

This book constitutes the refereed proceedings of the Second International Workshop on Process-Aware Systems, PAS 2015, held in Hangzhou, China, in October 2015. The four revised full papers and two short papers, presented together with five demo papers were carefully reviewed and selected from 16 submissions. The papers are organized in topical sections on process modeling and comparison; process data analysis; Cloud workflow applications.

This volume of Advances in Intelligent Systems and Computing contains papers presented at the 1st European-Middle Asian Conference on Computer Modelling, EMACOM 2015. This international conference was conceived as a brand new scientific and social event of mutual collaboration between the VSB - Technical University of Ostrava (Ostrava, Czech Republic) and the Kyrgyz National University named after J. Balasagyn (Bishkek, Kyrgyz Republic). The aim of EMACOM 2015 was to present the latest development in the field of computer-aided modelling as an essential aspect of research and development of innovative systems and their applications. The conference showed that together with simulations, various modeling techniques, enabled and encouraged by the rapid development of high-performance computing platforms, are crucial for cost-efficient design, verification, and prototyping of solutions in many diverse industrial fields spanning the whole range from manufacturing, mining, machinery, and automotive industries to infrastructure planning and development, economics, energy, and modern agriculture and food industry.

This book covers the major problems of turbulence and turbulent processes, including physical phenomena, their modeling and their simulation. After a general introduction in Chapter 1 illustrating many aspects dealing with turbulent flows, averaged equations and kinetic energy budgets are provided in Chapter 2. The concept of turbulent viscosity as a closure of the Reynolds stress is also introduced. Wall-bounded flows are presented in Chapter 3 and aspects specific to boundary layers and channel or pipe flows are also pointed out. Free shear flows, namely free jets and wakes, are considered in Chapter 4. Chapter 5 deals with vortex dynamics. Homogeneous turbulence, isotropy and dynamics of isotropic turbulence are presented in Chapters 6 and 7. Turbulence is then described both in the physical space and in the wave number space. Time dependent numerical simulations are presented in Chapter 8, where an introduction to large eddy simulation is offered. The last three chapters of the book summarize remarkable digital techniques current and experimental. Many results are presented in a practical way, based on both experiments and numerical simulations. The book is written for a advanced engineering students as well as postgraduate engineers and researchers. For students, it contains the essential results as well as details and demonstrations whose oral transmission is often tedious. At a more advanced level, the text provides numerous references which allow readers to find quickly further study regarding their work and to acquire a deeper knowledge on topics of interest.

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

The master thesis of David Roos Launchbury deals with the implementation and validation of a numerical solver for incompressible large eddy simulation (LES) with heat transfer in OpenFOAM. Academic and industrial cases, ranging from flow between parallel plates to film cooling, are investigated utilising existing and newly-implemented turbulence models. Simulations using no turbulence models, i.e. under-resolved DNS (UDNS) simulations, are performed for comparison. Very good results are obtained in all cases with variations among the individual models, with the UDNS simulations performing surprisingly well. The study shows that the developed software is able to simulate complex cases reliably and accurately.

Session 1 includes 109 papers selected from 2011 3rd International Asia Conference on Informatics in Control, Automation and Robotics (CAR 2011), held on December 24-25, 2011, Shenzhen, China. This session will act as an international forum for researchers and practitioners interested in the advances in and applications of Intelligent Control Systems. It is an opportunity to present and observe the latest research, results, and ideas in these areas. Intelligent control is a rapidly developing, complex, and challenging field of increasing practical importance and still greater potential. Its applications have a solid core in robotics and mechatronics but branch out into areas as diverse as process control, automotive industry, medical equipment, renewable energy and air conditioning. So, this session will aim to strengthen relationships between industry, research laboratories and universities. All papers published in session 1 will be peer evaluated by at least two conference reviewers. Acceptance will be based primarily on originality and contribution.

The competitiveness of firms, regions and countries greatly depends on the generation, dissemination and application of new knowledge. Modern innovation research is challenged by the need to incorporate knowledge generation and dissemination processes into the analysis so as to disentangle the complexity of these dynamic processes. With innovation, however, strong uncertainty, nonlinearities and actor heterogeneity become central factors that are at odds with traditional modeling techniques anchored in equilibrium and homogeneity. This text introduces SKIN (Simulation Knowledge Dynamics in Innovation Networks), an agent-based simulation model that primarily focuses on joint knowledge creation and exchange of knowledge in innovation co-operations and networks. In this context, knowledge is explicitly modeled and not approximated by, for instance, the level of accumulated R&D investment. The SKIN approach supports applications in different domains ranging from sector-based research activities in knowledge-intensive industries to the activities of international research consortia engaged in basic and applied research. Following a general description of the SKIN model, several applications and modifications are presented. Each chapter introduces in detail the structure of the model, the relevant methodological considerations and the analysis of simulation results, while options for empirically validating the models' structure and outcomes are also discussed. The book considers the scope of further applications and outlines prospects for the development of joint modeling strategies.

This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their stakeholders as complex adaptive systems and argues that traditional risk analyses cannot predict all future incidents with major impacts. To avoid unacceptable events, it is necessary to establish and operate anti-fragile ICT systems that limit the impact of all incidents, and which learn from small-impact incidents how to function increasingly well in changing environments. The book applies four design principles and one operational principle to achieve anti-fragility for different classes of incidents. It discusses how systems can achieve high availability, prevent malware epidemics, and detect anomalies. Analyses of Netflix's media streaming solution, Norwegian telecom infrastructures, e-government platforms, and Numenta's anomaly detection software show that cloud computing is essential to achieving anti-fragility for classes of events with negative impacts.

This book constitutes the refereed proceedings of the 18th International Conference on Distributed and Computer and Communication Networks, DCCN 2015, held in Moscow, Russia, in October 2015. The 38 revised full papers presented were carefully reviewed and selected from 94 submissions. The papers cover the following topics: computer and communication networks architecture optimization; control in computer and communication networks; performance and QoS evaluation in wireless networks; modeling and simulation of network protocols; queuing and reliability theory; wireless IEEE 802.11, IEEE 802.15, IEEE 802.16, and UMTS (LTE) networks; FRID technology and its application in intellectual transportation networks; protocols design (MAC, Routing) for centimeter and millimeter wave mesh networks; internet and web applications and services; application integration in distributed information systems; big data in communication networks.

The aim of the book is to present for non-specialist researchers as well as for experts a comprehensive overview of the background, key ideas, basic methods, implementation details and a selection of solutions offered by a novel technology for the optimisation of the location of dangerous offshore activities in terms of environmental criteria, as developed in the course of the BalticWay project. The book consists of two parts. The first part introduces the basic principles of ocean modeling and depicts the long way from the generic principles to the practical modeling of oil spills and of the propagation of other adverse impacts. The second part focuses on the techniques for solving the inverse problem of the quantification of offshore areas with respect to their potential to serve as a source of environmental danger to vulnerable regions (such as spawning, nursing or also tourist areas). The chapters are written in a tutorial style; they are mostly self-contained and understandable for non-specialist researchers and students. They are carefully peer-reviewed by international experts. The goal was to produce a book that highlights all key steps, methods, models and data sets it is necessary to combine in order to produce a practically usable technology and/or decision support system for a particular sea region. Thus the book is useful not only as a description and a manual of this particular technology but also as a roadmap highlighting the complicated technical issues of ocean modeling for practical purposes. It describes the approaches taken by the authors in an understandable way and thus is useful for educational purposes, such as a course in industrially and environmentally relevant applications of ocean modeling.

This instructional book showcases techniques to parameterise human agents in empirical agent-based models (ABM). In doing so, it provides a timely overview of key ABM methodologies and the most innovative approaches through a variety of empirical applications. It features cutting-edge research from leading academics and practitioners, and will provide a guide for characterising and parameterising human agents in empirical ABM. In order to facilitate learning, this text shares the valuable experiences of other modellers in particular modelling situations. Very little has been published in the area of empirical ABM, and this contributed volume will appeal to graduate-level students and researchers studying simulation modeling in economics, sociology, ecology, and trans-disciplinary studies, such as topics related to sustainability. In a similar vein to the instruction found in a cookbook, this text provides the empirical modeller with a set of 'recipes' ready to be implemented. Agent-based modeling (ABM) is a powerful, simulation-modeling technique that has seen a dramatic increase in real-world applications in recent years. In ABM, a system is modeled as a collection of autonomous decision-making entities called "agents." Each agent individually assesses its situation and makes decisions on the basis of a set of rules. Agents may execute various behaviors appropriate for the system they represent-for example, producing, consuming, or selling. ABM is increasingly used for simulating real-world systems, such as natural resource use, transportation, public health, and conflict. Decision makers increasingly demand support that covers a multitude of indicators that can be effectively addressed using ABM. This is especially the case in situations where human behavior is identified as a critical element. As a result, ABM will only continue its rapid growth. This is the first volume in a series of books that aims to contribute to a cultural change in the community of empirical agent-based modelling. This series will bring together representational experiences and solutions in empirical agent-based modelling. Creating a platform to exchange such experiences allows comparison of solutions and facilitates learning in the empirical agent-based modelling community. Ultimately, the community requires such exchange and learning to test approaches and, thereby, to develop a robust set of techniques within the domain of empirical agent-based modelling. Based on robust and defendable methods, agent-based modelling will become a critical tool for research agencies, decision making and decision supporting agencies, and funding agencies. This series will contribute to more robust and defendable empirical agent-based modelling.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Agents and Artificial Intelligence, ICAART 2015, held in Lisbon, Portugal, in January 2015.The 18 revised full papers presented in this book were carefully reviewed and selected from 187 submissions. The papers are organized in two topical sections on agents and on artificial intelligence and focus on multi-agent systems and software platforms; distributed problem solving and distributed AI in general; knowledge representation; planning; learning; scheduling; perception; reactive AI systems; and evolutionary computing.

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014. The 10 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 88 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; and methodologies, processes and platforms.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus theory, etc., aims to support human and other collective intelligence and to create new forms of CCI in natural and/or artificial systems. This nineteenth issue contains 11 carefully selected and revised contributions.

This book constitutes the refereed proceedings of the 7th International Symposium on Intelligence Computation and Applications, ISICA 2015, held in Guangzhou, China, in November 2015. The 77 revised full papers presented were carefully reviewed and selected from 189 submissions. The papers feature the most up-to-date research in analysis and theory of evolutionary computation, neural network architectures and learning; neuro-dynamics and neuro-engineering; fuzzy logic and control; collective intelligence and hybrid systems; deep learning; knowledge discovery; learning and reasoning.

This two volume set (CCIS 623 and 634) constitutes the refereed proceedings of the Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, held in Harbin, China, in August 2016. The 91 revised full papers presented were carefully reviewed and selected from 338 submissions. The papers are organized in topical sections on Research Track (Part I) and Education Track, Industry Track, and Demo Track (Part II) and cover a wide range of topics related to social computing, social media, social network analysis, social modeling, social recommendation, machine learning, data mining.

Whereas Volume 1 introduced the NetLogo platform as a means of prototyping simple models, this second volume focuses on the advanced use of NetLogo to connect both data and theories, making it ideal for the majority of scientific communities. The authors focus on agent-based modeling of spatialized phenomena with a methodological and practical orientation, demonstrating how advanced agent-based spatial simulation methods and technics can be implemented. This book provides theoretical and conceptual backgrounds, as well as algorithmic and technical insights, including code and applets, so that readers can test and re-use most of its content.

This book constitutes the refereed proceedings fo the 14th International Scientific Conference on Information Technologies and Mathematical Modeling, named after A. F. Terpugov, ITMM 2015, held in Anzhero-Sudzhensk, Russia, in November 2015. The 35 full papers included in this volume were carefully reviewed and selected from 89 submissions. They are devoted to new results in the queueing theory and its applications, addressing specialists in probability theory, random processes, mathematical modeling as well as engineers dealing with logical and technical design and operational management of telecommunication and computer networks.

This book constitutes the refereed proceedings of the 11th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2015, held at CAiSE 2015, in June 2015 in Stockholm, Sweden. EOMAS was founded with the purpose to become a forum among researchers and practitioners to share their research and practical findings by encouraging the dissemination of research results under a more generic umbrella called enterprise engineering, which encompasses internal factors ranging from organizational complexity to intricacy of business processes and sophistication in workflows as well as external factors and uncertainties such as competition, politics, or the emergence of innovative technologies. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections named: enterprise conceptual modeling and simulation; enterprise modeling formal foundation; and enterprise optimization.

This book constitutes the refereed proceedings of the Second International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, ISCRAM-med 2015, held in Tunis, Tunisia, in October 2015. The objectives of the ISCRAM-med conference are to provide an outstanding opportunity and an international forum for local and international researchers, practitioners, and policy makers to address and discuss new trends and challenges with respect to information systems for crisis response and disaster management. The 14 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 41 submissions. They are organized in topical sections on social computing, modeling and simulation, information and knowledge management, engineering of emergency management systems, and decision support systems and collaboration.

This Brief highlights a novel model to find out the feasibility of any location to produce solar energy. The model utilizes the latest multi-criteria decision making techniques and artificial neural networks to predict the suitability of a location to maximize allocation of available energy for producing optimal amount of electricity which will satisfy the demand from the market. According to the results of the case studies further applications are encouraged.

Growth in the pharmaceutical market has slowed down - almost to a standstill. One reason is that governments and other payers are cutting costs in a faltering world economy. But a more fundamental problem is the failure of major companies to discover, develop and market new drugs. Major drugs losing patent protection or being withdrawn from the market are simply not being replaced by new therapies - the pharmaceutical market model is no longer functioning effectively and most pharmaceutical companies are failing to produce the innovation needed for success. This multi-authored new book looks at a vital strategy which can bring innovation to a market in need of new ideas and new products: Systems Biology (SB). Modeling is a significant task of systems biology. SB aims to develop and use efficient algorithms, data structures, visualization and communication tools to orchestrate the integration of large quantities of biological data with the goal of computer modeling. It involves the use of computer simulations of biological systems, such as the networks of metabolites comprise signal transduction pathways and gene regulatory networks to both analyze and visualize the complex connections of these cellular processes. SB involves a series of operational protocols used for performing research, namely a cycle composed of theoretical, analytic or computational modeling to propose specific testable hypotheses about a biological system, experimental validation, and then using the newly acquired quantitative description of cells or cell processes to refine the computational model or theory.

Domain engineering is a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and performance on a consistent basis on the other. In this book, the editors present a collection of invited chapters from various fields related to domain engineering. The individual chapters present state-of-the-art research and are organized in three parts. The first part focuses on results that deal with domain engineering in software product lines. The second part describes how domain-specific languages are used to support the construction and deployment of domains. Finally, the third part presents contributions dealing with domain engineering within the field of conceptual modeling. All chapters utilize a similar terminology, which will help readers to understand and relate to the chapters content. The book will be especially rewarding for researchers and students of software engineering methodologies in general and of domain engineering and its related fields in particular, as it contains the most comprehensive and up-to-date information on this topic.

In recent years, the concept of energy has been revised and a new model based on the principle of sustainability has become more and more pervasive. The appraisal of energy technologies and projects is complex and uncertain as the related decision making has to encompass environmental, technical, economic and social factors and information sources. The scientific procedure of assessment has a vital role as it can supply the right tools to evaluate the actual situation and make realistic forecasts of the effects and outcomes of any actions undertaken. Assessment and Simulation Tools for Sustainable Energy Systems offers reviews of the main assessment and simulation methods used for effective energy assessment. Divided across three sections, Assessment and Simulation Tools for Sustainable Energy Systems develops the reader's ability to select suitable tools to support decision making and implementation of sustainable energy projects. The first is dedicated to the analysis of theoretical foundations and applications of multi-criteria decision making. This is followed by chapters concentrating on the theory and practice of fuzzy inference, neural nets and algorithms genetics. Finally, simulation methods such as Monte Carlo analysis, mathematical programming and others are detailed. This comprehensive illustration of these tools and their application makes Assessment and Simulation Tools for Sustainable Energy Systems a key guide for researchers, scientists, managers, politicians and industry professionals developing the field of sustainable energy systems. It may also prompt further advancements in soft computing and simulation issues for students and researchers.