This book describes in detail the various theories on the shape of the Earth from classical antiquity to the present day and examines how measurements of its form and dimensions have evolved throughout this period. The origins of the notion of the sphericity of the Earth are explained, dating back to Eratosthenes and beyond, and detailed attention is paid to the struggle to establish key discoveries as part of the cultural heritage of humanity. In this context, the roles played by the Catholic Church and the philosophers of the Middle Ages are scrutinized. Later contributions by such luminaries as Richer, Newton, Clairaut, Maupertuis, and Delambre are thoroughly reviewed, with exploration of the importance of mathematics in their geodetic enterprises. The culmination of progress in scientific research is the recognition that the reference figure is not a sphere but rather a geoid and that the earth's shape is oblate. Today, satellite geodesy permits the solution of geodetic problems by means of precise measurements. Narrating this fascinating story from the very beginning not only casts light on our emerging understanding of the figure of the Earth but also offers profound insights into the broader evolution of human thought.

This book is a liber amicorum to Professor Sergei Konstantinovich Godunov and gathers contributions by renowned scientists in honor of his 90th birthday. The contributions address those fields that Professor Godunov is most famous for: differential and difference equations, partial differential equations, equations of mathematical physics, mathematical modeling, difference schemes, advanced computational methods for hyperbolic equations, computational methods for linear algebra, and mathematical problems in continuum mechanics.

The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers. This first volume establishes the inductive approach as a fundamental principle for system and domain analysis. After a brief introduction to the elementary mathematical structures, such as sets, propositional logic, relations, and functions, the authors focus on the separation between syntax (representation) and semantics (meaning), and on the advantages of the consistent and persistent use of inductive definitions. They identify compositionality as a feature that not only acts as a foundation for algebraic proofs but also as a key for more general scalability of modeling and analysis. A core principle throughout is invariance, which the authors consider a key for the mastery of change, whether in the form of extensions, transformations, or abstractions. This textbook is suitable for undergraduate and graduate courses in computer science and for self-study. Most chapters contain exercises and the content has been class-tested over many years in various universities.

This book brings together carefully selected, peer-reviewed works on mathematical biology presented at the BIOMAT International Symposium on Mathematical and Computational Biology, which was held at the Institute of Numerical Mathematics, Russian Academy of Sciences, in October 2017, in Moscow. Topics covered include, but are not limited to, the evolution of spatial patterns on metapopulations, problems related to cardiovascular diseases and modeled by boundary control techniques in hemodynamics, algebraic modeling of the genetic code, and multi-step biochemical pathways. Also, new results are presented on topics like pattern recognition of probability distribution of amino acids, somitogenesis through reaction-diffusion models, mathematical modeling of infectious diseases, and many others. Experts, scientific practitioners, graduate students and professionals working in various interdisciplinary fields will find this book a rich resource for research and applications alike.

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to the minimal changes in these logics. To make R-calculus computable, an approximate R-calculus is given which uses finite injury priority method in recursion theory. Moreover, two applications of R-calculus are given to default theory and semantic inheritance networks. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

This book provides a comprehensive review of complex networks from three different domains, presents novel methods for analyzing them, and highlights applications with accompanying case studies. Special emphasis is placed on three specific kinds of complex networks of high technological and scientific importance: software networks extracted from the source code of computer programs, ontology networks describing semantic web ontologies, and co-authorship networks reflecting collaboration in science. The book is primarily intended for researchers, teachers and students interested in complex networks and network data analysis. However, it will also be valuable for researchers dealing with software engineering, ontology engineering and scientometrics, as it demonstrates how complex network analysis can be used to address important research issues in these three disciplines.

Robust Integration of Model-Based Fault Estimation and Fault-Tolerant Control is a systematic examination of methods used to overcome the inevitable system uncertainties arising when a fault estimation (FE) function and a fault-tolerant controller interact as they are employed together to compensate for system faults and maintain robustly acceptable system performance. It covers the important subject of robust integration of FE and FTC with the aim of guaranteeing closed-loop stability. The reader's understanding of the theory is supported by the extensive use of tutorial examples, including some MATLAB (R)-based material available from the Springer website and by industrial-applications-based material. The text is structured into three parts: Part I examines the basic concepts of FE and FTC, providing extensive insight into the importance of and challenges involved in their integration; Part II describes five effective strategies for the integration of FE and FTC: sequential, iterative, simultaneous, adaptive-decoupling, and robust decoupling; and Part III begins to extend the proposed strategies to nonlinear and large-scale systems and covers their application in the fields of renewable energy, robotics and networked systems. The strategies presented are applicable to a broad range of control problems, because in the absence of faults the FE-based FTC naturally reverts to conventional observer-based control. The book is a useful resource for researchers and engineers working in the area of fault-tolerant control systems, and supplementary material for a graduate- or postgraduate-level course on fault diagnosis and FTC. 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.

