Applied Mathematics: Body & Soul is a mathematics education reform project developed at Chalmers University of Technology and includes a series of volumes and software. The program is motivated by the computer revolution opening new possibilitites of computational mathematical modeling in mathematics, science and engineering. It consists of a synthesis of Mathematical Analysis (Soul), Numerical Computation (Body) and Application. Volumes I-III present a modern version of Calculus and Linear Algebra, including constructive/numerical techniques and applications intended for undergraduate programs in engineering and science. Further volumes present topics such as Dynamical Systems, Fluid Dynamics, Solid Mechanics and Electro-Magnetics on an advanced undergraduate/graduate level. Volume I (Derivatives and Geometry in R3) presents basics of Calculus starting with the construction of the natural, rational, real and complex numbers, and proceeding to analytic geometry in two and three space dimensions, Lipschitz continuous functions and derivatives, together with a variety of applications. Volume II (Integrals and Geomtery in Rn) develops the Riemann integral as the solution to the problem of determining a function given its derivative, and proceeds to generalizations in the form of initial value problems for general systems of ordinary differential equations, including a variety of applications. Linear algebra including numerics is also presented. Volume III (Calculus in Several Dimensions) presents Calculus in several variables including partial derivatives, multi-dimensional integrals, partial differential equations and finite element methods, together with a variety of applications modeled as systems of partial differential equations. The authors are leading researchers in Computational Mathematics who have written various successful books. Further information on Applied Mathematics: Body and Soul can be found at http://www.phi.chalmers.se/bodysoul/.

Digital arithmetic plays an important role in the design of general-purpose digital processors and of embedded systems for signal processing, graphics, and communications. In spite of a mature body of knowledge in digital arithmetic, each new generation of processors or digital systems creates new arithmetic design problems. Designers, researchers, and graduate students will find solid solutions to these problems in this comprehensive, state-of-the-art exposition of digital arithmetic.
Ercegovac and Lang, two of the field's leading experts, deliver a unified treatment of digital arithmetic, tying underlying theory to design practice in a technology-independent manner. They consistently use an algorithmic approach in defining arithmetic operations, illustrate concepts with examples of designs at the logic level, and discuss cost/performance characteristics throughout. Students and practicing designers alike will find Digital Arithmetic a definitive reference and a consistent teaching tool for developing a deep understanding of the "arithmetic style" of algorithms and designs.
-Guides readers to develop sound solutions, avoid known mistakes, and repeat successful design decisions.
-Presents comprehensive coverage3/4from fundamental theories to current research trends.
-Written in a clear and engaging style by two masters of the field.
-Concludes each chapter with in-depth discussions of the key literature.
-Includes a full set of over 250 exercises, an on-line appendix with solutions to one-third of the exercises and 600 lecture slides

This book brings together the recent cutting-edge work on computational methods in photonics and their applications. The latest advances in techniques such as the Discontinuous Galerkin Time Domain method, Finite Element Time Domain method, Finite Difference Time Domain method as well as their applications are presented. Key aspects such as modelling of non-linear effects (Second Harmonic Generation, lasing in fibers, including gain nonlinearity in metamaterials), the acousto-optic effect, and the hydrodynamic model to explain electron response in nanoplasmonic structures are included. The application areas covered include plasmonics, metamaterials, photonic crystals, dielectric waveguides, fiber lasers. The chapters give a representative survey of the corresponding area.

This volume contains refereed papers submitted by international experts who participated in the Atmospheric Modeling workshop March 15 -19, 2000 at the Institute for Mathematics and Its Applications (IMA) at the University of Minnesota. The papers cover a wide range of topics presented in the workshop. In particular, mathematical topics include a performance comparison of operator-splitting and non- splitting methods, time-stepping methods to preserve positivity and consideration of multiple timescale issues in the modeling of atmospheric chemistry, a fully 3D adaptive-grid method, impact of rid resolution on model predictions, testing the robustness of different flow fields, modeling and numerical methods in four-dimensional variational data assimilation, and parallel computing. Modeling topics include the development of an efficient self-contained global circulation-chemistry-transport model and its applications, the development of a modal aerosol model, and the modeling of the emissions and chemistry of monoterpenes that lead to the formation of secondary organic aerosols. The volume provides an excellent cross section of current research activities in atmospheric modeling.

The subject of Computational Contact Mechanics has many facets. Its main impact lies in the transfer of knowledge form theoretical research to applied sciences, and from there to industry. The application fields are literally countless, ranging from classical engineering to biomechanics and nano-sciences. The remarkable increase of computer power in recent years has been instrumental in enabling the development of simulation-based analysis in current design activity. This still involves tremendous effort in research, which focuses on, for example, multi-field and multi-scale problems, algorithmic robustness, and geometrical accuracy. Moreover, several aspects of Contact Mechanics, Debonding and Fracture Mechanics, have been combined to offer new enhanced possibilities to the computer simulation of complex phenomena. With these contributions of prominent scientists, this book offers a wide overview on the ongoing research at the highest level in the field.

Networks of Learning Automata: Techniques for Online Stochastic Optimization is a comprehensive account of learning automata models with emphasis on multiautomata systems. It considers synthesis of complex learning structures from simple building blocks and uses stochastic algorithms for refining probabilities of selecting actions. Mathematical analysis of the behavior of games and feedforward networks is provided. Algorithms considered here can be used for online optimization of systems based on noisy measurements of performance index. Also, algorithms that assure convergence to the global optimum are presented. Parallel operation of automata systems for improving speed of convergence is described. The authors also include extensive discussion of how learning automata solutions can be constructed in a variety of applications.

Practical Goal Programming is intended to allow academics and practitioners to be able to build effective goal programming models, to detail the current state of the art, and to lay the foundation for its future development and continued application to new and varied fields. Suitable as both a text and reference, its nine chapters first provide a brief history, fundamental definitions, and underlying philosophies, and then detail the goal programming variants and define them algebraically. Chapter 3 details the step-by-step formulation of the basic goal programming model, and Chapter 4 explores more advanced modeling issues and highlights some recently proposed extensions.

Chapter 5 then details the solution methodologies of goal programming, concentrating on computerized solution by the Excel Solver and LINGO packages for each of the three main variants, and includes a discussion of the viability of the use of specialized goal programming packages. Chapter 6 discusses the linkages between Pareto Efficiency and goal programming. Chapters 3 to 6 are supported by a set of ten exercises, and an Excel spreadsheet giving the basic solution of each example is available at an accompanying website.

Chapter 7 details the current state of the art in terms of the integration of goal programming with other techniques, and the text concludes with two case studies which were chosen to demonstrate the application of goal programming in practice and to illustrate the principles developed in Chapters 1 to 7. Chapter 8 details an application in healthcare, and Chapter 9 describes applications in portfolio selection.

The central theme of the present book is zigzags and central-circuits of three- or four-regular plane graphs, which allow a double covering or covering of the edgeset to be obtained. The book presents zigzag and central circuit structures of geometric fullerenes and several other classes of graph of interest in the fields of chemistry and mathematics. It also discusses the symmetries, parameterization and the Goldberg-Coxeter construction for those graphs. It is the first book on this subject, presenting full structure theory of such graphs. While many previous publications only addressed particular questions about selected graphs, this book is based on numerous computations and presents extensive data (tables and figures), as well as algorithmic and computational information. It will be of interest to researchers and students of discrete geometry, mathematical chemistry and combinatorics, as well as to lay mathematicians.

Programming Finite Elements in Java (TM) teaches the reader how to programme the algorithms of the finite element method (FEM) in Java (TM). The compact, simple code helps the student to read the algorithms, to understand them and thus to be able to refine them. All of the main aspects of finite element techniques are considered: finite element solution; generation of finite element meshes; and visualization of finite element models and results with Java 3D (TM). The step-by-step presentation includes algorithm programming and code explanation at each point. Problems and exercises are provided for each chapter, with Java (TM) source code and problem data sets available from http://extras.springer.com/2010/978-1-84882-971-8.

