1.
ＥＢ
Isao Noda, Yukihiro Ozaki, Y Ozaki
出版情報:
Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Acknowledgements
Introduction / 1：
Two-dimensional Spectroscopy / 1.1：
Overview of the Field / 1.2：
Generalized Two-dimensional Correlation / 1.3：
Types of Spectroscopic Probes / 1.3.1：
External Perturbations / 1.3.2：
Heterospectral Correlation / 1.4：
Universal Applicability / 1.5：
Principle of Two-dimensional Correlation Spectroscopy / 2：
Two-dimensional Correlation Spectroscopy / 2.1：
General Scheme / 2.1.1：
Type of External Perturbations / 2.1.2：
Dynamic Spectrum / 2.2：
Two-dimensional Correlation Concept / 2.2.2：
Generalized Two-dimensional Correlation Function / 2.2.3：
Properties of 2D Correlation Spectra / 2.2.4：
Synchronous 2D Correlation Spectrum / 2.3.1：
Asynchronous 2D Correlation Spectrum / 2.3.2：
Special Cases and Exceptions / 2.3.3：
Analytical Expressions for Certain 2D Spectra / 2.4：
Comparison of Linear Functions / 2.4.1：
2D Spectra Based on Sinusoidal Signals / 2.4.2：
Exponentially Decaying Intensities / 2.4.3：
Distributed Lorentzian Peaks / 2.4.4：
Signals with more Complex Waveforms / 2.4.5：
Cross-correlation Analysis and 2D Spectroscopy / 2.5：
Cross-correlation Function and Cross Spectrum / 2.5.1：
Cross-correlation Function and Synchronous Spectrum / 2.5.2：
Hilbert Transform / 2.5.3：
Orthogonal Correlation Function and Asynchronous Spectrum / 2.5.4：
Disrelation Spectrum / 2.5.5：
Practical Computation of Two-dimensional Correlation Spectra / 3：
Computation of 2D Spectra from Discrete Data / 3.1：
Synchronous Spectrum / 3.1.1：
Asynchronous Spectrum / 3.1.2：
Unevenly Spaced Data / 3.2：
Computational Efficiency / 3.3：
Generalized Two-dimensional Correlation Spectroscopy in Practice / 4：
Practical Example / 4.1：
Solvent Evaporation Study / 4.1.1：
2D Spectra Generated from Experimental Data / 4.1.2：
Sequential Order Analysis by Cross Peak Signs / 4.1.3：
Pretreatment of Data / 4.2：
Noise Reduction Methods / 4.2.1：
Baseline Correction Methods / 4.2.2：
Other Pretreatment Methods / 4.2.3：
Features Arising from Factors other than Band Intensity Changes / 4.3：
Effect of Band Position Shift and Line Shape Change / 4.3.1：
Simulation Studies / 4.3.2：
2D Spectral Features from Band Shift and Line Broadening / 4.3.3：
Further Expansion of Generalized Two-dimensional Correlation Spectroscopy - Sample-Sample Correlation and Hybrid Correlation / 5：
Sample-Sample Correlation Spectroscopy / 5.1：
Correlation in another Dimension / 5.1.1：
Matrix Algebra Outlook of 2D Correlation / 5.1.2：
Sample-Sample Correlation Spectra / 5.1.3：
Application of Sample-Sample Correlation / 5.1.4：
Hybrid 2D Correlation Spectroscopy / 5.2：
Multiple Perturbations / 5.2.1：
Correlation between Data Matrices / 5.2.2：
Case Studies / 5.2.3：
Additional Remarks / 5.3：
Additional Developments in Two-dimensional Correlation Spectroscopy - Statistical Treatments, Global Phase Maps, and Chemometrics / 6：
Classical Statistical Treatments and 2D Spectroscopy / 6.1：
Variance, Covariance, and Correlation Coefficient / 6.1.1：
Interpretation of 2D Disrelation Spectrum / 6.1.2：
Coherence and Correlation Phase Angle / 6.1.3：
Correlation Enhancement / 6.1.4：
Global 2D Phase Maps / 6.2：
Further Discussion on Global Phase / 6.2.1：
Phase Map with a Blinding Filter / 6.2.2：
Simulation Study / 6.2.3：
Chemometrics and 2D Correlation Spectroscopy / 6.3：
Comparison between Chemometrics and 2D Correlation / 6.3.1：
Factor Analysis / 6.3.2：
Principal Component Analysis (PCA) / 6.3.3：
Number of Principal Factors / 6.3.4：
PCA-reconstructed Spectra / 6.3.5：
Eigenvalue Manipulating Transformation (EMT) / 6.3.6：
Other Types of Two-dimensional Spectroscopy / 7：
Nonlinear Optical 2D Spectroscopy / 7.1：
Ultrafast Laser Pulses / 7.1.1：
Comparison with Generalized 2D Correlation Spectroscopy / 7.1.2：
Overlap Between Generalized 2D Correlation and Nonlinear Spectroscopy / 7.1.3：
Statistical 2D Correlation Spectroscopy / 7.2：
Statistical 2D Correlation by Barton II et al. / 7.2.1：
Statistical 2D Correlation by &Sa&sic and Ozaki / 7.2.2：
Other Statistical 2D Spectra / 7.2.3：
Link to Chemometrics / 7.2.4：
Other Developments in 2D Correlation Spectroscopy / 7.3：
Moving-window Correlation / 7.3.1：
Model-based 2D Correlation Spectroscopy / 7.3.2：
Dynamic Two-di / 8：
Preface
Acknowledgements
Introduction / 1：
2.
ＥＢ
Richard William Sharp
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Hardware Description Languages / 1.1：
Hardware Synthesis / 1.2：
High-Level Synthesis / 1.2.1：
Motivation for Higher Level Tools / 1.3：
Lack of Structuring Support / 1.3.1：
Limitations of Static Scheduling / 1.3.2：
Structure of the Monograph / 1.4：
Related Work / 2：
Verilog and VHDL / 2.1：
The Olympus Synthesis System / 2.2：
The HardwareC Language / 2.2.1：
Hercules / 2.2.2：
Hebe / 2.2.3：
Functional Languages / 2.3：
/?FP: An Algebra for VLSI Specification / 2.3.1：
Embedding HDLs in General-Purpose Functional Languages / 2.3.2：
Term Rewriting Systems / 2.4：
Occam/CSP-Based Approaches / 2.5：
Handel and Handel-C / 2.5.1：
Tangram and Balsa / 2.5.2：
Synchronous Languages / 2.6：
Summary / 2.7：
The SAFL Language / 3：
Motivation / 3.1：
Language Definition / 3.2：
Static Allocation / 3.2.1：
Integrating with External Hardware Components / 3.2.2：
Semantics / 3.2.3：
Concrete Syntax / 3.2.4：
Hardware Synthesis Using SAFL / 3.3：
Automatic Generation of Parallel Hardware / 3.3.1：
Resource Awareness / 3.3.2：
Source-Level Program Transformation / 3.3.3：
Static Analysis and Optimisation / 3.3.4：
Architecture Independence / 3.3.5：
Aside: Dealing with Mutual Recursion / 3.4：
Eliminating Mutual Recursion by Transformation / 3.4.1：
Soft Scheduling / 3.5：
Motivation and Related Work / 4.1：
Translating SAFL to Hardware / 4.1.1：
Soft Scheduling: Technical Details / 4.2：
Removing Redundant Arbiters / 4.2.1：
Parallel Conflict Analysis (PCA) / 4.2.2：
Integrating PCA into the FLaSH Compiler / 4.2.3：
Examples and Discussion / 4.3：
Parallel FIR Filter / 4.3.1：
Shared-Memory Multi-processor Architecture / 4.3.2：
Parallel Tasks Sharing Graphical Display / 4.3.3：
Program Transformation for Scheduling and Binding / 4.4：
High-Level Synthesis of SAFL / 4.5：
FLaSH Intermediate Code / 5.1：
The Structure of Intermediate Grap / 5.1.1：
Translation to Intermediate Code / 5.1.2：
Translation to Synchronous Hardware / 5.2：
Compiling Expressions / 5.2.1：
Compiling Functions / 5.2.2：
Generated Verilog / 5.2.3：
Compiling External Functions / 5.2.4：
Translation to GALS Hardware / 5.3：
A Brief Discussion of Metastability / 5.3.1：
Interfacing between Different Clock Domains / 5.3.2：
Modifying the Arbitration Circuitry / 5.3.3：
Analysis and Optimisation of Intermediate Code / 5.4：
Architecture-Neutral verses Architecture-Specific / 6.1：
Definitions and Terminology / 6.2：
Register Placement Analysis and Optimisation / 6.3：
Sharing Conflicts / 6.3.1：
Technical Details / 6.3.2：
Resource Dependency Analysis / 6.3.3：
Data Validity Analysis / 6.3.4：
Sequential Conflict Register Placement / 6.3.5：
Extending the Model: Calling Conventions / 6.4：
Caller-Save Resource Dependency Analysis / 6.4.1：
Caller-Save Permanisation Analysis / 6.4.2：
Synchronous Timing Analysis / 6.5：
Associated Optimisations / 6.5.1：
Results and Discussion / 6.6：
Register Placement Analysis: Results / 6.6.1：
Synchronous Timing Optimisations: Results / 6.6.2：
Dealing with I/O / 6.7：
SAFL+ Language Description / 7.1：
Channels and Channel Passing / 7.1.1：
The Motivation for Channel Passing / 7.1.3：
Translating SAFL+ to Hardware / 7.2：
Extending Analyses from SAFL to SAFL+ / 7.2.1：
Operational Semantics for SAFL+ / 7.3：
Transition Rules / 7.3.1：
Semantics for Channel Passing / 7.3.2：
Non-determinism / 7.3.3：
Combining Behaviour and Structure / 7.4：
Embedding Structural Expansion in SAFL / 8.1：
Building Combinatorial Hardware in Magma / 8.2.1：
Integrating SAFL and Magma / 8.2.2：
Aside: Embedding Magma in VHDL/Verilog / 8.3：
Transformation of SAFL Specifications / 8.4：
Hardware Software CoDesign / 9.1：
Comparison with Other Work / 9.1.1：
The Stack Machine Template / 9.2：
Stack Machine Instances / 9.2.2：
Compilation to Stack Code / 9.2.3：
The Partitioning Transformation / 9.2.4：
Validity of Partitioning Functions / 9.2.5：
Extensions / 9.2.6：
Transformations from SAFL to SAFL+ / 9.3：
Case Study / 9.4：
The SAFL to Silicon Tool Chain / 10.1：
DES Encrypter/Decrypter / 10.2：
Adding Hardware VGA Support / 10.2.1：
Conclusions and Further Work / 10.3：
Future Work / 11.1：
Appendix
DES Encryption/Decryption Circuit / A：
Transformations to Pipeline DES / B：
A Simple Stack Machine and Instruction Memory / C：
References
Index
Introduction / 1：
Hardware Description Languages / 1.1：
Hardware Synthesis / 1.2：
3.
図書
Sung Joon Ahn
目次情報:
続きを見る
Introduction / 1：
Curves and Surfaces in Space / 1.1：
Mathematical Description / 1.1.1：
Rigid Body Motion of Model Features in Space / 1.1.2：
Model Hierarchy / 1.1.3：
Curve and Surface Fitting / 1.2：
Applications of Curve and Surface Fitting / 1.2.1：
Algebraic Fitting Vs. Geometric Fitting / 1.2.2：
State-of-the-Art Orthogonal Distance Fitting / 1.2.3：
ISO 10360-6 and Requirements of CMM Software Tools / 1.2.4：
Least-Squares Orthogonal Distance Fitting / 2：
Moment Method for Line and Plane Fitting / 2.1：
Line Fitting / 2.1.1：
Plane Fitting / 2.1.2：
Relationship Between Line and Plane Fitting / 2.1.3：
Generalized Orthogonal Distance Fitting / 2.2：
Problem Definition / 2.2.1：
Point-to-Point Matching / 2.2.2：
Template Matching / 2.2.3：
Orthogonal Distance Fitting Algorithms / 2.3：
Distance-Based Algorithm / 2.3.1：
Coordinate-Based Algorithm / 2.3.2：
Model Fitting with Parameter Constraints / 2.3.3：
Parameter Test / 2.3.4：
Application to Circle and Sphere Fitting / 2.3.5：
Orthogonal Distance Fitting of Implicit Curves and Surfaces / 3：
Minimum Distance Point / 3.1：
Generalized Newton Method / 3.1.1：
Method of Lagrangian Multipliers / 3.1.2：
Verification of the Minimum Distance Point / 3.1.3：
Acceleration of Finding the Minimum Distance Point / 3.1.4：
Orthogonal Distance Fitting / 3.2：
Comparison of the Two Algorithms / 3.2.1：
Fitting Examples / 3.3：
Superellipse Fitting / 3.3.1：
Cone Fitting / 3.3.2：
Torus Fitting / 3.3.3：
Superellipsoid Fitting / 3.3.4：
Orthogonal Distance Fitting of Parametric Curves and Surfaces / 4：
Newton Method / 4.1：
Levenberg-MarquardtAlgorithm / 4.1.2：
Initial Values / 4.1.3：
Algorithm I (ETH) / 4.1.4：
Algorithm II (NPL, FhG) / 4.2.2：
Algorithm III (FhG) / 4.2.3：
Comparison of the Three Algorithms / 4.2.4：
Helix Fitting / 4.3：
Ellipsoid Fitting / 4.3.2：
Object Reconstruction from Unordered Point Cloud / 5：
Applications of Object Reconstruction / 5.1：
Semi-automatic Object Recognition / 5.2：
Segmentation, Outlier Elimination, and Model Fitting / 5.2.1：
Domain Volume for Measurement Points / 5.2.2：
Experimental Results with Real 3-D Measurement Points / 5.3：
3-D Point Cloud from Stripe Projection Method / 5.3.1：
3-D Point Cloud from Laser Radar / 5.3.2：
Conclusions / 6：
Summary / 6.1：
Future Work / 6.2：
References
Index
Implementation Examples / A：
Implicit 2-D Ellipse (Chap.3) / A.1：
Parametric 3-D Ellipse (Chap.4) / A.2：
CMM Software Tools Fulfilling ISO 10360-6 / B：
Curves and Surfaces Defined in ISO 10360-6 / B.1：
Competent Parameterization / B.1.1：
Role of the Mass Center / B.1.2：
Rotation Matrix / B.1.3：
Parameter Range / B.1.4：
Minimum Distance Point and FHG/XHG Matrix / B.2：
2-D Line / B.2.1：
3-D Line / B.2.2：
Plane / B.2.3：
2-D Circle / B.2.4：
3-D Circle / B.2.5：
Sphere / B.2.6：
Cylinder / B.2.7：
Cone / B.2.8：
Torus / B.2.9：
FHG Matrix of Superellipse and Superellipsoid / C：
Superellipse / C.1：
Superellipsoid / C.2：
Introduction / 1：
Curves and Surfaces in Space / 1.1：
Mathematical Description / 1.1.1：
4.
ＥＢ
Sung Joon Ahn
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Curves and Surfaces in Space / 1.1：
Mathematical Description / 1.1.1：
Rigid Body Motion of Model Features in Space / 1.1.2：
Model Hierarchy / 1.1.3：
Curve and Surface Fitting / 1.2：
Applications of Curve and Surface Fitting / 1.2.1：
Algebraic Fitting Vs. Geometric Fitting / 1.2.2：
State-of-the-Art Orthogonal Distance Fitting / 1.2.3：
ISO 10360-6 and Requirements of CMM Software Tools / 1.2.4：
Least-Squares Orthogonal Distance Fitting / 2：
Moment Method for Line and Plane Fitting / 2.1：
Line Fitting / 2.1.1：
Plane Fitting / 2.1.2：
Relationship Between Line and Plane Fitting / 2.1.3：
Generalized Orthogonal Distance Fitting / 2.2：
Problem Definition / 2.2.1：
Point-to-Point Matching / 2.2.2：
Template Matching / 2.2.3：
Orthogonal Distance Fitting Algorithms / 2.3：
Distance-Based Algorithm / 2.3.1：
Coordinate-Based Algorithm / 2.3.2：
Model Fitting with Parameter Constraints / 2.3.3：
Parameter Test / 2.3.4：
Application to Circle and Sphere Fitting / 2.3.5：
Orthogonal Distance Fitting of Implicit Curves and Surfaces / 3：
Minimum Distance Point / 3.1：
Generalized Newton Method / 3.1.1：
Method of Lagrangian Multipliers / 3.1.2：
Verification of the Minimum Distance Point / 3.1.3：
Acceleration of Finding the Minimum Distance Point / 3.1.4：
Orthogonal Distance Fitting / 3.2：
Comparison of the Two Algorithms / 3.2.1：
Fitting Examples / 3.3：
Superellipse Fitting / 3.3.1：
Cone Fitting / 3.3.2：
Torus Fitting / 3.3.3：
Superellipsoid Fitting / 3.3.4：
Orthogonal Distance Fitting of Parametric Curves and Surfaces / 4：
Newton Method / 4.1：
Levenberg-MarquardtAlgorithm / 4.1.2：
Initial Values / 4.1.3：
Algorithm I (ETH) / 4.1.4：
Algorithm II (NPL, FhG) / 4.2.2：
Algorithm III (FhG) / 4.2.3：
Comparison of the Three Algorithms / 4.2.4：
Helix Fitting / 4.3：
Ellipsoid Fitting / 4.3.2：
Object Reconstruction from Unordered Point Cloud / 5：
Applications of Object Reconstruction / 5.1：
Semi-automatic Object Recognition / 5.2：
Segmentation, Outlier Elimination, and Model Fitting / 5.2.1：
Domain Volume for Measurement Points / 5.2.2：
Experimental Results with Real 3-D Measurement Points / 5.3：
3-D Point Cloud from Stripe Projection Method / 5.3.1：
3-D Point Cloud from Laser Radar / 5.3.2：
Conclusions / 6：
Summary / 6.1：
Future Work / 6.2：
References
Index
Implementation Examples / A：
Implicit 2-D Ellipse (Chap.3) / A.1：
Parametric 3-D Ellipse (Chap.4) / A.2：
CMM Software Tools Fulfilling ISO 10360-6 / B：
Curves and Surfaces Defined in ISO 10360-6 / B.1：
Competent Parameterization / B.1.1：
Role of the Mass Center / B.1.2：
Rotation Matrix / B.1.3：
Parameter Range / B.1.4：
Minimum Distance Point and FHG/XHG Matrix / B.2：
2-D Line / B.2.1：
3-D Line / B.2.2：
Plane / B.2.3：
2-D Circle / B.2.4：
3-D Circle / B.2.5：
Sphere / B.2.6：
Cylinder / B.2.7：
Cone / B.2.8：
Torus / B.2.9：
FHG Matrix of Superellipse and Superellipsoid / C：
Superellipse / C.1：
Superellipsoid / C.2：
Introduction / 1：
Curves and Surfaces in Space / 1.1：
Mathematical Description / 1.1.1：
5.
図書
editor, H. Fischer ; authors, J.A. Howard ... [et al.]
目次情報:
続きを見る
Molecules and Radicals / Landolt-BörnsteinGroup II：
Magnetic Properties of Free Radicals / Volume 26：
Nitrogen and Oxygen Centered Radicals / Subvolume C：
Title Pages, Contributors, Preface, Table of Contents
Title Pages
Contributors
Preface
Table of Contents
General introduction / H. FischerI：
Definition and substances / A：
Magnetic properties / B：
Arrangements of the tables / C：
Monographs, reviews and important conference proceedings / D：
Data / II：
Nitrogen-centered monoradicals, biradicals and high-spin nitrenes / F.A. Neugebauer9：
Introduction / 9.1：
General remarks / 9.1.1：
Arrangement of tables / 9.1.2：
Abbreviations / 9.1.3：
Aminyl radicals of type R&sbond;N• &sbond;R (R &dbond; H, C) / 9.2：
Acyclic aminyl radicals / 9.2.1：
Alkylaminyl radicals / 9.2.1.1：
Vinylaminyl radicals / 9.2.1.2：
Arylaminyls / 9.2.1.3：
Aminyl radicals with heterocyclic substituent / 9.2.1.4：
Cyano- and acylaminyl radicals / 9.2.1.5：
Cyclic aminyl radicals / 9.2.2：
Monocyclic aminyl radicals / 9.2.2.1：
Aminyl radicals from four-membered rings / 9.2.2.1.1：
Aminyl radicals from five-membered rings / 9.2.2.1.2：
Aminyl radicals from six-membered rings / 9.2.2.1.3：
Fused polycyclic aminyl radicals / 9.2.2.2：
Based on five-membered rings / 9.2.2.2.1：
Based on six-membered rings / 9.2.2.2.2：
Based on seven-membered rings / 9.2.2.2.3：
Germylaminyl radicals of type R&sbond;N• &sbond;GeR3 / 9.3：
Hydrazyl and hydrazonyl radicals: R1 &sbond;N• &sbond;NR2 R3 , R1 &sbond;N• &sbond;N&dbond;CR2 R3 / 9.4：
Acyclic hydrazyl radicals / 9.4.1：
Leading atom of R1 , R2 , and R3 : Hydrogen or carbon / 9.4.1.1：
Alkylhydrazyl radicals / 9.4.1.1.1：
Arylhydrazyl radicals / 9.4.1.1.2：
Cyano- and acylhydrazyl radicals / 9.4.1.1.3：
Leading atom of R1 : Other than hydrogen or carbon / 9.4.1.2：
Leading atom of R2 : Other than hydrogen or carbon / 9.4.1.3：
Leading atom of R1 and R2 : Other than hydrogen or carbon / 9.4.1.4：
Cyclic hydrazyl radicals / 9.4.2：
Monocyclic hydrazyl radicals / 9.4.2.1：
Hydrazyl radicals from three-membered rings / 9.4.2.1.1：
Hydrazyl radicals from five-membered rings / 9.4.2.1.2：
Hydrazyl radicals from six-membered rings / 9.4.2.1.3：
Fused polycyclic hydrazyl radicals / 9.4.2.2：
Acyclic and cyclic hydrazonyl radicals / 9.4.3：
Acyclic hydrazonyl radicals / 9.4.3.1：
Cyclic hydrazonyl radicals / 9.4.3.2：
Oxyaminyl radicals: &sbond;N• &sbond;O&sbond; / 9.5：
Acyclic oxyaminyl radicals: R1 &sbond;N• &sbond;O&sbond;R2 / 9.5.1：
Leading atom of R1 and R2 : Carbon / 9.5.1.1：
Leading atom of R2 : Other than carbon / 9.5.1.2：
Leading atom of R1 : Other than carbon / 9.5.1.3：
Cyclic oxyaminyl radicals / 9.5.2：
Thioaminyl radicals: &sbond;N• &sbond;S&sbond;, &sbond;N• &sbond;S(&dbond;O)&sbond;, &sbond;N• &sbond;SO2 &sbond; / 9.6：
Acyclic thioaminyl radicals / 9.6.1：
Sulfenamidyl radicals: R1 &sbond;N• &sbond;S&sbond;R2 / 9.6.1.1：
Sulfinamidyl radicals: R1 &sbond;N• &sbond;S(&dbond;O)&sbond;R2 / 9.6.1.1.1：
Sulfonamidyl radicals: R1 &sbond;N• &sbond;SO2 &sbond;R2 / 9.6.1.3：
Cyclic thioaminyl radicals / 9.6.2：
Monocyclic thioaminyl radicals / 9.6.2.1：
Thioaminyl radicals from five-membered rings / 9.6.2.1.1：
Thioaminyl radicals from six-membered rings / 9.6.2.1.2：
Thioaminyl radicals from eight-membered rings / 9.6.2.1.3：
Fused polycyclic thioaminyl radicals / 9.6.2.2：
Bridged thioaminyl radicals / 9.6.2.3：
Selenoaminyl radicals: &sbond;N• &sbond;Se&sbond; / 9.7：
Iminyl radicals: >C&dbond;N• / 9.8：
Iminyl radicals of type RCH&dbond;N• / 9.8.1：
Iminyl radicals of type R1 R2 C&dbond;N• / 9.8.2：
Diazenyl radicals: R&sbond;N•+ &dbond;N− / 9.9：
Iminoxyl radicals: >C&dbond;N&sbond;O• / 9.10：
Acyclic iminoxyl radicals / 9.10.1：
Iminoxyl radicals of type RCH&dbond;N&sbond;O• , leading atom of R: Carbon / 9.10.1.1：
Iminoxyl radicals of type R1 R2 C&dbond;N&sbond;O• / 9.10.1.2：
Leading atom of R1 and R2 : Other than carbon / 9.10.1.2.1：
Cyclic iminoxyl radicals / 9.10.2：
Monocyclic iminoxyl radicals / 9.10.2.1：
Fused polycyclic iminoxyl radicals / 9.10.2.2：
Bridged iminoxyl radicals / 9.10.2.3：
Nitrogen-centered biradicals / 9.11：
Aminyl biradicals / 9.11.1：
Hydrazyl biradicals / 9.11.2：
Acyclic hydrazyl biradicals / 9.11.2.1：
Cyclic hydrazyl biradicals / 9.11.2.2：
Thioaminyl biradicals / 9.11.3：
Acyclic thioaminyl biradicals / 9.11.3.1：
Cyclic thioaminyl biradicals / 9.11.3.2：
Cyclic selenoaminyl biradical / 9.11.4：
Biradicals with different kinds of radical centers / 9.11.5：
Type R1 N• .....C• R2 R3 / 9.11.5.1：
Type R1 N• .....N(O• )R2 / 9.11.5.2：
Type R1 N• .....O• / 9.11.5.3：
High-spin mono- and polynitrenes / 9.12：
Mononitrenes / 9.12.1：
Alkyl nitrenes / 9.12.1.1：
Cyano nitrene / 9.12.1.2：
Carbonyl nitrene / 9.12.1.3：
Aryl nitrenes / 9.12.1.4：
Heterocyclic nitrenes / 9.12.1.5：
Boryl nitrene / 9.12.1.6：
Phosphoryl nitrene / 9.12.1.7：
Sulfonyl nitrenes / 9.12.1.8：
Silyl nitrenes / 9.12.1.9：
Stannyl nitrene / 9.12.1.10：
Mononitrenes and additional radicals (S = 3/2, S = 2) / 9.12.2：
Nitrene and benzyl / 9.12.2.1：
Nitrene and aminyl / 9.12.2.2：
Nitrene and hydrazyl / 9.12.2.3：
Nitrene and nitroxyde / 9.12.2.4：
Nitrene, alkyl and aminyl / 9.12.2.5：
Nitrene and carbine / 9.12.2.6：
Quinonoidal dinitrenes (iminyl biradicals) / 9.12.3：
Dinitrenes (S = 2) / 9.12.4：
Arylene dinitrenes / 9.12.4.1：
Bis(arylnitrenes) linked by >C&dbond;CH2 or >C&dbond;O / 9.12.4.2：
Bis(arylnitrenes) linked by &sbond;HC&dbond;CH&sbond;, &sbond;[C&tbond;C]n &sbond;, &sbond;(1,3-C6 H4 )&sbond;,.or &sbond;C&tbond;C&sbond;(1,3-C6 H4 )&sbond;C&tbond;C&sbond; / 9.12.4.3：
Bis(arylnitrenes) linked by carbocyclic or heterocyclic bridges / 9.12.4.4：
Bis(arylnitrenes) linked by &sbond;CONH&sbond; / 9.12.4.5：
Bis(arylnitrenes) linked by hetero atoms: O, S, Si / 9.12.4.6：
Heterocyclic dinitrenes / 9.12.4.7：
Polynitrenes (S ≥ 3) / 9.12.5：
References for 9 / 9.13：
Review articles / 9.13.1：
References for 9.2-9.12 / 9.13.2：
Oxy- and peroxyalkyl radicals / J.A. Howard10：
Carbonyloxy radicals / 10.1：
Sulfinyl radicals / 10.3：
Alkylperoxy radicals / 10.4：
Alkenylperoxy radicals / 10.5：
Substituted alkylperoxy radicals / 10.6：
Aromatic peroxy radicals / 10.7：
Thiylperoxy radicals / 10.8：
Sulphonylperoxyl radicals / 10.9：
Peroxyl radicals from biological molecules / 10.10：
Polymer peroxyl radical / 10.11：
Metal centered peroxyl radical / 10.12：
References for 10 / 10.13：
Aroxyl radicals / R. Mecke ; H.H. Jäger ; M. Jäger11：
Arrangement of the tables / 11.1：
Carbocycles / 11.1.3：
Monocyclic compounds / 11.2.1：
Phenoxyls / 11.2.1.1：
Phenoxyl / 11.2.1.1.1：
Monosubstituted phenoxyls / 11.2.1.1.2：
Tyrosyl / 11.2.1.1.2.1：
Tyrosine derived radicals / 11.2.1.1.2.2：
Tyrosine radicals in biological systems / 11.2.1.1.2.3：
Disubstituted phenoxyls / 11.2.1.1.3：
Trisubstituted phenoxyls / 11.2.1.1.4：
2,3,4-trisubstituted phenoxyls / 11.2.1.1.4.1：
2,3,5-trisubstituted phenoxyls / 11.2.1.1.4.2：
2,3,6-trisubstituted phenoxyls / 11.2.1.1.4.3：
2,4,5-trisubstituted phenoxyls / 11.2.1.1.4.4：
2,4,6-trisubstituted phenoxyls (1/6) / 11.2.1.1.4.5：
2,4,6-trisubstituted phenoxyls (2/6)
2,4,6-trisubstituted phenoxyls (3/6)
2,4,6-trisubstituted phenoxyls (4/6)
2,4,6-trisubstituted phenoxyls (5/6)
2,4,6-trisubstituted phenoxyls (6/6)
3,4,5-trisubstituted phenoxyls / 11.2.1.1.4.6：
Tetrasubstituted phenoxyls / 11.2.1.1.5：
Pentasubstituted phenoxyls / 11.2.1.1.6：
Condensed ring systems / 11.2.2：
Systems with condensed non-aromatic rings / 11.2.2.1：
Naphthoxyls / 11.2.2.2：
Anthroxyls / 11.2.2.3：
Polycondensed systems / 11.2.2.4：
Heterocycles / 11.3：
N-heterocycles / 11.3.1：
O-heterocycles / 11.3.2：
5-membered heterocyclic systems / 11.3.2.1：
6-membered heterocyclic systems / 11.3.2.2：
Condensed dioxol systems / 11.3.2.3：
S-heterocycles / 11.3.3：
Cations / 11.4：
Bi- and polyradicals / 11.5：
References for 11 / 11.6：
General symbols and abbreviations / III：
Symbols
Substances or part of substances
Molecules and Radicals / Landolt-BörnsteinGroup II：
Magnetic Properties of Free Radicals / Volume 26：
Nitrogen and Oxygen Centered Radicals / Subvolume C：
6.
ＥＢ
Elisa Quintarelli
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Motivations / 1.1：
Overview of the Book / 1.2：
Contributions / 1.3：
Semantics Based on Bisimulation / 2：
G-Log: a Language for Semistructured Data / 2.1：
An Informal Presentation / 2.1.1：
Syntax of G-Log / 2.1.2：
Bisimulation Semantics of G-Log / 2.2：
Semantics of Rules / 2.2.1：
Programming in G-Log / 2.2.2：
Basic Semantic Results / 2.3：
Applicability / 2.3.1：
Satisfiability / 2.3.2：
Simple Edge-Adding Rules / 2.3.3：
Very Simple Queries / 2.3.4：
Abstract Graphs and Semantics / 2.4：
Logical Semantics of G-Log / 2.5：
Formulae for G-Log Rules / 2.5.1：
Concrete Graphs as Models / 2.5.2：
Model Theoretic Semantics / 2.5.3：
Relationship with the Original G-Log Semantics / 2.6：
G-Log Graphs with Negation / 2.7：
Computational Issues / 2.8：
Other Languages for Semistructured Data / 2.9：
UnQL / 2.9.1：
GraphLog / 2.9.2：
Model-Checking Based Data Retrieval / 3：
An Introduction to Model-Checking / 3.1：
Transition Systems and CTL / 3.1.1：
A Linear Time Algorithm to Solve the Model-Checking Problem / 3.1.2：
Syntax of the Query Language W / 3.2：
W-Instances as KTS / 3.3：
CTL-Based Semantics of W-Queries / 3.4：
Technique Overview / 3.4.1：
Admitted Queries / 3.4.2：
Query Translation / 3.4.3：
Acyclic Graphs / 3.4.4：
Cyclic Queries / 3.4.5：
Complexity Issues / 3.5：
Implementation of the Method / 3.6：
Applications to Existing Languages / 3.7：
G-Log / 3.7.1：
Expressive Power of Temporal Logics / 3.8：
Temporal Aspects of Semistructured Data / 4：
An Introduction to Temporal Databases / 4.1：
A Graphical Temporal Data Model for Semistructured Data / 4.2：
Operations on Temporal Data / 4.3：
TSS-QL: Temporal Semistructured Query Language / 4.4：
Grammar of TSS-QL / 4.4.1：
Some Examples of TSS-QL Queries / 4.4.2：
A Graphical Model for User Navigation History / 4.5：
Analyzing User History Navigation / 4.5.1：
Using the Query Language TSS-QL to Obtain Relevance Information / 4.6：
Semistructured Temporal Graph as a KTS / 4.6.1：
Complexity Results on TSS-QL Fragments / 4.6.2：
Related Works / 5：
Semantics Aspects of Query Languages / 5.1：
Efficient Query Retrieval / 5.2：
Temporal Models and Query Languages for Semistructured Data / 5.3：
Comparison with the DOEM Model / 5.3.1：
Conclusion / 6：
References
Introduction / 1：
Motivations / 1.1：
Overview of the Book / 1.2：
7.
図書
Ubbo Visser
目次情報:
続きを見る
Introduction and Related Work / Part I：
Introduction / 1：
Semantic Web Vision / 1.1：
Research Topics / 1.2：
Search on the Web / 1.3：
Integration Tasks / 1.4：
Organization / 1.5：
Related Work / 2：
Approaches for Terminological Representation and Reasoning / 2.1：
The Role of Ontologies / 2.1.1：
Use of Mappings / 2.1.2：
Approaches for Spatial Representation and Reasoning / 2.2：
Spatial Representation / 2.2.1：
Spatial Reasoning / 2.2.2：
More Approaches / 2.2.3：
Approaches for Temporal Representation and Reasoning / 2.3：
Temporal Theories Based on Time Points / 2.3.1：
Temporal Theories Based on Intervals / 2.3.2：
Summary of Recent Approaches / 2.3.3：
Evaluation of Approaches / 2.4：
Terminological Approaches / 2.4.1：
Spatial Approaches / 2.4.2：
Temporal Approaches / 2.4.3：
The Buster Approach for Terminological, Spatial, and Temporal Representation and Reasoning / Part II：
General Approach of Buster / 3：
Requirements / 3.1：
Conceptual Architecture / 3.2：
Query Phase / 3.2.1：
Acquisition Phase / 3.2.2：
Comprehensive Source Description / 3.3：
The Dublin Core Elements / 3.3.1：
Additional Element Descriptions / 3.3.2：
Background Models / 3.3.3：
Example / 3.3.4：
Relevance / 3.4：
Terminological Representation and Reasoning, Semantic Translation / 4：
Representation / 4.1：
Reasoning / 4.1.2：
Integration/Translation on the Data Level / 4.1.3：
Representation and Reasoning Components / 4.2：
Ontologies / 4.2.1：
Description Logics / 4.2.2：
Reasoning Components / 4.2.3：
Semantic Translation / 4.3：
Context Transformation by Rules / 4.3.1：
Context Transformation by Re-classification / 4.3.2：
Example: Translation ATKIS-CORINE Land Cover / 4.4：
Spatial Representation and Reasoning / 5：
Intuitive Spatial Labeling / 5.1：
Place Names, Gazetteers and Footprints / 5.1.2：
Place Name Structures / 5.1.3：
Spatial Relevance / 5.1.4：
Polygonal Tessellation / 5.1.5：
Place Names / 5.2.2：
Spatial Relevance Reasoning / 5.2.3：
Temporal Representation and Reasoning / 5.4：
Intuitive Labeling / 6.1：
Time Interval Boundaries / 6.1.2：
Structures / 6.1.3：
Explicit Qualitative Relations / 6.1.4：
Period Names / 6.2：
Boundaries / 6.2.3：
Relations / 6.2.4：
Temporal Relevance / 6.3：
Distance Between Time Intervals / 6.3.1：
Overlapping of Time Periods / 6.3.2：
Relations Between Boundaries / 6.4：
Relations Between Two Time Periods / 6.4.2：
Relations Between More Than Two Time Periods / 6.4.3：
Qualitative Statements / 6.5：
Quantitative Statements / 6.5.2：
Inconsistencies (Quantitative/Qualitative) / 6.5.3：
Inconsistencies (Reasoner Implicit/Qualitative) / 6.5.4：
Inconsistencies (Qualitative/Quantitative) / 6.5.5：
Implementation, Conclusion, and Future Work / Part III：
Implementation Issues and System Demonstration / 7：
Architecture / 7.1：
Single Queries / 7.2：
Terminological Queries / 7.2.1：
Spatial Queries / 7.2.2：
Temporal Queries / 7.2.3：
Combined Queries / 7.3：
Spatio-terminological Queries / 7.3.1：
Temporal-Terminological Queries / 7.3.2：
Spatio-temporal-terminological Queries / 7.3.3：
Conclusion and Future Work / 8：
Conclusion / 8.1：
Semantic Web / 8.1.1：
BUSTER Approach and System / 8.1.2：
Future Work / 8.2：
Terminological Part / 8.2.1：
Spatial Part / 8.2.2：
Temporal Part / 8.2.3：
References
Introduction and Related Work / Part I：
Introduction / 1：
Semantic Web Vision / 1.1：
8.
ＥＢ
Ubbo Visser
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction and Related Work / Part I：
Introduction / 1：
Semantic Web Vision / 1.1：
Research Topics / 1.2：
Search on the Web / 1.3：
Integration Tasks / 1.4：
Organization / 1.5：
Related Work / 2：
Approaches for Terminological Representation and Reasoning / 2.1：
The Role of Ontologies / 2.1.1：
Use of Mappings / 2.1.2：
Approaches for Spatial Representation and Reasoning / 2.2：
Spatial Representation / 2.2.1：
Spatial Reasoning / 2.2.2：
More Approaches / 2.2.3：
Approaches for Temporal Representation and Reasoning / 2.3：
Temporal Theories Based on Time Points / 2.3.1：
Temporal Theories Based on Intervals / 2.3.2：
Summary of Recent Approaches / 2.3.3：
Evaluation of Approaches / 2.4：
Terminological Approaches / 2.4.1：
Spatial Approaches / 2.4.2：
Temporal Approaches / 2.4.3：
The Buster Approach for Terminological, Spatial, and Temporal Representation and Reasoning / Part II：
General Approach of Buster / 3：
Requirements / 3.1：
Conceptual Architecture / 3.2：
Query Phase / 3.2.1：
Acquisition Phase / 3.2.2：
Comprehensive Source Description / 3.3：
The Dublin Core Elements / 3.3.1：
Additional Element Descriptions / 3.3.2：
Background Models / 3.3.3：
Example / 3.3.4：
Relevance / 3.4：
Terminological Representation and Reasoning, Semantic Translation / 4：
Representation / 4.1：
Reasoning / 4.1.2：
Integration/Translation on the Data Level / 4.1.3：
Representation and Reasoning Components / 4.2：
Ontologies / 4.2.1：
Description Logics / 4.2.2：
Reasoning Components / 4.2.3：
Semantic Translation / 4.3：
Context Transformation by Rules / 4.3.1：
Context Transformation by Re-classification / 4.3.2：
Example: Translation ATKIS-CORINE Land Cover / 4.4：
Spatial Representation and Reasoning / 5：
Intuitive Spatial Labeling / 5.1：
Place Names, Gazetteers and Footprints / 5.1.2：
Place Name Structures / 5.1.3：
Spatial Relevance / 5.1.4：
Polygonal Tessellation / 5.1.5：
Place Names / 5.2.2：
Spatial Relevance Reasoning / 5.2.3：
Temporal Representation and Reasoning / 5.4：
Intuitive Labeling / 6.1：
Time Interval Boundaries / 6.1.2：
Structures / 6.1.3：
Explicit Qualitative Relations / 6.1.4：
Period Names / 6.2：
Boundaries / 6.2.3：
Relations / 6.2.4：
Temporal Relevance / 6.3：
Distance Between Time Intervals / 6.3.1：
Overlapping of Time Periods / 6.3.2：
Relations Between Boundaries / 6.4：
Relations Between Two Time Periods / 6.4.2：
Relations Between More Than Two Time Periods / 6.4.3：
Qualitative Statements / 6.5：
Quantitative Statements / 6.5.2：
Inconsistencies (Quantitative/Qualitative) / 6.5.3：
Inconsistencies (Reasoner Implicit/Qualitative) / 6.5.4：
Inconsistencies (Qualitative/Quantitative) / 6.5.5：
Implementation, Conclusion, and Future Work / Part III：
Implementation Issues and System Demonstration / 7：
Architecture / 7.1：
Single Queries / 7.2：
Terminological Queries / 7.2.1：
Spatial Queries / 7.2.2：
Temporal Queries / 7.2.3：
Combined Queries / 7.3：
Spatio-terminological Queries / 7.3.1：
Temporal-Terminological Queries / 7.3.2：
Spatio-temporal-terminological Queries / 7.3.3：
Conclusion and Future Work / 8：
Conclusion / 8.1：
Semantic Web / 8.1.1：
BUSTER Approach and System / 8.1.2：
Future Work / 8.2：
Terminological Part / 8.2.1：
Spatial Part / 8.2.2：
Temporal Part / 8.2.3：
References
Introduction and Related Work / Part I：
Introduction / 1：
Semantic Web Vision / 1.1：
9.
図書
Claus Kiefer
目次情報:
続きを見る
Why quantum gravity? / 1：
Quantum theory and the gravitational field / 1.1：
Introduction / 1.1.1：
Main motivations for quantizing gravity / 1.1.2：
Relevant scales / 1.1.3：
Quantum mechanics and Newtonian gravity / 1.1.4：
Quantum field theory in curved space-time / 1.1.5：
Problems of a fundamental semiclassical theory / 1.2：
Approaches to quantum gravity / 1.3：
Covariant approaches to quantum gravity / 2：
The concept of a graviton / 2.1：
Weak gravitational waves / 2.1.1：
Gravitons from representations of the Poincare group / 2.1.2：
Quantization of the linear field theory / 2.1.3：
Path integrals and the background-field method / 2.2：
General properties of path integrals / 2.2.1：
Background-field method / 2.2.2：
Effective action and Feynman rules / 2.2.3：
Some general remarks on path integrals in perturbation theory / 2.2.4：
Quantum supergravity / 2.3：
Parametrized and relational systems / 3：
Particle systems / 3.1：
Parametrized non-relativistic particle / 3.1.1：
Some remarks on constrained systems / 3.1.2：
The relativistic particle / 3.1.3：
The free bosonic string / 3.2：
Parametrized field theories / 3.3：
Relational dynamical systems / 3.4：
Hamiltonian formulation of general relativity / 4：
The seventh route to geometrodynamics / 4.1：
Principle of path independence / 4.1.1：
Explicit form of generators / 4.1.2：
Geometrodynamics and gauge theories / 4.1.3：
The 3+1 decomposition of general relativity / 4.2：
The canonical variables / 4.2.1：
Hamiltonian form of the Einstein-Hilbert action / 4.2.2：
Discussion of the constraints / 4.2.3：
The case of open spaces / 4.2.4：
Structure of configuration space / 4.2.5：
Canonical gravity with connections and loops / 4.3：
Loop variables / 4.3.1：
Quantum geometrodynamics / 5：
The programme of canonical quantization / 5.1：
The problem of time / 5.2：
Time before quantization / 5.2.1：
Time after quantization / 5.2.2：
The geometrodynamical wave function / 5.3：
The diffeomorphism constraints / 5.3.1：
WKB approximation / 5.3.2：
Remarks on the functional Schrodinger picture / 5.3.3：
Connection with path integrals / 5.3.4：
Anomalies and factor ordering / 5.3.5：
Canonical quantum supergravity / 5.3.6：
The semiclassical approximation / 5.4：
Analogies from quantum mechanics / 5.4.1：
Derivation of the Schrodinger equation / 5.4.2：
Quantum-gravitational correction terms / 5.4.3：
Quantum gravity with connections and loops / 6：
The Gauss and diffeomorphism constraints / 6.1：
Connection representation / 6.1.1：
Loop representation / 6.1.2：
Quantization of area / 6.2：
Quantum Hamiltonian constraint / 6.3：
Quantization of black holes / 7：
Black-hole thermodynamics and Hawking radiation / 7.1：
The laws of black-hole mechanics / 7.1.1：
Hawking and Unruh radiation / 7.1.2：
Bekenstein-Hawking entropy / 7.1.3：
Canonical quantization of the Schwarzschild black hole / 7.2：
Classical formalism / 7.2.1：
Quantization / 7.2.2：
Black-hole spectroscopy and entropy / 7.3：
Quantum theory of collapsing dust shells / 7.4：
Covariant gauge fixing / 7.4.1：
Embedding variables for the classical theory / 7.4.2：
Quantum cosmology / 7.4.3：
Minisuperspace models / 8.1：
General introduction / 8.1.1：
Quantization of a Friedmann universe / 8.1.2：
(2+1)-dimensional quantum gravity / 8.1.3：
Introduction of inhomogeneities / 8.2：
Boundary conditions / 8.3：
DeWitt's boundary condition / 8.3.1：
No-boundary condition / 8.3.2：
Tunnelling condition / 8.3.3：
Comparison of no-boundary and tunnelling wave function / 8.3.4：
Symmetric initial condition / 8.3.5：
String theory / 9：
Quantum gravitational aspects / 9.1：
The Polyakov path integral / 9.2.1：
Effective actions / 9.2.2：
T-duality and branes / 9.2.3：
Superstrings / 9.2.4：
Black-hole entropy / 9.2.5：
Brane worlds / 9.2.6：
Quantum gravity and the interpretation of quantum theory / 10：
Decoherence and the quantum universe / 10.1：
Decoherence in quantum mechanics / 10.1.1：
Decoherence in quantum cosmology / 10.1.2：
Decoherence of primordial fluctuations / 10.1.3：
Arrow of time / 10.2：
Outlook / 10.3：
References
Index
Why quantum gravity? / 1：
Quantum theory and the gravitational field / 1.1：
Introduction / 1.1.1：
10.
図書
Peter Deuflhard
目次情報:
続きを見る
Outline of Contents
Introduction / 1：
Newton-Raphson Method for Scalar Equations / 1.1：
Newton's Method for General Nonlinear Problems / 1.2：
Classical convergence theorems revisited / 1.2.1：
Affine invariance and Lipschitz conditions / 1.2.2：
The algorithmic paradigm / 1.2.3：
A Roadmap of Newton-type Methods / 1.3：
Adaptive Inner Solvers for Inexact Newton Methods / 1.4：
Residual norm minimization: GMRES / 1.4.1：
Energy norm minimization: PCG / 1.4.2：
Error norm minimization: CGNE / 1.4.3：
Error norm reduction: GBIT / 1.4.4：
Linear multigrid methods / 1.4.5：
Exercises
Algebraic Equations / Part I：
Systems of Equations: Local Newton Methods / 2：
Error Oriented Algorithms / 2.1：
Ordinary Newton method / 2.1.1：
Simplified Newton method / 2.1.2：
Newton-like methods / 2.1.3：
Broyden's 'good' rank-1 updates / 2.1.4：
Inexact Newton-ERR methods / 2.1.5：
Residual Based Algorithms / 2.2：
Broyden's 'bad' rank-1 updates / 2.2.1：
Inexact Newton-RES method / 2.2.4：
Convex Optimization / 2.3：
Inexact Newton-PCG method / 2.3.1：
Systems of Equations: Global Newton Methods / 3：
Globalization Concepts / 3.1：
Componentwise convex mappings / 3.1.1：
Steepest descent methods / 3.1.2：
Trust region concepts / 3.1.3：
Newton path / 3.1.4：
Residual Based Descent / 3.2：
Affine contravariant convergence analysis / 3.2.1：
Adaptive trust region strategies / 3.2.2：
Error Oriented Descent / 3.2.3：
General level functions / 3.3.1：
Natural level function / 3.3.2：
Convex Functional Descent / 3.3.3：
Affine conjugate convergence analysis / 3.4.1：
Least Squares Problems: Gauss-Newton Methods / 3.4.2：
Linear Least Squares Problems / 4.1：
Unconstrained problems / 4.1.1：
Equality constrained problems / 4.1.2：
Local Gauss-Newton methods / 4.2：
Global Gauss-Newton methods / 4.2.2：
Adaptive trust region strategy / 4.2.3：
Local convergence results / 4.3：
Local Gauss-Newton algorithms / 4.3.2：
Global convergence results / 4.3.3：
Adaptive rank strategies / 4.3.4：
Underdetermined Systems of Equations / 4.4：
Local quasi-Gauss-Newton method / 4.4.1：
Global Gauss-Newton method / 4.4.2：
Parameter Dependent Systems: Continuation Methods / 5：
Newton Continuation Methods / 5.1：
Classification of continuation methods / 5.1.1：
Affine covariant feasible stepsizes / 5.1.2：
Adaptive pathfollowing algorithms / 5.1.3：
Gauss-Newton Continuation Method / 5.2：
Discrete tangent continuation beyond turning points / 5.2.1：
Adaptive stepsize control / 5.2.2：
Computation of Simple Bifurcations / 5.3：
Augmented systems for critical points / 5.3.1：
Newton-like algorithm for simple bifurcations / 5.3.2：
Branching-off algorithm / 5.3.3：
Differential Equations / Part II：
Stiff ODE Initial Value Problems / 6：
Affine Similar Linear Contractivity / 6.1：
Nonstiff versus Stiff Initial Value Problems / 6.2：
Picard iteration versus Newton iteration / 6.2.1：
Newton-type uniqueness theorems / 6.2.2：
Uniqueness Theorems for Implicit One-step Methods / 6.3：
Pseudo-transient Continuation for Steady State Problems / 6.4：
Exact pseudo-transient continuation / 6.4.1：
Inexact pseudo-transient continuation / 6.4.2：
ODE Boundary Value Problems / 7：
Multiple Shooting for Timelike BVPs / 7.1：
Cyclic linear systems / 7.1.1：
Realization of Newton methods / 7.1.2：
Realization of continuation methods / 7.1.3：
Parameter Identification in ODEs / 7.2：
Periodic Orbit Computation / 7.3：
Single orbit computation / 7.3.1：
Orbit continuation methods / 7.3.2：
Fourier collocation method / 7.3.3：
Polynomial Collocation for Spacelike BVPs / 7.4：
Discrete versus continuous solutions / 7.4.1：
Quasilinearization as inexact Newton method / 7.4.2：
PDE Boundary Value Problems / 8：
Asymptotic Mesh Independence / 8.1：
Global Discrete Newton Methods / 8.2：
General PDEs / 8.2.1：
Elliptic PDEs / 8.2.2：
Inexact Newton Multilevel FEM for Elliptic PDEs / 8.3：
Local Newton-Galerkin methods / 8.3.1：
Global Newton-Galerkin methods / 8.3.2：
References
Software
Index
Outline of Contents
Introduction / 1：
Newton-Raphson Method for Scalar Equations / 1.1：
11.
図書
Christopher J. Cramer
出版情報:
Chichester, West Sussex, England ; Hoboken, NJ : John Wiley & Sons, c2004 xx, 596 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface to the First Edition
Preface to the Second Edition
Acknowledgments
What are Theory, Computation, and Modeling? / 1：
Definition of Terms / 1.1：
Quantum Mechanics / 1.2：
Computable Quantities / 1.3：
Structure / 1.3.1：
Potential Energy Surfaces / 1.3.2：
Chemical Properties / 1.3.3：
Cost and Efficiency / 1.4：
Intrinsic Value / 1.4.1：
Hardware and Software / 1.4.2：
Algorithms / 1.4.3：
Note on Units / 1.5：
Bibliography and Suggested Additional Reading
References
Molecular Mechanics / 2：
History and Fundamental Assumptions / 2.1：
Potential Energy Functional Forms / 2.2：
Bond Stretching / 2.2.1：
Valence Angle Bending / 2.2.2：
Torsions / 2.2.3：
Van der Waals Interactions / 2.2.4：
Electrostatic Interactions / 2.2.5：
Cross Terms and Additional Non-bonded Terms / 2.2.6：
Parameterization Strategies / 2.2.7：
Force-field Energies and Thermodynamics / 2.3：
Geometry Optimization / 2.4：
Optimization Algorithms / 2.4.1：
Optimization Aspects Specific to Force Fields / 2.4.2：
Menagerie of Modern Force Fields / 2.5：
Available Force Fields / 2.5.1：
Validation / 2.5.2：
Force Fields and Docking / 2.6：
Case Study: (2R*,4S*)-1-Hydroxy-2,4-dimethylhex-5-ene / 2.7：
Simulations of Molecular Ensembles / 3：
Relationship Between MM Optima and Real Systems / 3.1：
Phase Space and Trajectories / 3.2：
Properties as Ensemble Averages / 3.2.1：
Properties as Time Averages of Trajectories / 3.2.2：
Molecular Dynamics / 3.3：
Harmonic Oscillator Trajectories / 3.3.1：
Non-analytical Systems / 3.3.2：
Practical Issues in Propagation / 3.3.3：
Stochastic Dynamics / 3.3.4：
Monte Carlo / 3.4：
Manipulation of Phase-space Integrals / 3.4.1：
Metropolis Sampling / 3.4.2：
Ensemble and Dynamical Property Examples / 3.5：
Key Details in Formalism / 3.6：
Cutoffs and Boundary Conditions / 3.6.1：
Polarization / 3.6.2：
Control of System Variables / 3.6.3：
Simulation Convergence / 3.6.4：
The Multiple Minima Problem / 3.6.5：
Force Field Performance in Simulations / 3.7：
Case Study: Silica Sodalite / 3.8：
Foundations of Molecular Orbital Theory / 4：
Quantum Mechanics and the Wave Function / 4.1：
The Hamiltonian Operator / 4.2：
General Features / 4.2.1：
The Variational Principle / 4.2.2：
The Born-Oppenheimer Approximation / 4.2.3：
Construction of Trial Wave Functions / 4.3：
The LCAO Basis Set Approach / 4.3.1：
The Secular Equation / 4.3.2：
H?uckel Theory / 4.4：
Fundamental Principles / 4.4.1：
Application to the Allyl System / 4.4.2：
Many-electron Wave Functions / 4.5：
Hartree-product Wave Functions / 4.5.1：
The Hartree Hamiltonian / 4.5.2：
Electron Spin and Antisymmetry / 4.5.3：
Slater Determinants / 4.5.4：
The Hartree-Fock Self-consistent Field Method / 4.5.5：
Semiempirical Implementations of Molecular Orbital Theory / 5：
Semiempirical Philosophy / 5.1：
Chemically Virtuous Approximations / 5.1.1：
Analytic Derivatives / 5.1.2：
Extended Huckel Theory / 5.2：
CNDO Formalism / 5.3：
INDO Formalism / 5.4：
INDO and INDO/S / 5.4.1：
MINDO/3 and SINDO1 / 5.4.2：
Basic NDDO Formalism / 5.5：
MNDO / 5.5.1：
AM1 / 5.5.2：
PM3 / 5.5.3：
General Performance Overview of Basic NDDO Models / 5.6：
Energetics / 5.6.1：
Geometries / 5.6.2：
Charge Distributions / 5.6.3：
Preface to the First Edition
Preface to the Second Edition
Acknowledgments
12.
図書
Duncan J. Watts
目次情報:
続きを見る
Preface
Kevin Bacon, the Small World, and Why It All Matters / 1：
Structure / Part I：
An Overview of the Small-World Phenomenon / 2：
Social Networks and the Small World / 2.1：
A Brief History of the Small World / 2.1.1：
Difficulties with the Real World / 2.1.2：
Reframing the Question to Consider All Worlds / 2.1.3：
Background on the Theory of Graphs / 2.2：
Basic Definitions / 2.2.1：
Length and Length Scaling / 2.2.2：
Neighbourhoods and Distribution Sequences / 2.2.3：
Clustering / 2.2.4：
"Lattice Graphs" and Random Graphs / 2.2.5：
Dimension and Embedding of Graphs / 2.2.6：
Alternative Definition of Clustering Coefficient / 2.2.7：
Big Worlds and Small Worlds: Models of Graphs / 3：
Relational Graphs / 3.1：
[alpha]-Graphs / 3.1.1：
A Stripped-Down Model: [beta]-Graphs / 3.1.2：
Shortcuts and Contractions: Model Invariance / 3.1.3：
Lies, Damned Lies, and (More) Statistics / 3.1.4：
Spatial Graphs / 3.2：
Uniform Spatial Graphs / 3.2.1：
Gaussian Spatial Graphs / 3.2.2：
Main Points in Review / 3.3：
Explanations and Ruminations / 4：
Going to Extremes / 4.1：
The Connected-Caveman World / 4.1.1：
Moore Graphs as Approximate Random Graphs / 4.1.2：
Transitions in Relational Graphs / 4.2：
Local and Global Length Scales / 4.2.1：
Clustering Coefficient / 4.2.2：
Contractions / 4.2.4：
Results and Comparisons with [beta]-Model / 4.2.5：
Transitions in Spatial Graphs / 4.3：
Spatial Length versus Graph Length / 4.3.1：
Results and Comparisons / 4.3.2：
Variations on Spatial and Relational Graphs / 4.4：
"It's a Small World after All": Three Real Graphs / 4.5：
Making Bacon / 5.1：
Examining the Graph / 5.1.1：
Comparisons / 5.1.2：
The Power of Networks / 5.2：
Examining the System / 5.2.1：
A Worm's Eye View / 5.2.2：
Other Systems / 5.3.1：
Dynamics / 5.5：
The Spread of Infectious Disease in Structured Populations / 6：
A Brief Review of Disease Spreading / 6.1：
Analysis and Results / 6.2：
Introduction of the Problem / 6.2.1：
Permanent-Removal Dynamics / 6.2.2：
Temporary-Removal Dynamics / 6.2.3：
Global Computation in Cellular Automata / 6.3：
Background / 7.1：
Global Computation / 7.1.1：
Cellular Automata on Graphs / 7.2：
Density Classification / 7.2.1：
Synchronisation / 7.2.2：
Cooperation in a Small World: Games on Graphs / 7.3：
The Prisoner's Dilemma / 8.1：
Spatial Prisoner's Dilemma / 8.1.2：
N-Player Prisoner's Dilemma / 8.1.3：
Evolution of Strategies / 8.1.4：
Emergence of Cooperation in a Homogeneous Population / 8.2：
Generalised Tit-for-Tat / 8.2.1：
Win-Stay, Lose-Shift / 8.2.2：
Evolution of Cooperation in a Heterogeneous Population / 8.3：
Global Synchrony in Populations of Coupled Phase Oscillators / 8.4：
Kuramoto Oscillators on Graphs / 9.1：
Conclusions / 9.3：
Notes
Bibliography
Index
Preface
Kevin Bacon, the Small World, and Why It All Matters / 1：
Structure / Part I：
13.
図書
Karsten Konrad
目次情報:
続きを見る
Motivation / 1：
The Subject of This Volume / 1.1：
Interpretation, Analysis, Computation / 1.2：
Interpretation / 1.2.1：
Analysis / 1.2.2：
Computation / 1.2.3：
Acknowledgments / 1.3：
Logics / Part I：
Model Generation / 2：
Introduction / 2.1：
Preliminaries / 2.2：
Topics / 2.3：
Models and Decidability / 2.3.1：
Herbrand Models / 2.3.2：
Finite Models / 2.3.3：
Representations / 2.3.4：
Minimality / 2.3.5：
Subset Minimality / 2.3.6：
Domain Minimality / 2.3.7：
Predicate-Specific Minimality / 2.3.8：
Enumeration / 2.3.9：
Model Enumeration with Theorem Provers / 2.3.10：
Enumeration with Finite Model Generators / 2.3.11：
Methods / 2.4：
Analytical Tableaux / 2.4.1：
Ground Tableaux / 2.4.2：
Free Variable Tableaux / 2.4.3：
Positive Unit Hyper-resolution / 2.4.4：
A Method Complete for Finite Satisfiability / 2.4.5：
The Davis-Putnam Procedure / 2.4.6：
Calculus and Procedure / 2.4.7：
Branches as Models / 2.4.8：
Efficiency / 2.4.9：
Related Work / 2.5：
Higher-Order Model Generation / 3：
The A-Calculus in Linguistics / 3.1：
Composition of Meaning / 3.1.1：
Quantification in Natural Language / 3.1.2：
Quantifiers as Higher-Order Expressions / 3.1.3：
First-Order Limitations / 3.1.4：
A Motivation for a New Kind of Logic / 3.1.5：
Higher-Order Logic / 3.2：
Syntax / 3.2.1：
Types / 3.2.2：
Terms / 3.2.3：
Semantics / 3.2.4：
Functional Interpretations / 3.2.5：
Logical Constants / 3.2.6：
Defining a Logic / 3.2.7：
Standard Frames and Generalised Interpretations / 3.2.8：
Model Generation for Generalised Frames? / 3.2.9：
Equivalency for Higher-Order Atoms / 3.2.10：
Function Domains and Quantification / 3.2.11：
A Fragment of Higher-Order Logic / 3.3：
Constant Frames / 3.3.1：
Interpretations and Denotations / 3.3.4：
An <$>{\cal M}{\cal Q}{\cal L}<$> Logic / 3.3.5：
Connectives / 3.3.6：
Quantifiers / 3.3.7：
Definitions / 3.3.8：
Equality / 3.3.9：
Constructing Models / 3.4：
Determining Models Intelligently / 3.4.1：
Formulas as Constraints / 3.4.2：
Solving Constraints / 3.4.3：
Translating Formulas into Constraints / 3.4.4：
An Example / 3.4.5：
Properties of the Translation / 3.4.6：
Refutation Soundness / 3.4.7：
Completeness for <$>{\cal M}{\cal Q}{\cal L}<$> Satisfiability / 3.4.8：
Enumerating Models / 3.4.9：
Minimal Model Generation / 4：
Decidability of Local Minimality / 4.1：
Linguistics / Part II：
The Analysis of Definites / 5：
The Semantics of Definite Descriptions / 5.1：
Definites and Deduction / 5.1.2：
How Models Interpret Sentences / 5.1.3：
Discourse Models / 5.1.4：
Models for Definites / 5.1.5：
Uniqueness and Lots of Rabbits / 5.1.6：
Some Representations / 5.2：
Simple Cases / 5.2.1：
Donkeys, Context Sets, and Anaphoric Use / 5.2.2：
Quantifiers and Donkey Sentences / 5.2.3：
Context Set Restrictions / 5.2.4：
The Treatment of Names / 5.2.5：
Restrictions with Knowledge / 5.2.6：
Implicit Knowledge and Accommodation / 5.2.7：
Bridging / 5.2.8：
Simple Cases Revisited / 5.2.9：
Non-resolvable Anaphora in DRT / 5.2.10：
Definites Are Not Anaphora / 5.2.11：
Non-existence / 5.2.12：
What We Have Learned so Far / 5.3：
Reciprocity / 6：
Exploring the Meaning of Each Other / 6.1：
Reciprocals for Larger Groups / 6.2.1：
Classifying Reciprocal Meaning / 6.2.2：
Strong Reciprocity / 6.2.3：
One-Way Weak Reciprocity / 6.2.4：
Inclusive Alternative Ordering / 6.2.5：
Intermediate Reciprocity / 6.2.6：
Intermediate Alternative Reciprocity / 6.2.7：
Strong Alternative Reciprocity / 6.2.8：
Parameterisation / 6.2.9：
The Landscape of Reciprocity / 6.2.10：
Parameterised Definitions / 6.2.11：
Interpreting Reciprocals / 6.2.12：
The Strongest Meaning Hypothesis / 6.2.13：
A Counter-Example / 6.2.14：
The SMH Does Not Compute (Yet) / 6.2.15：
Inference to Best Reciprocal Meaning / 6.3：
To Strong Meaning through Minimality / 6.3.1：
Predicate Minimisation / 6.3.2：
A Logical Encoding of Less Is More / 6.3.3：
A First Attempt at Computation / 6.3.4：
First Method: Minimality by Proof / 6.3.5：
Second Method: Minimality by Bounded Search / 6.3.6：
Third Method: A Two-Stage Combination / 6.3.7：
Conservative Minimality / 6.3.8：
Experiments / 6.4：
Pitchers and Pearls / 6.4.1：
The Boston Pitchers / 6.4.2：
Pearls / 6.4.3：
Measles / 6.4.4：
Marriages / 6.4.5：
Loose Ends / 6.5：
How We Can Understand Each Other / 6.6：
Abduction / 7：
What Is Abduction? / 7.1：
A Formal Definition of Abduction / 7.1.1：
Models for Anaphora Resolution / 7.2：
Chasing the Criminal / 7.2.1：
Explaining Resolutions / 7.2.2：
Discussion / 7.2.3：
Incremental Inference instead of Generate-and-Test / 7.2.4：
An Alternative by Conservative Minimality / 7.2.5：
Weighted Abduction / 7.3：
Logic Programming and Abduction / 7.3.1：
Abductive Explanations / 7.3.2：
Weights and Costs / 7.3.3：
Applications / 7.3.4：
Definite Reference / 7.3.5：
Composite Noun Phrases / 7.3.6：
Resolving Ambiguity / 7.3.7：
Similarities / 7.3.8：
Differences and Comparison / 7.3.10：
Implementation / 8：
System Architecture / 8.1：
The Syntax / 8.3：
Formulas / 8.3.1：
Problem Specifications / 8.3.3：
A Small Example / 8.3.4：
The Semantics / 8.3.5：
Logic Definition Structures / 8.4.1：
Propagator Procedures / 8.4.2：
Monadic Quantifiers / 8.4.3：
Diadic Quantifiers / 8.4.5：
The Translation / 8.4.6：
Proof Engines and Controlling Search / 8.5：
Proof Engines / 8.5.1：
Search / 8.5.2：
System Performance / 8.6：
Identifying Single Solutions / 8.6.1：
Kimba as a Propositional Theorem Prover / 8.6.2：
Generating Minimal Models / 8.6.3：
Conclusion / 9：
Why Inference Is Worth the Effort / 9.1：
Contributions / 9.2：
Models as Meaning / 9.3：
Some Example Problems / A：
The Job Puzzle / A.1：
Reciprocals: The Boston Pitchers / A.2：
References
Index
Motivation / 1：
The Subject of This Volume / 1.1：
Interpretation, Analysis, Computation / 1.2：
14.
ＥＢ
Karsten Konrad
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Motivation / 1：
The Subject of This Volume / 1.1：
Interpretation, Analysis, Computation / 1.2：
Interpretation / 1.2.1：
Analysis / 1.2.2：
Computation / 1.2.3：
Acknowledgments / 1.3：
Logics / Part I：
Model Generation / 2：
Introduction / 2.1：
Preliminaries / 2.2：
Topics / 2.3：
Models and Decidability / 2.3.1：
Herbrand Models / 2.3.2：
Finite Models / 2.3.3：
Representations / 2.3.4：
Minimality / 2.3.5：
Subset Minimality / 2.3.6：
Domain Minimality / 2.3.7：
Predicate-Specific Minimality / 2.3.8：
Enumeration / 2.3.9：
Model Enumeration with Theorem Provers / 2.3.10：
Enumeration with Finite Model Generators / 2.3.11：
Methods / 2.4：
Analytical Tableaux / 2.4.1：
Ground Tableaux / 2.4.2：
Free Variable Tableaux / 2.4.3：
Positive Unit Hyper-resolution / 2.4.4：
A Method Complete for Finite Satisfiability / 2.4.5：
The Davis-Putnam Procedure / 2.4.6：
Calculus and Procedure / 2.4.7：
Branches as Models / 2.4.8：
Efficiency / 2.4.9：
Related Work / 2.5：
Higher-Order Model Generation / 3：
The A-Calculus in Linguistics / 3.1：
Composition of Meaning / 3.1.1：
Quantification in Natural Language / 3.1.2：
Quantifiers as Higher-Order Expressions / 3.1.3：
First-Order Limitations / 3.1.4：
A Motivation for a New Kind of Logic / 3.1.5：
Higher-Order Logic / 3.2：
Syntax / 3.2.1：
Types / 3.2.2：
Terms / 3.2.3：
Semantics / 3.2.4：
Functional Interpretations / 3.2.5：
Logical Constants / 3.2.6：
Defining a Logic / 3.2.7：
Standard Frames and Generalised Interpretations / 3.2.8：
Model Generation for Generalised Frames? / 3.2.9：
Equivalency for Higher-Order Atoms / 3.2.10：
Function Domains and Quantification / 3.2.11：
A Fragment of Higher-Order Logic / 3.3：
Constant Frames / 3.3.1：
Interpretations and Denotations / 3.3.4：
An <$>{\cal M}{\cal Q}{\cal L}<$> Logic / 3.3.5：
Connectives / 3.3.6：
Quantifiers / 3.3.7：
Definitions / 3.3.8：
Equality / 3.3.9：
Constructing Models / 3.4：
Determining Models Intelligently / 3.4.1：
Formulas as Constraints / 3.4.2：
Solving Constraints / 3.4.3：
Translating Formulas into Constraints / 3.4.4：
An Example / 3.4.5：
Properties of the Translation / 3.4.6：
Refutation Soundness / 3.4.7：
Completeness for <$>{\cal M}{\cal Q}{\cal L}<$> Satisfiability / 3.4.8：
Enumerating Models / 3.4.9：
Minimal Model Generation / 4：
Decidability of Local Minimality / 4.1：
Linguistics / Part II：
The Analysis of Definites / 5：
The Semantics of Definite Descriptions / 5.1：
Definites and Deduction / 5.1.2：
How Models Interpret Sentences / 5.1.3：
Discourse Models / 5.1.4：
Models for Definites / 5.1.5：
Uniqueness and Lots of Rabbits / 5.1.6：
Some Representations / 5.2：
Simple Cases / 5.2.1：
Donkeys, Context Sets, and Anaphoric Use / 5.2.2：
Quantifiers and Donkey Sentences / 5.2.3：
Context Set Restrictions / 5.2.4：
The Treatment of Names / 5.2.5：
Restrictions with Knowledge / 5.2.6：
Implicit Knowledge and Accommodation / 5.2.7：
Bridging / 5.2.8：
Simple Cases Revisited / 5.2.9：
Non-resolvable Anaphora in DRT / 5.2.10：
Definites Are Not Anaphora / 5.2.11：
Non-existence / 5.2.12：
What We Have Learned so Far / 5.3：
Reciprocity / 6：
Exploring the Meaning of Each Other / 6.1：
Reciprocals for Larger Groups / 6.2.1：
Classifying Reciprocal Meaning / 6.2.2：
Strong Reciprocity / 6.2.3：
One-Way Weak Reciprocity / 6.2.4：
Inclusive Alternative Ordering / 6.2.5：
Intermediate Reciprocity / 6.2.6：
Intermediate Alternative Reciprocity / 6.2.7：
Strong Alternative Reciprocity / 6.2.8：
Parameterisation / 6.2.9：
The Landscape of Reciprocity / 6.2.10：
Parameterised Definitions / 6.2.11：
Interpreting Reciprocals / 6.2.12：
The Strongest Meaning Hypothesis / 6.2.13：
A Counter-Example / 6.2.14：
The SMH Does Not Compute (Yet) / 6.2.15：
Inference to Best Reciprocal Meaning / 6.3：
To Strong Meaning through Minimality / 6.3.1：
Predicate Minimisation / 6.3.2：
A Logical Encoding of Less Is More / 6.3.3：
A First Attempt at Computation / 6.3.4：
First Method: Minimality by Proof / 6.3.5：
Second Method: Minimality by Bounded Search / 6.3.6：
Third Method: A Two-Stage Combination / 6.3.7：
Conservative Minimality / 6.3.8：
Experiments / 6.4：
Pitchers and Pearls / 6.4.1：
The Boston Pitchers / 6.4.2：
Pearls / 6.4.3：
Measles / 6.4.4：
Marriages / 6.4.5：
Loose Ends / 6.5：
How We Can Understand Each Other / 6.6：
Abduction / 7：
What Is Abduction? / 7.1：
A Formal Definition of Abduction / 7.1.1：
Models for Anaphora Resolution / 7.2：
Chasing the Criminal / 7.2.1：
Explaining Resolutions / 7.2.2：
Discussion / 7.2.3：
Incremental Inference instead of Generate-and-Test / 7.2.4：
An Alternative by Conservative Minimality / 7.2.5：
Weighted Abduction / 7.3：
Logic Programming and Abduction / 7.3.1：
Abductive Explanations / 7.3.2：
Weights and Costs / 7.3.3：
Applications / 7.3.4：
Definite Reference / 7.3.5：
Composite Noun Phrases / 7.3.6：
Resolving Ambiguity / 7.3.7：
Similarities / 7.3.8：
Differences and Comparison / 7.3.10：
Implementation / 8：
System Architecture / 8.1：
The Syntax / 8.3：
Formulas / 8.3.1：
Problem Specifications / 8.3.3：
A Small Example / 8.3.4：
The Semantics / 8.3.5：
Logic Definition Structures / 8.4.1：
Propagator Procedures / 8.4.2：
Monadic Quantifiers / 8.4.3：
Diadic Quantifiers / 8.4.5：
The Translation / 8.4.6：
Proof Engines and Controlling Search / 8.5：
Proof Engines / 8.5.1：
Search / 8.5.2：
System Performance / 8.6：
Identifying Single Solutions / 8.6.1：
Kimba as a Propositional Theorem Prover / 8.6.2：
Generating Minimal Models / 8.6.3：
Conclusion / 9：
Why Inference Is Worth the Effort / 9.1：
Contributions / 9.2：
Models as Meaning / 9.3：
Some Example Problems / A：
The Job Puzzle / A.1：
Reciprocals: The Boston Pitchers / A.2：
References
Index
Motivation / 1：
The Subject of This Volume / 1.1：
Interpretation, Analysis, Computation / 1.2：
15.
図書
David A. Watt ; with contributions by William Findlay
出版情報:
Chichester : John Wiley & Sons, c2004 xviii, 473 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Introduction / Part I：
Programming languages / 1：
Programming linguistics / 1.1：
Concepts and paradigms / 1.1.1：
Syntax, semantics, and pragmatics / 1.1.2：
Language processors / 1.1.3：
Historical development / 1.2：
Summary
Further reading
Exercises
Basic Concepts / Part II：
Values and types / 2：
Types / 2.1：
Primitive types / 2.2：
Built-in primitive types / 2.2.1：
Defined primitive types / 2.2.2：
Discrete primitive types / 2.2.3：
Composite types / 2.3：
Cartesian products, structures, and records / 2.3.1：
Mappings, arrays, and functions / 2.3.2：
Disjoint unions, discriminated records, and objects / 2.3.3：
Recursive types / 2.4：
Lists / 2.4.1：
Strings / 2.4.2：
Recursive types in general / 2.4.3：
Type systems / 2.5：
Static vs dynamic typing / 2.5.1：
Type equivalence / 2.5.2：
The Type Completeness Principle / 2.5.3：
Expressions / 2.6：
Literals / 2.6.1：
Constructions / 2.6.2：
Function calls / 2.6.3：
Conditional expressions / 2.6.4：
Iterative expressions / 2.6.5：
Constant and variable accesses / 2.6.6：
Implementation notes / 2.7：
Representation of primitive types / 2.7.1：
Representation of Cartesian products / 2.7.2：
Representation of arrays / 2.7.3：
Representation of disjoint unions / 2.7.4：
Representation of recursive types / 2.7.5：
Variables and storage / 3：
Simple variables / 3.1：
Composite variables / 3.3：
Total vs selective update / 3.3.1：
Static vs dynamic vs flexible arrays / 3.3.2：
Copy semantics vs reference semantics / 3.4：
Lifetime / 3.5：
Global and local variables / 3.5.1：
Heap variables / 3.5.2：
Persistent variables / 3.5.3：
Pointers / 3.6：
Pointers and recursive types / 3.6.1：
Dangling pointers / 3.6.2：
Commands / 3.7：
Skips / 3.7.1：
Assignments / 3.7.2：
Proper procedure calls / 3.7.3：
Sequential commands / 3.7.4：
Collateral commands / 3.7.5：
Conditional commands / 3.7.6：
Iterative commands / 3.7.7：
Expressions with side effects / 3.8：
Command expressions / 3.8.1：
Expression-oriented languages / 3.8.2：
Storage for global and local variables / 3.9：
Storage for heap variables / 3.9.2：
Representation of dynamic and flexible arrays / 3.9.3：
Bindings and scope / 4：
Bindings and environments / 4.1：
Scope / 4.2：
Block structure / 4.2.1：
Scope and visibility / 4.2.2：
Static vs dynamic scoping / 4.2.3：
Declarations / 4.3：
Type declarations / 4.3.1：
Constant declarations / 4.3.2：
Variable declarations / 4.3.3：
Procedure definitions / 4.3.4：
Collateral declarations / 4.3.5：
Sequential declarations / 4.3.6：
Recursive declarations / 4.3.7：
Scopes of declarations / 4.3.8：
Blocks / 4.4：
Block commands / 4.4.1：
Block expressions / 4.4.2：
The Qualification Principle / 4.4.3：
Procedural abstraction / 5：
Function procedures and proper procedures / 5.1：
Function procedures / 5.1.1：
Proper procedures / 5.1.2：
The Abstraction Principle / 5.1.3：
Parameters and arguments / 5.2：
Copy parameter mechanisms / 5.2.1：
Reference parameter mechanisms / 5.2.2：
The Correspondence Principle / 5.2.3：
Implementation of procedure calls / 5.3：
Implementation of parameter mechanisms / 5.3.2：
Advanced Concepts / Part III：
Data abstraction / 6：
Program units, packages, and encapsulation / 6.1：
Packages / 6.1.1：
Encapsulation / 6.1.2：
Abstract types / 6.2：
Objects and classes / 6.3：
Classes / 6.3.1：
Subclasses and inheritance / 6.3.2：
Abstract classes / 6.3.3：
Single vs multiple inheritance / 6.3.4：
Interfaces / 6.3.5：
Representation of objects / 6.4：
Implementation of method calls / 6.4.2：
Generic abstraction / 7：
Generic units and instantiation / 7.1：
Generic packages in ADA / 7.1.1：
Generic classes in C++ / 7.1.2：
Type and class parameters / 7.2：
Type parameters in ADA / 7.2.1：
Type parameters in C++ / 7.2.2：
Class parameters in JAVA / 7.2.3：
Implementation of ADA generic units / 7.3：
Implementation of C++ generic units / 7.3.2：
Implementation of JAVA generic units / 7.3.3：
Inclusion polymorphism / 8：
Types and subtypes / 8.1.1：
Classes and subclasses / 8.1.2：
Parametric polymorphism / 8.2：
Polymorphic procedures / 8.2.1：
Parameterized types / 8.2.2：
Type inference / 8.2.3：
Overloading / 8.3：
Type conversions / 8.4：
Implementation of parametric polymorphism / 8.5：
Control flow / 9：
Sequencers / 9.1：
Jumps / 9.2：
Escapes / 9.3：
Exceptions / 9.4：
Implementation of jumps and escapes / 9.5：
Implementation of exceptions / 9.5.2：
Concurrency / 10：
Why concurrency? / 10.1：
Programs and processes / 10.2：
Problems with concurrency / 10.3：
Nondeterminism / 10.3.1：
Speed dependence / 10.3.2：
Deadlock / 10.3.3：
Starvation / 10.3.4：
Process interactions / 10.4：
Independent processes / 10.4.1：
Competing processes / 10.4.2：
Communicating processes / 10.4.3：
Concurrency primitives / 10.5：
Process creation and control / 10.5.1：
Interrupts / 10.5.2：
Spin locks and wait-free algorithms / 10.5.3：
Events / 10.5.4：
Semaphores / 10.5.5：
Messages / 10.5.6：
Remote procedure calls / 10.5.7：
Concurrent control abstractions / 10.6：
Conditional critical regions / 10.6.1：
Monitors / 10.6.2：
Rendezvous / 10.6.3：
Paradigms / Part IV：
Imperative programming / 11：
Key concepts / 11.1：
Pragmatics / 11.2：
A simple spellchecker / 11.2.1：
Case study: C / 11.3：
Variables, storage, and control / 11.3.1：
Independent compilation / 11.3.3：
Preprocessor directives / 11.3.6：
Function library / 11.3.7：
Case study: Ada / 11.3.8：
Separate compilation / 11.4.1：
Package library / 11.4.8：
Object-oriented programming / 11.4.9：
Case study: C++ / 12.1：
Independent compilation and preprocessor directives / 12.3.1：
Class and template library / 12.3.8：
Case study: Java / 12.3.9：
Separate compilation and dynamic linking / 12.4.1：
Class library / 12.4.8：
Case study: Ada95 / 12.4.9：
Concurrent programming / 12.5.1：
Process creation and termination / 13.1：
Mutual exclusion / 13.3.2：
Admission control / 13.3.3：
Scheduling away deadlock / 13.3.4：
Functional programming / 13.4：
Eager vs normal-order vs lazy evaluation / 14.1：
Case study: Haskell / 14.2：
Lazy evaluation / 14.3.1：
Modeling state / 14.3.5：
Logic programming / 14.3.8：
Case study: Prolog / 15.1：
Values, variables, and terms / 15.3.1：
Assertions and clauses / 15.3.2：
Relations / 15.3.3：
The closed-world assumption / 15.3.4：
Control / 15.3.5：
Input/output / 15.3.7：
Scripting / 15.3.8：
Regular expressions / 16.1：
Case study: Python / 16.3：
Module library / 16.3.1：
Conclusion / Part V：
Language selection / 17：
Criteria / 17.1：
Evaluation / 17.2：
Language design / 18：
Selection of concepts / 18.1：
Regularity / 18.2：
Simplicity / 18.3：
Efficiency / 18.4：
Syntax / 18.5：
Language life cycles / 18.6：
The future / 18.7：
Bibliography
Glossary
Index
Preface
Introduction / Part I：
Programming languages / 1：
16.
図書
Iain Stewart
目次情報:
続きを見る
Preface
Acknowledgements
Introduction / 1：
The Discovery of Liquid Crystals / 1.1：
Basic Descriptions of Liquid Crystals / 1.2：
The Development of the Continuum Theory of Liquid Crystals / 1.3：
Notation and Conventions / 1.4：
Static Theory of Nematics / 2：
The Frank-Oseen Elastic Energy / 2.1：
The Nematic Energy / 2.2.1：
The Cholesteric Energy / 2.2.2：
Electric and Magnetic Fields / 2.3：
Electric Fields and the Electric Energy / 2.3.1：
Magnetic Fields and the Magnetic Energy / 2.3.2：
Comments on Fields and Units / 2.3.3：
Equilibrium Equations / 2.4：
Preliminaries / 2.4.1：
Derivation of the Equilibrium Equations / 2.4.2：
General Equilibrium Solutions / 2.5：
Anchoring and Boundary Conditions / 2.6：
No Anchoring / 2.6.1：
Strong Anchoring / 2.6.2：
Conical Anchoring / 2.6.3：
Weak Anchoring / 2.6.4：
Reformulation of Equilibrium Equations / 2.7：
Bulk Equilibrium Equations / 2.7.1：
Reformulation of Boundary Conditions / 2.7.2：
Applications of Static Theory of Nematics / 3：
Some Equilibrium Solutions / 3.1：
Elementary Equilibrium Solutions / 3.2.1：
Tilt and Twist Equilibrium Solutions / 3.2.2：
Magnetic Coherence Length / 3.3：
Freedericksz Transitions / 3.4：
The Classical Freedericksz Transitions in Nematics / 3.4.1：
Pretilt at the Boundaries / 3.4.2：
Tilted Fields / 3.4.3：
Electric Field Effects / 3.5：
Weak Anchoring Effects / 3.6：
The Twisted Nematic Device / 3.7：
Defects / 3.8：
Axial Line Disclinations / 3.8.1：
Perpendicular Disclinations / 3.8.2：
Boundary Line Disclinations / 3.8.3：
Point Defects at a Surface / 3.8.4：
Dynamic Theory of Nematics / 4：
The Ericksen-Leslie Dynamic Equations / 4.1：
Kinematics and Material Frame-Indifference / 4.2.1：
Balance Laws / 4.2.2：
Constitutive Equations / 4.2.3：
The Dynamic Equations / 4.2.4：
Summary of the Ericksen-Leslie Dynamic Equations / 4.2.5：
Reformulation of the Dynamic Equations / 4.3：
The Nematic Viscosities / 4.4：
Applications of Dynamic Theory of Nematics / 5：
A Simple Flow Alignment / 5.1：
A Transverse Flow Effect / 5.3：
The Zwetkoff Experiment / 5.4：
Shear Flow / 5.5：
Newtonian and Non-Newtonian Behaviour / 5.5.1：
Governing Equations for Shear Flow / 5.5.2：
Shear Flow Near a Boundary / 5.5.3：
Shear Flow between Parallel Plates / 5.5.4：
Scaling Properties / 5.5.5：
Oscillatory Shear Flow / 5.6：
Oscillatory Shear Flow Solutions / 5.6.1：
Stability and Instability / 5.6.2：
Couette Flow / 5.7：
The Anisotropic Fluid Case / 5.7.1：
The Nematic Liquid Crystal Case / 5.7.2：
Poiseuille Flow / 5.8：
Results from a Scaling Analysis / 5.8.1：
Dynamics of the Freedericksz Transition / 5.9：
Dynamics in the Twist Geometry / 5.9.1：
Backflow and Kickback in the Splay Geometry / 5.9.2：
Backflow in the Bend Geometry / 5.9.3：
Light Scattering / 5.10：
Theory of Smectic C Liquid Crystals / 6：
Static Theory of Smectic C / 6.1：
The Elastic Energy for Smectic C / 6.2.1：
The Magnetic and Electric Energies / 6.2.2：
Focal Conic Defects: Dupin and Parabolic Cyclides / 6.2.3：
A Freedericksz Transition in Bookshelf Smectic C / 6.2.5：
Smectic Layer Compression / 6.2.6：
Dynamic Theory of Smectic C / 6.3：
Dynamic Equations for SmC Liquid Crystals / 6.3.1：
The Smectic C Viscosities / 6.3.2：
Simple Flow Alignment in Smectic C / 6.3.3：
Theory of Smectic C* Liquid Crystals / 6.4：
Energies for Smectic C* / 6.4.1：
Static and Dynamic Theory for Smectic C* / 6.4.2：
Director Reorientation in Smectic C* / 6.4.3：
Comments on Theories of Smectics / 6.5：
Results Employing Variational Methods / A：
Identities / B：
Physical Components in Cylindrical Polar Coordinates / C：
Tables / D：
Bibliography
Index
Preface
Acknowledgements
Introduction / 1：
17.
ＥＢ
Stefan D. Bilbao, Stefan Bilbao
出版情報:
Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Incorporated, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Foreword
Introduction / 1：
An Overview of Scattering Methods / 1.1：
Remarks on Passivity / 1.1.1：
Case Study: The KellyâÇôLochbaum Digital Speech Synthesis Mode / 1.1.2：
Digital Waveguide Networks / 1.1.3：
A General Approach: Multidimensional Circuit Representations and Wave Digital Filters / 1.1.4：
Questions / 1.2：
Wave Digital Filters / 2：
Classical Network Theory / 2.1：
NâÇôports / 2.1.1：
Power and Passivity / 2.1.2：
KirchhoffâDzs Laws / 2.1.3：
Circuit Elements / 2.1.4：
Wave Digital Elements and Connections / 2.2：
The Bilinear Transform / 2.2.1：
Wave Variables / 2.2.2：
Pseudopower and Pseudopassivity / 2.2.3：
Wave Digital Elements / 2.2.4：
Adaptors / 2.2.5：
Signal and Coefficient Quantization / 2.2.6：
VectorWave Variables / 2.2.7：
Wave Digital Filters and Finite Differences / 2.3：
Multidimensional Wave Digital Filters / 3：
Symmetric Hyperbolic Systems / 3.1：
Coordinate Changes and Grid Generation / 3.2：
Structure of Coordinate Changes / 3.2.1：
Coordinate Changes in (1 +1)D / 3.2.2：
Coordinate Changes in Higher Dimensions / 3.2.3：
MDâÇôpassivity / 3.3：
MD Circuit Elements / 3.4：
The MD Inductor / 3.4.1：
OtherMD Elements / 3.4.2：
Discretization in the Spectral Domain / 3.4.3：
Other Spectral Mappings / 3.4.4：
The (1 +1)D Advection Equation / 3.5：
A Multidimensional Kirchhoff Circuit / 3.5.1：
Stability / 3.5.2：
An Upwind Form / 3.5.3：
The (1 +1)D Transmission Line / 3.6：
MDKC for the (1 + 1)D Transmission Line Equations / 3.6.1：
Digression: The Inductive Lattice TwoâÇôport / 3.6.2：
Energetic Interpretation / 3.6.3：
A MDWD Network for the (1 + 1)D Transmission Line / 3.6.4：
Simplified Networks / 3.6.5：
The (2 +1)D ParallelâÇôplate System / 3.7：
MDKC and MDWD Network / 3.7.1：
FiniteâÇôdifference Interpretation / 3.8：
MDWD Networks as Multistep Schemes / 3.8.1：
Numerical Phase Velocity and Parasitic Modes / 3.8.2：
Initial Conditions / 3.9：
Boundary Conditions / 3.10：
MDKC Modeling of Boundaries / 3.10.1：
Balanced Forms / 3.11：
HigherâÇôorder Accuracy / 3.12：
FDTD and TLM / 4：
Digital Waveguides / 4.2：
The Bidirectional Delay Line / 4.2.1：
Impedance / 4.2.2：
Wave Equation Interpretation / 4.2.3：
Note on the Different Definitions of Wave Quantities / 4.2.4：
Scattering Junctions / 4.2.5：
Vector Waveguides and Scattering Junctions / 4.2.6：
Transitional Note / 4.2.7：
FirstâÇôorder System and the Wave Equation / 4.3：
Centered Difference Schemes and Grid Decimation / 4.3.2：
A (1+1)D Waveguide Network / 4.3.3：
Waveguide Network and the Wave Equation / 4.3.4：
An Interleaved Waveguide Network / 4.3.5：
Varying Coefficients / 4.3.6：
Incorporating Losses and Sources / 4.3.7：
Numerical Phase Velocity and Dispersion / 4.3.8：
Defining Equations and Centered Differences / 4.3.9：
The Waveguide Mesh / 4.4.2：
Reduced Computational Complexity and Memory Requirements in the Standard Form of the Waveguide Mesh / 4.4.3：
Music and Audio Applications of Digital Waveguides / 4.4.4：
Extensions of Digital Waveguide Networks / 5：
Alternative Grids in (2 +1)D / 5.1：
Hexagonal and Triangular Grids / 5.1.1：
The Waveguide Mesh in Radial Coordinates / 5.1.2：
The (3 + 1)D Wave Equation and Waveguide Meshes / 5.2：
The Waveguide Mesh in General Curvilinear Coordinates / 5.3：
Interfaces between Grids / 5.4：
Doubled Grid Density Across an Interface / 5.4.1：
Progressive Grid Density Doubling / 5.4.2：
Grid Density Quadrupling / 5.4.3：
Connecting Rectilinear and Radial Grids / 5.4.4：
Grid Density Doubling in (3 +1)D / 5.4.5：
Note / 5.4.6：
Incorporating the DWN into the MDWD Framework / 6：
The (1 +1)D Transmission Line Revisited / 6.1：
Multidimensional Unit Elements / 6.1.1：
Hybrid Form of the Multidimensional Unit Element / 6.1.2：
Alternative MDKC for the (1+1)D Transmission Line / 6.1.3：
Alternative MDKC for the (2 + 1)D ParallelâÇôplate System / 6.2：
HigherâÇôorder Accuracy Revisited / 6.3：
MaxwellâDzs Equations / 6.4：
Applications to Vibrating Systems / 7：
Beam Dynamics / 7.1：
MDKC and MDWDF for TimoshenkoâDzs System / 7.1.1：
Waveguide Network for TimoshenkoâDzs System / 7.1.2：
Boundary Conditions in the DWN / 7.1.3：
Simulation: TimoshenkoâDzs System for Beams of Uniform and Varying CrossâÇôsectional Areas / 7.1.4：
Improved MDKC for TimoshenkoâDzs System via Balancing / 7.1.5：
Plates / 7.2：
MDKCs and Scattering Networks for MindlinâDzs System / 7.2.1：
Boundary Termination of the Mindlin Plate / 7.2.2：
Simulation: MindlinâDzs System for Plates of Uniform and Varying Thickness / 7.2.3：
Cylindrical Shells / 7.3：
The Membrane Shell / 7.3.1：
The NaghdiâÇôCooper System II Formulation / 7.3.2：
Elastic Solids / 7.4：
Scattering Networks for the Navier System / 7.4.1：
TimeâÇôvarying and Nonlinear Systems / 7.4.2：
TimeâÇôvarying and Nonlinear Circuit Elements / 8.1：
Lumped Elements / 8.1.1：
Distributed Elements / 8.1.2：
Linear TimeâÇôvarying Distributed Systems / 8.2：
A TimeâÇôvarying Transmission Line Model / 8.2.1：
Lumped Nonlinear Systems in Musical Acoustics / 8.3：
Piano Hammers / 8.3.1：
The Single Reed / 8.3.2：
From Wave Digital Principles to Relativity Theory / 8.4：
Origin of the Challenge / 8.4.1：
The Principle of Newtonian Limit / 8.4.2：
NewtonâDzs Second Law / 8.4.3：
NewtonâDzs Third Law and Some Consequences / 8.4.4：
Moving Electromagnetic Field / 8.4.5：
The Bertozzi Experiment / 8.4.6：
BurgerâDzs Equation / 8.5：
The Gas Dynamics Equations / 8.6：
MDKC and MDWDF for the Gas Dynamics Equations / 8.6.1：
An Alternate MDKC and Scattering Network / 8.6.2：
Entropy Variables / 8.6.3：
Concluding Remarks / 9：
Answers / 9.1：
Finite Difference Schemes for the Wave Equation / 9.2：
Von Neumann Analysis of Difference Schemes / A.1：
OneâÇôstep Schemes / A.1.1：
Multistep Schemes / A.1.2：
Vector Schemes / A.1.3：
Numerical Phase Velocity / A.1.4：
Finite Difference Schemes for the (2 + 1)D Wave Equation / A.2：
The Rectilinear Scheme / A.2.1：
The Interpolated Rectilinear Scheme / A.2.2：
The Triangular Scheme / A.2.3：
The Hexagonal Scheme / A.2.4：
Note on HigherâÇôorder Accuracy / A.2.5：
Finite Difference Schemes for the (3 + 1)D Wave Equation / A.3：
The Cubic Rectilinear Scheme / A.3.1：
The Octahedral Scheme / A.3.2：
The (3 + 1)D Interpolated Rectilinear Scheme / A.3.3：
The Tetrahedral Scheme / A.3.4：
Eigenvalue and Steady State Problems / B：
Abstract Time Domain Models / B.1：
Typical Eigenvalue Distribution of a Discretized PDE / B.3：
Excitation and Filtering / B.4：
Partial Similarity Transform / B.5：
Steady State Problems / B.6：
Generalization to Multiple Eigenvalues / B.7：
Numerical Example / B.8：
Bibliography
Index
Preface
Foreword
Introduction / 1：
18.
図書
edited by Patrick J. Hussey
出版情報:
Oxford, UK : Blackwell , Boca Raton, FL : CRC Press, 2004 xiii, 325 p. ; 25 cm
シリーズ名:
Annual plant reviews ; v. 10
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
List of contributors
Preface
The cytoskeleton: the machinery and key molecules / Part 1：
Microtubules and microtubule-associated proteins / Clive Lloyd ; Jordi Chan ; Patrick J. Hussey1：
Introduction / 1.1：
Plant tubulin / 1.2：
Microtubule-associated proteins / 1.3：
Cross-bridging MAPs / 1.3.1：
Proteins that link microtubules to the plasma membrane / 1.3.2：
Microtubule motor proteins / 1.3.3：
Kinesin-related proteins in cytokinesis / 1.3.3.1：
Kinesin-related proteins in mitosis / 1.3.3.2：
Kinesin-related proteins in interphase / 1.3.3.3：
Dynein / 1.3.3.4：
Proteins involved in microtubule nucleation and release: the formation of the cortical array / 1.3.4：
Microtubule-interacting proteins / 1.3.5：
Concluding remarks / 1.4：
References
Actin and actin-modulating proteins / Christopher J. Staiger2：
Actin / 2.1：
Myosin / 2.3：
Actin-binding proteins: overview / 2.4：
Monomer-binding proteins / 2.5：
ADF/cofilin / 2.5.1：
Profilin / 2.5.2：
Adenylyl cyclase-associated protein / 2.5.3：
Cross-linking and bundling factors / 2.6：
Fimbrin / 2.6.1：
Villin and gelsolin-related proteins / 2.6.2：
115-ABP / 2.6.3：
eEF-1[alpha] / 2.6.4：
Spectrin / 2.6.5：
Capping factors / 2.7：
Capping protein (CP) / 2.7.1：
CapG / 2.7.2：
Others / 2.7.3：
Nucleation complexes / 2.8：
Arp2/3 / 2.8.1：
Other F-actin binding proteins / 2.9：
SuSy / 2.9.1：
ABP/MAP190 / 2.9.2：
AIP1 / 2.9.3：
Annexin / 2.9.4：
Gephyrin/AtCNX1 / 2.9.5：
AtSH3P / 2.9.6：
Caldesmon / 2.9.7：
Tropomyosin / 2.9.8：
Vinculin / 2.9.9：
LIM proteins / 2.9.10：
Acknowledgements / 2.10：
Fundamental cytoskeletal activities / Part 2：
Expanding beyond the great divide: the cytoskeleton and axial growth / Geoffrey O. Wasteneys ; David A. Collings3：
Division planes and the establishment of axiality / 3.1：
Cell plate formation and expansion / 3.2.1：
Phragmoplast microtubule and microfilament organization / 3.2.2：
Motor proteins during phragmoplast formation and expansion / 3.2.3：
Vesicle transport in the phragmoplast could be kinesin-based / 3.2.3.1：
Structural MAPs and kinesins function in phragmoplast formation and expansion / 3.2.3.2：
Expansion of the phragmoplast and cell plate requires both kinesins and myosins / 3.2.3.3：
Cytoskeletal mutants defective in cytokinesis / 3.2.4：
Setting up for axial growth: distinguishing lateral and end walls / 3.3：
The cytoskeleton at end walls of elongating cells / 3.3.1：
Establishing axial growth / 3.4：
A transverse cortical microtubule array is essential for axial growth / 3.4.1：
Microtubules and their relationship with cellulose microfibrils and xyloglucans / 3.4.2：
Does the cytoskeleton regulate wall polysaccharide and protein composition? / 3.4.3：
Hormones, cytoskeleton and wall extensibility / 3.4.4：
How does the actin cytoskeleton contribute to cell elongation? / 3.4.5：
Polar auxin transport and its regulation by the actin cytoskeleton / 3.5：
Auxin transport and the chemiosmotic theory / 3.5.1：
Important questions concerning auxin transport and the actin cytoskeleton / 3.5.2：
Small GTPases may be a key to the shuttling of auxin efflux carriers / 3.5.3：
Auxin and gene expression / 3.5.4：
Bending and twisting--the consequences of differential growth / 3.6：
Tropic bending responses / 3.6.1：
Twisting / 3.6.2：
Conclusions and future perspectives / 3.7：
Re-staging plant mitosis / Magdalena Weingarner ; Laszlo Bogre ; John H. Doonan4：
The cyclin dependent protein kinases / 4.1：
Cdk structure and diversity / 4.2.1：
Regulation of Cdk activity / 4.2.2：
Sequence of events during mitosis / 4.3：
Stage 1: preparation for mitosis / 4.3.1：
Stage 2: commitment to mitosis / 4.3.2：
Stage 3: preventing premature genome separation / 4.3.3：
Stage 4: separating the genome / 4.3.4：
Stage 5: exit from mitosis / 4.3.5：
Preparing for mitosis / 4.4：
Animal A-type cyclins / 4.4.1：
Plant A-type cyclins / 4.4.2：
The DNA damage checkpoint / 4.4.3：
Commitment to mitosis / 4.5：
Commitment to mitosis in animal cells / 4.5.1：
Commitment to mitosis in plant cells / 4.5.2：
The role of animal B-type cyclins / 4.5.3：
The role of plant B-type cyclins / 4.5.4：
Condensation of chromatin / 4.6：
Condensation of chromatin in animal cells / 4.6.1：
Condensation of chromatin in plant cells / 4.6.2：
Spindle formation / 4.7：
Spindle formation in animal cells / 4.7.1：
Spindle formation in plant cells / 4.7.2：
The spindle assembly checkpoint pathway / 4.8：
Regulation of APC / 4.8.1：
Separating the genome / 4.9：
Onset of APC-mediated proteolysis in animal cells / 4.9.1：
Onset of APC-mediated proteolysis in plant cells / 4.9.2：
Exit from mitosis and cytokinesis / 4.10：
Regulators of late mitotic events in animal cells / 4.10.1：
Late mitotic events in plant cells / 4.10.2：
Concluding remarks and perspectives / 4.11：
Organelle movements: transport and positioning / Franz Grolig5：
Transport and positioning of particular organelles / 5.1：
Peroxisome / 5.2.1：
Endoplasmic reticulum / 5.2.2：
Golgi / 5.2.3：
Vacuoles / 5.2.4：
Mitochondria / 5.2.5：
Chloroplasts / 5.2.6：
Algae / 5.2.6.1：
Mosses / 5.2.6.2：
Ferns / 5.2.6.3：
Seed plants / 5.2.6.4：
Nucleus / 5.2.7：
Premitotic nuclear positioning / 5.2.7.1：
Nuclear migrations elicited by external stimuli / 5.2.7.2：
Light-governed nuclear migration / 5.2.7.3：
Phragmoplast/cytokinesis / 5.2.8：
The cell wall: a sensory panel for signal transduction / Keiko Sugimoto-Shirasu ; Nicholas C. Carpita ; Maureen C. McCann5.3：
Plant cell wall composition and architecture / 6.1：
Cellulose / 6.2.1：
Cross-linking glycans / 6.2.2：
Pectins / 6.2.3：
Structural proteins / 6.2.4：
Aromatic substances / 6.2.5：
Cell growth and wall extensibility / 6.3：
The biophysics of growth underpins cell wall dynamics / 6.3.1：
The biochemical determinants of yield threshold and extensibility / 6.3.2：
Functional architecture revealed by mutation and transgenic approaches / 6.4：
The cellulose--cross-linking glycan network / 6.4.1：
The role of the cytoskeleton / 6.4.3：
Targeting of cell wall components / 6.5.1：
Mechanical connections / 6.5.2：
Sensing through the plasma membrane / 6.5.3：
The cytoskeleton and plant cell morphogenesis / 6.6：
Development of root hairs / Claire Grierson ; Tijs Ketelaar7：
Roles of the cytoskeleton in root hair morphogenesis / 7.1：
Microtubules / 7.2.1：
Microtubules affect root hair cell fate / 7.2.1.1：
Microtubules and root hair initiation / 7.2.1.2：
Microtubules control direction of root hair tip growth and prevent hairs from branching / 7.2.1.3：
Microtubules help to move the nucleus during tip growth in some species, but not in others / 7.2.1.4：
Actin filaments / 7.2.2：
Actin limits the size of the initiation site / 7.2.2.1：
Actin mediates tip growth by targeting vesicle delivery / 7.2.2.2：
F-actin is essential for the Arabidopsis nucleus to move during and after tip growth / 7.2.2.3：
Actin mediates cytoplasmic streaming in roots hairs / 7.2.2.4：
Actin at the end of tip growth / 7.2.2.5：
Mechanisms that regulate the cytoskeleton during root hair development / 7.3：
Mechanisms regulating root hair patterning / 7.3.1：
Mechanisms that regulate initiation / 7.3.2：
Mechanisms regulating tip growth / 7.3.3：
Mechanisms acting at the end of tip growth / 7.3.4：
The genetic network controlling root hair morphogenesis in Arabidopsis / 7.4：
Genes involved in root hair patterning / 7.4.1：
Genes affecting initiation / 7.4.2：
Genes required for tip growth to be established / 7.4.3：
Genes required to sustain and direct tip growth / 7.4.4：
Genes involved in nuclear movement / 7.4.5：
Genes with roles at the end of tip growth / 7.4.6：
Signaling the cytoskeleton in pollen tube germination and growth / Rui Malho ; Luisa Camacho7.5：
Different signaling pathways converge in the cytoskeleton / 8.1：
The actin cytoskeleton is the major motor driving force in pollen tube growth / 8.3：
Microtubules and microtubule-associated proteins in pollen tube growth / 8.4：
Ca[superscript 2+], modulator of the cytoskeleton / 8.5：
Signaling the cytoskeleton through phosphoinositides / 8.6：
Calmodulin, a primary Ca[superscript 2+] sensor / 8.7：
Protein kinases and phosphatases / 8.8：
14-3-3 proteins / 8.9：
The role of cyclic nucleotides / 8.10：
GTPases, the signaling switches / 8.11：
Transducons - the unity for signaling / 8.12：
Cytoskeletal requirements during Arabidopsis trichome development / Mark Beilstein ; Dan Szymanski8.13：
Trichome morphogenesis / 9.1：
Arabidopsis / 9.2.1：
Members of the Brassicaceae / 9.2.2：
Arabidopsis trichome development / 9.3：
Initiation and leaf development / 9.3.1：
Genetics of initiation / 9.3.2：
Arabidopsis trichome morphogenesis / 9.4：
Cytoskeletal inhibitors / 9.4.1：
Cytoskeletal organization in developing trichomes / 9.4.2：
Genetics of trichome morphogenesis / 9.4.2.1：
Reduced branching mutants: microtubule-based functions / 9.5.1：
ZWICHEL (ZWI) / 9.5.1.1：
Tubulin folding cofactors (TFCs) / 9.5.1.2：
Arabidopsis katanin small subunit (AtKSS) / 9.5.1.3：
ANGUSTIFOLIA (AN) / 9.5.1.4：
SPIKE1 (SPK1) / 9.5.1.5：
The distorted trichome shape mutants: actin-based functions / 9.5.2：
Signaling and the cytoskeleton in guard cells / Paula Duque ; Juan-Pablo Sanchez ; Nam-Hai Chua9.6：
Guard cell signaling / 10.1：
Cytosolic calcium / 10.2.1：
Cytosolic pH / 10.2.2：
Cyclic ADP-ribose / 10.2.3：
Inositol 1,4,5-trisphosphate and other lipid-derived second messengers / 10.2.4：
Membrane trafficking / 10.2.5：
New key intermediates / 10.2.7：
The cytoskeleton in guard cell function / 10.3：
(Re)organization of actin filaments / 10.3.1：
Rho GTPases / 10.3.1.1：
Cell volume regulation / 10.3.1.4：
Other hints of signaling to the guard cell actin cytoskeleton / 10.3.1.5：
Involvement of microtubules / 10.3.2：
Conclusions and perspectives / 10.4：
Acknowledgments
Index
The cytoskeleton: the machinery and key moleculesMicrotubules and microtubule-associated proteins / Jordi Chan, John Innes Centre, Norwich, UK ; Patrick J. Hussey, Department of Biological Sciences, University of Durham, UK
Actin and actinmodulating proteins / Chris J. Staiger, Department of Biological Sciences, Purdue University, Indiana, USA
Fundamental cytoskeleton activities
The cytoskeleton and plant cell morphogenesisDevelopment of root hairs / David A. Collings, Research School of Biological Sciences, The Australian National University, Canberra, Australia ; Magdalena Weingarner, Max-Planck-Institute of Molecular Plant Physiology, Golm, Germany ; Laszlo Bgre, School of Biological Sciences, University of London, Surrey, UK ; John Doonan, John Innes Centre, Norwich, UK ; Franz Grolig, Fachbereich Biologie / Botanik, Philipps-Universitt, Marburg, Germany ; Nicholas C. Carpita, Department of Botany and Plant Pathology, Purdue University, Indiana, USA ; Maureen McCann, John Innes Centre, Norwich, UK ; Tijs Ketelaar, School of Biological Sciences, University of Bristol, UK
List of contributors
Preface
The cytoskeleton: the machinery and key molecules / Part 1：
19.
図書
Richard Sharp
目次情報:
続きを見る
Introduction / 1：
Hardware Description Languages / 1.1：
Hardware Synthesis / 1.2：
High-Level Synthesis / 1.2.1：
Motivation for Higher Level Tools / 1.3：
Lack of Structuring Support / 1.3.1：
Limitations of Static Scheduling / 1.3.2：
Structure of the Monograph / 1.4：
Related Work / 2：
Verilog and VHDL / 2.1：
The Olympus Synthesis System / 2.2：
The HardwareC Language / 2.2.1：
Hercules / 2.2.2：
Hebe / 2.2.3：
Functional Languages / 2.3：
/?FP: An Algebra for VLSI Specification / 2.3.1：
Embedding HDLs in General-Purpose Functional Languages / 2.3.2：
Term Rewriting Systems / 2.4：
Occam/CSP-Based Approaches / 2.5：
Handel and Handel-C / 2.5.1：
Tangram and Balsa / 2.5.2：
Synchronous Languages / 2.6：
Summary / 2.7：
The SAFL Language / 3：
Motivation / 3.1：
Language Definition / 3.2：
Static Allocation / 3.2.1：
Integrating with External Hardware Components / 3.2.2：
Semantics / 3.2.3：
Concrete Syntax / 3.2.4：
Hardware Synthesis Using SAFL / 3.3：
Automatic Generation of Parallel Hardware / 3.3.1：
Resource Awareness / 3.3.2：
Source-Level Program Transformation / 3.3.3：
Static Analysis and Optimisation / 3.3.4：
Architecture Independence / 3.3.5：
Aside: Dealing with Mutual Recursion / 3.4：
Eliminating Mutual Recursion by Transformation / 3.4.1：
Soft Scheduling / 3.5：
Motivation and Related Work / 4.1：
Translating SAFL to Hardware / 4.1.1：
Soft Scheduling: Technical Details / 4.2：
Removing Redundant Arbiters / 4.2.1：
Parallel Conflict Analysis (PCA) / 4.2.2：
Integrating PCA into the FLaSH Compiler / 4.2.3：
Examples and Discussion / 4.3：
Parallel FIR Filter / 4.3.1：
Shared-Memory Multi-processor Architecture / 4.3.2：
Parallel Tasks Sharing Graphical Display / 4.3.3：
Program Transformation for Scheduling and Binding / 4.4：
High-Level Synthesis of SAFL / 4.5：
FLaSH Intermediate Code / 5.1：
The Structure of Intermediate Grap / 5.1.1：
Translation to Intermediate Code / 5.1.2：
Translation to Synchronous Hardware / 5.2：
Compiling Expressions / 5.2.1：
Compiling Functions / 5.2.2：
Generated Verilog / 5.2.3：
Compiling External Functions / 5.2.4：
Translation to GALS Hardware / 5.3：
A Brief Discussion of Metastability / 5.3.1：
Interfacing between Different Clock Domains / 5.3.2：
Modifying the Arbitration Circuitry / 5.3.3：
Analysis and Optimisation of Intermediate Code / 5.4：
Architecture-Neutral verses Architecture-Specific / 6.1：
Definitions and Terminology / 6.2：
Register Placement Analysis and Optimisation / 6.3：
Sharing Conflicts / 6.3.1：
Technical Details / 6.3.2：
Resource Dependency Analysis / 6.3.3：
Data Validity Analysis / 6.3.4：
Sequential Conflict Register Placement / 6.3.5：
Extending the Model: Calling Conventions / 6.4：
Caller-Save Resource Dependency Analysis / 6.4.1：
Caller-Save Permanisation Analysis / 6.4.2：
Synchronous Timing Analysis / 6.5：
Associated Optimisations / 6.5.1：
Results and Discussion / 6.6：
Register Placement Analysis: Results / 6.6.1：
Synchronous Timing Optimisations: Results / 6.6.2：
Dealing with I/O / 6.7：
SAFL+ Language Description / 7.1：
Channels and Channel Passing / 7.1.1：
The Motivation for Channel Passing / 7.1.3：
Translating SAFL+ to Hardware / 7.2：
Extending Analyses from SAFL to SAFL+ / 7.2.1：
Operational Semantics for SAFL+ / 7.3：
Transition Rules / 7.3.1：
Semantics for Channel Passing / 7.3.2：
Non-determinism / 7.3.3：
Combining Behaviour and Structure / 7.4：
Embedding Structural Expansion in SAFL / 8.1：
Building Combinatorial Hardware in Magma / 8.2.1：
Integrating SAFL and Magma / 8.2.2：
Aside: Embedding Magma in VHDL/Verilog / 8.3：
Transformation of SAFL Specifications / 8.4：
Hardware Software CoDesign / 9.1：
Comparison with Other Work / 9.1.1：
The Stack Machine Template / 9.2：
Stack Machine Instances / 9.2.2：
Compilation to Stack Code / 9.2.3：
The Partitioning Transformation / 9.2.4：
Validity of Partitioning Functions / 9.2.5：
Extensions / 9.2.6：
Transformations from SAFL to SAFL+ / 9.3：
Case Study / 9.4：
The SAFL to Silicon Tool Chain / 10.1：
DES Encrypter/Decrypter / 10.2：
Adding Hardware VGA Support / 10.2.1：
Conclusions and Further Work / 10.3：
Future Work / 11.1：
Appendix
DES Encryption/Decryption Circuit / A：
Transformations to Pipeline DES / B：
A Simple Stack Machine and Instruction Memory / C：
References
Index
Introduction / 1：
Hardware Description Languages / 1.1：
Hardware Synthesis / 1.2：
20.
図書
Sergei K. Lando, Alexander K. Zvonkin ; appendix by Don B. Zagier
目次情報:
続きを見る
Introduction: What is This Book About / 0：
New Life of an Old Theory / 0.1：
Plan of the Book / 0.2：
What You Will Not Find in this Book / 0.3：
Constellations, Coverings, and Maps / 1：
Constellations / 1.1：
Ramified Coverings of the Sphere / 1.2：
First Definitions / 1.2.1：
Coverings and Fundamental Groups / 1.2.2：
Ramified Coverings of the Sphere and Constellations / 1.2.3：
Surfaces / 1.2.4：
Maps / 1.3：
Graphs Versus Maps / 1.3.1：
Maps: Topological Definition / 1.3.2：
Maps: Permutational Model / 1.3.3：
Cartographic Groups / 1.4：
Hypermaps / 1.5：
Hypermaps and Bipartite Maps / 1.5.1：
Trees / 1.5.2：
Appendix: Finite Linear Groups / 1.5.3：
Canonical Triangulation / 1.5.4：
More Than Three Permutations / 1.6：
Preimages of a Star or of a Polygon / 1.6.1：
Cacti / 1.6.2：
Preimages of a Jordan Curve / 1.6.3：
Further Discussion / 1.7：
Coverings of Surfaces of Higher Genera / 1.7.1：
Ritt's Theorem / 1.7.2：
Symmetric and Regular Constellations / 1.7.3：
Review of Riemann Surfaces / 1.8：
Dessins d'Enfants / 2：
Introduction: The Belyi Theorem / 2.1：
Plane Trees and Shabat Polynomials / 2.2：
General Theory Applied to Trees / 2.2.1：
Simple Examples / 2.2.2：
More Advanced Examples / 2.2.3：
Belyi Functions and Belyi Pairs / 2.3：
Galois Action and Its Combinatorial Invariants / 2.4：
Preliminaries / 2.4.1：
Galois Invariants / 2.4.2：
Two Theorems on Trees / 2.4.3：
Several Facets of Belyi Functions / 2.5：
A Bound of Davenport-Stothers-Zannier / 2.5.1：
Jacobi Polynomials / 2.5.2：
Fermat Curve / 2.5.3：
The abc Conjecture / 2.5.4：
Julia Sets / 2.5.5：
Pell Equation for Polynomials / 2.5.6：
Proof of the Belyi Theorem / 2.6：
The "Only If" Part of the Belyi Theorem / 2.6.1：
Comments to the Proof of the "Only If" Part / 2.6.2：
The "If", or the "Obvious" Part of the Belyi Theorem / 2.6.3：
Introduction to the Matrix Integrals Method / 3：
Model Problem: One-Face Maps / 3.1：
Gaussian Integrals / 3.2：
The Gaussian Measure on the Line / 3.2.1：
Gaussian Measures in <$>{\op R}^k<$> / 3.2.2：
Integrals of Polynomials and the Wick Formula / 3.2.3：
A Gaussian Measure on the Space of Hermitian Matrices / 3.2.4：
Matrix Integrals and Polygon Gluings / 3.2.5：
Computing Gaussian Integrals. Unitary Invariance / 3.2.6：
Computation of the Integral for One Face Gluings / 3.2.7：
Matrix Integrals for Multi-Faced Maps / 3.3：
Feynman Diagrams / 3.3.1：
The Matrix Integral for an Arbitrary Gluing / 3.3.2：
Getting Rid of Disconnected Graphs / 3.3.3：
Enumeration of Colored Graphs / 3.4：
Two-Matrix Integrals and the Ising Model / 3.4.1：
The Gauss Problem / 3.4.2：
Meanders / 3.4.3：
On Enumeration of Meanders / 3.4.4：
Computation of Matrix Integrals / 3.5：
Example: Computing the Volume of the Unitary Group / 3.5.1：
Generalized Hermite Polynomials / 3.5.2：
Planar Approximations / 3.5.3：
Korteweg-de Vries (KdV) Hierarchy for the Universal One-Matrix Model / 3.6：
Singular Behavior of Generating Functions / 3.6.1：
The Operator of Multiplication by λ in the Double Scaling Limit / 3.6.2：
The One-Matrix Model and the KdV Hierarchy / 3.6.3：
Constructing Solutions to the KdV Hierarchy from the Sato Grassmanian / 3.6.4：
Physical Interpretation / 3.7：
Mathematical Relations Between Physical Models / 3.7.1：
Feynman Path Integrals and String Theory / 3.7.2：
Quantum Field Theory Models / 3.7.3：
Other Models / 3.7.4：
Appendix / 3.8：
Generating Functions / 3.8.1：
Connected and Disconnected Objects / 3.8.2：
Logarithm of a Power Series and Wick's Formula / 3.8.3：
Geometry of Moduli Spaces of Complex Curves / 4：
Generalities on Nodal Curves and Orbifolds / 4.1：
Differentials and Nodal Curves / 4.1.1：
Quadratic Differentials / 4.1.2：
Orbifolds / 4.1.3：
Moduli Spaces of Complex Structures / 4.2：
The Deligne-Mumford Compactification / 4.3：
Combinatorial Models of the Moduli Spaces of Curves / 4.4：
Orbifold Euler Characteristic of the Moduli Spaces / 4.5：
Intersection Indices on Moduli Spaces and the String and Dilaton Equations / 4.6：
KdV Hierarchy and Witten's Conjecture / 4.7：
The Kontsevich Model / 4.8：
A Sketch of Kontsevich's Proof of Witten's Conjecture / 4.9：
The Generating Function for the Kontsevich Model / 4.9.1：
The Kontsevich Model and Intersection Theory / 4.9.2：
The Kontsevich Model and the KdV Equation / 4.9.3：
Meromorphic Functions and Embedded Graphs / 5：
The Lyashko-Looijenga Mapping and Rigid Classification of Generic Polynomials / 5.1：
The Lyashko-Looijenga Mapping / 5.1.1：
Construction of the LL Mapping on the Space of Generic Polynomials / 5.1.2：
Proof of the Lyashko-Looijenga Theorem / 5.1.3：
Rigid Classification of Nongeneric Polynomials and the Geometry of the Discriminant / 5.2：
The Discriminant in the Space of Polynomials and Its Stratification / 5.2.1：
Statement of the Enumeration Theorem / 5.2.2：
Primitive Strata / 5.2.3：
Proof of the Enumeration Theorem / 5.2.4：
Rigid Classification of Generic Meromorphic Functions and Geometry of Moduli Spaces of Curves / 5.3：
Calculations: Genus 0 and Genus 1 / 5.3.1：
Cones and Their Segre Classes / 5.3.3：
Cones of Principal Parts / 5.3.4：
Hurwitz Spaces / 5.3.5：
Completed Hurwitz Spaces and Stable Mappings / 5.3.6：
Extending the LL Mapping to Completed Hurwitz Spaces / 5.3.7：
Computing the Top Segre Class; End of the Proof / 5.3.8：
The Braid Group Action / 5.4：
Braid Groups / 5.4.1：
Braid Group Action on Cacti: Generalities / 5.4.2：
Experimental Study / 5.4.3：
Primitive and Imprimitive Monodromy Groups / 5.4.4：
Perspectives / 5.4.5：
Megamaps / 5.5：
Hurwitz Spaces of Coverings with Four Ramification Points / 5.5.1：
Representation of <$>\overline {H}<$> as a Dessin d'Enfant / 5.5.2：
Examples / 5.5.3：
Algebraic Structures Associated with Embedded Graphs / 6：
The Bialgebra of Chord Diagrams / 6.1：
Chord Diagrams and Arc Diagrams / 6.1.1：
The 4-Term Relation / 6.1.2：
Multiplying Chord Diagrams / 6.1.3：
A Bialgebra Structure / 6.1.4：
Structure Theorem for the Bialgebra <$>{\cal M}<$> / 6.1.5：
Primitive Elements of the Bialgebra of Chord Diagrams / 6.1.6：
Knot Invariants and Origins of Chord Diagrams / 6.2：
Knot Invariants and their Extension to Singular Knots / 6.2.1：
Invariants of Finite Order / 6.2.2：
Deducing 1-Term and 4-Term Relations for Invariants / 6.2.3：
Chord Diagrams of Singular Links / 6.2.4：
Weight Systems / 6.3：
A Bialgebra Structure on the Module <$>{\cal V}<$> of Vassiliev Knot Invariants / 6.3.1：
Renormalization / 6.3.2：
Vassiliev Knot Invariants and Other Knot Invariants / 6.3.3：
Constructing Weight Systems via Intersection Graphs / 6.4：
The Intersection Graph of a Chord Diagram / 6.4.1：
Tutte Functions for Graphs / 6.4.2：
The 4-Bialgebra of Graphs / 6.4.3：
The Bialgebra of Weighted Graphs / 6.4.4：
Constructing Vassiliev Invariants from 4-Invariants / 6.4.5：
Constructing Weight Systems via Lie Algebras / 6.5：
Free Associative Algebras / 6.5.1：
Universal Enveloping Algebras of Lie Algebras / 6.5.2：
Some Other Algebras of Embedded Graphs / 6.5.3：
Circle Diagrams and Open Diagrams / 6.6.1：
The Algebra of 3-Graphs / 6.6.2：
The Temperley-Lieb Algebra / 6.6.3：
Applications of the Representation Theory of Finite Groups / Don ZagierA：
Representation Theory of Finite Groups / A.1：
Irreducible Representations and Characters / A.1.1：
Frobenius's Formula / A.1.2：
Applications / A.2：
Representations of Sn and Canonical Polynomials Associated to Partitions / A.2.1：
First Application: Enumeration of Polygon Gluings / A.2.2：
Second Application: the Goulden-Jackson Formula / A.2.4：
Third Application: "Mirror Symmetry" in Dimension One / A.2.5：
References
Index
Introduction: What is This Book About / 0：
New Life of an Old Theory / 0.1：
Plan of the Book / 0.2：
21.
ＥＢ
Lance A. Waller, Carol A. Gotway
出版情報:
Wiley Online Library - AutoHoldings Books , Hoboken : Wiley-Interscience, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Acknowledgments
Introduction / 1：
Why Spatial Data in Public Health? / 1.1：
Why Statistical Methods for Spatial Data? / 1.2：
Intersection of Three Fields of Study / 1.3：
Organization of the Book / 1.4：
Analyzing Public Health Data / 2：
Observational vs. Experimental Data / 2.1：
Risk and Rates / 2.2：
Incidence and Prevalence / 2.2.1：
Risk / 2.2.2：
Estimating Risk: Rates and Proportions / 2.2.3：
Relative and Attributable Risks / 2.2.4：
Making Rates Comparable: Standardized Rates / 2.3：
Direct Standardization / 2.3.1：
Indirect Standardization / 2.3.2：
Direct or Indirect? / 2.3.3：
Standardizing to What Standard? / 2.3.4：
Cautions with Standardized Rates / 2.3.5：
Basic Epidemiological Study Designs / 2.4：
Prospective Cohort Studies / 2.4.1：
Retrospective Case-Control Studies / 2.4.2：
Other Types of Epidemiological Studies / 2.4.3：
Basic Analytic Tool: The Odds Ratio / 2.5：
Modeling Counts and Rates / 2.6：
Generalized Linear Models / 2.6.1：
Logistic Regression / 2.6.2：
Poisson Regression / 2.6.3：
Challenges in the Analysis of Observational Data / 2.7：
Bias / 2.7.1：
Confounding / 2.7.2：
Effect Modification / 2.7.3：
Ecological Inference and the Ecological Fallacy / 2.7.4：
Additional Topics and Further Reading / 2.8：
Exercises / 2.9：
Spatial Data / 3：
Components of Spatial Data / 3.1：
An Odyssey into Geodesy / 3.2：
Measuring Location: Geographical Coordinates / 3.2.1：
Flattening the Globe: Map Projections and Coordinate Systems / 3.2.2：
Mathematics of Location: Vector and Polygon Geometry / 3.2.3：
Sources of Spatial Data / 3.3：
Health Data / 3.3.1：
Census-Related Data / 3.3.2：
Geocoding / 3.3.3：
Digital Cartographic Data / 3.3.4：
Environmental and Natural Resource Data / 3.3.5：
Remotely Sensed Data / 3.3.6：
Digitizing / 3.3.7：
Collect Your Own! / 3.3.8：
Geographic Information Systems / 3.4：
Vector and Raster GISs / 3.4.1：
Basic GIS Operations / 3.4.2：
Spatial Analysis within GIS / 3.4.3：
Problems with Spatial Data and GIS / 3.5：
Inaccurate and Incomplete Databases / 3.5.1：
Confidentiality / 3.5.2：
Use of ZIP Codes / 3.5.3：
Geocoding Issues / 3.5.4：
Location Uncertainty / 3.5.5：
Visualizing Spatial Data / 4：
Cartography: The Art and Science of Mapmaking / 4.1：
Types of Statistical Maps / 4.2：
Map Study: Very Low Birth Weights in Georgia Health Care District 9
Maps for Point Features / 4.2.1：
Maps for Areal Features / 4.2.2：
Symbolization / 4.3：
Map Generalization / 4.3.1：
Visual Variables / 4.3.2：
Color / 4.3.3：
Mapping Smoothed Rates and Probabilities / 4.4：
Locally Weighted Averages / 4.4.1：
Nonparametric Regression / 4.4.2：
Empirical Bayes Smoothing / 4.4.3：
Probability Mapping / 4.4.4：
Practical Notes and Recommendations / 4.4.5：
Case Study: Smoothing New York Leukemia Data
Modifiable Areal Unit Problem / 4.5：
Visualization / 4.6：
Additional Types of Maps / 4.6.2：
Exploratory Spatial Data Analysis / 4.6.3：
Other Smoothing Approaches / 4.6.4：
Edge Effects / 4.6.5：
Analysis of Spatial Point Patterns / 4.7：
Types of Patterns / 5.1：
Spatial Point Processes / 5.2：
Stationarity and Isotropy / 5.2.1：
Spatial Poisson Processes and CSR / 5.2.2：
Hypothesis Tests of CSR via Monte Carlo Methods / 5.2.3：
Heterogeneous Poisson Processes / 5.2.4：
Estimating Intensity Functions / 5.2.5：
Data Break: Early Medieval Grave Sites
K Function / 5.3：
Estimating the K Function / 5.3.1：
Diagnostic Plots Based on the K Function / 5.3.2：
Monte Carlo Assessments of CSR Based on the K Function / 5.3.3：
Roles of First- and Second-Order Properties / 5.3.4：
Other Spatial Point Processes / 5.4：
Poisson Cluster Processes / 5.4.1：
Contagion/Inhibition Processes / 5.4.2：
Cox Processes / 5.4.3：
Distinguishing Processes / 5.4.4：
Spatial Clusters of Health Events: Point Data for Cases and Controls / 5.5：
What Do We Have? Data Types and Related Issues / 6.1：
What Do We Want? Null and Alternative Hypotheses / 6.2：
Categorization of Methods / 6.3：
Comparing Point Process Summaries / 6.4：
Goals / 6.4.1：
Assumptions and Typical Output / 6.4.2：
Method: Ratio of Kernel Intensity Estimates / 6.4.3：
Method: Difference between K Functions / 6.4.4：
Scanning Local Rates / 6.5：
Method: Geographical Analysis Machine / 6.5.1：
Method: Overlapping Local Case Proportions / 6.5.4：
Method: Spatial Scan Statistics / 6.5.5：
Nearest-Neighbor Statistics / 6.6：
Method: q Nearest Neighbors of Cases / 6.6.1：
Case Study: San Diego Asthma
Further Reading / 6.7：
Spatial Clustering of Health Events: Regional Count Data / 6.8：
What Do We Have and What Do We Want? / 7.1：
Data Structure / 7.1.1：
Null Hypotheses / 7.1.2：
Alternative Hypotheses / 7.1.3：
Assumptions / 7.2：
Method: Overlapping Local Rates / 7.3.3：
Data Break: New York Leukemia Data
Method: Turnbull et al.'s CEPP / 7.3.4：
Method: Besag and Newell Approach / 7.3.5：
Global Indexes of Spatial Autocorrelation / 7.3.6：
Method: Moran's I / 7.4.1：
Method: Geary's c / 7.4.4：
Local Indicators of Spatial Association / 7.5：
Method: Local Moran's I / 7.5.1：
Goodness-of-Fit Statistics / 7.6：
Method: Pearson's x[superscript 2] / 7.6.1：
Method: Tango's Index / 7.6.4：
Method: Focused Score Tests of Trend / 7.6.5：
Statistical Power and Related Considerations / 7.7：
Power Depends on the Alternative Hypothesis / 7.7.1：
Power Depends on the Data Structure / 7.7.2：
Theoretical Assessment of Power / 7.7.3：
Monte Carlo Assessment of Power / 7.7.4：
Benchmark Data and Conditional Power Assessments / 7.7.5：
Related Research Regarding Indexes of Spatial Association / 7.8：
Additional Approaches for Detecting Clusters and/or Clustering / 7.8.2：
Space-Time Clustering and Disease Surveillance / 7.8.3：
Spatial Exposure Data / 7.9：
Random Fields and Stationarity / 8.1：
Semivariograms / 8.2：
Relationship to Covariance Function and Correlogram / 8.2.1：
Parametric Isotropic Semivariogram Models / 8.2.2：
Estimating the Semivariogram / 8.2.3：
Data Break: Smoky Mountain pH Data
Fitting Semivariogram Models / 8.2.4：
Anisotropic Semivariogram Modeling / 8.2.5：
Interpolation and Spatial Prediction / 8.3：
Inverse-Distance Interpolation / 8.3.1：
Kriging / 8.3.2：
Case Study: Hazardous Waste Site Remediation
Erratic Experimental Semivariograms / 8.4：
Sampling Distribution of the Classical Semivariogram Estimator / 8.4.2：
Nonparametric Semivariogram Models / 8.4.3：
Kriging Non-Gaussian Data / 8.4.4：
Geostatistical Simulation / 8.4.5：
Use of Non-Euclidean Distances in Geostatistics / 8.4.6：
Spatial Sampling and Network Design / 8.4.7：
Linking Spatial Exposure Data to Health Events / 8.5：
Linear Regression Models for Independent Data / 9.1：
Estimation and Inference / 9.1.1：
Interpretation and Use with Spatial Data / 9.1.2：
Data Break: Raccoon Rabies in Connecticut
Linear Regression Models for Spatially Autocorrelated Data / 9.2：
Predicting New Observations: Universal Kriging / 9.2.1：
Spatial Autoregressive Models / 9.3：
Simultaneous Autoregressive Models / 9.3.1：
Conditional Autoregressive Models / 9.3.2：
Concluding Remarks on Conditional Autoregressions / 9.3.3：
Concluding Remarks on Spatial Autoregressions / 9.3.4：
Fixed Effects and the Marginal Specification / 9.4：
Mixed Models and Conditional Specification / 9.4.2：
Estimation in Spatial GLMs and GLMMs / 9.4.3：
Data Break: Modeling Lip Cancer Morbidity in Scotland
Additional Considerations in Spatial GLMs / 9.4.4：
Case Study: Very Low Birth Weights in Georgia Health Care District 9
Bayesian Models for Disease Mapping / 9.5：
Hierarchical Structure / 9.5.1：
Parting Thoughts / 9.5.2：
General References / 9.7：
Restricted Maximum Likelihood Estimation / 9.7.2：
Residual Analysis with Spatially Correlated Error Terms / 9.7.3：
Two-Parameter Autoregressive Models / 9.7.4：
Non-Gaussian Spatial Autoregressive Models / 9.7.5：
Classical/Bayesian GLMMs / 9.7.6：
Prediction with GLMs / 9.7.7：
Bayesian Hierarchical Models for Spatial Data / 9.7.8：
References / 9.8：
Author Index
Subject Index
Preface
Acknowledgments
Introduction / 1：
22.
図書
Herbert Oertel, editor ; with contributions by M. Böhle ... [et al.] ; translated by Katherine Mayes
目次情報:
続きを見る
Preface
Introduction / 1：
Properties of Liquids and Gases / 2：
Properties of Liquids / 2.1：
State of Stress / 2.2：
Liquid Pressure / 2.3：
Properties of Gases / 2.4：
Gas Pressure / 2.5：
Interaction Between Gas Pressure and Liquid Pressure / 2.6：
Equilibrium in Other Force Fields / 2.7：
Surface Stress (Capillarity) / 2.8：
Problems / 2.9：
Kinematics of Fluid Flow / 3：
Methods of Representation / 3.1：
Acceleration of a Flow / 3.2：
Topology of a Flow / 3.3：
Dynamics of Fluid Flow / 3.4：
Dynamics of Inviscid Liquids / 4.1：
Continuity and the Bernoulli Equation / 4.1.1：
Consequences of the Bernoulli Equation / 4.1.2：
Pressure Measurement / 4.1.3：
Interfaces and Formation of Vortices / 4.1.4：
Potential Flow / 4.1.5：
Wing Lift and the Magnus Effect / 4.1.6：
Balance of Momentum for Steady Flows / 4.1.7：
Waves on a Free Liquid Surface / 4.1.8：
Dynamics of Viscous Liquids / 4.1.9：
Viscosity (Inner Friction), the Navier-Stokes Equation / 4.2.1：
Mechanical Similarity, Reynolds Number / 4.2.2：
Laminar Boundary Layers / 4.2.3：
Onset of Turbulence / 4.2.4：
Fully Developed Turbulence / 4.2.5：
Flow Separation and Vortex Formation / 4.2.6：
Secondary Flows / 4.2.7：
Flows with Prevailing Viscosity / 4.2.8：
Flows Through Pipes and Channels / 4.2.9：
Drag of Bodies in Liquids / 4.2.10：
Flows in Non-Newtonian Media / 4.2.11：
Dynamics of Gases / 4.2.12：
Pressure Propagation, Velocity of Sound / 4.3.1：
Steady Compressible Flows / 4.3.2：
Conservation of Energy / 4.3.3：
Theory of Normal Shock Waves / 4.3.4：
Flows past Corners, Free Jets / 4.3.5：
Flows with Small Perturbations / 4.3.6：
Flows past Airfoils / 4.3.7：
Fundamental Equations of Fluid Mechanics / 4.3.8：
Continuity Equation / 5.1：
Navier-Stokes Equations / 5.2：
Laminar Flows / 5.2.1：
Reynolds Equations for Turbulent Flows / 5.2.2：
Energy Equation / 5.3：
Turbulent Flows / 5.3.1：
Fundamental Equations as Conservation Laws / 5.4：
Hierarchy of Fundamental Equations / 5.4.1：
Derived Model Equations / 5.4.2：
Multiphase Flows / 5.4.4：
Reactive Flows / 5.4.6：
Differential Equations of Perturbations / 5.5：
Aerodynamics / 5.6：
Fundamentals of Aerodynamics / 6.1：
Bird Flight and Technical Imitations / 6.1.1：
Airfoils and Wings / 6.1.2：
Airfoil and Wing Theory / 6.1.3：
Aerodynamic Facilities / 6.1.4：
Transonic Aerodynamics / 6.2：
Swept Wings / 6.2.1：
Shock-Boundary-Layer Interaction / 6.2.2：
Flow Separation / 6.2.3：
Supersonic Aerodynamics / 6.3：
Delta Wings / 6.3.1：
Fundamentals of Turbulent Flows / 6.4：
Linear Stability / 7.2：
Nonlinear Stability / 7.2.2：
Nonnormal Stability / 7.2.3：
Developed Turbulence / 7.3：
The Notion of a Mixing Length / 7.3.1：
Turbulent Mixing / 7.3.2：
Energy Relations in Turbulent Flows / 7.3.3：
Classes of Turbulent Flows / 7.4：
Free Turbulence / 7.4.1：
Flow Along a Boundary / 7.4.2：
Rotating and Strati.ed Flows, Flows with Curvature Effects / 7.4.3：
Turbulence in Tunnels / 7.4.4：
Two-Dimensional Turbulence / 7.4.5：
New Developments in Turbulence / 7.5：
Lagrangian Investigations of Turbulence / 7.5.1：
Field-Theoretic Methods / 7.5.2：
Outlook / 7.5.3：
Fluid-Mechanical Instabilities / 8：
Fundamentals of Fluid-Mechanical Instabilities / 8.1：
Examples of Fluid-Mechanical Instabilities / 8.1.1：
De.nition of Stability / 8.1.2：
Local Perturbations / 8.1.3：
Stratification Instabilities / 8.2：
Rayleigh-Benard Convection / 8.2.1：
Marangoni Convection / 8.2.2：
Diffusion Convection / 8.2.3：
Hydrodynamic Instabilities / 8.3：
Taylor Instability / 8.3.1：
Gortler Instability / 8.3.2：
Shear-Flow Instabilities / 8.4：
Boundary-Layer Flows / 8.4.1：
Tollmien-Schlichting and Cross-Flow Instabilities / 8.4.2：
Kelvin-Helmholtz Instability / 8.4.3：
Wake Flows / 8.4.4：
Convective Heat and Mass Transfer / 9：
Fundamentals of Heat and Mass Transfer / 9.1：
Free and Forced Convection / 9.1.1：
Heat Conduction and Convection / 9.1.2：
Diffusion and Convection / 9.1.3：
Free Convection / 9.2：
Convection at a Vertical Plate / 9.2.1：
Convection at a Horizontal Cylinder / 9.2.2：
Forced Convection / 9.3：
Pipe Flows / 9.3.1：
Bodies in Flows / 9.3.2：
Heat and Mass Exchange / 9.4：
Mass Exchange at the Flat Plate / 9.4.1：
Multiphase / 10：
Preface
Introduction / 1：
Properties of Liquids and Gases / 2：
23.
図書
Mauro Barni, Franco Bartolini
目次情報:
続きを見る
Series introduction
Preface
Introduction / 1：
Elements of a watermarking system / 1.1：
Information coding / 1.1.1：
Embedding / 1.1.2：
Concealment / 1.1.3：
Watermark impairments / 1.1.4：
Recovery of the hidden information / 1.1.5：
Protocol considerations / 1.2：
Capacity of watermarking techniques / 1.2.1：
Multiple embedding / 1.2.2：
Robustness / 1.2.3：
Blind vs. non-blind recovery / 1.2.4：
Private vs. public watermarking / 1.2.5：
Readable vs. detectable watermarks / 1.2.6：
Invertibility and quasi-invertibility / 1.2.7：
Reversibility / 1.2.8：
Asymmetric watermarking / 1.2.9：
Audio vs image vs video assets / 1.3：
Further reading / 1.4：
Applications / 2：
IPR protection / 2.1：
Demonstration of rightful ownership / 2.1.1：
Fingerprinting / 2.1.2：
Copy control / 2.1.3：
Authentication / 2.2：
Cryptography vs watermarking / 2.2.1：
A general authentication framework / 2.2.2：
Requirements of data-hiding-based authentication / 2.2.3：
Data hiding for multimedia transmission / 2.3：
Data compression / 2.3.1：
Error recovery / 2.3.2：
Annotation watermarks / 2.4：
Labelling for data retrieval / 2.4.1：
Bridging the gap between analog and digital objects / 2.4.2：
Covert communications / 2.5：
Information coding in detectable watermarking / 2.6：
Spread spectrum watermarking / 3.1.1：
Orthogonal waveforms watermarking / 3.1.2：
Orthogonal vs PN watermarking / 3.1.3：
Self-synchronizing PN sequences / 3.1.4：
Power spectrum shaping / 3.1.5：
Chaotic sequences / 3.1.6：
Direct embedding / 3.1.7：
Waveform-based readable watermarking / 3.2：
Information coding through M-ary signaling / 3.2.1：
Position encoding / 3.2.2：
Binary signaling / 3.2.3：
Direct embedding readable watermarking / 3.3：
Direct embedding binary signalling with bit repetition / 3.3.1：
Channel coding / 3.4：
Block codes / 3.4.1：
Convolutional codes / 3.4.2：
Coding vs bit repetition / 3.4.3：
Channel coding vs orthogonal signaling / 3.4.4：
Informed coding / 3.4.5：
Data embedding / 3.5：
Feature selection / 4.1：
Watermarking in the asset domain / 4.1.1：
Watermarking in a transformed domain / 4.1.2：
Hybrid techniques / 4.1.3：
Watermarking in the compressed domain / 4.1.4：
Miscellaneous non-conventional choices of the feature set / 4.1.5：
Blind embedding / 4.2：
Additive watermarking / 4.2.1：
Multiplicative watermarking / 4.2.2：
Informed embedding / 4.3：
Detectable watermarking / 4.3.1：
Readable watermarking / 4.3.2：
Data concealment / 4.4：
The Human Visual System / 5.1：
The Weber law and the contrast / 5.1.1：
The contrast sensitivity function / 5.1.2：
The masking effect / 5.1.3：
Mapping luminance to images / 5.1.4：
Perception of color stimuli / 5.1.5：
Perception of time-varying stimuli / 5.1.6：
The Human Auditory System (HAS) / 5.2：
Concealment through feature selection / 5.2.1：
Concealment through signal adaptation / 5.4：
Concealment through perceptual masks / 5.4.1：
Concealment relying on visibility thresholds / 5.4.2：
Heuristic approaches for still images / 5.4.3：
A theoretically funded perceptual threshold for still images / 5.4.4：
MPEG-based concealment for audio / 5.4.5：
Application oriented concealment / 5.5：
Video surveillance systems / 5.5.1：
Remote sensing images / 5.5.2：
Data recovery / 5.6：
Watermark detection / 6.1：
A hypothesis testing problem / 6.1.1：
AWGN channel / 6.1.2：
Additive / Generalized Gaussian channel / 6.1.3：
Signal dependent noise with host rejection at the embedder / 6.1.4：
Taking perceptual masking into account / 6.1.5：
Multiplicative Gaussian channel / 6.1.6：
Multiplicative Weibull channel / 6.1.7：
Multichannel detection / 6.1.8：
Decoding / 6.2：
General problem for binary signalling / 6.2.1：
Binary signaling through AWGN channel / 6.2.2：
Generalized Gaussian channel / 6.2.3：
Multiplicative watermarking with Gaussian noise / 6.2.4：
Multiplicative watermarking of Weibull-distributed features / 6.2.5：
Quantization Index Modulation / 6.2.6：
Decoding in the presence of channel coding / 6.2.7：
Assessment of watermark presence / 6.2.8：
Watermark impairments and benchmarking / 6.3：
Classification of attacks / 7.1：
Measuring obtrusiveness and attack strength / 7.2：
Gaussian noise addition / 7.3：
Additive vs multiplicative watermarking / 7.3.1：
Spread Spectrum vs QIM watermarking / 7.3.2：
Conventional signal processing / 7.4：
The gain attack / 7.4.1：
Histogram equalization / 7.4.2：
Filtering / 7.4.3：
Lossy coding / 7.5：
Quantization of the watermarked features / 7.5.1：
Geometric manipulations / 7.6：
Asset translation / 7.6.1：
Asset zooming / 7.6.2：
Image rotation / 7.6.3：
More complex geometric transformations / 7.6.4：
Countermeasures against geometric manipulations / 7.6.5：
Editing / 7.7：
Digital to analog and analog to digital conversion / 7.8：
Malicious attacks / 7.9：
Attack estimation / 7.10：
Benchmarking / 7.11：
Early benchmarking systems / 7.11.1：
StirMark / 7.11.2：
Improving conventional systems / 7.11.3：
A new benchmarking structure / 7.11.4：
Security issues / 7.12：
Security by obscurity / 8.1：
The symmetric case / 8.2：
The asymmetric case / 8.3：
Playing open cards / 8.4：
Security based on protocol design / 8.5：
An information theoretic perspective / 8.6：
Some historical notes / 9.1：
The watermarking game / 9.2：
The rules of the game / 9.2.1：
Some selected results / 9.2.2：
Capacity under average distortion constraints / 9.2.3：
The additive attack watermarking game / 9.3：
Game definition and main results / 9.3.1：
Costa's writing on dirty paper / 9.3.2：
Lattice-based capacity-achieving watermarking / 9.4：
Equi-energetic structured code-books / 9.5：
Bibliography / 9.6：
Index
Series introduction
Preface
Introduction / 1：
24.
図書
Michael Köhler, Wolfgang Fritzsche
出版情報:
Weinheim : Wiley-VCH, c2004 ix, 272 p ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
The Way into the Nanoworld / 1.1：
From Micro- to Nanotechniques / 1.1.1：
Definition of Nanostructures / 1.1.2：
Insight into the Nanoworld / 1.1.3：
Intervention into the Nanoworld / 1.1.4：
Building Blocks of Nanotechnology / 1.2：
Interactions and Topology / 1.3：
The Microscopic Environment of the Nanoworld / 1.4：
Molecular Basics / 2：
Particles and Bonds / 2.1：
Chemical Bonds in Nanotechnology / 2.1.1：
Van der Waals Interactions / 2.1.2：
Dipole-Dipole Interactions / 2.1.3：
Ionic Interactions / 2.1.4：
Metal Bonds / 2.1.5：
Covalent Bonds / 2.1.6：
Coordinative Bonds / 2.1.7：
Hydrogen Bridge Bonds / 2.1.8：
Polyvalent Bonds / 2.1.9：
Chemical Structure / 2.2：
Binding Topologies / 2.2.1：
Building Blocks of Covalent Architecture / 2.2.2：
Units for a Coordinated Architecture / 2.2.3：
Building Blocks for Weakly Bound Aggregates / 2.2.4：
Assembly of Complex Structures through the Internal Hierarchy of Binding Strengths / 2.2.5：
Reaction Probability and Reaction Equilibrium / 2.2.6：
Microtechnological Foundations / 3：
Planar Technology / 3.1：
Preparation of Thin Layers / 3.2：
Condition and Preprocessing of the Substrate Surface / 3.2.1：
Layer Deposition from the Gas Phase / 3.2.2：
Evaporation / 3.2.3：
Sputtering / 3.2.4：
Chemical Vapor Deposition / 3.2.5：
Galvanic Deposition / 3.2.6：
Deposition by Spinning (Spin Coating) / 3.2.7：
Shadow-mask Deposition Techniques / 3.2.8：
Preparation of Ultrathin Inorganic Layers and Surface-bound Nanoparticles / 3.3：
Ultrathin Layers by Vacuum Deposition Processes / 3.3.1：
Deposition of Ultrathin Films from the Liquid Phase / 3.3.2：
In Situ Generation of Ultrathin Inorganic Films by Chemical Surface Modification / 3.3.3：
In Situ Formation of Ultrathin Inorganic Layers on Heteroorganic Materials / 3.3.4：
Immobilization of Nanoparticles / 3.3.5：
In Situ Formation of Inorganic Nanoparticles / 3.3.6：
Structure Generation and Fabrication of Lithographic Masks / 3.4：
Adhesive Mask Technique / 3.4.1：
Role of Resist in Photolithography / 3.4.2：
Serial Pattern Transfer / 3.4.3：
Group Transfer Processes / 3.4.4：
Maskless Structure Generation / 3.4.5：
Soft Lithography / 3.4.6：
Etching Processes / 3.5：
Etching Rate and Selectivity / 3.5.1：
Isotropic and Anisotropic Etching Processes / 3.5.2：
Lithographic Resolution in Etching Processes / 3.5.3：
Wet Etching Processes / 3.5.4：
Dry Etching Processes / 3.5.5：
High-resolution Dry Etching Techniques / 3.5.6：
Choice of Mask for Nanolithographic Etching Processes / 3.5.7：
Packaging / 3.6：
Biogenic and Bioanalogue Molecules in Technical Microstructures / 3.7：
Preparation of Nanostructures / 4：
Principles of Fabrication / 4.1：
Subtractive and Additive Creation of Nanostructures / 4.1.1：
Nanostructure Generation by Lift-off Processes / 4.1.2：
Principles of Nanotechnical Shape-definition and Construction / 4.1.3：
Nanomechanical Structure Generation / 4.2：
Scaling Down of Mechanical Processing Techniques / 4.2.1：
Local Mechanical Cutting Processes / 4.2.2：
Surface Transport Methods / 4.2.3：
Reshaping Processes / 4.2.4：
Printing Processes / 4.2.5：
Nanolithography / 4.3：
Structure Transfer by Electromagnetic Radiation / 4.3.1：
Nanolithographic Transfer of Groups of Elements by Optical Projection / 4.3.2：
EUV and X-ray Lithography / 4.3.3：
Multilayer Resists Techniques with Optical Pattern Transfer / 4.3.4：
Near-field Optical Structure Techniques with Contact Masks / 4.3.5：
Energetic Particles in Nanolithographic Structure Transfer / 4.3.6：
Electron Beam Lithography / 4.3.7：
Ion Beam Lithography / 4.3.8：
Atomic Beam Lithography / 4.3.9：
Molecular and Nanoparticle Beam Lithography / 4.3.10：
Direct Writing of Structures by a Particle Beam / 4.3.11：
Single-particle Beam Processes / 4.3.12：
Nanofabrication by Self-structuring Masks / 4.3.13：
Nanofabrication by Scanning Probe Techniques / 4.4：
Scanning Force Probes / 4.4.1：
Particle Manipulation With a Scanning Tunneling Microscope (STM) / 4.4.2：
Thermo-mechanical Writing of Nanostructures / 4.4.3：
Electrically Induced Structure Generation by Scanning Probe Techniques / 4.4.4：
Chemical Electrodeless Induced Scanning Probe Structure Generation / 4.4.5：
Nanostructure Generation by Optical Near-field Probes / 4.4.6：
Nanotechnical Structures / 5：
Inorganic Solids / 5.1：
Influence of Material Morphology on Nanoscale Pattern Processes / 5.1.1：
Inorganic Dielectrics / 5.1.2：
Metals / 5.1.3：
Semiconductors / 5.1.4：
Carbon / 5.1.5：
Organic Solids and Layer Structures / 5.2：
Solids Composed of Smaller Molecules / 5.2.1：
Organic Monolayer and Multilayer Stacks / 5.2.2：
Synthetic Organic Polymers / 5.2.3：
Biopolymers / 5.2.4：
Molecular Monolayer and Layer Architectures / 5.3：
Langmuir-Blodgett Films / 5.3.1：
Self-assembled Surface Films / 5.3.2：
Binding of Molecules on Solid Substrate Surfaces / 5.3.3：
Secondary Coupling of Molecular Monolayers / 5.3.4：
Categories of Molecular Layers / 5.3.5：
Molecular Coupling Components (Linkers) and Distance Components (Spacers) / 5.3.6：
Definition of Binding Spots on Solid Substrates / 5.3.7：
Architectures with Single Molecules / 5.4：
Single Molecules as Nanostructures / 5.4.1：
Strategies of Molecular Construction / 5.4.2：
Biogenic and Bioanalogous Nanoarchitectures / 5.4.3：
DNA Nanoarchitectures / 5.4.4：
Synthetic Supramolecules / 5.4.5：
Nanoparticles and Nanocompartments / 5.4.6：
Combination of Molecular Architectures and Nanoparticles with Planar Technical Structures / 5.5：
Characterization of Nanostructures / 6：
Geometrical Characterization / 6.1：
Layer Thickness and Vertical Structure Dimensions / 6.1.1：
Lateral Dimensions / 6.1.2：
Structures that Assist Measurement / 6.1.3：
Characterization of Composition of Layers and Surfaces / 6.2：
Atomic Composition / 6.2.1：
Characterization of the Chemical Surface / 6.2.2：
Functional Characterization of Nanostructures / 6.3：
Nanotransducers / 7：
Design of Nanotransducers / 7.1：
Nanomechanical Elements / 7.2：
Nanomechanical Sensors / 7.2.1：
Nanometer-precision Position Measurements with Conventional Techniques / 7.2.2：
Electrically Controlled Nanoactuators / 7.2.3：
Chemically Driven Nanoactuators / 7.2.4：
Rigidity of Nanoactuators / 7.2.5：
Nanoelectronic Devices / 7.3：
Electrical Contacts and Nanowires / 7.3.1：
Nanostructured Tunneling Barriers / 7.3.2：
Quantum Dots and Localization of Elementary Particles / 7.3.3：
Nanodiodes / 7.3.4：
Electron Islands and Nanotransistors / 7.3.5：
Nanoswitches, Molecular Switches and Logic Elements / 7.3.6：
Nanooptical Devices / 7.4：
Nanostructures as Optical Sensors / 7.4.1：
Nanostructured Optical Actuators / 7.4.2：
Nanooptical Switching and Conversion Elements / 7.4.3：
Magnetic Nanotransducers / 7.5：
Chemical Nanoscale Sensors and Actuators / 7.6：
Technical Nanosystems / 8：
What are Nanosystems? / 8.1：
Systems with Nanocomponents / 8.2：
Entire Systems with Nanometer Dimensions / 8.3：
Table of Examples
References
Index
Introduction / 1：
The Way into the Nanoworld / 1.1：
From Micro- to Nanotechniques / 1.1.1：
25.
図書
Sankar K. Pal and Pabitra Mitra
出版情報:
Boca Raton, FL : Chapman & Hall/CRC, c2004 xxix, 244 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Foreword
Preface
List of Tables
List of Figures
Introduction / 1：
Pattern Recognition in Brief / 1.1：
Data acquisition / 1.2.1：
Feature selection/extraction / 1.2.2：
Classification / 1.2.3：
Knowledge Discovery in Databases (KDD) / 1.3：
Data Mining / 1.4：
Data mining tasks / 1.4.1：
Data mining tools / 1.4.2：
Applications of data mining / 1.4.3：
Different Perspectives of Data Mining / 1.5：
Database perspective / 1.5.1：
Statistical perspective / 1.5.2：
Pattern recognition perspective / 1.5.3：
Research issues and challenges / 1.5.4：
Scaling Pattern Recognition Algorithms to Large Data Sets / 1.6：
Data reduction / 1.6.1：
Dimensionality reduction / 1.6.2：
Active learning / 1.6.3：
Data partitioning / 1.6.4：
Granular computing / 1.6.5：
Efficient search algorithms / 1.6.6：
Significance of Soft Computing in KDD / 1.7：
Scope of the Book / 1.8：
Multiscale Data Condensation / 2：
Data Condensation Algorithms / 2.1：
Condensed nearest neighbor rule / 2.2.1：
Learning vector quantization / 2.2.2：
Astrahan's density-based method / 2.2.3：
Multiscale Representation of Data / 2.3：
Nearest Neighbor Density Estimate / 2.4：
Multiscale Data Condensation Algorithm / 2.5：
Experimental Results and Comparisons / 2.6：
Density estimation / 2.6.1：
Test of statistical significance / 2.6.2：
Classification: Forest cover data / 2.6.3：
Clustering: Satellite image data / 2.6.4：
Rule generation: Census data / 2.6.5：
Study on scalability / 2.6.6：
Choice of scale parameter / 2.6.7：
Summary / 2.7：
Unsupervised Feature Selection / 3：
Feature Extraction / 3.1：
Feature Selection / 3.3：
Filter approach / 3.3.1：
Wrapper approach / 3.3.2：
Feature Selection Using Feature Similarity (FSFS) / 3.4：
Feature similarity measures / 3.4.1：
Feature selection through clustering / 3.4.2：
Feature Evaluation Indices / 3.5：
Supervised indices / 3.5.1：
Unsupervised indices / 3.5.2：
Representation entropy / 3.5.3：
Comparison: Classification and clustering performance / 3.6：
Redundancy reduction: Quantitative study / 3.6.2：
Effect of cluster size / 3.6.3：
Active Learning Using Support Vector Machine / 3.7：
Support Vector Machine / 4.1：
Incremental Support Vector Learning with Multiple Points / 4.3：
Statistical Query Model of Learning / 4.4：
Query strategy / 4.4.1：
Confidence factor of support vector set / 4.4.2：
Learning Support Vectors with Statistical Queries / 4.5：
Experimental Results and Comparison / 4.6：
Classification accuracy and training time / 4.6.1：
Effectiveness of the confidence factor / 4.6.2：
Margin distribution / 4.6.3：
Rough-fuzzy Case Generation / 4.7：
Soft Granular Computing / 5.1：
Rough Sets / 5.3：
Information systems / 5.3.1：
Indiscernibility and set approximation / 5.3.2：
Reducts / 5.3.3：
Dependency rule generation / 5.3.4：
Linguistic Representation of Patterns and Fuzzy Granulation / 5.4：
Rough-fuzzy Case Generation Methodology / 5.5：
Thresholding and rule generation / 5.5.1：
Mapping dependency rules to cases / 5.5.2：
Case retrieval / 5.5.3：
Rough-fuzzy Clustering / 5.6：
Clustering Methodologies / 6.1：
Algorithms for Clustering Large Data Sets / 6.3：
Clarans: Clustering large applications based upon randomized search / 6.3.1：
Birch: Balanced iterative reducing and clustering using hierarchies / 6.3.2：
Dbscan: Density-based spatial clustering of applications with noise / 6.3.3：
Sting: Statistical information grid / 6.3.4：
CemmiStri: Clustering using EM, Minimal Spanning Tree and Rough-fuzzy Initialization / 6.4：
Mixture model estimation via EM algorithm / 6.4.1：
Rough set initialization of mixture parameters / 6.4.2：
Mapping reducts to mixture parameters / 6.4.3：
Graph-theoretic clustering of Gaussian components / 6.4.4：
Multispectral Image Segmentation / 6.5：
Discretization of image bands / 6.6.1：
Integration of EM, MST and rough sets / 6.6.2：
Index for segmentation quality / 6.6.3：
Experimental results and comparison / 6.6.4：
Rough Self-Organizing Map / 6.7：
Self-Organizing Maps (SOM) / 7.1：
Learning / 7.2.1：
Effect of neighborhood / 7.2.2：
Incorporation of Rough Sets in SOM (RSOM) / 7.3：
Unsupervised rough set rule generation / 7.3.1：
Mapping rough set rules to network weights / 7.3.2：
Rule Generation and Evaluation / 7.4：
Extraction methodology / 7.4.1：
Evaluation indices / 7.4.2：
Clustering and quantization error / 7.5：
Performance of rules / 7.5.2：
Classification, Rule Generation and Evaluation using Modular Rough-fuzzy MLP / 7.6：
Ensemble Classifiers / 8.1：
Association Rules / 8.3：
Rule generation algorithms / 8.3.1：
Rule interestingness / 8.3.2：
Classification Rules / 8.4：
Rough-fuzzy MLP / 8.5：
Fuzzy MLP / 8.5.1：
Rough set knowledge encoding / 8.5.2：
Modular Evolution of Rough-fuzzy MLP / 8.6：
Algorithm / 8.6.1：
Evolutionary design / 8.6.2：
Rule Extraction and Quantitative Evaluation / 8.7：
Rule extraction methodology / 8.7.1：
Quantitative measures / 8.7.2：
Rule extraction / 8.8：
Role of Soft-Computing Tools in KDD / 8.9：
Fuzzy Sets / A.1：
Clustering / A.1.1：
Association rules / A.1.2：
Functional dependencies / A.1.3：
Data summarization / A.1.4：
Web application / A.1.5：
Image retrieval / A.1.6：
Neural Networks / A.2：
Clustering and self organization / A.2.1：
Regression / A.2.3：
Neuro-fuzzy Computing / A.3：
Genetic Algorithms / A.4：
Other Hybridizations / A.5：
Data Sets Used in Experiments / B：
References
Index
About the Authors
Foreword
Preface
List of Tables
26.
図書
Kiyosi Itô ; edited by Ole E. Barndorff-Nielsen, Ken-iti Sato
出版情報:
Berlin ; Tokyo : Springer, c2004 xii, 234 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preliminaries / 0：
Independence / 0.1：
Central Values and Dispersions / 0.2：
Centralized Sum of Independent Random Variables / 0.3：
Infinitely Divisible Distributions / 0.4：
Continuity and Discontinuity of Infinitely Divisible Distributions / 0.5：
Conditional Probability and Expectation / 0.6：
Martingales / 0.7：
Additive Processes (Processes with Independent Increments) / 1：
Definitions / 1.1：
Decomposition of Additive Processes / 1.2：
The Levy Modification of Additive Processes Continuous in Probability / 1.3：
Elementary Lévy Processes / 1.4：
Fundamental Lemma / 1.5：
Structure of Sample Functions of Lévy Processes (a) / 1.6：
Structure of Sample Functions of Lévy Processes (b) / 1.7：
Three Components of Lévy Processes / 1.8：
Random Point Measures / 1.9：
Homogeneous Additive Processes and Homogeneous Lévy Processes / 1.10：
Levy Processes with Increasing Paths / 1.11：
Stable Processes / 1.12：
Markov Processes / 2：
Transition Probabilities and Transition Operators on Compact Metrizable Spaces / 2.1：
Summary of the Hille-Yosida Theory of Semi-Groups / 2.2：
Transition Semi-Group / 2.3：
Probability Law of the Path / 2.4：
Markov Property / 2.5：
The s-Algebras B, Bt, and B(S) / 2.6：
Strong Markov Property / 2.7：
Superposition of Stopping Times / 2.8：
An Inequality of Kolmogorov Type and its Application / 2.9：
Hitting Times of Closed Sets / 2.10：
Dynkin's Formula / 2.11：
Markov Processes in Generalized Sense / 2.12：
Examples / 2.13：
Markov Processes with a Countable State Space / 2.14：
Fine Topology / 2.15：
Generator in Generalized Sense / 2.16：
The Kac Semi-Group and its Application to the Arcsine Law / 2.17：
Markov Processes and Potential Theory / 2.18：
Brownian Motion and the Dirichlet Problem / 2.19：
Exercises
Chapter 0 / E.0：
Chapter 1 / E.1：
Chapter 2 / E.2：
Appendix: Solutions of Exercises
Index / A.0：
Preliminaries / 0：
Independence / 0.1：
Central Values and Dispersions / 0.2：
27.
図書
Bill Sutherland
出版情報:
River Edge, NJ : World Scientific, c2004 xv, 381 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Overview / 1：
Orientation / 1.1：
An experiment--ballistic expansion / 1.2：
One dimension versus two or three dimensions / 1.3：
Quantum mechanics / 1.4：
The essence of the Bethe ansatz / 1.5：
A simple example--the 1/r[superscript 2] potential / 1.6：
References and history / 1.7：
Integrability and Nondiffraction / 2：
What does it mean to say that a system is integrable? / 2.1：
Scattering without diffraction / 2.2：
Proof of integrability for the hyperbolic potential / 2.3：
The potentials / 2.3.1：
Proof of integrability / 2.3.2：
The asymptotic momenta are conserved / 2.3.3：
The [delta]-function potential / 2.4：
Adding periodic boundary conditions / 2.5：
This is not a low-density approximation / 2.6：
Techniques / 3：
Our fundamental equation / 3.1：
The ground state / 3.2：
Response of the ground state / 3.3：
Excitations near the ground state / 3.4：
Zero-temperature thermodynamics / 3.5：
Finite temperature thermodynamics / 3.6：
The inverse-square potential--an example / 3.7：
The Classical Limit / 4：
Classical diffraction--pictures from an exhibition / 4.1：
The classical limit / 4.2：
Classical system at zero temperature / 4.3：
The inverse-square limit--example 1 / 4.4：
The Toda limit--example 2 / 4.5：
Solitons and constant profile solutions / 4.6：
Groundstate Wavefunctions of Product Form / 5：
An ansatz for the ground state wavefunction / 5.1：
Motivation for the product form / 5.1.1：
An inverse problem / 5.1.2：
The trigonometric case / 5.1.3：
Details / 5.1.4：
Excited states for the trigonometric case / 5.2：
Summary / 5.2.1：
A transformation / 5.2.2：
Change of basis / 5.2.3：
Off-diagonal elements of H' / 5.2.4：
Energy eigenvalues / 5.2.5：
Validity of the asymptotic Bethe ansatz / 5.2.6：
An example / 5.2.7：
Ground state correlations for the trigonometric case / 5.3：
The normalization constant / 5.3.1：
Analogy with a classical plasma / 5.3.2：
Important correlation functions / 5.3.3：
Correlations for special values of [lambda] / 5.3.4：
The Heisenberg-Ising Model / 6：
The model and its symmetries / 6.1：
The model / 6.1.1：
Rotational symmetry / 6.1.2：
Translational symmetry / 6.1.3：
Ground state in the thermodynamic limit / 6.1.4：
Other models / 6.1.5：
Quantum lattice gas / 6.1.6：
Statistics of the lattice gas / 6.1.7：
Twisted lattice gas / 6.1.8：
What we are going to find--a preview / 6.1.9：
Bethe's ansatz / 6.2：
The wavefunction / 6.2.1：
Well-separated particles / 6.2.2：
Near-neighbors / 6.2.3：
Two-body phase shift [theta] / 6.2.4：
Periodic boundary conditions / 6.2.5：
Twisted boundary conditions and recapitulation / 6.2.6：
The dilute limit M [double less-than sign] N / 6.3：
M = 0 / 6.3.1：
M = 1 / 6.3.2：
M = 2 / 6.3.3：
A change of variables / 6.4：
[Delta less than sign] -1, antiferromagnet / 6.4.1：
1 [greater than sign Delta greater than sign] -1, paramagnet / 6.4.2：
[Delta] = -1, Heisenberg antiferromagnet / 6.4.3：
Preliminaries / 6.5：
Half-filled lattice / 6.5.2：
[Delta] = -cosh [lambda less than sign] -1, antiferromagnet / 6.5.2.1：
1 [greater than sign Delta] = -cos [mu greater than sign] -1, paramagnet / 6.5.2.2：
Perturbations and excitations of the ground state / 6.5.2.3：
The general results / 6.6.1：
Half-filling / 6.6.2：
Fundamental integral equation / 6.6.2.1：
Near half-filling / 6.7.2：
The function [kappa] / 6.7.3：
Evaluation for the paramagnet / 6.7.4：
Evaluation for the antiferromagnet / 6.7.5：
What do our calculations really mean? / 6.7.6：
The low-density limit and complex solutions / 6.8：
M-strings / 6.8.1：
Dispersion relations / 6.8.2：
Boosting the bound states / 6.8.3：
Further results / 6.9：
Consistency / 7：
How can we show integrability? / 7.1：
The direct approach / 7.1.1：
The constructive approach / 7.1.2：
The indirect approach / 7.1.3：
How can we show non-integrability? / 7.2：
Consistency conditions / 7.3：
Solution to consistency conditions / 7.4：
Two components, conjugation symmetry / 7.4.1：
Necessary conditions for r and t / 7.4.1.1：
Bound states / 7.4.1.3：
Two components, different statistics / 7.4.2：
Three or more components / 7.4.3：
Periodic and twisted boundary conditions / 7.5：
Eigenvectors of the transfer matrix, two-components / 7.6：
The basic equations / 7.6.1：
The winding matrix and the transfer operator / 7.6.2：
Twisted boundary conditions / 7.6.3：
Properties of the winding matrix and the transfer operator / 7.6.4：
Eigenvalues / 7.6.5：
Explicit expressions for the equations / 7.6.6：
Solution to the general problem / 7.6.7：
Eigenvectors of the transfer matrix: multicomponent system / 7.7：
Basic equations / 7.7.1：
Summary of results / 7.7.2：
Exchange Models / 7.8：
Hyperbolic exchange models / 8.1：
Integrability / 8.2：
The two-body phase shifts / 8.3：
The inverse-square exchange potential / 8.4：
The case F[superscript 2]--repulsive / 8.5：
The case B[superscript 2] / 8.5.2：
The case F[superscript 2]--attractive / 8.5.3：
The case BF / 8.5.4：
The Sinh-Cosh Model / 9：
The sinh-cosh potential / 9.1：
The two-body problem / 9.2：
Phase shifts / 9.4：
Spin waves / 9.5：
Solution and results for zero temperature and zero spin/charge / 9.6：
Exchange Lattice Systems by Freezing / 10：
Freezing continuum models to give lattice models / 10.1：
Review of the continuum exchange model / 10.2：
The limit [lambda] to [infinity] / 10.3：
The first order equation / 10.4：
The densities [rho](x) and e(x) / 10.5：
Results for the nearest-neighbor model / 10.6：
Results for the hyperbolic model / 10.7：
The inverse-square lattice at finite temperature / 10.8：
The Hubbard Model / 11：
Other statistics / 11.1：
The phase diagram and symmetries / 11.1.3：
Double occupancy / 11.2：
Two-body scattering amplitudes / 11.2.4：
The repulsive case / 11.2.5：
The fundamental equations / 11.3.1：
The attractive case / 11.3.2：
The bound state / 11.4.1：
Consistency conditions and the scattering of pairs / 11.4.2：
A fluid of pairs / 11.4.3：
Ground state properties at the symmetric point / 11.4.4：
Excitations at the symmetric point / 11.5：
Ground state response / 11.5.1：
Holes and particles in the fluid of pairs / 11.5.2：
Unbound particles / 11.5.3：
Some Two-Body Problems / A：
The potential v(r) = c[delta](r) / A.1：
The potential v(r) = [lambda]([lambda] - 1)/r[superscript 2] / A.3：
The potential v(r) = [lambda]([lambda] - 1)/sinh[superscript 2]r / A.4：
The potential v(r) = -[lambda]([lambda] - 1)/cosh[superscript 2]r / A.5：
Combination potentials / A.6：
Representations / B：
The permutation group / B.1：
The twisted permutation group / B.2：
Two ways to write the Bethe ansatz / B.3：
Two-body scattering / B.4：
The consistency conditions / B.5：
Realizations / B.6：
Lattice gases / B.8.1：
Other realizations / B.8.2：
Nearest-neighbor hopping / B.8.3：
Bibliography / B.8.4：
Index
Preface
Overview / 1：
Orientation / 1.1：
28.
図書
edited by S. Denis ... [et al.]
29.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Standards , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
30.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Standards , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
31.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Standards , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
32.
図書
Abul Hasan Siddiqi
目次情報:
続きを見る
Preface
List of Figures
Metric Spaces and Banach Fixed Point Theorem / 1：
Introduction / 1.1：
Banach Contraction Fixed Point Theorem / 1.2：
Application of Banach Contraction Mapping Theorem / 1.3：
Application to Real-valued Equation / 1.3.1：
Application to Matrix Equation / 1.3.2：
Application to Integral Equation / 1.3.3：
Application to Differential Equation / 1.3.4：
Problems / 1.4：
References
Banach Spaces / 2：
Definitions and Examples of Normed and Banach Spaces / 2.1：
Examples of Normed and Banach Spaces / 2.2.1：
Basic Properties--Closure, Denseness and Separability / 2.3：
Closed, Dense and Separable Sets / 2.3.1：
Riesz Theorem and Construction of a New Banach Space / 2.3.2：
Dimension of Normed Spaces / 2.3.3：
Open and Closed Spheres / 2.3.4：
Bounded and Unbounded Operators / 2.4：
Definitions and Examples / 2.4.1：
Properties of Linear Operators / 2.4.2：
Unbounded Operators / 2.4.3：
Representation of Bounded and Linear Functionals / 2.5：
Algebra of Operators / 2.6：
Convex Functionals / 2.7：
Convex Sets / 2.7.1：
Affine Operator / 2.7.2：
Lower Semicontinuous and Upper Semicontinuous Functionals / 2.7.3：
Solved Problems / 2.8：
Unsolved Problems / 2.8.2：
Hilbert Space / 3：
Basic Definition and Properties / 3.1：
Definitions, Examples and Properties of Inner Product Space / 3.2.1：
Parallelogram Law and Characterization of Hilbert Space / 3.2.2：
Orthogonal Complements and Projection Theorem / 3.3：
Orthogonal Complements and Projections / 3.3.1：
Orthogonal Projections and Projection Theorem / 3.4：
Projection on Convex Sets / 3.5：
Orthonormal Systems and Fourier Expansion / 3.6：
Duality and Reflexivity / 3.7：
Riesz Representation Theorem / 3.7.1：
Reflexivity of Hilbert Spaces / 3.7.2：
Operators in Hilbert Space / 3.8：
Adjoint of Bounded Linear Operators on a Hilbert Space / 3.8.1：
Self-Adjoint, Positive, Normal and Unitary Operators / 3.8.2：
Adjoint of an Unbounded Linear Operator / 3.8.3：
Bilinear Forms and Lax-Milgram Lemma / 3.9：
Basic Properties / 3.9.1：
Fundamental Theorems / 3.10：
Hahn-Banach Theorem / 4.1：
Extension Form of Hahn-Banach Theorem / 4.2.1：
Extension Form of the Hahn-Banach Theorem / 4.2.2：
Topologies on Normed Spaces / 4.3：
Strong and Weak Topologies / 4.3.1：
Weak Convergence / 4.4：
Weak Convergence in Banach Spaces / 4.4.1：
Weak Convergence in Hilbert Spaces / 4.4.2：
Banach-Alaoglu Theorem / 4.5：
Principle of Uniform Boundedness and Its Applications / 4.6：
Principle of Uniform Boundedness / 4.6.1：
Open Mapping and Closed Graph Theorems / 4.7：
Graph of a Linear Operator and Closedness Property / 4.7.1：
Open Mapping Theorem / 4.7.2：
The Closed-Graph Theorem / 4.7.3：
Differential and Integral Calculus in Banach Spaces / 4.8：
The Gateaux and Frechet Derivatives / 5.1：
The Gateaux Derivative / 5.2.1：
The Frechet Derivative / 5.2.2：
Generalized Gradient (Subdifferential) / 5.3：
Some Basic Results from Distribution Theory and Sobolev Spaces / 5.4：
Distributions / 5.4.1：
Sobolev Space / 5.4.2：
The Sobolev Embedding Theorems / 5.4.3：
Integration in Banach Spaces / 5.5：
Optimization Problems / 5.6：
General Results on Optimization / 6.1：
Special Classes of Optimization Problems / 6.3：
Convex, Quadratic and Linear Programming / 6.3.1：
Calculus of Variations and Euler-Lagrange Equation / 6.3.2：
Minimization of Energy Functional (Quadratic Functional) / 6.3.3：
Algorithmic Optimization / 6.4：
Newton Algorithm and Its Generalization / 6.4.1：
Conjugate Gradient Method / 6.4.2：
Operator Equations and Variational Methods / 6.5：
Boundary Value Problems / 7.1：
Operator Equations and Solvability Conditions / 7.3：
Equivalence of Operator Equation and Minimization Problem / 7.3.1：
Solvability Conditions / 7.3.2：
Existence Theorem for Nonlinear Operators / 7.3.3：
Existence of Solutions of Dirichlet and Neumann Boundary Value Problems / 7.4：
Approximation Method for Operator Equations / 7.5：
Galerkin Method / 7.5.1：
Rayleigh-Ritz-Galerkin Method / 7.5.2：
Eigenvalue Problems / 7.6：
Eigenvalue of Bilinear Form / 7.6.1：
Existence and Uniqueness / 7.6.2：
Boundary Value Problems in Science and Technology / 7.7：
Finite Element and Boundary Element Methods / 7.8：
Finite Element Method / 8.1：
Abstract Problem and Error Estimation / 8.2.1：
Internal Approximation of H[superscript 1] ([Omega]) / 8.2.2：
Finite Elements / 8.2.3：
Applications of the Finite Method in Solving Boundary Value Problems / 8.3：
Basic Ingredients of Boundary Element Method / 8.4：
Weighted Residuals Method / 8.4.1：
Inverse Problem and Boundary Solutions / 8.4.2：
Boundary Element Method / 8.4.3：
Variational Inequalities and Applications / 8.5：
Motivation and Historical Remarks / 9.1：
Contact Problem (Signorini Problem) / 9.1.1：
Variational Inequalities in Social, Financial and Management Sciences / 9.1.2：
Variational Inequalities and Their Relationship with Other Problems / 9.2：
Classes of Variational Inequalities / 9.2.1：
Formulation of a Few Problems in Terms of Variational Inequalities / 9.2.2：
Elliptic Variational Inequalities / 9.3：
Lions-Stampacchia Theorem / 9.3.1：
Variational Inequalities for Monotone Operators / 9.3.2：
Finite Element Methods for Variational Inequalities / 9.4：
Convergence and Error Estimation / 9.4.1：
Error Estimation in Concrete Cases / 9.4.2：
Evolution Variational Inequalities and Parallel Algorithms / 9.5：
Solution of Evolution Variational Inequalities / 9.5.1：
Decomposition Method and Parallel Algorithms / 9.5.2：
Obstacle Problem / 9.6：
Membrane Problem / 9.6.1：
Wavelet Theory / 9.7：
Continuous and Discrete Wavelet Transforms / 10.1：
Continuous Wavelet Transforms / 10.2.1：
Discrete Wavelet Transform and Wavelet Series / 10.2.2：
Multiresolution Analysis, Wavelets Decomposition and Reconstruction / 10.3：
Multiresolution Analysis (MRA) / 10.3.1：
Decomposition and Reconstruction Algorithms / 10.3.2：
Connection with Signal Processing / 10.3.3：
The Fast Wavelet Transform Algorithm / 10.3.4：
Wavelets and Smoothness of Functions / 10.4：
Lipschitz Class and Wavelets / 10.4.1：
Approximation and Detail Operators / 10.4.2：
Scaling and Wavelet Filters / 10.4.3：
Approximation by MRA Associated Projections / 10.4.4：
Compactly Supported Wavelets / 10.5：
Daubechies Wavelets / 10.5.1：
Approximation by Family of Daubechies Wavelets / 10.5.2：
Wavelet Packets / 10.6：
Wavelet Method for Partial Differential Equations and Image Processing / 10.7：
Wavelet Methods in Partial Differential and Integral Equations / 11.1：
General Procedure / 11.2.1：
Miscellaneous Examples / 11.2.3：
Error Estimation Using Wavelet Basis / 11.2.4：
Introduction to Signal and Image Processing / 11.3：
Representation of Signals by Frames / 11.4：
Functional Analytic Formulation / 11.4.1：
Iterative Reconstruction / 11.4.2：
Noise Removal from Signals / 11.5：
Model and Algorithm / 11.5.1：
Wavelet Methods for Image Processing / 11.6：
Besov Space / 11.6.1：
Linear and Nonlinear Image Compression / 11.6.2：
Appendices / 11.7：
Set Theoretic Concepts / A：
Topological Concepts / B：
Elements of Metric Spaces / C：
Notations and Definitions of Concrete Spaces / D：
Vector Spaces / E：
Fourier Analysis / F：
Symbols and Abbreviations
Index
Preface
List of Figures
Metric Spaces and Banach Fixed Point Theorem / 1：
33.
図書
Elisa Quintarelli
目次情報:
続きを見る
Introduction / 1：
Motivations / 1.1：
Overview of the Book / 1.2：
Contributions / 1.3：
Semantics Based on Bisimulation / 2：
G-Log: a Language for Semistructured Data / 2.1：
An Informal Presentation / 2.1.1：
Syntax of G-Log / 2.1.2：
Bisimulation Semantics of G-Log / 2.2：
Semantics of Rules / 2.2.1：
Programming in G-Log / 2.2.2：
Basic Semantic Results / 2.3：
Applicability / 2.3.1：
Satisfiability / 2.3.2：
Simple Edge-Adding Rules / 2.3.3：
Very Simple Queries / 2.3.4：
Abstract Graphs and Semantics / 2.4：
Logical Semantics of G-Log / 2.5：
Formulae for G-Log Rules / 2.5.1：
Concrete Graphs as Models / 2.5.2：
Model Theoretic Semantics / 2.5.3：
Relationship with the Original G-Log Semantics / 2.6：
G-Log Graphs with Negation / 2.7：
Computational Issues / 2.8：
Other Languages for Semistructured Data / 2.9：
UnQL / 2.9.1：
GraphLog / 2.9.2：
Model-Checking Based Data Retrieval / 3：
An Introduction to Model-Checking / 3.1：
Transition Systems and CTL / 3.1.1：
A Linear Time Algorithm to Solve the Model-Checking Problem / 3.1.2：
Syntax of the Query Language W / 3.2：
W-Instances as KTS / 3.3：
CTL-Based Semantics of W-Queries / 3.4：
Technique Overview / 3.4.1：
Admitted Queries / 3.4.2：
Query Translation / 3.4.3：
Acyclic Graphs / 3.4.4：
Cyclic Queries / 3.4.5：
Complexity Issues / 3.5：
Implementation of the Method / 3.6：
Applications to Existing Languages / 3.7：
G-Log / 3.7.1：
Expressive Power of Temporal Logics / 3.8：
Temporal Aspects of Semistructured Data / 4：
An Introduction to Temporal Databases / 4.1：
A Graphical Temporal Data Model for Semistructured Data / 4.2：
Operations on Temporal Data / 4.3：
TSS-QL: Temporal Semistructured Query Language / 4.4：
Grammar of TSS-QL / 4.4.1：
Some Examples of TSS-QL Queries / 4.4.2：
A Graphical Model for User Navigation History / 4.5：
Analyzing User History Navigation / 4.5.1：
Using the Query Language TSS-QL to Obtain Relevance Information / 4.6：
Semistructured Temporal Graph as a KTS / 4.6.1：
Complexity Results on TSS-QL Fragments / 4.6.2：
Related Works / 5：
Semantics Aspects of Query Languages / 5.1：
Efficient Query Retrieval / 5.2：
Temporal Models and Query Languages for Semistructured Data / 5.3：
Comparison with the DOEM Model / 5.3.1：
Conclusion / 6：
References
Introduction / 1：
Motivations / 1.1：
Overview of the Book / 1.2：
34.
図書
John Okyere Attia
出版情報:
Boca Raton : CRC Press, c2004 393 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
MATLAB Fundamentals / 1：
MATLAB Basic Operations / 1.1：
Matrix Operations / 1.2：
Array Operations / 1.3：
Complex Numbers / 1.4：
The Colon Symbol (:) / 1.5：
M-Files / 1.6：
Script Files / 1.6.1：
Function Files / 1.6.2：
Mathematical Functions / 1.7：
Bibliography
Problems
Plotting Functions / 2：
Graph Functions / 2.1：
X-Y Plots and Annotations / 2.2：
Logarithmic and Polar Plots / 2.3：
Subplots and Screen Control / 2.4：
Other Plotting Functions / 2.5：
Bar Plots / 2.5.1：
Hist Function / 2.5.2：
Stem Plots / 2.5.3：
Control Statements / 3：
"For" Loops / 3.1：
"If" Statements / 3.2：
"While" Loops / 3.3：
Input/Output Commands / 3.4：
DC Analysis / 4：
Nodal Analysis / 4.1：
Loop Analysis / 4.2：
Maximum Power Transfer / 4.3：
MATLAB Diff and Find Functions / 4.3.1：
Transient Analysis / 5：
RC Network / 5.1：
RL Network / 5.2：
RLC Circuit / 5.3：
State Variable Approach / 5.4：
MATLAB Ode Functions / 5.4.1：
AC Analysis and Network Functions / 6：
Steady-State AC Power / 6.1：
MATLAB Functions quad and quad8 / 6.1.1：
Single- and Three-Phase AC Circuits / 6.2：
Network Characteristics / 6.3：
MATLAB Functions roots, residue, and polyval / 6.3.1：
Frequency Response / 6.4：
MATLAB Function freqs / 6.4.1：
Two-Port Networks / 7：
Two-Port Network Representations / 7.1：
z-Parameters / 7.1.1：
y-Parameters / 7.1.2：
h-Parameters / 7.1.3：
Transmission Parameters / 7.1.4：
Conversion of Two-Port Parameters / 7.2：
Interconnection of Two-Port Networks / 7.3：
Terminated Two-Port Networks / 7.4：
Fourier Analysis / 8：
Fourier Series / 8.1：
Average Power and Harmonic Distortion / 8.2：
Fourier Transforms / 8.3：
Properties of the Fourier Transform / 8.3.1：
Discrete and Fast Fourier Transforms / 8.4：
MATLAB Function fft / 8.4.1：
Diodes / 9：
Diode Characteristics / 9.1：
Forward-Biased Region / 9.1.1：
MATLAB Function polyfit / 9.1.2：
Temperature Effects / 9.1.3：
Analsis of Diode Circuits / 9.2：
Half-Wave Rectifier / 9.3：
MATLAB Function fzero / 9.3.1：
Full-Wave Rectification / 9.4：
Zener Diode Voltage Regulator Circuits / 9.5：
Semiconductor Physics / 10：
Intrinsic Semiconductors / 10.1：
Energy Bands / 10.1.1：
Mobile Carriers / 10.1.2：
Extrinsic Semiconductor / 10.2：
Electron and Hole Concentrations / 10.2.1：
Fermi Level / 10.2.2：
Current Density and Mobility / 10.2.3：
pn Junction: Contact Potential, Junction Current / 10.3：
Contact Potential / 10.3.1：
Junction Current / 10.3.2：
Depletion and Diffusion Capacitances / 10.4：
Depletion Capacitance / 10.4.1：
Diffusion Capacitance / 10.4.2：
Breakdown Voltages of pn Junctions / 10.5：
References
Operational Amplifiers / 11：
Properties of the Op Amp / 11.1：
Inverting Configuration / 11.2：
Noninverting Configuration / 11.3：
Effect of Finite Open-Loop Gain / 11.4：
Frequency Response of Op Amps / 11.5：
Slew Rate and Full-Power Bandwidth / 11.6：
Common-Mode Rejection / 11.7：
Transistor Circuits / 12：
Bipolar Junction Transistors / 12.1：
Biasing BJT Discrete Circuits / 12.2：
Self-Bias Circuit / 12.2.1：
Bias Stability / 12.2.2：
Integrated Circuit Biasing / 12.3：
Simple Current Mirror / 12.3.1：
Wilson Current Source / 12.3.2：
Frequency Response of Common-Emitter Amplifier / 12.4：
MOSFET Characteristics / 12.5：
Biasing of MOSFET Circuits / 12.6：
Frequency Response of Common-Source Amplifier / 12.7：
Electronic Data Analysis / 13：
Save, Load, and Textread Functions / 13.1：
Save and Load Functions / 13.1.1：
Textread Function / 13.1.2：
Statistical Analysis / 13.2：
Curve Fitting / 13.3：
Other Functions for Data Analysis / 13.4：
Integration Function (trapz) / 13.4.1：
Index
MATLAB Fundamentals / 1：
MATLAB Basic Operations / 1.1：
Matrix Operations / 1.2：
35.
図書
Tuncer Cebeci
出版情報:
Long Beach, Calif. : Horizons , Berlin : Springer, c2004 xii, 262 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Transition Process / 1.1：
Prediction of Transition / 1.2：
Empirical Correlations / 1.2.1：
Michel's Method / 1.2.2：
Granville's Method / 1.2.3：
H-R[subscript x] Method / 1.2.4：
Factors that Influence Transition / 1.3：
Effects of Freestream Turbulence and Noise / 1.3.1：
Effects of Pressure Gradient / 1.3.2：
Effects of Heat Transfer / 1.3.3：
Effects of Surface Roughness / 1.3.4：
Effects of Suction / 1.3.5：
Effects of Surface Curvature / 1.3.6：
References
Stability-Transition Theory / 2：
Underlying Mathematical Arguments for e[superscript n]-Method / 2.1：
Linear Stability Equations / 2.3：
Orr-Sommerfeld Equation / 2.3.1：
Properties of the Orr-Sommerfeld Equation for Two-Dimensional Flows / 2.3.2：
e[superscript n]-Method for Two-Dimensional Flows / 2.4：
e[superscript n]-Method for Three-Dimensional Flows / 2.5：
Eigenvalue Formulations / 2.5.1：
The Zarf / 2.5.2：
Numerical Method / 3：
Numerical Solution of the Orr-Sommerfeld Equation for Two-Dimensional Flows / 3.1：
Eigenvalue Procedure for Stability Diagrams / 3.2.1：
Eigenvalue Procedure for Transition / 3.2.2：
Numerical Solution of the Orr-Sommerfeld Equation for Three-Dimensional Flows: Mack/Arnal Eigenvalue Formulation / 3.3：
Numerical Solution of the Orr-Sommerfeld Equation for Three-Dimensional Flows: Cebeci-Stewartson Eigenvalue Formulation / 3.4：
Eigenvalue Procedure for Zarf / 3.4.1：
Estimation of Eigenvalues / 3.4.2：
Appendix 3A
Stability Transition Program for Two-Dimensional Incompressible Flows / 4：
Description of the Computer Program STP / 4.1：
MAIN / 4.2.1：
Subroutine VELPRO / 4.2.2：
Subroutine CSAVE / 4.2.3：
Subroutine NEWTON / 4.2.4：
Subroutine NEWTONI / 4.2.5：
Stability Diagrams for Falkner-Skan Flows / 4.3：
Falkner-Skan Flows / 4.3.1：
Sample Calculations for Constructing Stability Diagrams for Blasius Flow / 4.3.2：
Sample Calculations for Constructing Stability Diagrams for Lower-Branch Solutions of the Falkner-Skan Equation / 4.3.3：
Sample Calculations for Predicting Transition / 4.4：
Flat-Plate Flow / 4.4.1：
Airfoil Flow / 4.4.2：
Description of the Computer Program STPW / 4.5：
Input to STPW / 4.5.1：
Sample Calculations / 4.5.2：
Shooting Method / Appendix 4A：
Description of the Method for f"[subscript w greater than or equal] 0 / 4A.1：
Description of the Method for f"[subscript w less than sign] 0 / 4A.2：
Computer Program / 4A.3：
An Interactive Boundary-Layer and Stability-Transition Program for Two-Dimensional Flows / 5：
Interactive Boundary-Layer Method / 5.1：
Turbulence Model / 5.2.1：
Inviscid Method / 5.2.2：
Extension of the Interactive Boundary-Layer and Stability-Transition Approach to Multielement Airfoils / 5.2.4：
Airfoils at High Reynolds Numbers / 5.4：
Accuracy of the e[superscript n]-Method for Flows with Separation / 5.5：
Airfoils at Low Reynolds Numbers / 5.6：
Multielement Airfoils / 5.7：
Stability-Transition Program for Three-Dimensional Incompressible Flows / 6：
Description of the Computer Program 3DSTP and Sample Calculations / 6.1：
Description of the Computer Program / 6.2.1：
Applications of 3DSTP / 6.2.2：
ONERA-D Infinite Swept Wing / 6.3.1：
Prolate Spheroid / 6.3.2：
Prediction of Transition with Curvature Effect / 6.4：
Stability Equations with Curvature Terms / 6.4.1：
Calculation of the Curvature Terms / 6.4.2：
Effects of Sweep Angle and Reynolds Number on Transition with Curvature Effect Included in the Stability Equations / 6.4.3：
Computer Program 3DSTPWC and Sample Calculations / 6.5：
Description of Input / 6.5.1：
A Stability-Transition Program for Three-Dimensional Compressible Flows on Wings / 6.5.2：
Boundary-Layer Equations / 7.1：
Initial Conditions / 7.3：
Quasi-Three-Dimensional Boundary-Layer Equations / 7.3.1：
Attachment Line Equations / 7.3.2：
Interface Program / 7.4：
Choice of the Surface Coordinate System / 7.5.1：
Geometric Parameters of the Coordinate System / 7.5.2：
Calculation of Inviscid Velocity Components for Boundary-Layer Grid / 7.5.3：
Solution of the Boundary-Layer Equations / 7.5.4：
Transformed Equations / 7.6.1：
Solution of the Stability Equations for Compressible Flows / 7.6.2：
AS409 Infinite Swept Wing / 7.8：
Experimental Data / 7.8.1：
Calculations with the Mack-Arnal Formulation / 7.8.2：
Calculations with the Cebeci-Stewartson Formulation / 7.8.3：
Software for Calculating Transition in Incompressible and Compressible Flows on Wings with and without Suction / 7.9：
Boundary Layer Program / 7.9.1：
Calculation of Zarf / 7.9.2：
Amplification Calculations / 7.9.3：
Summary of Transition Calculations / 7.9.4：
Calculation of the Lower Branch of the Zarf / 7.9.5：
Amplification Calculations for Disturbances from the Lower Branch / 7.9.6：
Amplification Calculations for Disturbances from the Upper Branch / 7.9.7：
Transition Prediction by Parabolized Stability Equations / 8：
Parabolized Stability Equations / 8.1：
Subroutine START / 8.3：
Subroutine COEF / 8.4.2：
Subroutine GETNA / 8.4.3：
Solution Algorithm: Subroutines MATRIX6, GAUSS, USOLV, GAMSV / 8.4.4：
Sample Calculations with PSE / 8.5：
Computer Programs in the CD-ROM Accompanying the Book / Appendix A：
Shooting Method: For f"(0) [greater than or equal] 0 / A.1：
Shooting Method: For f"(0) [less than sign] 0 / A.2：
2D Stability Transition Program (STP2D) / A.3：
Interactive Boundary-layer (IBL) Program / A.4：
Panel Method (HSPM), 2D Interface Program (IPRPM2D), Inverse Boundary-Layer Program (INBLP) and STP2D / A.5：
HSPM, IPRPM2D, Boundary-Layer Infinite Swept Wing (BLISW) Program and 3D Stability-Transition Program (3DSTP) / A.6：
Stability-Transition Program Based on Parabolized Stability Equations (PSE) / A.7：
Cross-Flow Dominated Flows / A.7.1：
Flows in Which Tollmien-Schlichting (T-S) Waves Dominate / A.7.2：
Computer Programs in the CD-ROM Available from the Author / Appendix B：
Boundary Layer and Stability-Transition Program for Air, Water and Sea (STPW) / B.1：
Panel Method (HSPM), 2D Interface Program (IPRPM), Infinite Swept Wing Boundary-Layer Program (BLISW) and 3D Stability Transition Program with Curvature Effects (3DSTPWC) / B.2：
HSPM, IPRPM, BLISW, 3DSTPWC, Parabolized Stability Equations (PSE) / B.3：
Flows in Which Tollmien-Schlichting (T-S) Instability Dominates / B.3.1：
Interactive Boundary-Layer Method for Single and Multielement Airfoils (MEIBL) / Appendix C：
Application of MEIBL to Three-Dimensional Flows / C.1：
Inviscid Flow / C.1.1：
Viscous Flow / C.1.2：
Interaction / C.1.3：
Coordinate Systems for Viscous and Inviscid Flow Calculations / C.2：
User's Manual / C.3：
Input Data / C.3.1：
Output Data / C.3.2：
Detailed Flow at [alpha] = 4[degree] and [alpha] = 20[degree] / C.4：
Force and Moment Coefficient Calculations / C.4.2：
Software for Calculating Transition in Three-Dimensional Compressible Flows / Appendix D：
Description of the Boundary Layer Program / D.1：
Input Data Description / D.1.1：
Output Data Description / D.1.2：
Description of the Transition Calculation Procedure / D.2：
Zarf Calculation / D.2.1：
Amplification Calculation / D.2.2：
Summary of the Procedure / D.2.3：
Sample Calculation: Input and Output Data Description / D.3：
Input File Description / D.3.1：
Zarf Upper Branch Calculation / D.3.2：
Quick Reference Manual / D.3.5：
Subject Index
Introduction / 1：
Transition Process / 1.1：
Prediction of Transition / 1.2：
36.
図書
by Marco Ceccarelli
目次情報:
続きを見る
Preface
Introduction to Automation and Robotics / 1：
Automatic systems and robots / 1.1：
Evolution and applications of robots / 1.2：
Examples and technical characteristics of industrial robots / 1.3：
Evaluation of a robotization / 1.4：
An economic estimation / 1.4.1：
Forum for discussions on Robotics / 1.5：
Analysis of Manipulations / 2：
Decomposition of manipulative actions / 2.1：
A procedure for analyzing manipulation tasks / 2.2：
Programming for robots / 2.3：
A programming language for robots: VAL II / 2.3.1：
A programming language for robots: ACL / 2.3.2：
Illustrative examples / 2.4：
Education practices / 2.4.1：
Simulation of an industrial process / 2.4.1.1：
Writing with a robot / 2.4.1.2：
An intelligent packing / 2.4.1.3：
Industrial applications / 2.4.2：
Designing a robotized manipulation / 2.4.2.1：
Optimizing a robotized manipulation / 2.4.2.2：
Fundamentals of Mechanics of Manipulators / 3：
Kinematic model and position analysis / 3.1：
Transformation Matrix / 3.1.1：
Joint variables and actuator space / 3.1.2：
Workspace analysis / 3.1.3：
A binary matrix formulation / 3.1.3.1：
An algebraic formulation / 3.1.3.2：
A Workspace evaluation / 3.1.3.3：
Manipulator design with prescribed workspace / 3.1.4：
Inverse kinematics and path planning / 3.2：
A formulation for inverse kinematics / 3.2.1：
An example / 3.2.1.1：
Trajectory generation in Joint Space / 3.2.2：
A formulation for path planning in Cartesian coordinates / 3.2.3：
Velocity and acceleration analysis / 3.2.3.1：
Jacobian and singularity configurations / 3.3.1：
Statics of manipulators / 3.4.1：
A mechanical model / 3.5.1：
Equations of equilibrium / 3.5.2：
Jacobian mapping of forces / 3.5.3：
Dynamics of manipulators / 3.5.4：
Mechanical model and inertia characteristics / 3.6.1：
Newton-Euler equations / 3.6.2：
Lagrange formulation / 3.6.2.1：
Stiffness of manipulators / 3.6.3.1：
A formulation for stiffness analysis / 3.7.1：
A numerical example / 3.7.3：
Performance criteria for manipulators / 3.8：
Accuracy and repeatability / 3.8.1：
Dynamic characteristics / 3.8.2：
Compliance response / 3.8.3：
Fundamentals of Mechanics of parallel manipulators / 3.9：
A numerical example for CaPaMan (Cassino Parallel Manipulator) / 3.9.1：
Fundamentals of Mechanics of Grasp / 4：
Gripping devices and their characteristics / 4.1：
A mechatronic analysis for two-finger grippers / 4.2：
Design parameters and operation requirements for grippers / 4.3：
Configurations and phases of two-finger grasp / 4.4：
Model and analysis of two-finger grasp / 4.5：
Mechanisms for grippers / 4.6：
Modeling gripper mechanisms / 4.6.1：
An evaluation of gripping mechanisms / 4.6.2：
A numerical example of index evaluation / 4.6.2.1：
Designing two-finger grippers / 4.7：
An optimum design procedure for gripping mechanisms / 4.7.1：
A numerical example of optimum design / 4.7.1.1：
Electropneumatic actuation and grasping force control / 4.8：
An illustrative example for laboratory practice / 4.8.1：
An acceleration sensored gripper / 4.8.1.1：
Fundamentals on multifinger grasp and articulated fingers / 4.9：
Bibliography
Index
Biographical
Notes
Preface
Introduction to Automation and Robotics / 1：
Automatic systems and robots / 1.1：
37.
ＥＢ
出版情報:
ASME Digital Collection Conference Proceedings , 2004
子書誌情報:
loading…
所蔵情報:
loading…
38.
ＥＢ
出版情報:
ASME Digital Collection Conference Proceedings , 2004
子書誌情報:
loading…
所蔵情報:
loading…
39.
ＥＢ
出版情報:
ASME Digital Collection Conference Proceedings , 2004
子書誌情報:
loading…
所蔵情報:
loading…
40.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
41.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
42.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
43.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
44.
ＥＢ
出版情報:
IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2004
子書誌情報:
loading…
所蔵情報:
loading…
45.
図書
Andrew G. Tescher, chair/editor ; sponsored and published by SPIE--the International Society for Optical Engineering
46.
学位
by Tetsuya Komabayashi
出版情報:
東京 : 東京工業大学, 2004
子書誌情報:
loading…
所蔵情報:
loading…
47.
ＥＢ
International Conference on Carbon Dioxide Utilization, Jong-San Chang, Kyu-Wan Lee, Sang-Eon Park
出版情報:
Elsevier ScienceDirect Books Complete , Elsevier, 2004
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Section Headings
Heterogeneous catalysis of CO 2
Homogeneous catalysis of CO 2
Electro and photocatalytic reduction of CO 2
CO 2 as oxidant
Studies in supercritical CO 2
CO 2 separation and recovery
Biology and biochemistry of CO 2 utilization
Utilization of CO 2 hydrates
General uses of CO 2
Section Headings
Heterogeneous catalysis of CO 2
Homogeneous catalysis of CO 2
48.
図書
48. CHSi (HCSi), C1HNe (NeHC1), CI2H- (C1HC1-), FHO (FHO), FHO+ (FHO+), F2H- (FHF-), FN2+ (FNN+), HN2+ (HNN+), HNSi (HNSi), HOSi+ (HOSi+), N2S (NNS), NOP (PNO), NOSi (NSiO), NOSi(SiNO), NOSi (SiON)
G. Guelachvili, K. Narahari Rao ; edited by G. Guelachvili
目次情報:
続きを見る
Title Page, Preface, Authors
Title Page
Preface Authors
Survey of Vol.20
Introduction
Energy level designations / I：
Effective Hamiltonians / II：
Formulas for determining rotational constants / III：
Potential energy function (PEF) / IV：
Dipole moment / V：
Intensities / VI：
Renner-Teller effect (some aspects) / VII：
Some functional relations specially applicable to the molecular constants of CO2 / VIII：
Some symbolism appearing in N2 O data / IX：
Some symbolism appearing in CO2 +, CFeO, CFeO- , CNN, CNO and CNO- data / X：
Some functional relations for CS2 , CSe2 and C2 N molecules and ions / XI：
Some symbolism appearing in C2 H (CCH) / XII：
List of symbols / XIII：
Survey
CHSi / 67：
12 CH28 Si / 67.1：
12 CH29 Si / 67.2：
12 CH30 Si / 67.3：
12 CD28 Si / 67.4：
13 CH28 Si / 67.5：
13 CD28 Si / 67.6：
ClHNe NeHCl / 68：
35 ClH20 Ne / 68.1：
35 ClD20 Ne / 68.2：
37 ClD20 Ne / 68.3：
ClClH- / 69：
35 Cl35 ClH- / 69.1：
35 Cl35 ClD- / 69.2：
35 Cl37 ClH- / 69.3：
37 Cl37 ClH- / 69.4：
37 Cl37 ClD- / 69.5：
FHO / 70：
19 FH16 O / 70.1：
19 FD16 O / 70.2：
FHO+ / 71：
19 FH16 O= / 71.1：
FFH- / 72：
19 F19 FH- / 72.1：
19 F19 FD- / 72.2：
FNN+ / 73：
19 F14 N14 N+ / 73.1：
HNN+ / 74：
H14 N14 N+ / 74.1：
H14 N15 N+ / 74.2：
H15 N14 N+ / 74.3：
H15 N15 N+ / 74.4：
D14 N14 N+ / 74.5：
T14 N14 N+ / 74.6：
HNSi / 75：
H14 N28 Si / 75.1：
H14 N29 Si / 75.2：
H14 N30 Si / 75.3：
D14 N28 Si / 75.4：
HOSi+ / 76：
H16 O28 Si+ / 76.1：
D16 O28 Si+ / 76.2：
NNS / 77：
14 N14 N32 S / 77.1：
14 N14 N34 S / 77.2：
14 N15 N32 S / 77.3：
15 N14 N32 S / 77.4：
15 N15 N32 S / 77.5：
15 N15 N34 S / 77.6：
NOP / 78：
14 N16 O31 P / 78.1：
14 N18 O31 P / 78.2：
15 N16 O31 P / 78.3：
NOSi (NSiO) / 79：
14 N16 O28 Si (14 N28 Si16 O) / 79.1：
NOSi (SiNO) / 80：
14 N16 O28 Si (28 Si14 N16 O) / 80.1：
NOSi (SiON) / 81：
14 N16 O28 Si (28 Si16 O14 N) / 81.1：
References
Title Page, Preface, Authors
Title Page
Preface Authors
49.
ＥＢ
Robin Devenish and Amanda Cooper-Sarkar
出版情報:
Oxford : Oxford University Press, 2004 1 online resource (xiv, 403 p.)
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Rutherford scattering / 1.1：
Form factors / 1.1.1：
Inelastic scattering / 1.2：
Heroic age of DIS / 1.3：
Importance of weak probes / 1.4：
Partons and Quantum Chromodynamics / 1.5：
Extraction of parton density functions / 1.6：
DIS at colliders / 1.7：
Other topics / 1.8：
Outlook / 1.9：
Problems / 1.10：
The quark-parton model / 2：
The essential idea of the parton model / 2.1：
Elastic electron-muon scattering / 2.1.1：
Elastic electron-quark scattering / 2.1.2：
Inelastic e- or [mu]-hadron scattering / 2.2：
Neutrino-induced DIS / 2.3：
Elastic neutrino-electron scattering / 2.3.1：
Elastic neutrino-quark scattering / 2.3.2：
Inelastic neutrino-hadron scattering / 2.3.3：
Neutrino scattering via the neutral current / 2.3.4：
Quark-parton model tests / 2.4：
Sum rules / 2.5：
Summary / 2.6：
QCD and formal methods / 2.7：
Quantum Chromodynamics / 3.1：
The QCD Lagrangian / 3.1.1：
QCD colour factors / 3.1.2：
Some simple tree-level diagrams / 3.2：
Infrared and collinear singularities / 3.3：
Renormalization / 3.4：
Regularization and renormalization schemes / 3.4.1：
Charge renormalization in QED / 3.4.2：
The QCD running coupling at leading order / 3.4.3：
Renormalization group methods / 3.5：
Anomalous dimensions / 3.5.1：
The QCD running coupling / 3.6：
The hadronic tensor W[subscript mu v] / 3.7：
Light cone dominance / 3.7.1：
The operator product expansion / 3.8：
OPE applied to DIS / 3.8.1：
RGE calculation of moments / 3.8.2：
Factorization / 3.9：
QCD improved parton model / 3.10：
Improving the parton model / 4.1：
Splitting Functions / 4.1.1：
Running coupling and the OPE / 4.1.2：
The DGLAP equations / 4.2：
F[subscript 2] and F[subscript L] / 4.2.1：
A useful approximation / 4.2.2：
DGLAP evolution at LO / 4.3：
Valence quark evolution / 4.3.1：
Singlet and gluon evolution / 4.3.2：
Higher twist / 4.4：
Heavy quarks / 4.5：
Matching prescriptions for [alpha subscript s] / 4.5.1：
Heavy quark production in DIS / 4.5.2：
Variable flavour number schemes / 4.5.3：
Beyond NLO / 4.6：
Appendix: LO splitting functions and anomalous dimensions / 4.7：
DIS experiments and data / 5：
Some numbers / 5.1：
Kinematics / 5.2：
Fixed target / 5.2.1：
HERA collider / 5.2.2：
Detectors / 5.3：
The E665 muon scattering experiment / 5.3.1：
The CCFR neutrino scattering experiment / 5.3.2：
Detectors for the ep collider HERA / 5.3.3：
Measurement of the cross-section / 5.4：
Radiative corrections / 5.4.1：
Acceptance and other corrections / 5.4.2：
Nuclear effects / 5.5：
Structure function data / 5.6：
F[subscript 2] / 5.6.1：
F[superscript vN subscript 2] and xF[superscript vN subscript 3] / 5.6.2：
F[subscript L] / 5.6.3：
F[superscript c subscript 2] / 5.6.4：
F[superscript p subscript 2] at very low Q[superscript 2] / 5.7：
Appendix: cross-sections and luminosity / 5.8：
The size of DIS cross-sections / 5.10.1：
Beam flux and luminosity / 5.10.2：
Extraction of parton densities / 6：
Determining parton distribution functions / 6.1：
Treatment of data sets in global analyses / 6.2：
Nuclear binding corrections / 6.2.1：
Data consistency / 6.2.2：
Global fits: the general formalism / 6.3：
The form of the parameterization / 6.3.1：
The flavour composition of the sea / 6.3.2：
Global fits: the relationship of the measurements to the parton distributions / 6.3.3：
Results on PDF extraction / 6.4：
Results from the experimental collaborations / 6.4.1：
Results from the theoretical groups / 6.4.2：
Information on PDFs from non-DIS processes / 6.5：
Quark distributions / 6.5.1：
The gluon distribution / 6.5.2：
Theoretical and 'model' uncertainties / 6.6：
Model assumptions / 6.6.1：
Heavy quark production schemes / 6.6.2：
Higher twist contributions / 6.6.3：
The need to go beyond NLO and scale uncertainty / 6.6.4：
Alternatives to the DGLAP evolution equations? / 6.6.5：
Treatment of correlated systematic uncertainties / 6.7：
Offset methods / 6.7.1：
Hessian methods / 6.7.2：
Diagonalization and eigenvector PDF sets / 6.7.3：
Normalizations / 6.7.4：
Comparison of offset and Hessian methods / 6.7.5：
x[superscript 2] tolerance / 6.7.6：
Uncertainties in predicting high energy cross-sections / 6.7.7：
Alternative statistical techniques / 6.7.8：
Dynamically generated partons, the GRV approach / 6.8：
Future prospects for information on the gluon / 6.9：
Appendix: Comparability of evolution programs / 6.10：
[alpha subscript s] from scaling violations and jets at high Q[superscript 2] / 7：
Methods of determining [alpha subscript s](M[superscript 2 subscript Z]) from structure function data / 7.1：
Determinations of [alpha subscript s](M[superscript 2 subscript Z]) from GLS sum-rule / 7.1.1：
Determinations of [alpha subscript s](M[superscript 2 subscript Z]) from structure function data: DGLAP NLO QCD fits / 7.2：
Theoretical and model uncertainties / 7.2.1：
Results / 7.2.2：
Determinations of [alpha subscript s](M[superscript 2 subscript Z]) from structure function data: extending the theoretical framework / 7.3：
Jet production in DIS / 7.4：
Breit frame kinematics / 7.4.1：
Cross-section calculations / 7.4.2：
Jet measures / 7.5：
The cone algorithm / 7.5.1：
The k[subscript T] cluster algorithm / 7.5.2：
Longitudinally invariant k[subscript T] algorithm / 7.5.3：
Description of jet data at NLO / 7.6：
[alpha subscript S] from DIS jets / 7.7：
Combined analysis of NC jet and inclusive data / 7.8：
Appendix: transformation to the Breit frame / 7.9：
DIS at high Q[superscript 2] / 8：
Cross-sections for unpolarized lepton beams / 8.1：
Neutral Current / 8.1.1：
Charged Current / 8.1.2：
Unpolarized high-Q[superscript 2] data / 8.2：
PDF extraction from high-Q[superscript 2] data / 8.2.1：
Cross-sections for polarized lepton beams / 8.3：
Extraction of electroweak parameters / 8.3.1：
M[subscript W] measurements / 8.4.1：
Measurements of the quark weak neutral couplings / 8.4.2：
Appendix: formalism for NC high-Q[superscript 2] DIS / 8.5：
DIS at low x / 9：
Approaches at low x / 9.1：
Summation schemes / 9.1.1：
Low x and Mellin moments / 9.1.2：
DGLAP at low x / 9.2：
Double asymptotic scaling / 9.2.1：
Singular input distribution / 9.2.2：
Regge Theory / 9.3：
Hard and soft Pomerons / 9.3.1：
The BFKL equation / 9.4：
Multiple gluon emission at small x / 9.4.1：
The reggeized gluon and the LO BFKL equation / 9.4.2：
BFKL for hadronic processes / 9.4.3：
Beyond the LO BFKL with fixed [alpha subscript s] / 9.4.4：
BFKL--discussion / 9.4.5：
Angular ordering and the CCFM equation / 9.5：
Unitarity and saturation / 9.6：
High density gluon dynamics / 9.6.1：
Dipole models--general formalism / 9.7：
Dipole models--examples / 9.8：
The Forshaw-Kerley-Shaw model / 9.8.1：
The Golec-Biernat-Wusthoff model / 9.8.2：
Geometrical scaling / 9.8.3：
Dipole models and Q[superscript 2] evolution / 9.8.4：
Dipole models and the colour glass condensate / 9.8.5：
The description of low-x inclusive data / 9.9：
Hadron induced DIS / 9.10：
Rapidity / 10.1：
The cross-section for a hard hadronic process / 10.2：
The Drell-Yan process / 10.3：
Kinematics and LO cross-section / 10.3.1：
Transverse momentum and QCD corrections / 10.3.2：
W & Z boson production / 10.4：
Z boson production / 10.4.1：
W boson production / 10.4.2：
W decay asymmetry / 10.4.3：
High p[subscript T] jet production / 10.5：
Parton-parton kinematics / 10.5.1：
Single jet inclusive cross-section / 10.5.2：
Dijet cross-sections / 10.5.3：
Isolated photon production / 10.6：
Hadronic DIS at the LHC / 10.7：
Jet physics at the LHC / 10.7.1：
Collider luminosity / 10.7.2：
Parton-parton luminosity / 10.7.3：
Appendix: [Sigma vertical bar M vertical bar superscript 2] for tree-level sub-processes / 10.8：
Polarized DIS / 11：
Formalism / 11.1：
The 'spin crisis' / 11.2：
Experiments and data / 11.3：
Theoretical framework / 11.4：
Wandzura-Wilczek relation / 11.4.1：
Axial anomaly / 11.4.3：
QCD analysis / 11.5：
Semi-inclusive asymmetries / 11.6：
[Delta subscript g] / 11.7：
HERMES / 11.7.1：
COMPASS / 11.7.2：
RHIC pp / 11.7.3：
Transverse spin asymmetries / 11.8：
Appendix: formalism for polarized DIS / 11.9：
Beyond the Standard Model / 12：
General remarks / 12.1：
Quark compositeness and form factors / 12.2：
Direct leptoquark searches / 12.3：
Contact interactions / 12.4：
Compositeness / 12.4.1：
Leptoquarks / 12.4.2：
W production and anomalous high p[subscript T] leptons / 12.5：
Single top production / 12.5.1：
Appendix: LQ classification & CI couplings / 12.6：
Dirac equation and some other conventions / A：
Phase space and cross-sections / B：
Introduction / 1：
Rutherford scattering / 1.1：
Form factors / 1.1.1：
50.
図書
東工大
Soon-Bok Lee, Mikyoung Lee, Michael Pecht
出版情報:
College Park, Md. : CALCE EPSC Press, c2004 xiii, 215 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
1 General Information 1
1.1 Korean People 1
1.2 Geography 2
1.3 History 3
1.4 Korean War 4
1.5 Population 7
1.6 Language 8
1.7 Korean Belief and Religion 9
1.7.1 Buddhism 10
1.7.2 Protestantism and Catholicism 10
1.7.3 Confucianism 10
1.7.4 Shamanism 11
1.8 Education in Korea 11
1.9 Judicial Organization 12
1.10 Political Structure 12
1.11 Current Economic Conditions and Policy 15
1.11.1 Enforcement of the Free Economic Zone Act 17
1.11.2 Financial and Corporate Restructuring 18
1.11.3 Social Welfare System 21
2 Science and Technology in Korea 25
2.1 1900 - 1960 26
2.2 1960s 27
2.2.1 1961: The Beginning of Modern South Korea 27
2.2.2 1966: The Korea Institute of Science and Technology 27
2.2.3 1967: The Ministry of Science and Technology 27
2.2.4 1967: The Atomic Energy Research Institute/Korea Advanced Energy Research Institute 28
2.2.5 By 1969 28
2.3. 1970s: Beginning of Growth 29
2.3.1 1971: KAIS/KAIST 29
2.3.2 Mid 1970s Recruitment of Overseas Koreans 30
2.3.3 1976: The Electronics and Telecommunications Research Institute 30
2.3.4 1977: The Korea Science and Engineering Foundation 30
2.3.5 By 1979 31
2.4 1980s: Korea Inc. Comes of Age 31
2.4.1 1982: The National R＆D Program 32
2.4.2 1983: Daeduck Science Town 32
2.4.3 1986: POSTECH 33
2.5 1990S: Aimless Excess and Rude Awakening 33
2.5.1 1996: OECD 34
2.5.2 1996: The Korea Institute of Advanced Study (KIAS) 34
2.5.3 1996: The National Fusion Research (KSTAR) 34
2.5.4 Economy Overview of 2001 35
2.5.5 Science and Technology Policy for the 21st Century 35
3 Development of the Korean Electronics Industry 37
3.1 Korean Industry 38
3.1.1 Korean Industrial Development Stages 38
3.1.2 Jaebols 41
3.1.3 Foreign Trade 42
3.1.4 China, Korea and the World Trade Organization 43
3.2 Overview of the Korean Electronics Industry 49
3.2.1 Market Trends in the Korean Electronics Industry 50
3.2.2 Imported vs. Domestic Technology Capabilities 51
3.2.3 The Semiconductor Industry 52
3.2.4 The Display Industry 54
3.3 The Role of Government in Science and Technology 59
3.3.1 Outline for Technological Development 59
3.3.2 Legislative Interaction 60
3.3.3 Government Sponsorship of R＆D 61
3.3.4 Government Support of Equipment Development 63
3.3.5 Major S＆T Policies for the Twenty-first Century 64
3.3.6 International Cooperation and Recruitment of Foreign Nationals 66
3.3.7 Government Assistance to Small and Emerging Businesses 67
3.3.8 Science Parks 67
3.4 The Role of the University 67
3.4.1 Facilities that Support Science and Technology 68
3.4.2 Industrial Connections 70
3.4.3 Educational Goals of University S＆T Programs 72
3.5 Industry/Government/University Interactions 73
3.6 Summary 74
4 The Korean Semiconductor Industry 75
4.1 Memory Industry 75
4.1.1 DRAM 76
4.1.2 SRAM 77
4.1.3 EPROM, EEPROM, Flash Memory and FRAM 78
4.2 Additional Semiconductor Technologies 79
4.3 Process Technology 80
4.4 Strength and Weaknesses 81
4.5 Strategy for Competitiveness 83
4.6 Industrial Coordination- The KSIA 85
4.7 Summary 86
5 Packaging and Assembly Industry 87
5.1 Substrate and Leadframe Technology 87
5.1.1 Leadframe Technology and Capacity 87
5.1.2 Packaging and Wafer Foundry Business 88
5.2 Printed Circuit Board Technology 91
5.2.1 Business Status in PCB Industry 92
5.2.2 Korean PCB Manufacturers 92
5.2.3 PCB Business Prospect 92
5.3 Connectors 92
6 The Korean Display Industry 95
6.1 Government Planning and Support 95
6.2 Electronics Display Industrial Research Association of Korea 96
6.3 Significant Developments 97
6.3.1 Samsung SDI 97
6.3.2 LG Electronics 100
6.3.3 Orion Electric 102
6.3.4 Hyundai 104
6.4 Significant Research Efforts 105
6.4.1 Project for Development of a 25-29'' High-quality TFT LCD 105
6.4.2 Project for Development of a Low-electric-power TFT LCD 105
6.4.3 Project for Development of a 70-55'' Full-color HDTV 105
6.5 Flat Panel Display Application in Korea 106
6.5.1 Flat Panel Display Production in Korea 107
6.5.2 Rapid Growth of PCs and the Internet 109
6.6 Summary 110
7 Products and Systems for IT Services 111
7.1 Computer Systems 111
7.2 Data Communication Technology 112
7.2.1 Data Transmission Technologies 112
7.2.2 Digital Network Technologies 113
7.2.3 Multimedia Communications System 117
7.3 The Informational Technology Industry 117
7.3.1 Production, Domestic Sales and Import/Exports 118
7.3.2 Factors Contributing to the Growth of the IT Industry 119
7.3.3 IT Industry and Korean Economy 121
7.4 E-business in Korea 122
7.4.1 E-business Environment 122
7.4.2 Government Policies 124
7.4.3 Connecting the Globe 125
7.5 Telecommunications Systems 126
7.5.1 Personal Communication Services (PCS) 127
7.5.2 Satellite Communications Technology 127
7.5.3 Digital Mobile Communications Companies 128
7.6 Summary 131
8 Key Korean Electronics Companies 133
8.1 Samsung Corporation 133
8.1.1 Current Organization 133
8.1.2 Products (by Affiliate) 134
8.1.3 Research and Development 139
8.1.4 Alliances 141
8.1.5 Other Overseas Activities 141
8.1.6 Strengths 141
8.1.7 Corporate Culture and Management Philosophy 142
8.1.8 Vision and Strategy for Growth 143
8.1.9 The Samsung Way 144
8.2 Hynix Semicon 147
8.2.1 Main History 147
8.2.2 Organization 149
8.2.3 Compliance and Business Ethics 149
8.2.4 Business Scope 150
8.3 LG Electronics 150
8.3.1 History 151
8.3.2 Business Area and Main Products 152
8.3.3 Research and Development Organization 152
8.3.4 Business Technology 153
8.4 LG Philips Liquid Crystal Display 154
8.4.1 Management Philosophy 154
8.4.2 Vision 154
8.5 Daewoo Electronics Co.Ltd 156
8.5.1 Overseas Activities 156
8.5.2 Technology 157
8.5.3 Marketing 157
8.5.4 Vision 157
8.5.5 Technology for the Future 158
8.6 Anam Semiconductor 160
8.6.1 Strategic Alliance 160
8.6.2 Global Network 160
8.6.3 Business Model 161
8.6.4 Technology Capability 161
8.6.5 Quality and Reliability 163
8.6.6 University and Government Interactions 163
8.6.7 Alliances 163
8.6.8 Technical Road Map 164
8.7 Orion Electric 164
8.7.1 Business Line 165
8.7.2 Global Standard 166
8.7.3 Twenty-first Century Vision 166
8.7.4 R＆D 166
8.8 MK Electron 166
8.8.1 Business and Products 167
8.8.2 Summary 168
8.9 KEC Corporation 168
8.9.1 Products and Quality 170
8.9.2 Overseas Activities 170
8.9.3 Research and Development 171
8.9.4 Vision and Strategies for Growth 172
8.10 Signetics KP Co., Ltd 172
8.10.1 Brief Introduction 173
8.10.2 Major Customers and Competitors 173
8.10.3 Reliability and Failure Analysis 174
8.10.4 Quality 174
8.10.5 Electrical Function Testing Service 174
8.11 Cheil Industry 174
8.11.1 History 175
8.11.2 Business Strategies and Sales Revenue 175
8.12 SK Telecom 178
8.12.1 Overview 178
8.12.2 Strategy for Worldwide Marketing 179
8.12.3 Financial Information 179
8.12.4 Products and Services 181
8.12.5 Network R＆D History in Brief 182
8.13 KT 182
8.13.1 KT Vision 185
8.13.2 Subsidiaries 185
8.13.3 R＆D 187
8.13.4 Globalization of R＆D 187
8.14 Summary 190
9 Key Institutes and Universities Supporting Electronics 191
9.1 Electronics and Telecommunications Research Institute 191
9.1.1 Major R＆D Areas 191
9.1.2 R＆D Strategy 192
9.1.3 Basic and Advanced Research 192
9.2 Korea Institute of Science and Technology (KIST) 193
9.3 Korean Electronics Technology Institute 194
9.3.1 R＆D 195
9.4 Korea Advanced Institute of Science and Technology 197
9.4.1 Branches 197
9.4.2 Electrical Engineering Department 197
9.4.3 Research Centers Supporting the Electronics Industry 198
9.5 Seoul National University 200
9.6 Pohang University of Science and Technology (Postech) 201
9.7 Summary 202
References 205
Index 211
1 General Information 1
1.1 Korean People 1
1.2 Geography 2
ＥＢ
図書
学位
