1 Grundlagen.- 1.1 Allgemeine Grundlagen.- 1.1.1 Ziele und Aufgaben.- 1.1.2 Methoden.- 1.1.3 Geschichte und Einordnung.- 1.1.3.1 Geschichte der Bauwerksvermessung.- 1.1.3.2 Geschichte des Vermessungswesens.- 1.1.3.3 Geschichte der Architekturphotogrammetrie.- 1.1.4 Rechtliche Grundlagen und Rahmenbedingungen.- 1.1.4.1 Internationale Vereinbarungen und Organisationen.- 1.1.4.2 Baugesetzbuch, Denkmalpflegegesetze, Vermessungsgesetze.- 1.2 Messgroessen und Masseinheiten.- 1.2.1 Strecken.- 1.2.2 Winkel.- 1.3 Bezugssysteme und Koordinaten.- 1.3.1 Bezugsflachen.- 1.3.2 Koordinaten.- 1.3.3 Koordinatensysteme.- 1.3.3.1 Polarkoordinaten.- 1.3.3.2 Lokale Koordinatensysteme.- 1.3.3.3 Regionale Koordinatensysteme.- 1.3.3.4 Globale Koordinatensysteme.- 1.3.3.5 Geographische Koordinaten.- 1.3.3.6 Geozentrische Koordinaten.- 1.3.4 Koordinatentransformationen.- 1.3.4.1 Translation (2D).- 1.3.4.2 Massstabslose Transformation (2D).- 1.3.4.3 AEhnlichkeitstransformation (2D).- 1.3.4.4 Vereinfachte AEhnlichkeitstransformation mit 2 Passpunkten (2D).- 1.3.4.5 Affintransformation (2D).- 1.3.4.6 Weitere ebene Koordinatentransformationen.- 1.3.4.7 Raumliche Koordinatentransformation (3D).- 1.3.5 Festpunktfelder.- 1.3.5.1 Netz trigonometrischer Punkte zur Lagedefinition.- 1.3.5.2 Hoehennetz.- 1.3.6 Vermessungsnetze fur die Bauwerksvermessung.- 1.3.6.1 Netzdesign.- 1.3.6.2 Vermarkung.- 1.3.6.3 Design und Fertigung von Punktsignalisierungen.- 1.3.6.4 Auswahl naturlicher Passpunkte.- 1.3.6.5 Schnurnetz zur temporaren Vermarkung.- 1.3.6.6 Punktubersichten und Einmessskizzen.- 1.4 Fehlerlehre und Statistik.- 1.4.1 Fehlerarten und ihre Wirkung.- 1.4.1.1 Zufallige Fehler.- 1.4.1.2 Systematische Fehler.- 1.4.1.3 Grobe Fehler.- 1.4.2 Fehlerfortpflanzung und Ausgleichsrechnung.- 1.4.3 Rechenscharfe und Rundung.- 1.4.4 Toleranzen im Bauwesen.- 2 Dokumentation von Gebauden und Ensembles.- 2.1 Amtliche Dokumentation.- 2.1.1 Katasterunterlagen.- 2.1.2 Amtliche Karten.- 2.1.3 Lageplan.- 2.1.4 Geoinformationssysteme (GIS).- 2.2 Plane.- 2.2.1 Grundriss.- 2.2.2 Schnitt.- 2.2.3 Ansicht.- 2.2.4 Detaildarstellungen.- 2.2.5 Massstabe und Detaillierungsgrad.- 2.2.6 Materialien und Aufbewahrung.- 2.3 3D-Beschreibungen.- 2.3.1 CAD-Modell.- 2.3.2 Animation.- 2.3.3 Virtual Reality.- 2.3.4 Augmented Reality.- 2.4 Fotografie.- 2.4.1 Analoge Fotografie.- 2.4.1.1 Fotografisches Material.- 2.4.1.2 Kameras.- 2.4.1.3 Objektive.- 2.4.1.4 Licht.- 2.4.1.5 Belichtung.- 2.4.1.6 Archivierungen von Fotomaterialien.- 2.4.2 Digitale Bilder.- 2.4.2.1 Flachensensoren.- 2.4.2.2 Zeilenkameras.- 2.4.2.3 Spezialkameras.- 2.4.3 Scannen analoger Fotovorlagen.- 2.4.4 Digitale Bildverarbeitung.- 2.5 Textliche und hybride Beschreibungen.- 2.5.1 Raumbuch.- 2.5.2 Hypertext Dokumente.- 2.5.3 Informationssystem.- 2.6 Archivierung digitaler Daten.- 2.6.1 Datentrager.- 2.6.2 Datenformate.- 2.6.2.1 Texte.- 2.6.2.2 Datenbanken.- 2.6.2.3 Vektordaten.- 2.6.2.4 Rasterdaten.- 2.6.2.5 Hypermedia.- 3 Erfassung von Messelementen.- 3.1 Messprinzipien.- 3.1.1 Vom-Grossen-ins-Kleine.- 3.1.2 UEberbestimmungen.- 3.1.3 Vermeidung von systematischen Fehlern.- 3.2 Gerate und Instrumente.- 3.2.1 Bauteile, Kleingerate und Zubehoer.- 3.2.1.1 Lote und Libellen.- 3.2.1.2 Fernrohr.- 3.2.1.3 Stative.- 3.2.1.4 Fluchtstab.- 3.2.1.5 Nivellierlatten und Kleingerat.- 3.2.1.6 Aufstellen eines Instruments.- 3.2.2 Winkelmessung.- 3.2.2.1 Bestimmung rechter Winkel.- 3.2.2.2 Theodolit.- 3.2.2.3 Satzmessung.- 3.2.2.4 Berechnung von Richtungswinkeln aus Koordinaten.- 3.2.3 Streckenmessung.- 3.2.3.1 Streckenmessung mit dem Messband.- 3.2.3.2 Optische Streckenmessung.- 3.2.3.3 Elektro-optische Entfernungsmessung (EDM).- 3.2.4 Hoehenmessung.- 3.2.4.1 Einfache Werkzeuge.- 3.2.4.2 Nivellement.- 3.2.4.3 Rotationslaser.- 3.3 Beschaffung einer Vermessungsausrustung.- 4 Messverfahren.- 4.1 Schrittskizze.- 4.2 Handaufmass.- 4.3 Punktbestimmung ohne Theodolit.- 4.3.1 Bogenschlag.- 4.3.2 Einbindeverfahren.- 4.3.3 Orthogonalverfahren.- 4.3.4

