Presenting techniques, case-studies and methodologies that combine the use of simulation approaches with optimization techniques for facing problems in manufacturing, logistics, or aeronautical problems, this book provides solutions to common industrial problems in several fields, which range from manufacturing to aviation problems, where the common denominator is the combination of simulation's flexibility with optimization techniques' robustness. Providing readers with a comprehensive guide to tackle similar issues in industrial environments, this text explores novel ways to face industrial problems through hybrid approaches (simulation-optimization) that benefit from the advantages of both paradigms, in order to give solutions to important problems in service industry, production processes, or supply chains, such as scheduling, routing problems and resource allocations, among others.

This volume consists of twenty-four papers selected by the editors from the sixty-one papers presented at the 1st International Conference on Mathemati cal Methods in Reliability held at the Politehnica University of Bucharest from 16 to 19 September 1997. The papers have been divided into three sections: statistical methods, probabilistic methods, and special techniques and appli cations. Of course, as with any classification, some papers could be as well assigned to other sections. Problems in reliability are encountered in items in everyday usage. Relia bility is an important feature of household appliances, cars, telephones, power supplies, and so on, whether viewed from the vantage of the producer or the consumer. Important decisions are based on the reliability of the product. Obtaining systems that perform adequately for a specified period of time in a given environment is an important goal for both government and industry. Hence study and use of reliability theory, which can be applied in the research, development, and production phases of a system to enable the user to evaluate and improve performance, is a worthwhile venture. If reliability theory is to be useful, it must be quantitative in nature, because reliability must be demonstra ble. Subsequently probability and statistics, among others, play an important part in its development."

Presents a discrete in time-space universal map of relative dynamics that is used to unfold an extensive catalogue of dynamic events not previously discussed in mathematical or social science literature. With emphasis on the chaotic dynamics that may ensue, the book describes the evolution on the basis of temporal and locational advantages. It explains nonlinear discrete time dynamic maps primarily through numerical simulations. These very rich qualitative dynamics are linked to evolution processes in socio-spatial systems. Important features include: The analytical properties of the one-stock, two- and three-location map; the numerical results from the one- and two-stock, two- and three-location dynamics; and the demonstration of the map's potential applicability in the social sciences through simulating population dynamics of the U.S. Regions over a two-century period. In addition, this book includes new findings: the Hopf equivalent discrete time dynamics bifurcation; the Feigenbaum slope-sequences; the presence of strange local attractors and containers; switching of extreme states; the presence of different types of turbulence; local and global turbulence. Intended for researchers and advanced graduate students in applied mathematics and an interest in dynamics and chaos. Mathematical social scientists in many other fields will also find this book useful.

One of the most exciting predictions of Einstein's theory of gravitationisthat there may exist 'black holes': putative objects whose gravitational fields are so strong that no physical bodies and signals can break free of their pull and escape. Even though a completely reliable discovery of a black hole has not yet been made, several objects among those scrutinized by astrophysicists will very likely be conformed as black holes. The proof that they do exist, and an analysis of their properties, would have a significance going far beyond astrophysics. Indeed, what is involved is not just the discovery of yet another, even if extremely remarkable, astrophysical object, but a test of the correctness of our understanding the properties of space and time in extremely strong gravitational fields. Theoretical research into the properties of black holes and into the possible corollaries of the hypothesis that they exist, has been carried out with special vigor since the beginning of the 1970s. In addition to those specific features of black holes that are important for the interpretation of their possible astrophysical manifestations, the theory has revealed a nurober of unexpected characteristics of physical interactions involving black holes. By now, a fairly detailed understanding has been achieved of the properties of the black holes, their possible astrophysical manifestations, and the specifics of the various physical processes involved. Furthermore, profound links were found between black-hole theory and such seemingly very distant fields as thermodynamics, information theory, and quantum theory.

This is the first book on the subject since its introduction more than fifty years ago, and it can be used as a graduate text or as a reference work. It features all of the key results, many very useful tables, and a large number of research problems. The book will be of interest to those interested in one of the most fascinating areas of discrete mathematics, connected to statistics and coding theory, with applications to computer science and cryptography. It will be useful for anyone who is running experiments, whether in a chemistry lab or a manufacturing plant (trying to make those alloys stronger), or in agricultural or medical research. Sam Hedayat is Professor of Statistics and Senior Scholar in the Department of Mathematics, Statistics, and Computer Science, University of Illinois, Chicago. Neil J.A. Sloane is with AT&T Bell Labs (now AT&T Labs). John Stufken is Professor Statistics at Iowa State University.

Over the past decade or so, we have seen a multitude of improvement programmes and projects to improve the safety of patient care in healthcare. However, the full potential of these efforts and especially those that seek to address an entire system has not yet been reached. The current pandemic has made this more evident than ever. We have tended to focus on problems in isolation, one harm at a time, and our efforts have been simplistic and myopic. If we are to save more lives and significantly reduce patient harm, we need to adopt a holistic, systematic approach that extends across cultural, technological, and procedural boundaries. Patient Safety Now is about the fact that it is time to care for everyone impacted by patient safety, how we need to take the time to care for everyone in a meaningful way and how hospitals need to enable staff time to care safely. This book builds on the author's two previous books on patient safety. Rethinking Patient Safety talked about ways in which we need to rethink patient safety in healthcare and describes what we've learned over the last two decades. Implementing Patient Safety talked about what we can do differently and how we can use those lessons learned to improve the way we implement patient safety initiatives and encourage a culture of safety across a healthcare system. Patient Safety Now unites the concepts, theories and ideas of the previous two books with updated material and examples, including what has been learned by patient safety specialists during a pandemic. Patient Safety Now provides the reader with a unique view of patient safety that looks beyond the traditional negative and retrospective approach to one that is proactive and recognizes the impact of conditions, behaviours and cultures that exist in healthcare on everyone. It is written not only for healthcare professionals and patient safety personnel, but for patients and their families who all want the same thing. Too often when things go wrong, relationships quickly become adversarial when in fact this can be avoided by recognizing that, rather than being in separate camps, there are shared needs and goals in relations to patient safety.

This book introduces readers to the basic concepts of and latest findings in the area of differential equations with uncertain factors. It covers the analytic method and numerical method for solving uncertain differential equations, as well as their applications in the field of finance. Furthermore, the book provides a number of new potential research directions for uncertain differential equation. It will be of interest to researchers, engineers and students in the fields of mathematics, information science, operations research, industrial engineering, computer science, artificial intelligence, automation, economics, and management science.

Special functions are pervasive in all fields of science and industry. The most well-known application areas are in physics, engineering, chemistry, computer science and statistics. Because of their importance, several books and websites (see for instance http: functions.wolfram.com) and a large collection of papers have been devoted to these functions. Of the standard work on the subject, namely the Handbook of Mathematical Functions with formulas, graphs and mathematical tables edited by Milton Abramowitz and Irene Stegun, the American National Institute of Standards claims to have sold over 700.000 copies But so far no project has been devoted to the systematic study of continued fraction representations for these functions. This handbook is the result of such an endeavour. We emphasise that only 10% of the continued fractions contained in this book, can also be found in the Abramowitz and Stegun project or at the Wolfram website

This book offers a comprehensive introduction to advanced methods for image and video analysis and processing. It covers deraining, dehazing, inpainting, fusion, watermarking and stitching. It describes techniques for face and lip recognition, facial expression recognition, lip reading in videos, moving object tracking, dynamic scene classification, among others. The book combines the latest machine learning methods with computer vision applications, covering topics such as event recognition based on deep learning,dynamic scene classification based on topic model, person re-identification based on metric learning and behavior analysis. It also offers a systematic introduction to image evaluation criteria showing how to use them in different experimental contexts. The book offers an example-based practical guide to researchers, professionals and graduate students dealing with advanced problems in image analysis and computer vision.

Developments in mathematical physics during the second half of the 20th century influenced a number of mathematical areas, among the more significant being representation theory, differential equations, combinatorics, and algebraic geometry. In all of them, the dynamic role of integrable models has been central, largely due to two essential properties: the fact that integrable models possess infinite degrees of freedom and infinite dimensional symmetries. This volume focuses on the ongoing importance of integrability in covering the following topics: conformal field theory, massive quantum field theory, solvable lattice models, quantum affine algebras, the Painleve equations and combinatorics.

Contributors: H. Au-Yang, R.J. Baxter, H.E. Boos, E. Date, K. Fabricius, V.A. Fateev, B. Feigin, G.Hatayama, A. Its, M. Jimbo, A. Kapaev, A.N. Kirillov, V.E. Korepin, A.Kuniba, J.M. Maillet, B.M. McCoy, C. Mercat, T. Miwa, A. Nakayashiki, M.Okado, C.H.Otto Chui, P.A. Pearce, J.H.H. Perk, V. Petkova, A. Schilling, F.A. Smirnov, T.Takagi, Y. Takeyama, M. Taneda, C.A. Tracy, Z.Tsuboi, H. Widom, J.-B. Zuber 'MathPhys

"Odyssey 2001" will serve as an excellent reference text for mathematical physicists and graduate students in a number of areas."

A course in angular momentum techniques is essential for quantitative study of problems in atomic physics, molecular physics, nuclear physics and solid state physics. This book has grown out of such a course given to the students of the M. Sc. and M. Phil. degree courses at the University of Madras. An elementary knowledge of quantum mechanics is an essential pre-requisite to undertake this course but no knowledge of group theory is assumed on the part of the readers. Although the subject matter has group-theoretic origin, special efforts have been made to avoid the gro- theoretical language but place emphasis on the algebraic formalism dev- oped by Racah (1942a, 1942b, 1943, 1951). How far I am successful in this project is left to the discerning reader to judge. After the publication of the two classic books, one by Rose and the other by Edmonds on this subject in the year 1957, the application of angular momentum techniques to solve physical problems has become so common that it is found desirable to organize a separate course on this subject to the students of physics. It is to cater to the needs of such students and research workers that this book is written. A large number of questions and problems given at the end of each chapter will enable the reader to have a clearer understanding of the subject.

This book develops applications of novel generalizations of fuzzy information measures in the field of pattern recognition, medical diagnosis, multi-criteria and multi-attribute decision making and suitability in linguistic variables. The focus of this presentation lies on introducing consistently strong and efficient generalizations of information and information-theoretic divergence measures in fuzzy and intuitionistic fuzzy environment covering different practical examples. The target audience comprises primarily researchers and practitioners in the involved fields but the book may also be beneficial for graduate students.

This book builds inviscid flow analysis from an undergraduate-level treatment of potential flow to the level required for research. The tools covered in this book allow the reader to develop physics-based mathematical models for a variety of flows, including attached and separated flows past wings, fins, and blades of various shapes undergoing arbitrary motions. The book covers all of the ingredients of these models: the solution of potential flows about arbitrary body shapes in two- and three-dimensional contexts, with a particular focus on conformal mapping in the plane; the decomposition of the flow into contributions from ambient vorticity and body motion; generalized edge conditions, of which the Kutta condition is a special case; and the calculation of force and moment, with extensive treatments of added mass and the influence of fluid vorticity. The book also contains an extensive primer with all of the necessary mathematical tools. The concepts are demonstrated on several example problems, both classical and modern.

N.G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. In the 1960s he became fascinated by the new computer technology and decided to start the Automath project where he could check, with the help of the computer, the correctness of books on mathematics. Through his work on Automath de Bruijn started a revolution in using the computer for verification, and since, we have seen more and more proof-checking and theorem-proving systems.
Automath was written in Algol 60 and implemented on the primitive computers of the sixties. Thirty years on, both technology and theory have evolved a lot leading to impressive new directions in using the computer for manipulating and checking mathematics. This volume is a collection of papers with a personal flavour. It consists of 11 articles which propose interesting variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation in the past 35 years.
The first paper is by de Bruijn himself where he uses his experience of automating mathematics to reason about the human mind. After that a number of intriguing articles have been contributed by amongst others Henk Barendregt, who proposes a mathematical proof language between informal and formalised mathematics which helps make proof assistants more user friendly, and Robert Constable, explaining how Automath's telescopes, books and definitions compare to recent developments in computational type theory made by his Nuprl group. The volume further includes a strong argumentation by Arnon Avron that for automated reasoning, there is an interesting logic, somewhere strictly between first and second order logic, determined essentially by an analysis of transitive closure, yielding induction; and Murdoch Gabbay presenting an interesting generalisation of Fraenkel-Mostowski (FM) set theory within higher-order logic, and applying it to model Milner's p-calculus.

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011) and Lausanne (2013). This book presents a selection of invited and contributed lectures from the ENUMATH 2015 conference, which was organised by the Institute of Applied Mathematics (IAM), Middle East Technical University, Ankara, Turkey, from September 14 to 18, 2015. It offers an overview of central recent developments in numerical analysis, computational mathematics, and applications in the form of contributions by leading experts in the field.

Addressing students and researchers as well as Computational Fluid Dynamics practitioners, this book is the most comprehensive review of high-resolution schemes based on the principle of Flux-Corrected Transport (FCT). The foreword by J.P. Boris and historical note by D.L. Book describe the development of the classical FCT methodology for convection-dominated transport problems, while the design philosophy behind modern FCT schemes is explained by S.T. Zalesak. The subsequent chapters present various improvements and generalizations proposed over the past three decades.
In this new edition, recent results are integrated into existing chapters in order to describe significant advances since the publication of the first edition. Also, 3 new chapters were added in order to cover the following topics: algebraic flux correction for finite elements, iterative and linearized FCT schemes, TVD-like flux limiters, acceleration of explicit and implicit solvers, mesh adaptation, failsafe limiting for systems of conservation laws, flux-corrected interpolation (remapping), positivity preservation in RANS turbulence models, and the use of FCT as an implicit subgrid scale model for large eddy simulations.

"The present volume is a welcome edition to the growing number of books that develop geometrical language and use it to describe new developments in particle physics ... It provides clear treatment that is accessible to graduate students with a knowledge of advanced calculus and of classical physics.... The second half of the book deals with the principles of differential geometry and its applications, with a mathematical machinery of very wide range. Here clear line drawings and illustrations supplement the multitude of mathematical definitions. This section, in its clarity and pedagogy, is reminiscent of Gravitation by Charles Misner, Kip Thorne and John Wheeler.... Felsager gives a very clear presentation of the use of geometric methods in particle physics.... For those who have resisted learning this new language, his book provides a very good introduction as well as physical motivation. The inclusion of numerous exercises, worked out, renders the book useful for independent study also. I hope this book will be followed by others from authors with equal flair to provide a readable excursion into the next step." -Physics Today Topics covered include: - Basic Properties of Particles and Fields - Electromagnetism; - Interaction of Fields and Particles - Dynamics of Classical Fields - Solitons - Path Integrals and Instantons - Basic Principles and Applications of Differential Geometry - Differentiable Manifolds and Tensor Analysis - Differential Forms and the Exterior Algebra - Integral Calculus on Manifolds - Dirac Monopoles - Smooth Maps and Winding Numbers - Symmetries and Conservation Laws

The authors focus on the mathematical models and methods that support most data mining applications and solution techniques.

In recent years kinetic theory has developed in many areas of the physical sciences and engineering, and has extended the borders of its traditional fields of application. New applications in traffic flow engineering, granular media modeling, and polymer and phase transition physics have resulted in new numerical algorithms which depart from traditional stochastic Monte--Carlo methods.This monograph is a self-contained presentation of such recently developed aspects of kinetic theory, as well as a comprehensive account of the fundamentals of the theory. Emphasizing modeling techniques and numerical methods, the book provides a unified treatment of kinetic equations not found in more focused theoretical or applied works.The book is divided into two parts. Part I is devoted to the most fundamental kinetic model: the Boltzmann equation of rarefied gas dynamics. Additionally, widely used numerical methods for the discretization of the Boltzmann equation are reviewed: the Monte--Carlo method, spectral methods, and finite-difference methods. Part II considers specific applications: plasma kinetic modeling using the Landau--Fokker--Planck equations, traffic flow modeling, granular media m

This book explains the nature and computation of mathematical wavelets, which provide a framework and methods for the analysis and the synthesis of signals, images, and other arrays of data. The material presented here addresses the au dience of engineers, financiers, scientists, and students looking for explanations of wavelets at the undergraduate level. It requires only a working knowledge or memories of a first course in linear algebra and calculus. The first part of the book answers the following two questions: What are wavelets? Wavelets extend Fourier analysis. How are wavelets computed? Fast transforms compute them. To show the practical significance of wavelets, the book also provides transitions into several applications: analysis (detection of crashes, edges, or other events), compression (reduction of storage), smoothing (attenuation of noise), and syn thesis (reconstruction after compression or other modification). Such applications include one-dimensional signals (sounds or other time-series), two-dimensional arrays (pictures or maps), and three-dimensional data (spatial diffusion). The ap plications demonstrated here do not constitute recipes for real implementations, but aim only at clarifying and strengthening the understanding of the mathematics of wavelets."

Designing satellite structures poses an ongoing challenge as the interaction between analysis, experimental testing, and manufacturing phases is underdeveloped. "Finite Element Analysis for Satellite Structures: Applications to Their Design, Manufacture & Testing "explains the theoretical and practical knowledge needed to perform design of satellite structures. By layering detailed practical discussions with fully developed examples, "Finite Element Analysis for Satellite Structures: Applications to Their Design, Manufacture & Testing" provides the missing link between theory and implementation.

