The first World Meeting for Women in Mathematics - (WM)(2) - was a satellite event of the International Congress of Mathematicians (ICM) 2018 in Rio de Janeiro. With a focus on Latin America, the first (WM)(2) brought together mathematicians from all over the world to celebrate women mathematicians, and also to reflect on gender issues in mathematics, challenges, initiatives, and perspectives for the future. Its activities were complemented by a panel discussion organized by the Committee for Women in Mathematics (CWM) of the International Mathematical Union (IMU) inside the ICM 2018 entitled "The gender gap in mathematical and natural sciences from a historical perspective". This historical proceedings book, organized by CWM in coordination with the Association for Women in Mathematics, records the first (WM)(2) and the CWM panel discussion at ICM 2018. The first part of the volume includes a report of activities with pictures of the first (WM)(2) and a tribute to Maryam Mirzakhani, the first woman to be awarded the Fields medal. It also comprises survey research papers from invited lecturers, which provide panoramic views of different fields in pure and applied mathematics. The second part of the book contains articles from the panelists of the CWM panel discussion, which consider the historical context of the gender gap in mathematics. It includes an analysis of women lecturers in the ICM since its inception. This book is dedicated to the memory of Maryam Mirzakhani.

The book is centered around the research areas of combinatorics, special functions, and computer algebra. What these research fields share is that many of their outstanding results do not only have applications in Mathematics, but also other disciplines, such as computer science, physics, chemistry, etc. A particular charm of these areas is how they interact and influence one another. For instance, combinatorial or special functions' techniques have motivated the development of new symbolic algorithms. In particular, first proofs of challenging problems in combinatorics and special functions were derived by making essential use of computer algebra. This book addresses these interdisciplinary aspects. Algorithmic aspects are emphasized and the corresponding software packages for concrete problem solving are introduced. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines.

Discrete-Time and Discrete-Space Dynamical Systems provides a systematic characterization of the similarities and differences of several types of discrete-time and discrete-space dynamical systems, including: Boolean control networks; nondeterministic finite-transition systems; finite automata; labelled Petri nets; and cellular automata. The book's perspective is primarily based on topological properties though it also employs semitensor-product and graph-theoretic methods where appropriate. It presents a series of fundamental results: invertibility, observability, detectability, reversiblity, etc., with applications to systems biology. Academic researchers with backgrounds in applied mathematics, engineering or computer science and practising engineers working with discrete-time and discrete-space systems will find this book a helpful source of new understanding for this increasingly important class of systems. The basic results to be found within are of fundamental importance for further study of related problems such as automated synthesis and safety control in cyber-physical systems using formal methods.

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 concentrates on the topic of evaluation of Jacobians in some specific linear as well as nonlinear matrix transformations, in the real and complex cases, which are widely applied in the statistical, physical, engineering, biological and social sciences. It aims to develop some techniques systematically so that anyone with a little exposure to multivariable calculus can easily follow the steps and understand the various methods by which the Jacobians in complicated matrix transformations are evaluated. The material is developed slowly, with lots of worked examples, aimed at self-study. Some exercises are also given, at the end of each section.The book is a valuable reference for statisticians, engineers, physicists, econometricians, applied mathematicians and people working in many other areas. It can be used for a one-semester graduate level course on Jacobians and functions of matrix argument.

This book provides a comprehensive treatment of the physics of hysteresis in magnetism and of the mathematical tools used to describe it. Hysteresis in Magnetism discusses from a unified viewpoint the relationsof hysteresis to Maxwells equations, equilibrium and non-equilibrium thermodynamics, non-linear system dynamics, micromagnetics, and domain theory. These aspects are then applied to the interpretation of magnetization reversal mechanisms: coherent rotation and switching in magnetic particles, stochastic domain wall motion and the Barkhausen effect, coercivity mechanisms and magnetic viscosity, rate-dependent hysteresis and eddy-current losses. The book emphasizes the connection between basic physical ideas and phenomenological models of interest to applications, and, in particular, to the conceptual path going from Maxwells equations and thermodynamics to micromagnetics and to Preisach hysteresis modeling.
Key Features
* The reader will get insight into the importance and role of hysteresis in magnetism; In particular, he will learn:
* which are the fingerprints of hysteresis in magnetism
* which are the situations in which hysteresis may appear
* how to describe mathematically these situations
* how to apply these descriptions to magnetic materials
* how to interpret and predict magnetic hysteresis phenomena observed experimentally

