close
1.

図書
図書
1. Codes and ciphers : Julius Caesar, the Enigma and the internet (: hbk. ; : pbk.)
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.

図書
図書
2. Robust speech recognition in embedded systems and PC applications
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…
3.

図書
図書
3. Lexicon development for speech and language processing
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…
4.

図書
図書
4. Kalman filtering and neural networks
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
5.

図書
図書
5. Improvements in speech synthesis : COST 258, the naturalness of synthetic speech
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：
6.

図書
図書
6. Estimation of distribution algorithms : a new tool for evolutionary computation
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…
7.

図書
図書
7. Algorithmics for hard problems : introduction to combinatorial optimization, randomization, approximation, and heuristics
Juraj Hromkovic̆
出版情報: Berlin : Springer, c2001  xi, 492 p. ; 24 cm
シリーズ名: Texts in theoretical computer science ; An EATCS series
所蔵情報: loading…
8.

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

図書
図書
9. Pattern recognition : from classical to modern approaches
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：
10.

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