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

Longlisted for the National Book Award for Nonfiction and A New York Times Notable Book of 2018. Our understanding of the 'tree of life', with powerful implications for human genetics, human health and our own human nature, has recently completely changed. This book is about a new method of telling the story of life on earth - through molecular phylogenetics. It involves a fairly simple method - the reading of the deep history of life by looking at the variation in protein molecules found in living organisms. For instance, we now know that roughly eight per cent of the human genome arrived not through traditional inheritance from directly ancestral forms, but sideways by viral infection. In The Tangled Tree, acclaimed science writer David Quammen chronicles these discoveries through the lives of the researchers who made them - such as Carl Woese, the most important little-known biologist of the twentieth century; Lynn Margulis, the notorious maverick whose wild ideas about 'mosaic' creatures proved to be true; and Tsutomu Wantanabe, who discovered that the scourge of antibiotic-resistant bacteria is a direct result of horizontal gene transfer, bringing the deep study of genome histories to bear on a global crisis in public health. Quammen explains how molecular studies of evolution have brought startling recognitions about the tangled tree of life - including where we humans fit into it. Thanks to new technologies, we now have the ability to alter even our genetic composition - through sideways insertions, as nature has long been doing. The Tangled Tree is a brilliant exploration of our transformed understanding of evolution and of life's history itself.

This comprehensive text presents cutting-edge advances in the theory and methodology of modeling and simulation (M&S) and reveals how this work has been influenced by the fundamental contributions of Prof. Tuncer OEren to this field. Exploring the synergies among the domains of M&S and systems engineering (SE), the book describes how M&S and SE can help to address the complex problems identified as "Grand Challenges" more effectively under a model-driven and simulation-directed systems engineering framework. Features: examines frameworks for the development of advanced simulation methodologies; presents a focus on advanced modeling methodologies; reviews the reliability and quality assurance of models; discusses the specification and simulation of human and social behavior, including models of personality, emotions, conflict management, perception and anticipation; provides a survey of the body of knowledge in M highlights the foundations established by the pioneering work of Prof. Tuncer OEren.

The Systems Modeling Language (SysML) extends UML with powerful systems engineering capabilities for modeling a wider spectrum of systems and capturing all aspects of a system's design. SysML Distilled is the first clear, concise guide for everyone who wants to start creating effective SysML models. (Drawing on his pioneering experience at Lockheed Martin and NASA, Lenny Delligatti illuminates SysML's core components and provides practical advice to help you create good models and good designs. Delligatti begins with an easy-to-understand overview of Model-Based Systems Engineering (MBSE) and an explanation of how SysML enables effective system specification, analysis, design, optimization, verification, and validation. Next, he shows how to use all nine types of SysML diagrams, even if you have no previous experience with modeling languages. A case study running through the text demonstrates the use of SysML in modeling a complex, real-world sociotechnical system. Modeled after Martin Fowler's classic UML Distilled, Delligatti's indispensable guide quickly teaches you what you need to know to get started and helps you deepen your knowledge incrementally as the need arises. Like SysML itself, the book is method independent and is designed to support whatever processes, procedures, and tools you already use. Coverage Includes Why SysML was created and the business case for using it Quickly putting SysML to practical use What to know before you start a SysML modeling project Essential concepts that apply to all SysML diagrams SysML diagram elements and relationships Diagramming block definitions, internal structures, use cases, activities, interactions, state machines, constraints, requirements, and packages Using allocations to define mappings among elements across a model SysML notation tables, version changes, and sources for more information

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.

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

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.

This proceedings volume collects review articles that summarize research conducted at the Munich Centre of Advanced Computing (MAC) from 2008 to 2012. The articles address the increasing gap between what should be possible in Computational Science and Engineering due to recent advances in algorithms, hardware, and networks, and what can actually be achieved in practice; they also examine novel computing architectures, where computation itself is a multifaceted process, with hardware awareness or ubiquitous parallelism due to many-core systems being just two of the challenges faced. Topics cover both the methodological aspects of advanced computing (algorithms, parallel computing, data exploration, software engineering) and cutting-edge applications from the fields of chemistry, the geosciences, civil and mechanical engineering, etc., reflecting the highly interdisciplinary nature of the Munich Centre of Advanced Computing.

