close
1.

電子ブック
ＥＢ
1. Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel, Fred B. Schneider
出版情報: Springer eBooks Computer Science , Springer New York, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
About the Authors
Preface
Introduction / 1：
Similarity of non-rigid shapes / 1.1：
Correspondence problems / 1.2：
A landscape of problems / 1.3：
Notes
A Taste of Geometry / 2：
Basic terms in metric geometry and topology / 2.1：
Isometries / 2.2：
Length spaces / 2.3：
Manifolds / 2.4：
Embedded surfaces / 2.5：
Curvature and the second fundamental form / 2.6：
Intrinsic view on geometry of surfaces / 2.7：
Bending and rigidity / 2.8：
Intrinsic invariants / 2.9：
Suggested reading
Problems
Discrete Geometry / 3：
Point clouds and sampling / 3.1：
Farthest point sampling / 3.2：
Voronoi tessellation / 3.3：
Centroidal Voronoi sampling and the Lloyd-Max algorithm / 3.4：
Connectivity / 3.5：
Delaunay tessellation / 3.6：
Triangular meshes / 3.7：
Local feature size and curvature-dependent sampling / 3.8：
Approximation quality / 3.9：
Software
Shortest Paths and Fast Marching Methods / 4：
The shortest path problem / 4.1：
Dijkstra's shortest path algorithm / 4.2：
Fast marching methods / 4.3：
Fast marching on parametric surfaces / 4.4：
Marching even faster / 4.5：
Parallel distance computation / 4.6：
Minimal geodesics / 4.7：
Numerical Optimization / 5：
Local versus global optimization / 5.1：
Optimality conditions / 5.2：
Unconstrained optimization algorithms / 5.3：
The quest for a descent direction / 5.4：
Preconditioning / 5.5：
Let Newton be! / 5.6：
Truncated Newton / 5.7：
Quasi-Newton algorithms / 5.8：
Non-convex optimization / 5.9：
Constrained optimization / 5.10：
Penalty and barrier methods / 5.11：
Augmented Lagrangian method / 5.12：
In the Rigid Kingdom / 6：
Moments of joy, moments of sorrow / 6.1：
Iterative closest point algorithms / 6.2：
Enter numerical optimization / 6.3：
Rigid correspondence / 6.4：
Multidimensional Scaling / 7：
Isometric embedding problem / 7.1：
Multidimensional scaling / 7.2：
SMACOF algorithm / 7.3：
Second-order methods / 7.4：
Variations on the stress theme / 7.5：
Multiresolution methods / 7.6：
Multigrid MDS / 7.7：
Vector extrapolation / 7.8：
A trouble with topology / 7.9：
Spectral Embedding / 8：
Classic MDS / 8.1：
Local methods / 8.2：
The Laplace-Beltrami operator / 8.3：
To hear the shape of the drum / 8.4：
Discrete Laplace-Beltrami operator / 8.5：
Non-Euclidean Embedding / 9：
Spherical embedding / 9.1：
Generalized multidimensional scaling / 9.2：
Representation issues / 9.3：
Geodesic distance computation / 9.4：
Minimization of the generalized stress / 9.5：
Multiresolution encore / 9.6：
Isometry-Invariant Similarity / 10：
Equivalence, similarity, and distance / 10.1：
Embedding distance / 10.2：
Gromov-Hausdorff distance / 10.3：
Intrinsic symmetry / 10.4：
Partial Similarity / 11：
Recognition by parts / 11.1：
Paretian approach to partial similarity / 11.2：
Scalar partial similarity / 11.3：
Fuzzy approximation / 11.4：
Extrinsic partial similarity / 11.5：
Intrinsic partial similarity / 11.6：
Not only size matters / 11.7：
Non-rigid Correspondence and Calculus of Shapes / 12：
Intrinsic parameterization / 12.1：
An image processing approach / 12.2：
Minimum distortion correspondence / 12.3：
Texture mapping and transfer / 12.4：
Morphing / 12.5：
Guaranteed self-intersection free morph / 12.6：
Calculus of shapes / 12.7：
Three-dimensional Face Recognition / 13：
Some terminology / 13.1：
A retrospective / 13.2：
Isometric model of facial expressions / 13.3：
Expression-invariant face recognition / 13.4：
Comparison of photometric properties / 13.5：
Epilogue / 14：
Solutions of Selected Problems
Notation
Acronyms
Glossary
References
Subject Index
Author Index
Foreword
About the Authors
Preface
2.

