Sequential and Parallel Algorithms and Data Structures,
Автор: Erciyes, Kayhan Название: Distributed and sequential algorithms for bioinformatics ISBN: 3319249649 ISBN-13(EAN): 9783319249643 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This unique textbook/reference presents unified coverage of bioinformatics topics relating to both biological sequences and biological networks, providing an in-depth analysis of cutting-edge distributed algorithms, as well as of relevant sequential algorithms. In addition to introducing the latest algorithms in this area, more than fifteen new distributed algorithms are also proposed. Topics and features: reviews a range of open challenges in biological sequences and networks; describes in detail both sequential and parallel/distributed algorithms for each problem; suggests approaches for distributed algorithms as possible extensions to sequential algorithms, when the distributed algorithms for the topic are scarce; proposes a number of new distributed algorithms in each chapter, to serve as potential starting points for further research; concludes each chapter with self-test exercises, a summary of the key points, a comparison of the algorithms described, and a literature review.
Описание: This book highlights a new direction of multiobjective optimization. It introduces sophisticated methods for sequential approximate multiobjective optimization using computational intelligence along with real applications, mainly engineering problems.
Автор: Rubinstein Reuven Y Название: Fast Sequential Monte Carlo Methods for Counting and Optimiz ISBN: 1118612264 ISBN-13(EAN): 9781118612262 Издательство: Wiley Рейтинг: Цена: 16307.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the first comprehensive account of fast sequential Monte Carlo (SMC) methods for counting and optimization at an exceptionally accessible level. Written by authorities in the field, it places great emphasis on cross-entropy, minimum cross-entropy, splitting, and stochastic enumeration.
Автор: Krzysztof R. Apt; Amir Pnueli; Frank S. de Boer; E Название: Verification of Sequential and Concurrent Programs ISBN: 1447125134 ISBN-13(EAN): 9781447125136 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Автор: Cavanagh Название: Sequential Logic and Verilog HDL Fundamentals ISBN: 1498738222 ISBN-13(EAN): 9781498738224 Издательство: Taylor&Francis Рейтинг: Цена: 28327.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Sequential Logic and Verilog HDL Fundamentals discusses the analysis and synthesis of synchronous and asynchronous sequential machines. These machines are implemented using Verilog Hardware Description Language (HDL), in accordance with the Institute of Electrical and Electronics Engineers (IEEE) Standard: 1364-1995.
The book concentrates on sequential logic design with a focus on the design of various Verilog HDL projects.Emphasis is placed on structured and rigorous design principles that can be applied to practical applications. Each step of the analysis and synthesis procedures is clearly delineated. Each method that is presented is expounded in sufficient detail with accompanying examples. Many analysis and synthesis examples use mixed-logic symbols incorporating both positive- and negative-input logic gates for NAND (not AND) and NOR (not OR) logic, while other examples utilize only positive-input logic gates. The use of mixed logic parallels the use of these symbols in the industry.
The bookis intended to be a tutorial, and as such, is comprehensive and self-contained. All designs are carried through to completion--nothing is left unfinished or partially designed. Each chapter contains numerous problems of varying complexity to be designed by the reader using Verilog HDL design techniques. The Verilog HDL designs include the design module, the test bench module that tests the design for correct functionality, the outputs obtained from the test bench, and the waveforms obtained from the test bench.
Sequential Logic and Verilog HDL Fundamentals presents Verilog HDL with numerous design examples to help the reader thoroughly understand this popular hardware description language. The book is designed for practicing electrical engineers, computer engineers, and computer scientists; for graduate students in electrical engineering, computer engineering, and computer science; and for senior-level undergraduate students.
Автор: Wei Wang; Jiong Yang Название: Mining Sequential Patterns from Large Data Sets ISBN: 1441937072 ISBN-13(EAN): 9781441937070 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Serovajsky Название: Sequential Models of Mathematical Physics ISBN: 1138601039 ISBN-13(EAN): 9781138601031 Издательство: Taylor&Francis Рейтинг: Цена: 17609.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In Sequential Models of Mathematical Physics, the author considers the justification of the process of constructing mathematical models.
Автор: Speight J Martin Название: Sequential Introduction To Real Analysis, A ISBN: 1783267828 ISBN-13(EAN): 9781783267828 Издательство: World Scientific Publishing Рейтинг: Цена: 9821.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Real analysis provides the fundamental underpinnings for calculus, arguably the most useful and influential mathematical idea ever invented.
Описание: 1 The Importance of Irreversibility and Learning - Familiar 11 Bxamples Revisited 1. 3 Conclusions 30 2 The Role of Irreversibility and Learning in Sequential Decision Problems - Basic Concepts 33 2. 2 Economic Examples 37 2. 2 The Two-Period Model with Uncertainty 46 2. 2 An Example: Money Demand as Demand for Flexibility 61 2.
Автор: Speight J Martin Название: Sequential Introduction To Real Analysis, A ISBN: 1783267836 ISBN-13(EAN): 9781783267835 Издательство: World Scientific Publishing Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Real analysis provides the fundamental underpinnings for calculus, arguably the most useful and influential mathematical idea ever invented.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru