This book constitutes the refereed proceedings of the 37th Annual German Conference on Artificial Intelligence, KI 2014, held in Stuttgart, Germany, in September 2014. The 24 revised full papers presented together with 7 short papers were carefully reviewed and selected from 62 submissions. The papers are organized in thematic topics on cognitive modeling, computer vision, constraint satisfaction, search, and optimization, knowledge representation and reasoning, machine learning and data mining, planning and scheduling.

"Design Rules for Actuators in Active Mechanical Systems" deals with the formulation of model-based design rules to be used in the conception of optimized mechatronic and adaptronic systems. The book addresses the comparison of different actuator classes for given applications and offers answers to the following questions: What is the relationship between actuator geometry and primary output quantities? How scalable are actuators based on the same principle? How are energetic output quantities (work and power) related to mechanical load and geometry? How should actuators be designed and sized to obtain the best performance for the chosen actuator kind, and for a given application? "Design Rules for Actuators in Active Mechanical Systems" will be of use to industry professionals, such as actuator and machine designers, as well as to researchers and students of mechanical engineering, mechatronics, and electrical engineering.

This book generalizes fuzzy logic systems for different types of uncertainty, including - semantic ambiguity resulting from limited perception or lack of knowledge about exact membership functions - lack of attributes or granularity arising from discretization of real data - imprecise description of membership functions - vagueness perceived as fuzzification of conditional attributes. Consequently, the membership uncertainty can be modeled by combining methods of conventional and type-2 fuzzy logic, rough set theory and possibility theory. In particular, this book provides a number of formulae for implementing the operation extended on fuzzy-valued fuzzy sets and presents some basic structures of generalized uncertain fuzzy logic systems, as well as introduces several of methods to generate fuzzy membership uncertainty. It is desirable as a reference book for under-graduates in higher education, master and doctor graduates in the courses of computer science, computational intelligence, or fuzzy control and classification, and is especially dedicated to researchers and practitioners in industry.

The focus of this volume is comprised of the fundamentals, models, and information technologies (IT) methods and tools for disaster prediction and mitigation. A more detailed list of topics includes mathematical and computational modeling of processes leading to or producing disasters, modeling of disaster effects, IT means for disaster mitigation, including data mining tools, knowledge-based and expert systems for use in disaster circumstances, GIS-based systems for disaster prevention and mitigation and equipment for disaster-prone areas. A specific type or class of disasters (natural or human-made), however will not be part of the main focus of this work. Instead, this book was conceived to offer a comprehensive, integrative view on disasters, seeking to determine what various disasters have in common. Because disaster resilience and mitigation involve humans, societies and cultures, not only technologies and economic models, special attention was paid in this volume to gain a comprehensive view on these issues, as a foundation of the IT tool design.

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2012, held in Oslo, Norway, in June/July 2012. The 28 revised full papers presented were carefully reviewed and selected from 135 submissions. The topics range from mathematical analysis of various methods to practical implementation on modern graphics processing units. The papers reflect the newest developments in these fields and also point to the latest literature.

This book/software package brings the tools and excitement of modeling to pre-college teachers, to researchers involved in curriculum development, and to software developers interested in the pre-college market.

The book uses STELLA software to develop simulation models, thus allowing readers to convert their understanding of a phenomenon to a computer model, and then run it to yield the inevitable dynamic consequences built into the structure. Part I provides an introduction to modeling dynamic systems, while Part II offers general modeling methods. Parts III through VIII then apply these methods to model real-world phenomena from chemistry, genetics, ecology, economics, and engineering. A clear, approachable introduction to the modeling process, of interest in any field where real problems can be illuminated by computer simulation.

When managers and ecologists need to make decisions about the environment, they use models to simulate the dynamic systems that interest them. All management decisions affect certain landscapes over time, and those landscapes are composed of intricate webs of dynamic processes that need to be considered in relation to each other. With widespread use of Geographic Information Systems (GIS), there is a growing need for complex models corporating an increasing amount of data. The open-source Spatial Modeling Environment (SME) was developed to build upon common modeling software, such as STELLA (R), and Powersim (R), among others, to create, run, analyze, and present spatial models of ecosystems, watersheds, populations, and landscapes. In this book, the creators of the Spatial Modeling Environment discuss and illustrate the uses of SME as a modeling tool for all kinds of complex spatial systems. The authors demonstrate the entire process of spatial modeling, beginning with the conceptual design, continuing through formal implementation and analysis, and finally with the interpretation and presentation of the results.A variety of applications and case studies address particular types of ecological and management problems and help to identify potential problems for modelers. Researchers and students interested in spatial modeling will learn how to simulate the complex dynamics of landscapes. Managers and decision makers will acquire tools for predicting changes in landscapes while learning about both the possibilities and the limitations of simulation models.

