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.

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.

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 central subject of this thesis is the theoretical description of ultrafast dynamical processes in molecular systems of chemical interest and their control by laser pulses. This work encompasses different cutting-edge methods in quantum chemistry, quantum dynamics and for the rigorous description of the interaction of light and matter at the molecular level. It provides a general quantum mechanical framework for the description of chemical processes guided by laser pulses, in particular near conical intersections, i.e. geometries where the nuclear and electronic motions couple and the molecule undergoes non-adiabatic (or non-Born-Oppenheimer) dynamics. In close collaboration with experimentalists, the author succeeds in making a decisive step to link and to apply quantum physics to chemistry by transferring state of the art techniques and concepts developed in physics to chemistry, such as "light dressed atoms and molecules" and "adiabatic Floquet theory". He applies these techniques in three prototypic model systems (aniline, pyrazine and NHD2) using high-level electronic structure calculations. Readers will enjoy the comprehensive and accessible introduction to the topic and methodology, as well as the clear structure of the thesis.

The book presents the challenges inherent in the paradigm shift of network systems from static to highly dynamic distributed systems - it proposes solutions that the symbiotic nature of biological systems can provide into altering networking systems to adapt to these changes. The author discuss how biological systems - which have the inherent capabilities of evolving, self-organizing, self-repairing and flourishing with time - are inspiring researchers to take opportunities from the biology domain and map them with the problems faced in network domain. The book revolves around the central idea of bio-inspired systems -- it begins by exploring why biology and computer network research are such a natural match. This is followed by presenting a broad overview of biologically inspired research in network systems -- it is classified by the biological field that inspired each topic and by the area of networking in which that topic lies. Each case elucidates how biological concepts have been most successfully applied in various domains. Nevertheless, it also presents a case study discussing the security aspects of wireless sensor networks and how biological solution stand out in comparison to optimized solutions. Furthermore, it also discusses novel biological solutions for solving problems in diverse engineering domains such as mechanical, electrical, civil, aerospace, energy and agriculture. The readers will not only get proper understanding of the bio inspired systems but also better insight for developing novel bio inspired solutions.

This edited volume presents examples of social science research projects that employ new methods of quantitative analysis and mathematical modeling of social processes. This book presents the fascinating areas of empirical and theoretical investigations that use formal mathematics in a way that is accessible for individuals lacking extensive expertise but still desiring to expand their scope of research methodology and add to their data analysis toolbox. Mathematical Modeling of Social Relationships professes how mathematical modeling can help us understand the fundamental, compelling, and yet sometimes complicated concepts that arise in the social sciences. This volume will appeal to upper-level students and researchers in a broad area of fields within the social sciences, as well as the disciplines of social psychology, complex systems, and applied mathematics.

This compact monograph is focused on disturbance attenuation in nonsmooth dynamic systems, developing an H approach in the nonsmooth setting. Similar to the standard nonlinear H approach, the proposed nonsmooth design guarantees both the internal asymptotic stability of a nominal closed-loop system and the dissipativity inequality, which states that the size of an error signal is uniformly bounded with respect to the worst-case size of an external disturbance signal. This guarantee is achieved by constructing an energy or storage function that satisfies the dissipativity inequality and is then utilized as a Lyapunov function to ensure the internal stability requirements. Advanced H Control is unique in the literature for its treatment of disturbance attenuation in nonsmooth systems. It synthesizes various tools, including Hamilton-Jacobi-Isaacs partial differential inequalities as well as Linear Matrix Inequalities. Along with the finite-dimensional treatment, the synthesis is extended to infinite-dimensional setting, involving time-delay and distributed parameter systems. To help illustrate this synthesis, the book focuses on electromechanical applications with nonsmooth phenomena caused by dry friction, backlash, and sampled-data measurements. Special attention is devoted to implementation issues. Requiring familiarity with nonlinear systems theory, this book will be accessible to g raduate students interested in systems analysis and design, and is a welcome addition to the literature for researchers and practitioners in these areas.

This book gives a concise introduction to the basic techniques needed for the theoretical analysis of the Maxwell Equations, and filters in an elegant way the essential parts, e.g., concerning the various function spaces needed to rigorously investigate the boundary integral equations and variational equations. The book arose from lectures taught by the authors over many years and can be helpful in designing graduate courses for mathematically orientated students on electromagnetic wave propagation problems. The students should have some knowledge on vector analysis (curves, surfaces, divergence theorem) and functional analysis (normed spaces, Hilbert spaces, linear and bounded operators, dual space). Written in an accessible manner, topics are first approached with simpler scale Helmholtz Equations before turning to Maxwell Equations. There are examples and exercises throughout the book. It will be useful for graduate students and researchers in applied mathematics and engineers working in the theoretical approach to electromagnetic wave propagation.

This volume contains a selection of papers presented at the 21st international conference on domain decomposition methods in science and engineering held in Rennes, France, June 25-29, 2012. Domain decomposition is an active and interdisciplinary research discipline, focusing on the development, analysis and implementation of numerical methods for massively parallel computers. Domain decomposition methods are among the most efficient solvers for large scale applications in science and engineering. They are based on a solid theoretical foundation and shown to be scalable for many important applications. Domain decomposition techniques can also naturally take into account multiscale phenomena. This book contains the most recent results in this important field of research, both mathematically and algorithmically and allows the reader to get an overview of this exciting branch of numerical analysis and scientific computing.