Outliers play an important, though underestimated, role in control engineering. Traditionally they are unseen and neglected. In opposition, industrial practice gives frequent examples of their existence and their mostly negative impacts on the control quality. The origin of outliers is never fully known. Some of them are generated externally to the process (exogenous), like for instance erroneous observations, data corrupted by control systems or the effect of human intervention. Such outliers appear occasionally with some unknow probability shifting real value often to some strange and nonsense value. They are frequently called deviants, anomalies or contaminants. In most cases we are interested in their detection and removal. However, there exists the second kind of outliers. Quite often strange looking data observations are not artificial data occurrences. They may be just representatives of the underlying generation mechanism being inseparable internal part of the process (endogenous outliers). In such a case they are not wrong and should be treated with cautiousness, as they may include important information about the dynamic nature of the process. As such they cannot be neglected nor simply removed. The Outlier should be detected, labelled and suitably treated. These activities cannot be performed without proper analytical tools and modeling approaches. There are dozens of methods proposed by scientists, starting from Gaussian-based statistical scoring up to data mining artificial intelligence tools. The research presented in this book presents novel approach incorporating non-Gaussian statistical tools and fractional calculus approach revealing new data analytics applied to this important and challenging task. The proposed book includes a collection of contributions addressing different yet cohesive subjects, like dynamic modelling, classical control, advanced control, fractional calculus, statistical analytics focused on an ultimate goal: robust and outlier-proof analysis. All studied problems show that outliers play an important role and classical methods, in which outlier are not taken into account, do not give good results. Applications from different engineering areas are considered such as semiconductor process control and monitoring, MIMO peltier temperature control and health monitoring, networked control systems, and etc.