Human-in-the-Loop Simulations is a compilation of articles from experts in the design, development, and use of human-in-the-loop simulations. The first section of the handbook consists of papers on fundamental concepts in human-in-the-loop simulations, such as object-oriented simulation development, interface design and development, and performance measurement. The second section includes papers from researchers who utilized HITL simulations to inform models of cognitive processes to include decision making and metacognition. The last section describes human-in-the-loop processes for complex simulation models in trade space exploration and epidemiological analyses. Human-in-the-Loop Simulations is a useful tool for multiple audiences, including graduate students and researchers in engineering and computer science.

The purpose of this book is to present a methodology for designing and tuning fuzzy expert systems in order to identify nonlinear objects; that is, to build input-output models using expert and experimental information. The results of these identifications are used for direct and inverse fuzzy evidence in forecasting and diagnosis problem solving. The book is organised as follows: Chapter 1 presents the basic knowledge about fuzzy sets, genetic algorithms and neural nets necessary for a clear understanding of the rest of this book. Chapter 2 analyzes direct fuzzy inference based on fuzzy if-then rules. Chapter 3 is devoted to the tuning of fuzzy rules for direct inference using genetic algorithms and neural nets. Chapter 4 presents models and algorithms for extracting fuzzy rules from experimental data. Chapter 5 describes a method for solving fuzzy logic equations necessary for the inverse fuzzy inference in diagnostic systems. Chapters 6 and 7 are devoted to inverse fuzzy inference based on fuzzy relations and fuzzy rules. Chapter 8 presents a method for extracting fuzzy relations from data. All the algorithms presented in Chapters 2-8 are validated by computer experiments and illustrated by solving medical and technical forecasting and diagnosis problems. Finally, Chapter 9 includes applications of the proposed methodology in dynamic and inventory control systems, prediction of results of football games, decision making in road accident investigations, project management and reliability analysis.

Finite Element Programs for Structural Vibrations presents detailed descriptions of how to use six computer programs (written in Fortran 77) to determine the resonant frequencies of one, two, and three-dimensional skeletal structures through the finite element method. Chapter 1 is on "The Finite Element Method" and Chapter 2 demonstrates, with the aid of hand calculations, the finite element solution of some smaller structures. Chapter 3 covers "The Modular Approach", and Chapters 4 to 9 describe the six computer programs, with a large number of worked examples. The six computer programs are given in Appendices I through VI, and on a 3 1/2'' disk included with the book. The programs are suitable for use on IBM (or compatible) PC (640K or more) or minicomputer.

Collected articles in this series are dedicated to the development and use of software for earth system modelling and aims at bridging the gap between IT solutions and climate science. The particular topic covered in this volume addresses the usefulness of coupling infrastructures and data management, strategies and tools for pre- and post-processing, and coupling software and strategies in regional and global coupled climate models. This first part in the series of 6 books sets the scene for the following volumes.

Commanding and controlling organizations in extreme situations is a challenging task in military, intelligence, and disaster management. Such command and control must be quick, effective, and considerate when dealing with the changing, complex, and risky conditions of the situation. To enable optimal command and control under extremes, robust structures and efficient operations are required of organizations. This work discusses how to design and conduct virtual experiments on resilient organizational structures and operational practices using modeling and simulation. The work illustrates key aspects of robustly networked organizations and modeled performance of human decision-makers through examples of naval-air defense, counterterrorism operations, and disaster responses.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2013, held Boston, MA, USA, in May 2013. The 10 revised papers presented were carefully reviewed and selected from 20 submissions. The papers cover the following topics parallel scheduling for commercial environments, scientific computing, supercomputing and cluster platforms.

Mobile Intention Recognition addresses problems of practical relevance for mobile system engineers: how can we make mobile assistance systems more intelligent? How can we model and recognize patterns of human behavior which span more than a limited spatial context? This text provides an overview on plan and intention recognition, ranging from the late 1970s to very recent approaches. This overview is unique as it discusses approaches with respect to the specificities of mobile intention recognition. This book covers problems from research on mobile assistance systems using methods from artificial intelligence and natural language processing. It thus addresses an extraordinary interdisciplinary audience.

This book constitutes the refereed proceedings of the 5th International Conference on Information Processing in Computer-Assisted Interventions, IPCAI 2014, held in Fukuoka, Japan, on June 28, 2014. The 28 papers presented were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on planning, simulation, patient specific models for computer assisted interventions, medical robotics and surgical navigation, interventional imaging and advanced intra-op visualization, cognition, modeling and context awareness, clinical applications, systems, software, and validation.

This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.

Safety and Risk Modeling presents the latest theories and methods of safety and risk with an emphasis on safety and risk in modeling. It covers applications in several areas including transportations and security risk assessments, as well as applications related to current topics in safety and risk. Safety and Risk Modeling is a valuable resource for understanding the latest developments in both qualitative and quantitative methods of safety and risk analysis and their applications in operating environments. Each chapter has been written by active researchers or experienced practitioners to bridge the gap between theory and practice and to trigger new research challenges in safety and risk. Topics include: safety engineering, system maintenance, safety in design, failure analysis, and risk concept and modelling. Postgraduate students, researchers, and practitioners in many fields of engineering, operations research, management, and statistics will find Safety and Risk Modeling a state-of-the-art survey of reliability and quality in design and practice.