電子ブック
ＥＢ
2. Elements of Computation Theory
Arindama Singh, Fred B. Schneider, Fred B. Schneider. edited by David Gries
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Mathematical Preliminaries / 1：
Introduction / 1.1：
Sets / 1.2：
Relations and Graphs / 1.3：
Functions and Counting / 1.4：
Proof Techniques / 1.5：
Summary and Problems / 1.6：
Regular Languages / 2：
Language Basics / 2.1：
Regular Expressions / 2.3：
Regular Grammars / 2.4：
Deterministic Finite Automata / 2.5：
Nondeterministic Finite Automata / 2.6：
Summary and Additional Problems / 2.7：
Equivalences / 3：
NFA to DFA / 3.1：
Finite Automata and Regular Grammars / 3.3：
Regular Expression to NFA / 3.4：
NFA to Regular Expression / 3.5：
Structure of Regular Languages / 3.6：
Closure Properties / 4.1：
Nonregular Languages / 4.3：
Myhill-Nerode Theorem / 4.4：
State Minimization / 4.5：
Context-free Languages / 4.6：
Context-free Grammars / 5.1：
Parse Trees / 5.3：
Ambiguity / 5.4：
Eliminating Ugly Productions / 5.5：
Normal Forms / 5.6：
Structure of CFLs / 5.7：
Pushdown Automata / 6.1：
CFG and PDA / 6.3：
Pumping Lemma / 6.4：
Closure Properties of CFLs / 6.5：
Deterministic Pushdown Automata / 6.6：
Computably Enumerable Languages / 6.7：
Unrestricted Grammars / 7.1：
Turing Machines / 7.3：
Acceptance and Rejection / 7.4：
Using Old Machines / 7.5：
Multitape TMs / 7.6：
Nondeterministic TMs and Grammars / 7.7：
A Noncomputably Enumerable Language / 7.8：
Turing Machines as Computers / 8.1：
TMs as Language Deciders / 8.3：
How Many Machines? / 8.4：
Acceptance Problem / 8.5：
Chomsky Hierarchy / 8.6：
Algorithmic Solvability / 8.7：
Problem Reduction / 9.1：
Rice's Theorem / 9.3：
About Finite Automata / 9.4：
About PDA / 9.5：
Post's Correspondence Problem / 9.6：
About Logical Theories / 9.7：
Other Interesting Problems / 9.8：
Computational Complexity / 9.9：
Rate of Growth of Functions / 10.1：
Complexity Classes / 10.3：
Space Complexity / 10.4：
Time Complexity / 10.5：
The Class NP / 10.6：
NP-Completeness / 10.7：
Some NP-Complete Problems / 10.8：
Dealing with NP-Complete Problems / 10.9：
Answers and Hints to Selected Problems / 10.10：
References
Index
Mathematical Preliminaries / 1：
Introduction / 1.1：
Sets / 1.2：
3.

電子ブック
ＥＢ
3. Practical Introduction to Computer Architecture
Daniel Page, Fred B. Schneider, Fred B. Schneider. edited by David Gries
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Elements of Computation Theory
Arindama Singh, Fred B. Schneider, Fred B. Schneider. edited by David Gries
出版情報: SpringerLink Books - AutoHoldings , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Mathematical Preliminaries / 1：
Introduction / 1.1：
Sets / 1.2：
Relations and Graphs / 1.3：
Functions and Counting / 1.4：
Proof Techniques / 1.5：
Summary and Problems / 1.6：
Regular Languages / 2：
Language Basics / 2.1：
Regular Expressions / 2.3：
Regular Grammars / 2.4：
Deterministic Finite Automata / 2.5：
Nondeterministic Finite Automata / 2.6：
Summary and Additional Problems / 2.7：
Equivalences / 3：
NFA to DFA / 3.1：
Finite Automata and Regular Grammars / 3.3：
Regular Expression to NFA / 3.4：
NFA to Regular Expression / 3.5：
Structure of Regular Languages / 3.6：
Closure Properties / 4.1：
Nonregular Languages / 4.3：
Myhill-Nerode Theorem / 4.4：
State Minimization / 4.5：
Context-free Languages / 4.6：
Context-free Grammars / 5.1：
Parse Trees / 5.3：
Ambiguity / 5.4：
Eliminating Ugly Productions / 5.5：
Normal Forms / 5.6：
Structure of CFLs / 5.7：
Pushdown Automata / 6.1：
CFG and PDA / 6.3：
Pumping Lemma / 6.4：
Closure Properties of CFLs / 6.5：
Deterministic Pushdown Automata / 6.6：
Computably Enumerable Languages / 6.7：
Unrestricted Grammars / 7.1：
Turing Machines / 7.3：
Acceptance and Rejection / 7.4：
Using Old Machines / 7.5：
Multitape TMs / 7.6：
Nondeterministic TMs and Grammars / 7.7：
A Noncomputably Enumerable Language / 7.8：
Turing Machines as Computers / 8.1：
TMs as Language Deciders / 8.3：
How Many Machines? / 8.4：
Acceptance Problem / 8.5：
Chomsky Hierarchy / 8.6：
Algorithmic Solvability / 8.7：
Problem Reduction / 9.1：
Rice's Theorem / 9.3：
About Finite Automata / 9.4：
About PDA / 9.5：
Post's Correspondence Problem / 9.6：
About Logical Theories / 9.7：
Other Interesting Problems / 9.8：
Computational Complexity / 9.9：
Rate of Growth of Functions / 10.1：
Complexity Classes / 10.3：
Space Complexity / 10.4：
Time Complexity / 10.5：
The Class NP / 10.6：
NP-Completeness / 10.7：
Some NP-Complete Problems / 10.8：
Dealing with NP-Complete Problems / 10.9：
Answers and Hints to Selected Problems / 10.10：
References
Index
Mathematical Preliminaries / 1：
Introduction / 1.1：
Sets / 1.2：
5.

