Автор: Przemys?aw Broniek Название: Computational Complexity of Solving Equation Systems ISBN: 3319217496 ISBN-13(EAN): 9783319217499 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since unary algebras admit only type 1, this book focuses on these algebras to tackle the main problem. It discusses several aspects of unary algebras and proves that the Constraint Satisfaction Problem for relational structures is polynomially equivalent to SysTermSat over unary algebras.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Dieter van Melkebeek Название: Randomness and Completeness in Computational Complexity ISBN: 3540414924 ISBN-13(EAN): 9783540414926 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text, based on the author`s competition-winning PhD thesis, studies central issues in computational complexity: the relative power of time, space, and randomness in computing and verification. He presents approaches based on such concepts as density, redundancy, and frequency of occurrence.
Автор: Osamu Watanabe Название: Kolmogorov Complexity and Computational Complexity ISBN: 3642777376 ISBN-13(EAN): 9783642777370 Издательство: Springer Рейтинг: Цена: 15855.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The mathematical theory of computation has given rise to two important ap- proaches to the informal notion of "complexity": Kolmogorov complexity, usu- ally a complexity measure for a single object such as a string, a sequence etc., measures the amount of information necessary to describe the object.
Автор: Miklos Название: Computational Complexity of Counting and Sampling ISBN: 1138070831 ISBN-13(EAN): 9781138070837 Издательство: Taylor&Francis Рейтинг: Цена: 35983.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The purpose of the book is to give a comprehensive and detailed introduction to the computational complexity of counting and sampling. The book consists of three main topics: I. Counting problems that are solvable in polynomial running time, II. Approximation algorithms for counting and sampling, III. Holographic algorithms.
Описание: THE SERIES: INTELLIGENT BIOMEDICAL DATA ANALYSIS By focusing on the methods and tools for intelligent data analysis, this series aims to narrow the increasing gap between data gathering and data comprehension. Emphasis is also given to the problems resulting from automated data collection in modern hospitals, such as analysis of computer-based patient records, data warehousing tools, intelligent alarming, effective and efficient monitoring. In medicine, overcoming this gap is crucial since medical decision making needs to be supported by arguments based on existing medical knowledge as well as information, regularities and trends extracted from big data sets.
Автор: Barab?si Название: Network Science ISBN: 1107076269 ISBN-13(EAN): 9781107076266 Издательство: Cambridge Academ Рейтинг: Цена: 7762.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Illustrated throughout in full colour, this pioneering textbook, spanning a wide range of disciplines from physics to the social sciences, is the only book needed for an introduction to network science. In modular format, with clear delineation between undergraduate and graduate material, its unique design is supported by extensive online resources.
Описание: Integer linear programming is a versatile modeling and optimization technique with potential to transform biological computation. This hands-on text, designed for students, researchers, and professionals in both biology and computational fields, demonstrates applications in genomics, RNA and protein folding, DNA sequencing, phylogenetics, and more.
Автор: David Taniar; Osvaldo Gervasi; Beniamino Murgante; Название: Computational Science and Its Applications - ICCSA 2010 ISBN: 3642121640 ISBN-13(EAN): 9783642121647 Издательство: Springer Рейтинг: Цена: 14635.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes the refereed proceedings of the International Conference on Computational Science and Its Applications, ICCSA 2010, held in Fukuoka, Japan, in March 2010. This title covers topics such as geographical analysis, urban modeling, spatial statistics, wireless and ad hoc networking, and sensor network and its applications.
Автор: Reneta P. Barneva; Valentin E. Brimkov; Herbert A. Название: Computational Modeling of Objects Represented in Images ISBN: 3642127118 ISBN-13(EAN): 9783642127113 Издательство: Springer Рейтинг: Цена: 9146.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the International Symposium `Computational Modeling of Objects Represented in Images: Fundamentals, Methods and Applications`, CompIMAGE 2010, held in Buffalo, NY, in May 2010.
Автор: David Taniar; Osvaldo Gervasi; Beniamino Murgante; Название: Computational Science and Its Applications - ICCSA 2010 ISBN: 3642121780 ISBN-13(EAN): 9783642121784 Издательство: Springer Рейтинг: Цена: 12805.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This four-volume set synthesizes the International Conference on Computational Science and Its Applications, ICCSA 2010. Topics include computational methods, algorithms and scientific application, high performance computing and networks, and more.
Автор: Serafim Batzoglou Название: Research in Computational Molecular Biology ISBN: 3642020070 ISBN-13(EAN): 9783642020070 Издательство: Springer Рейтинг: Цена: 12196.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 13th Annual International Conference RECOMB 2009 Tucson Arizona USA May 1821 2009 Proceedings. .
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