This book presents the latest findings on train operation theories and methods in the context of emergencies. It examines and assesses a range of aspects-including the definition of a railway emergency, transport organization modes in emergencies, calculating railway transport capacity in emergencies, line planning in emergencies, train re-pathing in emergencies and train re-scheduling in emergencies-that are urgently needed in the railway transportation field, which faces the serious challenge of dealing with emergencies worldwide. The book highlights the latest research results in an integrated and systematic way, and the methodology presented is oriented on real-world problems, allowing it to be used not only directly in railway operational management, but also as the point of departure for further applications or theoretical research. As such, the book will be of considerable interest to graduate students and researchers in the field of traffic and transportation engineering.>

When trying to solve a complex, seemingly unsolvable problem, electrical engineers sometimes just need to start at the very beginning of the problem. To arrive at a solution, they have to go back to the basics and examine the mathematical rules, laws, and formulas that are at the root of every electrical engineering problem. This is why engineers need the Mathematical Handbook for Electrical Engineers. Written by electrical engineers, specifically for electrical engineers, this valuable resource presents the most common mathematical techniques used for problem solving and computer-aided analysis. It concisely, clearly, and easily explains the essential mathematics engineers use everyday on the job, and also serves as a time-saving reference for students. Examples are taken from a wide variety of electrical engineering disciplines, including circuits, devices and systems, antennas and propagation, waveforms and signal processing, and stochastic radio engineering.

This book uses Ludwig Wittgenstein's philosophical methodology to solve a problem that has perplexed thinkers for thousands of years: 'how come (abstract) mathematics applies so wonderfully well to the (concrete, physical) world?' The book is distinctive in several ways. First, it gives the reader a route into understanding important features of Wittgenstein's writings and lectures by using his methodology to tackle this long-standing and seemingly intractable philosophical problem. More than this, though, it offers an outline of important (sometimes little-known) aspects of the development of mathematical thought through the ages, and an engagement of Wittgenstein's philosophy with this and with contemporary philosophy of mathematics on its own terms. A clear overview of all this in the context of Wittgenstein's philosophy of mathematics is interesting in its own right; it is also just what is needed to solve the problem of mathematics and world.

From the reviews: "A unique feature of this book is the nice blend of engineering vividness and mathematical rigour. [...] The authors are to be congratulated for their valuable contribution to the literature in the area of theoretical thermoelasticity and vibration of plates." Journal of Sound and Vibration

This book proposes new technologies and discusses future solutions for ICT design infrastructures, as reflected in high-quality papers presented at the 5th International Conference on ICT for Sustainable Development (ICT4SD 2020), held in Goa, India, on 23-24 July 2020. The conference provided a valuable forum for cutting-edge research discussions among pioneering researchers, scientists, industrial engineers, and students from all around the world. Bringing together experts from different countries, the book explores a range of central issues from an international perspective.

Packed with new material and research, this second edition of George Friedman's bestselling Constraint Theory remains an invaluable reference for all engineers, mathematicians, and managers concerned with modeling. As in the first edition, this text analyzes the way Constraint Theory employs bipartite graphs and presents the process of locating the "kernel of constraint" trillions of times faster than brute-force approaches, determining model consistency and computational allowability. Unique in its abundance of topological pictures of the material, this book balances left- and right-brain perceptions to provide a thorough explanation of multidimensional mathematical models. Much of the extended material in this new edition also comes from Phan Phan's PhD dissertation in 2011, titled "Expanding Constraint Theory to Determine Well-Posedness of Large Mathematical Models." Praise for the first edition: "Dr. George Friedman is indisputably the father of the very powerful methods of constraint theory." --Cornelius T. Leondes, UCLA "Groundbreaking work. ... Friedman's accomplishment represents engineering at its finest. ... The credibility of the theory rests upon the formal proofs which are interspersed among the illuminating hypothetical dialog sequences between manager and analyst, which bring out distinctions that the organization must face, en route to accepting Friedman's work as essential to achieve quality control in developing and applying large models." --John N. Warfield

