Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable computations. In general, a reliable numerical method must solve two basic problems: (a) generate a sequence of approximations that converges to a solution and (b) verify the accuracy of these approximations. A computer code for such a method must consist of two respective blocks: solver and checker.
In this book, we are chiefly concerned with the problem (b) and try to present the main approaches developed for a posteriori error estimation in various problems.
The authors try to retain a rigorous mathematical style, however, proofs are constructive whenever possible and additional mathematical knowledge is presented when necessary. The book contains a number of new mathematical results and lists a posteriori error estimation methods that have been developed in the very recent time.
- computable bounds of approximation errors
- checking algorithms
- iteration processes
- finite element methods
- elliptic type problems
- nonlinear variational problems
- variational inequalities

This handbook serves as a comprehensive, systematic reference to the major mathematical models used in radio engineering and communications, and presents computer simulation algorithms to help the reader estimate parameters of radio systems. It provides the technical details necessary to design and analyze radar, communication, radio navigation, radio control, electronic intelligence and electronic warfare systems. Mathcad routines, cited in the handbook, should help the reader to optimize radar system performance analysis, and can be used to create custom-made software that better answers specific needs.

This book presents selected papers from the 3rd International Workshop on Computational Engineering held in Stuttgart from October 6 to 10, 2014, bringing together innovative contributions from related fields with computer science and mathematics as an important technical basis among others. The workshop discussed the state of the art and the further evolution of numerical techniques for simulation in engineering and science. We focus on current trends in numerical simulation in science and engineering, new requirements arising from rapidly increasing parallelism in computer architectures, and novel mathematical approaches. Accordingly, the chapters of the book particularly focus on parallel algorithms and performance optimization, coupled systems, and complex applications and optimization.

This book captures the current challenges in automatic recognition of emotion in spontaneous speech and makes an effort to explain, elaborate, and propose possible solutions. Intelligent human-computer interaction (iHCI) systems thrive on several technologies like automatic speech recognition (ASR); speaker identification; language identification; image and video recognition; affect/mood/emotion analysis; and recognition, to name a few. Given the importance of spontaneity in any human-machine conversational speech, reliable recognition of emotion from naturally spoken spontaneous speech is crucial. While emotions, when explicitly demonstrated by an actor, are easy for a machine to recognize, the same is not true in the case of day-to-day, naturally spoken spontaneous speech. The book explores several reasons behind this, but one of the main reasons for this is that people, especially non-actors, do not explicitly demonstrate their emotion when they speak, thus making it difficult for machines to distinguish one emotion from another that is embedded in their spoken speech. This short book, based on some of authors' previously published books, in the area of audio emotion analysis, identifies the practical challenges in analysing emotions in spontaneous speech and puts forward several possible solutions that can assist in robustly determining the emotions expressed in spontaneous speech.

Marking the 30th anniversary of the European Conference on Modelling and Simulation (ECMS), this inspirational text/reference reviews significant advances in the field of modelling and simulation, as well as key applications of simulation in other disciplines. The broad-ranging volume presents contributions from a varied selection of distinguished experts chosen from high-impact keynote speakers and best paper winners from the conference, including a Nobel Prize recipient, and the first president of the European Council for Modelling and Simulation (also abbreviated to ECMS). This authoritative book will be of great value to all researchers working in the field of modelling and simulation, in addition to scientists from other disciplines who make use of modelling and simulation approaches in their work.

This book examines the use of agent-based modelling (ABM) in population studies, from concepts to applications, best practices to future developments. It features papers written by leading experts in the field that will help readers to better understand the usefulness of ABM for population projections, how ABM can be injected with empirical data to achieve a better match between model and reality, how geographic information can be fruitfully used in ABM, and how ABM results can be reported effectively and correctly. Coverage ranges from detailing the relation between ABM and existing paradigms in population studies to infusing agent-based models with empirical data. The papers show the benefits that ABM offers the field, including enhanced theory formation by better linking the micro level with the macro level, the ability to represent populations more adequately as complex systems, and the possibility to study rare events and the implications of alternative mechanisms in artificial laboratories. In addition, readers will discover guidelines and best practices with detailed examples of how to apply agent-based models in different areas of population research, including human mating behaviour, migration, and socio-structural determinants of health behaviours. Earlier versions of the papers in this book have been presented at the workshop "Recent Developments and Future Directions in Agent-Based Modelling in Population Studies," which took place at the University of Leuven (KU Leuven), Belgium, in September 2014. The book will contribute to the development of best practices in the field and will provide a solid point of reference for scholars who want to start using agent-based modelling in their own research.

Parallel CFD 2000, the Twelfth in an International series of meetings featuring computational fluid dynamics research on parallel computers, was held May 22-25, 2000 in Trondheim, Norway.
Following the trend of the past conferences, areas such as numerical schemes and algorithms, tools and environments, load balancing, as well as interdisciplinary topics and various kinds of industrial applications were all well represented in the work presented. In addition, for the first time in the Parallel CFD conference series, the organizing committee chose to draw special attention to certain subject areas by organizing a number of special sessions.
We feel the emphasis of the papers presented at the conference reflect the direction of the research within parallel CFD at the beginning of the new millennium. It seems to be a clear tendency towards increased industrial exploitation of parallel CFD. Several presentations also demonstrated how new insight is being achieved from complex simulations, and how powerful parallel computers now make it possible to use CFD within a broader interdisciplinary setting.
Obviously, successful application of parallel CFD still rests on the underlying fundamental principles. Therefore, numerical algorithms, development tools, and parallelization techniques are still as important as when parallel CFD was in is infancy. Furthermore, the novel concepts of affordable parallel computing as well as metacomputing show that exciting developments are still taking place.
As is often pointed out however, the real power of parallel CFD comes from the combination of all the disciplines involved: Physics, mathematics, and computer science. This is probably one of the principal reasons for the continued popularity of the Parallel CFD Conferences series, as well as the inspiration behind much of the excellent work carried out on the subject. We hope that the papers in this book, both on an individual basis and as a whole, will contribute to that inspiration. Further details of Parallel CFD'99, as well as other conferences in this series, are available at http: //www.parcfd.org

This book presents the latest in decision-making tools, techniques, and solutions for policy makers to utilize in overcoming the challenges faced by healthcare systems. With contributions from experts world-wide, an array of healthcare management models, techniques, and integrative solutions are presented, drawing on econometric, system dynamics, and agent-based models as well as state-of-the-art empirical studies. As total healthcare spending (both total expenditures on health as a percentage of GDP and average spending on per capita) increases across most of the world's economies, healthcare systems continue to face challenges in terms of cost, quality, and access, as a result of its fragmented nature. Consequently, healthcare managers and policy makers require innovative integrative approaches and solutions to better manage complex, dynamic healthcare systems. This volume offers researchers and policy makers an insightful and critical review of the state of the art in healthcare modeling, with a particular focus on system dynamics, agent-based models, and modern empirical studies. It will be of interest to those in the fields of health, business management, and information systems.

The present book provides guidance to understanding complicated coupled processes based on the experimental data available and implementation of developed algorithms in numerical codes. Results of selected test cases in the fields of closed-form solutions (e.g., deformation processes), single processes (such as groundwater flow) as well as coupled processes are presented. It is part of the OpenGeoSys initiative - an open source project to share knowledge and experience in environmental analysis and scientific computation with the community.

Content-based 3-D object retrieval has attracted extensive attention recently and has applications in a variety of fields, such as, computer-aided design, tele-medicine,mobile multimedia, virtual reality, and entertainment. The development of efficient and effective content-based 3-D object retrieval techniques has enabled the use of fast 3-D reconstruction and model design. Recent technical progress, such as the development of camera technologies, has made it possible to capture the views of 3-D objects. As a result, view-based 3-D object retrieval has become an essential but challenging research topic. View-based 3-D Object Retrieval introduces and discusses the fundamental challenges in view-based 3-D object retrieval, proposes a collection of selected state-of-the-art methods for accomplishing this task developed by the authors, and summarizes recent achievements in view-based 3-D object retrieval. Part I presents an Introduction to View-based 3-D Object Retrieval, Part II discusses View Extraction, Selection, and Representation, Part III provides a deep dive into View-Based 3-D Object Comparison, and Part IV looks at future research and developments including Big Data application and geographical location-based applications.

This contributed volume, written by leading international researchers, reviews the latest developments of genetic programming (GP) and its key applications in solving current real world problems, such as energy conversion and management, financial analysis, engineering modeling and design, and software engineering, to name a few. Inspired by natural evolution, the use of GP has expanded significantly in the last decade in almost every area of science and engineering. Exploring applications in a variety of fields, the information in this volume can help optimize computer programs throughout the sciences. Taking a hands-on approach, this book provides an invaluable reference to practitioners, providing the necessary details required for a successful application of GP and its branches to challenging problems ranging from drought prediction to trading volatility. It also demonstrates the evolution of GP through major developments in GP studies and applications. It is suitable for advanced students who wish to use relevant book chapters as a basis to pursue further research in these areas, as well as experienced practitioners looking to apply GP to new areas. The book also offers valuable supplementary material for design courses and computation in engineering.

Evolutionary models (e.g genetic algorithms, artificial life) are emerging as an important new tool for geographic information systems for a number of reasons. First, they are highly appropriate for modelling geographic phenomena; second, geographical problems are often spatially separate (broken down into logical or regional problems), and evolutionary algorithms can exploit this structure; and finally, the ability to store, mainipulate, and visualize spatial data has increased to the point that space-time attribute databases can be easily handled. This book is proposed to serve as a guide to the evolutionary modelling of spatial phenomena.

The methods considered in the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) have properties which offer distinct advantages for a number of applications. The second volume of the proceedings covers reviewed contributions reporting successful applications in the fields of fluid dynamics, magnetohydrodynamics, structural analysis, nuclear physics, semiconductor theory and other topics.

The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications.

Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations.

Simulation of ODE/PDE Models with MATLAB(r), OCTAVE and SCILAB shows the reader how to exploit a fuller array of numerical methods for the analysis of complex scientific and engineering systems than is conventionally employed. The book is dedicated to numerical simulation of distributed parameter systems described by mixed systems of algebraic equations, ordinary differential equations (ODEs) and partial differential equations (PDEs). Special attention is paid to the numerical method of lines (MOL), a popular approach to the solution of time-dependent PDEs, which proceeds in two basic steps: spatial discretization and time integration.

Besides conventional finite-difference and element techniques, more advanced spatial-approximation methods are examined in some detail, including nonoscillatory schemes and adaptive-grid approaches. A MOL toolbox has been developed within MATLAB(r)/OCTAVE/SCILAB. In addition to a set of spatial approximations and time integrators, this toolbox includes a collection of application examples, in specific areas, which can serve as templates for developing new programs.

Simulation of ODE/PDE Models with MATLAB(r), OCTAVE and SCILAB provides a practical introduction to some advanced computational techniques for dynamic system simulation, supported by many worked examples in the text, and a collection of codes available for download from the book s page at www.springer.com. This text is suitable for self-study by practicing scientists and engineers and as a final-year undergraduate course or at the graduate level.

This book presents research results of PowerWeb, TU Delft's consortium for interdisciplinary research on intelligent, integrated energy systems and their role in markets and institutions. In operation since 2012, it acts as a host and information platform for a growing number of projects, ranging from single PhD student projects up to large integrated and international research programs. The group acts in an inter-faculty fashion and brings together experts from electrical engineering, computer science, mathematics, mechanical engineering, technology and policy management, control engineering, civil engineering, architecture, aerospace engineering, and industrial design. The interdisciplinary projects of PowerWeb are typically associated with either of three problem domains: Grid Technology, Intelligence and Society. PowerWeb is not limited to electricity: it bridges heat, gas, and other types of energy with markets, industrial processes, transport, and the built environment, serving as a singular entry point for industry to the University's knowledge. Via its Industry Advisory Board, a steady link to business owners, manufacturers, and energy system operators is provided.

This thesis provides a systematic and integral answer to an open problem concerning the universality of dynamic fuzzy controllers. It presents a number of novel ideas and approaches to various issues including universal function approximation, universal fuzzy models, universal fuzzy stabilization controllers, and universal fuzzy integral sliding mode controllers. The proposed control design criteria can be conveniently verified using the MATLAB toolbox. Moreover, the thesis provides a new, easy-to-use form of fuzzy variable structure control. Emphasis is given to the point that, in the context of deterministic/stochastic systems in general, the authors are in fact discussing non-affine nonlinear systems using a class of generalized T-S fuzzy models, which offer considerable potential in a wide range of applications.

This book constitutes the refereed post-proceedings of the 7th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2014, held in Chamonix, France, in February 2014. The 20 revised full papers were carefully reviewed and selected from numerous submissions. The papers cover the following topics: micro-assembly processes and systems ranging from desktop factory automation and packaging of MEMS to self-assembly processes and platforms; handling and manipulation, including flexible gripper systems, fixturing and high precision actuators; tolerance management and error-compensation techniques applied at different scales of precision assembly; metrology and quality control; intelligent assembly control; process selection, modelling and planning.

