This book presents step-by-step description of the use of Lie group analysis to find symmetry forms and similarity solutions for single- and two-phase laminar and turbulent flows of nanofluids. It outlines novel and unique analytical solutions validated via comparisons with experimental data. The main part of the book is devoted to analytical modeling of film condensation of still and moving vapor with nanoparticles, stable film boiling of nanofluids, instantaneous unsteady boiling and condensation of nano- and ordinary fluids and clarification and quantification of instability conditions in the vapor layer, as well as centrifugal and Dean instability in nanofluids. It was demonstrated that such complex phenomena can be successfully simulated using the proposed approaches validated via reliable experiments. The book is intended for scientists, engineers, graduate and undergraduate students specializing in the area of engineering thermodynamics, heat and mass transfer and energy systems.

Newtonian Nonlinear Dynamics for Complex Linear and Optimization Problems explores how Newton's equation for the motion of one particle in classical mechanics combined with finite difference methods allows creation of a mechanical scenario to solve basic problems in linear algebra and programming. The authors present a novel, unified numerical and mechanical approach and an important analysis method of optimization.

This book presents recent developments and new directions in advanced control systems, together with new theoretical findings, industrial applications and case studies on complex engineering systems, sensors, materials science, medicine, non-destructive testing and quality assurance. With a breakthrough in technology, the modern world is on the verge of new industrial revolution, at the stage of digital transformation when innovations from various industries collaborate and change each other. Innovations are the basis of the developed products and technologies. They are used to create new developments and advances as well as improve the state-of-the-art processes. However, the digital transformation both opens new opportunities and introduces additional risks. The successful industrial modernization is characterized by the combination of stable manufacturing regulatory structure with the new technological approaches of the Fourth Industrial Revolution. Developments and advances of School of Non-Destructive Testing relate to technological trends in the areas of systems, decision making and control in the fields of aerospace systems, robotics and automation, power systems and sensor networks.

This book provides a comprehensive methodology to measure systemic risk in many of its facets and dimensions based on state-of-the-art risk assessment methods. Systemic risk has gained attention in the public eye since the collapse of Lehman Brothers in 2008. The bankruptcy of the fourth-biggest bank in the USA raised questions whether banks that are allowed to become "too big to fail" and "too systemic to fail" should carry higher capital surcharges on their size and systemic importance. The Global Financial Crisis of 2008-2009 was followed by the Sovereign Debt Crisis in the euro area that saw the first Eurozone government de facto defaulting on its debt and prompted actions at international level to stem further domino and cascade effects to other Eurozone governments and banks. Against this backdrop, a careful measurement of systemic risk is of utmost importance for the new capital regulation to be successful and for sovereign risk to remain in check. Most importantly, the book introduces a number of systemic fragility indicators for banks and sovereigns that can help to assess systemic risk and the impact of macroprudential and microprudential policies.

Logic plays a central conceptual role in modern mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessible to all but the specialist. This new book is a resource that provides a quick introduction and review of the key topics in logic for the computer scientist, engineer, or mathematician.

Handbook of Logic and Proof Techniques for Computer Science presents the elements of modern logic, including many current topics, to the reader having only basic mathematical literacy. Computer scientists will find specific examples and important ideas such as axiomatics, recursion theory, decidability, independence, completeness, consistency, model theory, and P/NP completeness. The book contains definitions, examples and discussion of all of the key ideas in basic logic, but also makes a special effort to cut through the mathematical formalism, difficult notation, and esoteric terminology that is typical of modern mathematical logic. T

This handbook delivers cogent and self-contained introductions to critical advanced topics, including:

* Godels completeness and incompleteness theorems

* Methods of proof, cardinal and ordinal numbers, the continuum hypothesis, the axiom of choice, model theory, and number systems and their construction

* Extensive treatment of complexity theory and programming applications

* Applications to algorithms in Boolean algebra

* Discussion of set theory and applications of logic

The book is an excellent resource for the working mathematical scientist. The graduate student or professional in computer science and engineering or the systems scientist whoneeds to have a quick sketch of a key idea from logic will find it here in this self-contained, accessible, and easy-to-use reference.

In the mid-1960's I had the pleasure of attending a talk by Lotfi Zadeh at which he presented some of his basic (and at the time, recent) work on fuzzy sets. Lotfi's algebra of fuzzy subsets of a set struck me as very nice; in fact, as a graduate student in the mid-1950's, I had suggested similar ideas about continuous-truth-valued propositional calculus (inffor "and," sup for "or") to my advisor, but he didn't go for it (and in fact, confused it with the foundations of probability theory), so I ended up writing a thesis in a more conventional area of mathematics (differential algebra). I especially enjoyed Lotfi's discussion of fuzzy convexity; I remember talking to him about possible ways of extending this work, but I didn't pursue this at the time. I have elsewhere told the story of how, when I saw C. L. Chang's 1968 paper on fuzzy topological spaces, I was impelled to try my hand at fuzzi fying algebra. This led to my 1971 paper "Fuzzy groups," which became the starting point of an entire literature on fuzzy algebraic structures. In 1974 King-Sun Fu invited me to speak at a U. S. -Japan seminar on Fuzzy Sets and their Applications, which was to be held that summer in Berkeley."

In the present book, the starting line is defined by a morphogenetic perspective on human communication and culture. The focus is on visual communication, music, religion (myth), and language, i.e., on the "symbolic forms" at the heart of human cultures (Ernst Cassirer). The term "morphogenesis" has more precisely the meaning given by Rene Thom (1923-2002) in his book "Morphogenesis and Structural Stability" (1972) and the notions of "self-organization" and cooperation of subsystems in the "Synergetics" of Hermann Haken (1927- ). The naturalization of communication and cultural phenomena is the favored strategy, but the major results of the involved disciplines (art history, music theory, religious science, and linguistics) are respected. Visual art from the Paleolithic to modernity stands for visual communication. The present book focuses on studies of classical painting and sculpture (e.g., Leonardo da Vinci, William Turner, and Henry Moore) and modern art (e.g., Jackson Pollock and Joseph Beuys). Musical morphogenesis embraces classical music (from J. S. Bach to Arnold Schoenberg) and political songwriting (Bob Dylan, Leonhard Cohen). The myths of pre-literary societies show the effects of self-organization in the re-assembly (bricolage) of traditions. Classical polytheistic and monotheistic religions demonstrate the unfolding of basic germs (religious attractors) and their reduction in periods of crisis, the self-organization of complex religious networks, and rationalized macro-structures (in theologies). Significant tendencies are analyzed in the case of Buddhism and Christianism. Eventually, a holistic view of symbolic communication and human culture emerges based on state- of- the- art in evolutionary biology, cognitive science, linguistics, and semiotics (philosophy of symbolic forms).

The COVID-19 pandemic that started in 2019-2020 has led to a gigantic increase in modeling and simulation of infectious diseases. There are numerous topics associated with this epoch-changing event, such as (a) disease propagation, (b) transmission, (c) decontamination, and (d) vaccines. This is an evolving field. The targeted objective of this book is to expose researchers to key topics in this area, in a very concise manner. The topics selected for discussion have evolved with the progression of the pandemic. Beyond the introductory chapter on basic mathematics, optimization, and machine learning, the book covers four themes in modeling and simulation infectious diseases, specifically: Part 1: Macroscale disease propagation, Part 2: Microscale disease transmission and ventilation system design, Part 3: Ultraviolet viral decontamination, and Part 4: Vaccine design and immune response. It is important to emphasize that the rapid speed at which the simulations operate makes the presented computational tools easily deployable as digital twins, i.e., digital replicas of complex systems that can be inexpensively and safely optimized in a virtual setting and then used in the physical world afterward, thus reducing the costs of experiments and also accelerating development of new technologies.

Practical Asymptotics is an effective tool for reducing the complexity of large-scale applied-mathematical models arising in engineering, physics, chemistry, and industry, without compromising their accuracy. It exploits the full potential of the dimensionless representation of these models by considering the special nature of the characteristic dimensionless quantities. It can be argued that these dimensionless quantities mostly assume extreme values, particularly for practical parameter settings. Thus, otherwise complicated models can be rendered far less complex and the numerical effort to solve them is greatly reduced. In this book the effectiveness of Practical Asymptotics is demonstrated by fifteen papers devoted to widely differing fields of applied science, such as glass-bottle production, semiconductors, surface-tension-driven flows, microwaving joining, heat generation in foodstuff production, chemical-clock reactions, low-Mach-number flows, to name a few. A strong plea is made for making asymptotics teaching an integral part of any numerics curriculum. Not only will asymptotics reduce the computational effort, it also provides a fuller understanding of the underlying problems.

This innovative textbook brings together modern concepts in mathematical epidemiology, computational modeling, physics-based simulation, data science, and machine learning to understand one of the most significant problems of our current time, the outbreak dynamics and outbreak control of COVID-19. It teaches the relevant tools to model and simulate nonlinear dynamic systems in view of a global pandemic that is acutely relevant to human health. If you are a student, educator, basic scientist, or medical researcher in the natural or social sciences, or someone passionate about big data and human health: This book is for you! It serves as a textbook for undergraduates and graduate students, and a monograph for researchers and scientists. It can be used in the mathematical life sciences suitable for courses in applied mathematics, biomedical engineering, biostatistics, computer science, data science, epidemiology, health sciences, machine learning, mathematical biology, numerical methods, and probabilistic programming. This book is a personal reflection on the role of data-driven modeling during the COVID-19 pandemic, motivated by the curiosity to understand it.

