Graph-Theoretic Concepts in Computer Science, Manfred Nagl

Автор: 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.

Автор: 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.

Автор: Ernst W. Mayr
Название: Graph-Theoretic Concepts in Computer Science
ISBN: 3540564020 ISBN-13(EAN): 9783540564027
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume, based on the 18th International Workshop in Graph-Theoretic Concepts in Computer Science, is divided into parts on restricted graph classes, scheduling and related problems, parallel and distributed algorithms, combinatorial graph problems and other topics.

Автор: 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.

Автор: 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.

Автор: 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.

Название: 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.

Автор: Thomas Piecha; Peter Schroeder-Heister
Название: Advances in Proof-Theoretic Semantics
ISBN: 3319226851 ISBN-13(EAN): 9783319226859
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.

The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in T bingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Автор: 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.

Автор: Gustavo Deco; Dragan Obradovic
Название: An Information-Theoretic Approach to Neural Computing
ISBN: 0387946667 ISBN-13(EAN): 9780387946665
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Neural networks provide powerful technology to model and control nonlinear and complex systems. This book presents a detailed formulation of neural networks from the information-theoretic viewpoint, showing how this perspective provides insights into the design theory of neural networks.

Автор: 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.