The book deals with applications of the AdS/CFT correspondence to strongly coupled condensed matter systems. In particular, it concerns with the study of thermo-electric transport properties of holographic models exhibiting momentum dissipation and their possible applications to the transport properties of strange metals. The present volume constitutes one of the few examples in the literature in which the topic is carefully reviewed both from the experimental and theoretical point of view, including not only holographic results but also standard condensed matter achievements developed in the past decades. This work might be extremely useful both for scientific and pedagogical purposes.

This book addresses flow separation within the context of fluid-structure interaction phenomena. Here, new findings from two research communities focusing on fluids and structures are brought together, emphasizing the importance of a unified multidisciplinary approach. The book covers the theory, experimental findings, numerical simulations, and modeling in fluid dynamics and structural mechanics for both incompressible and compressible separated unsteady flows. There is a focus on the morphing of lifting structures in order to increase their aerodynamic and/or hydrodynamic performances, to control separation and to reduce noise, as well as to inspire the design of novel structures. The different chapters are based on contributions presented at the ERCOFTAC Symposium on Unsteady Separation in Fluid-Structure Interaction held in Mykonos, Greece, 17-21 June, 2013 and include extended discussions and new highlights. The book is intended for students, researchers and practitioners in the broad field of computational fluid dynamics and computational structural mechanics. It aims at supporting them while dealing with practical issues, such as developing control strategies for unsteady separation and applying smart materials and biomimetic approaches for design and control.

This work illustrates research conducted over a ten-year timespan and addresses a fundamental issue in reliability theory. This still appears to be an empirically disorganized field and the book suggests employing a deductive base in order to evolve reliability as a science. The study is in line with the fundamental work by Gnedenko. Boris Vladimirovich Gnedenko (1912 - 1995) was a Soviet mathematician who made significant contributions in various scientific areas. His name is especially associated with studies of dependability, for which he is often recognized as the 'father' of reliability theory. In the last few decades, this area has expanded in new directions such as safety, security, risk analysis and other fields, yet the book 'Mathematical Methods in Reliability Theory' written by Gnedenko with Alexander Soloviev and Yuri Belyaev still towers as a pillar of the reliability sector's configuration and identity. The present book proceeds in the direction opened by the cultural project of the Russian authors; in particular it identifies different trends in the hazard rate functions by means of deductive logic and demonstrations. Further, it arrives at multiple results by means of the entropy function, an original mathematical tool in the reliability domain. As such, it will greatly benefit all specialists in the field who are interested in unconventional solutions.

The book is primarily intended as a textbook on modern algebra for undergraduate mathematics students. It is also useful for those who are interested in supplementary reading at a higher level. The text is designed in such a way that it encourages independent thinking and motivates students towards further study. The book covers all major topics in group, ring, vector space and module theory that are usually contained in a standard modern algebra text.

In addition, it studies semigroup, group action, Hopf's group, topological groups and Lie groups with their actions, applications of ring theory to algebraic geometry, and defines Zariski topology, as well as applications of module theory to structure theory of rings and homological algebra. Algebraic aspects of classical number theory and algebraic number theory are also discussed with an eye to developing modern cryptography. Topics on applications to algebraic topology, category theory, algebraic geometry, algebraic number theory, cryptography and theoretical computer science interlink the subject with different areas. Each chapter discusses individual topics, starting from the basics, with the help of illustrative examples. This comprehensive text with a broad variety of concepts, applications, examples, exercises and historical notes represents a valuable and unique resource.

Although several books or monographs on multiobjective optimization under uncertainty have been published, there seems to be no book which starts with an introductory chapter of linear programming and is designed to incorporate both fuzziness and randomness into multiobjective programming in a unified way. In this book, five major topics, linear programming, multiobjective programming, fuzzy programming, stochastic programming, and fuzzy stochastic programming, are presented in a comprehensive manner. Especially, the last four topics together comprise the main characteristics of this book, and special stress is placed on interactive decision making aspects of multiobjective programming for human-centered systems in most realistic situations under fuzziness and/or randomness.

Organization of each chapter is briefly summarized as follows: Chapter 2 is a concise and condensed description of the theory of linear programming and its algorithms. Chapter 3 discusses fundamental notions and methods of multiobjective linear programming and concludes with interactive multiobjective linear programming. In Chapter 4, starting with clear explanations of fuzzy linear programming and fuzzy multiobjective linear programming, interactive fuzzy multiobjective linear programming is presented. Chapter 5 gives detailed explanations of fundamental notions and methods of stochastic programming including two-stage programming and chance constrained programming. Chapter 6 develops several interactive fuzzy programming approaches to multiobjective stochastic programming problems. Applications to purchase and transportation planning for food retailing are considered in Chapter 7.