This book provides an insight in advanced methods and concepts for structural analysis and design against seismic loading. The book consists of 25 chapters dealing with a wide range of timely issues in contemporary Earthquake Engineering. In brief, the topics covered are: collapse assessment, record selection, effect of soil conditions, problems in seismic design, protection of monuments, earth dam structures and liquid containers, numerical methods, lifetime assessment, post-earthquake measures. A common ground of understanding is provided between the communities of Earth Sciences and Computational Mechanics towards mitigating seismic risk. The topic is of great social and scientific interest, due to the large number of scientists and practicing engineers currently working in the field and due to the great social and economic consequences of earthquakes.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Energy Efficient Data Centers, E(2)DC 2013, held in Berkeley, CA, USA, in May 2013; co-located with SIGCOMM e-Energy 2013. The 8 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on energy and workload measurement; energy management; simulators and control.

An apparently appropriate control scheme for PEM fuel cells may actually lead to an inoperable plant when it is connected to other unit operations in a process with recycle streams and energy integration. PEM Fuel Cells with Bio-Ethanol Processor Systems presents a control system design that provides basic regulation of the hydrogen production process with PEM fuel cells. It then goes on to construct a fault diagnosis system to improve plant safety above this control structure. PEM Fuel Cells with Bio-Ethanol Processor Systems is divided into two parts: the first covers fuel cells and the second discusses plants for hydrogen production from bio-ethanol to feed PEM fuel cells. Both parts give detailed analyses of modeling, simulation, advanced control, and fault diagnosis. They give an extensive, in-depth discussion of the problems that can occur in fuel cell systems and propose a way to control these systems through advanced control algorithms. A significant part of the book is also given over to computer-aided engineering software tools that can be used to evaluate the dynamic performance of the overall plant. PEM Fuel Cells with Bio-Ethanol Processor Systems is intended for use by researchers and advanced students on chemical, electrical-electronic and mechanical engineering courses in which dynamics and control are incorporated with the traditional steady-state coverage of flowsheet synthesis, engineering economics and optimization.

This SpringerBrief focuses on the use of egress models to assess the optimal strategy for total evacuation in high-rise buildings. It investigates occupant relocation and evacuation strategies involving the exit stairs, elevators, sky bridges and combinations thereof. Chapters review existing information on this topic and describe case study simulations of a multi-component exit strategy. This review provides the architectural design, regulatory and research communities with a thorough understanding of the current and emerging evacuation procedures and possible future options. A model case study simulates seven possible strategies for the total evacuation of two identical twin towers linked with two sky-bridges at different heights. The authors present the layout of the building and the available egress components including both vertical and horizontal egress components, namely stairs, occupant evacuation elevators (OEEs), service elevators, transfer floors and sky-bridges. The evacuation strategies employ a continuous spatial representation evacuation model (Pathfinder) and are cross-validated by a fine network model (STEPS). Assessment of Total Evacuation Systems for Tall Buildings is intended for practitioners as a tool for analyzing evacuation methods and efficient exit strategies. Researchers working in architecture and fire safety will also find the book valuable.

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Software Language Engineering, SLE 2012, held in Dresden, Germany, in September 2012. The 17 papers presented together with 2 tool demonstration papers were carefully reviewed and selected from 62 submissions. SLE's foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces.

Variational Regularization of 3D Data provides an introduction to variational methods for data modelling and its application in computer vision. In this book, the authors identify interpolation as an inverse problem that can be solved by Tikhonov regularization. The proposed solutions are generalizations of one-dimensional splines, applicable to n-dimensional data and the central idea is that these splines can be obtained by regularization theory using a trade-off between the fidelity of the data and smoothness properties. As a foundation, the authors present a comprehensive guide to the necessary fundamentals of functional analysis and variational calculus, as well as splines. The implementation and numerical experiments are illustrated using MATLAB (R). The book also includes the necessary theoretical background for approximation methods and some details of the computer implementation of the algorithms. A working knowledge of multivariable calculus and basic vector and matrix methods should serve as an adequate prerequisite.

This work presents a study of cache replacement strategies designed for static web content. Proxy servers can improve performance by caching static web content such as cascading style sheets, java script source files, and large files such as images. This topic is particularly important in wireless ad hoc networks, in which mobile devices act as proxy servers for a group of other mobile devices. Opening chapters present an introduction to web requests and the characteristics of web objects, web proxy servers and Squid, and artificial neural networks. This is followed by a comprehensive review of cache replacement strategies simulated against different performance metrics. The work then describes a novel approach to web proxy cache replacement that uses neural networks for decision making, evaluates its performance and decision structures, and examines its implementation in a real environment, namely, in the Squid proxy server.