close
1.

図書
図書
1. Fundamentals and applications of microfluidics
Nam-Trung Nguyen, Steven T. Wereley
出版情報: Boston : Artech House, c2002  xiii, 471 p. ; 24 cm
シリーズ名: MEMS--Microelectromechanical systems series
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Introduction / Chapter 1：
Microfluidics--The Emerging Technology / 1.1：
What Is Microfluidics? / 1.1.1：
Commercial Aspects / 1.1.2：
Scientific Aspects / 1.1.3：
Milestones of Microfluidics / 1.2：
Device Development / 1.2.1：
Technology Development / 1.2.2：
Organization of the Book / 1.3：
References
Fluid Mechanics Theory / Chapter 2：
Intermolecular Forces / 2.1：
The Three States of Matter / 2.1.2：
Continuum Assumption / 2.1.3：
Continuum Fluid Mechanics at Small Scales / 2.2：
Gas Flows / 2.2.1：
Liquid Flows / 2.2.2：
Boundary Conditions / 2.2.3：
Parallel Flows / 2.2.4：
Low Reynolds Number Flows / 2.2.5：
Entrance Effects / 2.2.6：
Surface Tension / 2.2.7：
Molecular Approaches / 2.3：
MD / 2.3.1：
DSMC Technique / 2.3.2：
Electrokinetics / 2.4：
Electro-Osmosis / 2.4.1：
Electrophoresis / 2.4.2：
Dielectrophoresis / 2.4.3：
Conclusion / 2.5：
Problems
Fabrication Techniques for Microfluidics / Chapter 3：
Basic Microtechniques / 3.1：
Photolithography / 3.1.1：
Additive Techniques / 3.1.2：
Subtractive Techniques / 3.1.3：
Pattern Transfer Techniques / 3.1.4：
Silicon-Based Micromachining Techniques / 3.2：
Silicon Bulk Micromachining / 3.2.1：
Silicon Surface Micromachining / 3.2.2：
Polymer-Based Micromachining Techniques / 3.3：
Thick Resist Lithography / 3.3.1：
Polymeric Surface Micromachining / 3.3.2：
Soft Lithography / 3.3.3：
Microstereo Lithography / 3.3.4：
Micromolding / 3.3.5：
Other Micromachining Techniques / 3.4：
Assembly and Packaging of Microfluidic Devices / 3.4.1：
Wafer Level Assembly and Packaging / 3.5.1：
Device Level Packaging / 3.5.2：
Biocompatibility / 3.6：
Material Response / 3.6.1：
Tissue and Cellular Response / 3.6.2：
Biocompatibility Tests / 3.6.3：
Experimental Flow Characterization / Chapter 4：
Pointwise Methods / 4.1：
Full-Field Methods / 4.1.2：
Overview of Micro-PIV / 4.2：
Fundamental Physics Considerations of Micro-PIV / 4.2.1：
Special Processing Methods for Micro-PIV Recordings / 4.2.2：
Advanced Processing Methods Suitable for Both Micro/Macro-PIV Recordings / 4.2.3：
Micro-PIV Examples / 4.3：
Flow in a Microchannel / 4.3.1：
Flow in a Micronozzle / 4.3.2：
Flow Around a Blood Cell / 4.3.3：
Flow in Microfluidic Biochip / 4.3.4：
Conclusions / 4.3.5：
Extensions of the Micro-PIV technique / 4.4：
Microfluidic Nanoscope / 4.4.1：
Microparticle Image Thermometry / 4.4.2：
Infrared Micro-PIV / 4.4.3：
Particle Tracking Velocimetry / 4.4.4：
Microfluidics for External Flow Control / Chapter 5：
Velocity and Turbulence Measurement / 5.1：
Velocity Sensors / 5.1.1：
Shear Stress Sensors / 5.1.2：
Turbulence Control / 5.2：
Microflaps / 5.2.1：
Microballoon / 5.2.2：
Microsynthetic Jet / 5.2.3：
Microair Vehicles / 5.3：
Fixed-Wing MAV / 5.3.1：
Flapping-Wing MAV / 5.3.2：
Microrotorcraft / 5.3.3：
Microrockets / 5.3.4：
Microfluidics for Internal Flow Control: Microvalves / Chapter 6：
Design Considerations / 6.1：
Actuators / 6.1.1：
Valve Spring / 6.1.2：
Valve Seat / 6.1.3：
Pressure Compensation Design / 6.1.4：
Pneumatic Valves / 6.2：
Pneumatic Actuators / 6.2.1：
Design Examples / 6.2.2：
Thermopneumatic Valves / 6.3：
Thermopneumatic Actuators / 6.3.1：
Thermomechanical Valves / 6.3.2：
Solid-Expansion Valves / 6.4.1：
Bimetallic Valves / 6.4.2：
Shape-Memory Alloy Valves / 6.4.3：
Piezoelectric Valves / 6.5：
Piezoelectric Actuators / 6.5.1：
Electrostatic Valves / 6.5.2：
Electrostatic Actuators / 6.6.1：
Electromagnetic Valves / 6.6.2：
Electromagnetic Actuators / 6.7.1：
Electrochemical Valves / 6.7.2：
Capillary-Force Valves / 6.9：
Capillary-Force Actuators / 6.9.1：
Microfluidics for Internal Flow Control: Micropumps / 6.9.2：
Mechanical Pumps / 7.1：
Check-Valve Pumps / 7.1.1：
Peristaltic Pumps / 7.1.3：
Valveless Rectification Pumps / 7.1.4：
Rotary Pumps / 7.1.5：
Centrifugal Pumps / 7.1.6：
Ultrasonic Pumps / 7.1.7：
Nonmechanical Pumps / 7.2：
Electrical Pumps / 7.2.1：
Surface Tension Driven Pumps / 7.2.2：
Chemical Pumps / 7.2.3：
Magnetic Pumps / 7.2.4：
Scaling Law for Micropumps / 7.3：
Microfluidics for Internal Flow Control: Microflow Sensors / Chapter 8：
Nonthermal Flow Sensors / 8.1：
Differential Pressure Flow Sensors / 8.1.1：
Drag Force Flow Sensors / 8.1.2：
Lift Force Flow Sensors / 8.1.3：
Coriolis Flow Sensors / 8.1.4：
Electrohydrodynamic Flow Sensors / 8.1.5：
Thermal Flow Sensors / 8.2：
Thermoresistive Flow Sensors / 8.2.1：
Thermocapacitive Flow Sensors / 8.2.3：
Thermoelectric Flow Sensors / 8.2.4：
Thermoelectronic Flow Sensors / 8.2.5：
Pyroelectric Flow Sensors / 8.2.6：
Frequency Analog Sensors / 8.2.7：
Microfluidics for Life Sciences and Chemistry / Chapter 9：
Microfilters / 9.1：
Microneedles / 9.1.1：
Micromixers / 9.2.1：
Microreactors / 9.3.1：
Microdispensers / 9.4.1：
Microseparators / 9.5.1：
Gas Chromatography / 9.6.1：
Liquid Chromatography / 9.6.3：
List of Symbols / 9.6.4：
Resources for Microfluidics Research / Appendix B：
Abbreviations of Different Plastics / Appendix C：
Linear Elastic Deflection Models / Appendix D：
About the Authors
Index
Preface
Acknowledgments
Introduction / Chapter 1：
2.

