This book describes a relatively new approach for the design of electromagnetic metamaterials. Numerical optimization routines are combined with electromagnetic simulations to tailor the broadband optical properties of a metamaterial to have predetermined responses at predetermined wavelengths. After a review of both the major efforts within the field of metamaterials and the field of mathematical optimization, chapters covering both gradient-based and derivative-free design methods are considered. Selected topics including surrogate-base optimization, adaptive mesh search, and genetic algorithms are shown to be effective, gradient-free optimization strategies. Additionally, new techniques for representing dielectric distributions in two dimensions, including level sets, are demonstrated as effective methods for gradient-based optimization. Each chapter begins with a rigorous review of the optimization strategy used, and is followed by numerous examples that combine the strategy with either electromagnetic simulations or analytical solutions of the scattering problem. Throughout the text, we address the strengths and limitations of each method, as well as which numerical methods are best suited for different types of metamaterial designs. This book is intended to provide a detailed enough treatment of the mathematical methods used, along with sufficient examples and additional references, that senior level undergraduates or graduate students who are new to the fields of plasmonics, metamaterials, or optimization methods; have an understanding of which approaches are best-suited for their work and how to implement the methods themselves.

The book provides strong evidence that research on the cognitive processes from arithmetic thought to algebraic thought should take into consideration the socio-cultural context. It is an important contribution to the literature on linguistic structure in comparative studies related to Chinese student mathematics learning.

This book not only makes a great contribution to research in mathematics education, the findings of this study also addressed insightful approaches and thoughts of understanding the development of algebraic thinking in cultural contexts for classroom teachers. Using written Chinese language from different theoretical references provided wonderful approaches for understanding student algebra cognitive development in a different way and calls educators for to pay special attention to an epistemological and linguistic view of algebraic development. The findings inform classroom teachers that the cultural context plays an important role in student learning mathematics. A typical analysis of the cognitive dimension involved in some in the historical and cultural contexts is a great resource for classroom teachers.

I really enjoyed reading this book and learned a lot from its compelling analysis.

Shuhua An, Associate Professor and Director of Graduate Program in Mathematics Education, California State University, Long Beach

The book you hold in your hands is the outcome of the "2014 Interdisciplinary Symposium on Complex Systems" held in the historical city of Florence. The book consists of 37 chapters from 4 areas of Physical Modeling of Complex Systems, Evolutionary Computations, Complex Biological Systems and Complex Networks. All 4 parts contain contributions that give interesting point of view on complexity in different areas in science and technology. The book starts with a comprehensive overview and classification of complexity problems entitled Physics in the world of ideas: Complexity as Energy" , followed by chapters about complexity measures and physical principles, its observation, modeling and its applications, to solving various problems including real-life applications. Further chapters contain recent research about evolution, randomness and complexity, as well as complexity in biological systems and complex networks. All selected papers represent innovative ideas, philosophical overviews and state-of-the-art discussions on aspects of complexity. The book will be useful as an instructional material for senior undergraduate and entry-level graduate students in computer science, physics, applied mathematics and engineering-type work in the area of complexity. The book will also be valuable as a resource of knowledge for practitioners who want to apply complexity to solve real-life problems in their own challenging applications.

Here, the authors present modern mathematical methods to solve problems of differential-operator inclusions and evolution variation inequalities which may occur in fields such as geophysics, aerohydrodynamics, or fluid dynamics. For the first time, they describe the detailed generalization of various approaches to the analysis of fundamentally nonlinear models and provide a toolbox of mathematical equations. These new mathematical methods can be applied to a broad spectrum of problems. Examples of these are phase changes, diffusion of electromagnetic, acoustic, vibro-, hydro- and seismoacoustic waves, or quantum mechanical effects. This is the second of two volumes dealing with the subject.

These proceedings from the 2012 symposium on "Chaos, complexity and leadership" reflect current research results from all branches of Chaos, Complex Systems and their applications in Management. Included are the diverse results in the fields of applied nonlinear methods, modeling of data and simulations, as well as theoretical achievements of Chaos and Complex Systems. Also highlighted are Leadership and Management applications of Chaos and Complexity Theory.