The book presents a snapshot of the state-of-art in the field of turbulence modeling and covers the latest developments concerning direct numerical simulations, large eddy simulations, compressible turbulence, coherent structures, two-phase flow simulation and other related topics. It provides readers with a comprehensive review of both theory and applications, describing in detail the authors own experimental results. The book is based on the proceedings of the third Turbulence and Interactions Conference (TI 2012), which was held on June 11-14 in La Saline-les-Bains, La Reunion, France and includes both keynote lectures and outstanding contributed papers presented at the conference. This multifaceted collection, which reflects the conferences emphasis on the interplay of theory, experiments and computing in the process of understanding and predicting the physics of complex flows and solving related engineering problems, offers a practice-oriented guide for students, researchers and professionals in the field of computational fluid dynamics, turbulence modeling and related areas.

"

Software, Animation and the Moving Image brings a unique perspective to the study of computer-generated animation by placing interviews undertaken with animators alongside an analysis of the user interface of animation software. Wood develops a novel framework for considering computer-generated images found in visual effects and animations.

The articles in this book review hybrid experimental-computational methods applied to soft tissues which have been developed by worldwide specialists in the field. People developing computational models of soft tissues and organs will find solutions for calibrating the material parameters of their models; people performing tests on soft tissues will learn what to extract from the data and how to use these data for their models and people worried about the complexity of the biomechanical behavior of soft tissues will find relevant approaches to address this complexity.

The "Handbook of Simulation Optimization" presents an overview of the state of the art of simulation optimization, providing a survey of the most well-established approaches for optimizing stochastic simulation models and a sampling of recent research advances in theory and methodology. Leading contributors cover such topics as discrete optimization via simulation, ranking and selection, efficient simulation budget allocation, random search methods, response surface methodology, stochastic gradient estimation, stochastic approximation, sample average approximation, stochastic constraints, variance reduction techniques, model-based stochastic search methods and Markov decision processes.

This single volume should serve as a reference for those already in the field and as a means for those new to the field for understanding and applying the main approaches. The intended audience includes researchers, practitioners and graduate students in the business/engineering fields of operations research, management science, operations management and stochastic control, as well as in economics/finance and computer science.

Computer programs that simulate complex processes in the real world can provide a quantitative tool for determining how much debt can be added safely to a company's capital structure. The increasing number of bankruptcies and defaults in today's international business arena result from debt overload and point to major shortcomings in the conventional financial evaluation process. In this book, Roy L. Nersesian describes why current methods of risk management fail and how computer simulation can be employed to determine the safe level of debt more accurately. Because the decision to add debt to an organization requires favorable, and essentially independent, decisions from both the borrower and lender, it is necessary to quantify both perspectives. Through actual examples readers will learn how to do this and to translate an actual business situation into a simulation model or program.

Current evaluation systems, according to Nersesian, fail to incorporate the cyclical nature of business activity. They result all too often in an overly optimistic projection of cash flow. Simulation techniques are better able to incorporate the transience of good times and put quantitative analysis of risk on par with quantitative analysis of reward. Simulation techniques also reduce the role of speculative, and highly subjective, judgment. For example, decisionmakers who are not familiar personally with a particular business area, assign more risk to that area than those who are. A quantified risk management system enables executives to rank projects by the degree of risk much as they currently rank them by degree of profitability. The book presents the concept of simulation in terms that can be understood by generalists in corporations and financial institutions. At the same time, it provides computer programmers with an understanding of risk management principles. It will provide a valuable resource for: financial executives, planners and strategists in corporate and governmental organizations; bank lending officers; and computer programmers working with these organizations.

The first volume of the proceedings of the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) covers topics that include convergence and stability analysis, as well as investigations of these methods from the point of view of compatibility with physical principles. It collects together the focused invited papers, as well as the reviewed contributions from internationally leading researchers in the field of analysis of finite volume and related methods. Altogether, a rather comprehensive overview is given of the state of the art in the field.

The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications.

Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations."

This book brings together a rich selection of studies in mathematical modeling and computational intelligence, with application in several fields of engineering, like automation, biomedical, chemical, civil, electrical, electronic, geophysical and mechanical engineering, on a multidisciplinary approach. Authors from five countries and 16 different research centers contribute with their expertise in both the fundamentals and real problems applications based upon their strong background on modeling and computational intelligence. The reader will find a wide variety of applications, mathematical and computational tools and original results, all presented with rigorous mathematical procedures. This work is intended for use in graduate courses of engineering, applied mathematics and applied computation where tools as mathematical and computational modeling, numerical methods and computational intelligence are applied to the solution of real problems.

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.