This volume comprises selected extended papers written by prominent researchers participating in the International MultiConference of Engineers and Computer Scientists 2015, Hong Kong, 18-20 March 2015. The conference served as a platform for discussion of frontier topics in theoretical and applied engineering and computer science, and subjects covered include communications systems, control theory and automation, bioinformatics, artificial intelligence, data mining, engineering mathematics, scientific computing, engineering physics, electrical engineering, and industrial applications. The book describes the state-of-the-art in engineering technologies and computer science and its applications, and will serve as an excellent reference for industrial and academic researchers and graduate students working in these fields.

This monograph presents a unified exposition of latin squares and mutually orthogonal sets of latin squares based on groups. Its focus is on orthomorphisms and complete mappings of finite groups, while also offering a complete proof of the Hall-Paige conjecture. The use of latin squares in constructions of nets, affine planes, projective planes, and transversal designs also motivates this inquiry. The text begins by introducing fundamental concepts, like the tests for determining whether a latin square is based on a group, as well as orthomorphisms and complete mappings. From there, it describes the existence problem for complete mappings of groups, building up to the proof of the Hall-Paige conjecture. The third part presents a comprehensive study of orthomorphism graphs of groups, while the last part provides a discussion of Cartesian projective planes, related combinatorial structures, and a list of open problems. Expanding the author's 1992 monograph, Orthomorphism Graphs of Groups, this book is an essential reference tool for mathematics researchers or graduate students tackling latin square problems in combinatorics. Its presentation draws on a basic understanding of finite group theory, finite field theory, linear algebra, and elementary number theory-more advanced theories are introduced in the text as needed.

This volume presents a collection of articles highlighting recent developments in commutative algebra and related non-commutative generalizations. It also includes an extensive bibliography and lists a substantial number of open problems that point to future directions of research in the represented subfields. The contributions cover areas in commutative algebra that have flourished in the last few decades and are not yet well represented in book form. Highlighted topics and research methods include Noetherian and non-Noetherian ring theory, module theory and integer-valued polynomials along with connections to algebraic number theory, algebraic geometry, topology and homological algebra. Most of the eighteen contributions are authored by attendees of the two conferences in commutative algebra that were held in the summer of 2016: "Recent Advances in Commutative Ring and Module Theory," Bressanone, Italy; "Conference on Rings and Polynomials" Graz, Austria. There is also a small collection of invited articles authored by experts in the area who could not attend either of the conferences. Following the model of the talks given at these conferences, the volume contains a number of comprehensive survey papers along with related research articles featuring recent results that have not yet been published elsewhere.

Orthogonal designs have proved fundamental to constructing code division multiple antenna systems for more efficient mobile communications. Starting with basic theory, this book develops the algebra and combinatorics to create new communications modes. Intended primarily for researchers, it is also useful for graduate students wanting to understand some of the current communications coding theories.

This book provides an advanced guide to correlation modelling for credit portfolios, providing both theoretical underpinnings and practical implementation guidance. The book picks up where pre-crisis credit books left off, offering guidance for quants on the latest tools and techniques for credit portfolio modelling in the presence of CVA (Credit Value Adjustments). Written at an advanced level, it assumes that readers are familiar with the fundamentals of credit modelling covered, for example, in the market leading books by Schonbucher (2003) and O'Kane (2008). Coverage will include the latest default correlation approaches; correlation modelling in the 'Marshall-Olkin' contagion framework, in the context of CVA; numerical implementation; and pricing, calibration and risk challenges. The explosive growth of credit derivatives markets in the early-to-mid 000's was bought to a close by the 2007 financial crisis, where these instruments were held largely to blame for the economic downturn. However, in the wake of increased regulation across all financial instruments and the challenge of buying and selling bonds in large amounts, credit derivatives have once again been found to be the answer and the market has grown significantly. Written by a practitioner for practitioners, this book will also interest researchers in mathematical finance who want to understand how things happen and work 'on the floor'. Building the reader's knowledge from the ground up, and with numerous real life examples used throughout, this book will prove a popular reference for anyone with a mathematical mind interested credit markets.

This book consists of invited survey articles and research papers in the scientific areas of the "International Workshop on Operator Algebras, Operator Theory and Applications," which was held in Lisbon in July 2016. Reflecting recent developments in the field of algebras of operators, operator theory and matrix theory, it particularly focuses on groupoid algebras and Fredholm conditions, algebras of approximation sequences, C* algebras of convolution type operators, index theorems, spectrum and numerical range of operators, extreme supercharacters of infinite groups, quantum dynamics and operator algebras, and inverse eigenvalue problems. Establishing bridges between the three related areas of operator algebras, operator theory, and matrix theory, the book is aimed at researchers and graduate students who use results from these areas.

