close
1.

図書

図書
Alexander K. Hartmann, Heiko Rieger
出版情報: Berlin : Wiley-VCH, c2002  x, 372 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction to Optimization / 1:
Bibliography
Complexity Theory / 2:
Algorithms / 2.1:
Time Complexity / 2.2:
NP Completeness / 2.3:
Programming Techniques / 2.4:
Graphs / 3:
Trees and Lists / 3.1:
Networks / 3.3:
Graph Representations / 3.4:
Basic Graph Algorithms / 3.5:
NP-Complete Graph Problems / 3.6:
Simple Graph Algorithms / 4:
The Connectivity-percolation Problem / 4.1:
Hoshen-Kopelman Algorithm / 4.1.1:
Other Algorithms for Connectivity Percolation / 4.1.2:
General Search Algorithms / 4.1.3:
Shortest-path Algorithms / 4.2:
The Directed Polymer in a Random Medium / 4.2.1:
Dijkstra's Algorithm / 4.2.2:
Label-correcting Algorithm / 4.2.3:
Minimum Spanning Tree / 4.3:
Introduction to Statistical Physics / 5:
Basics of Statistical Physics / 5.1:
Phase Transitions / 5.2:
Percolation and Finite-size Scaling / 5.3:
Magnetic Transition / 5.4:
Disordered Systems / 5.5:
Maximum-flow Methods / 6:
Random-field Systems and Diluted Antiferromagnets / 6.1:
Transformation to a Graph / 6.2:
Simple Maximum Flow Algorithms / 6.3:
Dinic's Method and the Wave Algorithm / 6.4:
Calculating all Ground States / 6.5:
Results for the RFIM and the DAFF / 6.6:
Minimum-cost Flows / 7:
Motivation / 7.1:
The Solution of the N-Line Problem / 7.2:
Convex Mincost-flow Problems in Physics / 7.3:
General Minimum-cost-flow Algorithms / 7.4:
Miscellaneous Results for Different Models / 7.5:
Genetic Algorithms / 8:
The Basic Scheme / 8.1:
Finding the Minimum of a Function / 8.2:
Ground States of One-dimensional Quantum Systems / 8.3:
Orbital Parameters of Interacting Galaxies / 8.4:
Approximation Methods for Spin Glasses / 9:
Spin Glasses / 9.1:
Experimental Results / 9.1.1:
Theoretical Approaches / 9.1.2:
Genetic Cluster-exact Approximation / 9.2:
Energy and Ground-state Statistics / 9.3:
Ballistic Search / 9.4:
Results / 9.5:
Matchings / 10:
Matching and Spin Glasses / 10.1:
Definition of the General Matching Problem / 10.2:
Augmenting Paths / 10.3:
Matching Algorithms / 10.4:
Maximum-cardinality Matching on Bipartite Graphs / 10.4.1:
Minimum-weight Perfect Bipartite Matching / 10.4.2:
Cardinality Matching on General Graphs / 10.4.3:
Minimum-weight Perfect Matching for General Graphs / 10.4.4:
Ground-state Calculations in 2d / 10.5:
Monte Carlo Methods / 11:
Stochastic Optimization: Simple Concepts / 11.1:
Simulated Annealing / 11.2:
Parallel Tempering / 11.3:
Prune-enriched Rosenbluth Method (PERM) / 11.4:
Protein Folding / 11.5:
Branch-and-bound Methods / 12:
Vertex Covers / 12.1:
Numerical Methods / 12.2:
Practical Issues / 12.3:
Software Engineering / 13.1:
Object-oriented Software Development / 13.2:
Programming Style / 13.3:
Programming Tools / 13.4:
Using Macros / 13.4.1:
Make Files / 13.4.2:
Scripts / 13.4.3:
Libraries / 13.5:
Numerical Recipes / 13.5.1:
LEDA / 13.5.2:
Creating your own Libraries / 13.5.3:
Random Numbers / 13.6:
Generating Random Numbers / 13.6.1:
Inversion Method / 13.6.2:
Rejection Method / 13.6.3:
The Gaussian Distribution / 13.6.4:
Tools for Testing / 13.7:
gdb / 13.7.1:
ddd / 13.7.2:
checkergcc / 13.7.3:
Evaluating Data / 13.8:
Data Plotting / 13.8.1:
Curve Fitting / 13.8.2:
Finite-size Scaling / 13.8.3:
Information Retrieval and Publishing / 13.9:
Searching for Literature / 13.9.1:
Preparing Publications / 13.9.2:
Index
Introduction to Optimization / 1:
Bibliography
Complexity Theory / 2:
2.

