Author: Michel Gondran
Publisher: Springer Science & Business Media
ISBN: 0387754504
Category : Business & Economics
Languages : en
Pages : 401
Book Description
The primary objective of this essential text is to emphasize the deep relations existing between the semiring and dioïd structures with graphs and their combinatorial properties. It does so at the same time as demonstrating the modeling and problem-solving flexibility of these structures. In addition the book provides an extensive overview of the mathematical properties employed by "nonclassical" algebraic structures which either extend usual algebra or form a new branch of it.
Graphs, Dioids and Semirings
Algebraic Methodology and Software Technology
Author: Michael Johnson
Publisher: Springer Science & Business Media
ISBN: 3642177956
Category : Computers
Languages : en
Pages : 245
Book Description
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
Publisher: Springer Science & Business Media
ISBN: 3642177956
Category : Computers
Languages : en
Pages : 245
Book Description
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
Semirings as Building Blocks in Cryptography
Author: Mariana Durcheva
Publisher: Cambridge Scholars Publishing
ISBN: 1527543315
Category : Mathematics
Languages : en
Pages : 132
Book Description
Semirings as an algebraic structure have been known since 1934, but remained unapplied for mathematical purposes for a long time. It has only been in the past decade that they have been used in cryptography. The advantage of (additively) idempotent semirings is that the additive operation does not have an inverse, which can help in preventing the breakage of a cryptosystem. This book describes a number of cryptographic protocols, as well as the hard mathematical problems on which their security is based. It will appeal to cryptographers and specialists in applied algebra.
Publisher: Cambridge Scholars Publishing
ISBN: 1527543315
Category : Mathematics
Languages : en
Pages : 132
Book Description
Semirings as an algebraic structure have been known since 1934, but remained unapplied for mathematical purposes for a long time. It has only been in the past decade that they have been used in cryptography. The advantage of (additively) idempotent semirings is that the additive operation does not have an inverse, which can help in preventing the breakage of a cryptosystem. This book describes a number of cryptographic protocols, as well as the hard mathematical problems on which their security is based. It will appeal to cryptographers and specialists in applied algebra.
Path Problems in Networks
Author: John Baras
Publisher: Springer Nature
ISBN: 3031799836
Category : Computers
Languages : en
Pages : 65
Book Description
The algebraic path problem is a generalization of the shortest path problem in graphs. Various instances of this abstract problem have appeared in the literature, and similar solutions have been independently discovered and rediscovered. The repeated appearance of a problem is evidence of its relevance. This book aims to help current and future researchers add this powerful tool to their arsenal, so that they can easily identify and use it in their own work. Path problems in networks can be conceptually divided into two parts: A distillation of the extensive theory behind the algebraic path problem, and an exposition of a broad range of applications. First of all, the shortest path problem is presented so as to fix terminology and concepts: existence and uniqueness of solutions, robustness to parameter changes, and centralized and distributed computation algorithms. Then, these concepts are generalized to the algebraic context of semirings. Methods for creating new semirings, useful for modeling new problems, are provided. A large part of the book is then devoted to numerous applications of the algebraic path problem, ranging from mobile network routing to BGP routing to social networks. These applications show what kind of problems can be modeled as algebraic path problems; they also serve as examples on how to go about modeling new problems. This monograph will be useful to network researchers, engineers, and graduate students. It can be used either as an introduction to the topic, or as a quick reference to the theoretical facts, algorithms, and application examples. The theoretical background assumed for the reader is that of a graduate or advanced undergraduate student in computer science or engineering. Some familiarity with algebra and algorithms is helpful, but not necessary. Algebra, in particular, is used as a convenient and concise language to describe problems that are essentially combinatorial. Table of Contents: Classical Shortest Path / The Algebraic Path Problem / Properties and Computation of Solutions / Applications / Related Areas / List of Semirings and Applications
Publisher: Springer Nature
ISBN: 3031799836
Category : Computers
Languages : en
Pages : 65
Book Description
The algebraic path problem is a generalization of the shortest path problem in graphs. Various instances of this abstract problem have appeared in the literature, and similar solutions have been independently discovered and rediscovered. The repeated appearance of a problem is evidence of its relevance. This book aims to help current and future researchers add this powerful tool to their arsenal, so that they can easily identify and use it in their own work. Path problems in networks can be conceptually divided into two parts: A distillation of the extensive theory behind the algebraic path problem, and an exposition of a broad range of applications. First of all, the shortest path problem is presented so as to fix terminology and concepts: existence and uniqueness of solutions, robustness to parameter changes, and centralized and distributed computation algorithms. Then, these concepts are generalized to the algebraic context of semirings. Methods for creating new semirings, useful for modeling new problems, are provided. A large part of the book is then devoted to numerous applications of the algebraic path problem, ranging from mobile network routing to BGP routing to social networks. These applications show what kind of problems can be modeled as algebraic path problems; they also serve as examples on how to go about modeling new problems. This monograph will be useful to network researchers, engineers, and graduate students. It can be used either as an introduction to the topic, or as a quick reference to the theoretical facts, algorithms, and application examples. The theoretical background assumed for the reader is that of a graduate or advanced undergraduate student in computer science or engineering. Some familiarity with algebra and algorithms is helpful, but not necessary. Algebra, in particular, is used as a convenient and concise language to describe problems that are essentially combinatorial. Table of Contents: Classical Shortest Path / The Algebraic Path Problem / Properties and Computation of Solutions / Applications / Related Areas / List of Semirings and Applications
Tropical and Idempotent Mathematics
Author: Grigoriĭ Lazarevich Litvinov
Publisher: American Mathematical Soc.
ISBN: 0821847821
Category : Mathematics
Languages : en
Pages : 395
Book Description
This volume is a collection of papers from the International Conference on Tropical and Idempotent Mathematics, held in Moscow, Russia in August 2007. This is a relatively new branch of mathematical sciences that has been rapidly developing and gaining popularity over the last decade. Tropical mathematics can be viewed as a result of the Maslov dequantization applied to 'traditional' mathematics over fields. Importantly, applications in econophysics and statistical mechanics lead to an explanation of the nature of financial crises. Another original application provides an analysis of instabilities in electrical power networks. Idempotent analysis, tropical algebra, and tropical geometry are the building blocks of the subject. Contributions to idempotent analysis are focused on the Hamilton-Jacobi semigroup, the max-plus finite element method, and on the representations of eigenfunctions of idempotent linear operators. Tropical algebras, consisting of plurisubharmonic functions and their germs, are examined. The volume also contains important surveys and research papers on tropical linear algebra and tropical convex geometry.
Publisher: American Mathematical Soc.
ISBN: 0821847821
Category : Mathematics
Languages : en
Pages : 395
Book Description
This volume is a collection of papers from the International Conference on Tropical and Idempotent Mathematics, held in Moscow, Russia in August 2007. This is a relatively new branch of mathematical sciences that has been rapidly developing and gaining popularity over the last decade. Tropical mathematics can be viewed as a result of the Maslov dequantization applied to 'traditional' mathematics over fields. Importantly, applications in econophysics and statistical mechanics lead to an explanation of the nature of financial crises. Another original application provides an analysis of instabilities in electrical power networks. Idempotent analysis, tropical algebra, and tropical geometry are the building blocks of the subject. Contributions to idempotent analysis are focused on the Hamilton-Jacobi semigroup, the max-plus finite element method, and on the representations of eigenfunctions of idempotent linear operators. Tropical algebras, consisting of plurisubharmonic functions and their germs, are examined. The volume also contains important surveys and research papers on tropical linear algebra and tropical convex geometry.
Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications
Author: Yves Achdou
Publisher: Springer
ISBN: 3642364330
Category : Mathematics
Languages : en
Pages : 316
Book Description
These Lecture Notes contain the material relative to the courses given at the CIME summer school held in Cetraro, Italy from August 29 to September 3, 2011. The topic was "Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications". The courses dealt mostly with the following subjects: first order and second order Hamilton-Jacobi-Bellman equations, properties of viscosity solutions, asymptotic behaviors, mean field games, approximation and numerical methods, idempotent analysis. The content of the courses ranged from an introduction to viscosity solutions to quite advanced topics, at the cutting edge of research in the field. We believe that they opened perspectives on new and delicate issues. These lecture notes contain four contributions by Yves Achdou (Finite Difference Methods for Mean Field Games), Guy Barles (An Introduction to the Theory of Viscosity Solutions for First-order Hamilton-Jacobi Equations and Applications), Hitoshi Ishii (A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations) and Grigory Litvinov (Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations).
Publisher: Springer
ISBN: 3642364330
Category : Mathematics
Languages : en
Pages : 316
Book Description
These Lecture Notes contain the material relative to the courses given at the CIME summer school held in Cetraro, Italy from August 29 to September 3, 2011. The topic was "Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications". The courses dealt mostly with the following subjects: first order and second order Hamilton-Jacobi-Bellman equations, properties of viscosity solutions, asymptotic behaviors, mean field games, approximation and numerical methods, idempotent analysis. The content of the courses ranged from an introduction to viscosity solutions to quite advanced topics, at the cutting edge of research in the field. We believe that they opened perspectives on new and delicate issues. These lecture notes contain four contributions by Yves Achdou (Finite Difference Methods for Mean Field Games), Guy Barles (An Introduction to the Theory of Viscosity Solutions for First-order Hamilton-Jacobi Equations and Applications), Hitoshi Ishii (A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations) and Grigory Litvinov (Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations).
Tropical Mathematics and Applications to Theoretical Physics and Scientific Computing
Author: Abdel O. Kenoufi
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110769336
Category : Mathematics
Languages : en
Pages : 303
Book Description
Tropical Mathematics built on Idempotent Semi-Rings and Dioids permits an extension of the usual Linear methods to Non-Linear problems and provides powerful analyzing and computing in Theoretical Physics and Applied Mathematics. Until recently, solutions in mathematics and physics were organized around algebraic structures such as groups, rings, and fields. These techniques are not well-suited to modeling and solving non-linear problems.
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110769336
Category : Mathematics
Languages : en
Pages : 303
Book Description
Tropical Mathematics built on Idempotent Semi-Rings and Dioids permits an extension of the usual Linear methods to Non-Linear problems and provides powerful analyzing and computing in Theoretical Physics and Applied Mathematics. Until recently, solutions in mathematics and physics were organized around algebraic structures such as groups, rings, and fields. These techniques are not well-suited to modeling and solving non-linear problems.
Generic Inference
Author: Marc Pouly
Publisher: John Wiley & Sons
ISBN: 1118010868
Category : Technology & Engineering
Languages : en
Pages : 380
Book Description
This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work.
Publisher: John Wiley & Sons
ISBN: 1118010868
Category : Technology & Engineering
Languages : en
Pages : 380
Book Description
This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work.
Soft Computing: State of the Art Theory and Novel Applications
Author: Ronald R Yager
Publisher: Springer
ISBN: 3642349226
Category : Technology & Engineering
Languages : en
Pages : 316
Book Description
This book is a tribute to Lotfi A. Zadeh, the father of fuzzy logic, on the occasion of his 90th Birthday. The book gathers original scientific contributions written by top scientists and presenting the latest theories, applications and new trends in the fascinating and challenging field of soft computing.
Publisher: Springer
ISBN: 3642349226
Category : Technology & Engineering
Languages : en
Pages : 316
Book Description
This book is a tribute to Lotfi A. Zadeh, the father of fuzzy logic, on the occasion of his 90th Birthday. The book gathers original scientific contributions written by top scientists and presenting the latest theories, applications and new trends in the fascinating and challenging field of soft computing.
Information Processing and Management of Uncertainty in Knowledge-Based Systems
Author: Joao Paulo Carvalho
Publisher: Springer
ISBN: 3319405810
Category : Computers
Languages : en
Pages : 840
Book Description
This two volume set (CCIS 610 and 611) constitute the proceedings of the 16th International Conference on Information processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, held in Eindhoven, The Netherlands, in June 2016. The 127 revised full papers presented together with four invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy measures and integrals; uncertainty quantification with imprecise probability; textual data processing; belief functions theory and its applications; graphical models; fuzzy implications functions; applications in medicine and bioinformatics; real-world applications; soft computing for image processing; clustering; fuzzy logic, formal concept analysis and rough sets; graded and many-valued modal logics; imperfect databases; multiple criteria decision methods; argumentation and belief revision; databases and information systems; conceptual aspects of data aggregation and complex data fusion; fuzzy sets and fuzzy logic; decision support; comparison measures; machine learning; social data processing; temporal data processing; aggregation.
Publisher: Springer
ISBN: 3319405810
Category : Computers
Languages : en
Pages : 840
Book Description
This two volume set (CCIS 610 and 611) constitute the proceedings of the 16th International Conference on Information processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, held in Eindhoven, The Netherlands, in June 2016. The 127 revised full papers presented together with four invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on fuzzy measures and integrals; uncertainty quantification with imprecise probability; textual data processing; belief functions theory and its applications; graphical models; fuzzy implications functions; applications in medicine and bioinformatics; real-world applications; soft computing for image processing; clustering; fuzzy logic, formal concept analysis and rough sets; graded and many-valued modal logics; imperfect databases; multiple criteria decision methods; argumentation and belief revision; databases and information systems; conceptual aspects of data aggregation and complex data fusion; fuzzy sets and fuzzy logic; decision support; comparison measures; machine learning; social data processing; temporal data processing; aggregation.