図書
図書
2. Polymer solutions : an introduction to physical properties
Iwao Teraoka
出版情報: New York : Wiley, c2002  xv, 338 p ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Models of Polymer Chains / 1：
Introduction / 1.1：
Chain Architecture / 1.1.1：
Models of a Linear Polymer Chain / 1.1.2：
Real Chains and Ideal Chains / 1.1.3：
Ideal Chains / 1.2：
Random Walk in One Dimension / 1.2.1：
Random Walks in Two and Three Dimensions / 1.2.2：
Dimensions of Random-Walk Chains / 1.2.3：
Problems / 1.2.4：
Gaussian Chain / 1.3：
What is a Gaussian Chain? / 1.3.1：
Dimension of a Gaussian Chain / 1.3.2：
Entropy Elasticity / 1.3.3：
Real Chains / 1.3.4：
Excluded Volume / 1.4.1：
Dimension of a Real Chain / 1.4.2：
Self-Avoiding Walk / 1.4.3：
Semirigid Chains / 1.4.4：
Examples of Semirigid Chains / 1.5.1：
Wormlike Chain / 1.5.2：
Branched Chains / 1.5.3：
Architecture of Branched Chains / 1.6.1：
Dimension of Branched Chains / 1.6.2：
Molecular Weight Distribution / 1.6.3：
Average Molecular Weights / 1.7.1：
Typical Distributions / 1.7.2：
Concentration Regimes / 1.7.3：
Concentration Regimes for Linear Flexible Polymers / 1.8.1：
Concentration Regimes for Rodlike Molecules / 1.8.2：
Thermodynamics of Dilute Polymer Solutions / 1.8.3：
Polymer Solutions and Thermodynamics / 2.1：
Flory-Huggins Mean-Field Theory / 2.2：
Model / 2.2.1：
Free Energy, Chemical Potentials, and Osmotic Pressure / 2.2.2：
Dilute Solutions / 2.2.3：
Coexistence Curve and Stability / 2.2.4：
Polydisperse Polymer / 2.2.5：
Phase Diagram and Theta Solutions / 2.2.6：
Phase Diagram / 2.3.1：
Theta Solutions / 2.3.2：
Coil-Globule Transition / 2.3.3：
Solubility Parameter / 2.3.4：
Static Light Scattering / 2.3.5：
Sample Geometry in Light-Scattering Measurements / 2.4.1：
Scattering by a Small Particle / 2.4.2：
Scattering by a Polymer Chain / 2.4.3：
Scattering by Many Polymer Chains / 2.4.4：
Correlation Function and Structure Factor / 2.4.5：
Structure Factor of a Polymer Chain / 2.4.6：
Light Scattering of a Polymer Solution / 2.4.7：
Other Scattering Techniques / 2.4.8：
Size Exclusion Chromatography and Confinement / 2.4.9：
Separation System / 2.5.1：
Plate Theory / 2.5.2：
Partitioning of Polymer with a Pore / 2.5.3：
Calibration of SEC / 2.5.4：
SEC With an On-Line Light-Scattering Detector / 2.5.5：
Appendixes / 2.5.6：
Review of Thermodynamics for Colligative Properties in Nonideal Solutions / 2.A：
Osmotic Pressure / 2.A.1：
Vapor Pressure Osmometry / 2.A.2：
Another Approach to Thermodynamics of Polymer Solutions / 2.B：
Correlation Function of a Gaussian Chain / 2.C：
Dynamics of Dilute Polymer Solutions / 3：
Dynamics of Polymer Solutions / 3.1：
Dynamic Light Scattering and Diffusion of Polymers / 3.2：
Measurement System and Autocorrelation Function / 3.2.1：
Autocorrelation Function / 3.2.2：
Dynamic Structure Factor of Suspended Particles / 3.2.3：
Diffusion of Particles / 3.2.4：
Diffusion and DLS / 3.2.5：
Dynamic Structure Factor of a Polymer Solution / 3.2.6：
Hydrodynamic Radius / 3.2.7：
Particle Sizing / 3.2.8：
Diffusion From Equation of Motion / 3.2.9：
Diffusion as Kinetics / 3.2.10：
Concentration Effect on Diffusion / 3.2.11：
Diffusion in a Nonuniform System / 3.2.12：
Viscosity / 3.2.13：
Viscosity of Solutions / 3.3.1：
Measurement of Viscosity / 3.3.2：
Intrinsic Viscosity / 3.3.3：
Flow Field / 3.3.4：
Normal Modes / 3.3.5：
Rouse Model / 3.4.1：
Normal Coordinates / 3.4.2：
Equation of Motion for the Normal Coordinates in the Rouse Model / 3.4.3：
Results of the Normal-Coordinates / 3.4.4：
Results for the Rouse Model / 3.4.5：
Zimm Model / 3.4.6：
Dynamic Structure Factor / 3.4.7：
Motion of Monomers / 3.4.9：
Dynamics of Rodlike Molecules / 3.4.10：
Diffusion Coefficients / 3.5.1：
Rotational Diffusion / 3.5.2：
Dynamics of Wormlike Chains / 3.5.3：
Appendices / 3.5.6：
Evaluation of [left angle bracket]q[subscript i superscript 2 right angle bracket subscript eq] / 3.A：
Evaluation of [left angle bracket]exp[ik [middle dot] (Aq - Bp) right angle bracket] / 3.B：
Initial Slope of S[subscript 1](k,t) / 3.C：
Thermodynamics and Dynamics of Semidilute Solutions / 4：
Semidilute Polymer Solutions / 4.1：
Thermodynamics of Semidilute Polymer Solutions / 4.2：
Blob Model / 4.2.1：
Scaling Theory and Semidilute Solutions / 4.2.2：
Partitioning with a Pore / 4.2.3：
Dynamics of Semidilute Solutions / 4.2.4：
Cooperative Diffusion / 4.3.1：
Tube Model and Reptation Theory / 4.3.2：
References / 4.3.3：
Further Readings
Delta Function / A1：
Fourier Transform / A2：
Integrals / A3：
Series / A4：
Index
Preface
Models of Polymer Chains / 1：
Introduction / 1.1：
3.

図書
図書
3. Computational contact and impact mechanics : fundamentals of modeling interfacial phenomena in nonlinear finite element analysis
Tod A. Laursen
出版情報: Berlin ; Tokyo : Springer, c2002  xv, 454 p. ; 24 cm
シリーズ名: Engineering online library
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1：
Scope of this Monograph / 1.1：
Useful Background for this Presentation / 1.2：
Overview / 1.3：
Finite Element Formulations in Nonlinear Solid Mechanics / 2：
Initial/Boundary Value Problems in the Kinematically Lin-ear Regime / 2.1：
Strong Form of the EBVP / 2.1.1：
Weak Form of the IBVP / 2.1.2：
The IBVP in the Finite Strain Case / 2.2：
Notation and Problem Formulation / 2.2.1：
Finite Strain Kinematics / 2.2.2：
Stress Definitions Appropriate for Large Deformations / 2.2.3：
Frame Indifference / 2.2.4：
The Strong Form in Finite Strains / 2.2.5：
The Weak Form in Finite Strains / 2.2.6：
Finite Element Discretization / 2.3：
Discretized Weak Form; Generation of Discrete Non-linear Equations / 2.3.1：
Discrete Nonlinear Equations for the Kinematically Linear Case / 2.3.2：
Solution Strategies for Spatially Discrete Systems / 2.4：
Quasistatics and Incremental Load Methods / 2.4.1：
Dynamics and Global Time Stepping Procedures / 2.4.2：
Local (Constitutive) Time Stepping Procedures / 2.4.3：
Nonlinear Equation Solving / 2.4.4：
Consistent Algorithmic Linearization of Material Re-sponse / 2.4.5：
The Kinematically Linear Contact Problem / 3：
Strong Forms in Linearized Frictionless Contact / 3.1：
The Signorini Problem: Contact with a Rigid Obstacle / 3.1.1：
The Two Body Contact Problem / 3.1.2：
Weak Statements of the Contact Problem / 3.2：
Variational Inequalities / 3.2.1：
The Quasistatic Elastic Case: Contact as a Problem of Constrained Optimization / 3.2.2：
Methods of Constraint Enforcement / 3.3：
Classical Lagrange Multiplier Methods / 3.3.1：
Penalty Methods / 3.3.2：
Augmented Lagrangian Methods / 3.3.3：
Inclusion of Friction into the Problem Description / 3.4：
Friction Kinematics and Traction Measures / 3.4.1：
Unregularized Coulomb Friction Laws / 3.4.2：
Regularization of Friction / 3.4.3：
Variational Statements Including Friction / 3.4.4：
Nonlocal Frictional Descriptions / 3.4.5：
Continuum Mechanics of Large Deformation Contact / 4：
Two Body Contact Problem Definition / 4.1：
Local Momentum Balances / 4.1.1：
Initial and Boundary Conditions / 4.1.2：
Contact Constraints in Large Deformations / 4.2：
The Gap Function as Defined by Closest Point Projection / 4.2.1：
Frictional Kinematics on Interfaces / 4.2.2：
Frame Indifference of Contact Rate Variables / 4.2.3：
Coulomb Friction in Large Sliding / 4.2.4：
Summary: Strong Form of the Large Deformation Contact Problem / 4.3：
Virtual Work Expressions Incorporating Contact / 4.4：
Contact Virtual Work: The Contact Integral / 4.4.1：
Linearization of Contact Virtual Work / 4.4.2：
Summary: Weak Form of the Large Deformation Con-tact Problem / 4.4.3：
Finite Element Implementation of Contact Interaction / 5：
Finite Dimensional Representation of Contact Interaction / 5.1：
Contact Surface Discretization / 5.1.1：
Numerical Integration of the Contact Integral / 5.1.2：
Contact Detection (Searching) / 5.1.3：
Time Discretization / 5.2：
Global time integration schemes / 5.2.1：
Temporally Discrete Frictional Laws for the Penalty Regularized Case / 5.2.2：
Contact Stiffness and Residual: Penalty Regularized Case / 5.3：
Three dimensional matrix expressions / 5.3.1：
Two dimensional matrix expressions / 5.3.2：
Augmented Lagrangian Constraint Enforcement Algorithms / 5.4：
Uzawa's Method (Method of Multipliers) / 5.4.1：
Algorithmic Symmetrization Using Augmented La-grangians / 5.4.2：
Augmented Lagrangian Discrete Force and Stiffness Expressions / 5.4.3：
Numerical Examples / 5.5：
General Demonstrations of the Computational Frame-work / 5.5.1：
Demonstrations of Augmented Lagrangian Algorith-mic Performance / 5.5.2：
Tribological Complexity in Interface Constitutive Models / 6：
Rate and State Dependent Friction / 6.1：
Motivation / 6.1.1：
One Dimensional Model Development / 6.1.2：
Model Incorporation into Convective Slip Advected Frame / 6.1.3：
Local Time Stepping Algorithm / 6.1.4：
Contact Force Vector and Stiffness Matrix / 6.1.5：
Thermomechanically Coupled Friction on Interfaces / 6.1.6：
Thermally Coupled Problem Definition / 6.2.1：
A Thermodynamically Consistent Friction Model / 6.2.3：
Variational Principle and Finite Element Implemen-tation / 6.2.4：
Thermodynamical Algorithmic Consistency / 6.2.5：
Constitutive Framework for Bulk Continua / 6.3.1：
Thermomechanical Interface Model Framework / 6.3.2：
A Priori Stability Estimates for Dynamic Frictional Contact / 6.3.3：
A New Partitioned Scheme for Thermomechanical Contact / 6.3.4：
Algorithmic Treatment of Contact Conditions According to the Adiabatic Split / 6.3.5：
Energy-Momentum Approaches to Impact Mechanics / 7：
Energy Stability of Traditional Schemes / 7.1：
A Model System / 7.1.1：
The Concept of Energy Stability / 7.1.2：
Influence of Contact Constraints on System Energy / 7.1.3：
Energy-Momentum Methods for Elastodynamics / 7.2：
Conservation Laws / 7.2.1：
Conservative Discretization Schemes / 7.2.2：
Energy-Momentum Algorithmic Treatment of Prictionless Impact / 7.3：
Discrete Contact Constraints / 7.3.1：
Spatial Discretization and Implementation / 7.3.2：
Introduction of Frictional and Bulk Dissipation: Energy Con-sistency / 7.3.3：
Coulomb Friction Model Formulation / 7.4.1：
Local Split of the Coulomb Model / 7.4.2：
Algorithmic Formulation / 7.4.3：
Energy Consistent Treatment of Bulk Inelasticity / 7.4.4：
Numerical Examples With Friction and Inelasticity / 7.4.5：
EM Algorithms Involving a Discontinuous Velocity Update / 7.5：
Temporally Discontinuous Velocity Update / 7.5.1：
Reexamination of Conservation Conditions / 7.5.2：
Contact Constraints / 7.5.3：
Summary of the Algorithm / 7.5.4：
Emerging Paradigms for Contact Surface Discretization / 7.5.5：
Contact Smoothing / 8.1：
An Alternative Variational Framework / 8.1.1：
Smoothing Strategies in Two Dimensions / 8.1.2：
Smoothing Strategies in Three Dimensions / 8.1.3：
Mortar-Finite Element Methods for Contact Description / 8.1.4：
Tied Contact and the Role of Mortar Formulations in Convergence / 8.2.1：
A Mortar-Finite Element Formulation of Frictional Contact / 8.2.2：
Numerical Examples of Mortar Treatment of Frictional Contact / 8.2.3：
References
Index
Preface
Introduction / 1：
Scope of this Monograph / 1.1：
4.

