This book shows how to develop efficient quantitative methods to characterize neural data and extra information that reveals underlying dynamics and neurophysiological mechanisms. Written by active experts in the field, it contains an exchange of innovative ideas among researchers at both computational and experimental ends, as well as those at the interface. Authors discuss research challenges and new directions in emerging areas with two goals in mind: to collect recent advances in statistics, signal processing, modeling, and control methods in neuroscience; and to welcome and foster innovative or cross-disciplinary ideas along this line of research and discuss important research issues in neural data analysis. Making use of both tutorial and review materials, this book is written for neural, electrical, and biomedical engineers; computational neuroscientists; statisticians; computer scientists; and clinical engineers.

This unique book is equally useful to both engineering-degree students and production engineers practicing in industry. The volume is designed to cover three aspects of manufacturing technology: (a) fundamental concepts, (b) engineering analysis/mathematical modeling of manufacturing operations, and (c) 250+ problems and their solutions. These attractive features render this book suitable for recommendation as a textbook for undergraduate as well as Master level programs in Mechanical/Materials/Industrial Engineering. There are 19 chapters in the book; each chapter first introduces readers to the technological importance of chapter-topic and definitions of terms and their explanation; and then the mathematical modeling/engineering analysis of the corresponding manufacturing operation is presented. The meanings of the terms along with their SI units in each mathematical model are clearly stated. There are over 320 mathematical models/equations. The book is divided into three parts. Part One introduces readers to manufacturing and basic manufacturing processes (metal casting, plastic molding, metal forming, ceramic processing, composite processing, heat treatment, surface finishing, welding & joining, and powder metallurgy) and their engineering analysis/mathematical modeling followed by worked examples (solved problem). Part Two covers non-traditional machining and computer aided manufacturing, including their mathematical modeling and the related solved problems. Finally, quality control (QC) and economic aspects of manufacturing are discussed in Part Three. Features Presents over 320 mathematical models and 250 worked examples Covers both conventional and non-traditional manufacturing Includes design problems and their solutions on engineering manufacturing processes Special emphasis on casting design and weld design in manufacturing Offers computer aided manufacturing, quality control, and economics of manufacturing

This book highlights the remarkable importance of special functions, operational calculus, and variational methods. A considerable portion of the book is dedicated to second-order partial differential equations, as they offer mathematical models of various phenomena in physics and engineering. The book provides students and researchers with essential help on key mathematical topics, which are applied to a range of practical problems. These topics were chosen because, after teaching university courses for many years, the authors have found them to be essential, especially in the contexts of technology, engineering and economics. Given the diversity topics included in the book, the presentation of each is limited to the basic notions and results of the respective mathematical domain. Chapter 1 is devoted to complex functions. Here, much emphasis is placed on the theory of holomorphic functions, which facilitate the understanding of the role that the theory of functions of a complex variable plays in mathematical physics, especially in the modeling of plane problems. In addition, the book demonstrates the importance of the theories of special functions, operational calculus, and variational calculus. In the last chapter, the authors discuss the basic elements of one of the most modern areas of mathematics, namely the theory of optimal control.

This book presents the state-of-the-art in supercomputer simulation. It includes the latest findings from leading researchers using systems from the High Performance Computing Center Stuttgart (HLRS) in 2017. The reports cover all fields of computational science and engineering ranging from CFD to computational physics and from chemistry to computer science with a special emphasis on industrially relevant applications. Presenting findings of one of Europe's leading systems, this volume covers a wide variety of applications that deliver a high level of sustained performance.The book covers the main methods in high-performance computing. Its outstanding results in achieving the best performance for production codes are of particular interest for both scientists and engineers. The book comes with a wealth of color illustrations and tables of results.

This book addresses the topic of fractional-order modeling of nuclear reactors. Approaching neutron transport in the reactor core as anomalous diffusion, specifically subdiffusion, it starts with the development of fractional-order neutron telegraph equations. Using a systematic approach, the book then examines the development and analysis of various fractional-order models representing nuclear reactor dynamics, ultimately leading to the fractional-order linear and nonlinear control-oriented models. The book utilizes the mathematical tool of fractional calculus, the calculus of derivatives and integrals with arbitrary non-integer orders (real or complex), which has recently been found to provide a more compact and realistic representation to the dynamics of diverse physical systems. Including extensive simulation results and discussing important issues related to the fractional-order modeling of nuclear reactors, the book offers a valuable resource for students and researchers working in the areas of fractional-order modeling and control and nuclear reactor modeling.

