The methods considered in the 7th conference on "Finite Volumes for Complex Applications" (Berlin, June 2014) have properties which offer distinct advantages for a number of applications. The second volume of the proceedings covers reviewed contributions reporting successful applications in the fields of fluid dynamics, magnetohydrodynamics, structural analysis, nuclear physics, semiconductor theory and other topics.

The finite volume method in its various forms is a space discretization technique for partial differential equations based on the fundamental physical principle of conservation. Recent decades have brought significant success in the theoretical understanding of the method. Many finite volume methods preserve further qualitative or asymptotic properties, including maximum principles, dissipativity, monotone decay of free energy, and asymptotic stability. Due to these properties, finite volume methods belong to the wider class of compatible discretization methods, which preserve qualitative properties of continuous problems at the discrete level. This structural approach to the discretization of partial differential equations becomes particularly important for multiphysics and multiscale applications.

Researchers, PhD and masters level students in numerical analysis, scientific computing and related fields such as partial differential equations will find this volume useful, as will engineers working in numerical modeling and simulations.

The author defines "Geometric Algebra Computing" as the geometrically intuitive development of algorithms using geometric algebra with a focus on their efficient implementation, and the goal of this book is to lay the foundations for the widespread use of geometric algebra as a powerful, intuitive mathematical language for engineering applications in academia and industry. The related technology is driven by the invention of conformal geometric algebra as a 5D extension of the 4D projective geometric algebra and by the recent progress in parallel processing, and with the specific conformal geometric algebra there is a growing community in recent years applying geometric algebra to applications in computer vision, computer graphics, and robotics. This book is organized into three parts: in Part I the author focuses on the mathematical foundations; in Part II he explains the interactive handling of geometric algebra; and in Part III he deals with computing technology for high-performance implementations based on geometric algebra as a domain-specific language in standard programming languages such as C++ and OpenCL. The book is written in a tutorial style and readers should gain experience with the associated freely available software packages and applications. The book is suitable for students, engineers, and researchers in computer science, computational engineering, and mathematics.

This textbook provides a step-by-step approach to numerical methods in engineering modelling. The authors provide a consistent treatment of the topic, from the ground up, to reinforce for students that numerical methods are a set of mathematical modelling tools which allow engineers to represent real-world systems and compute features of these systems with a predictable error rate. Each method presented addresses a specific type of problem, namely root-finding, optimization, integral, derivative, initial value problem, or boundary value problem, and each one encompasses a set of algorithms to solve the problem given some information and to a known error bound. The authors demonstrate that after developing a proper model and understanding of the engineering situation they are working on, engineers can break down a model into a set of specific mathematical problems, and then implement the appropriate numerical methods to solve these problems.

"Progress in Expressive Image Synthesis" (MEIS2015), was held in Fukuoka, Japan, September 25-27, 2015. The aim of the symposium was to provide a unique venue where various issues in computer graphics (CG) application fields could be discussed by mathematicians, CG researchers, and practitioners. Through the previous symposiums MEIS2013 and MEIS2014, mathematicians as well as CG researchers have recognized that CG is a specific and practical activity derived from mathematical theories. Issues found in CG broaden the field of mathematics and vice versa, and CG visualizes mathematical theories in an aesthetic manner. In this volume, the editors aim to provoke interdisciplinary research projects through the peer-reviewed papers and poster presentations at the this year's symposium. This book captures interactions among mathematicians, CG researchers, and practitioners sharing important, state-of-the-art issues in graphics and visual perception. The book is suitable for all CG researchers seeking open problem areas and especially for those entering the field who have not yet selected a research direction.

This thesis focuses on the study and characterization of entanglement and nonlocal correlations constrained under symmetries. It includes original results as well as detailed methods and explanations for a number of different threads of research: positive partial transpose (PPT) entanglement in the symmetric states; a novel, experimentally friendly method to detect nonlocal correlations in many-body systems; the non-equivalence between entanglement and nonlocality; and elemental monogamies of correlations. Entanglement and nonlocal correlations constitute two fundamental resources for quantum information processing, as they allow novel tasks that are otherwise impossible in a classical scenario. However, their elusive characterization is still a central problem in quantum information theory. The main reason why such a fundamental issue remains a formidable challenge lies in the exponential growth in complexity of the Hilbert space as well as the space of multipartite correlations. Physical systems of interest, on the other hand, display symmetries that can be exploited to reduce this complexity, opening the possibility that some of these questions become tractable for such systems.

This two-volume work introduces the theory and applications of Schur-convex functions. The second volume mainly focuses on the application of Schur-convex functions in sequences inequalities, integral inequalities, mean value inequalities for two variables, mean value inequalities for multi-variables, and in geometric inequalities.