図書
図書
4. Number theory for computing. 2nd ed.
Song Y. Yan ; foreword by Martin E. Hellman
出版情報: Berlin : Springer-Verlag, c2002  xxii, 435 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Elementary Number Theory / 1：
Introduction / 1.1：
What is Number Theory? / 1.1.1：
Algebraic Preliminaries / 1.1.2：
Theory of Divisibility / 1.2：
Basic Properties of Divisibility / 1.2.1：
Fundamental Theorem of Arithmetic / 1.2.2：
Mersenne Primes and Fermat Numbers / 1.2.3：
Euclid's Algorithm / 1.2.4：
Continued Fractions / 1.2.5：
Diophantine Equations / 1.3：
Basic Concepts of Diophantine Equations / 1.3.1：
Linear Diophantine Equations / 1.3.2：
Pell's Equations / 1.3.3：
Arithmetic Functions / 1.4：
Multiplicative Functions / 1.4.1：
Functions ?(n), ?(n) and s(n) / 1.4.2：
Perfect, Amicable and Sociable Numbers / 1.4.3：
Functions ?(n), ?(n) and ?(n) / 1.4.4：
Distribution of Prime Numbers / 1.5：
Prime Distribution Function ?(x) / 1.5.1：
Approximations of ?(x) by x/ ln x / 1.5.2：
Approximations of ?(x) by Li(x) / 1.5.3：
The Riemann ?-Function ?(s) / 1.5.4：
The nth Prime / 1.5.5：
Distribution of Twin Primes / 1.5.6：
The Arithmetic Progression of Primes / 1.5.7：
Theory of Congruences / 1.6：
Basic Properties of Congruences / 1.6.1：
Modular Arithmetic / 1.6.2：
Linear Congruences / 1.6.3：
The Chinese Remainder Theorem / 1.6.4：
High-Order Congruences / 1.6.5：
Legendre and Jacobi Symbols / 1.6.6：
Orders and Primitive Roots / 1.6.7：
Indices and kth Power Residues / 1.6.8：
Arithmetic of Elliptic Curves / 1.7：
Basic Concepts of Elliptic Curves / 1.7.1：
Geometric Composition Laws of Elliptic Curves / 1.7.2：
Algebraic Computation Laws for Elliptic Curves / 1.7.3：
Group Laws on Elliptic Curves / 1.7.4：
Number of Points on Elliptic Curves / 1.7.5：
Bibliographic Notes and Further Reading / 1.8：
Algorithmic Number Theory / 2：
What is Algorithmic Number Theory? / 2.1：
E ective Computability / 2.1.2：
Computational Complexity / 2.1.3：
Complexity of Number-Theoretic Algorithms / 2.1.4：
Fast Modular Exponentiations / 2.1.5：
Fast Group Operations on Elliptic Curves / 2.1.6：
Algorithms for Primality Testing / 2.2：
Deterministic and Rigorous Primality Tests / 2.2.1：
Fermat's Pseudoprimality Test / 2.2.2：
Strong Pseudoprimality Test / 2.2.3：
Lucas Pseudoprimality Test / 2.2.4：
Elliptic Curve Test / 2.2.5：
Historical Notes on Primality Testing / 2.2.6：
Algorithms for Integer Factorization / 2.3：
Complexity of Integer Factorization / 2.3.1：
Trial Division and Fermat Method / 2.3.2：
Legendre's Congruence / 2.3.3：
Continued FRACtion Method (CFRAC) / 2.3.4：
Quadratic and Number Field Sieves (QS/NFS) / 2.3.5：
Polland's "rho" and "p - 1" Methods / 2.3.6：
Lenstra's Elliptic Curve Method (ECM) / 2.3.7：
Algorithms for Discrete Logarithms / 2.4：
Shanks' Baby-Step Giant-Step Algorithm / 2.4.1：
Silver{Pohlig{Hellman Algorithm / 2.4.2：
Subexponential Algorithms / 2.4.3：
Algorithm for the Root Finding Problem / 2.4.4：
Quantum Number-Theoretic Algorithms / 2.5：
Quantum Information and Computation / 2.5.1：
Quantum Computability and Complexity / 2.5.2：
Quantum Algorithm for Integer Factorization / 2.5.3：
Quantum Algorithms for Discrete Logarithms / 2.5.4：
Miscellaneous Algorithms in Number Theory / 2.6：
Algorithms for Computing ?(x) / 2.6.1：
Algorithms for Generating Amicable Pairs / 2.6.2：
Algorithms for Verifying Goldbach's Conjecture / 2.6.3：
Algorithm for Finding Odd Perfect Numbers / 2.6.4：
Applied Number Theory / 2.7：
Why Applied Number Theory? / 3.1：
Computer Systems Design / 3.2：
Representing Numbers in Residue Number Systems / 3.2.1：
Fast Computations in Residue Number Systems / 3.2.2：
Residue Computers / 3.2.3：
Complementary Arithmetic / 3.2.4：
Hashing Functions / 3.2.5：
Error Detection and Correction Methods / 3.2.6：
Random Number Generation / 3.2.7：
Cryptography and Information Security / 3.3：
Secret-Key Cryptography / 3.3.1：
Data/Advanced Encryption Standard (DES/AES) / 3.3.3：
Public-Key Cryptography / 3.3.4：
Discrete Logarithm Based Cryptosystems / 3.3.5：
RSA Public-Key Cryptosystem / 3.3.6：
Quadratic Residuosity Cryptosystems / 3.3.7：
Elliptic Curve Public-Key Cryptosystems / 3.3.8：
Digital Signatures / 3.3.9：
Digital Signature Algorithm/Standard (DSA/DSS) / 3.3.10：
Database Security / 3.3.11：
Secret Sharing / 3.3.12：
Internet/Web Security and Electronic Commerce / 3.3.13：
Steganography / 3.3.14：
Quantum Cryptography / 3.3.15：
Bibliography / 3.4：
Index
Elementary Number Theory / 1：
Introduction / 1.1：
What is Number Theory? / 1.1.1：
5.

図書
図書
5. Internet-based workflow management : toward a semantic web
Dan C. Marinescu
出版情報: New York : Wiley, c2002  xxiv, 627 p. ; 25 cm
シリーズ名: Wiley series on parallel and distributed computing
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acronyms
Internet-Based Workflows / 1：
Workflows and the Internet / 1.1：
Historic Perspective / 1.1.1：
Enabling Technologies / 1.1.2：
Nomadic, Network-Centric, and Network-Aware Computing / 1.1.3：
Information Grids; the Semantic Web / 1.1.4：
Workflow Management in a Semantic Web / 1.1.5：
Informal Introduction to Workflows / 1.2：
Assembly of a Laptop / 1.2.1：
Computer Scripts / 1.2.2：
A Metacomputing Example / 1.2.3：
Automatic Monitoring and Benchmarking of Web Services / 1.2.4：
Lessons Learned / 1.2.5：
Workflow Reference Model / 1.3：
Workflows and Database Management Systems / 1.4：
Database Transactions / 1.4.1：
Workflow Products / 1.4.2：
Internet Workflow Models / 1.5：
Basic Concepts / 1.5.1：
The Life Cycle of a Workflow / 1.5.2：
States, Events, and Transition Systems / 1.5.3：
Safe and Live Processes / 1.5.4：
Transactional versus Internet-Based Workflows / 1.6：
Workflow Patterns / 1.7：
Workflow Enactment / 1.8：
Task Activation and States / 1.8.1：
Workflow Enactment Models / 1.8.2：
Workflow Coordination / 1.9：
Challenges of Dynamic Workflows / 1.10：
Further Reading / 1.11：
Exercises and Problems / 1.12：
References
Basic Concepts and Models / 2：
Introduction / 2.1：
System Models / 2.1.1：
Functional and Dependability Attributes / 2.1.2：
Major Concerns in the Design of a Distributed System / 2.1.3：
Information Transmission and Communication Channel Models / 2.2：
Channel Bandwidth and Latency / 2.2.1：
Entropy and Mutual Information / 2.2.2：
Binary Symmetric Channels / 2.2.3：
Information Encoding / 2.2.4：
Channel Capacity: Shannon's Theorems / 2.2.5：
Error Detecting and Error Correcting Codes / 2.2.6：
Final Remarks on Communication Channel Models / 2.2.7：
Process Models / 2.3：
Processes and Events / 2.3.1：
Local and Global States / 2.3.2：
Process Coordination / 2.3.3：
Time, Time Intervals, and Global Time / 2.3.4：
Cause-Effect Relationship, Concurrent Events / 2.3.5：
Logical Clocks / 2.3.6：
Message Delivery to Processes / 2.3.7：
Process Algebra / 2.3.8：
Final Remarks on Process Models / 2.3.9：
Synchronous and Asynchronous Message Passing System Models / 2.4：
Time and the Process Channel Model / 2.4.1：
Synchronous Systems / 2.4.2：
Asynchronous Systems / 2.4.3：
Final Remarks on Synchronous and Asynchronous Systems / 2.4.4：
Monitoring Models / 2.5：
Runs / 2.5.1：
Cuts; the Frontier of a Cut / 2.5.2：
Consistent Cuts and Runs / 2.5.3：
Causal History / 2.5.4：
Consistent Global States and Distributed Snapshots / 2.5.5：
Monitoring and Intrusion / 2.5.6：
Quantum Computing, Entangled States, and Decoherence / 2.5.7：
Examples of Monitoring Systems / 2.5.8：
Final Remarks on Monitoring / 2.5.9：
Reliability and Fault Tolerance Models. Reliable Collective Communication / 2.6：
Failure Modes / 2.6.1：
Redundancy / 2.6.2：
Broadcast and Multicast / 2.6.3：
Properties of a Broadcast Algorithm / 2.6.4：
Broadcast Primitives / 2.6.5：
Terminating Reliable Broadcast and Consensus / 2.6.6：
Resource Sharing, Scheduling, and Performance Models / 2.7：
Process Scheduling in a Distributed System / 2.7.1：
Objective Functions and Scheduling Policies / 2.7.2：
Real-Time Process Scheduling / 2.7.3：
Queuing Models: Basic Concepts / 2.7.4：
The M/M/1 Queuing Model / 2.7.5：
The M/G/1 System: The Server with Vacation / 2.7.6：
Network Congestion Example / 2.7.7：
Final Remarks Regarding Resource Sharing and Performance Models / 2.7.8：
Security Models / 2.8：
Basic Terms and Concepts / 2.8.1：
An Access Control Model / 2.8.2：
Challenges in Distributed Systems / 2.9：
Concurrency / 2.9.1：
Mobility of Data and Computations / 2.9.2：
Net Models of Distributed Systems and Workflows / 2.10：
Informal Introduction to Petri Nets / 3.1：
Basic Definitions and Notations / 3.2：
Modeling with Place/Transition Nets / 3.3：
Conflict/Choice, Synchronization, Priorities, and Exclusion / 3.3.1：
State Machines and Marked Graphs / 3.3.2：
Marking Independent Properties of P/T Nets / 3.3.3：
Marking Dependent Properties of P/T Nets / 3.3.4：
Petri Net Languages / 3.3.5：
State Equations / 3.4：
Properties of Place/Transition Nets / 3.5：
Coverability Analysis / 3.6：
Applications of Stochastic Petri Nets to Performance Analysis / 3.7：
Stochastic Petri Nets / 3.7.1：
Informal Introduction to SHLPNs / 3.7.2：
Formal Definition of SHLPNs / 3.7.3：
Compound Marking of an SHLPN / 3.7.4：
Modeling and Performance Analysis of a Multiprocessor System Using SHLPNs / 3.7.5：
Performance Analysis / 3.7.6：
Modeling Horn Clauses with Petri Nets / 3.8：
Workflow Modeling with Petri Nets / 3.9：
Basic Models / 3.9.1：
Branching Bisimilarity / 3.9.2：
Dynamic Workflow Inheritance / 3.9.3：
Internet Quality of Service / 3.10：
Brief Introduction to Networking / 4.1：
Layered Network Architecture and Communication Protocols / 4.1.1：
Internet Applications and Programming Abstractions / 4.1.2：
Messages and Packets / 4.1.3：
Encapsulation and Multiplexing / 4.1.4：
Circuit and Packet Switching. Virtual Circuits and Datagrams / 4.1.5：
Networking Hardware / 4.1.6：
Routing Algorithms and Wide Area Networks / 4.1.7：
Local Area Networks / 4.1.8：
Residential Access Networks / 4.1.9：
Forwarding in Packet-Switched Network / 4.1.10：
Protocol Control Mechanisms / 4.1.11：
Internet Addressing / 4.2：
Internet Address Encoding / 4.2.1：
Subnetting / 4.2.2：
Classless IP Addressing / 4.2.3：
Address Mapping, the Address Resolution Protocol / 4.2.4：
Static and Dynamic IP Address Assignment / 4.2.5：
Packet Forwarding in the Internet / 4.2.6：
Tunneling / 4.2.7：
Wireless Communication and Host Mobility in Internet / 4.2.8：
Internet Routing and the Protocol Stack / 4.2.9：
Autonomous Systems. Hierarchical Routing / 4.3.1：
Firewalls and Network Security / 4.3.2：
IP, the Internet Protocol / 4.3.3：
ICMP, the Internet Control Message Protocol / 4.3.4：
UDP, the User Datagram Protocol / 4.3.5：
TCP, the Transport Control Protocol / 4.3.6：
Congestion Control in TCP / 4.3.7：
Routing Protocols and Internet Traffic / 4.3.8：
Quality of Service / 4.4：
Service Guarantees and Service Models / 4.4.1：
Flows / 4.4.2：
Resource Allocation in the Internet / 4.4.3：
Best-Effort Service Networks / 4.4.4：
Buffer Acceptance Algorithms / 4.4.5：
Explicit Congestion Notification (ECN) in TCP / 4.4.6：
Maximum and Minimum Bandwidth Guarantees / 4.4.7：
Delay Guarantees and Packet Scheduling Strategies / 4.4.8：
Constrained Routing / 4.4.9：
Resource Reservation Protocol (RSVP) / 4.4.10：
Integrated Services / 4.4.11：
Differentiated Services / 4.4.12：
Final Remarks on Internet QoS / 4.4.13：
From Ubiquitous Internet Services to Open Systems / 4.5：
The Client-Server Paradigm / 5.1：
Internet Directory Service / 5.3：
Electronic Mail / 5.4：
Overview / 5.4.1：
Simple Mail Transfer Protocol / 5.4.2：
Multipurpose Internet Mail Extensions / 5.4.3：
Mail Access Protocols / 5.4.4：
The World Wide Web / 5.5：
HTTP Communication Model / 5.5.1：
Hypertext Transfer Protocol (HTTP) / 5.5.2：
Web Server Response Time / 5.5.3：
Web Caching / 5.5.4：
Nonpersistent and Persistent HTTP Connections / 5.5.5：
Web Server Workload Characterization / 5.5.6：
Scalable Web Server Architecture / 5.5.7：
Web Security / 5.5.8：
Reflections on the Web / 5.5.9：
Multimedia Services / 5.6：
Sampling and Quantization; Bandwidth Requirements for Digital Voice, Audio, and Video Streams / 5.6.1：
Delay and Jitter in Data Streaming / 5.6.2：
Data Streaming / 5.6.3：
Real-Time Protocol and Real-Time Streaming Protocol / 5.6.4：
Audio and Video Compression / 5.6.5：
Open Systems / 5.7：
Resource Management, Discovery and Virtualization, and Service Composition in an Open System / 5.7.1：
Mobility / 5.7.2：
Network Objects / 5.7.3：
Java Virtual Machine and Java Security / 5.7.4：
Remote Method Invocation / 5.7.5：
Jini / 5.7.6：
Information Grids / 5.8：
Resource Sharing and Administrative Domains / 5.8.1：
Services in Information Grids / 5.8.2：
Service Coordination / 5.8.3：
Computational Grids / 5.8.4：
Coordination and Software Agents / 5.9：
Coordination and Autonomy / 6.1：
Coordination Models / 6.2：
Coordination Techniques / 6.3：
Coordination Based on Scripting Languages / 6.3.1：
Coordination Based on Shared-Data Spaces / 6.3.2：
Coordination Based on Middle Agents / 6.3.3：
Software Agents / 6.4：
Software Agents as Reactive Programs / 6.4.1：
Reactivity and Temporal Continuity / 6.4.2：
Persistence of Identity and State / 6.4.3：
Autonomy / 6.4.4：
Inferential Ability / 6.4.5：
Mobility, Adaptability, and Knowledge-Level Communication Ability / 6.4.6：
Internet Agents / 6.5：
Agent Communication / 6.6：
Agent Communication Languages / 6.6.1：
Speech Acts and Agent Communication Language Primitives / 6.6.2：
Knowledge Query and Manipulation Language / 6.6.3：
FIPA Agent Communication Language / 6.6.4：
Software Engineering Challenges for Agents / 6.7：
Knowledge Representation, Inference, and Planning / 6.8：
Software Agents and Knowledge Representation / 7.1：
Software Agents as Reasoning Systems / 7.2.1：
Knowledge Representation Languages / 7.2.2：
Propositional Logic / 7.3：
Syntax and Semantics of Propositional Logic / 7.3.1：
Inference in Propositional Logic / 7.3.2：
First-Order Logic / 7.4：
Syntax and Semantics of First-Order Logic / 7.4.1：
Applications of First-Order Logic / 7.4.2：
Changes, Actions, and Events / 7.4.3：
Inference in First-Order Logic / 7.4.4：
Building a Reasoning Program / 7.4.5：
Knowledge Engineering / 7.5：
Knowledge Engineering and Programming / 7.5.1：
Ontologies / 7.5.2：
Automatic Reasoning Systems / 7.6：
Forward- and Backward-Chaining Systems / 7.6.1：
Frames - The Open Knowledge Base Connectivity / 7.6.3：
Metadata / 7.6.4：
Planning / 7.7：
Problem Solving and State Spaces / 7.7.1：
Problem Solving and Planning / 7.7.2：
Partial-Order and Total-Order Plans / 7.7.3：
Planning Algorithms / 7.7.4：
Summary / 7.8：
Middleware for Process Coordination: A Case Study / 7.9：
The Core / 8.1：
The Objects / 8.1.1：
Communication Architecture / 8.1.2：
Understanding Messages / 8.1.3：
Security / 8.1.4：
The Agents / 8.2：
The Bond Agent Model / 8.2.1：
Communication and Control. Agent Internals / 8.2.2：
Agent Description / 8.2.3：
Agent Transformations / 8.2.4：
Agent Extensions / 8.2.5：
Applications of the Framework / 8.3：
Adaptive Video Service / 8.3.1：
Web Server Monitoring and Benchmarking / 8.3.2：
Agent-Based Workflow Management / 8.3.3：
Other Applications / 8.3.4：
Glossary / 8.4：
Index
Preface
Acronyms
Internet-Based Workflows / 1：
6.

図書
図書
6. Statistical inference. 2nd ed
George Casella, Roger L. Berger
出版情報: Belmont, Calif. : Brooks/Cole, c2002  xxviii, 660 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Probability Theory / 1：
Set Theory / 1.1：
Basics of Probability Theory / 1.2：
Axiomatic Foundations / 1.2.1：
The Calculus of Probabilities / 1.2.2：
Counting / 1.2.3：
Enumerating Outcomes / 1.2.4：
Conditional Probability and Independence / 1.3：
Random Variables / 1.4：
Distribution Functions / 1.5：
Density and Mass Functions / 1.6：
Exercises / 1.7：
Miscellanea / 1.8：
Transformations and Expectations / 2：
Distributions of Functions of a Random Variable / 2.1：
Expected Values / 2.2：
Moments and Moment Generating Functions / 2.3：
Differentiating Under an Integral Sign / 2.4：
Common Families of Distributions / 2.5：
Introduction / 3.1：
Discrete Distributions / 3.2：
Continuous Distributions / 3.3：
Exponential Families / 3.4：
Location and Scale Families / 3.5：
Inequalities and Identities / 3.6：
Probability Inequalities / 3.6.1：
Identities / 3.6.2：
Multiple Random Variables / 3.7：
Joint and Marginal Distributions / 4.1：
Conditional Distributions and Independence / 4.2：
Bivariate Transformations / 4.3：
Hierarchical Models and Mixture Distributions / 4.4：
Covariance and Correlation / 4.5：
Multivariate Distributions / 4.6：
Inequalities / 4.7：
Numerical Inequalities / 4.7.1：
Functional Inequalities / 4.7.2：
Properties of a Random Sample / 4.8：
Basic Concepts of Random Samples / 5.1：
Sums of Random Variables from a Random Sample / 5.2：
Sampling from the Normal Distribution / 5.3：
Properties of the Sample Mean and Variance / 5.3.1：
The Derived Distributions: Student's t and Snedecor's F / 5.3.2：
Order Statistics / 5.4：
Convergence Concepts / 5.5：
Convergence in Probability / 5.5.1：
Almost Sure Convergence / 5.5.2：
Convergence in Distribution / 5.5.3：
The Delta Method / 5.5.4：
Generating a Random Sample / 5.6：
Direct Methods / 5.6.1：
Indirect Methods / 5.6.2：
The Accept/Reject Algorithm / 5.6.3：
Principles of Data Reduction / 5.7：
The Sufficiency Principle / 6.1：
Sufficient Statistics / 6.2.1：
Minimal Sufficient Statistics / 6.2.2：
Ancillary Statistics / 6.2.3：
Sufficient, Ancillary, and Complete Statistics / 6.2.4：
The Likelihood Principle / 6.3：
The Likelihood Function / 6.3.1：
The Formal Likelihood Principle / 6.3.2：
The Equivariance Principle / 6.4：
Point Estimation / 6.5：
Methods of Finding Estimators / 7.1：
Method of Moments / 7.2.1：
Maximum Likelihood Estimators / 7.2.2：
Bayes Estimators / 7.2.3：
The EM Algorithm / 7.2.4：
Methods of Evaluating Estimators / 7.3：
Mean Squared Error / 7.3.1：
Best Unbiased Estimators / 7.3.2：
Sufficiency and Unbiasedness / 7.3.3：
Loss Function Optimality / 7.3.4：
Hypothesis Testing / 7.4：
Methods of Finding Tests / 8.1：
Likelihood Ratio Tests / 8.2.1：
Bayesian Tests / 8.2.2：
Union-Intersection and Intersection-Union Tests / 8.2.3：
Methods of Evaluating Tests / 8.3：
Error Probabilities and the Power Function / 8.3.1：
Most Powerful Tests / 8.3.2：
Sizes of Union-Intersection and Intersection-Union Tests / 8.3.3：
p-Values / 8.3.4：
Interval Estimation / 8.3.5：
Methods of Finding Interval Estimators / 9.1：
Inverting a Test Statistic / 9.2.1：
Pivotal Quantities / 9.2.2：
Pivoting the CDF / 9.2.3：
Bayesian Intervals / 9.2.4：
Methods of Evaluating Interval Estimators / 9.3：
Size and Coverage Probability / 9.3.1：
Test-Related Optimality / 9.3.2：
Bayesian Optimality / 9.3.3：
Asymptotic Evaluations / 9.3.4：
Consistency / 10.1：
Efficiency / 10.1.2：
Calculations and Comparisons / 10.1.3：
Bootstrap Standard Errors / 10.1.4：
Robustness / 10.2：
The Mean and the Median / 10.2.1：
M-Estimators / 10.2.2：
Asymptotic Distribution of LRTs / 10.3：
Other Large-Sample Tests / 10.3.2：
Approximate Maximum Likelihood Intervals / 10.4：
Other Large-Sample Intervals / 10.4.2：
Analysis of Variance and Regression / 10.5：
Oneway Analysis of Variance / 11.1：
Model and Distribution Assumptions / 11.2.1：
The Classic ANOVA Hypothesis / 11.2.2：
Inferences Regarding Linear Combinations of Means / 11.2.3：
The ANOVA F Test / 11.2.4：
Simultaneous Estimation of Contrasts / 11.2.5：
Partitioning Sums of Squares / 11.2.6：
Simple Linear Regression / 11.3：
Least Squares: A Mathematical Solution / 11.3.1：
Best Linear Unbiased Estimators: A Statistical Solution / 11.3.2：
Models and Distribution Assumptions / 11.3.3：
Estimation and Testing with Normal Errors / 11.3.4：
Estimation and Prediction at a Specified x = x[subscript 0] / 11.3.5：
Simultaneous Estimation and Confidence Bands / 11.3.6：
Regression Models / 11.4：
Regression with Errors in Variables / 12.1：
Functional and Structural Relationships / 12.2.1：
A Least Squares Solution / 12.2.2：
Maximum Likelihood Estimation / 12.2.3：
Confidence Sets / 12.2.4：
Logistic Regression / 12.3：
The Model / 12.3.1：
Estimation / 12.3.2：
Robust Regression / 12.4：
Computer Algebra / 12.5：
Table of Common Distributions
References
Author Index
Subject Index
Probability Theory / 1：
Set Theory / 1.1：
Basics of Probability Theory / 1.2：
7.

図書
図書
7. Design of digital video coding systems : a complete compressed domain approach
Jie Chen, Ut-Va Koc, K.J. Ray Liu
出版情報: New York : Marcel Dekker, c2002  xv, 475 p. ; 24 cm
シリーズ名: Signal processing and communications series ; 12
所蔵情報: loading…
目次情報: 続きを見る
Series Introduction
Preface
Background and Standards / Part I：
Video Communications / 1：
Importance of Video Compression / 1.1：
Advances in Video Coding / 1.2：
Waveform-Based Video Coding / 1.2.1：
Model-Based Video Coding / 1.2.2：
Motion-Compensated DCT Video Coding / 2：
Basic Principles of Motion Compensated Transform Coding / 2.1：
Picture Formats / 2.2：
Color Spaces and Sample Positions / 2.3：
Layers in Video Stream / 2.4：
Intraframe Block-Based Coding / 2.5：
Spatial Decorrelation Through DCT / 2.5.1：
Exploitation of Visual Insensitivity Through Quantization / 2.5.2：
Lossless Compression Through Entropy Codin / 2.5.3：
Interframe Block-Based Coding / 2.6：
Block-Based Motion Estimation Algorithms / 2.6.1：
Block-Based Motion Compensation / 2.6.2：
Coding DCT Coefficients in Interframes / 2.6.3：
Motion-Compensated DCT Video Encoder and Decoder / 2.7：
Fully DCT-Based Motion-Compensated Video Coder Structure / 2.8：
Video Coding Standards / 3：
Overview of Video Coding Standards / 3.1：
JPEG Standards / 3.1.1：
ITU H series / 3.1.2：
MPEG Standards / 3.1.3：
H.261 / 3.2：
H.263 / 3.2.2：
MPEG-1 / 3.2.3：
MPEG-2 (H.262) and HDTV / 3.2.4：
MPEG-4 / 3.2.5：
Algorithms / Part II：
DCT-Based Motion Estimation / 4：
DCT Pseudo-Phase Techniques / 4.1：
2-D Translational Motion Model / 4.2：
The DXT-ME Algorithm / 4.3：
Unitary Property of the System Matrix / 4.4：
Motion Estimation in Uniformly Bright Background / 4.5：
Computational Issues and Complexity / 4.6：
Simulation for Application to Image Registration / 4.7：
DCT-Based Motion Estimation Approach / 4.8：
Preprocessing / 4.8.1：
Adaptive Overlapping Approach / 4.8.2：
Simulation Results / 4.9：
Rough Count of Computations / 4.10：
Interpolation-Free Subpixel Motion Estimation / 5：
Pseudo Phases at Subpixel Level / 5.1：
One-Dimensional Signal Model / 5.1.1：
Two-Dimensional Image Model / 5.1.2：
Subpel Sinusoidal Orthogonality Principles / 5.2：
DCT-Based Subpixel Motion Estimation / 5.3：
DCT-Based Half-Pel Motion Estimation Algorithm (HDXT-ME) / 5.3.1：
DCT-Based Quarter-Pel Motion Estimation Algorithm (QDXT-ME and Q4DXT-ME) / 5.3.2：
Simulation Result / 5.4：
DCT-Based Motion Compensation / 6：
Integer-Pel DCT-Based Motion Compensation / 6.1：
Subpixel DCT-Based Motion Compensation / 6.2：
Interpolation Filter / 6.2.1：
Bilinear Interpolated Subpixel Motion Compensation / 6.2.2：
Cubic Interpolated Subpixel Motion Compensation / 6.2.3：
Interpolation By DCT/DST / 6.2.4：
DCT-I Interpolated Sequence / 6.3.1：
DCT-II of DCT-I Interpolated Half-Pel Motion Compensated Block / 6.3.2：
Matching Encoders with Decoders / 6.4：
Matching SE with SD / 6.4.1：
Matching TE with SD / 6.4.2：
Matching SE with TD / 6.4.3：
MPEG-4 and Content-Based Video Coding / 7：
Overview of MPEG-4 Standard / 7.1：
MPEG-4 Architecture / 7.1.1：
MPEG-4 Video Coding / 7.2：
Overview of MPEG-4 Video Coding / 7.2.1：
Arbitrarily Shaped Region Texture Coding / 7.2.2：
Motion Estimation and Compensation / 7.2.3：
Arbitrary Shape Coding / 7.2.4：
Advanced Coding Techniques / 7.2.5：
Deliver Video Bitstream over Networks / 7.3：
Rate Control / 7.3.1：
Error Resilience / 7.3.2：
Universal Accessibility / 7.3.3：
DCT-Domain Content-Based Video Coding / 7.4：
Transform Domain Motion Estimation/Compensation / 7.4.1：
Architectures and Implementation / 7.4.2：
Dual Generation of DCT and DST / 8：
Discrete Sinusoidal Transforms / 8.1：
Evolution of the Algorithms and Architectures / 8.1.1：
What Is Unique in Our Design? / 8.1.2：
One-Dimensional DCT Lattice Structures / 8.2：
Inverse Transforms / 8.2.1：
Multiplier-Reduction of the Lattice Structure / 8.2.3：
Comparisons of Architectures / 8.2.4：
Two-Dimensional DCT Lattice Structures / 8.3：
Dual Generation of 2-D DCT and DSCT / 8.3.1：
Architectures of Frame-Recursive Lattice 2D-DCT and 2-D DSCT / 8.3.3：
Comparisons / 8.3.4：
Applications to the HDTV Systems / 8.3.5：
Efficient Design of Video Coding Engine / 9：
Overview of Embedded Video Coding Engine / 9.1：
Overview of an Embedded Video Coder Design / 9.1.1：
Efficient Architecture of a Video Coding Engine / 9.2：
Why Should We Use CORDIC-Based Design? / 9.2.1：
2D-DXT/IDXT-II Programmable Module / 9.2.2：
Type Transformation Module / 9.2.3：
Pseudo-Phase Computation / 9.2.4：
Peak Searching / 9.2.5：
Half-Pel Motion Estimator Design / 9.2.6：
VLSI Design of Video Coding Engine / 9.2.7：
Design Criteria / 9.3.1：
VLSI Implementation / 9.3.2：
Low-Power and High-Performance Design / 10：
Low-Power Design / 10.1：
Low-Power Design Approaches / 10.1.1：
Algorithm/Architecture-Based Low-Power/High-Performance Approaches / 10.1.2：
Look-Ahead and Multirate Computing Concepts / 10.1.3：
Low-Power and High-Performance Architectures / 10.2：
Two-Stage Look-Ahead Type-II DCT/IDCT Coder / 10.2.1：
Pipelining Design for DCT Coefficients Conversion / 10.2.2：
Multirate Design for Pseudo-Phase Computation / 10.2.3：
Pipelining Design for Peak-Search / 10.2.4：
Two-Stage Look-Ahead Half-Pel Motion Estimator / 10.2.5：
Simulation Results and Hardware Cost / 10.3：
Applications / Part IV：
End-to-End Video over IP Delivery / 11：
Overview of Our Design / 11.1：
A Sonet Network Adapter Design / 11.1.1：
Joint Source-Channel Multistream Coding / 11.1.2：
The Brief Overview of Sonet / 11.2：
Packet over Sonet or Directly over Fiber / 11.2.2：
Design and Implement a Sonet Network Adapter / 11.2.3：
The Performance of Sonet Device / 11.2.4：
Multistream Video Coding / 11.3：
What is Unique in the Multistream Video Coding? / 11.3.1：
The Design of Multistream Video Coding / 11.3.2：
Bibliography / 11.4：
Index
Series Introduction
Preface
Background and Standards / Part I：
8.

図書
図書
8. Modern VLSI design : system-on-chip design/ Wayne Wolf. 3rd ed
Wolf, Wayne Hendrix
出版情報: Upper Saddle River, N.J. ; London : Prentice Hall PTR, c2002  xx, 618 p. ; 24 cm
シリーズ名: Modern semiconductor design series
所蔵情報: loading…
目次情報: 続きを見る
Preface to the Third Edition
Preface to the Second Edition
Preface
Digital Systems and VLSI / 1：
Why Design Integrated Circuits? / 1.1：
Integrated Circuit Manufacturing / 1.2：
Technology / 1.2.1：
Economics / 1.2.2：
CMOS Technology / 1.3：
CMOS Circuit Techniques / 1.3.1：
Power Consumption / 1.3.2：
Design and Testability / 1.3.3：
Integrated Circuit Design Techniques / 1.4：
Hierarchical Design / 1.4.1：
Design Abstraction / 1.4.2：
Computer-Aided Design / 1.4.3：
A Look into the Future / 1.5：
Transistors and Layout / 2：
Introduction / 2.1：
Fabrication Processes / 2.2：
Overview / 2.2.1：
Fabrication Steps / 2.2.2：
Transistors / 2.3：
Structure of the Transistor / 2.3.1：
A Simple Transistor Model / 2.3.2：
Transistor Parasitics / 2.3.3：
Tub Ties and Latchup / 2.3.4：
Advanced Transistor Characteristics / 2.3.5：
Leakage and Subthreshold Currents / 2.3.6：
Advanced Transistor Structures / 2.3.7：
Spice Models / 2.3.8：
Wires and Vias / 2.4：
Wire Parasitics / 2.4.1：
Skin Effect in Copper Interconnect / 2.4.2：
Design Rules / 2.5：
Fabrication Errors / 2.5.1：
Scalable Design Rules / 2.5.2：
SCMOS Design Rules / 2.5.3：
Typical Process Parameters / 2.5.4：
Layout Design and Tools / 2.6：
Layouts for Circuits / 2.6.1：
Stick Diagrams / 2.6.2：
Hierarchical Stick Diagrams / 2.6.3：
Layout Design and Analysis Tools / 2.6.4：
Automatic Layout / 2.6.5：
Logic Gates / 3：
Combinational Logic Functions / 3.1：
Static Complementary Gates / 3.3：
Gate Structures / 3.3.1：
Basic Gate Layouts / 3.3.2：
Logic Levels / 3.3.3：
Delay and Transition Time / 3.3.4：
The Speed-Power Product / 3.3.5：
Layout and Parasitics / 3.3.7：
Driving Large Loads / 3.3.8：
Switch Logic / 3.4：
Alternative Gate Circuits / 3.5：
Pseudo-nMOS Logic / 3.5.1：
DCVS Logic / 3.5.2：
Domino Logic / 3.5.3：
Low-Power Gates / 3.6：
Delay Through Resistive Interconnect / 3.7：
Delay Through an RC Transmission Line / 3.7.1：
Delay Through RC Trees / 3.7.2：
Buffer Insertion in RC Transmission Lines / 3.7.3：
Crosstalk Between RC Wires / 3.7.4：
Delay Through Inductive Interconnect / 3.8：
RLC Basics / 3.8.1：
RLC Transmission Line Delay / 3.8.2：
Buffer Insertion in RLC Transmission Lines / 3.8.3：
Combinational Logic Networks / 4：
Standard Cell-Based Layout / 4.1：
Single-Row Layout Design / 4.2.1：
Standard Cell Layout Design / 4.2.2：
Simulation / 4.3：
Combinational Network Delay / 4.4：
Fanout / 4.4.1：
Path Delay / 4.4.2：
Transistor Sizing / 4.4.3：
Automated Logic Optimization / 4.4.4：
Logic and Interconnect Design / 4.5：
Delay Modeling / 4.5.1：
Wire Sizing / 4.5.2：
Buffer Insertion / 4.5.3：
Crosstalk Minimization / 4.5.4：
Power Optimization / 4.6：
Power Analysis / 4.6.1：
Switch Logic Networks / 4.7：
Combinational Logic Testing / 4.8：
Gate Testing / 4.8.1：
Combinational Network Testing / 4.8.2：
Sequential Machines / 5：
Latches and Flip-Flops / 5.1：
Categories of Memory Elements / 5.2.1：
Latches / 5.2.2：
Flip-Flops / 5.2.3：
Sequential Systems and Clocking Disciplines / 5.3：
One-Phase Systems for Flip-Flops / 5.3.1：
Two-Phase Systems for Latches / 5.3.2：
Advanced Clocking Analysis / 5.3.3：
Clock Generation / 5.3.4：
Sequential System Design / 5.4：
Structural Specification of Sequential Machines / 5.4.1：
State Transition Graphs and Tables / 5.4.2：
State Assignment / 5.4.3：
Design Validation / 5.5：
Sequential Testing / 5.7：
Subsystem Design / 6：
Subsystem Design Principles / 6.1：
Pipelining / 6.2.1：
Data Paths / 6.2.2：
Combinational Shifters / 6.3：
Adders / 6.4：
ALUs / 6.5：
Multipliers / 6.6：
High-Density Memory / 6.7：
ROM / 6.7.1：
Static RAM / 6.7.2：
The Three-Transistor Dynamic RAM / 6.7.3：
The One-Transistor Dynamic RAM / 6.7.4：
Field-Programmable Gate Arrays / 6.8：
Programmable Logic Arrays / 6.9：
Floorplanning / 7：
Floorplanning Methods / 7.1：
Block Placement and Channel Definition / 7.2.1：
Global Routing / 7.2.2：
Switchbox Routing / 7.2.3：
Power Distribution / 7.2.4：
Clock Distribution / 7.2.5：
Floorplanning Tips / 7.2.6：
Off-Chip Connections / 7.2.7：
Packages / 7.3.1：
The I/O Architecture / 7.3.2：
Pad Design / 7.3.3：
Architecture Design / 8：
Hardware Description Languages / 8.1：
Modeling with Hardware Description Languages / 8.2.1：
VHDL / 8.2.2：
Verilog / 8.2.3：
C as a Hardware Description Language / 8.2.4：
Register-Transfer Design / 8.3：
Data Path-Controller Architectures / 8.3.1：
ASM Chart Design / 8.3.2：
High-Level Synthesis / 8.4：
Functional Modeling Programs / 8.4.1：
Data / 8.4.2：
Control / 8.4.3：
Data and Control / 8.4.4：
Design Methodology / 8.4.5：
Architectures for Low Power / 8.5：
Architecture-Driven Voltage Scaling / 8.5.1：
Power-Down Modes / 8.5.2：
Systems-on-Chips and Embedded CPUs / 8.6：
Architecture Testing / 8.7：
Chip Design / 9：
Design Methodologies / 9.1：
Kitchen Timer Chip / 9.3：
Timer Specification and Architecture / 9.3.1：
Logic and Layout Design / 9.3.2：
Microprocessor Data Path / 9.3.4：
Data Path Organization / 9.4.1：
Clocking and Bus Design / 9.4.2：
CAD Systems and Algorithms / 9.4.3：
CAD Systems / 10.1：
Switch-Level Simulation / 10.3：
Layout Synthesis / 10.4：
Placement / 10.4.1：
Detailed Routing / 10.4.2：
Layout Analysis / 10.5：
Timing Analysis and Optimization / 10.6：
Logic Synthesis / 10.7：
Technology-Independent Logic Optimization / 10.7.1：
Technology-Dependent Logic Optimizations / 10.7.2：
Test Generation / 10.8：
Sequential Machine Optimizations / 10.9：
Scheduling and Binding / 10.10：
Hardware/Software Co-Design / 10.11：
Chip Designer's Lexicon / A：
Chip Design Projects / B：
Class Project Ideas / B.1：
Project Proposal and Specification / B.2：
Design Plan / B.3：
Design Checkpoints and Documentation / B.4：
Subsystems Check / B.4.1：
First Layout Check / B.4.2：
Project Completion / B.4.3：
Kitchen Timer Model / C：
Hardware Modeling in C / C.1：
Simulator / C.1.1：
Sample Execution / C.1.2：
Index
Preface to the Third Edition
Preface to the Second Edition
Preface
9.

図書
図書
9. Graphical models : methods for data analysis and mining
Christian Borgelt and Rudolf Kruse
出版情報: Chichester : J. Wiley, c2002  viii, 358 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1：
Data and Knowledge / 1.1：
Knowledge Discovery and Data Mining / 1.2：
The KDD Process / 1.2.1：
Data Mining Tasks / 1.2.2：
Data Mining Methods / 1.2.3：
Graphical Models / 1.3：
Outline of this Book / 1.4：
Imprecision and Uncertainty / 2：
Modeling Inferences / 2.1：
Imprecision and Relational Algebra / 2.2：
Uncertainty and Probability Theory / 2.3：
Possibility Theory and the Context Model / 2.4：
Experiments with Dice / 2.4.1：
The Context Model / 2.4.2：
The Insufficient Reason Principle / 2.4.3：
Overlapping Contexts / 2.4.4：
Mathematical Formalization / 2.4.5：
Normalization and Consistency / 2.4.6：
Possibility Measures / 2.4.7：
Mass Assignment Theory / 2.4.8：
Degrees of Possibility for Decision Making / 2.4.9：
Conditional Degrees of Possibility / 2.4.10：
Open Problems / 2.4.11：
Decomposition / 3：
Decomposition and Reasoning / 3.1：
Relational Decomposition / 3.2：
A Simple Example / 3.2.1：
Reasoning in the Simple Example / 3.2.2：
Decomposability of Relations / 3.2.3：
Tuple-Based Formalization / 3.2.4：
Possibility-Based Formalization / 3.2.5：
Conditional Possibility and Independence / 3.2.6：
Probabilistic Decomposition / 3.3：
Factorization of Probability Distributions / 3.3.1：
Conditional Probability and Independence / 3.3.4：
Possibilistic Decomposition / 3.4：
Transfer from Relational Decomposition / 3.4.1：
Conditional Degrees of Possibility and Independence / 3.4.2：
Possibility versus Probability / 3.5：
Graphical Representation / 4：
Conditional Independence Graphs / 4.1：
Axioms of Conditional Independence / 4.1.1：
Graph Terminology / 4.1.2：
Separation in Graphs / 4.1.3：
Dependence and Independence Maps / 4.1.4：
Markov Properties of Graphs / 4.1.5：
Graphs and Decompositions / 4.1.6：
Markov Networks and Bayesian Networks / 4.1.7：
Evidence Propagation in Graphs / 4.2：
Propagation in Polytrees / 4.2.1：
Join Tree Propagation / 4.2.2：
Other Evidence Propagation Methods / 4.2.3：
Computing Projections / 5：
Databases of Sample Cases / 5.1：
Relational and Sum Projections / 5.2：
Expectation Maximization / 5.3：
Maximum Projections / 5.4：
Computation via the Support / 5.4.1：
Computation via the Closure / 5.4.3：
Experimental Results / 5.4.4：
Limitations / 5.4.5：
Naive Classifiers / 6：
Naive Bayes Classifiers / 6.1：
The Basic Formula / 6.1.1：
Relation to Bayesian Networks / 6.1.2：
A Naive Possibilistic Classifier / 6.1.3：
Classifier Simplification / 6.3：
Learning Global Structure / 6.4：
Principles of Learning Global Structure / 7.1：
Learning Relational Networks / 7.1.1：
Learning Probabilistic Networks / 7.1.2：
Learning Possibilistic Networks / 7.1.3：
Components of a Learning Algorithm / 7.1.4：
Evaluation Measures / 7.2：
General Considerations / 7.2.1：
Notation and Presuppositions / 7.2.2：
Relational Evaluation Measures / 7.2.3：
Probabilistic Evaluation Measures / 7.2.4：
Possibilistic Evaluation Measures / 7.2.5：
Search Methods / 7.3：
Exhaustive Graph Search / 7.3.1：
Guided Random Graph Search / 7.3.2：
Conditional Independence Search / 7.3.3：
Greedy Search / 7.3.4：
Learning Local Structure / 7.4：
Local Network Structure / 8.1：
Inductive Causation / 8.2：
Correlation and Causation / 9.1：
Causal and Probabilistic Structure / 9.2：
Stability and Latent Variables / 9.3：
The Inductive Causation Algorithm / 9.4：
Critique of the Underlying Assumptions / 9.5：
Evaluation / 9.6：
Applications / 10：
Application in Telecommunications / 10.1：
Application at Volkswagen / 10.2：
Application at Daimler Chrysler / 10.3：
Proofs of Theorems / A：
Proof of Theorem 4.1.2 / A.1：
Proof of Theorem 4.1.18 / A.2：
Proof of Theorem 4.1.20 / A.3：
Proof of Theorem 4.1.22 / A.4：
Proof of Theorem 4.1.24 / A.5：
Proof of Theorem 4.1.26 / A.6：
Proof of Theorem 4.1.27 / A.7：
Proof of Theorem 5.4.8 / A.8：
Proof of Theorem 7.3.2 / A.9：
Proof of Lemma 7.2.2 / A.10：
Proof of Lemma 7.2.4 / A.11：
Proof of Lemma 7.2.6 / A.12：
Proof of Theorem 7.3.4 / A.13：
Proof of Theorem 7.3.5 / A.14：
Proof of Theorem 7.3.6 / A.15：
Proof of Theorem 7.3.8 / A.16：
Software Tools / B：
Bibliography
Index
Preface
Introduction / 1：
Data and Knowledge / 1.1：
10.

図書
図書
10. Handbook of organopalladium chemistry for organic synthesis (v. 1 ; v. 2)
edited by Ei-ichi Negishi ; A. de Meijere, associate editor ; editorial board, J.E. Bäckvall ... [et al.]
出版情報: New York ; Chichester : Wiley, c2002  2 v. (xxxv, 3279 p.) ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Contributors
Abbreviations
Volume 1
Introduction And Background / I：
Historical Background of Organopalladium Chemistry / Ei-ichi NegishiI.1：
Fundamental Properties of Palladium and Patterns of the Reactions of Palladium and Its Complexes / I.2：
Palladium Compounds: Stoichiometric Preparation, In Situ Generation, And Some Physical And Chemical Properties / II：
Background for Part II 39 / II.1：
Pd(0) and Pd(II) Compounds without Carbon-Palladium Bonds / II.2：
Metallic Palladium and Its Mixtures / II 2.1：
Palladium Complexes Containing Halogen and Oxygen Ligands / II 2.2：
Pd(0) and Pd(II) Complexes Containing Phosphorus and Other Group 15 Atom Ligands / Danietilde;le ChoueiryII 2.3：
Pd(0) and Pd(II) Complexes Containing Sulfur and Selenium Ligands / Kunio HiroiII 2.4：
Hydridopalladium Complexes / King Kuok (Mimi)Hii)II 2.5：
Palladium Complexes Containing Metal Ligands / Koichiro Oshima)II 2.6：
Chiral Pd(0) and Pd(II) Complexes / Masamichi Ogasawara ; Tamio HayashiII 2.7：
Organopalladium Compounds Containing Pd(0) and Pd(II) / II.3：
General Discussion of the Methods of Synthesis and in-Situ Generation of Organopalladium Compounds / II 3.1：
Stoichiometric Synthesis and Some Notable Properties of Organopalladium Compounds of Pd(0) and Pd(II) / II 3.2：
Palladium Complexes Containing Pd(I), Pd(III), or Pd(IV) / Allan J. CantyII.4：
Palladium-Catalyzed Reactions Involving Reductive Elimination / III：
Background for Part III / III 1：
Palladium-Catalyzed Carbon-Carbon Cross-Coupling / III 2：
Overview of the Negishi Protocol with Zn, Al, Zr, and Related Metals / III 2.1：
Overview of the Suzuki Protocol with B / Akira SuzukiIII 2.2：
Overview of the Stille Protocol with Sn / Masanori Kosugi ; Keigo FugamiIII 2.3：
Overview of Other Palladium-Catalyzed Cross-Coupling Protocols / Tamejiro Hiyama ; Eiji ShirakawaIII 2.4：
Palladium-Catalyzed Aryl-Aryl Coupling / Luigi AnastasiaIII 2.5：
Palladium-Catalyzed Alkenyl-Aryl, Aryl-Alkenyl, and Alkenyl-Alkenyl Coupling Reactions / Shouquan HuoIII 2.6：
Heteroaromatics via Palladium-Catalyzed Cross-Coupling / Kjell UndheimIII 2.7：
Palladium-Catalyzed Alkynylation / III 2.8：
Sonogashira Alkyne Synthesis / Kenkichi SonogashiraIII 2.8.1：
Palladium-Catalyzed Alkynylation with Alkynylmetals and Alkynyl Electrophiles / Carding XuIII 2.8.2：
Palladium-Catalyzed Cross-Coupling between Allyl, Benzyl, or Propargyl Groups and Unsaturated Groups / Fang LiuIII 2.9：
Palladium-Catalyzed Cross-Coupling between Allyl-, Benzyl-, or Propargylmetals and Allyl, Benzyl, or Propargyl Electrophiles / Baiqiao LiaoIII 2.10：
Palladium-Catalyzed Cross-Coupling Involving Alkylmetals or Alkyl Electrophiles / III 2.11：
Palladium-Catalyzed Cross-Coupling Involving Saturated Alkylmetals / Sebastien GagneurIII 2.11.1：
Reactions between Homoallyl-, Homopropargyl-, or Homobenzylmetals and Alkenyl or Aryl Electrophiles / Fanxing ZengIII 2.11.2：
Palladium-Catalyzed Cross-Coupling Involving alpha;-Hetero-Substituted Organic Electrophiles / III 2.12：
Palladium-Catalyzed Cross-Coupling with Acyl Halides and Related Electrophiles / Takumichi SugiharaIII 2.12.1：
Palladium-Catalyzed Cross-Coupling with Other alpha;-Hetero-Substituted Organic Electrophiles / III 2.12.2：
Palladium-Catalyzed Cross-Coupling Involving alpha;-Hetero-Substituted Organometals / III 2.13：
Palladium-Catalyzed Cross-Coupling Involving Metal Cyanides / Kentaro TakagiIII 2.13.1：
Other alpha;-Hetero-Substitu / III 2.13.2：
Preface
Contributors
Abbreviations
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