This proceedings book presents selected contributions from the XVIII Congress of APDIO (the Portuguese Association of Operational Research) held in Valenca on June 28-30, 2017. Prepared by leading Portuguese and international researchers in the field of operations research, it covers a wide range of complex real-world applications of operations research methods using recent theoretical techniques, in order to narrow the gap between academic research and practical applications. Of particular interest are the applications of, nonlinear and mixed-integer programming, data envelopment analysis, clustering techniques, hybrid heuristics, supply chain management, and lot sizing and job scheduling problems. In most chapters, the problems, methods and methodologies described are complemented by supporting figures, tables and algorithms. The XVIII Congress of APDIO marked the 18th installment of the regular biannual meetings of APDIO - the Portuguese Association of Operational Research. The meetings bring together researchers, scholars and practitioners, as well as MSc and PhD students, working in the field of operations research to present and discuss their latest works. The main theme of the latest meeting was Operational Research Pro Bono. Given the breadth of topics covered, the book offers a valuable resource for all researchers, students and practitioners interested in the latest trends in this field.

This advanced course, a sequel to the first volume of this lecture series on topos quantum theory, delves deeper into the theory, addressing further technical aspects and recent advances. These include, but are not limited to, the development of physical quantities and self-adjoint operators; insights into the quantization process; the description of an alternative, covariant version of topos quantum theory; and last but not least, the development of a new concept of spacetime. The book builds on the concepts introduced in the first volume (published as Lect. Notes Phys. 868), which presents the main building blocks of the theory and how it could provide solutions to interpretational problems in quantum theory, such as: What are the main conceptual issues in quantum theory? And how can these issues be solved within a new theoretical framework of quantum theory? These two volumes together provide a complete, basic course on topos quantum theory, offering a set of mathematical tools to readers interested in tackling fundamental issues in quantum theory in general, and in quantum gravity in particular. From the reviews of the first volume: The book is self-contained and can be used as a textbook or self-study manual teaching the usage of category theory and topos theory, in particular in theoretical physics or in investigating the foundations of quantum theory in mathematically rigorous terms. [The] book is a very welcome contribution. Frank Antonsen, Mathematical Reviews, December, 2013

This book aids in the rehabilitation of the wrongfully deprecated work of William Parry, and is the only full-length investigation into Parry-type propositional logics. A central tenet of the monograph is that the sheer diversity of the contexts in which the mereological analogy emerges - its effervescence with respect to fields ranging from metaphysics to computer programming - provides compelling evidence that the study of logics of analytic implication can be instrumental in identifying connections between topics that would otherwise remain hidden. More concretely, the book identifies and discusses a host of cases in which analytic implication can play an important role in revealing distinct problems to be facets of a larger, cross-disciplinary problem. It introduces an element of constancy and cohesion that has previously been absent in a regrettably fractured field, shoring up those who are sympathetic to the worth of mereological analogy. Moreover, it generates new interest in the field by illustrating a wide range of interesting features present in such logics - and highlighting these features to appeal to researchers in many fields.

This book introduces aspects of topology and applications to problems in condensed matter physics. Basic topics in mathematics have been introduced in a form accessible to physicists, and the use of topology in quantum, statistical and solid state physics has been developed with an emphasis on pedagogy. The aim is to bridge the language barrier between physics and mathematics, as well as the different specializations in physics. Pitched at the level of a graduate student of physics, this book does not assume any additional knowledge of mathematics or physics. It is therefore suited for advanced postgraduate students as well. A collection of selected problems will help the reader learn the topics on one's own, and the broad range of topics covered will make the text a valuable resource for practising researchers in the field. The book consists of two parts: one corresponds to developing the necessary mathematics and the other discusses applications to physical problems. The section on mathematics is a quick, but more-or-less complete, review of topology. The focus is on explaining fundamental concepts rather than dwelling on details of proofs while retaining the mathematical flavour. There is an overview chapter at the beginning and a recapitulation chapter on group theory. The physics section starts with an introduction and then goes on to topics in quantum mechanics, statistical mechanics of polymers, knots, and vertex models, solid state physics, exotic excitations such as Dirac quasiparticles, Majorana modes, Abelian and non-Abelian anyons. Quantum spin liquids and quantum information-processing are also covered in some detail.