All engineers and applied scientists will need to harness the power of machine learning to solve the highly complex and data intensive problems now emerging. This text teaches state-of-the-art machine learning technologies to students and practicing engineers from the traditionally "analog" disciplines-mechanical, aerospace, chemical, nuclear, and civil. Dr. McClarren examines these technologies from an engineering perspective and illustrates their specific value to engineers by presenting concrete examples based on physical systems. The book proceeds from basic learning models to deep neural networks, gradually increasing readers' ability to apply modern machine learning techniques to their current work and to prepare them for future, as yet unknown, problems. Rather than taking a black box approach, the author teaches a broad range of techniques while conveying the kinds of problems best addressed by each. Examples and case studies in controls, dynamics, heat transfer, and other engineering applications are implemented in Python and the libraries scikit-learn and tensorflow, demonstrating how readers can apply the most up-to-date methods to their own problems. The book equally benefits undergraduate engineering students who wish to acquire the skills required by future employers, and practicing engineers who wish to expand and update their problem-solving toolkit.

Process Control details the core knowledge and practical skills that a successful process control practitioner needs. It explains the essential technologies that are in use in current industrial practice or which may be wanting for the future. The book focuses on practical considerations, not only on those that make a control solution work, but also on those that prevent it from failing, especially for complex control loops and plant-wide control solutions. After discussing the indispensable role of control in modern process industries, the authors concentrate on the skills required for process analysis, control design, and troubleshooting. One of the first books to provide a systematic approach and structured methodology for process analysis and control design, Process Control illustrates that methodology with many practical examples that cover process control, equipment control, and control calculations derived from real projects and applications. The book uses 229 drawings and 83 tables to make the concepts it presents more intuitive and its methodology easy to follow. Process Control will help the practising control engineer to benefit from a wealth of practical experience and good ideas on how to make control work in the real world and students training to take up roles in process control are shown the applied relevance of control theory in the efficient functioning of industrial plant and the considerations needed to make it work. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

Queueing theory applications can be discovered in many walks of life including; transportation, manufacturing, telecommunications, computer systems and more. However, the most prevalent applications of queueing theory are in the telecommunications field. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System focuses on discrete time modeling and illustrates that most queueing systems encountered in real life can be set up as a Markov chain. This feature is very unique because the models are set in such a way that matrix-analytic methods are used to analyze them. Queueing Theory for Telecommunications: Discrete Time Modelling of a Single Node System is the most relevant book available on queueing models designed for applications to telecommunications. This book presents clear concise theories behind how to model and analyze key single node queues in discrete time using special tools that were presented in the second chapter. The text also delves into the types of single node queues that are very frequently encountered in telecommunication systems modeling, and provides simple methods for analyzing them. Where appropriate, alternative analysis methods are also presented. This book is for advanced-level students and researchers concentrating on engineering, computer science and mathematics as a secondary text or reference book. Professionals who work in the related industries of telecommunications, industrial engineering and communications engineering will find this book useful as well.

The papers in this volume were selected for presentation at the 19th International Meshing Roundtable (IMR), held October 3-6, 2010 in Chattanooga, Tennessee, USA. The conference was started by Sandia National Laboratories in 1992 as a small meeting of organizations striving to establish a common focus for research and development in the field of mesh generation. Now after 19 consecutive years, the International Meshing Roundtable has become recognized as an international focal point annually attended by researchers and developers from dozens of co- tries around the world. The 19th International Meshing Roundtable consists of technical presentations from contributed papers, research notes, keynote and invited talks, short course presentations, and a poster session and competition. The Program Committee would like to express its appreciation to all who participate to make the IMR a successful and enriching experience. The papers in these proceedings were selected by the Program Committee from among numerous submissions. Based on input from peer reviews, the committee selected these papers for their perceived quality, originality, and appropriateness to the theme of the International Meshing Roundtable. We would like to thank all who submitted papers. We would also like to thank the colleagues who provided reviews of the submitted papers. The names of the reviewers are acknowledged in the following pages. We extend special thanks to Jacqueline Hunter for her time and effort to make the 19th IMR another outstanding conference.

