This book introduces readers to some of the most significant advances in core computer science-based technologies. At the dawn of the 4th Industrial Revolution, the field of computer science-based technologies is growing continuously and rapidly, and is developing both in itself and in terms of its applications in many other disciplines. Written by leading experts and consisting of 18 chapters, the book is divided into seven parts: (1) Computer Science-based Technologies in Education, (2) Computer Science-based Technologies in Risk Assessment and Readiness, (3) Computer Science-based Technologies in IoT, Blockchains and Electronic Money, (4) Computer Science-based Technologies in Mobile Computing, (5) Computer Science-based Technologies in Scheduling and Transportation, (6) Computer Science-based Technologies in Medicine and Biology, and (7) Theoretical Advances in Computer Science with Significant Potential Applications in Technology. Featuring an extensive list of bibliographic references at the end of each chapter to help readers probe further into the application areas of interest to them, this book is intended for professors, researchers, scientists, engineers and students in computer science-related disciplines. It is also useful for those from other disciplines wanting to become well versed in some of the latest computer science-based technologies.

This book strikes a healthy balance between theory and applications, ensuring that it doesn't offer a set of tools with no mathematical roots. It is intended as a comprehensive and largely self-contained introduction to probability and statistics for university students from various faculties, with accompanying implementations of some rudimentary statistical techniques in the language R. The content is divided into three basic parts: the first includes elements of probability theory, the second introduces readers to the basics of descriptive and inferential statistics (estimation, hypothesis testing), and the third presents the elements of correlation and linear regression analysis. Thanks to examples showing how to approach real-world problems using statistics, readers will acquire stronger analytical thinking skills, which are essential for analysts and data scientists alike.

This book presents time synchronization and its essential role as a conduit of optimized networks and as one of the key imperatives of ubiquitous connectivity. The author discusses how, without proper time synchronization, many mission critical infrastructures such as 5G mobile networks, smart grids, data centres CATV, and industrial networks would render in serious performance issues and may be subject to catastrophic failure. The book provides a thorough understanding of time synchronization from fundamental concepts to the application of time synchronization in NextGen mission critical infrastructure. Readers will find information not only on designing the optimized products for mission critical infrastructure but also on building NextGen mission critical infrastructure.

To put the world of linear algebra to advanced use, it is not enough to merely understand the theory; there is a significant gap between the theory of linear algebra and its myriad expressions in nearly every computational domain. To bridge this gap, it is essential to process the theory by solving many exercises, thus obtaining a firmer grasp of its diverse applications. Similarly, from a theoretical perspective, diving into the literature on advanced linear algebra often reveals more and more topics that are deferred to exercises instead of being treated in the main text. As exercises grow more complex and numerous, it becomes increasingly important to provide supporting material and guidelines on how to solve them, supporting students' learning process. This book provides precisely this type of supporting material for the textbook "Numerical Linear Algebra and Matrix Factorizations," published as Vol. 22 of Springer's Texts in Computational Science and Engineering series. Instead of omitting details or merely providing rough outlines, this book offers detailed proofs, and connects the solutions to the corresponding results in the textbook. For the algorithmic exercises the utmost level of detail is provided in the form of MATLAB implementations. Both the textbook and solutions are self-contained. This book and the textbook are of similar length, demonstrating that solutions should not be considered a minor aspect when learning at advanced levels.

This book describes the unsteady phenomena needed to understand supersonic combustion. Following an initial chapter that introduces readers to the basic concepts in and classical studies on unsteady supersonic combustion, the book highlights recent studies on unsteady phenomena, which offer insights on e.g. interactions between acoustic waves and flames, flow dominating instability, ignition instability, flame flashback, and near-blowout-limit combustion. In turn, the book discusses in detail the fundamental mechanisms of these phenomena, and puts forward practical suggestions for future scramjet design.

This companion piece to the author's 2018 book, A Software Repository for Orthogonal Polynomials, focuses on Gaussian quadrature and the related Christoffel function. The book makes Gauss quadrature rules of any order easily accessible for a large variety of weight functions and for arbitrary precision. It also documents and illustrates known as well as original approximations for Gauss quadrature weights and Christoffel functions. The repository contains 60 datasets, each dealing with a particular weight function. Included are classical, quasi-classical, and, most of all, nonclassical weight functions and associated orthogonal polynomials.

This book discusses recent developments in dynamic reliability in multi-state systems (MSS), addressing such important issues as reliability and availability analysis of aging MSS, the impact of initial conditions on MSS reliability and availability, changing importance of components over time in MSS with aging components, and the determination of age-replacement policies. It also describes modifications of traditional methods, such as Markov processes with rewards, as well as a modern mathematical method based on the extended universal generating function technique, the Lz-transform, presenting various successful applications and demonstrating their use in real-world problems. This book provides theoretical insights, information on practical applications, and real-world case studies that are of interest to engineers and industrial managers as well as researchers. It also serves as a textbook or supporting text for graduate and postgraduate courses in industrial, electrical, and mechanical engineering.

This book provides a comprehensive review of fundamental issues in the dynamical modeling and vibration control design for several flexible mechanical systems, such as flexible satellites, flexible aerial refueling hoses, and flexible three-dimensional manipulators. Offering an authoritative reference guide to the dynamics and control of flexible mechanical systems, it equips readers to solve a host of problems concerning these systems. It provides not only a complete overview of flexible systems, but also a better understanding of the technical levels involved. The book is divided into ten chapters: Chapters 1 and 2 lay the foundations, while the remaining chapters explore several independent yet related topics in detail. The book's final chapter presents conclusions and recommendations for future research. Given its scope, the book is intended for researchers, graduate students, and engineers whose work involves control systems, flexible mechanical systems, and related areas.

Nonlinear Approaches in Engineering Applications 2 focuses on the application of nonlinear approaches to different engineering and science problems. The selection of the topics for this book is based on the best papers presented in the ASME 2010 and 2011 in the tracks of Dynamic Systems and Control, Optimal Approaches in Nonlinear Dynamics and Acoustics, both of which were organized by the editors. For each selected topic, detailed concept development, derivations and relevant knowledge are provided for the convenience of the readers. The topics that have been selected are of great interest in the fields of engineering and physics and this book is designed to appeal to engineers and researchers working in a broad range of practical topics and approaches.

This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics. A focus on effective algorithms leads to the development of computer algebra software of use to researchers in these domains. After a survey of current results and open problems on decidability in enumerative combinatorics, the text shows how the cutting edge of this research is the new domain of Analytic Combinatorics in Several Variables (ACSV). The remaining chapters of the text alternate between a pedagogical development of the theory, applications (including the resolution by this author of conjectures in lattice path enumeration which resisted several other approaches), and the development of algorithms. The final chapters in the text show, through examples and general theory, how results from stratified Morse theory can help refine some of these computability questions. Complementing the written presentation are over 50 worksheets for the SageMath and Maple computer algebra systems working through examples in the text.

Structural Equation Modeling provides a conceptual and mathematical understanding of structural equation modelling, helping readers across disciplines understand how to test or validate theoretical models, and build relationships between observed variables. In addition to a providing a background understanding of the concepts, it provides step-by-step illustrative applications with AMOS, SPSS and R software programmes. This volume will serve as a useful reference for academic and industry researchers in the fields of engineering, management, psychology, sociology, human resources, and humanities.

This book offers, from both a theoretical and a computational perspective, an analysis of macroscopic mathematical models for description of charge transport in electronic devices, in particular in the presence of confining effects, such as in the double gate MOSFET. The models are derived from the semiclassical Boltzmann equation by means of the moment method and are closed by resorting to the maximum entropy principle. In the case of confinement, electrons are treated as waves in the confining direction by solving a one-dimensional Schroedinger equation obtaining subbands, while the longitudinal transport of subband electrons is described semiclassically. Limiting energy-transport and drift-diffusion models are also obtained by using suitable scaling procedures. An entire chapter in the book is dedicated to a promising new material like graphene. The models appear to be sound and sufficiently accurate for systematic use in computer-aided design simulators for complex electron devices. The book is addressed to applied mathematicians, physicists, and electronic engineers. It is written for graduate or PhD readers but the opening chapter contains a modicum of semiconductor physics, making it self-consistent and useful also for undergraduate students.

