Author: Mariana Durcheva
Publisher: Cambridge Scholars Publishing
ISBN: 1527543315
Category : Mathematics
Languages : en
Pages : 132
Get Book Here
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.
Author: Elisabetta Di Nitto
Publisher: MIT Press
ISBN: 0262042533
Category : Application program interfaces (Computer software)
Languages : en
Pages : 577
Get Book Here
Book Description
Research results from industry-academic collaborative projects in service-oriented computing describe practical, achievable solutions. Service-Oriented Applications and Architectures (SOAs) have captured the interest of industry as a way to support business-to-business interaction, and the SOA market grew by $4.9 billion in 2005. SOAs and in particular service-oriented computing (SOC) represent a promising approach in the development of adaptive distributed systems. With SOC, applications can open themselves to services offered by third parties and accessed through standard, well-defined interfaces. The binding between the applications and the services can be, in this context, extremely loose--enabling the ad hoc creation of new services when the need arises. This book offers an overview of some current research in the field, presenting the results of eighteen research projects funded by the European Community's Information Society Technologies Program (IST). The projects, collaborations between industry and academia, have produced practical, achievable results that point the way to real-world applications and future research. The chapters address such issues as requirement analysis, design, governance, interoperability, and the dependability of systems made up of components owned by third parties. The results are presented in the context of two roadmaps for research, one developed by European industry involved in software development and the other by researchers working in the service area. The contributors report first on the "Infrastructure Layer," then (in the bulk of the book) on the "Service Integration Layer," the "Semantic Layer," and finally on the issues that cut across the different layers. The book concludes by looking at ongoing research on both roadmaps.
Author: Gene Abrams
Publisher: Springer
ISBN: 1447173449
Category : Mathematics
Languages : en
Pages : 296
Get Book Here
Book Description
This book offers a comprehensive introduction by three of the leading experts in the field, collecting fundamental results and open problems in a single volume. Since Leavitt path algebras were first defined in 2005, interest in these algebras has grown substantially, with ring theorists as well as researchers working in graph C*-algebras, group theory and symbolic dynamics attracted to the topic. Providing a historical perspective on the subject, the authors review existing arguments, establish new results, and outline the major themes and ring-theoretic concepts, such as the ideal structure, Z-grading and the close link between Leavitt path algebras and graph C*-algebras. The book also presents key lines of current research, including the Algebraic Kirchberg Phillips Question, various additional classification questions, and connections to noncommutative algebraic geometry. Leavitt Path Algebras will appeal to graduate students and researchers working in the field and related areas, such as C*-algebras and symbolic dynamics. With its descriptive writing style, this book is highly accessible.
Author: Hans Rademacher
Publisher: Princeton University Press
ISBN: 1400876087
Category : Mathematics
Languages : en
Pages : 214
Get Book Here
Book Description
What is so special about the number 30? How many colors are needed to color a map? Do the prime numbers go on forever? Are there more whole numbers than even numbers? These and other mathematical puzzles are explored in this delightful book by two eminent mathematicians. Requiring no more background than plane geometry and elementary algebra, this book leads the reader into some of the most fundamental ideas of mathematics, the ideas that make the subject exciting and interesting. Explaining clearly how each problem has arisen and, in some cases, resolved, Hans Rademacher and Otto Toeplitz's deep curiosity for the subject and their outstanding pedagogical talents shine through. Originally published in 1957. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
Author: Artur S. d'Avila Garcez
Publisher: Springer Science & Business Media
ISBN: 1447102118
Category : Computers
Languages : en
Pages : 276
Get Book Here
Book Description
Artificial Intelligence is concerned with producing devices that help or replace human beings in their daily activities. Neural-symbolic learning systems play a central role in this task by combining, and trying to benefit from, the advantages of both the neural and symbolic paradigms of artificial intelligence. This book provides a comprehensive introduction to the field of neural-symbolic learning systems, and an invaluable overview of the latest research issues in this area. It is divided into three sections, covering the main topics of neural-symbolic integration - theoretical advances in knowledge representation and learning, knowledge extraction from trained neural networks, and inconsistency handling in neural-symbolic systems. Each section provides a balance of theory and practice, giving the results of applications using real-world problems in areas such as DNA sequence analysis, power systems fault diagnosis, and software requirements specifications. Neural-Symbolic Learning Systems will be invaluable reading for researchers and graduate students in Engineering, Computing Science, Artificial Intelligence, Machine Learning and Neurocomputing. It will also be of interest to Intelligent Systems practitioners and anyone interested in applications of hybrid artificial intelligence systems.
Author: Peter Brass
Publisher: Springer Science & Business Media
ISBN: 0387299297
Category : Mathematics
Languages : en
Pages : 507
Get Book Here
Book Description
This book is the result of a 25-year-old project and comprises a collection of more than 500 attractive open problems in the field. The largely self-contained chapters provide a broad overview of discrete geometry, along with historical details and the most important partial results related to these problems. This book is intended as a source book for both professional mathematicians and graduate students who love beautiful mathematical questions, are willing to spend sleepless nights thinking about them, and who would like to get involved in mathematical research.
Author: Thomas H. Cormen
Publisher: MIT Press
ISBN: 0262258102
Category : Computers
Languages : en
Pages : 1313
Get Book Here
Book Description
The latest edition of the essential text and professional reference, with substantial new material on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-based flow. Some books on algorithms are rigorous but incomplete; others cover masses of material but lack rigor. Introduction to Algorithms uniquely combines rigor and comprehensiveness. The book covers a broad range of algorithms in depth, yet makes their design and analysis accessible to all levels of readers. Each chapter is relatively self-contained and can be used as a unit of study. The algorithms are described in English and in a pseudocode designed to be readable by anyone who has done a little programming. The explanations have been kept elementary without sacrificing depth of coverage or mathematical rigor. The first edition became a widely used text in universities worldwide as well as the standard reference for professionals. The second edition featured new chapters on the role of algorithms, probabilistic analysis and randomized algorithms, and linear programming. The third edition has been revised and updated throughout. It includes two completely new chapters, on van Emde Boas trees and multithreaded algorithms, substantial additions to the chapter on recurrence (now called “Divide-and-Conquer”), and an appendix on matrices. It features improved treatment of dynamic programming and greedy algorithms and a new notion of edge-based flow in the material on flow networks. Many exercises and problems have been added for this edition. The international paperback edition is no longer available; the hardcover is available worldwide.
Author: Xukai Zou
Publisher: Springer Science & Business Media
ISBN: 038722971X
Category : Computers
Languages : en
Pages : 183
Get Book Here
Book Description
The ubiquitous nature of the Internet is enabling a new generation of - pUcations to support collaborative work among geographically distant users. Security in such an environment is of utmost importance to safeguard the pri vacy of the communication and to ensure the integrity of the applications. 'Secure group communications' (SGC) refers to a scenario in which a group of participants can receive and send messages to group members, in a way that outsiders are unable to glean any information even when they are able to intercept the messages. SGC is becoming extremely important for researchers and practitioners because many applications that require SGC are now widely used, such as teleconferencing, tele-medicine, real-time information services, distributed interactive simulations, collaborative work, grid computing, and the deployment of VPN (Virtual Private Networks). Even though considerable research accomplishments have been achieved in SGC, few books exist on this very important topic. The purpose of this book is to provide a comprehensive survey of principles and state-of-the-art techniques for secure group communications over data net works. The book is targeted towards practitioners, researchers and students in the fields of networking, security, and software applications development. The book consists of 7 chapters, which are listed and described as follows.
Author: Jonathan S. Golan
Publisher: Springer Science & Business Media
ISBN: 9401593337
Category : Mathematics
Languages : en
Pages : 376
Get Book Here
Book Description
There is no branch of mathematics, however abstract, which may not some day be applied to phenomena of the real world. - Nikolai Ivanovich Lobatchevsky This book is an extensively-revised and expanded version of "The Theory of Semirings, with Applicationsin Mathematics and Theoretical Computer Science" [Golan, 1992], first published by Longman. When that book went out of print, it became clear - in light of the significant advances in semiring theory over the past years and its new important applications in such areas as idempotent analysis and the theory of discrete-event dynamical systems - that a second edition incorporating minor changes would not be sufficient and that a major revision of the book was in order. Therefore, though the structure of the first «dition was preserved, the text was extensively rewritten and substantially expanded. In particular, references to many interesting and applications of semiring theory, developed in the past few years, had to be added. Unfortunately, I find that it is best not to go into these applications in detail, for that would entail long digressions into various domains of pure and applied mathematics which would only detract from the unity of the volume and increase its length considerably. However, I have tried to provide an extensive collection of examples to arouse the reader's interest in applications, as well as sufficient citations to allow the interested reader to locate them. For the reader's convenience, an index to these citations is given at the end of the book .
Author: Peter Morris
Publisher: Springer Science & Business Media
ISBN: 1461243165
Category : Mathematics
Languages : en
Pages : 240
Get Book Here
Book Description
This advanced textbook covers the central topics in game theory and provides a strong basis from which readers can go on to more advanced topics. The subject matter is approached in a mathematically rigorous, yet lively and interesting way. New definitions and topics are motivated as thoroughly as possible. Coverage includes the idea of iterated Prisoner's Dilemma (super games) and challenging game-playing computer programs.
