close
1.

図書

図書
R.F. Churchhouse
出版情報: Cambridge : Cambridge University Press, 2002  x, 240 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Some aspects of secure communication
Julius Caesar's cipher
Some basic definitions
Three stages to decrytion: identification, breaking and setting
Codes and ciphers
Assessing the strength of a cipher system
Error detecting and correcting codes
Other methods of concealing messages
Modular arithmetic
Modular addition and subtraction of letters
Gender
End matter
From Julius Caesar to simple substitution / 2:
Julius Caesar ciphers and their solution
Simple substitution ciphers
How to solve a simple substitution cipher
Letter frequencies in languages other than English
How many letters are needed to solve a simple substitution cipher?
Polyalphabetic systems / 3:
Strengthening Julius Caesar: Vigenere ciphers
How to solve a Vigenere cipher
Indicators
Depths
Recognising 'depths'
How much text do we need to solve a Vigenere cipher?
Jefferson's cylinder
Jigsaw ciphers / 4:
Transpositions
Simple transposition
Double transposition
Other forms of transposition
Assessment of the security of transposition ciphers
Double encipherment in general
Two-letter ciphers / 5:
Monograph to digraph
MDTM ciphers
Digraph to digraph
Playfair encipherment
Playfair decipherment
Cryptanalytic aspects of Playfair
Double Playfair
Codes / 6:
Characteristics of codes
One-part and two-part codes
Code plus additive
Ciphers for spies / 7:
Stencil ciphers
Book ciphers
Letter frequencies in book ciphers
Solving a book cipher
Disastrous errors in using a book cipher
'Garbo"s ciphers
One-time pad
Producing random numbers and letters / 8:
Random sequences
Producing random sequences
Coin spinning
Throwing dice
Lottery type draws
Cosmic rays
Amplifier noise
Pseudo-random sequences
Linear recurrences
Using a binary stream of key for encipherment
Binary linear sequences as key generators
Cryptanalysis of a linear recurrence
Improving the security of binary keys
Pseudo-random number generators
The mid-square method
Linear congruential generators
The Enigma cipher machine / 9:
Historical background
The original Enigma
Encipherment using wired wheels
Encipherment by the Enigma
The Enigma plugboard
The Achilles heel of the Enigma
The indicator 'chains' in the Enigma
Aligning the chains
Identifying R1 and its setting
Doubly enciphered Enigma messages
The Abwehr Enigma
The Hagelin cipher machine / 10:
Structure of the Hagelin machine
Encipherment on the Hagelin
Choosing the cage for the Hagelin
The theoretical 'work factor' for the Hagelin
Solving the Hagelin from a stretch of key
Additional features of the Hagelin machine
The slide
Identifying the slide in a cipher message
Overlapping
Solving the Hagelin from cipher texts only
Beyond the Enigma / 11:
The SZ42: a pre-electronic machine
Description of the SZ42 machine
Encipherment on the SZ42
Breaking and setting the SZ42
Modifications to the SZ42
Public key cryptography / 12:
Security issues
Protection of programs and data
Encipherment of programs, data and messages
The key distribution problem
The Diffie-Hellman key exchange system
Strength of the Diffie-Hellman system
Encipherment and the internet / 13:
Generalisation of simple substitution
Factorisation of large integers
The standard method of factorisation
Fermat's 'Little Theorem'
The Fermat-Euler Theorem (as needed in the RSA system)
Encipherment and decipherment keys in the RSA system
The encipherment and decipherment processes in the RSA system
How does the key-owner reply to correspondents?
The Data Encryption Standard (DES)
Security of the DES
Chaining
Implementation of the DES
Using both RSA and DES
A salutary note
Beyond the DES
Authentication and signature verification
Elliptic curve cryptography
Appendix
Solutions to problems
References
Name index
Subject index
Preface
Introduction / 1:
Some aspects of secure communication
2.

図書

図書
edited by K. Hopper, I.A. Newman
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  513 p. ; 23 cm
所蔵情報: loading…
3.

図書

図書
H. Rex Hartson, editor
出版情報: Norwood, N.J. : Ablex Pub. Corp., c1985-  v. ; 24 cm
所蔵情報: loading…
4.

図書

図書
edited by H. Umegaki
出版情報: [Tokyo] : [Symposium on Applied Functional Analysis] , [Tokyo] : [distributed by Yurinsha], [1984?]  135 p. ; 26 cm
所蔵情報: loading…
5.

