تحسين النتائح
ترتيب حسب
من
الى
الصفحة 1
الصفحة 1
Logics of Specification Languages
Dedicated chapters address : the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.
Categories for software engineering
This book provides a gentle, software engineering oriented introduction to category theory. Assuming only a minimum of mathematical preparation, this book explores the use of categorical constructions from the point of view of the methods and techniques that have been proposed for the engineering of complex software systems: object-oriented development, software architectures, logical and algebraic specification techniques, models of concurrency, inter alia. After two parts in which basic and more advanced categorical concepts and techniques are introduced, the book illustrates their application to the semantics of CommUnity – a language for the architectural design of interactive systems. "For computer scientists, this unique book presents Category Theory in a manner tailored to their interests and with examples to which they can relate." Ira Forman, IBM "This book applies little-known yet quite powerful formal tools from category theory to software structures: designs, architectures, patterns, and styles. Rather than focus on issues at the level of computational models and semantics, it instead applies these tools to some of the problems facing the sophisticated software architect.
Bioinformatics research and development ; 2nd International Conference, BIRD 2008 Vienna, Austria, July 7-9, 2008 Proceedings
This book constitutes the refereed proceedings of the Second International Bioinformatics Research and Development Conference, BIRD 2008, held in Vienna, Austria in July 2008.
Arakelov Geometry and Diophantine Applications
Bridging the gap between novice and expert, the aim of this book is to present in a self-contained way a number of striking examples of current diophantine problems to which Arakelov geometry has been or may be applied. Arakelov geometry can be seen as a link between algebraic geometry and diophantine geometry.The first chapters provide some background and introduction to the subject. These are followed by a presentation of different applications to arithmetic geometry. The final part describes the recent application of Arakelov geometry to Shimura varieties and the proof of an averaged version of Colmez's conjecture. This book thus blends initiation to fundamental tools of Arakelov geometry with original material corresponding to current research.
An Undergraduate Primer in Algebraic Geometry
This book consists of two parts. The first is devoted to an introduction to basic concepts in algebraic geometry: affine and projective varieties, some of their main attributes and examples. The second part is devoted to the theory of curves: local properties, affine and projective plane curves, resolution of singularities, linear equivalence of divisors and linear series, Riemann–Roch and Riemann–Hurwitz Theorems.The approach in this book is purely algebraic. The main tool is commutative algebra, from which the needed results are recalled, in most cases with proofs. The prerequisites consist of the knowledge of basics in affine and projective geometry, basic algebraic concepts regarding rings, modules, fields, linear algebra, basic notions in the theory of categories, and some elementary point–set topology.
Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
Algebraic Aspects of the Advanced Encryption Standard
The Belgian block cipher Rijndael was chosen in 2000 by the U.S. government’s National Institute of Standards and Technology (NIST) to be the successor to the Data Encryption Standard. Rijndael was subsequently standardized as the Advanced Encryption Standard (AES), which is potentially the world’s most important block cipher. In 2002, some new analytical techniques were suggested that may have a dramatic effect on the security of the AES. Existing analytical techniques for block ciphers depend heavily on a statistical approach, whereas these new techniques are algebraic in nature.
Advances and applications of DSmT for information fusion: Collected works ; Vol.3
One of the most comprehensive and flexible fusion theory based on belief functions. It can work in all fusion spaces: power set, hyper-power set, and super-power set, and has various fusion and conditioning rules that can be applied depending on each application. Some new generalized rules are introduced in this volume with codes for implementing some of them. For the qualitative fusion, the DSm Field and Linear Algebra of Refined Labels (FLARL) is proposed which can convert any numerical fusion rule to a qualitative fusion rule. When one needs to work on a refined frame of discernment, the refinement is done using Smarandache s algebraic codification. New interpretations and implementations of the fusion rules based on sampling techniques and referee functions are proposed, including the probabilistic proportional conflict redistribution rule.
Advances and applications of DSmT for information fusion ; Vol. 4
One of the most comprehensive and flexible fusion theory based on belief functions. It can work in all fusion spaces: power set, hyper-power set, and super-power set, and has various fusion and conditioning rules that can be applied depending on each application. Some new generalized rules are introduced in this volume with codes for implementing some of them. For the qualitative fusion, the DSm Field and Linear Algebra of Refined Labels (FLARL) is proposed which can convert any numerical fusion rule to a qualitative fusion rule. When one needs to work on a refined frame of discernment, the refinement is done using Smarandache s algebraic codification. New interpretations and implementations of the fusion rules based on sampling techniques and referee functions are proposed, including the probabilistic proportional conflict redistribution rule.
Logica Universalis : Towards a General Theory of Logic
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. But while universal algebra is a long recognized field, universal logic has only recently been named as such. This is perhaps because classical logic was until relatively recently taken by many as the "one true logic". But with the proliferation of special purpose non-classical logics in recent years, universal logic is clearly a field whose time has come. This book contains many excellent papers demonstrating the value of this approach.
Logica Universalis : Towards a General Theory of Logic
Signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons.Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity.
Local Newforms for GSp(4)
Local Newforms for GSp(4) describes a theory of new- and oldforms for representations of GSp(4) over a non-archimedean local field. This theory considers vectors fixed by the paramodular groups, and singles out certain vectors that encode canonical information, such as L-factors and epsilon-factors, through their Hecke and Atkin-Lehner eigenvalues. While there are analogies to the GL(2) case, this theory is novel and unanticipated by the existing framework of conjectures. An appendix includes extensive tables about the results and the representation theory of GSp(4).
Linear Models and Generalizations : Least Squares and Alternatives
Gives an up-to-date account of the theory and applications of linear models. The book can be used as a text for courses in statistics at the graduate level and as an accompanying text for courses in other areas. Some of the highlights in this book are as follows. A relatively extensive chapter on matrix theory (Appendix A) provides the necessary tools for proving theorems discussed in the text and offers a selection of classical and modern algebraic results that are useful in research work in econometrics, engineering, and optimization theory. The matrix theory of the last ten years has produced a series of fundamental results aboutthe de?niteness ofmatrices,especially forthe di?erences ofmatrices, which enable superiority comparisons of two biased estimates to be made for the ?rst time. We have attempted to provide a uni?ed theory of inference from linear models with minimal assumptions
Linear Algebraic Monoids
The theory of linear algebraic monoids culminates in a coherent blend of algebraic groups, convex geometry, and semigroup theory. The book discusses all the key topics in detail, including classification, orbit structure, representations, universal constructions, and abstract analogues. An explicit cell decomposition is constructed for the wonderful compactification, as is a universal deformation for any semisimple group. A final chapter summarizes important connections with other areas of algebra and geometry. The book will serve as a solid basis for further research. Open problems are discussed as they arise and many useful exercises are included.
Lie Groups : An Approach through Invariants and Representations
Lie groups has been an increasing area of focus and rich research since the middle of the 20th century. Procesi's masterful approach to Lie groups through invariants and representations gives the reader a comprehensive treatment of the classical groups along with an extensive introduction to a wide range of topics associated with Lie groups: symmetric functions, theory of algebraic forms, Lie algebras, tensor algebra and symmetry, semisimple Lie algebras, algebraic groups, group representations, invariants, Hilbert theory, and binary forms with fields ranging from pure algebra to functional analysis.
Lie Algebras and Applications
This book, designed for advanced graduate students and post-graduate researchers, provides an introduction to Lie algebras and some of their applications to the spectroscopy of molecules, atoms, nuclei and hadrons. In the first part, a concise exposition is given of the basic concepts of Lie algebras, their representations and their invariants. The second part contains a description of how Lie algebras are used in practice in the treatment of bosonic and fermionic systems. Physical applications considered include rotations and vibrations of molecules (vibron model), collective modes in nuclei (interacting boson model), the atomic shell model, the nuclear shell model, and the quark model of hadrons. One of the key concepts in the application of Lie algebraic methods in physics, that of spectrum generating algebras and their associated dynamic symmetries, is also discussed. The book contains many examples that help to elucidate the abstract algebraic definitions. It provides a summary of many formulas of practical interest, such as the eigenvalues of Casimir operators and the dimensions of the representations of all classical Lie algebras.
Lie Algebras and Algebraic Groups
The theory of Lie algebras and algebraic groups has been an area of active research in the last 50 years. It intervenes in many different areas of mathematics : for example invariant theory, Poisson geometry, harmonic analysis, mathematical physics. The aim of this book is to assemble in a single volume the algebraic aspects of the theory so as to present the foundation of the theory in characteristic zero. Detailed proofs are included and some recent results are discussed in the last chapters. All the prerequisites on commutative algebra and algebraic geometry are included.
Lectures on Algebraic Geometry I : Sheaves, Cohomology of Sheaves, and Applications to Riemann Surfaces
This book and the following second volume is an introduction into modern algebraic geometry. In the first volume the methods of homological algebra, theory of sheaves, and sheaf cohomology are developed. These methods are indispensable for modern algebraic geometry, but they are also fundamental for other branches of mathematics and of great interest in their own.In the last chapter of volume I these concepts are applied to the theory of compact Riemann surfaces. In this chapter the author makes clear how influential the ideas of Abel, Riemann and Jacobi were and that many of the modern methods have been anticipated by them.
Lattices and Ordered Algebraic Structures
Lattices and Ordered Algebraic Structures provides a lucid and concise introduction to the basic results concerning the notion of an order. Although as a whole it is mainly intended for beginning postgraduates, the prerequisities are minimal and selected parts can profitably be used to broaden the horizon of the advanced undergraduate. The treatment is modern, with a slant towards recent developments in the theory of residuated lattices and ordered regular semigroups.
L’isomorphisme entre les tours de Lubin-Tate et de Drinfeld = The isomorphism between the Lubin-Tate and Drinfeld towers
This book contains a detailed and complete demonstration of the existence of an equivariate isomorphism between the Lubin-Tate and Drinfeld p-adic turns. The result is established in equal and unequal characteristics. There is also given as an application a proof that the equivariant cohomologies of these two turns are isomorphic, a result which has applications to the study of the local Langlands correspondence. During the proof, reminders and complements are given on the structure of the two preceding moduli spaces, the p-divisible formal groups and the p-adic rigid analytical geometry.
