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).

Decision-aid Philippe Vincke Universite Libre de Bruxelles Over the past decade the discipline of multicriteria decision-aid has been extensively developed in the world of mathematics. As its name indicates, multicriteria decision-aid aims to give decision-makers a tool which should enable them to advance in solving decision problems where several points of view must be taken into account. Written by one of the leading authorities in the field, this book provides a unique introduction to the foundations, models and methods of multicriteria decision-aid. Challenging the monocriteria decision-aid approach to problem solving, Vincke presents us with a unique book which deals with preference modelling, the multiple attribute utility theory, the outranking approach and interactive decision-making methods in the same text. Multicriteria Decision-aid is directed at graduates and postgraduates studying in the fields of management, operations research, decision analysis and all those who, in business and administration, wish to take part in decision-making through scientific reasoning.

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 discusses recent developments in semigroup theory and its applications in areas such as operator algebras, operator approximations and category theory. All contributing authors are eminent researchers in their respective fields, from across the world. Their papers, presented at the 2014 International Conference on Semigroups, Algebras and Operator Theory in Cochin, India, focus on recent developments in semigroup theory and operator algebras. They highlight current research activities on the structure theory of semigroups as well as the role of semigroup theoretic approaches to other areas such as rings and algebras. The deliberations and discussions at the conference point to future research directions in these areas. This book presents 16 unpublished, high-quality and peer-reviewed research papers on areas such as structure theory of semigroups, decidability vs. undecidability of word problems, regular von Neumann algebras, operator theory and operator approximations. Interested researchers will find several avenues for exploring the connections between semigroup theory and the theory of operator algebras.

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.

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.

Quantum Mechanics I: The Fundamentals provides a graduate-level account of the behavior of matter and energy at the molecular, atomic, nuclear, and sub-nuclear levels. It covers basic concepts, mathematical formalism, and applications to physically important systems. This fully updated new edition addresses many topics not typically found in books at this level, including: Bound state solutions of quantum pendulum Morse oscillator Solutions of classical counterpart of quantum mechanical systems A criterion for bound state Scattering from a locally periodic potential and reflection-less potential Modified Heisenberg relation Wave packet revival and its dynamics An asymptotic method for slowly varying potentials Klein paradox, Einstein-Podolsky-Rosen (EPR) paradox, and Bell's theorem Delayed-choice experiments Fractional quantum mechanics Numerical methods for quantum systems A collection of problems at the end of each chapter develops students' understanding of both basic concepts and the application of theory to various physically important systems. This book, along with the authors' follow-up Quantum Mechanics II: Advanced Topics, provides students with a broad, up-to-date introduction to quantum mechanics. Quantum Mechanics II: Advanced Topics offers a comprehensive exploration of the state-of-the-art in various advanced topics of current research interest. A follow-up to the authors' introductory book Quantum Mechanics I: The Fundamentals, this book expounds basic principles, theoretical treatment, case studies, worked-out examples and applications of advanced topics including quantum technologies. A thoroughly revised and updated this unique volume presents an in-depth and up-to-date progress on the growing topics including latest achievements on quantum technology. In the second edition six new chapters are included and the other ten chapters are extensively revised. Features Covers classical and quantum field theories, path integral formalism and supersymmetric quantum mechanics. Highlights coherent and squeezed states, Berry's phase, Aharonov-Bohm effect and Wigner function. Explores salient features of quantum entanglement and quantum cryptography. Presents basic concepts of quantum computers and the features of no-cloning theorem and quantum cloning machines. Describes the theory and techniques of quantum tomography, quantum simulation and quantum error correction. Introduces other novel topics including quantum versions of theory of gravity, cosmology, Zeno effect, teleportation, games, chaos and steering. Outlines the quantum technologies of ghost imaging, detection of weak amplitudes and displacements, lithography, metrology, teleportation of optical images, sensors, batteries and internet. Contains several worked-out problems and exercises in each chapter. Quantum Mechanics II: Advanced Topics addresses various currently emerging exciting topics of quantum mechanics. It emphasizes the fundamentals behind the latest cutting-edge developments to help explain the motivation for deeper exploration. The book is a valuable resource for graduate students in physics and engineering wishing to pursue research in quantum mechanics.