Fuzzy Logic has gained increasing acceptance as a way to deal with complexity and uncertainty in many areas of science and engineering. This book is the first to address its practical applications to chemical systems. Ten distinguished authors discuss the role of fuzzy logic in the characterization of a variety of chemical concepts, including chirality, quantum systems, molecular engineering and design, and hierarchical classification methods. Fuzzy Logic in Chemistry will appeal to both students and professionals who are seeking to learn more about theory and applications in an area of growing importance to the physical sciences.
Key Features
* The first book on the applications of fuzzy logic in chemistry
* Covers a topic relevant to many disciplines, including molecular design
* Discusses applications of fuzzy logic to the physical sciences, a rapidly growing area
* Features chapters from highly distinguished authors in the physical sciences

This book presents modern approaches to improving the energy efficiency, safety and environmental performance of industrial processes and products, based on the application of advanced trends in Green Information Technologies (IT) Engineering to components, networks and complex systems (software, programmable and hardware components, communications, Cloud and IoT-based systems, as well as IT infrastructures). The book's 16 chapters, prepared by authors from Greece, Malaysia, Russia, Slovakia, Ukraine and the United Kingdom, are grouped into four sections: (1) The Green Internet of Things, Cloud Computing and Data Mining, (2) Green Mobile and Embedded Control Systems, (3) Green Logic and FPGA Design, and (4) Green IT for Industry and Smart Grids. The book will motivate researchers and engineers from different IT domains to develop, implement and propagate green values in complex systems. Further, it will benefit all scientists and graduate students pursuing research in computer science with a focus on green IT engineering.

This volume contains proceedings of two conferences held in Toronto (Canada) and Kozhikode (India) in 2016 in honor of the 60th birthday of Professor Kumar Murty. The meetings were focused on several aspects of number theory: The theory of automorphic forms and their associated L-functions Arithmetic geometry, with special emphasis on algebraic cycles, Shimura varieties, and explicit methods in the theory of abelian varieties The emerging applications of number theory in information technology Kumar Murty has been a substantial influence in these topics, and the two conferences were aimed at honoring his many contributions to number theory, arithmetic geometry, and information technology.

Branches of mathematics and advanced mathematical algorithms can help solve daily problems throughout various fields of applied sciences. Domains like economics, mechanical engineering, and multi-person decision making benefit from the inclusion of mathematics to maximize utility and cooperation across disciplines. There is a need for studies seeking to understand the theories and practice of using differential mathematics to increase efficiency and order in the modern world. Emerging Applications of Differential Equations and Game Theory is a collection of innovative research that examines the recent advancements on interdisciplinary areas of applied mathematics. While highlighting topics such as artificial neuron networks, stochastic optimization, and dynamical systems, this publication is ideally designed for engineers, cryptologists, economists, computer scientists, business managers, mathematicians, mechanics, academicians, researchers, and students.

Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.

This book is aimed at researchers, graduate students and engineers who would like to be initiated to Piecewise Deterministic Markov Processes (PDMPs). A PDMP models a deterministic mechanism modified by jumps that occur at random times. The fields of applications are numerous : insurance and risk, biology, communication networks, dependability, supply management, etc. Indeed, the PDMPs studied so far are in fact deterministic functions of CSMPs (Completed Semi-Markov Processes), i.e. semi-Markov processes completed to become Markov processes. This remark leads to considerably broaden the definition of PDMPs and allows their properties to be deduced from those of CSMPs, which are easier to grasp. Stability is studied within a very general framework. In the other chapters, the results become more accurate as the assumptions become more precise. Generalized Chapman-Kolmogorov equations lead to numerical schemes. The last chapter is an opening on processes for which the deterministic flow of the PDMP is replaced with a Markov process. Marked point processes play a key role throughout this book.