The book is self-contained because of the three appendices and answers to problems. Appendix A contains a brief summary of the topics from linear algebra. Pertinent results from nonlinear programming are summarized in Appendix B. Appendix C is a clear explanation of the Excel Solver, one of the easiest ways to solve optimization problems, through the use of simple examples of linear and nonlinear programming.

This contributed volume explores the achievements gained and the remaining puzzling questions by applying dynamical systems theory to the linguistic inquiry. In particular, the book is divided into three parts, each one addressing one of the following topics: 1) Facing complexity in the right way: mathematics and complexity 2) Complexity and theory of language 3) From empirical observation to formal models: investigation of specific linguistic phenomena, like enunciation, deixis, or the meaning of the metaphorical phrases The application of complexity theory to describe cognitive phenomena is a recent and very promising trend in cognitive science. At the time when dynamical approaches triggered a paradigm shift in cognitive science some decade ago, the major topic of research were the challenges imposed by classical computational approaches dealing with the explanation of cognitive phenomena like consciousness, decision making and language. The target audience primarily comprises researchers and experts in the field but the book may also be beneficial for graduate and post-graduate students who want to enter the field.

This work focuses on new electromagnetic decay mode in nuclear physics. The first part of the thesis presents the observation of the two-photon decay for a transition where the one-photon decay is allowed. In the second part, so called quadrupole mixed-symmetry is investigated in inelastic proton scattering experiments. In 1930 Nobel-prize winner M. Goeppert-Mayer was the first to discuss the two-photon decay of an exited state in her doctoral thesis. This process has been observed many times in atomic physics. However in nuclear physics data is sparse. Here this decay mode has only been observed for the special case of a transition between nuclear states with spin and parity quantum number 0+. For such a transition, the one-photon decay - the main experimental obstacle to observe the two-photon decay - is forbidden. Furthermore, the energy sharing and angular distributions were measured, allowing conclusions to be drawn about the multipoles contributing to the two-photon transition. Quadrupole mixed-symmetry states are an excitation mode in spherical nuclei which are sensitive to the strength of the quadrupole residual interaction. A new signature for these interesting states is presented which allows identification of mixed-symmetry states independently of electromagnetic transition strengths. Furthermore this signature represents a valuable additional observable to test model predictions for mixed-symmetry states.

Many diverse materials, from man-made plastics to slurry, behave in ways that cannot be predicted using straightforward 'classical' equations. This book provides a guide, with examples, for those who wish to make predictions about the mechanical and thermal behaviour of non-Newtonian materials in engineering and processing technology. There is an emphasis on the practical solution of problems using computer methods, and on the correlation between theory and experimental work.

This is the revised and augmented edition of a now classic book which is an introduction to sub-Markovian kernels on general measurable spaces and their associated homogeneous Markov chains. The first part, an expository text on the foundations of the subject, is intended for post-graduate students. A study of potential theory, the basic classification of chains according to their asymptotic behaviour and the celebrated Chacon-Ornstein theorem are examined in detail.
The second part of the book is at a more advanced level and includes a treatment of random walks on general locally compact abelian groups. Further chapters develop renewal theory, an introduction to Martin boundary and the study of chains recurrent in the Harris sense. Finally, the last chapter deals with the construction of chains starting from a kernel satisfying some kind of maximum principle.

This textbook provides a detailed introduction to the use of software in combination with simple and economical hardware (a sound level meter with calibrated AC output and a digital recording system) to obtain sophisticated measurements usually requiring expensive equipment. It emphasizes the use of free, open source, and multiplatform software. Many commercial acoustical measurement systems use software algorithms as an integral component; however the methods are not disclosed. This book enables the reader to develop useful algorithms and provides insight into the use of digital audio editing tools to document features in the signal. Topics covered include acoustical measurement principles, in-depth critical study of uncertainty applied to acoustical measurements, digital signal processing from the basics, and metrologically-oriented spectral and statistical analysis of signals. The student will gain a deep understanding of the use of software for measurement purposes; the ability to implement software-based measurement systems; familiarity with the hardware necessary to acquire and store signals; an appreciation for the key issue of long-term preservation of signals; and a full grasp of the often neglected issue of uncertainty in acoustical measurements. Pedagogical features include in-text worked-out examples, end-of-chapter problems, a glossary of metrology terms, and extensive appendices covering statistics, proofs, additional examples, file formats, and underlying theory.

