This book presents a collection of selected papers that represent the current variety of research on the teaching and learning of probability. The respective chapters address a diverse range of theoretical, empirical and practical aspects underpinning the teaching and learning of probability, curricular issues, probabilistic reasoning, misconceptions and biases, as well as their pedagogical implications. These chapters are divided into THREE main sections, dealing with: TEACHING PROBABILITY, STUDENTS' REASONING AND LEARNING AND EDUCATION OF TEACHERS. In brief, the papers presented here include research dealing with teachers and students at different levels and ages (from primary school to university) and address epistemological and curricular analysis, as well as the role of technology, simulations, language and visualisation in teaching and learning probability. As such, it offers essential information for teachers, researchers and curricular designers alike.

This thesis both broadens and deepens our understanding of the Brownian world. It addresses new problems in diffusion theory that have recently attracted considerable attention, both from the side of nanotechnology and from the viewpoint of pure academic research. The author focusses on the difussion of interacting particles in restricted geometries and under externally controlled forces. These geometries serve, for example, to model ion transport through narrow channels in cell membranes or a Brownian particle diffusing in an optical trap, now a paradigm for both theory and experiment. The work is exceptional in obtaining explicit analytically formulated answers to such realistic, experimentally relevant questions. At the same time, with its detailed exposition of the problems and a complete set of references, it presents a clear and broadly accessible introduction to the domain. Many of the problem settings and the corresponding exact asymptotic laws are completely new in diffusion theory.

This book introduces the basic fundamentals, models, emulators and analyses of mem-elements in the circuit theory with applications. The book starts reviewing the literature on mem-elements, models and their recent applications. It presents mathematical models, numerical results, circuit simulations, and experimental results for double-loop hysteresis behavior of mem-elements. The authors introduce a generalized memristor model in the fractional-order domain under different input and different designs for emulator-based mem-elements, with circuit and experimental results. The basic concept of memristive-based relaxation-oscillators in the circuit theory is also covered. The reader will moreover find in this book information on memristor-based multi-level digital circuits, memristor-based multi-level multiplier and memcapacitor-based oscillators and synaptic circuits.

This book introduces readers to one of the first methods developed for the numerical treatment of boundary value problems on polygonal and polyhedral meshes, which it subsequently analyzes and applies in various scenarios. The BEM-based finite element approaches employs implicitly defined trial functions, which are treated locally by means of boundary integral equations. A detailed construction of high-order approximation spaces is discussed and applied to uniform, adaptive and anisotropic polytopal meshes. The main benefits of these general discretizations are the flexible handling they offer for meshes, and their natural incorporation of hanging nodes. This can especially be seen in adaptive finite element strategies and when anisotropic meshes are used. Moreover, this approach allows for problem-adapted approximation spaces as presented for convection-dominated diffusion equations. All theoretical results and considerations discussed in the book are verified and illustrated by several numerical examples and experiments. Given its scope, the book will be of interest to mathematicians in the field of boundary value problems, engineers with a (mathematical) background in finite element methods, and advanced graduate students.

This book presents and discusses the state of the art and future perspectives in mathematical modeling and homogenization techniques with the focus on addressing key physiological issues in the context of multiphase healthy and malignant biological materials. The highly interdisciplinary content brings together contributions from scientists with complementary areas of expertise, such as pure and applied mathematicians, engineers, and biophysicists. The book also features the lecture notes from a half-day introductory course on asymptotic homogenization. These notes are suitable for undergraduate mathematics or physics students, while the other chapters are aimed at graduate students and researchers.

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.

