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. Sixth-seventh seminars on Applied Functional Analysis : information theory and related topics
edited by H. Umegaki
出版情報: [Tokyo] : [Symposium on Applied Functional Analysis] , [Tokyo] : [distributed by Yurinsha], [1984?]  135 p. ; 26 cm
所蔵情報: loading…
3.

図書
図書
3. Multimedia '96 : proceedings of the Eurographics Workshop in Rostock, Federal Republic of Germany, May 28-30, 1996
Bodo Urban (ed.)
出版情報: Wien ; New York : Springer, c1996  vi, 178 p. ; 24 cm
シリーズ名: Springer computer science ; . Eurographics
所蔵情報: loading…
4.

図書
図書
4. International Symposium on Speech and Multimedia Processing : including retirement lecture by professor Sadaoki Furui Department of Computer Science Graduate School oh Information Science and Enginering Tokyo Institute of Technology : March 8, Tuesday, 2011 Kuramae Hall, Tokyo Tech Front, Tokyo
古井, 貞煕(1945-)
出版情報: [Tokyo] : [Tokyo Institute of Technology], [2011]  126 p. ; 30 cm
所蔵情報: loading…
5.

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

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

図書
図書
7. 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：
8.

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

図書
図書
9. Intelligent information processing and Web mining : proceedings of the International IIS: IIPWM '04 Conference held in Zakopane, Poland, May 17-20, 2004
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…
10.

図書
図書
10. Modelling, state space analysis, stability and robustness
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
11.

図書
図書
11. Recent advances in RSA cryptography (: pbk)
by Stefan Katzenbeisser
出版情報: Boston, MA : Kluwer Academic, c2001  xiii, 140 p. ; 24-25 cm
シリーズ名: Advances in information security
所蔵情報: loading…
12.

図書
図書
12. Spoken multimodal human-computer dialogue in mobile environments
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：
13.

図書
図書
13. Discrete cosine and sine transforms : general properties, fast algorithms and integer approximations
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
14.

図書
図書
14. Machine learning : a practical approach on the statistical learning theory (: hbk)
Rodrigo Fernandes de Mello, Moacir Antonelli Ponti
出版情報: Cham : Springer, c2018  xv, 362 p. ; 24 cm
所蔵情報: loading…
15.

図書
図書
15. Lectures on quantum computing, thermodynamics and statistical physics
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