This volume collects a selection of refereed papers of the more than one hundred presented at the InternationalConference MAF 2008 - Mathematicaland Statistical Methods for Actuarial Sciences and Finance. The conference was organised by the Department of Applied Mathematics and theDepartment ofStatisticsoftheUniversityCa'Foscari Venice(Italy), withthec- laborationofthe Department ofEconomics and StatisticalSciences ofthe University ofSalerno(Italy).Itwas heldinVenice, fromMarch 26to28,2008, attheprestigious CavalliFranchettipalace, alongGrand Canal, oftheIstitutoVenetodiScienze, Lettere ed Arti. This conference was the ?rst international edition of a biennial national series begunin2004, whichwas bornof thebrilliantbeliefofthe colleagues -and friends- oftheDepartmentofEconomicsandStatisticalSciences oftheUniversityofSalerno: the idea following which the cooperation between mathematicians and statisticians in working in actuarial sciences, in insurance and in ?nance can improve research on these topics. The proof of this consists in the wide participation in these events. In particular, with reference to the 2008 internationaledition: - More than 150 attendants, both academicians and practitioners; - More than 100 accepted communications, organised in 26 parallel sessions, from authors coming from about twenty countries (namely: Canada, Colombia, Czech Republic, France, Germany, Great Britain, Greece, Hungary, Ireland, Israel, Italy, Japan, Poland, Spain, Sweden, Switzerland, Taiwan, USA); - two plenary guest-organised sessions; and - aprestigiouskeynotelecturedeliveredbyProfessorWolfgangHa ]rdleoftheH- boldt Universityof Berlin (Germany)

This volume, dedicated to Carl Pearcy on the occasion of his 60th birthday, presents recent results in operator theory, nonselfadjoint operator algebras, measure theory and the theory of moments. The articles on these subjects have been contributed by leading area experts, many of whom were associated with Carl Pearcy as students or collaborators. The book testifies to his multifaceted interests and includes a biographical sketch and a list of publications.

This book collects the proceedings of the Algebra, Geometry and Mathematical Physics Conference, held at the University of Haute Alsace, France, October 2011. Organized in the four areas of algebra, geometry, dynamical symmetries and conservation laws and mathematical physics and applications, the book covers deformation theory and quantization; Hom-algebras and n-ary algebraic structures; Hopf algebra, integrable systems and related math structures; jet theory and Weil bundles; Lie theory and applications; non-commutative and Lie algebra and more.

The papers explore the interplay between research in contemporary mathematics and physics concerned with generalizations of the main structures of Lie theory aimed at quantization and discrete and non-commutative extensions of differential calculus and geometry, non-associative structures, actions of groups and semi-groups, non-commutative dynamics, non-commutative geometry and applications in physics and beyond.

The book benefits a broad audience of researchers and advanced students.

This book is an attempt to provide a uni?ed methodology to derive models for fatigue life. This includes S-N, ?-N and crack propagation models. This is not a conventional book aimed at describing the fatigue fundamentals, but rather a book in which the basic models of the three main fatigue approaches, the stress-based, the strain-based and the fracture mechanics approaches, are contemplated from a novel and integrated point of view. On the other hand, as an alternative to the preferential attention paid to deterministic models based on the physical, phenomenological and empirical description of fatigue, their probabilistic nature is emphasized in this book, in which stochastic fatigue and crack growth models are presented. This book is the result of a long period of close collaborationbetween its two authors who, although of di?erent backgrounds, mathematical and mechanical, both have a strong sense of engineering with respect to the fatigue problem. When the authors of this book ?rst approached the fatigue ?eld in 1982 (twenty six years ago), they found the following scenario: 1. Linear, bilinear or trilinear models were frequently proposed by relevant laboratoriesandacademiccenterstoreproducetheW] ohler?eld. Thiswas the case of well known institutions, which justi?ed these models based on clientrequirementsorpreferences. Thisledtotheinclusionofsuchmodels and methods as, for example, the up-and-down, in standards and o?cial practical directives (ASTM, Euronorm, etc.), which have proved to be unfortunate."