This book presents an overview of a variety of contemporary statistical, mathematical and computer science techniques which are used to further the knowledge in the medical domain. The authors focus on applying data mining to the medical domain, including mining the sets of clinical data typically found in patient's medical records, image mining, medical mining, data mining and machine learning applied to generic genomic data and more. This work also introduces modeling behavior of cancer cells, multi-scale computational models and simulations of blood flow through vessels by using patient-specific models. The authors cover different imaging techniques used to generate patient-specific models. This is used in computational fluid dynamics software to analyze fluid flow. Case studies are provided at the end of each chapter. Professionals and researchers with quantitative backgrounds will find Computational Medicine in Data Mining and Modeling useful as a reference. Advanced-level students studying computer science, mathematics, statistics and biomedicine will also find this book valuable as a reference or secondary text book.

Intelligent Control considers non-traditional modelling and control approaches to nonlinear systems. Fuzzy logic, neural networks and evolutionary computing techniques are the main tools used. The book presents a modular switching fuzzy logic controller where a PD-type fuzzy controller is executed first followed by a PI-type fuzzy controller thus improving the performance of the controller compared with a PID-type fuzzy controller. The advantage of the switching-type fuzzy controller is that it uses one rule-base thus minimises the rule-base during execution. A single rule-base is developed by merging the membership functions for change of error of the PD-type controller and sum of error of the PI-type controller. Membership functions are then optimized using evolutionary algorithms. Since the two fuzzy controllers were executed in series, necessary further tuning of the differential and integral scaling factors of the controller is then performed. Neural-network-based tuning for the scaling parameters of the fuzzy controller is then described and finally an evolutionary algorithm is applied to the neurally-tuned-fuzzy controller in which the sigmoidal function shape of the neural network is determined. The important issue of stability is addressed and the text demonstrates empirically that the developed controller was stable within the operating range. The text concludes with ideas for future research to show the reader the potential for further study in this area. Intelligent Control will be of interest to researchers from engineering and computer science backgrounds working in the intelligent and adaptive control.

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

Helps you ensure that your simulations are appropriate representations of real-world systems. The book concentrates on the differentiation between the assessment of a simulation tool and the verification and validation of general software products. It is a systematic, procedural, practical guide that you can use to enhance the credibility of your simulation models. In addition, it is a valuable reference book and a road map for software developers and quality assurance experts, or as a text for simulation methodology and software engineering courses.
This book details useful assessment procedures and phases, discusses ways to tailor the methodology for specific situations and objectives, and provides numerous assessment aids. The reader can use these aids to support ongoing assessments over the entire life cycle of the model.

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 eighteenth issue contains 9 carefully selected and revised contributions.

This book highlights recent advances in the development of effective modeling and solution approaches to enhance the performance of military logistics. It seeks to further research in global defense-related topics, including military operations, governmental operations and security, as well as nation support. Additionally its purpose is to promote the global exchange of information and ideas amongst developers and users of military operations research tools and techniques. Over the course of its nine chapters, this edited volume addresses significant issues in military logistics including: a) Restructuring processes via OR methods aimed at improving the efficiency and effectiveness of the military logistics, b) Sense-and-Respond logistics prediction and coordination techniques that provide competitive advantage, spanning the full range of military operations across the strategic, operational and tactical levels of war, c) Procurement and auctioning, d) Inventory and stock control theories and applications, e) Military transport and logistical equipment, and, f) Maintenance, repair and overhaul on operational capability in general and equipment availability. The book aims to bridge the gap between the abundant literature on commercial logistics and its scarce defense & combat counterpart. This collection of useful insights into new trends and research will offer an ideal reference for practitioners and army related personnel interested in integrating scientific rigor to improve logistics management within defense organizations & agencies. Ultimately this book should provide a relevant platform for the latest contributions of operations management, operations research, and computational intelligence towards the enhancement of military logistics.

In this book for the first time two scientific fields - consensus formation and synchronization of communications - are presented together and examined through their interrelational aspects, of rapidly growing importance. Both fields have indeed attracted enormous research interest especially in relation to complex networks. In networks of dynamic systems (or agents), consensus means to reach an agreement regarding a certain quantity of interest that depends on the state of all dynamical systems (agents). Consensus problems have a long history in control theory and computer sciences, and form the foundation of the field of distributed computing. Synchronization, which defines correlated-in-time behavior between different processes and roots going back to Huygens to the least, is now a highly popular, exciting and rapidly developing topic, with applications ranging from biological networks to mathematical epidemiology, and from processing information in the brain to engineering of communications devices. The book reviews recent finding in both fields and describes novel approaches to consensus formation, where consensus is realized as an instance of the nonlinear dynamics paradigm of chaos synchronization. The chapters are written by world-known experts in both fields and cover topics ranging from fundaments to various applications of consensus and synchronization.

