Efficient parallel solutions have been found to many problems. Some of them can be obtained automatically from sequential programs, using compilers. However, there is a large class of problems - irregular problems - that lack efficient solutions. IRREGULAR 94 - a workshop and summer school organized in Geneva - addressed the problems associated with the derivation of efficient solutions to irregular problems. This book, which is based on the workshop, draws on the contributions of outstanding scientists to present the state of the art in irregular problems, covering aspects ranging from scientific computing, discrete optimization, and automatic extraction of parallelism. Audience: This first book on parallel algorithms for irregular problems is of interest to advanced graduate students and researchers in parallel computer science.

Inequalities continue to play an essential role in mathematics. The subject is per haps the last field that is comprehended and used by mathematicians working in all the areas of the discipline of mathematics. Since the seminal work Inequalities (1934) of Hardy, Littlewood and P6lya mathematicians have laboured to extend and sharpen the earlier classical inequalities. New inequalities are discovered ev ery year, some for their intrinsic interest whilst others flow from results obtained in various branches of mathematics. So extensive are these developments that a new mathematical periodical devoted exclusively to inequalities will soon appear; this is the Journal of Inequalities and Applications, to be edited by R. P. Agar wal. Nowadays it is difficult to follow all these developments and because of lack of communication between different groups of specialists many results are often rediscovered several times. Surveys of the present state of the art are therefore in dispensable not only to mathematicians but to the scientific community at large. The study of inequalities reflects the many and various aspects of mathemat ics. There is on the one hand the systematic search for the basic principles and the study of inequalities for their own sake. On the other hand the subject is a source of ingenious ideas and methods that give rise to seemingly elementary but nevertheless serious and challenging problems. There are many applications in a wide variety of fields from mathematical physics to biology and economics."

Chapter 1 The algebraic prerequisites for the book are covered here and in the appendix. This chapter should be used as reference material and should be consulted as needed. A systematic treatment of algebras, coalgebras, bialgebras, Hopf algebras, and represen tations of these objects to the extent needed for the book is given. The material here not specifically cited can be found for the most part in Sweedler, 1969] in one form or another, with a few exceptions. A great deal of emphasis is placed on the coalgebra which is the dual of n x n matrices over a field. This is the most basic example of a coalgebra for our purposes and is at the heart of most algebraic constructions described in this book. We have found pointed bialgebras useful in connection with solving the quantum Yang-Baxter equation. For this reason we develop their theory in some detail. The class of examples described in Chapter 6 in connection with the quantum double consists of pointed Hopf algebras. We note the quantized enveloping algebras described Hopf algebras. Thus for many reasons pointed bialgebras are elsewhere are pointed of fundamental interest in the study of the quantum Yang-Baxter equation and objects quantum groups."

This book is dedicated to V.A. Yankov's seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov's results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics. The book also contains an exposition of Yankov's revolutionary approach to constructive proof theory. The editors also include Yankov's contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.

Applied Differential Equations with Boundary Value Problems presents a contemporary treatment of ordinary differential equations (ODEs) and an introduction to partial differential equations (PDEs), including their applications in engineering and the sciences. This new edition of the author's popular textbook adds coverage of boundary value problems. The text covers traditional material, along with novel approaches to mathematical modeling that harness the capabilities of numerical algorithms and popular computer software packages. It contains practical techniques for solving the equations as well as corresponding codes for numerical solvers. Many examples and exercises help students master effective solution techniques, including reliable numerical approximations. This book describes differential equations in the context of applications and presents the main techniques needed for modeling and systems analysis. It teaches students how to formulate a mathematical model, solve differential equations analytically and numerically, analyze them qualitatively, and interpret the results.

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.

This volume is dedicated to Bill Helton on the occasion of his sixty fifth birthday. It contains biographical material, a list of Bill's publications, a detailed survey of Bill's contributions to operator theory, optimization and control and 19 technical articles. Most of the technical articles are expository and should serve as useful introductions to many of the areas which Bill's highly original contributions have helped to shape over the last forty odd years. These include interpolation, Szegoe limit theorems, Nehari problems, trace formulas, systems and control theory, convexity, matrix completion problems, linear matrix inequalities and optimization. The book should be useful to graduate students in mathematics and engineering, as well as to faculty and individuals seeking entry level introductions and references to the indicated topics. It can also serve as a supplementary text to numerous courses in pure and applied mathematics and engineering, as well as a source book for seminars.