This book deals with the problem of dynamics of bodies with time-variable mass and moment of inertia. Mass addition and mass separation from the body are treated. Both aspects of mass variation, continual and discontinual, are considered. Dynamic properties of the body are obtained applying principles of classical dynamics and also analytical mechanics. Advantages and disadvantages of both approaches are discussed. Dynamics of constant body is adopted, and the characteristics of the mass variation of the body is included. Special attention is given to the influence of the reactive force and the reactive torque. The vibration of the body with variable mass is presented. One and two degrees of freedom oscillators with variable mass are discussed. Rotors and the Van der Pol oscillator with variable mass are displayed. The chaotic motion of bodies with variable mass is discussed too. To support learning, some solved practical problems are included.

The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories.

This book explores finite element methods for incompressible flow problems: Stokes equations, stationary Navier-Stokes equations and time-dependent Navier-Stokes equations. It focuses on numerical analysis, but also discusses the practical use of these methods and includes numerical illustrations. It also provides a comprehensive overview of analytical results for turbulence models. The proofs are presented step by step, allowing readers to more easily understand the analytical techniques.

It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation.

Focuses on acquiring spatial models of physical environments through mobile robots

The robotic mapping problem is commonly referred to as SLAM (simultaneous localization and mapping).

3D maps are necessary to avoid collisions with complex obstacles and to self-localize in six degrees of freedom (x-, y-, z-position, roll, yaw and pitch angle)

New solutions to the 6D SLAM problem for 3D laser scans are proposed and a wide variety of applications are presented

This book explores the life and scientific legacy of Manfred Schroeder through personal reflections, scientific essays and Schroeder s own memoirs. Reflecting the wide range of Schroeder s activities, the first part of the book contains thirteen articles written by his colleagues and former students. Topics discussed include his early, pioneering contributions to the understanding of statistical room acoustics and to the measurement of reverberation time; his introduction of digital signal processing methods into acoustics; his use of ray tracing methods to study sound decay in rooms and his achievements in echo and feedback suppression and in noise reduction. Other chapters cover his seminal research in speech processing including the use of predictive coding to reduce audio bandwidth which led to various code-excited linear prediction schemes, today used extensively for speech coding. Several chapters discuss Schroeder s work in low-peak factor signals, number theory, and maximum-length sequences with key applications in hearing research, diffraction gratings, artificial reverberators and de-correlation techniques for enhancing subjective envelopment in surround sound. In style, the articles range from truly scientific to conversationally personal. In all contributions, the relationship between the current research presented and Manfred Schroeder s own fields of interest is, in general, evident. The second part of the book consists of Schroeder s own memoirs, written over the final decade of his life. These recollections shed light on many aspects not only of Schroeder s life but also on that of many of his colleagues, friends and contemporaries. They portray political, social and scientific events over a period that extends from pre-war to the present. These memoirs, written in an inimitable and witty style, are full of information, entertaining and fun to read, providing key insight into the life and work of one of the greatest acousticians of the 20th century."

The revised edition of this advanced textbook provides the reader with a solid grounding in the formalism of classical mechanics, underlying a number of powerful mathematical methods that are widely used in modern theoretical and mathematical physics. It reviews the fundamentals of Lagrangian and Hamiltonian mechanics, and goes on to cover related topics such as canonical transformations, integral invariants, potential motion in geometric setting, symmetries, the Noether theorem and systems with constraints. While in some cases the formalism is developed beyond the traditional level adopted in the standard textbooks on classical mechanics, only elementary mathematical methods are used in the exposition of the material. New material for the revised edition includes additional sections on the Euler-Lagrange equation, the Cartan two-form in Lagrangian theory, and Newtonian equations of motion in context of general relativity. Also new for this edition is the inclusion of problem sets and solutions to aid in the understanding of the material presented. The mathematical constructions involved are explicitly described and explained, so the book is a good starting point for the student new to this field. Where possible, intuitive motivations are replaced by explicit proofs and direct computations, preserving the level of rigor that makes the book useful for more advanced students intending to work in one of the branches of the vast field of theoretical physics. To illustrate how classical-mechanics formalism works in other branches of theoretical physics, examples related to electrodynamics, as well as to relativistic and quantum mechanics, are included.