This book is designed as a supplement to an introductory undergraduate or graduate course for mathematics, science and engineering students of all disciplines. the text covers all major aspects of engineering statistics, including descriptive statistics, probability and probability distributions, statistical test and confidence intervals for one and two samples and curve fitting, correlation, regression, chi-square tests, and analysis of variance. The book continues to maintain a student-friendly approach and numerical problem solving orientation. Presentations are limited to very basic topics to serve as an introduction to advance topics in those areas of discipline. The purpose of the book is to present the principles and concepts of Probability and Statistics as relevant to student learning.

Updated to textbook form by popular demand, this second edition discusses diverse mathematical models used in economics, ecology, and the environmental sciences with emphasis on control and optimization. It is intended for graduate and upper-undergraduate course use, however, applied mathematicians, industry practitioners, and a vast number of interdisciplinary academics will find the presentation highly useful. Core topics of this text are: * Economic growth and technological development * Population dynamics and human impact on the environment * Resource extraction and scarcity * Air and water contamination * Rational management of the economy and environment * Climate change and global dynamics The step-by-step approach taken is problem-based and easy to follow. The authors aptly demonstrate that the same models may be used to describe different economic and environmental processes and that similar investigation techniques are applicable to analyze various models. Instructors will appreciate the substantial flexibility that this text allows while designing their own syllabus. Chapters are essentially self-contained and may be covered in full, in part, and in any order. Appropriate one- and two-semester courses include, but are not limited to, Applied Mathematical Modeling, Mathematical Methods in Economics and Environment, Models of Biological Systems, Applied Optimization Models, and Environmental Models. Prerequisites for the courses are Calculus and, preferably, Differential Equations.

This proceedings volume convenes selected, peer-reviewed contributions presented at the POMS 2021 - International Conference on Production and Operations Management, which was virtually held in Lima, Peru, December 2-4, 2021. This book presents results in the field of Operations Management of key relevance to practitioners, instructors, and students. Topics focus on Operations Management, Logistics and Supply Chain Management, and Industrial and Production Engineering and Management, where mathematics and its applications play a role. In this work, readers will find a colorful collection of real-world case studies, accompanied by operations research-based managerial models. They touch on myriad topics, ranging from Artificial Intelligence and Data Analytics in Operations, Defense, Tourism, and other emerging issues in Operations Management to Healthcare Operations Management and Humanitarian Operations and Crisis Management. The POMS Lima 2021 International Conference has been organized by the Latin America & Caribbean Chapter of the Production and Operations Management Society, the most renowned professional and academic organization representing the interests of production and operations management professionals and academicians around the world. Since 2018, POMS International Conferences have been organized by POMS-LA, the first venue being in Rio de Janeiro, Brazil. Venue 2021 event was hosted by the Pontifical Catholic University of Peru and Pacific University, two Peruvian Latin-American leading academic institutions from Peru.

This book offers comprehensive coverage of compressible flow phenomena and their applications, and is intended for undergraduate/graduate students, practicing professionals, and researchers interested in the topic. Thanks to the clear explanations provided of a wide range of basic principles, the equations and formulas presented here can be understood with only a basic grasp of mathematics. The book particularly focuses on shock waves, offering a unique approach to the derivation of shock wave relations from conservation relations in fluids together with a contact surface, slip line or surface; in addition, the thrust of a rocket engine and that of an air-breathing engine are also formulated. Furthermore, the book covers important fundamentals of various aspects of physical fluid dynamics and engineering, including one-dimensional unsteady flows, and two-dimensional flows, in which oblique shock waves and Prandtl-Meyer expansion can be observed.

We describe in this book, new methods for evolutionary design of intelligent s- tems using soft computing and their applications in modeling, simulation and c- trol. Soft Computing (SC) consists of several intelligent computing paradigms, including fuzzy logic, neural networks, and evolutionary algorithms, which can be used to produce powerful hybrid intelligent systems. The book is organized in four main parts, which contain a group of papers around a similar subject. The first part consists of papers with the main theme of evolutionary design of fuzzy systems in intelligent control, which consists of papers that propose new methods for designing and optimizing intelligent controllers for different applications. The second part c- tains papers with the main theme of evolutionary design of intelligent systems for pattern recognition applications, which are basically papers using evolutionary al- rithms for optimizing modular neural networks with fuzzy systems for response - tegration, for achieving pattern recognition in different applications. The third part contains papers with the themes of models for learning and social simulation, which are papers that apply intelligent systems to the problems of designing learning - jects and social agents. The fourth part contains papers that deal with intelligent s- tems in robotics applications and hardware implementations. In the part of Intelligent Control there are 5 papers that describe different c- tributions on evolutionary optimization of fuzzy systems in intelligent control. The first paper, by Ricardo Martinez-Marroquin et al.