This volume highlights problems from a range of biological and medical applications that can be interpreted as questions about system behavior or control. Topics include drug resistance in cancer and malaria, biological fluid dynamics, auto-regulation in the kidney, anti-coagulation therapy, evolutionary diversification and photo-transduction. Mathematical techniques used to describe and investigate these biological and medical problems include ordinary, partial and stochastic differentiation equations, hybrid discrete-continuous approaches, as well as 2 and 3D numerical simulation.

This book shows cognitive scientists in training how mathematics, computer science and science can be usefully and seamlessly intertwined. It is a follow-up to the first two volumes on mathematics for cognitive scientists, and includes the mathematics and computational tools needed to understand how to compute the terms in the Fourier series expansions that solve the cable equation. The latter is derived from first principles by going back to cellular biology and the relevant biophysics. A detailed discussion of ion movement through cellular membranes, and an explanation of how the equations that govern such ion movement leading to the standard transient cable equation are included. There are also solutions for the cable model using separation of variables, as well an explanation of why Fourier series converge and a description of the implementation of MatLab tools to compute the solutions. Finally, the standard Hodgkin - Huxley model is developed for an excitable neuron and is solved using MatLab.

Dynamical System Synchronization (DSS) meticulously presents for the first time the theory of dynamical systems synchronization based on the local singularity theory of discontinuous dynamical systems. The book details the sufficient and necessary conditions for dynamical systems synchronizations, through extensive mathematical expression. Techniques for engineering implementation of DSS are clearly presented compared with the existing techniques.

This proceedings records the 31st International Colloquium on Group Theoretical Methods in Physics ("Group 31"). Plenary-invited articles propose new approaches to the moduli spaces in gauge theories (V. Pestun, 2016 Weyl Prize Awardee), the phenomenology of neutrinos in non-commutative space-time, the use of Hardy spaces in quantum physics, contradictions in the use of statistical methods on complex systems, and alternative models of supersymmetry. This volume's survey articles broaden the colloquia's scope out into Majorana neutrino behavior, the dynamics of radiating charges, statistical pattern recognition of amino acids, and a variety of applications of gauge theory, among others. This year's proceedings further honors Bertram Kostant (2016 Wigner Medalist), as well as S.T. Ali and L. Boyle, for their life-long contributions to the math and physics communities. The aim of the ICGTMP is to provide a forum for physicists, mathematicians, and scientists of related disciplines who develop or apply methods in group theory to share their research. The 31st ICGTMP was held in Rio de Janeiro, Brazil, from June 19th to June 25th, 2016. This was the first time that a colloquium of the prestigious and traditional ICGTMP series (which started in 1972 in Marseille, France) took place in South America. (The history of the colloquia can be found at http://icgtmp.blogs.uva.es/)

Electrical Machines and Drives play a vital role in industry with an ever increasing importance. This fact necessitates the understanding of machine and drive principles by engineers of many different disciplines. Therefore, this book is intended to give a comprehensive deduction of these principles. Special attention is given to the precise mathematical deduction of the necessary formulae to calculate machines and drives, and to the discussion of simplifications (if applied) with the associated limits. So the book shows how the different machine topologies can be deduced from general fundamentals, and how they are linked.

This book addresses graduate students, researchers and developers of Electrical Machines and Drives, who are interested in getting knowledge about the principles of machine and drive operation and in detecting the mathematical and engineering specialties of the different machine and drive topologies together with their mutual links. The detailed, but compact mathematical deduction, together with a distinct emphasis onto assumptions, simplifications and the associated limits, leads to a clear understanding of Electrical Machine and Drive topologies and characteristics.

This book provides a broad yet detailed introduction to neural networks and machine learning in a statistical framework. A single, comprehensive resource for study and further research, it explores the major popular neural network models and statistical learning approaches with examples and exercises and allows readers to gain a practical working understanding of the content. This updated new edition presents recently published results and includes six new chapters that correspond to the recent advances in computational learning theory, sparse coding, deep learning, big data and cloud computing. Each chapter features state-of-the-art descriptions and significant research findings. The topics covered include: * multilayer perceptron; * the Hopfield network; * associative memory models;* clustering models and algorithms; * t he radial basis function network; * recurrent neural networks; * nonnegative matrix factorization; * independent component analysis; *probabilistic and Bayesian networks; and * fuzzy sets and logic. Focusing on the prominent accomplishments and their practical aspects, this book provides academic and technical staff, as well as graduate students and researchers with a solid foundation and comprehensive reference on the fields of neural networks, pattern recognition, signal processing, and machine learning.

In How Language Informs Mathematics Dirk Damsma shows how Hegel's and Marx's systematic dialectical analysis of mathematical and economic language helps us understand the structure and nature of mathematical and capitalist systems. More importantly, Damsma shows how knowledge of the latter can inform model assumptions and help improve models. His book provides a blueprint for an approach to economic model building that does away with arbitrarily chosen assumptions and is sensitive to the institutional structures of capitalism. In light of the failure of mainstream economics to understand systemic failures like the financial crisis and given the arbitrary character of most assumptions in mainstream models, such an approach is desperately needed.