Human decision-making often transcends our formal models of "rationality." Designing intelligent agents that interact proficiently with people necessitates the modeling of human behavior and the prediction of their decisions. In this book, we explore the task of automatically predicting human decision-making and its use in designing intelligent human-aware automated computer systems of varying natures-from purely conflicting interaction settings (e.g., security and games) to fully cooperative interaction settings (e.g., autonomous driving and personal robotic assistants). We explore the techniques, algorithms, and empirical methodologies for meeting the challenges that arise from the above tasks and illustrate major benefits from the use of these computational solutions in real-world application domains such as security, negotiations, argumentative interactions, voting systems, autonomous driving, and games. The book presents both the traditional and classical methods as well as the most recent and cutting edge advances, providing the reader with a panorama of the challenges and solutions in predicting human decision-making.

This book presents a basic introduction to quantum mechanics. Depending on the choice of topics, it can be used for a one-semester or two-semester course. An attempt has been made to anticipate the conceptual problems students encounter when they first study quantum mechanics. Wherever possible, examples are given to illustrate the underlying physics associated with the mathematical equations of quantum mechanics. To this end, connections are made with corresponding phenomena in classical mechanics and electromagnetism. The problems at the end of each chapter are intended to help students master the course material and to explore more advanced topics. Many calculations exploit the extraordinary capabilities of computer programs such as Mathematica, MatLab, and Maple. Students are urged to use these programs, just as they had been urged to use calculators in the past. The treatment of various topics is rather complete, in that most steps in derivations are included. Several of the chapters go beyond what is traditionally covered in an introductory course. The goal of the presentation is to provide the students with a solid background in quantum mechanics.

This monograph presents a synopsis of fluid dynamics based on the personal scientific experience of the author who has contributed immensely to the field. The interested reader will also benefit from the general historical context in which the material is presented in the book. The book covers a wide range of relevant topics of the field, and the main tool being rational asymptotic modelling (RAM) approach. The target audience primarily comprises experts in the field of fluid dynamics, but the book may also be beneficial for graduate students.

This book treats modeling and simulation in a simple way, that builds on the existing knowledge and intuition of students. They will learn how to build a model and solve it using Excel. Most chemical engineering students feel a shiver down the spine when they see a set of complex mathematical equations generated from the modeling of a chemical engineering system. This is because they usually do not understand how to achieve this mathematical model, or they do not know how to solve the equations system without spending a lot of time and effort. Trying to understand how to generate a set of mathematical equations to represent a physical system (to model) and solve these equations (to simulate) is not a simple task. A model, most of the time, takes into account all phenomena studied during a Chemical Engineering course. In the same way, there is a multitude of numerical methods that can be used to solve the same set of equations generated from the modeling, and many different computational languages can be adopted to implement the numerical methods. As a consequence of this comprehensiveness and combinatorial explosion of possibilities, most books that deal with this subject are very extensive and embracing, making need for a lot of time and effort to go through this subject. It is expected that with this book the chemical engineering student and the future chemical engineer feel motivated to solve different practical problems involving chemical processes, knowing they can do that in an easy and fast way, with no need of expensive software.

The purpose of this primer is to provide the basics of the Finite Element Method, primarily illustrated through a classical model problem, linearized elasticity. The topics covered are: * Weighted residual methods and Galerkin approximations, * A model problem for one-dimensional linear elastostatics, * Weak formulations in one dimension, * Minimum principles in one dimension, * Error estimation in one dimension, * Construction of Finite Element basis functions in one dimension, * Gaussian Quadrature, * Iterative solvers and element by element data structures, * A model problem for three-dimensional linear elastostatics, * Weak formulations in three dimensions, * Basic rules for element construction in three-dimensions, * Assembly of the system and solution schemes, * An introduction to time-dependent problems and * An introduction to rapid computation based on domain decomposition and basic parallel processing. The approach is to introduce the basic concepts first in one-dimension, then move on to three-dimensions. A relatively informal style is adopted. This primer is intended to be a "starting point", which can be later augmented by the large array of rigorous, detailed, books in the area of Finite Element analysis. In addition to overall improvements to the first edition, this second edition also adds several carefully selected in-class exam problems from exams given over the last 15 years at UC Berkeley, as well as a large number of take-home computer projects. These problems and projects are designed to be aligned to the theory provided in the main text of this primer.