Topological surgery is a mathematical technique used for creating new manifolds out of known ones. In this book the authors observe that it also occurs in natural phenomena of all scales: 1-dimensional surgery happens during DNA recombination and when cosmic magnetic lines reconnect; 2-dimensional surgery happens during tornado formation and cell mitosis; and they conjecture that 3-dimensional surgery happens during the formation of black holes from cosmic strings, offering an explanation for the existence of a black hole's singularity. Inspired by such phenomena, the authors present a new topological model that extends the formal definition to a continuous process caused by local forces. Lastly, they describe an intrinsic connection between topological surgery and a chaotic dynamical system exhibiting a "hole drilling" behavior. The authors' model indicates where to look for the forces causing surgery and what deformations should be observed in the local submanifolds involved. These predictions are significant for the study of phenomena exhibiting surgery and they also open new research directions. This novel study enables readers to gain a better understanding of the topology and dynamics of various natural phenomena, as well as topological surgery itself and serves as a basis for many more insightful observations and new physical implications.

Highly topical and original monograph, introducing the author's work on the Riemann zeta function and its adelic interpretation of interest to a wide range of mathematicians and physicists.

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.

To ensure the security and economy of future power system operation in the context of a high degree of renewable energy penetration, this thesis proposes a new distributed algorithm called generalized master-slave-splitting (G-MSS) theory and a new transmission-distribution coordinated energy management (TDCEM) method that is based on the G-MSS theory. The thesis studies the mathematical properties of the G-MSS theory in detail. Based on the G-MSS theory, a distributed TDCEM method - which involves distributed security analysis, distributed voltage stability analysis, distributed economic dispatch and distributed optimal power flow for an integrated transmission-distribution system - is then developed for the first time. The thesis demonstrates that the proposed TDCEM method significantly contributes to more reliable and optimal operation in power systems. The book will benefit researchers, scientists and engineers in the field of power system operation and optimization.

In this text, a theory for general linear parabolic partial differential equations is established which covers equations with inhomogeneous symbol structure as well as mixed-order systems. Typical applications include several variants of the Stokes system and free boundary value problems. We show well-posedness in "Lp-Lq"-Sobolev spaces in time and space for the linear problems (i.e., maximal regularity) which is the key step for the treatment of nonlinear problems. The theory is based on the concept of the Newton polygon and can cover equations which are not accessible by standard methods as, e.g., semigroup theory. Results are obtained in different types of non-integer "Lp"-Sobolev spaces as Besov spaces, Bessel potential spaces, and Triebel Lizorkin spaces. The last-mentioned class appears in a natural way as traces of "Lp-Lq"-Sobolev spaces. We also present a selection of applications in the whole space and on half-spaces. Among others, we prove well-posedness of the linearizations of the generalized thermoelastic plate equation, the two-phase Navier Stokes equations with Boussinesq Scriven surface, and the "Lp-Lq" two-phase Stefan problem with Gibbs Thomson correction. "

This textbook intends to be a comprehensive and substantially self-contained two-volume book covering performance, reliability, and availability evaluation subjects. The volumes focus on computing systems, although the methods may also be applied to other systems. The first volume covers Chapter 1 to Chapter 14, whose subtitle is ``Performance Modeling and Background". The second volume encompasses Chapter 15 to Chapter 25 and has the subtitle ``Reliability and Availability Modeling, Measuring and Workload, and Lifetime Data Analysis". This text is helpful for computer performance professionals for supporting planning, design, configuring, and tuning the performance, reliability, and availability of computing systems. Such professionals may use these volumes to get acquainted with specific subjects by looking at the particular chapters. Many examples in the textbook on computing systems will help them understand the concepts covered in each chapter. The text may also be helpful for the instructor who teaches performance, reliability, and availability evaluation subjects. Many possible threads could be configured according to the interest of the audience and the duration of the course. Chapter 1 presents a good number of possible courses programs that could be organized using this text.