This book presents a detailed study of the Lanczos potential in general relativity by using tetrad formalisms. It demonstrates that these formalisms offer some simplifications over the tensorial methods, and investigates a general approach to finding the Lanczos potential for algebraic space-time by translating all the tensorial relations concerning the Lanczos potential into the language of tetrad formalisms and using the Newman-Penrose and Geroch-Held-Penrose formalisms. In addition, the book obtains the Lanczos potential for perfect fluid space-time, and applies the results to cosmological models of the universe. In closing, it highlights other methods, apart from tetrad formalisms, for finding the Lanczos potential, as well as further applications of the Newman-Penrose formalism. Given its scope, the book will be of interest to pure mathematicians, theoretical physicists and cosmologists, and will provide common ground for communication among these scientific communities.

The book offers a novel approach to the study of the complex dynamics of cities. It is based on (1) Synergetics as a science of cooperation and selforganization, (2) information theory including semantic and pragmatic aspects, and optimization principles, (3) a theory of steady state maintenance, and of (4) phase transition, i.e. qualitative changes of structure or behavior. From this novel theoretical vantage point, the book addresses particularly three issues that stand at the core of current discourse on cities: Urban Scaling, Smart Cities and City Planning. An important consequence of "the 21st century as the age of cities", is that the study of cities currently attracts scientists from a variety of disciplines, ranging from physics, mathematics and computer science, through urban studies, architecture, planning and human geography, to economics, psychology, sociology, public administration and more. The book is thus likely to attract scholars, researchers and students of these research domains, of complexity theories of cities, as well as of general complexity theory. In addition, it is directed also to practitioners of urbanism, city planning and urban design.

For courses in Actuarial Mathematics, Introduction to Insurance, and Personal/Business Finance. This text presents the basic core of information needed to understand the impact of interest rates on the world of investments, real estate, corporate planning, insurance, and securities transactions. The authors presuppose a working knowledge of basic algebra, arithmetic, and percents for the core of the book: their goal is for students to understand well those few underlying principles that play out in nearly every finance and interest problem. There are several sections that utilize calculus and one chapter that requires statistics. Using time line diagrams as important tools in analyzing money and interest exercises, the text contains a great deal of practical financial applications of interest theory as well as its foundational definitions and theorems. It relies on the use of calculator and computer technology instead of tables; this approach frees students to understand challenging topics without wilting under labor-intensive details.

This thesis presents the first lattice quantum chromodynamics (QCD) approach to the charmed baryon regime, building on the knowledge and experience gained with former lattice QCD applications to nucleon structure. The thesis provides valuable insights into the dynamics of yet unobserved charmed baryon systems. Most notably, it confirms that the expectations of model or effective field theoretical calculations of heavy-hadron systems hold qualitatively, while also demonstrating that they conflict with the quantitative results, pointing to a tension between these complementary approaches. Further, the book presents a cutting-edge approach to understanding the structure and dynamics of hadrons made of quarks and gluons using QCD, and successfully extends the approach to charmed hadrons. In particular, the thesis investigate a peculiar property of charmed hadrons whose dynamics, i.e., structure, deviates from their counterparts, e.g., those of protons and neutrons, by employing the lattice QCD approach -a state-of-the-art numerical method and the powerful ab initio, non-perturbative method.

This book aims to bring together researchers and practitioners working across domains and research disciplines to measure, model, and visualize complex networks. It collects the works presented at the 9th International Conference on Complex Networks (CompleNet) in Boston, MA, March, 2018. With roots in physical, information and social science, the study of complex networks provides a formal set of mathematical methods, computational tools and theories to describe, prescribe and predict dynamics and behaviors of complex systems. Despite their diversity, whether the systems are made up of physical, technological, informational, or social networks, they share many common organizing principles and thus can be studied with similar approaches. This book provides a view of the state-of-the-art in this dynamic field and covers topics such as group decision-making, brain and cellular connectivity, network controllability and resiliency, online activism, recommendation systems, and cyber security.