This book is aimed at presenting concepts, methods and algorithms ableto cope with undersampled and limited data. One such trend that recently gained popularity and to some extent revolutionised signal processing is compressed sensing. Compressed sensing builds upon the observation that many signals in nature are nearly sparse (or compressible, as they are normally referred to) in some domain, and consequently they can be reconstructed to within high accuracy from far fewer observations than traditionally held to be necessary. Apart from compressed sensing this book contains other related approaches. Each methodology has its own formalities for dealing with such problems. As an example, in the Bayesian approach, sparseness promoting priors such as Laplace and Cauchy are normally used for penalising improbable model variables, thus promoting low complexity solutions. Compressed sensing techniques and homotopy-type solutions, such as the LASSO, utilise l1-norm penalties for obtaining sparse solutions using fewer observations than conventionally needed. The book emphasizes on the role of sparsity as a machinery for promoting low complexity representations and likewise its connections to variable selection and dimensionality reduction in various engineering problems. This book is intended for researchers, academics and practitioners with interest in various aspects and applications of sparse signal processing.

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. "

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 proceedings volume highlights a selection of papers presented at the Sixth International Conference on High Performance Scientific Computing, which took place in Hanoi, Vietnam on March 16-20, 2015. The conference was jointly organized by the Heidelberg Institute of Theoretical Studies (HITS), the Institute of Mathematics of the Vietnam Academy of Science and Technology (VAST), the Interdisciplinary Center for Scientific Computing (IWR) at Heidelberg University, and the Vietnam Institute for Advanced Study in Mathematics, Ministry of Education The contributions cover a broad, interdisciplinary spectrum of scientific computing and showcase recent advances in theory, methods, and practical applications. Subjects covered numerical simulation, methods for optimization and control, parallel computing, and software development, as well as the applications of scientific computing in physics, mechanics, biomechanics and robotics, material science, hydrology, biotechnology, medicine, transport, scheduling, and industry.

This book focuses on structure-preserving numerical methods for flexible multibody dynamics, including nonlinear elastodynamics and geometrically exact models for beams and shells. It also deals with the newly emerging class of variational integrators as well as Lie-group integrators. It discusses two alternative approaches to the discretization in space of nonlinear beams and shells. Firstly, geometrically exact formulations, which are typically used in the finite element community and, secondly, the absolute nodal coordinate formulation, which is popular in the multibody dynamics community. Concerning the discretization in time, the energy-momentum method and its energy-decaying variants are discussed. It also addresses a number of issues that have arisen in the wake of the structure-preserving discretization in space. Among them are the parameterization of finite rotations, the incorporation of algebraic constraints and the computer implementation of the various numerical methods. The practical application of structure-preserving methods is illustrated by a number of examples dealing with, among others, nonlinear beams and shells, large deformation problems, long-term simulations and coupled thermo-mechanical multibody systems. In addition it links novel time integration methods to frequently used methods in industrial multibody system simulation.

Current research results in stochastic and deterministic global optimization including single and multiple objectives are explored and presented in this book by leading specialists from various fields. Contributions include applications to multidimensional data visualization, regression, survey calibration, inventory management, timetabling, chemical engineering, energy systems, and competitive facility location. Graduate students, researchers, and scientists in computer science, numerical analysis, optimization, and applied mathematics will be fascinated by the theoretical, computational, and application-oriented aspects of stochastic and deterministic global optimization explored in this book. This volume is dedicated to the 70th birthday of Antanas Zilinskas who is a leading world expert in global optimization. Professor Zilinskas's research has concentrated on studying models for the objective function, the development and implementation of efficient algorithms for global optimization with single and multiple objectives, and application of algorithms for solving real-world practical problems.

In this book the dynamics of the non-ideal oscillatory system, in which the excitation is influenced by the response of the oscillator, is presented. Linear and nonlinear oscillators with one or more degrees of freedom interacting with one or more energy sources are treated. This concerns for example oscillating systems excited by a deformed elastic connection, systems excited by an unbalanced rotating mass, systems of parametrically excited oscillator and an energy source, frictionally self-excited oscillator and an energy source, energy harvesting system, portal frame - non-ideal source system, non-ideal rotor system, planar mechanism - non-ideal source interaction. For the systems the regular and irregular motions are tested. The effect of self-synchronization, chaos and methods for suppressing chaos in non-ideal systems are considered. In the book various types of motion control are suggested. The most important property of the non-ideal system connected with the jump-like transition from a resonant state to a non-resonant one is discussed. The so called 'Sommerfeld effect', resonant unstable state and jumping of the system into a new stable state of motion above the resonant region is explained. A mathematical model of the system is solved analytically and numerically. Approximate analytical solving procedures are developed. Besides, simulation of the motion of the non-ideal system is presented. The obtained results are compared with those for the ideal case. A significant difference is evident. The book aims to present the established results and to expand the literature in non-ideal vibrating systems. A further intention of the book is to give predictions of the effects for a system where the interaction between an oscillator and the energy source exist. The book is targeted at engineers and technicians dealing with the problem of source-machine system, but is also written for PhD students and researchers interested in non-linear and non-ideal problems.

The book includes articles from eminent international scientists discussing a wide spectrum of topics of current importance in mathematics and statistics and their applications. It presents state-of-the-art material along with a clear and detailed review of the relevant topics and issues concerned. The topics discussed include message transmission, colouring problem, control of stochastic structures and information dynamics, image denoising, life testing and reliability, survival and frailty models, analysis of drought periods, prediction of genomic profiles, competing risks, environmental applications and chronic disease control. It is a valuable resource for researchers and practitioners in the relevant areas of mathematics and statistics.

The second volume of this authoritative work traces the material outlined in the first, but in far greater detail and with a much higher degree of sophistication. The authors begin with the theory of the electromagnetic interaction, and then consider hadronic structure, exploring the accuracy of the quark model by examining the excited states of baryons and mesons. They introduce the color variable as a prelude to the development of quantum chromodynamics, the theory of the strong interaction, and go on to discuss the electroweak interaction--the broken symmetry of which they explain by the Higgs mechanism--and conclude with a consideration of grand unification theories.

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.

This book features a selection of high-quality papers chosen from the best presentations at the International Conference on Spectral and High-Order Methods (2016), offering an overview of the depth and breadth of the activities within this important research area. The carefully reviewed papers provide a snapshot of the state of the art, while the extensive bibliography helps initiate new research directions.

The book presents research that contributes to the development of intelligent dialog systems to simplify diverse aspects of everyday life, such as medical diagnosis and entertainment. Covering major thematic areas: machine learning and artificial neural networks; algorithms and models; and social and biometric data for applications in human-computer interfaces, it discusses processing of audio-visual signals for the detection of user-perceived states, the latest scientific discoveries in processing verbal (lexicon, syntax, and pragmatics), auditory (voice, intonation, vocal expressions) and visual signals (gestures, body language, facial expressions), as well as algorithms for detecting communication disorders, remote health-status monitoring, sentiment and affect analysis, social behaviors and engagement. Further, it examines neural and machine learning algorithms for the implementation of advanced telecommunication systems, communication with people with special needs, emotion modulation by computer contents, advanced sensors for tracking changes in real-life and automatic systems, as well as the development of advanced human-computer interfaces. The book does not focus on solving a particular problem, but instead describes the results of research that has positive effects in different fields and applications.

The book presents a state-of-the-art overview of biomechanical and mechanobiological modeling and simulation of soft biological tissues. Seven well-known scientists working in that particular field discuss topics such as biomolecules, networks and cells as well as failure, multi-scale, agent-based, bio-chemo-mechanical and finite element models appropriate for computational analysis. Applications include arteries, the heart, vascular stents and valve implants as well as adipose, brain, collagenous and engineered tissues. The mechanics of the whole cell and sub-cellular components as well as the extracellular matrix structure and mechanotransduction are described. In particular, the formation and remodeling of stress fibers, cytoskeletal contractility, cell adhesion and the mechanical regulation of fibroblast migration in healing myocardial infarcts are discussed. The essential ingredients of continuum mechanics are provided. Constitutive models of fiber-reinforced materials with an emphasis on arterial walls and the myocardium are discussed and the important influence of residual stresses on material response emphasized. The mechanics and function of the heart, the brain and adipose tissues are discussed as well. Particular attention is focused on microstructural and multi-scale modeling, finite element implementation and simulation of cells and tissues.

This book offers a detailed investigation of breakdowns in traffic and transportation networks. It shows empirically that transitions from free flow to so-called synchronized flow, initiated by local disturbances at network bottlenecks, display a nucleation-type behavior: while small disturbances in free flow decay, larger ones grow further and lead to breakdowns at the bottlenecks. Further, it discusses in detail the significance of this nucleation effect for traffic and transportation theories, and the consequences this has for future automatic driving, traffic control, dynamic traffic assignment, and optimization in traffic and transportation networks. Starting from a large volume of field traffic data collected from various sources obtained solely through measurements in real world traffic, the author develops his insights, with an emphasis less on reviewing existing methodologies, models and theories, and more on providing a detailed analysis of empirical traffic data and drawing consequences regarding the minimum requirements for any traffic and transportation theories to be valid. The book - proves the empirical nucleation nature of traffic breakdown in networks - discusses the origin of the failure of classical traffic and transportation theories - shows that the three-phase theory is incommensurable with the classical traffic theories, and - explains why current state-of-the art dynamic traffic assignments tend to provoke heavy traffic congestion, making it a valuable reference resource for a wide audience of scientists and postgraduate students interested in the fundamental understanding of empirical traffic phenomena and related data-driven phenomenology, as well as for practitioners working in the fields of traffic and transportation engineering.

This book presents a new, multidisciplinary perspective on and paradigm for integrative experimental design research. It addresses various perspectives on methods, analysis and overall research approach, and how they can be synthesized to advance understanding of design. It explores the foundations of experimental approaches and their utility in this domain, and brings together analytical approaches to promote an integrated understanding. The book also investigates where these approaches lead to and how they link design research more fully with other disciplines (e.g. psychology, cognition, sociology, computer science, management). Above all, the book emphasizes the integrative nature of design research in terms of the methods, theories, and units of study-from the individual to the organizational level. Although this approach offers many advantages, it has inherently led to a situation in current research practice where methods are diverging and integration between individual, team and organizational understanding is becoming increasingly tenuous, calling for a multidisciplinary and transdiscipinary perspective. Experimental design research thus offers a powerful tool and platform for resolving these challenges. Providing an invaluable resource for the design research community, this book paves the way for the next generation of researchers in the field by bridging methods and methodology. As such, it will especially benefit postgraduate students and researchers in design research, as well as engineering designers.