Computational examples cover all the major aspects of advanced analysis; including modal analysis, harmonic analysis, mechanical and thermal fatigue analysis using finite element method. Test cases are included to support explanations an a range of different manufacturing simulation techniques are described from riveting to shot peening to material cutting. Mechanical design of a satellites structures are covered in three steps: analysis step under design loads, experimental testing to verify design, and manufacturing.

Stress engineers, lecturers, researchers and students will find "Finite Element Analysis for Satellite Structures: Applications to Their Design, Manufacture & Testing "a key guide on with practical instruction on applying manufacturing simulations to improve their design and reduce project cost, how to prepare static and dynamic test specifications, and how to use finite element method to investigate in more details any component that may fail during testing. "

From reviews of the first edition: "The important feature of the present book is that it starts from the beginning (with only a very modest knowledge assumed) and covers all important topics... The book is very carefully organized [and] ends with 20 pages of useful historic comments. Such a comprehensive and carefully written treatment of fundamentals of the theory will certainly be a basic reference and text book in the future." -- Newsletter of the EMS "This is a fundamental book and none, beginner or expert, could afford to ignore it. Some results are really difficult to be found in other monographs, while others are for the first time included in a book." -- Mathematica "Each chapter begins with an excellent summary of the content and ends with an exercise section... This is really an outstanding book, well written and beautifully produced. It is both a graduate text and a monograph, so it can be recommended to graduate students as well as to specialists." -- Publicationes Mathematicae Lie Groups Beyond an Introduction takes the reader from the end of introductory Lie group theory to the threshold of infinite-dimensional group representations. Merging algebra and analysis throughout, the author uses Lie-theoretic methods to develop a beautiful theory having wide applications in mathematics and physics. A feature of the presentation is that it encourages the reader's comprehension of Lie group theory to evolve from beginner to expert: initial insights make use of actual matrices, while later insights come from such structural features as properties of root systems, or relationships among subgroups, or patterns among different subgroups. Topics include a description of all simplyconnected Lie groups in terms of semisimple Lie groups and semidirect products, the Cartan theory of complex semisimple Lie algebras, the Cartan-Weyl theory of the structure and representations of compact Lie groups and representations of complex semisimple Lie algebras, the classification of real semisimple Lie algebras, the structure theory of noncompact reductive Lie groups as it is now used in research, and integration on reductive groups. Many problems, tables, and bibliographical notes complete this comprehensive work, making the text suitable either for self-study or for courses in the second year of graduate study and beyond.

This book considers recent developments in numerical error estimation and adaptive discretization for finite element and finite volume methods with particular attention given to discretization methods used frequently in computational fluid dynamics. The volume consists of six detailed articles by leading specialists covering a range of topics including a posteriori error estimation of functionals, one- and two-sided error bounds, error indicators for ad aptivity, and nd geometrical aspects of adaptive mesh refinement. This book should be of interest to readers actively working in the field as well as readers seeking a comprehensive introduction to the topic.

A new approach is presented in this book for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite Element method. The new approach is based on homogeneous transformations and joint coordinates. Apart from its simple physical interpretation and easy computer implementation, the method is also valuable for educational purposes since it impressively illustrates the impact of mechanical features on the mathematical model.

Numbers ... , natural, rational, real, complex, p-adic .... What do you know about p-adic numbers? Probably, you have never used any p-adic (nonrational) number before now. I was in the same situation few years ago. p-adic numbers were considered as an exotic part of pure mathematics without any application. I have also used only real and complex numbers in my investigations in functional analysis and its applications to the quantum field theory and I was sure that these number fields can be a basis of every physical model generated by nature. But recently new models of the quantum physics were proposed on the basis of p-adic numbers field Qp. What are p-adic numbers, p-adic analysis, p-adic physics, p-adic probability? p-adic numbers were introduced by K. Hensel (1904) in connection with problems of the pure theory of numbers. The construction of Qp is very similar to the construction of (p is a fixed prime number, p = 2,3,5, ... ,127, ... ). Both these number fields are completions of the field of rational numbers Q. But another valuation 1 . Ip is introduced on Q instead of the usual real valuation 1 . I* We get an infinite sequence of non isomorphic completions of Q : Q2, Q3, ... , Q127, ... , IR = Qoo* These fields are the only possibilities to com plete Q according to the famous theorem of Ostrowsky.