This thesis provides an introduction to the physics of the Standard Model and beyond, and to the methods used to analyse Large Hadron Collider (LHC) data. The 'hierarchy problem', astrophysical data and experiments on neutrinos indicate that new physics can be expected at the now accessible TeV scale. This work investigates extensions of the Standard Model with gravitons and gravitinos (in the context of supergravity). The production of these particles in association with jets is studied as one of the most promising avenues for researching new physics at the LHC. Advanced simulation techniques and tools, such as algorithms allowing the computation of Feynman graphs and helicity amplitudes are first developed and then employed.

In the present work, the target station of the accelerator-driven neutron source HBS is optimized in comprehensive parameter studies using the Monto-Carlo method. The dependence of the most important performance characteristics of such a system on the external parameters is investigated neglecting technical and mechanical limitations. In this way, qualitative and quantitative statements for all possible configurations and envisaged applications can be derived and should be considered in the detailed planning of such facilities. For this purpose, different scenarios are considered that place completely different requirements on the design of the target station. The central statements derived in this thesis can be transferred to any framework conditions, such as different accelerator energies, so that these results can be used in the development of other neutron sources, which together with the HBS form a European network and provide a prosperous community in neutron science.

During the 21st century business environments have become more complex and dynamic than ever before. Companies operate in a world of change influenced by globalisation, volatile markets, legal changes and technical progress. As a result, they have to handle growing volumes of data and therefore require fast storage, reliable data access, intelligent retrieval of information and automated decision-making mechanisms, all provided at the highest level of service quality. Successful enterprises are aware of these challenges and efficiently respond to the dynamic environment in which their business operates. Business Intelligence (BI) and Performance Management (PM) offer solutions to these challenges and provide techniques to enable effective business change. The important aspects of both topics are discussed within this state-of-the-art volume. It covers the strategic support, business applications, methodologies and technologies from the field, and explores the benefits, issues and challenges of each. Issues are analysed from many different perspectives, ranging from strategic management to data technologies, and the different subjects are complimented and illustrated by numerous examples of industrial applications. Contributions are authored by leading academics and practitioners representing various universities, research centres and companies worldwide. Their experience covers multiple disciplines and industries, including finance, construction, logistics, and public services, amongst others. Business Intelligence and Performance Management is a valuable source of reference for graduates approaching MSc or PhD programs and for professionals in industry researching in the fields of BI and PM for industrial application.

shift and dramatic improvementfrom the yearly data of the 1970s. For several years now, disaggregated methods (i. e., single-case comparisons) have been used to test theories (Davenport and Eads 2001; Rasler 1996; Francisco 1993, 1995, 1996). The single area of Snyder's(Snyder 1978)demandsthat has faltered is in linking levels of analysis in the eld of protest and repression. James DeNardo's (DeNardo 1985) and Lichbach's (Lichbach 1996) formal models have for the most part not beentestedempirically, norhaveRonaldWintrobe's(Wintrobe1998)modelsofd- tators' strategic behavior. The dif culty stems from the disjuncture between game theory or micro models and macro, aggregate data. Green and Shapiro (Green and Shapiro 1994) took an extreme position on this problem: little empirical evidence from rational choice and game theory exists. To the extent that empirical evidence comprises our understanding of politics, rational choice and game theory have - guably contributed as much or more than any other approach. Think of interest group theory before Olson's The Logic of Collective Action, of electoral theory before Cox's (Cox 1997) Making Votes Count, or of coalition theory before Riker's (Riker 1963) The Theory of Political Coalitions. There are few social scientists who would not judge these books as great for economics and political science. Cox's book alone has won every major book prize appropriate in political science. On the normative side, too few political scientists researching democratization are aware of the theory of social choice. Its ndings challenge the foundations of democratic theory (Riker 1982).