This book discusses recent research and applications in intelligent service computing in mobile environments. The authors first explain how advances in artificial intelligence and big data have allowed for an array of intelligent services with complex and diverse applications. They then show how this brings new opportunities and challenges for service computing. The book, made up of contributions from academic and industry, aims to present advances in intelligent services, new algorithms and techniques in the field, foundational theory and systems, as well as practical real-life applications. Some of the topics discussed include cognition, modeling, description and verification for intelligent services; discovery, recommendation and selection for intelligent services; formal verification, testing and inspection for intelligent services; and composition and cooperation methods for intelligent services.

This accessible textbook offers a novel, concept-led approach to superconducting electronics, using the COMSOL Multiphysics software to help describe fundamental principles in an intuitive manner. Based on a course taught by the author and aimed primarily at engineering students, the book explains concepts effectively and efficiently, uncovering the "shortcut" to understanding each topic, enabling readers to quickly grasp the underlying essence. The book is divided into two main parts; the first part provides a general introduction to key topics encountered in superconductivity, illustrated using COMSOL simulations based on time-dependent Ginzburg-Landau equations and avoiding any deeply mathematical derivations. It includes numerous worked examples and problem sets with tips and solutions. The second part of the book is more conventional in nature, providing detailed derivations of the basic equations from first principles. This part covers more advanced topics, including the BCS-Gor'kov-Eliashberg approach to equilibrium properties of superconductors, the derivation of kinetic equations for nonequilibrium superconductors, and the derivation of time-dependent Ginzburg-Landau equations, used as the basis for COMSOL modeling in the first part. Supported throughout by an extensive library of COMSOL Multiphysics animations, the book serves as a uniquely accessible introduction to the field for engineers and others with a less rigorous background in physics and mathematics. However, it also features more detailed mathematical background for those wishing to delve further into the subject.

Today, virtually any advance in the life sciences requires a sophisticated mathematical approach. The methods of mathematics and computer science have emerged as critical tools to modeling biological phenomena, understanding patterns, and making sense of large data sets, such as those generated by the human genome project. An Invitation to Biomathematics provides a comprehensive, yet easily digested entry into the diverse world of mathematical biology--the union of biology, mathematics, and computer science.
This textbook, expertly written by a team of experienced educators, is divided into two parts. The first section presents core principles as elucidated by classical problems such as population growth, predator-prey interactions, epidemic models, and population genetics, while the second applies these principles to modern biomedical research. In addition, the supplementary work Laboratory Manual of Biomathematics (available separately) is designed to enable hands-on exploration of model development, model validation, and model refinement.
* Provides a complete guide for development of quantification skills crucial for applying mathematical methods to biological problems.
* Includes well-known examples from across disciplines in the life sciences including modern biomedical research.
* Explains how to use data sets or dynamical processes to build mathematical models.
* Offers extensive illustrative materials.
* Written in clear and easy-to-follow language without assuming a background in math or biology.
* A laboratory manual is available for hands-on, computer-assisted projects based on material covered in the text.

This book brings together ideas from experts in cognitive science, mathematics, and mathematics education to discuss these issues and to present research on how mathematics and its learning and teaching are evolving in the Information Age. Given the ever-broadening trends in Artificial Intelligence and the processing of information generally, the aim is to assess their implications for how math is evolving and how math should now be taught to a generation that has been reared in the Information Age. It will also look at the ever-spreading assumption that human intelligence may not be unique-an idea that dovetails with current philosophies of mind such as posthumanism and transhumanism. The role of technology in human evolution has become critical in the contemporary world. Therefore, a subgoal of this book is to illuminate how humans now use their sophisticated technologies to chart cognitive and social progress. Given the interdisciplinary nature of the chapters, this will be of interest to all kinds of readers, from mathematicians themselves working increasingly with computer scientists, to cognitive scientists who carry out research on mathematics cognition and teachers of mathematics in a classroom.