図書

図書
by Jean-Claude Junqua
出版情報: Boston : Kluwer Academic Pub., c2000  xxi, 177 p. ; ill. : 25 cm
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 563
所蔵情報: loading…
6.

図書

図書
edited by Frank Van Eynde, and Dafydd Gibbon
出版情報: Dordrecht ; Boston : Kluwer, c2000  xi, 298 p. ; 25 cm
シリーズ名: Text, speech, and language technology ; v. 12
所蔵情報: loading…
7.

図書

図書
Bruce Ebanks, Prasanna Sahoo, Wolfgang Sander
出版情報: Singapore : World Scientific, c1998  x, 281 p. ; 23 cm
所蔵情報: loading…
8.

図書

図書
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park [Calif.] : AAAI Press , Cambridge, Mass. : MIT Press, c1997  xxxi, 1092 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park [Calif.] : AAAI Press , Cambridge, Mass. : MIT Press, 1998  xxiv, 1218 p. ; 28 cm
所蔵情報: loading…
10.

図書

図書
Bodo Urban (ed.)
出版情報: Wien ; New York : Springer, c1996  vi, 178 p. ; 24 cm
シリーズ名: Springer computer science ; . Eurographics
所蔵情報: loading…
11.

図書

図書
edited by G. Della Riccia and R. Kruse and R. Viertl
出版情報: Wien : Springer, c1995  256 p. ; 24 cm
シリーズ名: CISM courses and lectures ; no. 363
所蔵情報: loading…
12.

図書

図書
Edited by Hozumi Tanaka
出版情報: Amsterdam : IOS Press , Tokyo : Ohmsha, c1991  xx, 940 p. ; 31 cm
所蔵情報: loading…
13.

図書

図書
K. Nökel
出版情報: Berlin ; New York : Springer-Verlag, c1991  ix, 164 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 517 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書

図書
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : MIT Press, c1992  873 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
International Symposium on Natural Language Understanding and AI ; International Symposia on Information sciences
出版情報: Fukuoka, Japan : Kyushu Institute of Technology, 1992  xi, 6, 260 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
International Symposium on Fuzzy Systems ; International Symposia on Information sciences
出版情報: Fukuoka, Japan : Kyushu Institute of Technology, 1992  xiv, 103 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
International Symposium on Logic Synthesis and Microprocessor Architecture ; International Symposia on Information sciences
出版情報: Fukuoka, Japan : Kyushu Institute of Technology, 1992  vii, 214 p. ; 28 cm
所蔵情報: loading…
18.

図書

図書
International Symposium on Information Physics ; International Symposia on Information sciences
出版情報: Fukuoka, Japan : Kyushu Institute of Technology, 1992  v, 142 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
International Symposium on Neural Information Processing ; International Symposia on Information sciences
出版情報: Fukuoka, Japan : Kyushu Institute of Technology, 1992  x, 232 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
International Symposium on Advanced Computing for Life-Science ; International Symposia on Information sciences
出版情報: Fukuoka, Japan : Kyushu Institute of Technology, 1992  viv[i.e. ix], 326 p.
所蔵情報: loading…
21.

図書

図書
editors, Lee S. Sproull, Patrick D. Larkey
出版情報: Greenwich, Conn. : JAI Press, 1984-  v. ; 24 cm
所蔵情報: loading…
22.

図書

図書
IBM Scientific Computing Symposium on Simulation Models and Gaming ; International Business Machines Corporation
出版情報: White Plains, N.Y. : IBM, c1966  xix, 278 p. ; 23 cm
所蔵情報: loading…
23.

図書

図書
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park [Calif.] : AAAI Press , Cambridge, Mass. : MIT Press, c1993  xxii, 869 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
sponsored by the American Association for Artificial Intelligence
出版情報: Menlo Park [Calif.] : AAAI Press , Cambridge, Mass. : MIT Press, c1994  2 v. ; 28 cm
所蔵情報: loading…
25.

図書

