Graph-Theoretic Concepts in Computer Science, Ernst W. Mayr
Название: A group theoretic approach to quantum information ISBN: 3319452398 ISBN-13(EAN): 9783319452395 Издательство: Springer Рейтинг: Цена: 7965.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the first one addressing quantum information from the viewpoint of group symmetry. Quantum systems have a group symmetrical structure. This structure enables to handle systematically quantum information processing. However, there is no other textbook focusing on group symmetry for quantum information although there exist many textbooks for group representation. After the mathematical preparation of quantum information, this book discusses quantum entanglement and its quantification by using group symmetry. Group symmetry drastically simplifies the calculation of several entanglement measures although their calculations are usually very difficult to handle. This book treats optimal information processes including quantum state estimation, quantum state cloning, estimation of group action and quantum channel etc. Usually it is very difficult to derive the optimal quantum information processes without asymptotic setting of these topics. However, group symmetry allows to derive these optimal solutions without assuming the asymptotic setting. Next, this book addresses the quantum error correcting code with the symmetric structure of Weyl-Heisenberg groups. This structure leads to understand the quantum error correcting code systematically. Finally, this book focuses on the quantum universal information protocols by using the group SU(d). This topic can be regarded as a quantum version of the Csiszar-Korner's universal coding theory with the type method. The required mathematical knowledge about group representation is summarized in the companion book, Group Representation for Quantum Theory.
Описание: This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.
Автор: Josep Diaz; Ivan Lanese; Davide Sangiorgi Название: Theoretical Computer Science ISBN: 3662446014 ISBN-13(EAN): 9783662446010 Издательство: Springer Рейтинг: Цена: 10202.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.
Автор: Antonio Restivo; Simona Ronchi Della Rocca; Luca R Название: Theoretical Computer Science ISBN: 3540426728 ISBN-13(EAN): 9783540426721 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the 7th Italian Conference on Theoretical Computer Science, held in Italy in 2001. The 25 full papers and two invited papers include work on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility.
Автор: Rolf H. M?hring Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540538321 ISBN-13(EAN): 9783540538325 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume gives the proceedings of WG `90, organized into sections on: Graph algorithms and complexity, VLSI layout, Multiprocessor systems and concurrency, Computational geometry, Graphs, languages and databases, Graph grammars.
Автор: Rolf H. M?hring Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540637575 ISBN-13(EAN): 9783540637578 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents 28 full papers presented at the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science. It addresses a variety of graph-theoretic issues such as graph algorithms, cycles, graph decomposition, interconnection networks, local search, and graph orderings.
Автор: Manfred Nagl Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540522921 ISBN-13(EAN): 9783540522928 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of a workshop which aims to integrate theory and applications, and to find out mechanisms, concepts or tools which facilitate the implementation of solutions based on graphs. This book also covers numerous applications.
Автор: Peter Widmayer; Gabriele Neyer; Stephan Eidenbenz Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540667318 ISBN-13(EAN): 9783540667315 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 25th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'99) celebrated the anniversaryof the workshop series at the Centro Stefano Franscini on Monte Verit a, Ascona, Switzerland, from June 17 to 19, 1999. It was organized byETH Z]urich, sponsored byETH, the Centro Stefano Franscini, the Swiss National Science Foundation, and Swissphone. The workshop looks back on a remarkable tradition of a quarter century, with predecessors organized at various places in Europe. WG'99 has been an insp- ing mix of questions from theoryand practice, and of 74 young scientists and established researchers from all over the world, including Bangladesh, Belgium, Canada, the Czech Republic, France, Germany, Israel, Italy, Japan, Korea, the Netherlands, Russia, the Slovak Republic, Spain, Sweden, Switzerland, the UK, and the USA. Four invited lectures re?ect the history, theory, practice and this year's s- ting. Hartmut Noltemeier as the onlyone of four founding members of the WG series who served on the program committee throughout the entire historyof WG talked about past achievements and future challenges of WG and of the ?eld. Susanne Albers lectured on the theoryof online algorithms. Thomas Lengauer presented practical packing problems from the textile and car manufacturing industries, as well as their solutions. A workshop held at the Centro Stefano Franscini traditionallyo?ers a talk that is open to the general (Italian speaking) public - Nicola Santoro delivered this Stefano Franscini talk byreporting on computer science, school, and community, as seen from the eye of the storm.
Автор: Manfred Nagl Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540606181 ISBN-13(EAN): 9783540606185 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Taken from the WG Workshop series, the papers in this text reflect activities in the field of computer science-oriented graph theory, its computational aspects and its application.
Автор: Skrzypczak Название: Descriptive Set Theoretic Methods in Automata Theory ISBN: 3662529467 ISBN-13(EAN): 9783662529461 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology.'…the thesis of Micha? Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas.” Thomas Colcombet.
Автор: Jose C. Principe Название: Information Theoretic Learning ISBN: 1441915699 ISBN-13(EAN): 9781441915696 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is the first cohesive treatment of ITL algorithms to adapt linear or nonlinear learning machines both in supervised and unsupervised paradigms. It compares the performance of ITL algorithms with the second order counterparts in many applications.
Автор: Thomas Piecha; Peter Schroeder-Heister Название: Advances in Proof-Theoretic Semantics ISBN: 3319367811 ISBN-13(EAN): 9783319367811 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister.- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artлmov.- Chapter 3. Two Ways of General Proof Theory; Kosta Dosen.- Chapter 4. Generalised elimination rules; Roy Dyckhoff.- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnдs.- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges.- Chapter 7. The mode of presentation; Reinhard Kahle.- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz.- Chapter 9. Unification of logics by reflection; Giovanni Sambin.- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Gцran Sundholm.- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait.- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti.- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato.- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing.- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa.- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