This book gathers threads that have evolved across different mathematical disciplines into seamless narrative. It deals with condition as a main aspect in the understanding of the performance ---regarding both stability and complexity--- of numerical algorithms. While the role of condition was shaped in the last half-century, so far there has not been a monograph treating this subject in a uniform and systematic way. The book puts special emphasis on the probabilistic analysis of numerical algorithms via the analysis of the corresponding condition. The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level and reaching in its third part the recent developments and partial solutions for Smale's 17th problem which can be explained within a graduate course. Its middle part contains a condition-based course on linear programming that fills a gap between the current elementary expositions of the subject based on the simplex method and those focusing on convex programming.

This volume is an excellent resource for professionals in various areas of applications of mathematics, modeling, and computational science. It focuses on recent progress and modern challenges in these areas. The volume provides a balance between fundamental theoretical and applied developments, emphasizing the interdisciplinary nature of modern trends and detailing state-of-the-art achievements in Applied Mathematics, Modeling, and Computational Science. The chapters have been authored by international experts in their respective fields, making this book ideal for researchers in academia, practitioners, and graduate students. It can also serve as a reference in the diverse selected areas of applied mathematics, modelling, and computational sciences, and is ideal for interdisciplinary collaborations.

These are the Proceedings of the 6th International Symposium on Multibody Systems and Mechatronics (MUSME 2017) which was held in Florianopolis, Brazil, October 24-28, 2017. Topics addressed include analysis and synthesis of mechanisms; dynamics of multibody systems; design algorithms for mechatronic systems; simulation procedures and results; prototypes and their performance; robots and micromachines; experimental validations; theory of mechatronic simulation; mechatronic systems; and control of mechatronic systems. The MUSME 2017 Symposium was one of the activities of the FEIbIM Commission for Mechatronics and IFToMM technical Committees for Multibody Dynamics, Robotics and Mechatronics.

The papers in this volume represent the most timely and advanced contributions to the 2014 Joint Applied Statistics Symposium of the International Chinese Statistical Association (ICSA) and the Korean International Statistical Society (KISS), held in Portland, Oregon. The contributions cover new developments in statistical modeling and clinical research: including model development, model checking, and innovative clinical trial design and analysis. Each paper was peer-reviewed by at least two referees and also by an editor. The conference was attended by over 400 participants from academia, industry, and government agencies around the world, including from North America, Asia, and Europe. It offered 3 keynote speeches, 7 short courses, 76 parallel scientific sessions, student paper sessions, and social events.

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.

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.

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 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 is intended to make recent results on the derivation of higher order numerical schemes for random ordinary differential equations (RODEs) available to a broader readership, and to familiarize readers with RODEs themselves as well as the closely associated theory of random dynamical systems. In addition, it demonstrates how RODEs are being used in the biological sciences, where non-Gaussian and bounded noise are often more realistic than the Gaussian white noise in stochastic differential equations (SODEs). RODEs are used in many important applications and play a fundamental role in the theory of random dynamical systems. They can be analyzed pathwise with deterministic calculus, but require further treatment beyond that of classical ODE theory due to the lack of smoothness in their time variable. Although classical numerical schemes for ODEs can be used pathwise for RODEs, they rarely attain their traditional order since the solutions of RODEs do not have sufficient smoothness to have Taylor expansions in the usual sense. However, Taylor-like expansions can be derived for RODEs using an iterated application of the appropriate chain rule in integral form, and represent the starting point for the systematic derivation of consistent higher order numerical schemes for RODEs. The book is directed at a wide range of readers in applied and computational mathematics and related areas as well as readers who are interested in the applications of mathematical models involving random effects, in particular in the biological sciences.The level of this book is suitable for graduate students in applied mathematics and related areas, computational sciences and systems biology. A basic knowledge of ordinary differential equations and numerical analysis is required.

This book, on the general topic of hydroaerodynamics, investigates a number of exciting applications in this field, addressing specifically issues that allow seemingly paradoxical issues to be dealt with. The first part is devoted to the study of channel flows, in particular the lateral flow of a viscous and viscous-plastic liquid in a ring channel formed by coaxial cylinders. Specifically, the problem of dissipation of mechanical energy in channel flows of highly viscous liquids is addressed and solved. Furthermore, the mechanism leading to hydrodynamic erosion in intra-field pipelines (known as "channelized effect") is identified. Subsequently, a theory for channel flows with mass transfer through porous walls is developed. In the second part, viscous liquid free flows (jets) are investigated. In particular, a dispersion law for turbulent flow is derived and the existence of dynamic invariance in wake flows of variable density is demonstrated. The third part presents new insights from both theoretical and experimental research into concentrated vortex structure formation and development. The conditions for the existence of Taylor-Goertler vortices are determined and the mechanism for their formation is described. Last but not least, the theory of vortex rings, a particularly interesting problem in hydroaerodynamics, is introduced in the last section of this book. Care has been taken, when selecting original theoretical problems of interest, to make the link with related topics in the published literature. At the same time, all experimental research described in this book is given a meaningful physical interpretation and corroborated by suitable theoretical models and computations.