図書
E.P. Klement, W. Slany (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993  viii, 191 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; . Lecture notes in artificial intelligence ; 695
所蔵情報: loading…
26.

図書

図書
古井, 貞煕(1945-)
出版情報: [Tokyo] : [Tokyo Institute of Technology], [2011]  126 p. ; 30 cm
所蔵情報: loading…
27.

図書

図書
edited by Simon Haykin
出版情報: New York : Wiley, c2001  xiii, 284 p. ; 25 cm
シリーズ名: A Wiley-Interscience publication
Adaptive and learning systems for signal processing, communications, and control
所蔵情報: loading…
目次情報: 続きを見る
Preface
Contributors / Kalman Filters ; S. Haykin
Parameter-Based Kalman Filter Training: Theory and Implementaion / G. Puskorius ; L. Feldkamp
Learning Shape and Motion from Image Sequences / G. Patel, et al
Chaotic Dynamics / G. Patel
Dual Extended Kalman Filter Methods / E. Wan ; A. Nelson
Learning Nonlinear Dynamical System Using the Expectation-Maximization Algorithm / S. Roweis ; Z. Ghahramani
The Unscencted Kalman Filter / R. van der Merwe
Index
Preface
Contributors / Kalman Filters ; S. Haykin
Parameter-Based Kalman Filter Training: Theory and Implementaion / G. Puskorius ; L. Feldkamp
28.

図書

図書
edited by E. Keller ... [et al.]
出版情報: New York : John Wiley & Sons, c2002  xiv, 393 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
List of Contributors
Preface
Issues In Signal Generation / Part I:
Towards Greater Naturalness: Future Directions of Research in Speech Synthesis / Keller, E.
Towards More Versatile Signal Generation Systems / Bailly, G
A Parametric Harmonic + Noise Model / Bailly, G.
The COST 258 Signal Generation Test Array
Concatenative Text-to-Speech Synthesis Based on Sinusoidal Modelling / Banga, E.R. et al
Shape Invariant Pitch and Time-Scale Modification of Speech Based on a Harmonic Model / O'Brien, D. ; Monaghan, A.
Concatenative Speech Synthesis Using SRELP / Rank, E.
Issues In Prosody / Part II:
Prosody in Synthetic Speech: Problems, Solutions and Challenges
State-of-the-Art Summary of European Synthetic Prosody R&D / Monaghan,A.
Modelling F0 Contour in Various Romance Languages: Implementation in Some TTS Systems / Martin, P.
Acoustic Characterisation of the Tonic Syllable in Portuguese / Teixeira, J.P. ; Freitas, D.
Prosodic Parameter of Synthetic Czech: Developing Rules for Duration and Intensity / Dohalska, M. et al
MFGI, a Linguistically Motivated Quantitative Model of German Prosody / Mixdorff, H.
Improvements in Modelling the FO Contour for Different Types of Intonation Units in Slovene / Dobnikar, A.
Representing Speech Rhythm / Keller, B.Z.
Phonetic and Timing Considerations in a Swiss High German TTS System / Siebenhaar, B. et al
Corpus-based Development of Prosodic Models Across Six Languages / Fackrell, J. et al
Vowel Reduction in German Read Speech / Widera, C.
Issues In Styles Of Speech / Part III:
Variability and Speaking Styles in Speech Synthesis / Terken, J.
An Auditory Analysis of the Prosody of Fast and Slow Speech Styles in English, Dutch and German
Automatic Prosody Modelling of Galician and its Application to Spanish / Gonzalo, E.L. et al
Reduction and Assimilatory Processes in Conversational French Speech: Implications for Speech Synthesis / Duez, D.
Acoustic Patterns of Emotions / Pollermann, B.Z. ; Archinard, M
The Role of Pitch and Tempo in Spanish Emotional Speech: Towards Concatenative Synthesis / Montero, J.M. et al
Voice Quality and the Synthesis of Affect / Chasaide, A.N. ; Gobl, C.
Prosodic Parameters of a 'Fun' Speaking Style / Gustafson, K. ; House, D.
Dynamics of the Glottal Source Signal: Implications for Naturalness in Speech Synthesis
A Nonlinear Rhythmic Components in Various Styles of Speech / Keller, B.Z. ad Keller, Ec.
Issues In Segmentation And Mark-Up / Part IV:
Issues in Segmentation and Mark-UP / Huckvale, M.
The Use and Potential of Extensible Mark-UP (XML in Speech Generation
Mark-Up for Speech Synthesis: A Review and Some Suggestions
Automatic Analysis of Prosody for Multi-lingual Speech Corpora / Hirst,D.
Automatic Speech Segmentation Based on Alignment with a Text-to-Speech System / Horak, P.
Using the COST 249 Reference Speech Recogniser for Automatic Speech Segmentation / Warakagoda, N.D. ; Natvig, J.E.
Future Challenges / Part V:
Towards Naturalness, or the Challenge of Subjectivenss / Caerlen-Haumont, G.
Synthesis within Multi-Modal Systems / Breen, A.
A Multi-Modal Speech Synthesis Tool Applied to Audio-Visual Prosody / Beskow, J et al
Interface Design for Speech Synthesis Systems / Flach, G.
Index
List of Contributors
Preface
Issues In Signal Generation / Part I:
29.

図書

図書
edited by Pedro Larrañaga, Jose A. Lozano
出版情報: Boston, Mass. : Kluwer Academic Publishers, c2002  xxxi, 382 p. ; 25 cm
シリーズ名: Genetic algorithms and evolutionary computation ; 2
所蔵情報: loading…
30.

図書

図書
Juraj Hromkovic̆
出版情報: Berlin : Springer, c2001  xi, 492 p. ; 24 cm
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
31.

図書

図書
Jan Kåhre
出版情報: Boston : Kluwer Academic, c2002  xiv, 502 p. ; 25 cm
シリーズ名: The Kluwer international series in engineering and computer science ; SECS684
所蔵情報: loading…
32.

図書

図書
editors, Sankar K. Pal, Amita Pal
出版情報: Singapore : World Scientific, c2001  xxii, 612 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Pattern Recognition: Evolution of Methodologies and Data Mining / A. Pal ; S. K. PalChapter 1:
Introduction / 1.1:
The pattern recognition problem / 1.2:
The statistical approach / 1.3:
The syntactic approach / 1.4:
Classification trees / 1.5:
The fuzzy set theoretic approach / 1.6:
The connectionist approach / 1.7:
Use of genetic algorithms / 1.8:
The hybrid approach and soft computing / 1.9:
Data mining and knowledge discovery / 1.10:
Conclusions / 1.11:
Imperfect Supervision in Statistical Pattern Recognition / T. KrishnanChapter 2:
Statistical pattern recognition / 2.1:
Preliminaries / 2.2:
Unsupervised learning / 2.3:
Models for imperfect supervision / 2.4:
Effect of imperfect supervision / 2.5:
Learning with an unreliable supervisor / 2.6:
Learning with a stochastic supervisor / 2.7:
Adaptive Stochastic Algorithms for Pattern Classification / M. A. L. Thathachar ; P. S. SastryChapter 3:
Learning automata / 3.1:
A common payoff game of automata for pattern classification / 3.3:
Three layer network consisting of teams of automata for pattern classification / 3.4:
Modules of learning automata / 3.5:
Discussion / 3.6:
Unsupervised Classification: Some Bayesian Approaches / Chapter 4:
Finite mixtures of probability distributions / 4.1:
Bayesian approaches for mixture decomposition / 4.3:
Shape In Images / K. V. Mardia4.4:
High-level Bayesian image analysis / 5.1:
Prior models for objects / 5.2:
Inference / 5.3:
Multiple objects and occlusions / 5.4:
Warping and image averaging / 5.5:
Decision Trees for Classification: A Review and Some New Results / R. Kothari ; M. Dong5.6:
The different node splitting criteria / 6.1:
Pruning / 6.3:
Look-ahead / 6.4:
Other issues in decision tree construction / 6.5:
A new look-ahead criterion: some new results / 6.6:
Syntactic Pattern Recognition / A. K. Majumdar ; A. K. Ray6.7:
Primitive selection strategies / 7.1:
Formal linguistic model: basic definitions and concepts / 7.3:
High-dimensional pattern grammars / 7.4:
Structural recognition of imprecise patterns / 7.5:
Grammatical inference / 7.6:
Recognition of ill-formed patterns: error-correcting grammars / 7.7:
Fuzzy Sets as A Logic Canvas for Pattern Recognition / W. Pedrycz ; N. PizziChapter 8:
Introduction: fuzzy sets and pattern recognition / 8.1:
Fuzzy set-based transparent topologies of the pattern classifier / 8.2:
Supervised, unsupervised, and hybrid modes of learning / 8.3:
Fuzzy Pattern Recognition by Fuzzy Integrals and Fuzzy Rules / M. Grabisch8.4:
Classification by fuzzy rules / 9.1:
Classification by fuzzy integrals / 9.3:
Neural Network Based Pattern Recognition / V. David Sanchez A.Chapter 10:
The essence of pattern recognition / 10.1:
Advanced neural network architectures / 10.3:
Neural pattern recognition / 10.4:
Pattern Classification Based on Quantum Neural Networks: A Case Study / N. B. Karayiannis ; R. Kretzschmar ; H. Richner10.5:
Quantum neural networks / 11.1:
Wind profilers / 11.3:
Formulation of the bird removal problem / 11.4:
Experimental results / 11.5:
Networks of Spiking Neurons in Data Mining / K. Cios ; D.M. Sala11.6:
Graph algorithms / 12.1:
Clustering / 12.3:
Critical path method / 12.4:
The longest common subsequence / 12.5:
Genetic Algorithms, Pattern Classification and Neural Networks Design / S. Bandyopadhyay ; C. A. Murthy12.6:
Overview of genetic algorithms / 13.1:
Description of the genetic classifiers / 13.3:
Determination of MLP architecture / 13.4:
Discussion and conclusions / 13.5:
Rough Sets in Pattern Recognition / A. Skowron ; R. SwiniarskiChapter 14:
Basic rough set approach / 14.1:
Searching for knowledge / 14.2:
Hybrid methods / 14.3:
Combining Classifiers: Soft Computing Solutions / L. I. Kuncheva14.4:
Classifier combination / 15.1:
Soft computing in classifier combination / 15.3:
Automated Generation of Qualitative Representations of Complex Objects by Hybrid Soft-Computing Methods / E. H. Ruspini ; I. S. Zwir15.4:
Problem / 16.1:
Approach / 16.3:
Neuro-Fuzzy Models for Feature Selection and Classification / R. K. De16.4:
A brief review / 17.1:
Neuro-fuzzy methods for feature selection / 17.3:
Neuro-fuzzy knowledge-based classification / 17.4:
Results / 17.5:
Conclusions and Discussion / 17.6:
Adaptive Segmentation Techniques for Hyperspectral Imagery / H. Kwon ; S. Z. Der ; N. M. NasrabadiChapter 18:
Hyperspectral imaging system / 18.1:
Segmentation of hyperspectral imagery / 18.3:
Adaptive segmentation based on iterative local feature extraction / 18.4:
Adaptive unsupervised segmentation / 18.5:
Pattern Recognition Issues in Speech Processing / B. Yegnanarayana ; C. Chandra Sekhar18.6:
Nature of speech signal / 19.1:
Feature extraction in speech / 19.3:
Pattern recognition models for speech recognition / 19.4:
Challenges in pattern recognition tasks in speech / 19.5:
Writing Speed and Writing Sequence Invariant On-Line Handwriting Recognition / S.-H. Cha ; S. N. SrihariChapter 20:
Writing speed invariance / 20.1:
Writing sequence invariance / 20.3:
Recognizer / 20.4:
Tongue Diagnosis Based on Biometric Pattern Recognition Technology / K. Wang ; D. Zhang ; N. Li ; B. Pang20.5:
Tongue image capturing / 21.1:
Segmentation of tongue images / 21.3:
Tongue feature extraction / 21.4:
Tongue classification / 21.5:
Index / 21.6:
About the editors
Foreword
Preface
Pattern Recognition: Evolution of Methodologies and Data Mining / A. Pal ; S. K. PalChapter 1:
33.

図書

図書
Dexter C. Kozen
出版情報: London : Springer, c2006  xiii, 418 p. ; 24 cm
シリーズ名: Texts in computer science
所蔵情報: loading…
目次情報: 続きを見る
Preface
Lectures
The Complexity of Computations / 1:
Time and Space Complexity Classes and Savitch's Theorem / 2:
Separation Results / 3:
The Immerman-Szelepcsenyi Theorem / 4:
Logspace Computability / 5:
The Circuit Value Problem / 6:
The Knaster-Tarski Theorem / A:
Alternation / 7:
Problems Complete for PSPACE / 8:
The Polynomial-Time Hierarchy / 9:
More on the Polynomial-Time Hierarchy / 10:
Parallel Complexity / 11:
Relation of NC to Time-Space Classes / 12:
Probabilistic Complexity / 13:
BPP [characters not reproducible] / 14:
Chinese Remaindering / B:
Complexity of Primality Testing / C:
Berlekamp's Algorithm / D:
Interactive Proofs / 15:
PSPACE [characters not reproducible] IP / 16:
IP [characters not reproducible] PSPACE / 17:
Probabilistically Checkable Proofs / 18:
NP [characters not reproducible] PCP (n[superscript 3], 1) / 19:
More on PCP / 20:
A Crash Course in Logic / E:
Complexity of Decidable Theories / 21:
Complexity of the Theory of Real Addition / 22:
Lower Bound for the Theory of Real Addition / 23:
Lower Bound for Integer Addition / 24:
Automata on Infinite Strings and S1S / 25:
Determinization of [omega]-Automata / 26:
Safra's Construction / 27:
Relativized Complexity / 28:
Nonexistence of Sparse Complete Sets / 29:
Unique Satisfiability / F:
Toda's Theorem / G:
Circuit Lower Bounds and Relativized PSPACE = PH / 30:
Lower Bounds for Constant Depth Circuits / 31:
The Switching Lemma / H:
Tail Bounds / I:
The Gap Theorem and Other Pathology / 32:
Partial Recursive Functions and Godel Numberings / 33:
Applications of the Recursion Theorem / 34:
Abstract Complexity / J:
The Arithmetic Hierarchy / 35:
Complete Problems in the Arithmetic Hierarchy / 36:
Post's Problem / 37:
The Friedberg-Muchnik Theorem / 38:
The Analytic Hierarchy / 39:
Kleene's Theorem / 40:
Fair Termination and Harel's Theorem / 41:
Exercises
Homework 1
Homework 2
Homework 3
Homework 4
Homework 5
Homework 6
Homework 7
Homework 8
Homework 9
Homework 10
Homework 11
Homework 12
Miscellaneous Exercises
Hints and Solutions
Homework 1 Solutions
Homework 2 Solutions
Homework 3 Solutions
Homework 4 Solutions
Homework 5 Solutions
Homework 6 Solutions
Homework 7 Solutions
Homework 8 Solutions
Homework 9 Solutions
Homework 10 Solutions
Homework 11 Solutions
Homework 12 Solutions
Hints for Selected Miscellaneous Exercises
Solutions to Selected Miscellaneous Exercises
References
Notation and Abbreviations
Index
Preface
Lectures
The Complexity of Computations / 1:
34.

図書

図書
Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Krzysztof Trojanowski (eds.)
出版情報: Berlin : Springer, c2004  xiv, 641 p. ; 24 cm
シリーズ名: Advances in soft computing
所蔵情報: loading…
35.

図書

図書
Diederich Hinrichsen, Anthony J. Pritchard
出版情報: Berlin : Springer-Verlag, c2005  xv, 804 p. ; 25 cm
シリーズ名: Texts in applied mathematics ; 48 . Mathematical systems theory ; 1
所蔵情報: loading…
目次情報: 続きを見る
Mathematical Models
Introduction to State Space Theory
Stability Theory
Perturbation Theory
Uncertain Spaces
Appendix: Linear Algebra
Complex Analysis
Convolutions and Transforms
Linear Operators.
Mathematical Models
Introduction to State Space Theory
Stability Theory
36.

図書

図書
by Stefan Katzenbeisser
出版情報: Boston, MA : Kluwer Academic, c2001  xiii, 140 p. ; 24-25 cm
シリーズ名: Advances in information security
所蔵情報: loading…
37.

図書

図書
Henri Theil
出版情報: Amsterdam : North-Holland Pub. Co. , Chicago : Rand McNally, 1967  xxii, 488 p. ; 23 cm
シリーズ名: Studies in mathematical and managerial economics ; v. 7
所蔵情報: loading…
38.

図書

図書
edited by W. Minker, Dirk Bühler and Laila Dybkjær
出版情報: Dordrecht : Springer, c2005  xxviii, 403 p. ; 25 cm
シリーズ名: Text, speech, and language technology ; v. 28
所蔵情報: loading…
目次情報: 続きを見る
Contents and Contributors:Preface Contributing Authors
Introduction
Issues in Multimodal Spoken Dialogue Systems and Components / Alexander I ; RudnickyPart I:
Multimodal Dialogue Systems / Sadaoki Furui
Speech Recognition Technology in Multimodal/Ubiquitous Computing Environments / Satoshi Tamura ; Koji Iwano
A Robust Multimodal Speech Recognition Method using Optical Flow Analysis / Klaus Macherey ; Hermann Ney
Feature Functions fro Tree-Based Dialogue Course Management / Dirk B+Shler ; Wolfgang Minker
A Reasoning Component for Information-Seeking and Planning Dialogues / Jonas Beskow ; Jens Edlund ; Magnus Nordstrand
A Model for Multimodal Dialogue System Output Applied to an Animated Talking Head
System Architecture and Example Implementations / Andreas KellnerPart II:
Overview of System Architecture / Kouichi Katsurada ; Hirobumi Yamada ; Yusaku Nakamura ; Satoshi Kobayashi ; Tsuneo Nitta
XISL: A Modality-Independent MMI Description Language / Georg Niklfeld ; Michael Pucher ; Robert Finan ; Wolfgang Eckhart
A Path to Multimodal Data Services for Telecommunications / Roberto Pieraccini ; Bob Carpenter ; Eric Woudenberg ; Sasha Caskey ; Stephen Springer ; Jonathan Bloom ; Michael Philips
Multimodal Spoken Dialogue with Wireless Devices
The SmartKom Mobile Car Prototype System for Flexible Human-Machine Communication / Dan Bohus ; Alexander I. Rudnicky
LARRI: A Language-Based Maintenance and Repair Assistant
Evaluation and Usability / Laila Dybkjaer ; Niels Ole BernsenPart III:
Overview of Evaluation and Usability / Steve Withaker ; Marilyn Walker
Evaluating Dialogue Strategies in Multimodal Dialogue Systems
Enhancing the Usability of Multimodal Virtual Co-drivers / Udo Haiber ; Paul Heisterkamp ; Sven Scheible
Design, Implementation and Evaluation of the SENECA Spoken Language Dialogue System / Sabine Geldof ; Robert Dale
Segmenting Route Descriptions for Mobile Devices / Janienke Sturm ; Bert Cranen ; Jacques Terken ; Ilse Bakx
Effects of Prolonged Use on the Usability of a Mutimodal Form-Filling Interface / Anthony Jameson ; Kerstin Kl+-Ckner
User Multitasking with Mobile Multimodal Systems / Sharon Oviatt ; Courtney Darves ; Rachel Coulston ; Matt Wesson
Speech Convergence with Animated Personas
Index
Contents and Contributors:Preface Contributing Authors
Introduction
Issues in Multimodal Spoken Dialogue Systems and Components / Alexander I ; RudnickyPart I:
39.

図書

図書
Vladimir Britanak, Patrick C. Yip, K.R. Rao
出版情報: Amsterdam : Elsevier, c2007  xiv, 349 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
List of Acronyms
Discrete Cosine and Sine Transforms / 1:
Definitions and General Properties / 2:
The Karhunen-Loeve Transform and Optimal Decorrelation / 3:
Fast DCT/DST Algorithms / 4:
Integer Discrete Cosine/Sine Transforms / 5:
Appendices
Index
Preface
Acknowledgements
List of Acronyms
40.

図書

図書
edited by N.L. Collins & Donald Michie
出版情報: Edinburgh ; London : Oliver & Boyd, c1967-  v. ; 26 cm
所蔵情報: loading…
41.

図書

図書
editor, T. Kitagawa
出版情報: Tokyo : OHM, c1982- , Amsterdam : North Holland  v. ; 27 cm
シリーズ名: Japan annual reviews in electronics, computers & telecommunications ; v. 7, 12, 18
所蔵情報: loading…
42.

図書

図書
Rodrigo Fernandes de Mello, Moacir Antonelli Ponti
出版情報: Cham : Springer, c2018  xv, 362 p. ; 24 cm
所蔵情報: loading…
43.

図書

図書
editors Mikio Nakahara, Shu Tanaka
出版情報: Hackensack, NJ : World Scientific, c2013  vii, 190 p. ; 24 cm
シリーズ名: Kinki University series on quantum computing ; v. 8
所蔵情報: loading…
目次情報: 続きを見る
Preface
Quantum Annealing: From Viewpoints of Statistical Physics, Condensed Matter Physics, and Computational Physics / Shu Tanaka ; Ryo Tamura
Spin Glass: A Bridge between Quantum Computation and Statistical Mechanics / Masayuki Ohzeki
Second Law-like Inequalities with Quantum Relative Entropy: An Introduction / Takahiro Sagawa
Preface
Quantum Annealing: From Viewpoints of Statistical Physics, Condensed Matter Physics, and Computational Physics / Shu Tanaka ; Ryo Tamura
Spin Glass: A Bridge between Quantum Computation and Statistical Mechanics / Masayuki Ohzeki
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