This monograph bridges the gap between the nonlinear predictor as a concept and as a practical tool, presenting a complete theory of the application of predictor feedback to time-invariant, uncertain systems with constant input delays and/or measurement delays. It supplies several methods for generating the necessary real-time solutions to the systems' nonlinear differential equations, which the authors refer to as approximate predictors. Predictor feedback for linear time-invariant (LTI) systems is presented in Part I to provide a solid foundation on the necessary concepts, as LTI systems pose fewer technical difficulties than nonlinear systems. Part II extends all of the concepts to nonlinear time-invariant systems. Finally, Part III explores extensions of predictor feedback to systems described by integral delay equations and to discrete-time systems. The book's core is the design of control and observer algorithms with which global stabilization, guaranteed in the previous literature with idealized (but non-implementable) predictors, is preserved with approximate predictors developed in the book. An applications-driven engineer will find a large number of explicit formulae, which are given throughout the book to assist in the application of the theory to a variety of control problems. A mathematician will find sophisticated new proof techniques, which are developed for the purpose of providing global stability guarantees for the nonlinear infinite-dimensional delay system under feedback laws employing practically implementable approximate predictors. Researchers working on global stabilization problems for time-delay systems will find this monograph to be a helpful summary of the state of the art, while graduate students in the broad field of systems and control will advance their skills in nonlinear control design and the analysis of nonlinear delay systems.

This thesis describes the stand-alone discovery and measurement of the Higgs boson in its decays to two W bosons using the Run-I ATLAS dataset. This is the most precise measurement of gluon-fusion Higgs boson production and is among the most significant results attained at the LHC. The thesis provides an exceptionally clear exposition on a complicated analysis performed by a large team of researchers. Aspects of the analysis performed by the author are explained in detail; these include new methods for evaluating uncertainties on the jet binning used in the analysis and for estimating the background due to associated production of a W boson and an off-shell photon. The thesis also describes a measurement of the WW cross section, an essential background to Higgs boson production. The primary motivation of the LHC was to prove or disprove the existence of the Higgs boson. In 2012, CERN announced this discovery and the resultant ATLAS publication contained three decay channels: gg, ZZ, and WW.

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.

Microcontinuum Field Theories constitutes an extension of classical field theories - of elastic solids, viscous fluids, electromagnetism, and the like - to microscopic length and time scales. Material bodies are viewed as collections of a large number of deformable particles (sub-continua), suitable for modeling blood, porous media, polymers, liquid crystals, slurries, and composite materials. This volume extends and applies the ideas developed in the first volume, Microcontinuum Field Theories: Foundations and Solids, to liquid crystals, biological fluids, and other microstretch and micomorphic fluids. The theory makes it possible to discuss properties of such materials that are beyond the scope of classical field theories and may provide a basis for the resolution of some outstanding problems, such as turbulence.

Edited by Daniel Rothbart of George Mason University in Virginia, this book is a collection of Rom Harre's work on modeling in science (particularly physics and psychology). In over 28 authored books and 240 articles and book chapters, Rom Harre of Georgetown University in Washington, DC is a towering figure in philosophy, linguistics, and social psychology. He has inspired a generation of scholars, both for the ways in which his research is carried out and his profound insights. For Harre, the stunning discoveries of research demand a kind of thinking that is found in the construction and control of models. Iconic modeling is pivotal for representing real-world structures, explaining phenomena, manipulating instruments, constructing theories, and acquiring data.
This volume in the new Elsevier book series Studies in Multidisciplinarity includes major topics on the structure and function of models, the debates over scientific realism, explanation through analogical modeling, a metaphysics for physics, the rationale for experimentation, and modeling in social encounters.
* A multidisciplinary work of sweeping scope about the nature of science
* Revolutionary interpretation that challenges conventional wisdom about the character of scientific thinking
* Profound insights about fundamental challenges to contemporary physics
* Brilliant discoveries into the nature of social interaction and human identity
* Presents a rational conception of methods for acquiring knowledge of remote regions of the world
* Written by one of the great thinkers of our time.

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 is a systematic summary of some new advances in the area of nonlinear analysis and design in the frequency domain, focusing on the application oriented theory and methods based on the GFRF concept, which is mainly done by the author in the past 8 years. The main results are formulated uniformly with a parametric characteristic approach, which provides a convenient and novel insight into nonlinear influence on system output response in terms of characteristic parameters and thus facilitate nonlinear analysis and design in the frequency domain. The book starts with a brief introduction to the background of nonlinear analysis in the frequency domain, followed by recursive algorithms for computation of GFRFs for different parametric models, and nonlinear output frequency properties. Thereafter the parametric characteristic analysis method is introduced, which leads to the new understanding and formulation of the GFRFs, and nonlinear characteristic output spectrum (nCOS) and the nCOS based analysis and design method. Based on the parametric characteristic approach, nonlinear influence in the frequency domain can be investigated with a novel insight, i.e., alternating series, which is followed by some application results in vibration control. Magnitude bounds of frequency response functions of nonlinear systems can also be studied with a parametric characteristic approach, which result in novel parametric convergence criteria for any given parametric nonlinear model whose input-output relationship allows a convergent Volterra series expansion. This book targets those readers who are working in the areas related to nonlinear analysis and design, nonlinear signal processing, nonlinear system identification, nonlinear vibration control, and so on. It particularly serves as a good reference for those who are studying frequency domain methods for nonlinear systems.

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.