電子ブック
ＥＢ
5. Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel, Fred B. Schneider, Michael Bronstein
出版情報: SpringerLink Books - AutoHoldings , Springer New York, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
About the Authors
Preface
Introduction / 1：
Similarity of non-rigid shapes / 1.1：
Correspondence problems / 1.2：
A landscape of problems / 1.3：
Notes
A Taste of Geometry / 2：
Basic terms in metric geometry and topology / 2.1：
Isometries / 2.2：
Length spaces / 2.3：
Manifolds / 2.4：
Embedded surfaces / 2.5：
Curvature and the second fundamental form / 2.6：
Intrinsic view on geometry of surfaces / 2.7：
Bending and rigidity / 2.8：
Intrinsic invariants / 2.9：
Suggested reading
Problems
Discrete Geometry / 3：
Point clouds and sampling / 3.1：
Farthest point sampling / 3.2：
Voronoi tessellation / 3.3：
Centroidal Voronoi sampling and the Lloyd-Max algorithm / 3.4：
Connectivity / 3.5：
Delaunay tessellation / 3.6：
Triangular meshes / 3.7：
Local feature size and curvature-dependent sampling / 3.8：
Approximation quality / 3.9：
Software
Shortest Paths and Fast Marching Methods / 4：
The shortest path problem / 4.1：
Dijkstra's shortest path algorithm / 4.2：
Fast marching methods / 4.3：
Fast marching on parametric surfaces / 4.4：
Marching even faster / 4.5：
Parallel distance computation / 4.6：
Minimal geodesics / 4.7：
Numerical Optimization / 5：
Local versus global optimization / 5.1：
Optimality conditions / 5.2：
Unconstrained optimization algorithms / 5.3：
The quest for a descent direction / 5.4：
Preconditioning / 5.5：
Let Newton be! / 5.6：
Truncated Newton / 5.7：
Quasi-Newton algorithms / 5.8：
Non-convex optimization / 5.9：
Constrained optimization / 5.10：
Penalty and barrier methods / 5.11：
Augmented Lagrangian method / 5.12：
In the Rigid Kingdom / 6：
Moments of joy, moments of sorrow / 6.1：
Iterative closest point algorithms / 6.2：
Enter numerical optimization / 6.3：
Rigid correspondence / 6.4：
Multidimensional Scaling / 7：
Isometric embedding problem / 7.1：
Multidimensional scaling / 7.2：
SMACOF algorithm / 7.3：
Second-order methods / 7.4：
Variations on the stress theme / 7.5：
Multiresolution methods / 7.6：
Multigrid MDS / 7.7：
Vector extrapolation / 7.8：
A trouble with topology / 7.9：
Spectral Embedding / 8：
Classic MDS / 8.1：
Local methods / 8.2：
The Laplace-Beltrami operator / 8.3：
To hear the shape of the drum / 8.4：
Discrete Laplace-Beltrami operator / 8.5：
Non-Euclidean Embedding / 9：
Spherical embedding / 9.1：
Generalized multidimensional scaling / 9.2：
Representation issues / 9.3：
Geodesic distance computation / 9.4：
Minimization of the generalized stress / 9.5：
Multiresolution encore / 9.6：
Isometry-Invariant Similarity / 10：
Equivalence, similarity, and distance / 10.1：
Embedding distance / 10.2：
Gromov-Hausdorff distance / 10.3：
Intrinsic symmetry / 10.4：
Partial Similarity / 11：
Recognition by parts / 11.1：
Paretian approach to partial similarity / 11.2：
Scalar partial similarity / 11.3：
Fuzzy approximation / 11.4：
Extrinsic partial similarity / 11.5：
Intrinsic partial similarity / 11.6：
Not only size matters / 11.7：
Non-rigid Correspondence and Calculus of Shapes / 12：
Intrinsic parameterization / 12.1：
An image processing approach / 12.2：
Minimum distortion correspondence / 12.3：
Texture mapping and transfer / 12.4：
Morphing / 12.5：
Guaranteed self-intersection free morph / 12.6：
Calculus of shapes / 12.7：
Three-dimensional Face Recognition / 13：
Some terminology / 13.1：
A retrospective / 13.2：
Isometric model of facial expressions / 13.3：
Expression-invariant face recognition / 13.4：
Comparison of photometric properties / 13.5：
Epilogue / 14：
Solutions of Selected Problems
Notation
Acronyms
Glossary
References
Subject Index
Author Index
Foreword
About the Authors
Preface
6.

電子ブック
ＥＢ
6. Practical Introduction to Computer Architecture
Daniel Page, Fred B. Schneider, Fred B. Schneider. edited by David Gries
出版情報: SpringerLink Books - AutoHoldings , Springer London, 2009
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