This book presents two new decomposition methods to decompose a time series in intrinsic components of low and high frequencies. The methods are based on Singular Value Decomposition (SVD) of a Hankel matrix (HSVD). The proposed decomposition is used to improve the accuracy of linear and nonlinear auto-regressive models. Linear Auto-regressive models (AR, ARMA and ARIMA) and Auto-regressive Neural Networks (ANNs) have been found insufficient because of the highly complicated nature of some time series. Hybrid models are a recent solution to deal with non-stationary processes which combine pre-processing techniques with conventional forecasters, some pre-processing techniques broadly implemented are Singular Spectrum Analysis (SSA) and Stationary Wavelet Transform (SWT). Although the flexibility of SSA and SWT allows their usage in a wide range of forecast problems, there is a lack of standard methods to select their parameters. The proposed decomposition HSVD and Multilevel SVD are described in detail through time series coming from the transport and fishery sectors. Further, for comparison purposes, it is evaluated the forecast accuracy reached by SSA and SWT, both jointly with AR-based models and ANNs.

This book discusses the mathematical interests of Joachim Schwermer, who throughout his career has focused on the cohomology of arithmetic groups, automorphic forms and the geometry of arithmetic manifolds. To mark his 66th birthday, the editors brought together mathematical experts to offer an overview of the current state of research in these and related areas. The result is this book, with contributions ranging from topology to arithmetic. It probes the relation between cohomology of arithmetic groups and automorphic forms and their L-functions, and spans the range from classical Bianchi groups to the theory of Shimura varieties. It is a valuable reference for both experts in the fields and for graduate students and postdocs wanting to discover where the current frontiers lie.

A consistent and near complete survey of the important progress made in the field over the last few years, with the main emphasis on the rigidity method and its applications. Among others, this monograph presents the most successful existence theorems known and construction methods for Galois extensions as well as solutions for embedding problems combined with a collection of the existing Galois realizations.

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory. This book is Open Access under a CC BY licence.

This book expands on the classical statistical multivariate analysis theory by focusing on bilinear regression models, a class of models comprising the classical growth curve model and its extensions. In order to analyze the bilinear regression models in an interpretable way, concepts from linear models are extended and applied to tensor spaces. Further, the book considers decompositions of tensor products into natural subspaces, and addresses maximum likelihood estimation, residual analysis, influential observation analysis and testing hypotheses, where properties of estimators such as moments, asymptotic distributions or approximations of distributions are also studied. Throughout the text, examples and several analyzed data sets illustrate the different approaches, and fresh insights into classical multivariate analysis are provided. This monograph is of interest to researchers and Ph.D. students in mathematical statistics, signal processing and other fields where statistical multivariate analysis is utilized. It can also be used as a text for second graduate-level courses on multivariate analysis.

This book shows how Lie group and integrability techniques, originally developed for differential equations, have been adapted to the case of difference equations. Difference equations are playing an increasingly important role in the natural sciences. Indeed, many phenomena are inherently discrete and thus naturally described by difference equations. More fundamentally, in subatomic physics, space-time may actually be discrete. Differential equations would then just be approximations of more basic discrete ones. Moreover, when using differential equations to analyze continuous processes, it is often necessary to resort to numerical methods. This always involves a discretization of the differential equations involved, thus replacing them by difference ones. Each of the nine peer-reviewed chapters in this volume serves as a self-contained treatment of a topic, containing introductory material as well as the latest research results and exercises. Each chapter is presented by one or more early career researchers in the specific field of their expertise and, in turn, written for early career researchers. As a survey of the current state of the art, this book will serve as a valuable reference and is particularly well suited as an introduction to the field of symmetries and integrability of difference equations. Therefore, the book will be welcomed by advanced undergraduate and graduate students as well as by more advanced researchers.

This volume focuses on group theory and model theory with a particular emphasis on the interplay of the two areas. The survey papers provide an overview of the developments across group, module, and model theory while the research papers present the most recent study in those same areas. With introductory sections that make the topics easily accessible to students, the papers in this volume will appeal to beginning graduate students and experienced researchers alike. As a whole, this book offers a cross-section view of the areas in group, module, and model theory, covering topics such as DP-minimal groups, Abelian groups, countable 1-transitive trees, and module approximations. The papers in this book are the proceedings of the conference "New Pathways between Group Theory and Model Theory," which took place February 1-4, 2016, in Mulheim an der Ruhr, Germany, in honor of the editors' colleague Rudiger Goebel. This publication is dedicated to Professor Goebel, who passed away in 2014. He was one of the leading experts in Abelian group theory.