The subject of nonlinear partial differential equations is experiencing a period of intense activity in the study of systems underlying basic theories in geometry, topology and physics. These mathematical models share the property of being derived from variational principles. Understanding the structure of critical configurations and the dynamics of the corresponding evolution problems is of fundamental importance for the development of the physical theories and their applications. This volume contains survey lectures in four different areas, delivered by leading resarchers at the 1995 Barrett Lectures held at The University of Tennessee: nonlinear hyperbolic systems arising in field theory and relativity (S. Klainerman); harmonic maps from Minkowski spacetime (M. Struwe); dynamics of vortices in the Ginzburg-Landau model of superconductivity (F.-H. Lin); the Seiberg-Witten equations and their application to problems in four-dimensional topology (R. Fintushel). Most of this material has not previously been available in survey form. These lectures provide an up-to-date overview and an introduction to the research literature in each of these areas, which should prove useful to researchers and graduate students in mathematical physics, partial differential equations, differential geometry and topology.

This book highlights the remarkable importance of special functions, operational calculus, and variational methods. A considerable portion of the book is dedicated to second-order partial differential equations, as they offer mathematical models of various phenomena in physics and engineering. The book provides students and researchers with essential help on key mathematical topics, which are applied to a range of practical problems. These topics were chosen because, after teaching university courses for many years, the authors have found them to be essential, especially in the contexts of technology, engineering and economics. Given the diversity topics included in the book, the presentation of each is limited to the basic notions and results of the respective mathematical domain. Chapter 1 is devoted to complex functions. Here, much emphasis is placed on the theory of holomorphic functions, which facilitate the understanding of the role that the theory of functions of a complex variable plays in mathematical physics, especially in the modeling of plane problems. In addition, the book demonstrates the importance of the theories of special functions, operational calculus, and variational calculus. In the last chapter, the authors discuss the basic elements of one of the most modern areas of mathematics, namely the theory of optimal control.

Genetic Algorithms in Molecular Modeling is the first book available on the use of genetic algorithms in molecular design. This volume marks the beginning of an ew series of books, Principles in Qsar and Drug Design, which will be an indispensible reference for students and professionals involved in medicinal chemistry, pharmacology, (eco)toxicology, and agrochemistry. Each comprehensive chapter is written by a distinguished researcher in the field.
Through its up to the minute content, extensive bibliography, and essential information on software availability, this book leads the reader from the theoretical aspects to the practical applications. It enables the uninitiated reader to apply genetic algorithms for modeling the biological activities and properties of chemicals, and provides the trained scientist with the most up to date information on the topic.
. Extremely topical and timely
. Sets the foundations for the development of
computer-aided tools for solving numerous
problems in QSAR and drug design
. Written to be accessible without prior direct
experience in genetic algorithms

This is the third book in a series on Computational Methods in Earthquake Engineering. The purpose of this volume is to bring together the scientific communities of Computational Mechanics and Structural Dynamics, offering a wide coverage of timely issues on contemporary Earthquake Engineering. This volume will facilitate the exchange of ideas in topics of mutual interest and can serve as a platform for establishing links between research groups with complementary activities. The computational aspects are emphasized in order to address difficult engineering problems of great social and economic importance.

Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial Differential Equations and Scientific Computing in August 2014.

This book collects a selection of papers presented at ELECTRIMACS 2019, the 13th international conference of the IMACS TC1 Committee, held in Salerno, Italy, on 21st-23rd May 2019. The conference papers deal with modelling, simulation, analysis, control, power management, design optimization, identification and diagnostics in electrical power engineering. The main application fields include electric machines and electromagnetic devices, power electronics, transportation systems, smart grids, electric and hybrid vehicles, renewable energy systems, energy storage, batteries, supercapacitors and fuel cells, and wireless power transfer. The contributions included in Volume 1 are particularly focused on electrical engineering simulation aspects and innovative applications.

This volume presents the Proceedings of the Joint U.S. / Israel Workshop on Operator Theory and Its Applications, held February 24-28, 1992, at the Ben Gurion University of the Negev, Beersheva. This event was sponsored by the United States / Israel Binational Science Foundation and the Ben Gurion University of the Negev, and many outstanding experts in operator theory took part. The workshop honored Professor Emeritus Moshe Livsic on the occasion of his retirement. The volume contains a selection of papers covering a wide range of topics in modern operator theory and its applications, from abstract operator theory to system theory and computers in operator models. The papers treat linear and nonlinear problems, and study operators from different abstract and concrete classes. Many of the topics concern the area in which contributions of Moshe Livsic were extremely important. This book will appeal to a wide audience of pure and applied mathematicians and engineers.