Leyton's Process Grammar has been applied by scientists and engineers in many disciplines including medical diagnosis, geology, computer-aided design, meteorology, biological anatomy, neuroscience, chemical engineering, etc. This book demonstrates the following:

The Process Grammar invents several entirely new concepts in biological morphology and manufacturing design, and shows that these concepts are fundamentally important.

The Process Grammar has process-inference rules that give, to morphological transitions, powerful new "causal explanations."

Remarkably, the book gives a profound "unification" of "biological morphology" and "vehicle design."

The book invents over 30 new CAD operations that realize fundamentally important functions of a product.

A crucial fact is that the Process Grammar is an example of the laws in Leyton's Generative Theory of Shape which give the ability to recover the "design intents "for which the shape features of a CAD model were created. The book demonstrates that the Process Grammar recovers important design intents in biological morphology and manufacturing design. In large-scale manufacturing systems, the recovery of design intents is important for solving the interoperability problem and product lifecycle management.

This book is one of a series of books in Springer that elaborates Leyton's Generative Theory of Shape.

Discrete Mathematics for New Technology has been designed to cover the core mathematics requirement for undergraduate computer science students in the UK and the USA. This has been approached in a comprehensive way whilst maintaining an easy to follow progression from the basic mathematical concepts covered by the GCSE in the UK and by high-school algebra in the USA, to the more sophisticated mathematical concepts examined in the latter stages of the book. The rigorous treatment of theory is punctuated by frequent use of pertinent examples. This is then reinforced with exercises to allow the reader to achieve a "feel" for the subject at hand. Hints and solutions are provided for these brain-teasers at the end of the book. Although aimed primarily at computer science students, the structured development of the mathematics enables this text to be used by undergraduate mathematicians, scientists and others who require an understanding of discrete mathematics. The topics covered include: logic and the nature of mathematical proof set theory, relations and functions, matrices and systems of linear equations, algebraic structures, Boolean algebras and a thorough treatise on graph theory. The authors have extensive experience of teaching undergraduate mathematics at colleges and universities in the British and American systems. They have developed and taught courses for a varied of non-specialists and have established reputations for presenting rigorous mathematical concepts in a manner which is accessible to this audience. Their current research interests lie in the fields of algebra, topology and mathematics education. Discrete Mathematics for New Technology is therefore a rare thing; areadable, friendly textbook designed for non-mathematicians, presenting material which is at the foundations of mathematics itself. It is essential reading.

'Et moi, ..., si j'avait Sll comment en revemr, One service mathematics has rendered the je n'y serais point aIle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

The aim of the Expositions is to present new and important developments in pure and applied mathematics. Well established in the community over more than two decades, the series offers a large library of mathematical works, including several important classics. The volumes supply thorough and detailed expositions of the methods and ideas essential to the topics in question. In addition, they convey their relationships to other parts of mathematics. The series is addressed to advanced readers interested in a thorough study of the subject. Editorial Board Lev Birbrair, Universidade Federal do Ceara, Fortaleza, Brasil Walter D. Neumann, Columbia University, New York, USA Markus J. Pflaum, University of Colorado, Boulder, USA Dierk Schleicher, Jacobs University, Bremen, Germany Katrin Wendland, University of Freiburg, Germany Honorary Editor Victor P. Maslov, Russian Academy of Sciences, Moscow, Russia Titles in planning include Yuri A. Bahturin, Identical Relations in Lie Algebras (2019) Yakov G. Berkovich, Lev G. Kazarin, and Emmanuel M. Zhmud', Characters of Finite Groups, Volume 2 (2019) Jorge Herbert Soares de Lira, Variational Problems for Hypersurfaces in Riemannian Manifolds (2019) Volker Mayer, Mariusz Urbanski, and Anna Zdunik, Random and Conformal Dynamical Systems (2021) Ioannis Diamantis, Bostjan Gabrovsek, Sofia Lambropoulou, and Maciej Mroczkowski, Knot Theory of Lens Spaces (2021)

This volume contains papers presented at the meeting Deformation Theory, Symplectic Geometry and Applications, held in Ascona, June 17-21, 1996. The contents touch upon many frontier domains of modern mathematics, mathematical physics and theoretical physics and include authoritative, state-of-the-art contributions by leading scientists. New and important developments in the fields of symplectic geometry, deformation quantization, noncommutative geometry (NCG) and Lie theory are presented. Among the subjects treated are: quantization of general Poisson manifolds; new deformations needed for the quantization of Nambu mechanics; quantization of intersection cardinalities; quantum shuffles; new types of quantum groups and applications; quantum cohomology; strong homotopy Lie algebras; finite- and infinite-dimensional Lie groups; and 2D field theories and applications of NCG to gravity coupled with the standard model. Audience: This book will be of interest to researchers and post-graduate students of mathematical physics, global analysis, analysis on manifolds, topological groups, nonassociative rings and algebras, and Lie algebras.

A matroid is an abstract mathematical structure that captures combinatorial properties of matrices. This book offers a unique introduction to matroid theory, emphasizing motivations from matrix theory and applications to systems analysis.This book serves also as a comprehensive presentation of the theory and application of mixed matrices, developed primarily by the present author in the last decade. A mixed matrix is a convenient mathematical tool for systems analysis, compatible with the physical observation that "fixed constants" and "system parameters" are to be distinguished in the description of engineering systems.This book will be extremely useful to graduate students and researchers in engineering, mathematics and computer science.

The authors have backgrounds which are ideally suited for writing this book. The late C. Truesdell is well known for his monumental treatises on continuum thermomechanics. K.R. Rajagopal has made many important contributions to the mechanics of continua in general, and to nonlinear fluids in particular. They have produced a compact, moderately general book which encompasses many fluid models of current interest The book is written very clearly and contains a large number of exercises and their solutions. The level of mathematics is that commonly taught to undergraduates in mathematics departments. This is an excellent book which is highly recommended to students and researchers in fluid mechanics.

Mathematical Reviews

The writing style is quintessential Truesdellania: purely mathematical, breathtaking, irrepressible, irreverent, uncompromising, taking no prisoners...The book is filled with historical nuggets Its pure, exact mathematics will baptize, enlighten and exhilarate.

Applied Mechanics Review

The most positive aspect of this book is its brevity; a large number of topics are covered within the space of a little more than 250 pages.

Current Science

This advanced monograph presents one of the best new views on the subject for those who like relative simplicity and certain abstractness combined with mathematical rigor and elegance All the details are carefully worked out and to a large degree based on original work and lifelong experience. The topics range from Euler fluids to memory fluids, and the framework is general enough to treat other nonlinear fluids than those explicitly mentioned The book should be useful for graduates and researchers not only in applied mathematics and mechanical engineering but also in advanced materials science and technology Each public scientific library as well as hydrodynamics hand libraries should own this timeless book Doubtlessly everyone who decides to buy this book can be sure to have bought a classic of science and the heritage of an outstanding scientist.

Silik ty

All applied mathematicians, mechanical engineers, aerospace engineers, and engineering mechanics graduates and researchers will find the book an essential reading resource for fluids.

Simulation News Europe

A way of understanding the laws which govem the worId of elementary particIes has not been found yet. Present-day theoretical physicists have to be satisfied with compromises which, at the best, promise some success at the expense of generality and unity. U nder these circumstances a critical analysis of the basic concepts of modem quantum theory may be timely and usefuI. It is hoped that the value of such an analysis may be preserved even if, in the near future, new ways of understanding the basis of elementary particIe physics are discovered. In this monograph one specific aspect of this analysis is treated, namely the problems of geometry in the microworld. An out- line of geometrical measurements in the macroworld was given pre- viously. These measurements seem to be c1ear enough for at least a certain set of problems to be considered as a starting point for discussing the situation in the microworld. The concepts and methods which are useful in the macroworld may only indirectly be carried over into the microworld and they require a high degree of abstraction. In comprehending the physical content of dynamic variables which have geometric meaning, for example, the space-time partic1e coor- dinates x, y, z, t it is of ten necessary to have recourse to gedanken experiments which, although not feasible in practice, can nevertheless be compatible with the basic principles of geometry and quantum mechanics.