This IMA Volume in Mathematics and its Applications AMORPHOUS POLYMERS AND NON-NEWTONIAN FLUIDS is in part the proceedings of a workshop which was an integral part of the 1984-85 IMA program on CONTINUUM PHYSICS AND PARTIAL DIFFERENTIAL EQUATIONS We are grateful to the Scientific Committee: Haim Brezis Constantine Dafermos Jerry Ericksen David Kinderlehrer for planning and implementing an exciting and stimulating year-long program. We espe cially thank the Program Organizers, Jerry Ericksen, David Kinderlehrer, Stephen Prager and Matthew Tirrell for organizing a workshop which brought together scientists and mathematicians in a variety of areas for a fruitful exchange of ideas. George R. Sell Hans Weinberger Preface Experiences with amorphous polymers have supplied much of the motivation for developing novel kinds of molecular theory, to try to deal with the more significant features of systems involving very large molecules with many degrees offreedom. Similarly, the observations of many unusual macroscopic phenomena has stimulated efforts to develop linear and nonlinear theories of viscoelasticity to describe them. In either event, we are confronted not with a well-established, specific set of equations, but with a variety of equations, conforming to a loose pattern and suggested by general kinds of reasoning. One challenge is to devise techniques for finding equations capable of delivering definite and reliable predictions. Related to this is the issue of discovering ways to better grasp the nature of solutions ofthose equations showing some promise."

Hybrid dynamical systems, both continuous and discrete dynamics and variables, have attracted considerable interest recently. This emerging area is found at the interface of control theory and computer engineering, focusing on the analogue and digital aspects of systems and devices. They are essential for advances in modern digital- controller technology. "Qualitative Theory of Hybrid Dynamical Systems" provides a thorough development and systematic presentation of the foundations and framework for hybrid dynamical systems. The presentation offers an accessible, but precise, development of the mathematical models, conditions for existence of limit cycles, and criteria of their stability. The book largely concentrates on the case of discretely controlled continuous-time systems and their relevance for modeling aspects of flexible manufacturing systems and dynamically routed queuing networks. Features and topics: *differential automata*development and use of the concept "cyclic linear differential automata" (CLDA)*switched single-server flow networks coverage*application to specific models of manufacturing systems and queuing networks*select collection of open problems for the subject*self-contained presentation of topics, with the necessary background This new book is an excellent resource for the study and analysis of hybrid dynamical systems used in systems and control engineering. Researchers, postgraduates and professionals in control engineering and computer engineering will find the book an up-to-date development of the relevant new concepts and tools.

The two-volume work is intended to function as a textbook for graduate students in economics as well as a reference work for economic scholars. Assuming only the minimal mathematics background required of every second-year graduate student in economics, these two volumes provide a self-contained and careful development of mathematics through locally convex topological vector spaces, and fixed-point, separation, and selection theorems in such spaces. Volume One covers basic set theory, sequences and series, continuous and semi-continuous functions, an introduction to general linear spaces, basic convexity theory, and applications to economics. Volume Two introduces general topology, the theory of correspondences on and into topological spaces, Banach spaces, topological vector spaces, and maximum, fixed-point, and selection theorems for such spaces.

This volume contains the proceedings of the IUTAM Symposium on Model Order Reduction of Coupled System, held in Stuttgart, Germany, May 22-25, 2018. For the understanding and development of complex technical systems, such as the human body or mechatronic systems, an integrated, multiphysics and multidisciplinary view is essential. Many problems can be solved within one physical domain. For the simulation and optimization of the combined system, the different domains are connected with each other. Very often, the combination is only possible by using reduced order models such that the large-scale dynamical system is approximated with a system of much smaller dimension where the most dominant features of the large-scale system are retained as much as possible. The field of model order reduction (MOR) is interdisciplinary. Researchers from Engineering, Mathematics and Computer Science identify, explore and compare the potentials, challenges and limitations of recent and new advances.

Research on applying principles of quantum computing to improve the engineering of intelligent systems has been launched since late 1990s. This emergent research field concentrates on studying on quantum computing that is characterized by certain principles of quantum mechanics such as standing waves, interference, quantum bits, coherence, superposition of states, and concept of interference, combined with computational intelligence or soft computing approaches, such as artificial neural networks, fuzzy systems, evolutionary computing, swarm intelligence and hybrid soft computing methods. This volume offers a wide spectrum of research work developed using soft computing combined with quantum computing systems.

This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The book has three parts, on default logic, modal nonmonotonic logics, and connections and complexity issues, respectively. The study of general default logic is followed by a discussion of normal default logic and its connections to the closed world assumption, and also a presentation of related aspects of logic programming. The general theory of the family of modal nonmonotonic logics introduced by McDermott and Doyle is followed by studies of autoepistemic logic, the logic of reflexive knowledge, and the logic of pure necessitation, and also a short discussion of algorithms for computing knowledge and belief sets. The third part explores connections between default logic and modal nonmonotonic logics and contains results on the complexity of nonmonotonic reasoning. The ideas are presented with an elegance and unity of perspective that set a new standard of scholarship for books in this area, and the work indicates that the field has reached a very high level of maturity and sophistication. The book is intended as a reference on default logic, nonmonotonic logics, and related computational issues, and is addressed to researchers, programmers, and graduate students in the Artificial Intelligence community.