Pulsar timing is a promising method for detecting gravitational waves in the nano-Hertz band. In his prize winning Ph.D. thesis Rutger van Haasteren deals with how one takes thousands of seemingly random timing residuals which are measured by pulsar observers, and extracts information about the presence and character of the gravitational waves in the nano-Hertz band that are washing over our Galaxy. The author presents a sophisticated mathematical algorithm that deals with this issue. His algorithm is probably the most well-developed of those that are currently in use in the Pulsar Timing Array community. In chapter 3, the gravitational-wave memory effect is described. This is one of the first descriptions of this interesting effect in relation with pulsar timing, which may become observable in future Pulsar Timing Array projects. The last part of the work is dedicated to an effort to combine the European pulsar timing data sets in order to search for gravitational waves. This study has placed the most stringent limit to date on the intensity of gravitational waves that are produced by pairs of supermassive black holes dancing around each other in distant galaxies, as well as those that may be produced by vibrating cosmic strings. Rutger van Haasteren has won the 2011 GWIC Thesis Prize of the Gravitational Wave International Community for his innovative work in various directions of the search for gravitational waves by pulsar timing. The work is presented in this Ph.D. thesis.

The application of mathematical concepts has proven to be beneficial within a number of different industries. In particular, these concepts have created significant developments in the engineering field. Mathematical Concepts and Applications in Mechanical Engineering and Mechatronics is an authoritative reference source for the latest scholarly research on the use of applied mathematics to enhance the current trends and productivity in mechanical engineering. Highlighting theoretical foundations, real-world cases, and future directions, this book is ideally designed for researchers, practitioners, professionals, and students of mechatronics and mechanical engineering.

This book provides a clear picture of the use of applied mathematics as a tool for improving the accuracy of agricultural research. For decades, statistics has been regarded as the fundamental tool of the scientific method. With new breakthroughs in computers and computer software, it has become feasible and necessary to improve the traditional approach in agricultural research by including additional mathematical modeling procedures.

The difficulty with the use of mathematics for agricultural scientists is that most courses in applied mathematics have been designed for engineering students. This publication is written by a professional in animal science targeting professionals in the biological, namely agricultural and animal scientists and graduate students in agricultural and animal sciences. The only prerequisite for the reader to understand the topics of this book is an introduction to college algebra, calculus and statistics. This is a manual of procedures for the mathematical modeling of agricultural systems and for the design and analyses of experimental data and experimental tests. It is a step-by-step guide for mathematical modeling of agricultural systems, starting with the statement of the research problem and up to implementing the project and running system experiments.

The present book includes a set of selected papers from the tenth "International Conference on Informatics in Control Automation and Robotics" (ICINCO 2013), held in Reykjavik, Iceland, from 29 to 31 July 2013. The conference was organized in four simultaneous tracks: "Intelligent Control Systems and Optimization", "Robotics and Automation", "Signal Processing, Sensors, Systems Modeling and Control" and "Industrial Engineering, Production and Management". The book is based on the same structure. ICINCO 2013 received 255 paper submissions from 50 countries, in all continents. After a double blind paper review performed by the Program Committee only 30% were published and presented orally. A further refinement was made after the conference, based also on the assessment of presentation quality, so that this book includes the extended and revised versions of the very best papers of ICINCO 2013.

The principle aim of the book is to present a self-contained, modern account of similarity and symmetry methods, which are important mathematical tools for both physicists, engineers and applied mathematicians. The idea is to provide a balanced presentation of the mathematical techniques and applications of symmetry methods in mathematics, physics and engineering. That is why it includes recent developments and many examples in finding systematically conservation laws, local and nonlocal symmetries for ordinary and partial differential equations. The role of continuous symmetries in classical and quantum field theories is exposed at a technical level accessible even for non specialists. The importance of symmetries in continuum mechanics and mechanics of materials is highlighted through recent developments, such as the construction of constitutive models for various materials combining Lie symmetries with experimental data. As a whole this book is a unique collection of contributions from experts in the field, including specialists in the mathematical treatment of symmetries, researchers using symmetries from a fundamental, applied or numerical viewpoint. The book is a fascinating overview of symmetry methods aimed for graduate students in physics, mathematics and engineering, as well as researchers either willing to enter in the field or to capture recent developments and applications of symmetry methods in different scientific fields.