1 Industrial Mathematics in Linz The Johannes-Kepler-University is situated in Linz, which is the industrial center of Austria. This location provides unique opportunities for cooperation between in dustry and a university which derives its name from one of the most eminent ap plied mathematicians of all times. The mathematics department was founded in the late Sixties, the first students graduated in 1974. In these boom times, they had no problems of finding jobs in industry. However, their employers were then more interested in their general training than in their specific mathematical skills. To change this, the department decided to actively seek cooperation with industry in what we called "problem seminars," where students were trained to solve (under guidance) real-world problems from local industry. Groundwork was already laid by a curriculum with special emphasis on numerical analysis, statistics, and optim ization. This work in problem seminars usually evolved into diploma theses. Inci dentally, in all projects presented here, students were involved at some stages. While the original motivation for cooperation with industry was educational, it turned out that most problems presented to us also led to interesting mathematical problems, so that nowadays our motivation is as much scientific as educational. When cooperating with industry, one cannot expect that the problems to be solved fall into one's special mathematical interest.

The second edition of this book systematically summarizes the latest research findings on high-speed railway track dynamics, made by the author and his research team over the past decade. It explores cutting-edge issues concerning the basic theory of high-speed railways, covering the dynamic theories, models, algorithms and engineering applications of the high-speed train and track coupling system. Presenting original concepts, systematic theories and advanced algorithms, the book places great emphasis on the precision and completeness of its content. The chapters are interrelated yet largely self-contained, allowing readers to either read through the book as a whole or focus on specific topics. It also combines theories with practice to effectively introduce readers to the latest research findings and developments in high-speed railway track dynamics. It offers a valuable resource for researchers, postgraduates and engineers in the fields of civil engineering, transportation, highway and railway engineering.

Bayesian methods are growing more and more popular, finding new practical applications in the fields of health sciences, engineering, environmental sciences, business and economics and social sciences, among others. This book explores the use of Bayesian analysis in the statistical estimation of the unknown phenomenon of interest. The contents demonstrate that where such methods are applicable, they offer the best possible estimate of the unknown. Beyond presenting Bayesian theory and methods of analysis, the text is illustrated with a variety of applications to real world problems.

Previous research on fixed/finite-time sliding-mode control focuses on forcing a system state (vector) to converge within a certain time moment, regardless of how each state element converges. This book introduces a control problem with unique finite/fixed-time stability considerations, namely time-synchronized stability, where at the same time, all the system state elements converge to the origin, and fixed-time-synchronized stability, where the upper bound of the synchronized settling time is invariant with any initial state. Accordingly, sufficient conditions for (fixed-) time-synchronized stability are presented. These stability formulations grant essentially advantageous performance when a control system (with diversified subsystems) is expected to accomplish multiple actions synchronously, e.g., grasping with a robotic hand, multi-agent simultaneous cooperation, etc. Further, the analytical solution of a (fixed) time-synchronized stable system is obtained and discussed. Applications to linear systems, disturbed nonlinear systems, and network systems are provided. In addition, comparisons with traditional fixed/finite-time sliding mode control are suitably detailed to showcase the full power of (fixed-) time-synchronized control.

Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Such procedures are often applied in communication networks that are characterised by a shared communication channel with large round-trip times.

In this book, we propose queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks.

We offer various mathematical models to better understand the performance of these reservation procedures. The book covers four key performance models, and modifications to these: Contention trees, the repairman model, the bulk service queue, and tandem queues.

The relevance of this book is not limited to reservation procedures and cable networks, and performance analysts from a variety of areas may benefit, as all models have found application in other fields as well.

'Et moi, ..., si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non- The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bell O. Heaviside Mathematicsis a tool for thought. A highly necessary tool in a world where both feedback and non- linearities abound. Similarly, all kinds of parts of mathematics seIVe as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One seIVice topology has rendered mathematical physics ...'; 'One service logic has rendered com- puter science ...'; 'One service category theory has rendered mathematics ...'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series.