Dedicated to the memory of Wolfgang Classical Intersection Theory (see for example Wei! [Wei]) treats the case of proper intersections, where geometrical objects (usually subvarieties of a non singular variety) intersect with the expected dimension. In 1984, two books appeared which surveyed and developed work by the individual authors, co workers and others on a refined version of Intersection Theory, treating the case of possibly improper intersections, where the intersection could have ex cess dimension. The first, by W. Fulton [Full] (recently revised in updated form), used a geometrical theory of deformation to the normal cone, more specifically, deformation to the normal bundle followed by moving the zero section to make the intersection proper; this theory was due to the author together with R. MacPherson and worked generally for intersections on algeb raic manifolds. It represents nowadays the standard approach to Intersection Theory. The second, by W. Vogel [Vogl], employed an algebraic approach to inter sections; although restricted to intersections in projective space it produced an intersection cycle by a simple and natural algorithm, thus leading to a Bezout theorem for improper intersections. It was developed together with J. Stiickrad and involved a refined version of the classical technique ofreduc tion to the diagonal: here one starts with the join variety and intersects with successive hyperplanes in general position, laying aside components which fall into the diagonal and intersecting the residual scheme with the next hyperplane; since all the hyperplanes intersect in the diagonal, the process terminates.

This book presents a guide to the extensive literature on the topic of semirings and includes a complete bibliography. It serves as a complement to the existing monographs and a point of reference to researchers and students on this topic. The literature on semirings has evolved over many years, in a variety of languages, by authors representing different schools of mathematics and working in various related fields. Recently, semiring theory has experienced rapid development, although publications are widely scattered. This survey also covers those newly emerged areas of semiring applications that have not received sufficient treatment in widely accessible monographs, as well as many lesser-known or forgotten' works.

The author has been collecting the bibliographic data for this book since 1985. Over the years, it has proved very useful for specialists. For example, J.S. Golan wrote he owed ... a special debt to Kazimierz Glazek, whose bibliography proved to be an invaluable guide to the bewildering maze of literature on semirings'. U. Hebisch and H.J. Weinert also mentioned his collection of literature had been of great assistance to them. Now updated to include publications up to the beginning of 2002, this work is available to a wide readership.

Audience: This volume is the first single reference that can guide the interested scholar or student to the relevant publications in semirings, semifields, algebraic theory of languages and automata, positive matrices and other generalisations, and ordered semigroups and groups.

The first systematic, self-contained presentation of a theory of arbitrary order ODEs with unbounded operator coefficients in a Hilbert or Banach space. Developed over the last 10 years by the authors, it deals with conditions of solvability, classes of uniqueness, estimates for solutions and asymptotic representations of solutions at infinity.

Whereas many partial solutions and sketches for the odd-numbered exercises appear in the book, the Student Solutions Manual, written by the author, has comprehensive solutions for all odd-numbered exercises and large number of even-numbered exercises. This Manual also offers many alternative solutions to those appearing in the text. These will provide the student with a better understanding of the material. This is the only available student solutions manual prepared by the author of Contemporary Abstract Algebra, Tenth Edition and is designed to supplement that text. Table of Contents Integers and Equivalence Relations 0. Preliminaries Groups1. Introduction to Groups 2. Groups 3. Finite Groups; Subgroups 4. Cyclic Groups 5. Permutation Groups 6. Isomorphisms 7. Cosets and Lagrange's Theorem 8. External Direct Products 9. Normal Subgroups and Factor Groups 10. Group Homomorphisms 11. Fundamental Theorem of Finite Abelian Groups Rings12. Introduction to Rings 13. Integral Domains 14. Ideals and Factor Rings 15. Ring Homomorphisms 16. Polynomial Rings 17. Factorization of Polynomials 18. Divisibility in Integral Domains Fields Fields19. Extension Fields 20. Algebraic Extensions 21. Finite Fields 22. Geometric Constructions Special Topics23. Sylow Theorems 24. Finite Simple Groups 25. Generators and Relations 26. Symmetry Groups 27. Symmetry and Counting 28. Cayley Digraphs of Groups 29. Introduction to Algebraic Coding Theory 30. An Introduction to Galois Theory 31. Cyclotomic Extensions Biography Joseph A. Gallian earned his PhD from Notre Dame. In addition to receiving numerous national awards for his teaching and exposition, he has served terms as the Second Vice President, and the President of the MAA. He has served on 40 national committees, chairing ten of them. He has published over 100 articles and authored six books. Numerous articles about his work have appeared in the national news outlets, including the New York Times, the Washington Post, the Boston Globe, and Newsweek, among many others.