This guide demonstrates how virtual build and test can be supported by the Discrete Event Systems Specification (DEVS) simulation modeling formalism, and the System Entity Structure (SES) simulation model ontology. The book examines a wide variety of Systems of Systems (SoS) problems, ranging from cloud computing systems to biological systems in agricultural food crops. Features: includes numerous exercises, examples and case studies throughout the text; presents a step-by-step introduction to DEVS concepts, encouraging hands-on practice to building sophisticated SoS models; illustrates virtual build and test for a variety of SoS applications using both commercial and open source DEVS simulation environments; introduces an approach based on activity concepts intrinsic to DEVS-based system design, that integrates both energy and information processing requirements; describes co-design modeling concepts and methods to capture separate and integrated software and hardware systems.

In this book the authors describe the main computer modelling techniques that, having gained universal acceptance, constitute the basic framework of modern power system analysis. Some basic knowledge of power system theory, matrix analysis and numerical techniques is presumed, although several appendices and many references have been included to help the uninitiated to pick up the relevant background. An introductory chapter describes the main computational and transmission system developments which influence modern power system analysis. This is followed by three chapters on the subject of load or power flow with emphasis on the Newton-Raphson fast-decoupled algorithm. Chapter 5 describes the subject of a.c. system faults. The next two chapters deal with the electromechanical behaviour of power systems. Chapter 6 describes the basic dynamic models of power system plant and their use in multi-machine transient stability analysis. More advanced dynamic models and a quasi-steady-state representation of large converter plant and h.v.d.c. transmission are developed in Chapter 7. A description of the Electromagnetic Transients Program with the marriage between "Bergeron's and Trapezoidal" methods is presented in Chapter 8, and a generalization of the multi-phase models described in Chapter 3 is used in Chapter 9 as the framework for harmonic flow analysis. Chapter 10 describes the state of the art in power system security and optimization analysis. Finally, Chapter 11 deals with recent advances made on the subject of interactive power system analysis and developments in computer graphics with emphasis on the use of personal computers.

Multi-finger Haptic Interaction presents a panorama of technologies and methods for multi-finger haptic interaction, together with an analysis of the benefits and implications of adding multiple-fingers to haptic applications. Research topics covered include: design and control of advanced haptic devices; multi-contact point simulation algorithms; interaction techniques and implications in human perception when interacting with multiple fingers. These multi-disciplinary results are integrated into applications such as medical simulators for training manual skills, simulators for virtual prototyping and precise manipulations in remote environments. Multi-finger Haptic Interaction presents the current and potential applications that can be developed with these systems, and details the systems' complexity. The research is focused on enhancing haptic interaction by providing multiple contact points to the user. This state-of-the-art volume is oriented towards researchers who are involved in haptic device design, rendering methods and perception studies, as well as readers from different disciplines who are interested in applying multi-finger haptic technologies and methods to their field of interest.

This book explores how PPPM, clinical practice, and basic research could be best served by information technology (IT). A use-case was developed for hepatocellular carcinoma (HCC). The subject was approached with four interrelated tasks: (1) review of clinical practices relating to HCC; (2) propose an IT system relating to HCC, including clinical decision support and research needs; (3) determine how a clinical liver cancer center can contribute; and, (4) examine the enhancements and impact that the first three tasks will have on the management of HCC. An IT System for Personalized Medicine (ITS-PM) for HCC will provide the means to identify and determine the relative value of the wide number of variables, including clinical assessment of the patient -- functional status, liver function, degree of cirrhosis, and comorbidities; tumor biology, at a molecular, genetic and anatomic level; tumor burden and individual patient response; medical and operative treatments and their outcomes.

The present book includes a set of selected extended papers from the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), held in Vienna, Austria, from 28 to 30 August 2014. The conference brought together researchers, engineers and practitioners interested in methodologies and applications of modeling and simulation. New and innovative solutions are reported in this book. SIMULTECH 2014 received 167 submissions, from 45 countries, in all continents. After a double blind paper review performed by the Program Committee, 23% were accepted as full papers and thus selected for oral presentation. Additional papers were accepted as short papers and posters. A further selection was made after the Conference, based also on the assessment of presentation quality and audience interest, so that this book includes the extended and revised versions of the very best papers of SIMULTECH 2014. Commitment to high quality standards is a major concern of SIMULTECH that will be maintained in the next editions, considering not only the stringent paper acceptance ratios but also the quality of the program committee, keynote lectures, participation level and logistics.