This book is devoted to describing theories for porous media where such pores have an inbuilt macro structure and a micro structure. For example, a double porosity material has pores on a macro scale, but additionally there are cracks or fissures in the solid skeleton. The actual body is allowed to deform and thus the underlying theory is one of elasticity. Various different descriptions are reviewed. Chapter 1 introduces the classical linear theory of elastodynamics together with uniqueness and continuous dependence results. Chapters 2 and 3 review developments of theories for double and triple porosity using a pressure-displacement structure and also using voids-displacement. Chapter 4 compares various aspects of the pressure-displacement and voids-displacement theories via uniqueness studies and wave motion analysis. Mathematical analyses of double and triple porosity materials are included concentrating on uniqueness and stability studies in chapters 5 to 7. In chapters 8 and 9 the emphasis is on wave motion in double porosity materials with special attention paid to nonlinear waves. The final chapter embraces a novel area where an elastic body with a double porosity structure is analyzed, but the thermodynamics allows for heat to travel as a wave rather than simply by diffusion. This book will be of value to mathematicians, theoretical engineers and other practitioners who are interested in double or triple porosity elasticity and its relevance to many diverse applications.

The papers in this volume start with a description of the construction of reduced models through a review of Proper Orthogonal Decomposition (POD) and reduced basis models, including their mathematical foundations and some challenging applications, then followed by a description of a new generation of simulation strategies based on the use of separated representations (space-parameters, space-time, space-time-parameters, space-space,...), which have led to what is known as Proper Generalized Decomposition (PGD) techniques. The models can be enriched by treating parameters as additional coordinates, leading to fast and inexpensive online calculations based on richer offline parametric solutions. Separated representations are analyzed in detail in the course, from their mathematical foundations to their most spectacular applications. It is also shown how such an approximation could evolve into a new paradigm in computational science, enabling one to circumvent various computational issues in a vast array of applications in engineering science.

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 thesis presents theoretical and numerical studies on phenomenological description of the quark gluon plasma (QGP), a many-body system of elementary particles.

The author formulates a causal theory of hydrodynamics for systems with net charges from the law of increasing entropy and a momentum expansion method. The derived equation results can be applied not only to collider physics, but also to the early universe and ultra-cold atoms.

The author also develops novel off-equilibrium hydrodynamic models for the longitudinal expansion of the QGP on the basis of these equations. Numerical estimations show that convection and entropy production during the hydrodynamic evolution are key to explaining excessive charged particle production, recently observed at the Large Hadron Collider. Furthermore, the analyses at finite baryon density indicate that the energy available for QGP production is larger than the amount conventionally assumed. "