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.

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

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.

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.

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.

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

"

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.

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.

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

Stokes discusses--and illustrates with output from actual problems--a number of applied econometric techniques, including OLS specification tests, recursive residual analysis, limited dependent variable models, error component models, and others. His book is clearly written and copiously illustrated with equations, with follow-up analysis to show how models are built and some of their limitations. His B34S DEGREESDTM software is available and allows readers to do further research with a large number of datasets distributed with the program. A necessary resource for applied econometrics researchers in economics, finance, and in health, energy, and labor economics.

This work illustrates the use of model specification and diagnostic tests applied to a variety of econometric modeling techniques. For each technique discussed the basic mathematical models are outlined. A sample problem is discussed and estimated using the B34S DEGREESDTM Data Analysis System. The output of the program is displayed in the text and discussed. Where appropriate, output from the RATS DEGREESDTM software is displayed. Follow-up models are estimated and discussed. The examples selected are taken from a variety of sources and reflect actual applied research. Complete data are given in the text to enable the reader to use these problems with other programs and techniques. It is the author's experience that applied econometric techniques are best learned by running actual problems. Since most users experiment with a limited number of techniques, their experience is limited. This book discusses a broad range of techniques and shows how they are interrelated. DEGREESL DEGREESL The techniques discussed include the following: simple, one-equation OLS and GLS models with continuous variables on the left-hand side, which are tested with recursive residual and BLUS residual techniques. Another class of models includes restrictions on the left-hand side variables. Models studied and illustrated with data include probit, logit, multinomial logit, and ordered probit models. Other techniques discussed and illustrated include two-stage least squares, limited information maximum likelihood, three-stage least squares, iterative three-stage least squares, error component models and Markov probability models, which are illustrated with a model of OPEC production dynamics.

ARIMA and transfer function models are shown to be generalizations of the single-equation model, while VAR and VARMA models are shown to be a time series generalization of three-stage least squares and full information maximum likelihood models. VAR models are viewed in the frequency domain for added insight, and extensive nonlinearity tests are developed and applied. More specialized techniques include state space models, optimal control analysis, nonlinear analysis, and the QR approach to computation. An important feature of the book is the emphasis on nonlinear model building. The Hinich nonlinear testing approach is discussed and integrated into the OLS, times series, and nonlinear estimation procedures. The MARS and PISPLINE methods of analysis are illustrated with models that failed linearity tests when estimated with linear methods. The purpose of the monograph is to illustrate the above techniques, using actual research data. To facilitate the calculations, the B34S DEGREESDTM Data Analysis System was developed. Sample output for all procedures discussed in the text has been provided so that the availability of the B34S DEGREESDTM program is DEGREESInot DEGREESR required in order to benefit from this book. While the book is self-contained, interested readers can obtain the B34S DEGREESDTM Data Analysis program and do further research with the datasets discussed in the book which are supplied with the software.

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.

The book describes recent research results in the areas of modelling, creation, management and presentation of interactive 3D multimedia content. The book describes the current state of the art in the field and identifies the most important research and design issues. Consecutive chapters address these issues. These are: database modelling of 3D content, security in 3D environments, describing interactivity of content, searching content, visualization of search results, modelling mixed reality content, and efficient creation of interactive 3D content. Each chapter is illustrated with example applications based on the proposed approach. The final chapter discusses some important ethical issues related to the widespread use of virtual environments in everyday life. The book provides ready to use solutions for many important problems related to the creation of interactive 3D multimedia applications and will be a primary reading for researchers and developers working in this domain.

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 focuses on the development of 3D design and implementation methodologies for Tree-based FPGA architecture. It also stresses the needs for new and augmented 3D CAD tools to support designs such as, the design for 3D, to manufacture high performance 3D integrated circuits and reconfigurable FPGA-based systems. This book was written as a text that covers the foundations of 3D integrated system design and FPGA architecture design. It was written for the use in an elective or core course at the graduate level in field of Electrical Engineering, Computer Engineering and Doctoral Research programs. No previous background on 3D integration is required, nevertheless fundamental understanding of 2D CMOS VLSI design is required. It is assumed that reader has taken the core curriculum in Electrical Engineering or Computer Engineering, with courses like CMOS VLSI design, Digital System Design and Microelectronics Circuits being the most important. It is accessible for self-study by both senior students and professionals alike.

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.