close
1.

図書

図書
Larry Wall, Tom Christiansen, Randal L. Schwartz共著 ; 近藤嘉雪訳
出版情報: 東京 : オライリー・ジャパン , 東京 : オーム社 (発売), 1997.12  xxvii, 759p ; 24cm
所蔵情報: loading…
2.

図書

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

図書

図書
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
4.

図書

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

図書

図書
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
6.

図書

図書
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:
7.

図書

図書
三井物産貿易経済研究所著
出版情報: 東京 : 日本能率協会マネジメントセンター, 1997.12  308p ; 20cm
所蔵情報: loading…
8.

図書

図書
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:
9.

図書

図書
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:
10.

図書

図書
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