This book is designed to supplement standard texts and teaching material in the areas of differential equations in engineering such as in Electrical ,Mechanical and Biomedical engineering. Emphasis is placed on the Boundary Value Problems that are often met in these fields.This keeps the the spectrum of the book rather focussed .The book has basically emerged from the need in the authors lectures on "Advanced Numerical Methods in Biomedical Engineering" at Yeditepe University and it is aimed to assist the students in solving general and application specific problems in Science and Engineering at upper-undergraduate and graduate level.Majority of the problems given in this book are self-contained and have varying levels of difficulty to encourage the student. Problems that deal with MATLAB simulations are particularly intended to guide the student to understand the nature and demystify theoretical aspects of these problems. Relevant references are included at the end of each chapter. Here one will also find large number of software that supplements this book in the form of MATLAB script (.m files). The name of the files used for the solution of a problem are indicated at the end of each corresponding problem statement.There are also some exercises left to students as homework assignments in the book. An outstanding feature of the book is the large number and variety of the solved problems that are included in it. Some of these problems can be found relatively simple, while others are more challenging and used for research projects. All solutions to the problems and script files included in the book have been tested using recent MATLAB software.The features and the content of this book will be most useful to the students studying in Engineering fields, at different levels of their education (upper undergraduate-graduate).

This book provides a comprehensive and systematic approach to the study of the qualitative theory of boundedness, periodicity, and stability of Volterra difference equations. The book bridges together the theoretical aspects of Volterra difference equations with its applications to population dynamics. Applications to real-world problems and open-ended problems are included throughout. This book will be of use as a primary reference to researchers and graduate students who are interested in the study of boundedness of solutions, the stability of the zero solution, or in the existence of periodic solutions using Lyapunov functionals and the notion of fixed point theory.

This book constitutes the proceedings of the 6th International Symposium on Chaos, Complexity and Leadership (ICCLS). Written by interdisciplinary researchers and students from the fields of mathematics, physics, education, economics, political science, statistics, the management sciences and social sciences, the peer-reviewed contributions explore chaotic and complex systems, as well as chaos and complexity theory in the context of their applicability to management and leadership. The book discusses current topics, such as complexity leadership in the healthcare fields and tourism industry, conflict management and organization intelligence, and presents practical applications of theoretical concepts, making it a valuable resource for managers and leaders.

This book addresses problems in three main developments in modern condensed matter physics- namely topological superconductivity, many-body localization and strongly interacting condensates/superfluids-by employing fruitful analogies from classical mechanics. This strategy has led to tangible results, firstly in superconducting nanowires: the density of states, a smoking gun for the long sought Majorana zero mode is calculated effortlessly by mapping the problem to a textbook-level classical point particle problem. Secondly, in localization theory even the simplest toy models that exhibit many-body localization are mathematically cumbersome and results rely on simulations that are limited by computational power. In this book an alternative viewpoint is developed by describing many-body localization in terms of quantum rotors that have incommensurate rotation frequencies, an exactly solvable system. Finally, the fluctuations in a strongly interacting Bose condensate and superfluid, a notoriously difficult system to analyze from first principles, are shown to mimic stochastic fluctuations of space-time due to quantum fields. This analogy not only allows for the computation of physical properties of the fluctuations in an elegant way, it sheds light on the nature of space-time. The book will be a valuable contribution for its unifying style that illuminates conceptually challenging developments in condensed matter physics and its use of elegant mathematical models in addition to producing new and concrete results.

A partnership between SIAM and COMAP, Guidelines for Assessment and Instruction in Mathematical Modeling Education (GAIMME) enables the modeling process to be understood as part of STEM studies and research, and taught as a basic tool for problem solving and logical thinking. GAIMME helps define core competencies to include in student experiences, and provides direction to enhance math modeling education at all levels. A mix of professionals wrote and reviewed to present various levels and perspectives. The GAIMME report is a freely downloadable report from both SIAM and COMAP's websites.

This book provides general guidelines for solving thermal problems in the fields of engineering and natural sciences. Written for a wide audience, from beginner to senior engineers and physicists, it provides a comprehensive framework covering theory and practice and including numerous fundamental and real-world examples. Based on the thermodynamics of various material laws, it focuses on the mathematical structure of the continuum models and their experimental validation. In addition to several examples in renewable energy, it also presents thermal processes in space, and summarizes size-dependent, non-Fourier, and non-Fickian problems, which have increasing practical relevance in, e.g., the semiconductor industry. Lastly, the book discusses the key aspects of numerical methods, particularly highlighting the role of boundary conditions in the modeling process. The book provides readers with a comprehensive toolbox, addressing a wide variety of topics in thermal modeling, from constructing material laws to designing advanced power plants and engineering systems.

