With an emphasis on models and techniques, this textbook introduces many of the fundamental concepts of stochastic modeling that are now a vital component of almost every scientific investigation. In particular, emphasis is placed onlaying the foundationfor solvingproblemsin reliability, insurance, finance, and credit risk.

The material has been carefully selected to cover the basic concepts and techniques on each topic, making this an ideal introductory gateway to more advanced learning. With exercises and solutions to selected problems accompanying each chapter, this textbook is for a wide audience including advanced undergraduate and beginning-level graduate students, researchers, and practitioners in mathematics, statistics, engineering, and economics."

Over the last decades Discrete Event Simulation has conquered many different application areas. This trend is, on the one hand, driven by an ever wider use of this technology in different fields of science and on the other hand by an incredibly creative use of available software programs through dedicated experts. This book contains articles from scientists and experts from 10 countries. They illuminate the width of application of this technology and the quality of problems solved using Discrete Event Simulation. Practical applications of simulation dominate in the present book. The book is aimed to researchers and students who deal in their work with Discrete Event Simulation and which want to inform them about current applications. By focusing on discrete event simulation, this book can also serve as an inspiration source for practitioners for solving specific problems during their work. Decision makers who deal with the question of the introduction of discrete event simulation for planning support and optimization this book provides a contribution to the orientation, what specific problems could be solved with the help of Discrete Event Simulation within the organization.

This monograph presents teaching material in the field of differential equations while addressing applications and topics in electrical and biomedical engineering primarily. The book contains problems with varying levels of difficulty, including Matlab simulations. The target audience comprises advanced undergraduate and graduate students as well as lecturers, but the book may also be beneficial for practicing engineers alike.

The papers in this volume present rules for mechanical models in a general systematic way, always in combination with small and large examples, many from industry, illustrating the most important features of modeling. The best way to reach a good solution is discussed. The papers address researchers and engineers from academia and from industry, doctoral students and postdocs, working in the fields of mechanical, civil and electrical engineering as well as in fields like applied physics or applied mathematics.

Cognitive Informatics (CI) is the science of cognitive information processing and its applications in cognitive computing. CI is a transdisciplinary enquiry of computer science, information science, cognitive science, and intelligence science that investigates into the internal information processing mechanisms and processes of the brain. Advances and engineering applications of CI have led to the emergence of cognitive computing and the development of Cognitive Computers (CCs) that reason and learn. As initiated by Yingxu Wang and his colleagues, CC has emerged and developed based on the transdisciplinary research in CI, abstract intelligence (aI), and denotational mathematics after the inauguration of the series of IEEE International Conference on Cognitive Informatics since 2002 at Univ. of Calgary, Stanford Univ., and Tsinghua Univ., etc. This volume in LNCS (subseries of Computational Intelligence), LNCI 323, edited by Y. Wang, D. Zhang, and W. Kinsner, presents the latest development in cognitive informatics and cognitive computing. The book focuses on the explanation of cognitive models of the brain, the layered reference model of the brain, the fundamental mechanisms of abstract intelligence, and the implementation of computational intelligence by autonomous inference and learning engines based on CCs.

Stochastic global optimization is a very important subject, that has applications in virtually all areas of science and technology. Therefore there is nothing more opportune than writing a book about a successful and mature algorithm that turned out to be a good tool in solving difficult problems. Here we present some techniques for solving several problems by means of Fuzzy Adaptive Simulated Annealing (Fuzzy ASA), a fuzzy-controlled version of ASA, and by ASA itself. ASA is a sophisticated global optimization algorithm that is based upon ideas of the simulated annealing paradigm, coded in the C programming language and developed to statistically find the best global fit of a nonlinear constrained, non-convex cost function over a multi-dimensional space. By presenting detailed examples of its application we want to stimulate the reader's intuition and make the use of Fuzzy ASA (or regular ASA) easier for everyone wishing to use these tools to solve problems. We kept formal mathematical requirements to a minimum and focused on continuous problems, although ASA is able to handle discrete optimization tasks as well. This book can be used by researchers and practitioners in engineering and industry, in courses on optimization for advanced undergraduate and graduate levels, and also for self-study.