Extra dimensions ? beyond space and time ? are the best methods for unifying gravity with particle physics. The basic extension is to five dimensions (5D), as in the induced-matter and membrane theory. This descriptive text gives an up-to-date account of the classical and quantum consequences of 5D physics. It includes topics that range from Einstein's original theory of relativity to modern views on matter. The book is mathematically precise and focuses on new ideas which appeal to readers. Examples of new ideas are: The big-bang universe, which is curved by matter in 4D, may be viewed as a smooth and empty world in 5D; the uncertainty of quantum interactions in spacetime may be regarded as the consequence of deterministic laws in higher dimensions. This book will interest people who think about the ?meaning of things?.

Form Symmetries and Reduction of Order in Difference Equations presents a new approach to the formulation and analysis of difference equations in which the underlying space is typically an algebraic group. In some problems and applications, an additional algebraic or topological structure is assumed in order to define equations and obtain significant results about them. Reflecting the author's past research experience, the majority of examples involve equations in finite dimensional Euclidean spaces. The book first introduces difference equations on groups, building a foundation for later chapters and illustrating the wide variety of possible formulations and interpretations of difference equations that occur in concrete contexts. The author then proposes a systematic method of decomposition for recursive difference equations that uses a semiconjugate relation between maps. Focusing on large classes of difference equations, he shows how to find the semiconjugate relations and accompanying factorizations of two difference equations with strictly lower orders. The final chapter goes beyond semiconjugacy by extending the fundamental ideas based on form symmetries to nonrecursive difference equations. With numerous examples and exercises, this book is an ideal introduction to an exciting new domain in the area of difference equations. It takes a fresh and all-inclusive look at difference equations and develops a systematic procedure for examining how these equations are constructed and solved.

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory. The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.

This book focuses on the analysis and design of advanced techniques for on-line automatic computational monitoring of pipelines and pipe networks. It discusses how to improve the systems' security considering mathematical models of the flow, historical flow rate and pressure data, with the main goal of reducing the number of sensors installed along a pipeline. The techniques presented in the book have been implemented in digital systems to enhance the abilities of the pipeline network's operators in recognizing anomalies. A real leak scenario in a Mexican water pipeline is used to illustrate the benefits of these techniques in locating the position of a leak. Intended for an interdisciplinary audience, the book addresses researchers and professionals in the areas of mechanical, civil and control engineering. It covers topics on fluid mechanics, instrumentation, automatic control, signal processing, computing, construction and diagnostic technologies.

An Advanced Research Workshop (ARW) "Data Fusion Technologies for Harbour Protection" was held in Tallinn, Estonia 27 June-1 July, 2005. This workshop was organized by request of the NATO Security Through Science Programme and the Defence Investment Division. An ARW is one of many types of funded group support mechanisms established by the NATO Science Committee to contribute to the critical assessment of existing knowledge on new important topics, to identify directions for future research, and to promote close working relationships between scientists from different countries and with different professional experiences. The NATO Science Committee was approved at a meeting of the Heads of Government of the Alliance in December 1957, subsequent to the 1956 recommendation of "Three Wise Men" - Foreign Ministers Lange (Norway), Martino (Italy) and Pearson (Canada) on Non-Military Cooperation in NATO. The NATO Science Committee established the NATO Science Programme in 1958 to encourage and support scientific collaboration between individual scientists and to foster scientific development in its member states. In 1999, following the end of the Cold War, the Science Programme was transformed so that support is now devoted to collaboration between Partner-country and NATO-country scientists or to contributing towards research support in Partner countries. Since 2004, the Science Programme was further modified to focus exclusively on NATO Priority Research Topics (i. e. Defence Against Terrorism or Countering Other Threats to Security) and also preferably on a Partner country priority area.