This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory, covering topics such as algebraic systems, complex numbers, gauge integration, the Fourier transformation and its discrete counterpart, matrices and their transformation, inner product spaces, and function matrices. The formalization is performed using the interactive theorem prover HOL4, chiefly developed at the University of Cambridge. Many of the developments presented are now integral parts of the library of this prover. As mathematical developments continue to gain in complexity, sometimes demanding proofs of enormous sizes, formalization has proven to be invaluable in terms of obtaining real confidence in their correctness. This book provides a basis for the computer-aided verification of engineering systems constructed using the principles of complex analysis and matrix theory, as well as building blocks for the formalization of more involved mathematical theories.

This book provides a tutorial in the use of Altair Compose and Altair Activate, software packages that provide system modeling and simulation facilities. Advanced system modeling software provide multiple ways of creating models: models can be programmed in specialized languages, graphically constructed as block-diagrams and state machines, or expressed mathematically in equation-based languages. Compose and Activate are introduced in this text in two parts. The first part introduces the multi-language environment of Compose and its use for modeling, simulation and optimization. The second describes the graphical system modeling and optimization with Activate, an open-system environment providing signal-based modeling as well as physical system component-based modeling. Throughout both parts are applied examples from mechanical, biological, and electrical systems, as well as control and signal processing systems. This book will be an invaluable addition with many examples both for those just interested in OML and those doing industrial scale modeling, simulation, and design. All examples are worked using the free basic editions of Activate and Compose that are available.

This book highlights recent advances of optical spatial solitons in photorefractive materials ranging broadly from the coupling, modulation instability, effect of pyroelectricity, and the stability of photorefractive solitons, among other topics. Photorefractive solitons have been at the forefront of research because of their formation at low laser powers and unique saturable nonlinearity present in photorefractive materials which supports solitons in (2+1) D. There has been a spurt in research on photorefractive solitons recently, which has contributed to a greater understanding of the theoretical foundation of photorefractive solitons as also of their various interesting and practical applications. The book elucidates the diversity of photorefractive solitons and provides a good resource for students, researchers, and professionals in the area of nonlinear optics.

This accessible monograph introduces physicists to the general relation between classical and quantum mechanics based on the mathematical idea of deformation quantization and describes an original approach to the theory of quantum integrable systems developed by the author.The first goal of the book is to develop of a common, coordinate free formulation of classical and quantum Hamiltonian mechanics, framed in common mathematical language.In particular, a coordinate free model of quantum Hamiltonian systems in Riemannian spaces is formulated, based on the mathematical idea of deformation quantization, as a complete physical theory with an appropriate mathematical accuracy.The second goal is to develop of a theory which allows for a deeper understanding of classical and quantum integrability. For this reason the modern separability theory on both classical and quantum level is presented. In particular, the book presents a modern geometric separability theory, based on bi-Poissonian and bi-presymplectic representations of finite dimensional Liouville integrable systems and their admissible separable quantizations.The book contains also a generalized theory of classical Stackel transforms and the discussion of the concept of quantum trajectories.In order to make the text consistent and self-contained, the book starts with a compact overview of mathematical tools necessary for understanding the remaining part of the book. However, because the book is dedicated mainly to physicists, despite its mathematical nature, it refrains from highlighting definitions, theorems or lemmas.Nevertheless, all statements presented are either proved or the reader is referred to the literature where the proof is available.

This book studies electron resonant tunneling in two- and three-dimensional quantum waveguides of variable cross-sections in the time-independent approach. Mathematical models are suggested for the resonant tunneling and develop asymptotic and numerical approaches for investigating the models. Also, schemes are presented for several electronics devices based on the phenomenon of resonant tunneling. Compared to its first edition, this book includes four new chapters, redistributes the content between chapters and modifies the estimates of the remainders in the asymptotics of resonant tunneling characteristics. The book is addressed to mathematicians, physicists, and engineers interested in waveguide theory and its applications in electronics.

This book is dedicated to the systematization and development of models, methods, and algorithms for queuing systems with correlated arrivals. After first setting up the basic tools needed for the study of queuing theory, the authors concentrate on complicated systems: multi-server systems with phase type distribution of service time or single-server queues with arbitrary distribution of service time or semi-Markovian service. They pay special attention to practically important retrial queues, tandem queues, and queues with unreliable servers. Mathematical models of networks and queuing systems are widely used for the study and optimization of various technical, physical, economic, industrial, and administrative systems, and this book will be valuable for researchers, graduate students, and practitioners in these domains.