Services requiring parts has become a $1.5 trillion business annually worldwide, creating a tremendous incentive to manage the logistics of these parts efficiently by making planning and operational decisions in a rational and rigorous manner. This book provides a broad overview of modeling approaches and solution methodologies for addressing service parts inventory problems found in high-powered technology and aerospace applications. The focus in this work is on the management of high cost, low demand rate service parts found in multi-echelon settings.

This unique book, with its breadth of topics and mathematical treatment, begins by first demonstrating the optimality of an order-up-to policy [or (s-1, s)] in certain environments. This policy is used in the real world and studied throughout the text. The fundamental mathematical building blocks for modeling and solving applications of stochastic process and optimization techniques to service parts management problems are summarized extensively. A wide range of exact and approximate mathematical models of multi-echelon systems is developed and used in practice to estimate future inventory investment and part repair requirements.

The text may be used in a variety of courses for first-year graduate students or senior undergraduates, as well as for practitioners, requiring only a background in stochastic processes and optimization. It will serve as an excellent reference for key mathematical concepts and a guide to modeling a variety of multi-echelon service parts planning and operational problems.

This volume contains selected papers presented at the Second Workshop on Clifford Algebras and their Applications in Mathematical Physics. These papers range from various algebraic and analytic aspects of Clifford algebras to applications in, for example, gauge fields, relativity theory, supersymmetry and supergravity, and condensed phase physics. Included is a biography and list of publications of Mario Schenberg, who, next to Marcel Riesz, has made valuable contributions to these topics. This volume will be of interest to mathematicians working in the fields of algebra, geometry or special functions, to physicists working on quantum mechanics or supersymmetry, and to historians of mathematical physics. "

This book describes how generalised linear modelling procedures can be used in many different fields, without becoming entangled in problems of statistical inference. The author shows the unity of many of the commonly used models and provides readers with a taste of many different areas, such as survival models, time series, and spatial analysis, and of their unity. As such, this book will appeal to applied statisticians and to scientists having a basic grounding in modern statistics. With many exercises at the end of each chapter, it will equally constitute an excellent text for teaching applied statistics students and non- statistics majors. The reader is assumed to have knowledge of basic statistical principles, whether from a Bayesian, frequentist, or direct likelihood point of view, being familiar at least with the analysis of the simpler normal linear models, regression and ANOVA.

Is reader friendly, particularly for a beginner who has no prior knowledge in this subject, because it is more organised and better structured Treats the important step of formulating the overall stiffness matrix of a structure in a systematic and straightforward manner, which is quite often not very clearly explained in most textbooks on the market Has the level of detail and clear presentation of the subject matter as one of its main features, which is an important factor that helps the reader to easily follow and understand the topic presented Gradually build up on the subject matter, with the chapters arranged in a sequence to serve the purpose Use simple mathematical approaches wherever possible so that even a reader with knowledge of a first course in mathematics can easily understand the operations performed

This book, the fourth book in the four-volume series in algebra, discusses Lie algebra and representation theory in detail. It covers topics such as semisimple Lie algebras, root systems, representation theory of Lie algebra, Chevalley groups and representation theory of Chevalley groups. Numerous motivating illustrations have been presented along with exercises, enabling readers to acquire a good understanding of topics which they can then use to find the exact or most realistic solutions to their problems.

This textbook helps graduate level student to understand easily the linearization of nonlinear control system. Differential geometry is essential to understand the linearization problems of the control nonlinear systems. In this book, the basics of differential geometry needed in linearization are explained on the Euclidean space instead of the manifold for students who are not accustomed to differential geometry. Many Lie algebra formulas, used often in linearization, are also provided with proof. The conditions in the linearization problems are complicated to check because the Lie bracket calculation of vector fields by hand needs much concentration and time. This book provides MATLAB programs for most of the theorems. The book also includes end-of-chapter problems and other pedagogical aids to help understanding and self study.

The rapidly-evolving theory of vertex operator algebras provides deep insight into many important algebraic structures. Vertex operator algebras can be viewed as "complex analogues" of both Lie algebras and associative algebras. The monograph is written in a n accessible and self-contained manner, with detailed proofs and with many examples interwoven through the axiomatic treatment as motivation and applications. It will be useful for research mathematicians and theoretical physicists working the such fields as representation theory and algebraic structure sand will provide the basis for a number of graduate courses and seminars on these and related topics.