This book is focused on the nonlinear theoretical and mathematical problems associated with ultrafast intense laser pulse propagation in gases and in particular, in air. With the aim of understanding the physics of filamentation in gases, solids, the atmosphere, and even biological tissue, specialists in nonlinear optics and filamentation from both physics and mathematics attempt to rigorously derive and analyze relevant non-perturbative models. Modern laser technology allows the generation of ultrafast (few cycle) laser pulses, with intensities exceeding the internal electric field in atoms and molecules (E=5x109 V/cm or intensity I = 3.5 x 1016 Watts/cm2 ). The interaction of such pulses with atoms and molecules leads to new, highly nonlinear nonperturbative regimes, where new physical phenomena, such as High Harmonic Generation (HHG), occur, and from which the shortest (attosecond - the natural time scale of the electron) pulses have been created. One of the major experimental discoveries in this nonlinear nonperturbative regime, Laser Pulse Filamentation, was observed by Mourou and Braun in 1995, as the propagation of pulses over large distances with narrow and intense cones. This observation has led to intensive investigation in physics and applied mathematics of new effects such as self-transformation of these pulses into white light, intensity clamping, and multiple filamentation, as well as to potential applications to wave guide writing, atmospheric remote sensing, lightning guiding, and military long-range weapons. The increasing power of high performance computers and the mathematical modelling and simulation of photonic systems has enabled many new areas of research. With contributions by theorists and mathematicians, supplemented by active experimentalists who are experts in the field of nonlinear laser molecule interaction and propagation, Laser Filamentation sheds new light on scientific and industrial applications of modern lasers.

This monograph presents the latest findings from a long-term research project intended to identify the physics behind Quantum Mechanics. A fundamental theory for quantum mechanics is constructed from first physical principles, revealing quantization as an emergent phenomenon arising from a deeper stochastic process. As such, it offers the vibrant community working on the foundations of quantum mechanics an alternative contribution open to discussion. The book starts with a critical summary of the main conceptual problems that still beset quantum mechanics. The basic consideration is then introduced that any material system is an open system in permanent contact with the random zero-point radiation field, with which it may reach a state of equilibrium. Working from this basis, a comprehensive and self-consistent theoretical framework is then developed. The pillars of the quantum-mechanical formalism are derived, as well as the radiative corrections of nonrelativistic QED, while revealing the underlying physical mechanisms. The genesis of some of the central features of quantum theory is elucidated, such as atomic stability, the spin of the electron, quantum fluctuations, quantum nonlocality and entanglement. The theory developed here reaffirms fundamental scientific principles such as realism, causality, locality and objectivity.

Quaternionic and Clifford analysis are an extension of complex analysis into higher dimensions. The unique starting point of Wolfgang Sproessig's work was the application of quaternionic analysis to elliptic differential equations and boundary value problems. Over the years, Clifford analysis has become a broad-based theory with a variety of applications both inside and outside of mathematics, such as higher-dimensional function theory, algebraic structures, generalized polynomials, applications of elliptic boundary value problems, wavelets, image processing, numerical and discrete analysis. The aim of this volume is to provide an essential overview of modern topics in Clifford analysis, presented by specialists in the field, and to honor the valued contributions to Clifford analysis made by Wolfgang Sproessig throughout his career.

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).

This collection of papers offers a broad synopsis of state-of-the-art mathematical methods used in modeling the interaction between tumors and the immune system. These papers were presented at the four-day workshop on Mathematical Models of Tumor-Immune System Dynamics held in Sydney, Australia from January 7th to January 10th, 2013. The workshop brought together applied mathematicians, biologists, and clinicians actively working in the field of cancer immunology to share their current research and to increase awareness of the innovative mathematical tools that are applicable to the growing field of cancer immunology. Recent progress in cancer immunology and advances in immunotherapy suggest that the immune system plays a fundamental role in host defense against tumors and could be utilized to prevent or cure cancer. Although theoretical and experimental studies of tumor-immune system dynamics have a long history, there are still many unanswered questions about the mechanisms that govern the interaction between the immune system and a growing tumor. The multidimensional nature of these complex interactions requires a cross-disciplinary approach to capture more realistic dynamics of the essential biology. The papers presented in this volume explore these issues and the results will be of interest to graduate students and researchers in a variety of fields within mathematical and biological sciences.