Based on their research experience, the authors propose a reference textbook in two volumes on the theory of generalized locally Toeplitz sequences and their applications. This first volume focuses on the univariate version of the theory and the related applications in the unidimensional setting, while the second volume, which addresses the multivariate case, is mainly devoted to concrete PDE applications. This book systematically develops the theory of generalized locally Toeplitz (GLT) sequences and presents some of its main applications, with a particular focus on the numerical discretization of differential equations (DEs). It is the first book to address the relatively new field of GLT sequences, which occur in numerous scientific applications and are especially dominant in the context of DE discretizations. Written for applied mathematicians, engineers, physicists, and scientists who (perhaps unknowingly) encounter GLT sequences in their research, it is also of interest to those working in the fields of Fourier and functional analysis, spectral analysis of DE discretization matrices, matrix analysis, measure and operator theory, numerical analysis and linear algebra. Further, it can be used as a textbook for a graduate or advanced undergraduate course in numerical analysis.

This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a solid understanding of basic algebra.

Mathematical methods and theories with interdisciplinary applications are presented in this book. The eighteen contributions presented in this Work have been written by eminent scientists; a few papers are based on talks which took place at the International Conference at the Hellenic Artillery School in May 2015. Each paper evaluates possible solutions to long-standing problems such as the solvability of the direct electromagnetic scattering problem, geometric approaches to cyber security, ellipsoid targeting with overlap, non-equilibrium solutions of dynamic networks, measuring ballistic dispersion, elliptic regularity theory for the numerical solution of variational problems, approximation theory for polynomials on the real line and the unit circle, complementarity and variational inequalities in electronics, new two-slope parameterized achievement scalarizing functions for nonlinear multiobjective optimization, and strong and weak convexity of closed sets in a Hilbert space. Graduate students, scientists, engineers and researchers in pure and applied mathematical sciences, operations research, engineering, and cyber security will find the interdisciplinary scientific perspectives useful to their overall understanding and further research.

This book presents a collection of expository and research papers on various topics in matrix and operator theory, contributed by several experts on the occasion of Albrecht Boettcher's 60th birthday. Albrecht Boettcher himself has made substantial contributions to the subject in the past. The book also includes a biographical essay, a complete bibliography of Albrecht Boettcher's work and brief informal notes on personal encounters with him. The book is of interest to graduate and advanced undergraduate students majoring in mathematics, researchers in matrix and operator theory as well as engineers and applied mathematicians.

This edited volume offers a state of the art overview of fast and robust solvers for the Helmholtz equation. The book consists of three parts: new developments and analysis in Helmholtz solvers, practical methods and implementations of Helmholtz solvers, and industrial applications. The Helmholtz equation appears in a wide range of science and engineering disciplines in which wave propagation is modeled. Examples are: seismic inversion, ultrasone medical imaging, sonar detection of submarines, waves in harbours and many more. The partial differential equation looks simple but is hard to solve. In order to approximate the solution of the problem numerical methods are needed. First a discretization is done. Various methods can be used: (high order) Finite Difference Method, Finite Element Method, Discontinuous Galerkin Method and Boundary Element Method. The resulting linear system is large, where the size of the problem increases with increasing frequency. Due to higher frequencies the seismic images need to be more detailed and, therefore, lead to numerical problems of a larger scale. To solve these three dimensional problems fast and robust, iterative solvers are required. However for standard iterative methods the number of iterations to solve the system becomes too large. For these reason a number of new methods are developed to overcome this hurdle. The book is meant for researchers both from academia and industry and graduate students. A prerequisite is knowledge on partial differential equations and numerical linear algebra.

This book is intended as an introductory lecture in material physics, in which the modern computational group theory and the electronic structure calculation are in collaboration. The first part explains how to use computer algebra for applications in solid-state simulation, based on the GAP computer algebra package. Computer algebra enables us to easily obtain various group theoretical properties, such as the representations, character tables, and subgroups. Furthermore it offers a new perspective on material design, which could be executed in a mathematically rigorous and systematic way. The second part then analyzes the relation between the structural symmetry and the electronic structure in C60 (as an example of a system without periodicity). The principal object of the study was to illustrate the hierarchical change in the quantum-physical properties of the molecule, which correlates to the reduction in the symmetry (as it descends down in the ladder of subgroups). The book also presents the computation of the vibrational modes of the C60 by means of the computer algebra. In order to serve the common interests of researchers, the details of the computations (the required initial data and the small programs developed for the purpose) are explained in as much detail as possible.

The purpose of this monograph is to provide a theory of Markov processes that are invariant under the actions of Lie groups, focusing on ways to represent such processes in the spirit of the classical Levy-Khinchin representation. It interweaves probability theory, topology, and global analysis on manifolds to present the most recent results in a developing area of stochastic analysis. The author's discussion is structured with three different levels of generality:- A Markov process in a Lie group G that is invariant under the left (or right) translations- A Markov process xt in a manifold X that is invariant under the transitive action of a Lie group G on X- A Markov process xt invariant under the non-transitive action of a Lie group GA large portion of the text is devoted to the representation of inhomogeneous Levy processes in Lie groups and homogeneous spaces by a time dependent triple through a martingale property. Preliminary definitions and results in both stochastics and Lie groups are provided in a series of appendices, making the book accessible to those who may be non-specialists in either of these areas. Invariant Markov Processes Under Lie Group Actions will be of interest to researchers in stochastic analysis and probability theory, and will also appeal to experts in Lie groups, differential geometry, and related topics interested in applications of their own subjects.

This book is the second volume of an intensive "Russian-style" two-year undergraduate course in abstract algebra, and introduces readers to the basic algebraic structures - fields, rings, modules, algebras, groups, and categories - and explains the main principles of and methods for working with them. The course covers substantial areas of advanced combinatorics, geometry, linear and multilinear algebra, representation theory, category theory, commutative algebra, Galois theory, and algebraic geometry - topics that are often overlooked in standard undergraduate courses. This textbook is based on courses the author has conducted at the Independent University of Moscow and at the Faculty of Mathematics in the Higher School of Economics. The main content is complemented by a wealth of exercises for class discussion, some of which include comments and hints, as well as problems for independent study.

This book presents papers surrounding the extensive discussions that took place from the 'Variational Analysis and Aerospace Engineering' workshop held at the Ettore Majorana Foundation and Centre for Scientific Culture in 2015. Contributions to this volume focus on advanced mathematical methods in aerospace engineering and industrial engineering such as computational fluid dynamics methods, optimization methods in aerodynamics, optimum controls, dynamic systems, the theory of structures, space missions, flight mechanics, control theory, algebraic geometry for CAD applications, and variational methods and applications. Advanced graduate students, researchers, and professionals in mathematics and engineering will find this volume useful as it illustrates current collaborative research projects in applied mathematics and aerospace engineering.

This book explores generalized Lorenz-Mie theories when the illuminating beam is an electromagnetic arbitrary shaped beam relying on the method of separation of variables. The new edition includes an additional chapter covering the latest advances in both research and applications, which are highly relevant for readers. Although it particularly focuses on the homogeneous sphere, the book also considers other regular particles. It discusses in detail the methods available for evaluating beam shape coefficients describing the illuminating beam. In addition it features applications used in many fields such as optical particle sizing and, more generally, optical particle characterization, morphology-dependent resonances and the mechanical effects of light for optical trapping, optical tweezers and optical stretchers. Furthermore, it provides various computer programs relevant to the content.

This book provides an introduction to the ergodic theory and topological dynamics of actions of countable groups. It is organized around the theme of probabilistic and combinatorial independence, and highlights the complementary roles of the asymptotic and the perturbative in its comprehensive treatment of the core concepts of weak mixing, compactness, entropy, and amenability. The more advanced material includes Popa's cocycle superrigidity, the Furstenberg-Zimmer structure theorem, and sofic entropy. The structure of the book is designed to be flexible enough to serve a variety of readers. The discussion of dynamics is developed from scratch assuming some rudimentary functional analysis, measure theory, and topology, and parts of the text can be used as an introductory course. Researchers in ergodic theory and related areas will also find the book valuable as a reference.

This book introduces the fundamental concepts, techniques and results of linear algebra that form the basis of analysis, applied mathematics and algebra. Intended as a text for undergraduate students of mathematics, science and engineering with a knowledge of set theory, it discusses the concepts that are constantly used by scientists and engineers. It also lays the foundation for the language and framework for modern analysis and its applications. Divided into seven chapters, it discusses vector spaces, linear transformations, best approximation in inner product spaces, eigenvalues and eigenvectors, block diagonalisation, triangularisation, Jordan form, singular value decomposition, polar decomposition, and many more topics that are relevant to applications. The topics chosen have become well-established over the years and are still very much in use. The approach is both geometric and algebraic. It avoids distraction from the main theme by deferring the exercises to the end of each section. These exercises aim at reinforcing the learned concepts rather than as exposing readers to the tricks involved in the computation. Problems included at the end of each chapter are relatively advanced and require a deep understanding and assimilation of the topics.