The sine-Gordon model is a ubiquitous model of Mathematical Physics with a wide range of applications extending from coupled torsion pendula and Josephson junction arrays to gravitational and high-energy physics models. The purpose of this book is to present a summary of recent developments in this field, incorporating both introductory background material, but also with a strong view towards modern applications, recent experiments, developments regarding the existence, stability, dynamics and asymptotics of nonlinear waves that arise in the model. This book is of particular interest to a wide range of researchers in this field, but serves as an introductory text for young researchers and students interested in the topic. The book consists of well-selected thematic chapters on diverse mathematical and physical aspects of the equation carefully chosen and assigned.

fEt moi, . . . . sifavait sucommenten rcvenir, One service mathematics has rendered the jen'yseraispointall: human race. It hasput rommon senseback JulesVerne whereit belongs, on the topmost shelf next tothedustycanisterlabelled'discardednon Theseriesis divergent; thereforewemaybe sense'. ahletodosomethingwithit. EricT. Bell O. Heaviside Mathematicsisatoolforthought. Ahighlynecessarytoolinaworldwherebothfeedbackandnon linearitiesabound. Similarly, allkindsofpartsofmathematicsserveastoolsforotherpartsandfor othersciences. Applyinga simplerewritingrule to thequoteon theright aboveonefinds suchstatementsas: 'One service topology hasrenderedmathematicalphysics . . . '; 'Oneservicelogichasrenderedcom puterscience . . . ';'Oneservicecategorytheoryhasrenderedmathematics . . . '. Allarguablytrue. And allstatementsobtainablethiswayformpartoftheraisond'etreofthisseries. This series, Mathematics and Its Applications, started in 1977. Now that over one hundred volumeshaveappeareditseemsopportunetoreexamineitsscope. AtthetimeIwrote "Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the 'tree' of knowledge of mathematics and related fields does not grow only by puttingforth new branches. It also happens, quiteoften in fact, that branches which were thought to becompletely disparatearesuddenly seento berelated. Further, thekindandlevelofsophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially)in regionaland theoretical economics; algebraic geometryinteractswithphysics; theMinkowskylemma, codingtheoryandthestructure of water meet one another in packing and covering theory; quantum fields, crystal defectsand mathematicalprogrammingprofit from homotopy theory; Liealgebras are relevanttofiltering; andpredictionandelectricalengineeringcanuseSteinspaces. And in addition to this there are such new emerging subdisciplines as 'experimental mathematics', 'CFD', 'completelyintegrablesystems', 'chaos, synergeticsandlarge-scale order', whicharealmostimpossibletofitintotheexistingclassificationschemes. They drawuponwidelydifferentsectionsofmathematics. " By andlarge, all this stillapplies today. Itis still truethatatfirst sightmathematicsseemsrather fragmented and that to find, see, and exploit the deeper underlying interrelations more effort is neededandsoarebooks thatcanhelp mathematiciansand scientistsdoso. Accordingly MIA will continuetotry tomakesuchbooksavailable. If anything, the description I gave in 1977 is now an understatement."

Optimality and stability are two important notions in applied mathematics. This book is a study of these notions and their relationship in linear and convex parametric programming models. It begins with a survey of basic optimality conditions in nonlinear programming. Then new results in convex programming, using LFS functions, for single-objective, multi-objective, differentiable and non-smooth programs are introduced. Parametric programming models are studied using basic tools of point-to-set topology. Stability of the models is introduced, essentially, as continuity of the feasible set of decision variables under continuous perturbations of the parameters. Perturbations that preserve this continuity are regions of stability. It is shown how these regions can be identified. The main results on stability are characterizations of locally and globally optimal parameters for stable and also for unstable perturbations. The results are straightened for linear models and bi-level programs. Some of the results are extended to abstract spaces after considering parameters as controls'. Illustrations from diverse fields, such as data envelopment analysis, management, von Stackelberg games of market economy, and navigation problems are given and several case studies are solved by finding optimal parameters. The book has been written in an analytic spirit. Many results appear here for the first time in book form. Audience: The book is written at the level of a first-year graduate course in optimization for students with varied backgrounds interested in modeling of real-life problems. It is expected that the reader has been exposed to a prior elementary course in optimization, such as linear or non-linear programming. The last section of the book requires some knowledge of functional analysis.