This book contains the proceedings of the 17th European Conference on Mathematics for Industry, ECMI2012, held in Lund, Sweden, July 2012, at whichECMI celebrated its 25th anniversary. It covers mathematics in a wide range of applications and methods, from circuit and electromagnetic devices, environment, fibers, flow, medicine, robotics and automotive industry, further applications to methods and education.

The book includes contributions from leading figures in business, science and academiathat promote the application of mathematics to industry and emphasize industrial sectors that offer the most exciting opportunities. The contributions reinforce the role of mathematics as being a catalyst for innovation as well as an overarching resource for industry and business.

The book features an accessible presentation of real-world problems in industry and finance, provides insight and tools for engineers and scientistswho will help them to solve similar problems and offers modeling and simulation techniques that will provide mathematicians with a source of fresh ideas and inspiration."

Innovations in the area of Defence Support Systems are multi-disciplinary, cover a broad range of technologies, and could not possibly be covered within a single volume. This research book presents a sample of research as below: * On the Transition of Innovation and Technology in Defence * Inserting Innovations In-service * Classification of Battlefield Ground Vehicles based on the Acoustic Emissions * Convoy Movement Problem - An Optimization Perspective * Machine Vision Algorithms for Autonomous Aerial Refueling for UAVs using the USAF Refueling Boom Method * Motion Optimization Scheme for Cooperative Mobile Robots * An Automated Decision System for Landmine Detection and Classification The book is directed to the application engineers, research students, professors, decision makers and scientists & engineers working in defence and related areas.

Logic networks and automata are facets of digital systems. The change of the design of logic networks from skills and art into a scientific discipline was possible by the development of the underlying mathematical theory called the Switching Theory. The fundamentals of this theory come from the attempts towards an algebraic description of laws of thoughts presented in the works by George J. Boole and the works on logic by Augustus De Morgan. As often the case in engineering, when the importance of a problem and the need for solving it reach certain limits, the solutions are searched by many scholars in different parts of the word, simultaneously or at about the same time, however, quite independently and often unaware of the work by other scholars. The formulation and rise of Switching Theory is such an example. This book presents a brief account of the developments of Switching Theory and highlights some less known facts in the history of it. The readers will find the book a fresh look into the development of the field revealing how difficult it has been to arrive at many of the concepts that we now consider obvious . Researchers in the history or philosophy of computing will find this book a valuable source of information that complements the standard presentations of the topic.

Based on a rigorous selection of submissions to The 29th International Symposium on Computer and Information Sciences (ISCIS 2014), this books includes some of the most recent ideas and technical results in computer systems, computer science, and computer-communication networks. It offers the reader a timely access to innovative research and advances in computing and communications from many different areas of the world. The topics covered include (but are not limited to) computer architectures and digital systems, algorithms, theory, software engineering, data engineering, computational intelligence, system security, computer systems and networks, performance modeling and analysis, distributed and parallel systems, bioinformatics, computer vision and significant applications such as medical informatics and imaging. The 29th International Symposium on Computer and Information Sciences (ISCIS 2014) took place in Krakow Old City, Poland on October, 27-8, 2014.

Providing a step-by-step guide for the implementation of virtual manufacturing using Creo Parametric software (formerly known as Pro-Engineer), this book creates an engaging and interactive learning experience for manufacturing engineering students. Featuring graphic illustrations of simulation processes and operations, and written in accessible English to promote user-friendliness, the book covers key topics in the field including: the engraving machining process, face milling, profile milling, surface milling, volume rough milling, expert machining, electric discharge machining (EDM), and area turning using the lathe machining process. Maximising reader insights into how to simulate material removal processes, and how to generate cutter location data and G-codes data, this valuable resource equips undergraduate, postgraduate, BTech and HND students in the fields of manufacturing engineering, computer aided design (CAD) and computer aided engineering (CAE) with transferable skills and knowledge. This book is also intended for technicians, technologists and engineers new to Creo Parametric software.

Variational Inequalities and Frictional Contact Problems contains a carefully selected collection of results on elliptic and evolutionary quasi-variational inequalities including existence, uniqueness, regularity, dual formulations, numerical approximations and error estimates ones. By using a wide range of methods and arguments, the results are presented in a constructive way, with clarity and well justified proofs. This approach makes the subjects accessible to mathematicians and applied mathematicians. Moreover, this part of the book can be used as an excellent background for the investigation of more general classes of variational inequalities. The abstract variational inequalities considered in this book cover the variational formulations of many static and quasi-static contact problems. Based on these abstract results, in the last part of the book, certain static and quasi-static frictional contact problems in elasticity are studied in an almost exhaustive way. The readers will find a systematic and unified exposition on classical, variational and dual formulations, existence, uniqueness and regularity results, finite element approximations and related optimal control problems. This part of the book is an update of the Signorini problem with nonlocal Coulomb friction, a problem little studied and with few results in the literature. Also, in the quasi-static case, a control problem governed by a bilateral contact problem is studied. Despite the theoretical nature of the presented results, the book provides a background for the numerical analysis of contact problems. The materials presented are accessible to both graduate/under graduate students and to researchers in applied mathematics, mechanics, and engineering. The obtained results have numerous applications in mechanics, engineering and geophysics. The book contains a good amount of original results which, in this unified form, cannot be found anywhere else.

This edited volume is targeted at presenting the latest state-of-the-art methodologies in "Hybrid Evolutionary Algorithms." The chapters deal with the theoretical and methodological aspects, as well as various applications to many real world problems from science, technology, business or commerce. Overall, the book has 14 chapters including an introductory chapter giving the fundamental definitions and some important research challenges. The contributions were selected on the basis of fundamental ideas/concepts rather than the thoroughness of techniques deployed.

The term "soft computing" applies to variants of and combinations under the four broad categories of evolutionary computing, neural networks, fuzzy logic, and Bayesian statistics. Although each one has its separate strengths, the complem- tary nature of these techniques when used in combination (hybrid) makes them a powerful alternative for solving complex problems where conventional mat- matical methods fail. The use of intelligent and soft computing techniques in the field of geo- chanical and pavement engineering has steadily increased over the past decade owing to their ability to admit approximate reasoning, imprecision, uncertainty and partial truth. Since real-life infrastructure engineering decisions are made in ambiguous environments that require human expertise, the application of soft computing techniques has been an attractive option in pavement and geomecha- cal modeling. The objective of this carefully edited book is to highlight key recent advances made in the application of soft computing techniques in pavement and geo- chanical systems. Soft computing techniques discussed in this book include, but are not limited to: neural networks, evolutionary computing, swarm intelligence, probabilistic modeling, kernel machines, knowledge discovery and data mining, neuro-fuzzy systems and hybrid approaches. Highlighted application areas include infrastructure materials modeling, pavement analysis and design, rapid interpre- tion of nondestructive testing results, porous asphalt concrete distress modeling, model parameter identification, pavement engineering inversion problems, s- grade soils characterization, and backcalculation of pavement layer thickness and moduli.

Information security and copyright protection are more important today than before. Digital watermarking is one of the widely used techniques used in the world in the area of information security. This book introduces a number of digital watermarking techniques and is divided into four parts. The first part introduces the importance of watermarking techniques and intelligent technology. The second part includes a number of watermarking techniques. The third part includes the hybrid watermarking techniques and the final part presents conclusions. This book is directed to students, professors, researchers and application engineers who are interested in the area of information security.

Kinematics is an exciting area of computational mechanics which plays a central role in a great variety of fields and industrial applications. Apart from research in pure kinematics, the field offers challenging problems of practical relevance that need to be solved in an interdisciplinary manner in order for new technologies to develop. The present book collects a number of important contributions presented during the First Conference on Interdisciplinary Applications of Kinematics (IAK 2008) held in Lima, Peru. To share inspiration and non-standard solutions among the different applications, the conference brought together scientists from several research fields related to kinematics, such as for example, computational kinematics, multibody systems, industrial machines, robotics, biomechanics, mechatronics and chemistry. The conference focused on all aspects of kinematics, namely modeling, optimization, experimental validation, industrial applications, theoretical kinematical methods, and design. The results should be of interest for practicing and research engineers as well as Ph.D. students from the fields of mechanical and electrical engineering, computer science, and computer graphics.

This volume contains the articles presented at the 21st International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and was held on October 7-10, 2012 in San Jose, CA, USA. The first IMR was held in 1992, and the conference series has been held annually since. Each year the IMR brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical papers in this volume present theoretical and novel ideas and algorithms with practical potential, as well as technical applications in science and engineering, geometric modeling, computer graphics, and visualization.