Sustainable development within urban and rural areas, transportation systems, logistics, supply chain management, urban health, social services, and architectural design are taken into consideration in the cohesive network models provided in this book. The ideas, methods, and models presented consider city landscapes and quality of life conditions based on mathematical network models and optimization. Interdisciplinary Works from prominent researchers in mathematical modeling, optimization, architecture, engineering, and physics are featured in this volume to promote health and well-being through design. Specific topics include: - Current technology that form the basis of future living in smart cities - Interdisciplinary design and networking of large-scale urban systems - Network communication and route traffic optimization - Carbon dioxide emission reduction - Closed-loop logistics chain management and operation - Modeling the effect urban environments on aging - Health care infrastructure - Urban water system management - Architectural design optimization Graduate students and researchers actively involved in architecture, engineering, building physics, logistics, supply chain management, and mathematical optimization will find the interdisciplinary work presented both informative and inspiring for further research.

This book summarizes the main advances in the field of nonlinear evolution and pattern formation caused by longwave instabilities in fluids. It will allow readers to master the multiscale asymptotic methods and become familiar with applications of these methods in a variety of physical problems. Longwave instabilities are inherent to a variety of systems in fluid dynamics, geophysics, electrodynamics, biophysics, and many others. The techniques of the derivation of longwave amplitude equations, as well as the analysis of numerous nonlinear equations, are discussed throughout. This book will be of value to researchers and graduate students in applied mathematics, physics, and engineering, in particular within the fields of fluid mechanics, heat and mass transfer theory, and nonlinear dynamics.

This book presents the theoretical details and computational performances of algorithms used for solving continuous nonlinear optimization applications imbedded in GAMS. Aimed toward scientists and graduate students who utilize optimization methods to model and solve problems in mathematical programming, operations research, business, engineering, and industry, this book enables readers with a background in nonlinear optimization and linear algebra to use GAMS technology to understand and utilize its important capabilities to optimize algorithms for modeling and solving complex, large-scale, continuous nonlinear optimization problems or applications. Beginning with an overview of constrained nonlinear optimization methods, this book moves on to illustrate key aspects of mathematical modeling through modeling technologies based on algebraically oriented modeling languages. Next, the main feature of GAMS, an algebraically oriented language that allows for high-level algebraic representation of mathematical optimization models, is introduced to model and solve continuous nonlinear optimization applications. More than 15 real nonlinear optimization applications in algebraic and GAMS representation are presented which are used to illustrate the performances of the algorithms described in this book. Theoretical and computational results, methods, and techniques effective for solving nonlinear optimization problems, are detailed through the algorithms MINOS, KNITRO, CONOPT, SNOPT and IPOPT which work in GAMS technology.

This book maximizes reader insights into the field of mathematical models and methods for the processing of two-dimensional remote sensing images. It presents a broad analysis of the field, encompassing passive and active sensors, hyperspectral images, synthetic aperture radar (SAR), interferometric SAR, and polarimetric SAR data. At the same time, it addresses highly topical subjects involving remote sensing data types (e.g., very high-resolution images, multiangular or multiresolution data, and satellite image time series) and analysis methodologies (e.g., probabilistic graphical models, hierarchical image representations, kernel machines, data fusion, and compressive sensing) that currently have primary importance in the field of mathematical modelling for remote sensing and image processing. Each chapter focuses on a particular type of remote sensing data and/or on a specific methodological area, presenting both a thorough analysis of the previous literature and a methodological and experimental discussion of at least two advanced mathematical methods for information extraction from remote sensing data. This organization ensures that both tutorial information and advanced subjects are covered. With each chapter being written by research scientists from (at least) two different institutions, it offers multiple professional experiences and perspectives on each subject. The book also provides expert analysis and commentary from leading remote sensing and image processing researchers, many of whom serve on the editorial boards of prestigious international journals in these fields, and are actively involved in international scientific societies. Providing the reader with a comprehensive picture of the overall advances and the current cutting-edge developments in the field of mathematical models for remote sensing image analysis, this book is ideal as both a reference resource and a textbook for graduate and doctoral students as well as for remote sensing scientists and practitioners.

