close
1.

図書

図書
S. Ramesh, G. Sivakumar (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1997  xi, 343 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1346
所蔵情報: loading…
2.

図書

図書
Giuseppe DiBattista (ed.)
出版情報: Berlin : Springer Verlag, c1997  xii, 448 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1353
所蔵情報: loading…
目次情報: 続きを見る
The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions
The topics covered include planarity
crossing theory
three dimensional representations
orthogonal representations
clustering and labeling problems
packing problems
general methodologies
systems and applications
The 33 revised full papers and 10 systems demonstrations presented were selected from 80 submissions
The topics covered include planarity
crossing theory
3.

図書

図書
André Danthine, Christophe Diot, eds
出版情報: Berlin ; New York : Springer, c1997  xii, 180 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1356
所蔵情報: loading…
4.

図書

図書
Roland Chin, Ting-Chuen Pong (eds.)
出版情報: Berlin ; New York : Springer, c1997  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1351-1352
所蔵情報: loading…
目次情報: 続きを見る
The ACCV'98 volumes present together a total of 58
revised full papers and 112
revised posters selected from over 300 submissions
The papers are organized in topical sections on biometry
physics-based vision
color vision
robot vision and navigation
OCR and applications
low-level processing
active vision
face and hand posture recognition
segmentation and grouping
computer vision and virtual reality
motion analysis and object recognition and modeling
The ACCV'98 volumes present together a total of 58
revised full papers and 112
revised posters selected from over 300 submissions
5.

図書

図書
Olaf Burkart
出版情報: Berlin : Springer, c1997  x, 163 p.; 24 cm
シリーズ名: Lecture notes in computer science ; 1354
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Sequential Processes / 1.1:
Model Checking / 1.2:
Equivalence Checking / 1.3:
Organisation of This Book / 1.4:
Background / 2:
Fixpoint Theory / 2.1:
Ordered Sets / 2.2.1:
Fixpoint Theorems / 2.2.2:
Relations and Rewrite Systems / 2.3:
Relations / 2.3.1:
Rewrite Systems / 2.3.2:
Context-Free Languages / 2.4:
Processes and Labelled Transition Graphs / 2.5:
Behavioural Equivalences / 2.5.1:
Normedness and Determinism / 2.5.2:
Context-Free Processes / 2.6:
Syntax and Semantics / 2.6.1:
Normedness / 2.6.2:
Self-bisimulations / 2.6.3:
Pushdown Processes / 3:
Expressiveness / 3.1:
PDPA Laws / 3.4:
Pushdown Normal Form / 3.5:
Parallel Composition / 3.6:
Example / 3.6.1:
Parallel Decomposition and 2-PDNF / 3.7:
Related work / 3.8:
Context-Free Graphs / 3.8.1:
Prefix Transition Graphs / 3.8.2:
Pushdown Transition Graphs / 3.8.3:
Equational graphs / 3.8.4:
MSOL Definable Hypergraphs / 3.8.5:
BPA with the state operator / 3.8.6:
The Modal µ-Calculus / 4:
Syntax / 4.2.1:
Semantics / 4.2.2:
Continuity / 4.2.3:
Alternation Depth / 4.2.4:
Assertion-Based Semantics / 4.3:
A Motivating Example / 4.3.1:
Definition of Assertion-Based Semantics / 4.3.2:
Properties of Assertion-Based Semantics / 4.3.3:
Verifying Behavioural Properties / 4.4:
Hierarchical Equational µ-Formulas / 4.4.1:
The Model Checking Algorithm / 4.4.2:
A Working Example / 4.4.3:
Expressiveness of the modal µ-calculus / 4.5:
The Bisimulation Equivalence Problem / 5:
Separability / 5.3:
Deciding Bisimilarity of Normed BPA / 5.4:
A Bound for Separability / 5.5:
The Algorithm / 5.6:
Bisimulation Bases / 5.6.1:
The Computation of an Initial Base / 5.6.2:
The Branching Algorithm / 5.6.3:
Summary of the Decision Procedure / 5.6.4:
Summary and Perspectives / 6:
Summary of the Main Results / 6.1:
Perspectives / 6.2:
Regularity of Context-Free Processes / 6.2.1:
Index
Introduction / 1:
Sequential Processes / 1.1:
Model Checking / 1.2:
6.

図書

図書
Yuri Okunev
出版情報: Boston : Artech House, c1997  xx, 360 p. ; 24 cm
シリーズ名: The Artech House signal processing library
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Principles of Digital Transmission by Phase-Modulated Signals / Chapter 1:
Digital Transmission System and Modem Functions / 1.1:
Phase and Phase-Difference Modulation / 1.2:
Classification of Methods of Phase-Modulated Signal Receiving / 1.3:
First-Order and Second-Order Phase-Difference Modulation and Invariance Properties / 1.4:
Multiposition Phase-Modulated Signals / 1.5:
Signal-Code Structures Based on Phase-Modulated Signals / 1.6:
References
General Algorithms for PDM Signal Formation and Processing / Chapter 2:
Invariance Property of Signal Discrete-Difference Transformation / 2.1:
General Algorithms for Signal Formation and Processing at a High-Order Difference Modulation / 2.2:
High-Order Phase-Difference Modulation / 2.3:
Optimum Keying Codes for Multiphase PM and PDM Signals / 2.4:
General Algorithms of Demodulation and Decoding of Multiphase PDM Signals / 2.5:
Coherent Processing of PM and PDM Signals / Chapter 3:
Essence and Application of Coherent Processing / 3.1:
Coherent Demodulators of PM Signals / 3.2:
Coherent Demodulators of First-Order PDM Signals / 3.3:
Coherent Reception of High-Order PDM Signals / 3.4:
Coherent Reception of Amplitude-Phase-Modulated Signals / 3.5:
Methods and Units for Selecting Coherent Reference Oscillations (Carrier Recovery Techniques) / 3.6:
Optimum Incoherent Processing of PDM Signals / Chapter 4:
Essence and Application of Incoherent Signal Processing / 4.1:
Optimum Incoherent Reception of First-Order PDM Signals / 4.2:
Modifications of the Optimum Incoherent Demodulators of First-Order PDM Signals / 4.3:
Optimum Incoherent Reception of Second-Order PDM Signals / 4.4:
Optimum Multisymbol Incoherent Reception of PDM Signals / 4.5:
Autocorrelated Processing of PDM Signals / Chapter 5:
Essence and Application of Autocorrelated Signal Processing / 5.1:
Optimum Autocorrelated (Energy) Demodulators of First-Order PDM Signals / 5.2:
Optimum Autocorrelated (Energy) Demodulators of Second-Order PDM Signals / 5.3:
Carrier-Frequency-Invariant Autocorrelated Demodulators of PDM Signals / 5.4:
Autocorrelated Reception of PDM Signals at Fast Variations of a Carrier Frequency / 5.5:
Noise Immunity of Phase and Phase-Difference Modulation Systems / Chapter 6:
Noise Immunity Performance / 6.1:
Foundations of Noise Immunity Theory: Binary PM and PDM Systems / 6.2:
Four-Phase PM and PDM Systems / 6.3:
Multiphase PM and PDM Systems / 6.6:
Carrier-Frequency-Invariant Demodulators of Second-Order PDM Signals / 6.7:
Quasicoherent Reception of Phase and Phase-Difference Modulation Signals / 6.8:
Conclusion
Hilbert Transform / Appendix:
List of Abbreviations and Symbols
Bibliography
About the Author
Index
Preface
Introduction
Principles of Digital Transmission by Phase-Modulated Signals / Chapter 1:
7.

図書

図書
Dennis A. Foster
出版情報: Cambridge ; New York : Cambridge University Press, 1997  viii, 180 p. ; 24 cm
シリーズ名: Cambridge studies in American literature and culture ; 112
所蔵情報: loading…
目次情報: 続きを見る
Introduction: the problem with pleasure / 1:
The sublime community / 2:
Re-Poe Man: Poe's un-American sublime / 3:
Too resurgent: liquidity and consumption in Henry James / 4:
Alphabetic pleasures: The Names / 5:
J. G. Ballard's empire of the senses: perversion and the failure of authority / 6:
Fatal West: W. S. Burrough's perverse destiny / 7:
Conclusion: agency in the perverse / 8:
Notes
Bibliography
Index
Introduction: the problem with pleasure / 1:
The sublime community / 2:
Re-Poe Man: Poe's un-American sublime / 3:
8.

図書

図書
William R. LaCourse
出版情報: New York : J. Wiley, 1997  xvii, 324 p. ; 24 cm
シリーズ名: Techniques in analytical chemistry series
所蔵情報: loading…
目次情報: 続きを見る
Historical Perspective
Electrochemical Fundamentals
Amperometric Detection in HPLC
Pulsed Amperometric Detection in HPLC
Integrated Pulsed Amperometric Detection and Other Advanced Potential-Time Waveforms
Pulsed Voltammetry: Waveform Optimization
Applications of PED
Instrumental Considerations
Future Aspects of PED
Appendices
Index
Historical Perspective
Electrochemical Fundamentals
Amperometric Detection in HPLC
9.

図書

図書
Torsten Schaub
出版情報: Berlin ; New York : Springer, c1997  xi, 159 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1409 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
Ingram Bloch
出版情報: New York : Plenum Press, c1997  x, 317 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Undamped and Undriven Oscillators and LC Circuits
The Effect of Damping
Sinusoidally Driven Oscillators and Circuit Loops
Sums of Sinusoidal Forces or EMF's - Fourier Analysis
Integration in the Complex Plane
Evaluation of Certain Fourier Integrals - Causality, Green's Functions
Electrical Networks
Nonlinear Oscillations
Coupled Oscillators without Damping - Lagrange's Equations
Matrices - Rotations - Eigenvalues and Eigenvectors - Normal Coordinates
Some Examples of Normal Coordinates
Finite One-Dimensional Periodic Systems
Difference Equations
Infinite One-Dimensional Periodic Systems - Characteristic Impedance
Continuous Systems
Wave Equation
Lagrangian Density
Hamilton's Principle
Applied Forces
Interacting Systems
Other Linear Problems
Nonlinear Waves
Answers to Selected Problems
Index
Undamped and Undriven Oscillators and LC Circuits
The Effect of Damping
Sinusoidally Driven Oscillators and Circuit Loops
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