This book presents the state-of-the-art in various aspects of analysis and mining of online social networks. Within the broader context of online social networks, it focuses on important and upcoming topics of social network analysis and mining such as the latest in sentiment trends research and a variety of techniques for community detection and analysis. The book collects chapters that are expanded versions of the best papers presented at the IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM'2015), which was held in Paris, France in August 2015. All papers have been peer reviewed and checked carefully for overlap with the literature. The book will appeal to students and researchers in social network analysis/mining and machine learning.

This thesis sheds important new light on the puzzling properties of Strontium Ruthenate. Using a sophisticated weak-coupling approach, exact within certain limits, it shows that proper treatment of spin-orbit and multi-band effects is crucial to the physics. Based on the results of these calculations, it resolves a crucial, long-standing puzzle in the field: It demonstrates why the experimentally observed time-reversal breaking is not incompatible with the observed lack of measurable edge currents. Lastly, the thesis makes predictions for the properties of the material under uniaxial strain, which are in good agreement with recent experiments -resolving the mystery of the so-called 3K phase, and suggesting the intriguing possibility that under strain the superconductor may become conventional.

Offers an overview of the MM principle, a device for deriving optimization algorithms satisfying the ascent or descent property. These algorithms can: Separate the variables of a problem. Avoid large matrix inversions. Linearize a problem. Restore symmetry. Deal with equality and inequality constraints gracefully. Turn a non-differentiable problem into a smooth problem. The author: Presents the first extended treatment of MM algorithms, which are ideal for high-dimensional optimization problems in data mining, imaging, and genomics. Derives numerous algorithms from a broad diversity of application areas, with a particular emphasis on statistics, biology, and data mining. Summarizes a large amount of literature that has not reached book form before.

This volume is the first of the new series Advances in Dynamics and Delays. It offers the latest advances in the research of analyzing and controlling dynamical systems with delays, which arise in many real-world problems. The contributions in this series are a collection across various disciplines, encompassing engineering, physics, biology, and economics, and some are extensions of those presented at the IFAC (International Federation of Automatic Control) conferences since 2011. The series is categorized in five parts covering the main themes of the contributions: * Stability Analysis and Control Design * Networks and Graphs * Time Delay and Sampled-Data Systems * Computational and Software Tools * Applications This volume will become a good reference point for researchers and PhD students in the field of delay systems, and for those willing to learn more about the field, and it will also be a resource for control engineers, who will find innovative control methodologies for relevant applications, from both theory and numerical analysis perspectives.

The aim of this book is to explain to high-performance computing (HPC) developers how to utilize the Intel(r) Xeon Phi series products efficiently. To that end, it introduces some computing grammar, programming technology and optimization methods for using many-integrated-core (MIC) platforms and also offers tips and tricks for actual use, based on the authors first-hand optimization experience.

The material is organized in three sections. The first section, Basics of MIC, introduces the fundamentals of MIC architecture and programming, including the specific Intel MIC programming environment. Next, the section on Performance Optimization explains general MIC optimization techniques, which are then illustrated step-by-step using the classical parallel programming example of matrix multiplication. Finally, Project development presents a set of practical and experience-driven methods for using parallel computing in application projects, including how to determine if a serial or parallel CPU program is suitable for MIC and how to transplant a program onto MIC.

This book appeals to two main audiences: First, software developers for HPC applications it will enable them to fully exploit the MIC architecture and thus achieve the extreme performance usually required in biological genetics, medical imaging, aerospace, meteorology and other areas of HPC. Second, students and researchers engaged in parallel and high-performance computing it will guide them on how to push the limits of system performance for HPC applications. "

This volume presents the latest advances and trends in stochastic models and related statistical procedures. Selected peer-reviewed contributions focus on statistical inference, quality control, change-point analysis and detection, empirical processes, time series analysis, survival analysis and reliability, statistics for stochastic processes, big data in technology and the sciences, statistical genetics, experiment design, and stochastic models in engineering. Stochastic models and related statistical procedures play an important part in furthering our understanding of the challenging problems currently arising in areas of application such as the natural sciences, information technology, engineering, image analysis, genetics, energy and finance, to name but a few. This collection arises from the 12th Workshop on Stochastic Models, Statistics and Their Applications, Wroclaw, Poland.