The book is about user interfaces to applications that have been designed for social and physical interaction. The interfaces are 'playful', that is, users feel challenged to engage in social and physical interaction because that will be fun. The topics that will be present in this book are interactive playgrounds, urban games using mobiles, sensor-equipped environments for playing, child-computer interaction, tangible game interfaces, interactive tabletop technology and applications, full-body interaction, exertion games, persuasion, engagement, evaluation and user experience. Readers of the book will not only get a survey of state-of-the-art research in these areas, but the chapters in this book will also provide a vision of the future where playful interfaces will be ubiquitous, that is, present and integrated in home, office, recreational, sports and urban environments, emphasizing that in the future in these environments game elements will be integrated and welcomed.

Due to their high stiffness and strength and their good processing properties short fibre reinforced thermoplastics are well-established construction materials. Up to now, simulation of engineering parts consisting of short fibre reinforced thermoplastics has often been based on macroscopic phenomenological models, but deformations, damage and failure of composite materials strongly depend on their microstructure. The typical modes of failure of short fibre thermoplastics enriched with glass fibres are matrix failure, rupture of fibres and delamination, and pure macroscopic consideration is not sufficient to predict those effects. The typical predictive phenomenological models are complex and only available for very special failures. A quantitative prediction on how failure will change depending on the content and orientation of the fibres is generally not possible, and the direct involvement of the above effects in a numerical simulation requires multi-scale modelling. One the one hand, this makes it possible to take into account the properties of the matrix material and the fibre material, the microstructure of the composite in terms of fibre content, fibre orientation and shape as well as the properties of the interface between fibres and matrix. On the other hand, the multi-scale approach links these local properties to the global behaviour and forms the basis for the dimensioning and design of engineering components. Furthermore, multi-scale numerical simulations are required to allow efficient solution of the models when investigating three-dimensional problems of dimensioning engineering parts. Bringing together mathematical modelling, materials mechanics, numerical methods and experimental engineering, this book provides a unique overview of multi-scale modelling approaches, multi-scale simulations and experimental investigations of short fibre reinforced thermoplastics. The first chapters focus on two principal subjects: the mathematical and mechanical models governing composite properties and damage description. The subsequent chapters present numerical algorithms based on the Finite Element Method and the Boundary Element Method, both of which make explicit use of the composite's microstructure. Further, the results of the numerical simulations are shown and compared to experimental results. Lastly, the book investigates deformation and failure of composite materials experimentally, explaining the applied methods and presenting the results for different volume fractions of fibres. This book is a valuable resource for applied mathematics, theoretical and experimental mechanical engineers as well as engineers in industry dealing with modelling and simulation of short fibre reinforced composites.

This book is primarily intended as a research monograph that could also be used in graduate courses for the design of parallel algorithms in matrix computations. It assumes general but not extensive knowledge of numerical linear algebra, parallel architectures, and parallel programming paradigms. The book consists of four parts: (I) Basics; (II) Dense and Special Matrix Computations; (III) Sparse Matrix Computations; and (IV) Matrix functions and characteristics. Part I deals with parallel programming paradigms and fundamental kernels, including reordering schemes for sparse matrices. Part II is devoted to dense matrix computations such as parallel algorithms for solving linear systems, linear least squares, the symmetric algebraic eigenvalue problem, and the singular-value decomposition. It also deals with the development of parallel algorithms for special linear systems such as banded ,Vandermonde ,Toeplitz ,and block Toeplitz systems. Part III addresses sparse matrix computations: (a) the development of parallel iterative linear system solvers with emphasis on scalable preconditioners, (b) parallel schemes for obtaining a few of the extreme eigenpairs or those contained in a given interval in the spectrum of a standard or generalized symmetric eigenvalue problem, and (c) parallel methods for computing a few of the extreme singular triplets. Part IV focuses on the development of parallel algorithms for matrix functions and special characteristics such as the matrix pseudospectrum and the determinant. The book also reviews the theoretical and practical background necessary when designing these algorithms and includes an extensive bibliography that will be useful to researchers and students alike. The book brings together many existing algorithms for the fundamental matrix computations that have a proven track record of efficient implementation in terms of data locality and data transfer on state-of-the-art systems, as well as several algorithms that are presented for the first time, focusing on the opportunities for parallelism and algorithm robustness.

This book presents original studies describing the latest research and developments in the area of reliability and systems engineering. It helps the reader identifying gaps in the current knowledge and presents fruitful areas for further research in the field. Among others, this book covers reliability measures, reliability assessment of multi-state systems, optimization of multi-state systems, continuous multi-state systems, new computational techniques applied to multi-state systems and probabilistic and non-probabilistic safety assessment.