Christian Hugo Hoffmann undermines the citadel of risk assessment and management, arguing that classical probability theory is not an adequate foundation for modeling systemic and extreme risk in complex financial systems. He proposes a new class of models which focus on the knowledge dimension by precisely describing market participants' own positions and their propensity to react to outside changes. The author closes his thesis by a synthetical reflection on methods and elaborates on the meaning of decision-making competency in a risk management context in banking. By choosing this poly-dimensional approach, the purpose of his work is to explore shortcomings of risk management approaches of financial institutions and to point out how they might be overcome.

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.

This volume presents the lecture notes from the authors' three summer courses offered during the program "Automorphisms of Free Groups: Geometry, Topology, and Dynamics," held at the Centre de Recerca Matematica (CRM) in Bellaterra, Spain. The first two chapters present the basic tools needed, from formal language theory (regular and context-free languages, automata, rewriting systems, transducers, etc) and emphasize their connections to group theory, mostly relating to free and virtually-free groups. The material covered is sufficient to present full proofs of many of the existing interesting characterizations of virtually-free groups. In turn, the last chapter comprehensively describes Bonahon's construction of Thurston's compactification of Teichmuller space in terms of geodesic currents on surfaces. It also includes several intriguing extensions of the notion of geodesic current to various other, more general settings.

The author investigates athermal fluctuation from the viewpoints of statistical mechanics in this thesis. Stochastic methods are theoretically very powerful in describing fluctuation of thermodynamic quantities in small systems on the level of a single trajectory and have been recently developed on the basis of stochastic thermodynamics. This thesis proposes, for the first time, a systematic framework to describe athermal fluctuation, developing stochastic thermodynamics for non-Gaussian processes, while thermal fluctuations are mainly addressed from the viewpoint of Gaussian stochastic processes in most of the conventional studies. First, the book provides an elementary introduction to the stochastic processes and stochastic thermodynamics. The author derives a Langevin-like equation with non-Gaussian noise as a minimal stochastic model for athermal systems, and its analytical solution by developing systematic expansions is shown as the main result. Furthermore, the a uthor shows a thermodynamic framework for such non-Gaussian fluctuations, and studies some thermodynamics phenomena, i.e. heat conduction and energy pumping, which shows distinct characteristics from conventional thermodynamics. The theory introduced in the book would be a systematic foundation to describe dynamics of athermal fluctuation quantitatively and to analyze their thermodynamic properties on the basis of stochastic methods.

Collecting together contributed lectures and mini-courses, this book details the research presented in a special semester titled "Geometric mechanics - variational and stochastic methods" run in the first half of 2015 at the Centre Interfacultaire Bernoulli (CIB) of the Ecole Polytechnique Federale de Lausanne. The aim of the semester was to develop a common language needed to handle the wide variety of problems and phenomena occurring in stochastic geometric mechanics. It gathered mathematicians and scientists from several different areas of mathematics (from analysis, probability, numerical analysis and statistics, to algebra, geometry, topology, representation theory, and dynamical systems theory) and also areas of mathematical physics, control theory, robotics, and the life sciences, with the aim of developing the new research area in a concentrated joint effort, both from the theoretical and applied points of view. The lectures were given by leading specialists in different areas of mathematics and its applications, building bridges among the various communities involved and working jointly on developing the envisaged new interdisciplinary subject of stochastic geometric mechanics.

One of the most important questions concerning the foundations of physics, especially since the discovery of relativity and quantum theory, is the nature and role of time. In this book we bring together researchers from different areas of physics, mathematics, computer science and philosophy to discuss the role time plays in physics. There have been few books on this topic to date, and two of the key aims of the workshop and this book are to encourage more researchers to explore this area, and to pique students' interest in the different roles time plays in physics.

This book uncovers mathematical structures underlying natural intelligence and applies category theory as a modeling language for understanding human cognition, giving readers new insights into the nature of human thought. In this context, the book explores various topics and questions, such as the human representation of the number system, why our counting ability is different from that which is evident among non-human organisms, and why the idea of zero is so difficult to grasp. The book is organized into three parts: the first introduces the general reason for studying general structures underlying the human mind; the second part introduces category theory as a modeling language and use it for exposing the deep and fascinating structures underlying human cognition; and the third applies the general principles and ideas of the first two parts to reaching a better understanding of challenging aspects of the human mind such as our understanding of the number system, the metaphorical nature of our thinking and the logic of our unconscious dynamics.