図書

図書
Anany Levitin and Maria Levitin
出版情報: New York : Oxford University Press, c2011  xxi, 257 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
List of Puzzles
Tutorial Puzzles
Main Section Puzzles
The Epigraph Puzzle: Who said what?
Tutorials / 1:
General Strategies for Algorithm Design
Analysis Techniques
Puzzles / 2:
Easier Puzzles (#1 to #50)
Puzzles of Medium Difficulty (#51 to #110)
Harder Puzzles (#111 to #150)
Hints / 3:
Solutions / 4:
References
Design Strategy and Analysis Index
Index of Terms and Names
Preface
Acknowledgments
List of Puzzles
3.

図書

図書
Marc van Kreveld ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c1997  xiv, 287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1340
所蔵情報: loading…
4.

図書

図書
Eugene L. Lawler
出版情報: New York : Holt, Rinehart and Winston, c1976  x, 374 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introducton / 1:
Mathematical Preliminaries / 2:
Shortest Paths / 3:
Network Flows / 4:
Bipartite Matching / 5:
Nonbipartite Matching / 6:
Matroids and the Greedy Algorithm / 7:
Matroid Intersections / 8:
The Matroid Parity Problem / 9:
Author Index
Subject Index
Preface
Introducton / 1:
Mathematical Preliminaries / 2:
5.

図書

図書
Lawrence A. Klein
出版情報: Bellingham, Wash., USA : SPIE Optical Engineering Press, c1993  xviii, 131 p. ; 26 cm
シリーズ名: Tutorial texts in optical engineering ; v. TT 14
所蔵情報: loading…
6.

図書

図書
edited by Ion I. Măndoiu and Alexander Zelikovsky
出版情報: Hoboken, N.J. : Wiley-Interscience, c2008  xiv, 500 p. ; 25 cm
シリーズ名: Wiley series on bioinformatics : computational techniques and engineering / series editors, Yi Pan and Albert Y. Zomaya
所蔵情報: loading…
目次情報: 続きを見る
Preface
Contributors
Educating Biologists in the 21st Century: Bioinformatics Scientists versus Bioinformatics Technicians / Pavel Pevzner1:
Techniques / Part I:
Dynamic Programming Algorithms for Biological Sequence and Structure Comparison / Yuzhen Ye ; Haixu Tang2:
Graph Theoretical Approaches to Delineate Dynamics of Biological Processes / Teresa M. Przytycka ; Elena Zotenko3:
Advances in Hidden Markov Models for Sequence Annotation / Brona Brejova ; Daniel G. Brown ; Tomas Vinar4:
Sorting- and FFT-Based Techniques in the Discovery of Biopatterns / Sudha Balla ; Sanguthevar Rajasekaran ; Jaime Davila5:
A Survey of Seeding for Sequence Alignment / 6:
The Comparison of Phylogenetic Networks: Algorithms and Complexity / Paola Bonizzoni ; Gianluca Della Vedova ; Riccardo Dondi ; Giancarlo Mauri7:
Genome and Sequence Analysis / Part II:
Formal Models of Gene Clusters / Anne Bergeron ; Cedric Chauve ; Yannick Gingras8:
Integer Linear Programming Techniques for Discovering Approximate Gene Clusters / Sven Rahmann ; Gunnar W. Klau9:
Efficient Combinatorial Algorithms for DNA Sequence Processing / Bhaskar DasGupta ; Ming-Yang Kao10:
Algorithms for Multiplex PCR Primer Set Selection with Amplification Length Constraints / K.M. Konwar ; I.I. Mandoiu ; A.C. Russell ; A.A. Shvartsman11:
Recent Developments in Alignment and Motif Finding for Sequences and Networks / Sing-Hoi Sze12:
Microarray Design and Data Analysis / Part III:
Algorithms for Oligonucleotide Microarray Layout / Sergio A. De Carvalho Jr.13:
Classification Accuracy Based Microarray Missing Value Imputation / Yi Shi ; Zhipeng Cai ; Guohui Lin14:
Meta-Analysis of Microarray Data / Saumyadipta Pyne ; Steve Skiena ; Bruce Futcher15:
Genetic Variation Analysis / Part IV:
Phasing Genotypes Using a Hidden Markov Model / P. Rastas ; M. Koivisto ; H. Mannila ; E. Ukkonen16:
Analytical and Algorithmic Methods for Haplotype Frequency Inference: What Do They Tell Us? / Steven Hecht Orzack ; Daniel Gusfield ; Lakshman Subrahmanyan ; Laurent Essioux ; Sebastien Lissarrague17:
Optimization Methods for Genotype Data Analysis in Epidemiological Studies / Dumitru Brinza ; Jingwu He ; Alexander Zelikovsky18:
Structural and Systems Biology / Part V:
Topological Indices in Combinatorial Chemistry / Sergey Bereg19:
Efficient Algorithms for Structural Recall in Databases / Hao Wang ; Patra Volarath ; Robert W. Harrison20:
Computational Approaches to Predict Protein-Protein and Domain-Domain Interactions / Raja Jothi21:
Index
Preface
Contributors
Educating Biologists in the 21st Century: Bioinformatics Scientists versus Bioinformatics Technicians / Pavel Pevzner1:
7.

図書

図書
Pavel A. Pevzner
出版情報: Cambridge, Mass. : MIT Press, c2000  xviii, 314 p. ; 24 cm
シリーズ名: Computational molecular biology
所蔵情報: loading…
8.

図書

図書
by Victor N. Kasyanov and Vladimir A. Evstigneev ; [translated by P. Malyshev]
出版情報: Dordrecht ; Boston : Kluwer Academic Publishers, c2000  x, 432 p. ; 25 cm
シリーズ名: Mathematics and its applications ; v. 515
所蔵情報: loading…
目次情報: 続きを見る
Preface
Basic Concepts and Algorithms / Part 1.:
Trees and Their Properties / Chapter 1.:
Introduction and Basic Definitions / 1.1.:
Representations of Trees / 1.2.:
Numbering and Calculation of Trees / 1.3.:
Bibliographical Notes / 1.4.:
References
Computational Models. Complexity and Fundamental Algorithms / Chapter 2.:
Introduction: Algorithm Representation Language / 2.1.:
Depth-First and Breadth-First Traversals of Graphs and Trees / 2.2.:
Generation of Trees / 2.3.:
Spanning Trees / 2.4.:
The Problem of Finding the Optimal Spanning Tree / 3.1.:
Algorithms of Numbering of All Spanning Trees / 3.2.:
Search of Spanning Trees with Given Properties / 3.3.:
Translation and Transformation of Programs / 3.4.:
Structural Trees / Chapter 4.:
Introduction and Principal Definitions / 4.1.:
Hierarchical Representations of Regularizable CF-Graphs / 4.2.:
Hammock Representations of CF-Graphs / 4.3.:
Exposure of the Dominance Relation / 4.4.:
Isomorphism, Unification, and Term-Rewriting Systems / 4.5.:
Isomorphisms of Trees / 5.1.:
Problem of Unification / 5.2.:
Term-Rewriting Systems / 5.3.:
Syntax Trees / 5.4.:
Language Syntax and the Problem of Syntax Analysis / 6.1.:
Generative Grammars / 6.2.:
Syntax Analysis / 6.3.:
Translation and Constructors of Analyzers / 6.4.:
Search and Storage of Information / 6.5.:
Information Trees / Chapter 7.:
Balanced Trees / 7.1.:
Multidimensional Trees (k-d-Trees) / 7.2.:
Trees for Multilevel Memory / 7.3.:
B-Trees / 8.1.:
Generalizations of B-Trees / 8.2.:
Multidimensional B-Trees / 8.3.:
Multiattribute Trees / 8.4.:
Additional List of Literature / 8.5.:
Subject Index
Preface
Basic Concepts and Algorithms / Part 1.:
Trees and Their Properties / Chapter 1.:
9.

図書

図書
edited and with a new preface by Emile Aarts and Jan Karel Lenstra
出版情報: Princeton, NJ : Princeton University Press, c2003  xii, 512 p. ; 24 cm
所蔵情報: loading…
10.

図書

図書
Vincent van Oostrom (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 311 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3091
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