Reliability is one of the fundamental criteria in engineering systems. Design and maintenance serve to support it throughout the systems life. As such, maintenance acts in parallel to production and can have a great impact on the availability and capacity of production and the quality of the products. The authors describe current and innovative methods useful to industry and society.

This is the first textbook on attribute exploration, its theory, its algorithms forapplications, and some of its many possible generalizations. Attribute explorationis useful for acquiring structured knowledge through an interactive process, byasking queries to an expert. Generalizations that handle incomplete, faulty, orimprecise data are discussed, but the focus lies on knowledge extraction from areliable information source.The method is based on Formal Concept Analysis, a mathematical theory ofconcepts and concept hierarchies, and uses its expressive diagrams. The presentationis self-contained. It provides an introduction to Formal Concept Analysiswith emphasis on its ability to derive algebraic structures from qualitative data,which can be represented in meaningful and precise graphics.

For mathematicians working in group theory, the study of the many infinite-dimensional groups has been carried out in an individual and non-coherent way. For the first time, these apparently disparate groups have been placed together, in order to construct the `big picture'. This book successfully gives an account of this - and shows how such seemingly dissimilar types such as the various groups of operators on Hilbert spaces, or current groups are shown to belong to a bigger entitity. This is a ground-breaking text will be important reading for advanced undergraduate and graduate mathematicians.

An increasing complexity of models used to predict real-world systems leads to the need for algorithms to replace complex models with far simpler ones, while preserving the accuracy of the predictions. This two-volume handbook covers methods as well as applications. This first volume focuses on real-time control theory, data assimilation, real-time visualization, high-dimensional state spaces and interaction of different reduction techniques.

This is an abridged edition of the author's previous two-volume work, Ring Theory, which concentrates on essential material for a general ring theory course while ommitting much of the material intended for ring theory specialists. It has been praised by reviewers: **"As a textbook for graduate students, Ring Theory joins the best....The experts will find several attractive and pleasant features in Ring Theory. The most noteworthy is the inclusion, usually in supplements and appendices, of many useful constructions which are hard to locate outside of the original sources....The audience of nonexperts, mathematicians whose speciality is not ring theory, will find Ring Theory ideally suited to their needs....They, as well as students, will be well served by the many examples of rings and the glossary of major results."**--NOTICES OF THE AM

This book sets out to give a rigorous mathematical description of the greenhouse effect through the theory of infrared atmospheric emission. In contrast to traditional climatological analysis, this approach eschews empirical relations in favour of a strict thermodynamical derivation, based on data from NASA and from the HITRAN spectroscopy database. The results highlight new aspects of the role of clouds in the greenhouse effect.

Over a career that spanned 60 years, Ronald L. Graham (known to all as Ron) made significant contributions to the fields of discrete mathematics, number theory, Ramsey theory, computational geometry, juggling and magical mathematics, and many more. Ron also was a mentor to generations of mathematicians, he gave countless talks and helped bring mathematics to a wider audience, and he held signifi cant leadership roles in the mathematical community. This volume is dedicated to the life and memory of Ron Graham, and includes 20-articles by leading scientists across a broad range of subjects that refl ect some of the many areas in which Ron worked.

Soft computing is used where a complex problem is not adequately specified for the use of conventional math and computer techniques. Soft computing has numerous real-world applications in domestic, commercial and industrial situations. This book elaborates on the most recent applications in various fields of engineering.

This book is the first volume of an intensive "Russian-style" two-year graduate 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 volume presents recent advances in the field of matrix analysis based on contributions at the MAT-TRIAD 2015 conference. Topics covered include interval linear algebra and computational complexity, Birkhoff polynomial basis, tensors, graphs, linear pencils, K-theory and statistic inference, showing the ubiquity of matrices in different mathematical areas. With a particular focus on matrix and operator theory, statistical models and computation, the International Conference on Matrix Analysis and its Applications 2015, held in Coimbra, Portugal, was the sixth in a series of conferences. Applied and Computational Matrix Analysis will appeal to graduate students and researchers in theoretical and applied mathematics, physics and engineering who are seeking an overview of recent problems and methods in matrix analysis.

This book collects a series of contributions addressing the various contexts in which the theory of Lie groups is applied. A preliminary chapter serves the reader both as a basic reference source and as an ongoing thread that runs through the subsequent chapters. From representation theory and Gerstenhaber algebras to control theory, from differential equations to Finsler geometry and Lepage manifolds, the book introduces young researchers in Mathematics to a wealth of different topics, encouraging a multidisciplinary approach to research. As such, it is suitable for students in doctoral courses, and will also benefit researchers who want to expand their field of interest.

The topics covered in this book, written by researchers at the forefront of their field, represent some of the most relevant research areas in modern coding theory: codes and combinatorial structures, algebraic geometric codes, group codes, quantum codes, convolutional codes, network coding and cryptography. The book includes a survey paper on the interconnections of coding theory with constrained systems, written by an invited speaker, as well as 37 cutting-edge research communications presented at the 4th International Castle Meeting on Coding Theory and Applications (4ICMCTA), held at the Castle of Palmela in September 2014. The event's scientific program consisted of four invited talks and 39 regular talks by authors from 24 different countries. This conference provided an ideal opportunity for communicating new results, exchanging ideas, strengthening international cooperation, and introducing young researchers into the coding theory community.

This volume arose from the Third Annual Workshop on Inverse Problems, held in Stockholm on May 2-6, 2012. The proceedings present new analytical developments and numerical methods for solutions of inverse and ill-posed problems, which consistently pose complex challenges to the development of effective numerical methods. The book highlights recent research focusing on reliable numerical techniques for the solution of inverse problems, with relevance to a range of fields including acoustics, electromagnetics, optics, medical imaging, and geophysics.

This book constitutes a first- or second-year graduate course in operator theory. It is a field that has great importance for other areas of mathematics and physics, such as algebraic topology, differential geometry, and quantum mechanics. It assumes a basic knowledge in functional analysis but no prior acquaintance with operator theory is required.

Progress in mathematics is based on a thorough understanding of the mathematical objects under consideration, and yet many textbooks and monographs proceed to discuss general statements and assume that the reader can and will provide the mathematical infrastructure of examples and counterexamples. This book makes a deliberate effort to correct this situation: it is a collection of examples. The following table of contents describes its breadth and reveals the underlying motivation--differential geometry--in its many facets: Riemannian, symplectic, K*adahler, hyperK*adahler, as well as complex and quaternionic.

This book provides the first systematic treatment of modules over discrete valuation domains, which play an important role in various areas of algebra, especially in commutative algebra. Many important results representing the state of the art are presented in the text along with interesting open problems. This updated edition presents new approaches on p-adic integers and modules, and on the determinability of a module by its automorphism group. Contents Preliminaries Basic facts Endomorphism rings of divisible and complete modules Representation of rings by endomorphism rings Torsion-free modules Mixed modules Determinity of modules by their endomorphism rings Modules with many endomorphisms or automorphisms

This book is a comprehensive survey of matrix perturbation theory, a topic of interest to numerical analysts, statisticians, physical scientists, and engineers. In particular, the authors cover perturbation theory of linear systems and least square problems, the eignevalue problem, and the generalized eignevalue problem as wellas a complete treatment of vector and matrix norms, including the theory of unitary invariant norms.

This work is motivated by and develops connections between several branches of mathematics and physics--the theories of Lie algebras, finite groups and modular functions in mathematics, and string theory in physics. The first part of the book presents a new mathematical theory of vertex operator algebras, the algebraic counterpart of two-dimensional holomorphic conformal quantum field theory. The remaining part constructs the Monster finite simple group as the automorphism group of a very special vertex operator algebra, called the "moonshine module" because of its relevance to "monstrous moonshine."

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.

This is an all-encompassing and exhaustive exposition of the theory of infinite-dimensional Unitary Representations of Locally Compact Groups and its generalization to representations of Banach algebras. The presentation is detailed, accessible, and self-contained (except for some elementary knowledge in algebra, topology, and abstract measure theory). In the later chapters the reader is brought to the frontiers of present-day knowledge in the area of Mackey normal subgroup analysisand its generalization to the context of Banach *-Algebraic Bundles.

This is an all-encompassing and exhaustive exposition of the theory of infinite-dimensional Unitary Representations of Locally Compact Groups and its generalization to representations of Banach algebras. The presentation is detailed, accessible, and self-contained (except for some elementary knowledge in algebra, topology, and abstract measure theory). In the later chapters the reader is brought to the frontiers of present-day knowledge in the area of Mackey normal subgroup analysisand its generalization to the context of Banach *-Algebraic Bundles.

In mathematical physics, the correspondence between quantum and classical mechanics is a central topic, which this book explores in more detail in the particular context of spin systems, that is, SU(2)-symmetric mechanical systems. A detailed presentation of quantum spin-j systems, with emphasis on the SO(3)-invariant decomposition of their operator algebras, is first followed by an introduction to the Poisson algebra of the classical spin system and then by a similarly detailed examination of its SO(3)-invariant decomposition. The book next proceeds with a detailed and systematic study of general quantum-classical symbol correspondences for spin-j systems and their induced twisted products of functions on the 2-sphere. This original systematic presentation culminates with the study of twisted products in the asymptotic limit of high spin numbers. In the context of spin systems it shows how classical mechanics may or may not emerge as an asymptotic limit of quantum mechanics. The book will be a valuable guide for researchers in this field and its self-contained approach also makes it a helpful resource for graduate students in mathematics and physics.