This book reviews selected topics charterized by great progress and covers the field from theoretical areas to experimental ones. It contains fundamental areas, quantum query complexity, quantum statistical inference, quantum cloning, quantum entanglement, additivity. It treats three types of quantum security system, quantum public key cryptography, quantum key distribution, and quantum steganography. A photonic system is highlighted for the realization of quantum information processing.

The first part of a self-contained, elementary textbook, combining linear functional analysis, nonlinear functional analysis, numerical functional analysis, and their substantial applications with each other. As such, the book addresses undergraduate students and beginning graduate students of mathematics, physics, and engineering who want to learn how functional analysis elegantly solves mathematical problems which relate to our real world. Applications concern ordinary and partial differential equations, the method of finite elements, integral equations, special functions, both the Schroedinger approach and the Feynman approach to quantum physics, and quantum statistics. As a prerequisite, readers should be familiar with some basic facts of calculus. The second part has been published under the title, Applied Functional Analysis: Main Principles and Their Applications.

G protein-coupled receptors (GPCRs) are heptahelical transmembrane receptors that convert extra-cellular stimuli into intra-cellular signaling, and ultimately into biological responses. Since GPCRs are natural targets for approximately 40% of all modern medicines, it is not surprising that they have been the subject of intense research. Notwithstanding the amount of data generated over the years, discovering ligands of these receptors with optimal therapeutic properties is not straightforward and has certainly been hampered for years by the lack of high-resolution structural information about these receptors. Luckily, there has been a steady increase of high-resolution crystal structures of these receptors since 2007, and this information, integrated with dynamic inferences from computational and experimental methods, holds great potential for the discovery of new, improved drugs. This book, which provides, for the first time, state-of-the-art views on modeling and simulation of GPCRs, is divided into 4 parts. In the first part, the impact of currently available GPCR crystal structures on structural modeling is discussed extensively as are critical insights from simulations in the second part of the book. The third part reports recent progress in rational ligand discovery and mathematical modeling, whereas the fourth part provides an overview of bioinformatics tools and resources that are available for GPCRs.

The aim of this volume is to bring together research directions in theoretical signal and imaging processing developed rather independently in electrical engineering, theoretical physics, mathematics and the computer sciences.

In particular, mathematically justified algorithms and methods, the mathematical analysis of these algorithms, and methods as well as the investigation of connections between methods from time series analysis and image processing are reviewed. An interdisciplinary comparison of these methods, drawing upon common sets of test problems from medicine and geophysical/environmental sciences, is also addressed.

This volume coherently summarizes work carried out in the field of theoretical signal and image processing. It focuses on non-linear and non-parametric models for time series as well as on adaptive methods in image processing.

In three main divisions the book covers combinational circuits, latches, and asynchronous sequential circuits. Combinational circuits have no memorising ability, while sequential circuits have such an ability to various degrees. Latches are the simplest sequential circuits, ones with the shortest memory. The presentation is decidedly non-standard. The design of combinational circuits is discussed in an orthodox manner using normal forms and in an unorthodox manner using set-theoretical evaluation formulas relying heavily on Karnaugh maps. The latter approach allows for a new design technique called composition. Latches are covered very extensively. Their memory functions are expressed mathematically in a time-independent manner allowing the use of (normal, non-temporal) Boolean logic in their calculation. The theory of latches is then used as the basis for calculating asynchronous circuits. Asynchronous circuits are specified in a tree-representation, each internal node of the tree representing an internal latch of the circuit, the latches specified by the tree itself. The tree specification allows solutions of formidable problems such as algorithmic state assignment, finding equivalent states non-recursively, and verifying asynchronous circuits.

The topic of this book is finite group actions and their use in order to approach finite unlabeled structures by defining them as orbits of finite groups of sets. Well-known examples are graph, linear codes, chemical isomers, spin configurations, isomorphism classes of combinatorial designs etc.The second edition is an extended version and puts more emphasis on applications to the constructive theory of finite structures. Recent progress in this field, in particular in design and coding theory, is described.This book will be of great use to researchers and graduate students.