This contributed volume investigates several mathematical techniques for the modeling and simulation of viral pandemics, with a special focus on COVID-19. Modeling a pandemic requires an interdisciplinary approach with other fields such as epidemiology, virology, immunology, and biology in general. Spatial dynamics and interactions are also important features to be considered, and a multiscale framework is needed at the level of individuals and the level of virus particles and the immune system. Chapters in this volume address these items, as well as offer perspectives for the future.

This edited volume summarizes research being pursued within the DFG Priority Programme 1748: "Reliable Simulation Methods in Solid Mechanics. Development of non-standard discretisation methods, mechanical and mathematical analysis", the aim of which was to develop novel discretisation methods based e.g. on mixed finite element methods, isogeometric approaches as well as discontinuous Galerkin formulations, including a sound mathematical analysis for geometrically as well as physically nonlinear problems. The Priority Programme has established an international framework for mechanical and applied mathematical research to pursue open challenges on an inter-disciplinary level. The compiled results can be understood as state of the art in the research field and show promising ways of further research in the respective areas. The book is intended for doctoral and post-doctoral students in civil engineering, mechanical engineering, applied mathematics and physics, as well as industrial researchers interested in the field.

This book is about guaranteed numerical methods based on interval analysis for approximating sets, and about the application of these methods to vast classes of engineering problems. Guaranteed means here that inner and outer approximations of the sets of interest are obtained, which can be made as precise as desired, at the cost of increasing the computational effort. It thus becomes possible to achieve tasks still thought by many to be out of the reach of numerical methods, such as finding all solutions of sets of non-linear equations and inequality or all global optimizers of possibly multi-modal criteria.The basic methodology is explained as simply as possible, in a concrete and readily applicable way, with a large number of figures and illustrative examples. Some of the techniques reported appear in book format for the first time. The ability of the approach advocated here to solve non-trivial engineering problems is demonstrated through examples drawn from the fields of parameter and state estimation, robust control and robotics. Enough detail is provided to allow readers with other applications in mind to grasp their significance. An in-depth treatment of implementation issues facilitates the understanding and use of freely available software that makes interval computation about as easy as computation with floating-point numbers. The reader is even given the basic information needed to build his or her own C++ interval library.The CD-ROM contains a trial version of Sun Microsystems' Forte(TM) Developer 6 for use with Solaris(TM) SPARC(TM) Platform Edition 2.6, 2.7 and 2.8.

Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific disciplines and a resurgence of interest in the modern as well as the classical techniques of applied mathematics. This renewal of interest, both in research and teaching, has led to the establishment of the series: Texts in Applied Mathematics ( TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as numerical and symbolic computer systems, dynamical systems, and chaos, mix with and reinforce the traditional methods of applied mathematics. Thus, the purpose of this textbook series is to meet the current and future needs of these advances and encourage the teaching of new courses. TAM will publish textbooks suitable for use in advanced undergraduate and beginning graduate courses, and will complement the Applied Mathematical Sciences (AMS) series, which will focus on advanced textbooks and research level monographs. About the Authors Daniel Kaplan specializes in the analysis of data using techniques motivated by nonlinear dynamics. His primary interest is in the interpretation of irregular physiological rhythms, but the methods he has developed have been used in geo physics, economics, marine ecology, and other fields. He joined McGill in 1991, after receiving his Ph.D from Harvard University and working at MIT. His un dergraduate studies were completed at Swarthmore College. He has worked with several instrumentation companies to develop novel types of medical monitors."

This contributed volume convenes a rich selection of works with a focus on innovative mathematical methods with applications in real-world, industrial problems. Studies included in this book are all motivated by a relevant industrial challenge, and demonstrate that mathematics for industry can be extremely rewarding, leading to new mathematical methods and sometimes even to entirely new fields within mathematics. The book is organized into two parts: Computational Sciences and Engineering, and Data Analysis and Finance. In every chapter, readers will find a brief description of why such work fits into this volume; an explanation on which industrial challenges have been instrumental for their inspiration; and which methods have been developed as a result. All these contribute to a greater unity of the text, benefiting not only practitioners and professionals seeking information on novel techniques but also graduate students in applied mathematics, engineering, and related fields.

This volume gives an up-to-date review of the subject Integration in Finite Terms. The book collects four significant texts together with an extensive bibliography and commentaries discussing these works and their impact. These texts, either out of print or never published before, are fundamental to the subject of the book. Applications in combinatorics and physics have aroused a renewed interest in this well-developed area devoted to finding solutions of differential equations and, in particular, antiderivatives, expressible in terms of classes of elementary and special functions.