The Model-Free Prediction Principle expounded upon in this monograph is based on the simple notion of transforming a complex dataset to one that is easier to work with, e.g., i.i.d. or Gaussian. As such, it restores the emphasis on observable quantities, i.e., current and future data, as opposed to unobservable model parameters and estimates thereof, and yields optimal predictors in diverse settings such as regression and time series. Furthermore, the Model-Free Bootstrap takes us beyond point prediction in order to construct frequentist prediction intervals without resort to unrealistic assumptions such as normality. Prediction has been traditionally approached via a model-based paradigm, i.e., (a) fit a model to the data at hand, and (b) use the fitted model to extrapolate/predict future data. Due to both mathematical and computational constraints, 20th century statistical practice focused mostly on parametric models. Fortunately, with the advent of widely accessible powerful computing in the late 1970s, computer-intensive methods such as the bootstrap and cross-validation freed practitioners from the limitations of parametric models, and paved the way towards the `big data' era of the 21st century. Nonetheless, there is a further step one may take, i.e., going beyond even nonparametric models; this is where the Model-Free Prediction Principle is useful. Interestingly, being able to predict a response variable Y associated with a regressor variable X taking on any possible value seems to inadvertently also achieve the main goal of modeling, i.e., trying to describe how Y depends on X. Hence, as prediction can be treated as a by-product of model-fitting, key estimation problems can be addressed as a by-product of being able to perform prediction. In other words, a practitioner can use Model-Free Prediction ideas in order to additionally obtain point estimates and confidence intervals for relevant parameters leading to an alternative, transformation-based approach to statistical inference.

Network Science, Nonlinear Science and Infrastructure Systems has been written by leading scholars in these areas. Its express purpose is to develop common theoretical underpinnings to better solve modern infrastructural problems. It is felt by many who work in these fields that many modern communication problems, ranging from transportation networks to telecommunications, Internet, supply chains, etc., are fundamentally infrastructure problems. Moreover, these infrastructure problems would benefit greatly from a confluence of theoretical and methodological work done with the areas of Network Science, Dynamical Systems and Nonlinear Science. This book is dedicated to the formulation of infrastructural tools that will better solve these types of infrastructural problems.

This book contains a selection of the best theoretical and applied papers from the inaugural International Choice Modelling Conference. The conference was organised by the Institute for Transport Studies at the University of Leeds and held in Harrogate, North Yorkshire on 30 March to 1 April 2009. The conference brought together leading researchers and practitioners from across the many different areas in which choice modelling is a key technique for understanding behaviour and evaluating policy. The diversity of the field was reflected in presentations by both academics and practitioners, coming from six continents and a variety of fields including transport and economics. Key contributions include papers from Professor Daniel McFadden, from the University of California, Berkeley - Nobel Prize laureate in Economics and chief architect of random utility modelling. The conference also included keynote presentations by five other leading choice modellers, namely Professor Moshe Ben-Akiva, Professor Chandra Bhat, Professor Michel Bierlaire, Professor David Hensher, and Professor Riccardo Scarpa.

"Satellite Network Robust QoS-aware Routing" presents a novel routing strategy for satellite networks. This strategy is useful for the design of multi-layered satellite networks as it can greatly reduce the number of time slots in one system cycle. The traffic prediction and engineering approaches make the system robust so that the traffic spikes can be handled effectively. The multi-QoS optimization routing algorithm can satisfy various potential user requirements. Clear and sufficient illustrations are also presented in the book. As the chapters cover the above topics independently, readers from different research backgrounds in constellation design, multi-QoS routing, and traffic engineering can benefit from the book.

Fei Long is a senior engineer at Beijing R&D Center of 54th Research Institute of China Electronics Technology Group Corporation.

This book contains contributions from the Spanish Relativity Meeting, ERE 2012, held in" "Guimaraes, Portugal, September 2012. It features more than 70 papers on a range of topics in general relativity and gravitation, from mathematical cosmology, numerical relativity and black holes to string theory and quantum gravity.

Under the title "Progress in Mathematical Relativity, Gravitation and Cosmology," ERE 2012 was attended by an exceptional international list of over a hundred participants from the five continents and over forty countries. ERE is organized every year by one of the Spanish or Portuguese groups working in this area and is supported by the Spanish Society of Gravitation and Relativity (SEGRE).

This book will be of interest to researchers in mathematics and physics.

"

This thesis describes a new connection between algebraic geometry, topology, number theory and quantum field theory. It offers a pedagogical introduction to algebraic topology, allowing readers to rapidly develop basic skills, and it also presents original ideas to inspire new research in the quest for dualities. Its ambitious goal is to construct a method based on the universal coefficient theorem for identifying new dualities connecting different domains of quantum field theory. This thesis opens a new area of research in the domain of non-perturbative physics-one in which the use of different coefficient structures in (co)homology may lead to previously unknown connections between different regimes of quantum field theories. The origin of dualities is an issue in fundamental physics that continues to puzzle the research community with unexpected results like the AdS/CFT duality or the ER-EPR conjecture. This thesis analyzes these observations from a novel and original point of view, mainly based on a fundamental connection between number theory and topology. Beyond its scientific qualities, it also offers a pedagogical introduction to advanced mathematics and its connection with physics. This makes it a valuable resource for students in mathematical physics and researchers wanting to gain insights into (co)homology theories with coefficients or the way in which Grothendieck's work may be connected with physics.

Leading scientists discuss the most recent physical and experimental results in the physics of Bose-Einstein condensate theory, the theory of nonlinear lattices (including quantum and nonlinear lattices), and nonlinear optics and photonics. Classical and quantum aspects of the dynamics of nonlinear waves are considered. The contributions focus on the Gross-Pitaevskii equation and on the quantum nonlinear Schr dinger equation. Recent experimental results on atomic condensates and hydrogen bonded systems are reviewed. Particular attention is given to nonlinear matter waves in periodic potential.

This eleventh volume in the Poincare Seminar Series presents an interdisciplinary perspective on the concept of Time, which poses some of the most challenging questions in science. Five articles, written by the Fields medalist C. Villani, the two outstanding theoretical physicists T. Damour and C. Jarzynski, the leading experimentalist C. Salomon, and the famous philosopher of science H. Price, describe recent developments related to the mathematical, physical, experimental, and philosophical facets of this fascinating concept. These articles are also highly pedagogical, as befits their origin in lectures to a broad scientific audience. Highlights include a description of the manifold fundamental physical issues in play with time, in particular with the changes of perspective implied by Special and General Relativity; a mathematically precise discussion of irreversibility and entropy in the context of Boltzmann's and Vlasov's equations; a thorough survey of the recently developed "thermodynamics at the nanoscale," the scale most relevant to biological physics; a description of the new cold atom space clock PHARAO to be installed in 2015 onboard the International Space Station, which will allow a test of Einstein's gravitational shift with a record precision of 2 x 10-6, and enable a test of the stability over time of the fundamental constants of physics, an issue first raised by Dirac in 1937; and last, but not least, a logical and clarifying philosophical discussion of 'Time's arrow', a phrase first coined by Eddington in 1928 in a challenge to physics to resolve the puzzle of the time-asymmetry of our universe, and echoed here in a short poeme en prose by C. de Mitry. This book should be of broad general interest to physicists, mathematicians, and philosophers.

This book discusses performance-based seismic and wind-resistant design for high-rise building structures, with a particular focus on establishing an integrated approach for performance-based wind engineering, which is currently less advanced than seismic engineering. This book also provides a state-of-the-art review of numerous methodologies, including computational fluid dynamics (CFD), extreme value analysis, structural optimization, vibration control, pushover analysis, response spectrum analysis, modal parameter identification for the assessment of the wind-resistant and seismic performance of tall buildings in the design stage and actual tall buildings in use. Several new structural optimization methods, including the augmented optimality criteria method, have been developed and employed in the context of performance-based design. This book is a valuable resource for students, researchers and engineers in the field of civil and structural engineering.

The topology optimization method solves the basic engineering problem of distributing a limited amount of material in a design space. The first edition of this book has become the standard text on optimal design, which is concerned with the optimization of structural topology, shape and material. This edition has been substantially revised and updated to reflect progress made in modelling and computational procedures. It also encompasses a comprehensive and unified description of the state of the art of the so-called material distribution method, based on the use of mathematical programming and finite elements. Applications treated include not only structures but also MEMS and materials.

The conduct of most of social science occurs outside the laboratory. Such studies in field science explore phenomena that cannot for practical, technical, or ethical reasons be explored under controlled conditions. These phenomena cannot be fully isolated from their environment or investigated by manipulation or intervention. Yet measurement, including rigorous or clinical measurement, does provide analysts with a sound basis for discerning what occurs under field conditions, and why. Science Outside the Laboratory explores the state of measurement theory, its reliability, and the role expert judgment plays in field investigations from the perspective of the philosophy of science. Its discussion of the problems of passive observation, the calculus of observation, the two-model problem, and model-based consensus uses illustrations drawn primarily from economics. The treatment clarifies the extent to which measurement provides valid information about objects and events in field sciences, but also has implications for measurement in the laboratory.

In this book for the first time two scientific fields - consensus formation and synchronization of communications - are presented together and examined through their interrelational aspects, of rapidly growing importance. Both fields have indeed attracted enormous research interest especially in relation to complex networks.
In networks of dynamic systems (or agents), consensus means to reach an agreement regarding a certain quantity of interest that depends on the state of all dynamical systems (agents). Consensus problems have a long history in control theory and computer sciences, and form the foundation of the field of distributed computing. Synchronization, which defines correlated-in-time behavior between different processes and roots going back to Huygens to the least, is now a highly popular, exciting and rapidly developing topic, with applications ranging from biological networks to mathematical epidemiology, and from processing information in the brain to engineering of communications devices.
The book reviews recent finding in both fields and describes novel approaches to consensus formation, where consensus is realized as an instance of the nonlinear dynamics paradigm of chaos synchronization. The chapters are written by world-known experts in both fields and cover topics ranging from fundaments to various applications of consensus and synchronization."

This collection of selected papers presented at the 11th International Conference on Scientific Computing in Electrical Engineering (SCEE), held in St. Wolfgang, Austria, in 2016, showcases the state of the art in SCEE. The aim of the SCEE 2016 conference was to bring together scientists from academia and industry, mathematicians, electrical engineers, computer scientists, and physicists, and to promote intensive discussions on industrially relevant mathematical problems, with an emphasis on the modeling and numerical simulation of electronic circuits and devices, electromagnetic fields, and coupled problems. The focus in methodology was on model order reduction and uncertainty quantification. This extensive reference work is divided into six parts: Computational Electromagnetics, Circuit and Device Modeling and Simulation, Coupled Problems and Multi-Scale Approaches in Space and Time, Mathematical and Computational Methods Including Uncertainty Quantification, Model Order Reduction, and Industrial Applications. Each part starts with a general introduction, followed by the respective contributions. This book will appeal to mathematicians and electrical engineers. Further, it introduces algorithm and program developers to recent advances in the other fields, while industry experts will be introduced to new programming tools and mathematical methods.

Over the past decade there has been an increasing demand for suitable material in the area of mathematical modelling as applied to science, engineering, business and management. Recent developments in computer technology and related software have provided the necessary tools of increasing power and sophistication which have significant implications for the use and role of mathematical modelling in the above disciplines. In the past, traditional methods have relied heavily on expensive experimentation and the building of scaled models, but now a more flexible and cost effective approach is available through greater use of mathematical modelling and computer simulation. In particular, developments in computer algebra, symbolic manipulation packages and user friendly software packages for large scale problems, all have important implications in both the teaching of mathematical modelling and, more importantly, its use in the solution of real world problems. Many textbooks have been published which cover the art and techniques of modelling as well as specific mathematical modelling techniques in specialist areas within science and business. In most of these books the mathematical material tends to be rather tailor made to fit in with a one or two semester course for teaching students at the undergraduate or postgraduate level, usually the former. This textbook is quite different in that it is intended to build on and enhance students' modelling skills using a combination of case studies and projects.

This book provides an introduction to the theory and numerical developments of the homogenization method. It's main features are: a comprehensive presentation of homogenization theory; an introduction to the theory of two-phase composite materials; a detailed treatment of structural optimization by using homogenization; a complete discussion of the resulting numerical algorithms with many documented test problems. It will be of interest to researchers, engineers, and advanced graduate students in applied mathematics, mechanical engineering, and structural optimization.

One of the main aims of this book is to exhibit some fruitful links between renewal theory and regular variation of functions. Applications of renewal processes play a key role in actuarial and financial mathematics as well as in engineering, operations research and other fields of applied mathematics. On the other hand, regular variation of functions is a property that features prominently in many fields of mathematics. The structure of the book reflects the historical development of the authors' research work and approach - first some applications are discussed, after which a basic theory is created, and finally further applications are provided. The authors present a generalized and unified approach to the asymptotic behavior of renewal processes, involving cases of dependent inter-arrival times. This method works for other important functionals as well, such as first and last exit times or sojourn times (also under dependencies), and it can be used to solve several other problems. For example, various applications in function analysis concerning Abelian and Tauberian theorems can be studied as well as those in studies of the asymptotic behavior of solutions of stochastic differential equations. The classes of functions that are investigated and used in a probabilistic context extend the well-known Karamata theory of regularly varying functions and thus are also of interest in the theory of functions. The book provides a rigorous treatment of the subject and may serve as an introduction to the field. It is aimed at researchers and students working in probability, the theory of stochastic processes, operations research, mathematical statistics, the theory of functions, analytic number theory and complex analysis, as well as economists with a mathematical background. Readers should have completed introductory courses in analysis and probability theory.