The main part of the book is based on a one semester graduate course for students in mathematics. I have attempted to develop the theory of hyperbolic systems of differen tial equations in a systematic way, making as much use as possible ofgradient systems and their algebraic representation. However, despite the strong sim ilarities between the development of ideas here and that found in a Lie alge bras course this is not a book on Lie algebras. The order of presentation has been determined mainly by taking into account that algebraic representation and homomorphism correspondence with a full rank Lie algebra are the basic tools which require a detailed presentation. I am aware that the inclusion of the material on algebraic and homomorphism correspondence with a full rank Lie algebra is not standard in courses on the application of Lie algebras to hyperbolic equations. I think it should be. Moreover, the Lie algebraic structure plays an important role in integral representation for solutions of nonlinear control systems and stochastic differential equations yelding results that look quite different in their original setting. Finite-dimensional nonlin ear filters for stochastic differential equations and, say, decomposability of a nonlinear control system receive a common understanding in this framework."

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.

The aim of this work is to present several topics in time-frequency analysis as subjects in abelian group theory. The algebraic point of view pre dominates as questions of convergence are not considered. Our approach emphasizes the unifying role played by group structures on the development of theory and algorithms. This book consists of two main parts. The first treats Weyl-Heisenberg representations over finite abelian groups and the second deals with mul tirate filter structures over free abelian groups of finite rank. In both, the methods are dimensionless and coordinate-free and apply to one and multidimensional problems. The selection of topics is not motivated by mathematical necessity but rather by simplicity. We could have developed Weyl-Heisenberg theory over free abelian groups of finite rank or more generally developed both topics over locally compact abelian groups. However, except for having to dis cuss conditions for convergence, Haar measures, and other standard topics from analysis the underlying structures would essentially be the same. A re cent collection of papers 17] provides an excellent review of time-frequency analysis over locally compact abelian groups. A further reason for limiting the scope of generality is that our results can be immediately applied to the design of algorithms and codes for time frequency processing."

We dedicate this volume to Professor Parimala on the occasion of her 60th birthday. It contains a variety of papers related to the themes of her research. Parimala's rst striking result was a counterexample to a quadratic analogue of Serre's conjecture (Bulletin of the American Mathematical Society, 1976). Her in uence has cont- ued through her tenure at the Tata Institute of Fundamental Research in Mumbai (1976-2006),and now her time at Emory University in Atlanta (2005-present). A conference was held from 30 December 2008 to 4 January 2009, at the U- versity of Hyderabad, India, to celebrate Parimala's 60th birthday (see the conf- ence's Web site at http://mathstat.uohyd.ernet.in/conf/quadforms2008). The or- nizing committee consisted of J.-L. Colliot-Thel ' en ' e, Skip Garibaldi, R. Sujatha, and V. Suresh. The present volume is an outcome of this event. We would like to thank all the participants of the conference, the authors who have contributed to this volume, and the referees who carefully examined the s- mitted papers. We would also like to thank Springer-Verlag for readily accepting to publish the volume. In addition, the other three editors of the volume would like to place on record their deep appreciation of Skip Garibaldi's untiring efforts toward the nal publication.

This book presents generalized Caputo fractional Ostrowski and Gruss-type inequalities involving several Banach algebra valued functions. Furthermore, the author gives generalized Canavati fractional Ostrowski, Opial, Gruss, and Hilbert-Pachpatte-type inequalities for multiple Banach algebra valued functions. By applying the p-Schatten norms over the von Neumann-Schatten classes, the author produces the analogous refined and interesting inequalities. The author provides many applications. This book's results are expected to find applications in many areas of pure and applied mathematics, especially in fractional inequalities and fractional differential equations. Other interesting applications are in applied sciences like geophysics, physics, chemistry, economics, and engineering. This book is appropriate for researchers, graduate students, practitioners, and seminars of the above disciplines, also to be in all science and engineering libraries.

This volume summarizes recent developments in the topological and algebraic structures in fuzzy sets and may be rightly viewed as a continuation of the stan dardization of the mathematics of fuzzy sets established in the "Handbook," namely the Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory, Volume 3 of The Handbooks of Fuzzy Sets Series (Kluwer Academic Publish ers, 1999). Many of the topological chapters of the present work are not only based upon the foundations and notation for topology laid down in the Hand book, but also upon Handbook developments in convergence, uniform spaces, compactness, separation axioms, and canonical examples; and thus this work is, with respect to topology, a continuation of the standardization of the Hand book. At the same time, this work significantly complements the Handbook in regard to algebraic structures. Thus the present volume is an extension of the content and role of the Handbook as a reference work. On the other hand, this volume, even as the Handbook, is a culmination of mathematical developments motivated by the renowned International Sem inar on Fuzzy Set Theory, also known as the Linz Seminar, held annually in Linz, Austria. Much of the material of this volume is related to the Twenti eth Seminar held in February 1999, material for which the Seminar played a crucial and stimulating role, especially in providing feedback, connections, and the necessary screening of ideas."