This book focuses on multi-model systems, describing how to apply intelligent technologies to model complex multi-model systems by combining stochastic jumping system, neural network and fuzzy models. It focuses on robust filtering, including finite-time robust filtering, finite-frequency robust filtering and higher order moment robust filtering schemes, as well as fault detection problems for multi-model jump systems, such as observer-based robust fault detection, filtering-based robust fault detection and neural network-based robust fault detection methods. The book also demonstrates the validity and practicability of the theoretical results using simulation and practical examples, like circuit systems, robot systems and power systems. Further, it introduces readers to methods such as finite-time filtering, finite-frequency robust filtering, as well as higher order moment and neural network-based fault detection methods for multi-model jumping systems, allowing them to grasp the modeling, analysis and design of the multi-model systems presented and implement filtering and fault detection analysis for various systems, including circuit, network and mechanical systems.

This study aid on numerical optimization techniques is intended for university undergraduate and postgraduate mechanical engineering students. Optimization procedures are becoming more and more important for lightweight design, where weight reduction can, for example in the case of automotive or aerospace industry, lead to lower fuel consumption and a corresponding reduction in operational costs as well as beneficial effects on the environment. Based on the free computer algebra system Maxima, the authors present procedures for numerically solving problems in engineering mathematics as well as applications taken from traditional courses on the strength of materials. The mechanical theories focus on the typical one-dimensional structural elements, i.e., springs, bars, and Euler-Bernoulli beams, in order to reduce the complexity of the numerical framework and limit the resulting design to a low number of variables. The use of a computer algebra system and the incorporated functions, e.g., for derivatives or equation solving, allows a greater focus on the methodology of the optimization methods and not on standard procedures. The book also provides numerous examples, including some that can be solved using a graphical approach to help readers gain a better understanding of the computer implementation.

This book presents the stream-tube method (STM), a method offering computational means of dealing with the two- and three-dimensional properties of numerous incompressible materials in static and dynamic conditions. The authors show that the kinematics and stresses associated with the flow and deformation in such materials can be treated by breaking the system down into simple computational sub-domains in which streamlines are straight and parallel and using one or two mapping functions in steady-state and non-steady-state conditions. The STM is considered for various problems in non-Newtonian fluid mechanics with different geometries. The book makes use of examples and applications to illustrate the use of the STM. It explores the possibilities of computation on simple mapped rectangular domains and three-dimensional parallel-piped domains under different conditions. Complex materials with memory are considered simply without particle tracking problems. Readers, including researchers, engineers and graduate students, with a foundational knowledge of calculus, linear algebra, differential equations and fluid mechanics will benefit most greatly from this book.

This book examines the problems in the field of energy and related areas (including chemistry, transport, aerospace, construction, metallurgy and engineering) that Ukrainian scientists are currently investigating. The research presented focuses on ensuring the operational reliability, durability and safety of energy equipment, as well as the development of control, diagnostics and monitoring systems in the energy sector. Further, the book explores the ecological consequences of energy facilities , particularly environmental pollution in large cities and industrial areas. Written mainly by representatives of the Council of Young Scientists of the Department of Physical and Technical Problems of Energy at the NAS of Ukraine, it is intended for researchers and engineers, as well as lecturers and postgraduates at higher education institutions interested in the control, diagnosis and monitoring of energy facilities.