This book introduces the fascinating world of plasmonics and physics at the nanoscale, with a focus on simulations and the theoretical aspects of optics and nanotechnology. A research field with numerous applications, plasmonics bridges the gap between the micrometer length scale of light and the secrets of the nanoworld. This is achieved by binding light to charge density oscillations of metallic nanostructures, so-called surface plasmons, which allow electromagnetic radiation to be focussed down to spots as small as a few nanometers. The book is a snapshot of recent and ongoing research and at the same time outlines our present understanding of the optical properties of metallic nanoparticles, ranging from the tunability of plasmonic resonances to the ultrafast dynamics of light-matter interaction. Beginning with a gentle introduction that highlights the basics of plasmonic interactions and plasmon imaging, the author then presents a suitable theoretical framework for the description of metallic nanostructures. This model based on this framework is first solved analytically for simple systems, and subsequently through numerical simulations for more general cases where, for example, surface roughness, nonlinear and nonlocal effects or metamaterials are investigated.

This book presents the latest algorithmic developments in the cell-mapping method for the global analysis of nonlinear dynamic systems, global solutions for multi-objective optimization problems, and global solutions for zeros of complex algebraic equations. It also discusses related engineering and scientific applications, including the nonlinear design of structures for better vibration resistance and reliability; multi-objective, structural-acoustic design for sound abatement; optimal multi-objective design of airfoils for better lift; and optimal multi-objective design of linear and nonlinear controls with or without time delay. The first book on the subject to include extensive Matlab and C++ codes, it presents various implementation algorithms of the cell-mapping method, enabling readers to understand how the method works and its programming aspects. A link to the codes on the Springer website will be provided to the readers.

This book - specifically developed as a novel textbook on elementary classical mechanics - shows how analytical and numerical methods can be seamlessly integrated to solve physics problems. This approach allows students to solve more advanced and applied problems at an earlier stage and equips them to deal with real-world examples well beyond the typical special cases treated in standard textbooks. Another advantage of this approach is that students are brought closer to the way physics is actually discovered and applied, as they are introduced right from the start to a more exploratory way of understanding phenomena and of developing their physical concepts. While not a requirement, it is advantageous for the reader to have some prior knowledge of scientific programming with a scripting-type language. This edition of the book uses Matlab, and a chapter devoted to the basics of scientific programming with Matlab is included. A parallel edition using Python instead of Matlab is also available. Last but not least, each chapter is accompanied by an extensive set of course-tested exercises and solutions.

This book highlights recent compelling research results and trends in various aspects of contemporary mathematics, emphasizing applicabilitions to real-world situations. The chapters present exciting new findings and developments in situations where mathematical rigor is combined with common sense. A multi-disciplinary approach, both within each chapter and in the volume as a whole, leads to practical insights that may result in a more synthetic understanding of specific global issues as well as their possible solutions. The volume will be of interest not only to experts in mathematics, but also to graduate students, scientists, and practitioners from other fields including physics, biology, geology, management, and medicine.

The book shows how eastern and western perspectives and conceptions can be used to addresses recent topics laying at the crossroad between philosophy and cognitive science. It reports on new points of view and conceptions discussed during the International Conference on Philosophy and Cognitive Science (PCS2013), held at the Sun Yat-sen University, in Guangzhou, China, and the 2013 Workshop on Abductive Visual Cognition, which took place at KAIST, in Deajeon, South Korea. The book emphasizes an ever-growing cultural exchange between academics and intellectuals coming from different fields. It juxtaposes research works investigating new facets on key issues between philosophy and cognitive science, such as the role of models and causal representations in science; the status of theoretical concepts and quantum principles; abductive cognition, vision, and visualization in science from an eco-cognitive perspective. Further topics are: ignorance immunization in reasoning; moral cognition, violence, and epistemology; and models and biomorphism. The book, which presents a unique and timely account of the current state-of-the art on various aspects in philosophy and cognitive science, is expected to inspire philosophers, cognitive scientists and social scientists, and to generate fruitful exchanges and collaboration among them.

This is the first book to systematically consider the modern aspects of chaotic dynamics of magnetic field lines and charged particles in magnetically confined fusion plasmas. The analytical models describing the generic features of equilibrium magnetic fields and magnetic perturbations in modern fusion devices are presented. It describes mathematical and physical aspects of onset of chaos, generic properties of the structure of stochastic magnetic fields, transport of charged particles in tokamaks induced by magnetic perturbations, new aspects of particle turbulent transport, etc. The presentation is based on the classical and new unique mathematical tools of Hamiltonian dynamics, like the action--angle formalism, classical perturbation theory, canonical transformations of variables, symplectic mappings, the Poincare-Melnikov integrals. They are extensively used for analytical studies as well as for numerical simulations of magnetic field lines, particle dynamics, their spatial structures and statistical properties. The numerous references to articles on the latest development in the area are provided. The book is intended for graduate students and researchers who interested in the modern problems of magnetic stochasticity in magnetically confined fusion plasmas. It is also useful for physicists and mathematicians interested in new methods of Hamiltonian dynamics and their applications.