Provides a comprehensive and accessible introduction to general insurance pricing, based on the author’s many years of experience as both a teacher and practitioner. Suitable for students taking a course in general insurance pricing, notably if they are studying to become an actuary through the UK Institute of Actuaries exams. No other title quite like this on the market that is perfect for teaching/study, and is also an excellent guide for practitioners.

This new edition of the near-legendary textbook by Schlichting and revised by Gersten presents a comprehensive overview of boundary-layer theory and its application to all areas of fluid mechanics, with particular emphasis on the flow past bodies (e.g. aircraft aerodynamics). The new edition features an updated reference list and over 100 additional changes throughout the book, reflecting the latest advances on the subject.

The presence of considerable time delays in the dynamics of many industrial processes, leading to difficult problems in the associated closed-loop control systems, is a well-recognized phenomenon. The performance achievable in conventional feedback control systems can be significantly degraded if an industrial process has a relatively large time delay compared with the dominant time constant. Under these circumstances, advanced predictive control is necessary to improve the performance of the control system significantly.The book is a focused treatment of the subject matter, including the fundamentals and some state-of-the-art developments in the field of predictive control. Three main schemes for advanced predictive control are addressed in this book:- Smith Predictive Control;- Generalised Predictive Control;- a form of predictive control based on Finite Spectrum Assignment.A substantial part of the book addresses application issues in predictive control, providing several interesting case studies for more application-oriented readers. Thus, while the book is written to serve as an advanced control reference on predictive control for researchers, postgraduates and senior undergraduates, it should be equally useful to those industrial practitioners who are keen to explore the use of advanced predictive control in real problems. The prerequisite for gaining maximum benefit from this book is a basic knowledge of control systems, such as that imparted by a first undergraduate course on control systems engineering.

This is Volume 4 of the book series of the Body and Soul mathematics education reform program. It presents a unified new approach to computational simulation of turbulent flow starting from the general basis of calculus and linear algebra of Vol 1-3. The book puts the Body and Soul computational finite element methodology in the form of General Galerkin (G2) up against the challenge of computing turbulent solutions of the inviscid Euler equations and the Navier-Stokes equations with small viscosity. This is an outstanding textbook presenting plenty of new material with an excellent pedagogical approach.

Many recent advances in modelling within the applied sciences and engineering have focused on the increasing importance of sensitivity analyses. For a given physical, financial or environmental model, increased emphasis is now placed on assessing the consequences of changes in model outputs that result from small changes or errors in both the hypotheses and parameters. The approach proposed in this book is entirely new and features two main characteristics. Even when extremely small, errors possess biases and variances. The methods presented here are able, thanks to a specific differential calculus, to provide information about the correlation between errors in different parameters of the model, as well as information about the biases introduced by non-linearity. The approach makes use of very powerful mathematical tools (Dirichlet forms), which allow one to deal with errors in infinite dimensional spaces, such as spaces of functions or stochastic processes. The method is therefore applicable to non-elementary models along the lines of those encountered in modern physics and finance. This text has been drawn from presentations of research done over the past ten years and that is still ongoing. The work was presented in conjunction with a course taught jointly at the Universities of Paris 1 and Paris 6. The book is intended for students, researchers and engineers with good knowledge in probability theory.

This is an undergraduate textbook on the basic aspects of personal savings and investing with a balanced mix of mathematical rigor and economic intuition. It uses routine financial calculations as the motivation and basis for tools of elementary real analysis rather than taking the latter as given. Proofs using induction, recurrence relations and proofs by contradiction are covered. Inequalities such as the Arithmetic-Geometric Mean Inequality and the Cauchy-Schwarz Inequality are used. Basic topics in probability and statistics are presented. The student is introduced to elements of saving and investing that are of life-long practical use. These include savings and checking accounts, certificates of deposit, student loans, credit cards, mortgages, buying and selling bonds, and buying and selling stocks.
The book is self contained and accessible. The authors follow a systematic pattern for each chapter including a variety of examples and exercises ensuring that the student deals with realities, rather than theoretical idealizations. It is suitable for courses in mathematics, investing, banking, financial engineering, and related topics.

This book sheds light on the large-scale engineering systems that shape and guide our everyday lives. It does this by bringing together the latest research and practice defining the emerging field of Complex Engineered Systems. Understanding, designing, building and controlling such complex systems is going to be a central challenge for engineers in the coming decades. This book is a step toward addressing that challenge.