The latest state of simulation techniques to model plasticity and fracture in crystalline materials on the nano- and microscale is presented. Discrete dislocation mechanics and the neighbouring fields molecular dynamics and crystal plasticity are central parts. The physical phenomena, the theoretical basics, their mathematical description and the simulation techniques are introduced and important problems from the formation of dislocation structures to fatigue and fracture from the nano- to microscale as well as it 's impact on the macro behaviour are considered.

This volume aims to provide a new perspective on the broader usage of Hidden Markov Models (HMMs) in biology. Hidden Markov Models: Methods and Protocols guides readers through chapters on biological systems; ranging from single biomolecule, cellular level, and to organism level and the use of HMMs in unravelling the complex mechanisms that govern these complex systems. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls. Authoritative and practical, Hidden Markov Models: Methods and Protocols aims to demonstrate the impact of HMM in biology and inspire new research.

The use of computational methods in statistics to face complex problems and highly dimensional data, as well as the widespread availability of computer technology, is no news. The range of applications, instead, is unprecedented. As often occurs, new and complex data types require new strategies, demanding for the development of novel statistical methods and suggesting stimulating mathematical problems. This book is addressed to researchers working at the forefront of the statistical analysis of complex systems and using computationally intensive statistical methods.

Foundations of Computational Intelligence Volume 4: Bio-Inspired Data Mining Theoretical Foundations and Applications Recent advances in the computing and electronics technology, particularly in sensor devices, databases and distributed systems, are leading to an exponential growth in the amount of data stored in databases. It has been estimated that this amount doubles every 20 years. For some applications, this increase is even steeper. Databases storing DNA sequence, for example, are doubling their size every 10 months. This growth is occurring in several applications areas besides bioinformatics, like financial transactions, government data, environmental mo- toring, satellite and medical images, security data and web. As large organizations recognize the high value of data stored in their databases and the importance of their data collection to support decision-making, there is a clear demand for - phisticated Data Mining tools. Data mining tools play a key role in the extraction of useful knowledge from databases. They can be used either to confirm a parti- lar hypothesis or to automatically find patterns. In the second case, which is - lated to this book, the goal may be either to describe the main patterns present in dataset, what is known as descriptive Data Mining or to find patterns able to p- dict behaviour of specific attributes or features, known as predictive Data Mining. While the first goal is associated with tasks like clustering, summarization and association, the second is found in classification and regression problems.

This monograph describes a new family of algorithms for the simultaneous localization and mapping (SLAM) problem in robotics, called FastSLAM. The FastSLAM-type algorithms have enabled robots to acquire maps of unprecedented size and accuracy, in a number of robot application domains and have been successfully applied in different dynamic environments, including a solution to the problem of people tracking.

Digital geometry emerged as an independent discipline in the second half of the last century. It deals with geometric properties of digital objects and is developed with the unambiguous goal to provide rigorous theoretical foundations for devising new advanced approaches and algorithms for various problems of visual computing. Different aspects of digital geometry have been addressed in the literature. This book is the first one that explicitly focuses on the presentation of the most important digital geometry algorithms. Each chapter provides a brief survey on a major research area related to the general volume theme, description and analysis of related fundamental algorithms, as well as new original contributions by the authors. Every chapter contains a section in which interesting open problems are addressed.

This work gathers a selection of outstanding papers presented at the 25th Conference on Differential Equations and Applications / 15th Conference on Applied Mathematics, held in Cartagena, Spain, in June 2017. It supports further research into both ordinary and partial differential equations, numerical analysis, dynamical systems, control and optimization, trending topics in numerical linear algebra, and the applications of mathematics to industry. The book includes 14 peer-reviewed contributions and mainly addresses researchers interested in the applications of mathematics, especially in science and engineering. It will also greatly benefit PhD students in applied mathematics, engineering and physics.

This book provides a solid introduction to the foundation and the application of the finite element method in structural analysis. It offers new theoretical insight and practical advice. This second edition contains additional sections on sensitivity analysis, on retrofitting structures, on the Generalized FEM (X-FEM) and on model adaptivity. An additional chapter treats the boundary element method, and related software is available at www.winfem.de.