Proceedings of the International Symposium organized by the Mathematical Institute of the Polish Academy of Sciences, The Institute for Nuclear Research, Warsaw, 25-30 March 1974

This book gives an intuitive and hands-on introduction to Topological Data Analysis (TDA). Covering a wide range of topics at levels of sophistication varying from elementary (matrix algebra) to esoteric (Grothendieck spectral sequence), it offers a mirror of data science aimed at a general mathematical audience. The required algebraic background is developed in detail. The first third of the book reviews several core areas of mathematics, beginning with basic linear algebra and applications to data fitting and web search algorithms, followed by quick primers on algebra and topology. The middle third introduces algebraic topology, along with applications to sensor networks and voter ranking. The last third covers key contemporary tools in TDA: persistent and multiparameter persistent homology. Also included is a user's guide to derived functors and spectral sequences (useful but somewhat technical tools which have recently found applications in TDA), and an appendix illustrating a number of software packages used in the field. Based on a course given as part of a masters degree in statistics, the book is appropriate for graduate students.

This proceedings volume convenes peer-reviewed, selected papers presented at the XXVIII International Joint Conference on Industrial Engineering and Operations Management (IJCIEOM) that was held in Mexico City, Mexico, July 17-20, 2022, with a special focus on applications of industrial engineering and operations management for research and practice. Fields covered include operations, manufacturing, industrial and production engineering and management, emphasizing optimization models and data science applications to real-world problems. In this book, the reader will find works on topics as optimization models; stochastic optimization; digital transformation in the supply chain; data science applications in operations management; Industry 4.0: manufacturing planning & control; blockchain; intelligent transportation systems; sustainable and reverse logistics; big data and demand planning; predictive and prescriptive analytics; last-mile delivery optimization; stochastic inventory models; new trends in information technology for operation management; stochastic optimization; optimization models for omnichannel; safety in operation management; and more. This volume includes relevant information for academics, since most of the chapters focus on real-world case studies and systematic reviews, but also for professionals in the industrial sector as it presents solutions to complex industrial challenges. Previous 2018, 2019, 2020, and 2021 IJCIEOM proceedings can also be found in Springer's catalog.

This book presents theories and the main useful techniques of the Finite Element Method (FEM), with an introduction to FEM and many case studies of its use in engineering practice. It supports engineers and students to solve primarily linear problems in mechanical engineering, with a main focus on static and dynamic structural problems. Readers of this text are encouraged to discover the proper relationship between theory and practice, within the finite element method: Practice without theory is blind, but theory without practice is sterile. Beginning with elasticity basic concepts and the classical theories of stressed materials, the work goes on to apply the relationship between forces, displacements, stresses and strains on the process of modeling, simulating and designing engineered technical systems. Chapters discuss the finite element equations for static, eigenvalue analysis, as well as transient analyses. Students and practitioners using commercial FEM software will find this book very helpful. It uses straightforward examples to demonstrate a complete and detailed finite element procedure, emphasizing the differences between exact and numerical procedures.

This unique book is at the nexus of modern software programming practices and electrochemical process engineering. It is the authoritative text on developing open source software for many applications, including: * fuel cells; * electrolyzers; and * batteries. Written by experts in the field in the open source computational fluid dynamics (CFD) code suite OpenFOAM, this book is intended for process engineering professionals developing practical electrochemical designs for industry, as well as researchers focused on finding tomorrow's answers today. The book covers everything from micro-scale to cell-scale to stack-scale models, with numerous illustrations and programming examples. Starting from a clear explanation of electrochemical processes and simple illustrative examples, the book progresses in complexity through a range of diverse applications. After reading this book, the reader is able to take command and control of model development as an expert. The book is aimed at all engineers and scientists with basic knowledge of calculus and programming in C++.