This contemporary first course focuses on concepts and ideas of Measure Theory, highlighting the theoretical side of the subject. Its primary intention is to introduce Measure Theory to a new generation of students, whether in mathematics or in one of the sciences, by offering them on the one hand a text with complete, rigorous and detailed proofs--sketchy proofs have been a perpetual complaint, as demonstrated in the many Amazon reader reviews critical of authors who "omit 'trivial' steps" and "make not-so-obvious 'it is obvious' remarks." On the other hand, Kubrusly offers a unique collection of fully hinted problems. On the other hand, Kubrusly offers a unique collection of fully hinted problems. The author invites the readers to take an active part in the theory construction, thereby offering them a real chance to acquire a firmer grasp on the theory they helped to build. These problems, at the end of each chapter, comprise complements and extensions of the theory, further examples and counterexamples, or auxiliary results. They are an integral part of the main text, which sets them apart from the traditional classroom or homework exercises.
JARGON BUSTER:
measure theory
Measure theory investigates the conditions under which integration can take place.
It considers various ways in which the "size" of a set can be estimated.
This topic is studied in pure mathematics programs but the theory is also foundational for students of statistics and probability, engineering, and financial engineering.
Key Features
* Designed with a minimum of prerequisites (intro analysis, and for Ch 5, linear algebra)
* Includes 140 classical measure-theory problems
* Carefully crafted to present essential elements of the theory in compact form

This book concerns issues related to biomathematics, medicine, or cybernetics as practiced by engineers. Considered population dynamics models are still in the interest of researchers, and even this interest is increasing, especially now in the time of SARS-CoV-2 coronavirus pandemic, when models are intensively studied in order to help predict its behaviour within human population. The structures of population dynamics models and practical methods of finding their solutions are discussed. Finally, the hypothesis of the existence of non-trivial ergodic properties of the model of erythropoietic response dynamics formulated by A. Lasota in the form of delay differential equation with unimodal feedback is analysed. The research can be compared with actual medical data, as well as shows that the structures of population models can reflect the dynamic structures of reality.

Mathematical Problems for Chemistry Students has been compiled and written (a) to help chemistry
students in their mathematical studies by providing them with mathematical problems really occurring in chemistry (b) to help practising chemists to activate their applied mathematical skills and (c) to introduce students and specialists
of the chemistry-related fields (physicists, mathematicians, biologists, etc.) into
the world of the chemical applications.
Some problems of the collection are mathematical reformulations of those in the standard textbooks of chemistry, others were taken from theoretical chemistry journals. All major fields of chemistry are covered, and each problem is given a solution.
This problem collection is intended for beginners and users at an intermediate level. It can be used as a companion to virtually all textbooks dealing with scientific and engineering mathematics or specifically mathematics for chemists.
* Covers a wide range of applications of the most essential tools in applied mathematics
* A new approach to a number of classical textbook-problems
* A number of non-classical problems are included

This book focuses on gyro-free inertial navigation technology, which is used to measure not only linear motion parameters but also angular rates. Since no gyroscopes are used, the key technologies, such as initial alignment, attitude resolution, and error calibration, are very different than those used in traditional methods. Discussing each key technology in gyro-free inertial navigation system (GFINS) manufacture in a separate chapter, the book features easy-to-understand, detailed illustrations, to allow all those involved in inertial navigation to gain a better grasp of GFINS manufacture, including accelerometer setting principles; initial alignment; quaternion-based, attitude resolution algorithms; and accelerometer de-noise methods.

Recent advances in scientific computing have caused the field of aerodynamics to change at a rapid pace, simplifying the design cycle of aerospace vehicles enormously - this book takes the readers from core concepts of aerodynamics to recent research, using studies and real-life scenarios to explain problems and their solutions. This book presents in detail the important concepts in computational aerodynamics and aeroacoustics taking readers from the fundamentals of fluid flow and aerodynamics to a more in-depth analysis of acoustic waves, aeroacoustics, computational modelling and processing. This book will be of use to students in multiple branches of engineering, physics and applied mathematics. Additionally, the book can also be used as a text in professional development courses for industry engineers and as a self-help reference for active researchers in both academia and the industry.