Computational intelligence (CI) lies at the interface between engineering and computer science; control engineering, where problems are solved using computer-assisted methods. Thus, it can be regarded as an indispensable basis for all artificial intelligence (AI) activities. This book collects surveys of most recent theoretical approaches focusing on fuzzy systems, neurocomputing, and nature inspired algorithms. It also presents surveys of up-to-date research and application with special focus on fuzzy systems as well as on applications in life sciences and neuronal computing.

This book discusses the latest advances in algorithms for symbolic summation, factorization, symbolic-numeric linear algebra and linear functional equations. It presents a collection of papers on original research topics from the Waterloo Workshop on Computer Algebra (WWCA-2016), a satellite workshop of the International Symposium on Symbolic and Algebraic Computation (ISSAC'2016), which was held at Wilfrid Laurier University (Waterloo, Ontario, Canada) on July 23-24, 2016. This workshop and the resulting book celebrate the 70th birthday of Sergei Abramov (Dorodnicyn Computing Centre of the Russian Academy of Sciences, Moscow), whose highly regarded and inspirational contributions to symbolic methods have become a crucial benchmark of computer algebra and have been broadly adopted by many Computer Algebra systems.

This book deals with the theory and applications of the Reformulation- Linearization/Convexification Technique (RL T) for solving nonconvex optimization problems. A unified treatment of discrete and continuous nonconvex programming problems is presented using this approach. In essence, the bridge between these two types of nonconvexities is made via a polynomial representation of discrete constraints. For example, the binariness on a 0-1 variable x . can be equivalently J expressed as the polynomial constraint x . (1-x . ) = 0. The motivation for this book is J J the role of tight linear/convex programming representations or relaxations in solving such discrete and continuous nonconvex programming problems. The principal thrust is to commence with a model that affords a useful representation and structure, and then to further strengthen this representation through automatic reformulation and constraint generation techniques. As mentioned above, the focal point of this book is the development and application of RL T for use as an automatic reformulation procedure, and also, to generate strong valid inequalities. The RLT operates in two phases. In the Reformulation Phase, certain types of additional implied polynomial constraints, that include the aforementioned constraints in the case of binary variables, are appended to the problem. The resulting problem is subsequently linearized, except that certain convex constraints are sometimes retained in XV particular special cases, in the Linearization/Convexijication Phase. This is done via the definition of suitable new variables to replace each distinct variable-product term. The higher dimensional representation yields a linear (or convex) programming relaxation.

Table of contents: Plenary Lectures * V.I. Arnold: The Vassiliev Theory of Discriminants and Knots * L. Babai: Transparent Proofs and Limits to Approximation * C. De Concini: Poisson Algebraic Groups and Representations of Quantum Groups at Roots of 1 * S.K. Donaldson: Gauge Theory and Four-Manifold Topology * W. Muller: Spectral Theory and Geometry * D. Mumford: Pattern Theory: A Unifying Perspective * A.-S. Sznitman: Brownian Motion and Obstacles * M. Vergne: Geometric Quantization and Equivariant Cohomology * Parallel Lectures * Z. Adamowicz: The Power of Exponentiation in Arithmetic * A. Bjorner: Subspace Arrangements * B. Bojanov: Optimal Recovery of Functions and Integrals * J.-M. Bony: Existence globale et diffusion pour les modeles discrets * R.E. Borcherds: Sporadic Groups and String Theory * J. Bourgain: A Harmonic Analysis Approach to Problems in Nonlinear Partial Differatial Equations * F. Catanese: (Some) Old and New Results on Algebraic Surfaces * Ch. Deninger: Evidence for a Cohomological Approach to Analytic Number Theory * S. Dostoglou and D.A. Salamon: Cauchy-Riemann Operators, Self-Duality, and the Spectral Flow

This introduction to applied nonlinear dynamics and chaos places emphasis on teaching the techniques and ideas that will enable students to take specific dynamical systems and obtain some quantitative information about their behavior. The new edition has been updated and extended throughout, and contains a detailed glossary of terms.

From the reviews:

"Will serve as one of the most eminent introductions to the geometric theory of dynamical systems." --Monatshefte f r Mathematik

This book presents the contributions of the 20th century to economic theory in a mathematical language and in historical sequence. General equilibrium is the focal point of the book; but also a number of macroeconomic models, especially with respect to the first half of the century, are considered. Dynamic models are extensively studied per se, and not merely as extensions of their static counterparts. The book with its extensive bibliography gives a broad view over the developments in mathematical economics and is therefore an invaluable source of information for researchers and students working in this field.

A function is convex if its epigraph is convex. This geometrical structure has very strong implications in terms of continuity and differentiability. Separation theorems lead to optimality conditions and duality for convex problems. A function is quasiconvex if its lower level sets are convex. Here again, the geo metrical structure of the level sets implies some continuity and differentiability properties for quasiconvex functions. Optimality conditions and duality can be derived for optimization problems involving such functions as well. Over a period of about fifty years, quasiconvex and other generalized convex functions have been considered in a variety of fields including economies, man agement science, engineering, probability and applied sciences in accordance with the need of particular applications. During the last twenty-five years, an increase of research activities in this field has been witnessed. More recently generalized monotonicity of maps has been studied. It relates to generalized convexity off unctions as monotonicity relates to convexity. Generalized monotonicity plays a role in variational inequality problems, complementarity problems and more generally, in equilibrium prob lems."

Nonsmooth energy functions govern phenomena which occur frequently in nature and in all areas of life. They constitute a fascinating subject in mathematics and permit the rational understanding of yet unsolved or partially solved questions in mechanics, engineering and economics. This is the first book to provide a complete and rigorous presentation of the quasidifferentiability approach to nonconvex, possibly nonsmooth, energy functions, of the derivation and study of the corresponding variational expressions in mechanics, engineering and economics, and of their numerical treatment. The new variational formulations derived are illustrated by many interesting numerical problems. The techniques presented will permit the reader to check any solution obtained by other heuristic techniques for nonconvex, nonsmooth energy problems. A civil, mechanical or aeronautical engineer can find in the book the only existing mathematically sound technique for the formulation and study of nonconvex, nonsmooth energy problems. Audience: The book will be of interest to pure and applied mathematicians, physicists, researchers in mechanics, civil, mechanical and aeronautical engineers, structural analysts and software developers. It is also suitable for graduate courses in nonlinear mechanics, nonsmooth analysis, applied optimization, control, calculus of variations and computational mechanics.

This superb new book is one of the first publications in recent years to provide a broad overview of this interdisciplinary field. Most of the book is written in a self contained manner, assuming only a general knowledge of statistical mechanics and basic probabilty theory . It provides the reader with a sound introduction to the field and to the analytical techniques necessary to follow its most recent developments

A Mathematical Approach to Special Relativity introduces the mathematical formalisms of special and general relativity. Developed from the author's experience teaching physics to students across all levels, the valuable resource introduces key concepts, building in complexity and using increasingly advanced mathematical tools as it progresses. Without assuming a background in calculus, the text begins with symmetry, before delving more deeply into Galilean relativity. Throughout, the book provides examples and useful "Guides to the Literature." This unique text emphasizes the experimental consequences and verifications of the underpinning theory in order to provide students with a solid foundation in this key area.

The research presented here includes important contributions on the commissioning of the ATLAS experiment and the discovery of the Higgs boson. The thesis describes essential work on the alignment of the inner tracker during the commissioning of the experiment and development of the electron identification algorithm. The subsequent analysis focuses on the search for the Higgs boson in the WW channel, including the development of a method to model the critical W+jet background. In addition, the thesis provides excellent introductions, suitable for non-specialists, to Higgs physics, to the LHC, and to the ATLAS experiment.

Mathematical Methods for Signal and Image Analysis and Representation presents the mathematical methodology for generic image analysis tasks. In the context of this book an image may be any m-dimensional empirical signal living on an n-dimensional smooth manifold (typically, but not necessarily, a subset of spacetime). The existing literature on image methodology is rather scattered and often limited to either a deterministic or a statistical point of view. In contrast, this book brings together these seemingly different points of view in order to stress their conceptual relations and formal analogies. Furthermore, it does not focus on specific applications, although some are detailed for the sake of illustration, but on the methodological frameworks on which such applications are built, making it an ideal companion for those seeking a rigorous methodological basis for specific algorithms as well as for those interested in the fundamental methodology per se. Covering many topics at the forefront of current research, including anisotropic diffusion filtering of tensor fields, this book will be of particular interest to graduate and postgraduate students and researchers in the fields of computer vision, medical imaging and visual perception.

This is a new, completely revised, updated and enlarged edition of the author's Ergebnisse vol. 46: "Spin Glasses: A Challenge for Mathematicians" in two volumes (this is the 2nd volume). In the eighties, a group of theoretical physicists introduced several models for certain disordered systems, called "spin glasses." These models are simple and rather canonical random structures, of considerable interest for several branches of science (statistical physics, neural networks and computer science). The physicists studied them by non-rigorous methods and predicted spectacular behaviors. This book introduces in a rigorous manner this exciting new area to the mathematically minded reader. It requires no knowledge whatsoever of any physics. The present Volume II contains a considerable amount of new material, in particular all the fundamental low-temperature results obtained after the publication of the first edition.

The Dynamics of Control provides a carefully integrated development of the mathematical connections between nonlinear control, dynamical systems, and time-varying perturbed systems for scientists and engineers. The central theme is the notion of control flow with its global dynamics and linearization presented in detail.

The book's scope is comprehensive and includes global theory of dynamical systems under time-varying perturbations, global and local dynamics of control systems, connections between control systems and dynamical systems and the relevant numerical methods for global dynamics, linearization, and stability. Topics are developed with a diverse and extensive selection of applied problems from control and dynamical systems.

Topics and Features:

* complete coverage of unified theory of control flows

* wide array of motivating problems from control and dynamical systems to appeal to mathematicians, scientists, and engineers

* relevant motivation and a listing of important definitions and results at the beginning of each chapter

* a compilation of essential background information in four appendices: nonlinear geometric control, topological theory of dynamical systems, computations of reachable sets, and numerical solution of Hamiltona "Jacobia "Belman equations

* discussion of numerical methods

This new text and self-study reference guide is an excellent resource for the foundations and applications of control theory and nonlinear dynamics. All graduates, practitioners, and professionals in control theory, dynamical systems, perturbation theory, engineering, physics, and nonlinear dynamics will find the book a rich source of ideas, methods, andapplications.

Relativistic celestial mechanics - investigating the motion celestial bodies under the influence of general relativity - is a major tool of modern experimental gravitational physics. With a wide range of prominent authors from the field, this two-volume series consists of reviews on a multitude of advanced topics in the area of relativistic celestial mechanics - starting from more classical topics such as the regime of asymptotically-flat spacetime, light propagation and celestial ephemerides, but also including its role in cosmology and alternative theories of gravity as well as modern experiments in this area. This second volume of a two-volume series covers applications of the theory as well as experimental verifications. From tools to determine light travel times in curved space-time to laser ranging between earth and moon and between satellites, and impacts on the definition of time scales and clock comparison techniques, a variety of effects is discussed. On the occasion of his 80-th birthday, these two volumes honor V. A. Brumberg - one of the pioneers in modern relativistic celestial mechanics. Contributions include: J. Simon, A. Fienga: Victor Brumberg and the French school of analytical celestial mechanics T. Fukushima: Elliptic functions and elliptic integrals for celestial mechanics and dynamical astronomy P. Teyssandier: New tools for determining the light travel time in static, spherically symmetric spacetimes beyond the order G2 J. Muller, L. Biskupek, F. Hofmann and E. Mai: Lunar laser ranging and relativity N. Wex: Testing relativistic celestial mechanics with radio pulsars I. Ciufolini et al.: Dragging of inertial frames, fundamental physics, and satellite laser ranging G. Petit, P. Wolf, P. Delva: Atomic time, clocks, and clock comparisons in relativistic spacetime: a review

The Bia owie a workshops on Geometric Methods in Physics are among the most important meetings in the field. Every year some 80 to 100 participants from both mathematics and physics join to discuss new developments and to interchange ideas. This volume contains contributions by selected speakers at the XXX meeting in 2011 as well as additional review articles and shows that the workshop remains at the cutting edge of ongoing research.

The 2011 workshop focussed on the works of the late Felix A. Berezin (1931 1980) on the occasion of his 80th anniversary as well as on Bogdan Mielnik and Stanis aw Lech Woronowicz on their 75th and 70th birthday, respectively. The groundbreaking work of Berezin is discussed from today s perspective by presenting an overview of his ideas and their impact on further developments. He was, among other fields, active in representation theory, general concepts of quantization and coherent states, supersymmetry and supermanifolds.

Another focus lies on the accomplishments of Bogdan Mielnik and Stanis aw Lech Woronowicz. Mielnik s geometricapproach to the description of quantum mixed states, the method of quantum state manipulation and their important implications for quantum computing and quantum entanglement are discussed as well as the intricacies of the quantum time operator. Woronowicz fruitful notion of a compact quantum group and related topics are also addressed."

In view of the current and forthcoming observational data on pulsar wind nebulae, this book offers an assessment of the theoretical state of the art of modelling them. The expert authors also review the observational status of the field and provide an outlook for future developments. During the last few years, significant progress on the study of pulsar wind nebulae (PWNe) has been attained both from a theoretical and an observational perspective, perhaps focusing on the closest, more energetic, and best studied nebula: the Crab, which appears in the cover. Now, the number of TeV detected PWNe is similar to the number of characterized nebulae observed at other frequencies over decades of observations. And in just a few years, the Cherenkov Telescope Array will increase this number to several hundreds, actually providing an essentially complete account of TeV emitting PWNe in the Galaxy. At the other end of the multi-frequency spectrum, the SKA and its pathfinder instruments, will reveal thousands of new pulsars, and map in exquisite detail the radiation surrounding them for several hundreds of nebulae. By carefully reviewing the state of the art in pulsar nebula research this book prepares scientists and PhD students for future work and progress in the field.

This book covers the topic of eddy current nondestructive evaluation, the most commonly practiced method of electromagnetic nondestructive evaluation (NDE). It emphasizes a clear presentation of the concepts, laws and relationships of electricity and magnetism upon which eddy current inspection methods are founded. The chapters include material on signals obtained using many common eddy current probe types in various testing environments. Introductory mathematical and physical concepts in electromagnetism are introduced in sufficient detail and summarized in the Appendices for easy reference. Worked examples and simple calculations that can be done by hand are distributed throughout the text. These and more complex end-of-chapter examples and assignments are designed to impart a working knowledge of the connection between electromagnetic theory and the practical measurements described. The book is intended to equip readers with sufficient knowledge to optimize routine eddy current NDE inspections, or design new ones. It is useful for graduate engineers and scientists seeking a deeper understanding of electromagnetic methods of NDE than can be found in a guide for practitioners.

This book deals with decision making in environments of significant data un certainty, with particular emphasis on operations and production management applications. For such environments, we suggest the use of the robustness ap proach to decision making, which assumes inadequate knowledge of the decision maker about the random state of nature and develops a decision that hedges against the worst contingency that may arise. The main motivating factors for a decision maker to use the robustness approach are: * It does not ignore uncertainty and takes a proactive step in response to the fact that forecasted values of uncertain parameters will not occur in most environments; * It applies to decisions of unique, non-repetitive nature, which are common in many fast and dynamically changing environments; * It accounts for the risk averse nature of decision makers; and * It recognizes that even though decision environments are fraught with data uncertainties, decisions are evaluated ex post with the realized data. For all of the above reasons, robust decisions are dear to the heart of opera tional decision makers. This book takes a giant first step in presenting decision support tools and solution methods for generating robust decisions in a variety of interesting application environments. Robust Discrete Optimization is a comprehensive mathematical programming framework for robust decision making.

The evolutionary approach called scatter search originated from strategies for creating composite decision rules and surrogate constraints. Recent studies demonstrate the practical advantages of this approach for solving a diverse array of optimization problems from both classical and real world settings. Scatter search contrasts with other evolutionary procedures, such as genetic algorithms, by providing unifying principles for joining solutions based on generalized path constructions in Euclidean space and by utilizing strategic designs where other approaches resort to randomization. The book's goal is to provide the basic principles and fundamental ideas that will allow the readers to create successful applications of scatter search. The book includes the C source code of the methods introduced in each chapter.

From the Foreword:
Scatter Search represents a "missing link" in the literature of evolutionary methods... From a historical perspective, the dedicated use of heuristic strategies both to guide the process of combining solutions and to enhance the quality of offspring has been heralded as a key innovation in evolutionary methods, giving rise to what are sometimes called "hybrid" or ("memetic") evolutionary procedures. The underlying processes have been introduced into the mainstream of evolutionary methods (such as genetic algorithms, for example) by a series of gradual steps beginning in the late 1980s. Yet this theme is an integral part of the scatter search methodology proposed a decade earlier, and the form and scope of such heuristic strategies embedded in scatter search continue to set it apart. Although there are points in common between scatter search and other evolutionary approaches, principally as a result of changes that have brought other approaches closer to scatter search in recent years, there remain differences that have an important impact on practical outcomes. Reflecting this impact, a hallmark of the present book is its focus on practical problem solving. Laguna and Marti give the reader the tools to create scatter search implementations for problems from a wide range of settings. Although theoretical problems (such as abstract problems in graph theory) are included, beyond a doubt the practical realm has a predominant role in this book....'
Fred Glover, University of Colorado

Japan is a tiny country that occupies only 0.25% of the world's total land area. However, this small country is the world's third largest in economy: the Japanese GDP is roughly equivalent to the sum of any two major countries in Europe as of 2012. This book is a first attempt to ask leaders of top Japanese companies, such as Toyota, about their thoughts on mathematics. The topics range from mathematical problems in specific areas (e.g., exploration of natural resources, communication networks, finance) to mathematical strategy that helps a leader who has to weigh many different issues and make decisions in a timely manner, and even to mathematical literacy that ensures quality control. The reader may notice that every article reflects the authors' way of life and thinking, which can be evident in even one sentence. This book is an enlarged English edition of the Japanese book What Mathematics Can Do for You: Essays and Tips from Japanese Industry Leaders. In this edition we have invited the contributions of three mathematicians who have been working to expand and strengthen the interaction between mathematics and industry. The role of mathematics is usually invisible when it is applied effectively and smoothly in science and technology, and mathematical strategy is often hidden when it is used properly and successfully. The business leaders in successful top Japanese companies are well aware of this invisible feature of mathematics in applications aside from the intrinsic depth of mathematics. What Mathematics Can Do for You ultimately provides the reader an opportunity to notice what is hidden but key to business strategy.

Covering some of the key areas of optimal control theory (OCT), a rapidly expanding field, the authors use new methods to set out a version of OCT's more refined'maximum principle.' The results obtainedhave applicationsin production planning, reinsurance-dividend management, multi-model sliding mode control, and multi-model differential games.

This book" "explores material that will be of great interest to post-graduate students, researchers, and practitioners in applied mathematics and engineering, particularly in the area of systems and control."

¿The author describes this marvelous book as designed for beginning graduate students in mathematics¿-in particular for those who intend to specialize in applied mathematics, and for graduate students in other disciplines such as engineering, physics and computer science. The first six chapters contain enough material for a year course, and the final two chapters contain related material¿ Those who are familiar with the author¿s earlier books will not be surprised by its excellence. It is businesslike and will be found to be demanding, but it is user-friendly. It is the reviewer¿s opinion that it will be extremely useful and popular as a text; institutions that do not already require their students to take such a course no longer have an excuse, and should immediately organize one based on this book.¿ ¿Mathematical Reviews

This thesis discusses in detail the measurement of the polarizations of all S-wave vector quarkonium states in LHC proton-proton collisions with the CMS detector. Heavy quarkonium states constitute an ideal laboratory to study non-perturbative effects of quantum chromodynamics and to understand how quarks bind into hadrons. The experimental results are interpreted through an original phenomenological approach, which leads to a coherent picture of quarkonium production cross sections and polarizations within a simple model, dominated by one single color-octet production mechanism. These findings provide new insights into the dynamics of heavy quarkonium production at the LHC, an important step towards a satisfactory understanding of hadron formation within the standard model of particle physics.