Advances in science and technology necessitate the use of increasingly-complicated dynamic control processes. Undoubtedly, sophisticated mathematical models are also concurrently elaborated for these processes. In particular, linear dynamic control systems iJ = Ay + Bu, y E M C ]Rn, U E ]RT, (1) where A and B are constants, are often abandoned in favor of nonlinear dynamic control systems (2) which, in addition, contain a large number of equations. The solution of problems for multidimensional nonlinear control systems en counters serious difficulties, which are both mathematical and technical in nature. Therefore it is imperative to develop methods of reduction of nonlinear systems to a simpler form, for example, decomposition into systems of lesser dimension. Approaches to reduction are diverse, in particular, techniques based on approxi mation methods. In this monograph, we elaborate the most natural and obvious (in our opinion) approach, which is essentially inherent in any theory of math ematical entities, for instance, in the theory of linear spaces, theory of groups, etc. Reduction in our interpretation is based on assigning to the initial object an isomorphic object, a quotient object, and a subobject. In the theory of linear spaces, for instance, reduction consists in reducing to an isomorphic linear space, quotient space, and subspace. Strictly speaking, the exposition of any mathemat ical theory essentially begins with the introduction of these reduced objects and determination of their basic properties in relation to the initial object."

Modern image processing techniques are based on multiresolution geometrical methods of image representation. These methods are efficient in sparse approximation of digital images. There is a wide family of functions called simply X-lets, and these methods can be divided into two groups: the adaptive and the nonadaptive. This book is devoted to the adaptive methods of image approximation, especially to multismoothlets.

Besides multismoothlets, several other new ideas are also covered. Current literature considers the black and white images with smooth horizon function as the model for sparse approximation but here, the class of blurred multihorizon is introduced, which is then used in the approximation of images with multiedges. Additionally, the semi-anisotropic model of multiedge representation, the introduction of the shift invariant multismoothlet transform and sliding multismoothlets are also covered.

"Geometrical Multiresolution Adaptive Transforms" should be accessible to both mathematicians and computer scientists. It is suitable as a professional reference for students, researchers and engineers, containing many open problems and will be an excellent starting point for those who are beginning new research in the area or who want to use geometrical multiresolution adaptive methods in image processing, analysis or compression."

This book includes selected contributions on applied mathematics, numerical analysis, numerical simulation and scientific computing related to fluid mechanics problems, presented at the FEF-"Finite Element for Flows" conference, held in Rome in spring 2017. Written by leading international experts and covering state-of-the-art topics in numerical simulation for flows, it provides fascinating insights into and perspectives on current and future methodological and numerical developments in computational science. As such, the book is a valuable resource for researchers, as well as Masters and Ph.D students.

Using numerical examples to illustrate their concepts and results, this book examines recently developed fuzzy multi-criteria methods, such as Intuitionistic Fuzzy TOPSIS, Intuitionistic Fuzzy TOPSIS & DEA-AHP, Intuitionistic VIKOR, Pythagorean WASPAS, Pythagorean ENTROPI, Hesitant CBD, Hesitant MABAC, Triangular EDAS, Triangular PROMETHEE, q-Rung Orthopair COPRAS, and Fuzzy Type - 2 ELECTRE. Each chapter covers practical applications in addition to fresh developments and results. Given its structure and scope, the book can be used as a textbook in graduate courses on operations research and industrial engineering. It also offers a valuable resource for scientists working in a range of disciplines that require multi-criteria decision making.

This book presents established and new approaches to perform calculations of electrostatic interactions at the nanoscale, with particular focus on molecular biology applications. It is based on the proceedings of the Computational Electrostatics for Biological Applications international meeting, which brought together researchers in computational disciplines to discuss and explore diverse methods to improve electrostatic calculations. Fostering an interdisciplinary approach to the description of complex physical and biological problems, this book encompasses contributions originating in the fields of geometry processing, shape modeling, applied mathematics, and computational biology and chemistry. The main topics covered are theoretical and numerical aspects of the solution of the Poisson-Boltzmann equation, surveys and comparison among geometric approaches to the modelling of molecular surfaces and related discretization and computational issues. It also includes a number of contributions addressing applications in biology, biophysics and nanotechnology. The book is primarily intended as a reference for researchers in the computational molecular biology and chemistry fields. As such, it also aims at becoming a key source of information for a wide range of scientists who need to know how modeling and computing at the molecular level may influence the design and interpretation of their experiments.