close
1.

電子ブック
ＥＢ
1. A Tiny Handbook of R
Mike Allerhand
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to R / 1：
Why Command Lines and Scripts? / 1.1：
The R Console / 1.1.1：
Variables / 1.1.2：
Functions / 1.1.3：
Finding Functions and Getting Help / 1.2：
Libraries / 1.2.1：
Packages / 1.2.2：
Finding Functions / 1.2.3：
Getting Help / 1.2.4：
R Projects / 1.3：
Saving Your Session / 1.3.1：
Scripts / 1.3.2：
Data Structures / 2：
Vectors, Matrices, and Arrays / 2.1：
Data Frames and Lists / 2.1.2：
Creating Data / 2.1.3：
Sampling Data / 2.1.4：
Reading Data / 2.1.5：
Operations on Vectors and Matrices / 2.2：
Arithmetic Functions / 2.2.1：
Descriptive Functions / 2.2.2：
Operators and Expressions / 2.2.3：
Factors / 2.3：
Making Factors / 2.3.1：
Operations on Factors / 2.3.2：
Re-ordering and Re-labelling / 2.3.3：
Indexing / 2.4：
Indexing by Name / 2.4.1：
Indexing by Number / 2.4.2：
Inserting and Deleting Rows or Columns / 2.4.3：
Indexing with Factors / 2.4.4：
Conditional Indexing / 2.4.5：
Sorting / 2.4.6：
Reshaping / 2.5：
Stacking and Unstacking? / 2.5.1：
Reshaping: Wide and Long / 2.5.2：
Merging / 2.5.3：
Missing Values / 2.6：
Recoding Missing Values / 2.6.1：
Operations with Missing Values / 2.6.2：
Counting and Sorting Missing Values / 2.6.3：
Handling Missing Values / 2.6.4：
Mapping Functions / 2.7：
Repeated Evaluation / 2.7.1：
Applying Functions / 2.7.2：
Writing Functions / 2.8：
Anonymous Functions / 2.8.1：
Optional Arguments / 2.8.2：
Tables and Graphs / 3：
Tables / 3.1：
Frequency Tables / 3.1.1：
Tables of Cell Means and Other Summaries / 3.1.2：
Saving Tables / 3.1.3：
Graphs / 3.2：
Base Graphics / 3.2.1：
Lattice Graphics / 3.2.2：
Multiple Plot Layout / 3.2.3：
Saving Graphics / 3.2.4：
Hypothesis Tests / 4：
Probability Distributions / 4.1：
How to Run a t test / 4.2：
Linear Models / 5：
Model Formulas / 5.1：
Formula and Data Frame / 5.1.1：
Updating Model Fits / 5.1.2：
General Linear Models / 5.2：
Regression Diagnostics / 5.2.1：
Testing the Regression Coefficients / 5.2.2：
Prediction / 5.2.3：
Stepwise Regression / 5.2.4：
Extracting Information from the Fit Object / 5.2.5：
Residualizing / 5.2.6：
ANOVA / 5.3：
ANOVA Tables / 5.3.1：
Comparisons / 5.3.2：
Learning R / 5.4：
Index
Introduction to R / 1：
Why Command Lines and Scripts? / 1.1：
The R Console / 1.1.1：
2.

電子ブック
ＥＢ
2. Electron Microscopical Investigation of Interdiffusion and Phase Formation at Gd2O3/CeO2- and Sm2O3/CeO2-Interfaces
Christian Rockenhäuser
出版情報: SpringerLink Books - AutoHoldings , Springer Fachmedien Wiesbaden, 2015
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. E-Librarian Service
Serge Linckels, Christoph Meinel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to E-Librarian Services / 1：
From Ancient to Digital Libraries / 1.1：
From Searching to Finding / 1.2：
Searching the Web / 1.2.1：
Searching Multimedia Knowledge Bases / 1.2.2：
Exploratory Search / 1.2.3：
E-Librarian Services / 1.3：
Overview / 1.3.1：
Early Question-Answering Systems / 1.3.2：
Natural Language Interface / 1.3.3：
No Library without a Librarian / 1.3.4：
Characteristics of an E-Librarian Service / 1.3.5：
Overview and Organization of the Book / 1.4：
Key Technologies of E-Librarian Services / Part I：
Semantic Web and Ontologies / 2：
What is the Semantic Web? / 2.1：
The Vision of the Semantic Web / 2.1.1：
Semantic Web vs. Web N.O / 2.1.2：
Three Principles Ruling the Semantic Web / 2.1.3：
Architecture / 2.1.4：
Ontologies / 2.2：
Ontology Structure / 2.2.1：
Upper and Domain Ontologies / 2.2.2：
Linked Data / 2.2.3：
Expressivity of Ontologies / 2.2.4：
XML Extensible Markup Language / 2.3：
XML: Elements, Attributes and Values / 2.3.1：
Namespaces and Qualified Names / 2.3.2：
XML Schema / 2.3.3：
Complete Example / 2.3.4：
Limitations of XML / 2.3.5：
RDF-Resource Description Framework / 2.4：
RDF Triples and Serialization / 2.4.1：
RDF Schema / 2.4.2：
Limitations of RDF / 2.4.3：
Owl 1 and Owl 2 - Web Ontology Language / 2.5：
Instances, Classes and Restrictions in Owl / 2.5.1：
From Owl 1 to Owl 2 / 2.5.2：
Sparql, the Query Language / 2.5.4：
Description Logics and Reasoning / 3：
DL- Description Logics / 3.1：
Concept Descriptions / 3.1.1：
DL Languages / 3.1.2：
Equivalences between OWL and DL / 3.1.3：
DL Knowledge Base / 3.2：
Terminologies (TBox) / 3.2.1：
World Descriptions (ABox) / 3.2.2：
Interpretations / 3.3：
Interpreting Individuals, Concepts, and Roles / 3.3.1：
Modeling the Real World / 3.3.2：
Inferences / 3.4：
Standard Inferences / 3.4.1：
Non-Standard Inferences / 3.4.2：
Natural Language Processing / 4：
Overview and Challenges / 4.1：
Syntax, Semantics and Pragmatics / 4.1.1：
Difficulties of NLP / 4.1.2：
Zipf's law / 4.1.3：
Dealing with Single Words / 4.2：
Tokenization and Tagging / 4.2.1：
Morphology / 4.2.2：
Building Words over an Alphabet / 4.2.3：
Operations over Words / 4.2.4：
Semantic Knowledge Sources / 4.3：
Semantic relations / 4.3.1：
Semantic resources / 4.3.2：
Dealing with Sentences / 4.4：
Phrase Types / 4.4.1：
Phrase Structure / 4.4.2：
Grammar / 4.4.3：
Formal languages / 4.4.4：
Phrase structure ambiguities / 4.4.5：
Alternative parsing techniques / 4.4.6：
Multi-Language / 4.5：
Semantic Interpretation / 4.6：
Information Retrieval / 5：
Retrieval Process / 5.1：
Document Indexation and Weighting / 5.2：
Index of terms / 5.2.1：
Weighting / 5.2.2：
Retrieval Models / 5.3：
Boolean Model / 5.3.1：
Vector Model / 5.3.2：
Probabilistic Model / 5.3.3：
Page Rank / 5.3.4：
Semantic Distance / 5.3.5：
Other Models / 5.3.6：
Retrieval Evaluation / 5.4：
Precision, Recall, and Accuracy / 5.4.1：
Design and Utilization of E-Librarian Services / Part II：
Ontological Approach / 6：
Expert Systems / 6.1：
Classical Expert Systems / 6.1.1：
Ontology-Driven Expert Systems / 6.1.2：
Towards an E-Librarian Service / 6.2：
Reasoning Capabilities of an E-Librarian Service / 6.2.1：
Deploying an Ontology / 6.2.2：
Designing the Ontological Background / 6.2.3：
Semantic Annotation of the Knowledge Base / 6.3：
Computer-Assisted Creation of metadata / 6.3.1：
Automatic Generation of metadata / 6.3.2：
Design of the Natural Language Processing Module / 7：
Overview of the Semantic Interpretation / 7.1：
Logical Form / 7.1.1：
Processing of a User Question / 7.1.2：
NLP Pre-Processing / 7.2：
Domain Language / 7.2.1：
Lemmatization / 7.2.2：
Handling Spelling Errors / 7.2.3：
Ontology Mapping / 7.3：
Domain Dictionary / 7.3.1：
Mapping of Words / 7.3.2：
Resolving Ambiguities / 7.3.3：
Generation of a DL-Concept Description / 7.4：
Without Syntactic Analysis / 7.4.1：
With Syntactic Analysis / 7.4.2：
How much NLP is Sufficient? / 7.4.3：
Optimization and Normal Form / 7.4.4：
General Limitations and Constraints / 7.5：
Role Quantifiers / 7.5.1：
Conjunction and Disjunction / 7.5.2：
Negation / 7.5.3：
Open-Ended and Closed-Ended Questions / 7.5.4：
Formulations / 7.5.5：
Others / 7.5.6：
Multiple-Language Feature / 7.6：
Designing the Multimedia Information Retrieval Module / 8：
Overview of the MIR Module / 8.1：
Knowledge Base and metadata / 8.1.1：
Retrieval Principle / 8.1.2：
The Concept Covering Problem / 8.1.3：
Identifying Covers / 8.2：
Computing the Best Covers / 8.3：
Miss and Rest / 8.3.1：
Size of a Concept Description / 8.3.2：
Best Covers / 8.3.3：
Ranking / 8.4：
Algorithm for the Retrieval Problem / 8.5：
User Feedback / 8.6：
Direct User Feedback / 8.6.1：
Collaborative Tagging and Social Networks / 8.6.2：
Diversification of User Feedback / 8.6.3：
Implementation / 9：
Knowledge Layer / 9.1：
Inference Layer / 9.1.2：
Communication Layer / 9.1.3：
Presentation Layer / 9.1.4：
Development Details / 9.2：
Processing Owl and DL in Java / 9.2.1：
Client Front-End with Ajax Autocompleter / 9.2.2：
The Soap Web Service Interface / 9.2.3：
Applications / Part III：
Best practices / 10：
Computer History Expert System (CHESt) / 10.1：
Description / 10.1.1：
Experiment / 10.1.2：
Mathematics Expert System (MatES) / 10.2：
Benchmark Test / 10.2.1：
The Lecture Butler's E-Librarian Service / 10.2.3：
Benchmark Tests / 10.3.1：
Appendix / Part IV：
XML Schema Primitive Datatypes / A：
Reasoning Algorithms / B：
Structural Subsumption / B.1：
Example 1 / B.2.1：
Example 2 / B.2.2：
Brown Tag Set / C：
Part-of-Speech Taggers and Parsers / D：
POS Taggers / D.1：
Parsers / D.2：
Probabilistic IR Model / E：
Probability Theory / E.1：
References / E.2：
Index
Introduction to E-Librarian Services / 1：
From Ancient to Digital Libraries / 1.1：
From Searching to Finding / 1.2：
4.

電子ブック
ＥＢ
4. E-Librarian Service
Serge Linckels, Christoph Meinel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to E-Librarian Services / 1：
From Ancient to Digital Libraries / 1.1：
From Searching to Finding / 1.2：
Searching the Web / 1.2.1：
Searching Multimedia Knowledge Bases / 1.2.2：
Exploratory Search / 1.2.3：
E-Librarian Services / 1.3：
Overview / 1.3.1：
Early Question-Answering Systems / 1.3.2：
Natural Language Interface / 1.3.3：
No Library without a Librarian / 1.3.4：
Characteristics of an E-Librarian Service / 1.3.5：
Overview and Organization of the Book / 1.4：
Key Technologies of E-Librarian Services / Part I：
Semantic Web and Ontologies / 2：
What is the Semantic Web? / 2.1：
The Vision of the Semantic Web / 2.1.1：
Semantic Web vs. Web N.O / 2.1.2：
Three Principles Ruling the Semantic Web / 2.1.3：
Architecture / 2.1.4：
Ontologies / 2.2：
Ontology Structure / 2.2.1：
Upper and Domain Ontologies / 2.2.2：
Linked Data / 2.2.3：
Expressivity of Ontologies / 2.2.4：
XML Extensible Markup Language / 2.3：
XML: Elements, Attributes and Values / 2.3.1：
Namespaces and Qualified Names / 2.3.2：
XML Schema / 2.3.3：
Complete Example / 2.3.4：
Limitations of XML / 2.3.5：
RDF-Resource Description Framework / 2.4：
RDF Triples and Serialization / 2.4.1：
RDF Schema / 2.4.2：
Limitations of RDF / 2.4.3：
Owl 1 and Owl 2 - Web Ontology Language / 2.5：
Instances, Classes and Restrictions in Owl / 2.5.1：
From Owl 1 to Owl 2 / 2.5.2：
Sparql, the Query Language / 2.5.4：
Description Logics and Reasoning / 3：
DL- Description Logics / 3.1：
Concept Descriptions / 3.1.1：
DL Languages / 3.1.2：
Equivalences between OWL and DL / 3.1.3：
DL Knowledge Base / 3.2：
Terminologies (TBox) / 3.2.1：
World Descriptions (ABox) / 3.2.2：
Interpretations / 3.3：
Interpreting Individuals, Concepts, and Roles / 3.3.1：
Modeling the Real World / 3.3.2：
Inferences / 3.4：
Standard Inferences / 3.4.1：
Non-Standard Inferences / 3.4.2：
Natural Language Processing / 4：
Overview and Challenges / 4.1：
Syntax, Semantics and Pragmatics / 4.1.1：
Difficulties of NLP / 4.1.2：
Zipf's law / 4.1.3：
Dealing with Single Words / 4.2：
Tokenization and Tagging / 4.2.1：
Morphology / 4.2.2：
Building Words over an Alphabet / 4.2.3：
Operations over Words / 4.2.4：
Semantic Knowledge Sources / 4.3：
Semantic relations / 4.3.1：
Semantic resources / 4.3.2：
Dealing with Sentences / 4.4：
Phrase Types / 4.4.1：
Phrase Structure / 4.4.2：
Grammar / 4.4.3：
Formal languages / 4.4.4：
Phrase structure ambiguities / 4.4.5：
Alternative parsing techniques / 4.4.6：
Multi-Language / 4.5：
Semantic Interpretation / 4.6：
Information Retrieval / 5：
Retrieval Process / 5.1：
Document Indexation and Weighting / 5.2：
Index of terms / 5.2.1：
Weighting / 5.2.2：
Retrieval Models / 5.3：
Boolean Model / 5.3.1：
Vector Model / 5.3.2：
Probabilistic Model / 5.3.3：
Page Rank / 5.3.4：
Semantic Distance / 5.3.5：
Other Models / 5.3.6：
Retrieval Evaluation / 5.4：
Precision, Recall, and Accuracy / 5.4.1：
Design and Utilization of E-Librarian Services / Part II：
Ontological Approach / 6：
Expert Systems / 6.1：
Classical Expert Systems / 6.1.1：
Ontology-Driven Expert Systems / 6.1.2：
Towards an E-Librarian Service / 6.2：
Reasoning Capabilities of an E-Librarian Service / 6.2.1：
Deploying an Ontology / 6.2.2：
Designing the Ontological Background / 6.2.3：
Semantic Annotation of the Knowledge Base / 6.3：
Computer-Assisted Creation of metadata / 6.3.1：
Automatic Generation of metadata / 6.3.2：
Design of the Natural Language Processing Module / 7：
Overview of the Semantic Interpretation / 7.1：
Logical Form / 7.1.1：
Processing of a User Question / 7.1.2：
NLP Pre-Processing / 7.2：
Domain Language / 7.2.1：
Lemmatization / 7.2.2：
Handling Spelling Errors / 7.2.3：
Ontology Mapping / 7.3：
Domain Dictionary / 7.3.1：
Mapping of Words / 7.3.2：
Resolving Ambiguities / 7.3.3：
Generation of a DL-Concept Description / 7.4：
Without Syntactic Analysis / 7.4.1：
With Syntactic Analysis / 7.4.2：
How much NLP is Sufficient? / 7.4.3：
Optimization and Normal Form / 7.4.4：
General Limitations and Constraints / 7.5：
Role Quantifiers / 7.5.1：
Conjunction and Disjunction / 7.5.2：
Negation / 7.5.3：
Open-Ended and Closed-Ended Questions / 7.5.4：
Formulations / 7.5.5：
Others / 7.5.6：
Multiple-Language Feature / 7.6：
Designing the Multimedia Information Retrieval Module / 8：
Overview of the MIR Module / 8.1：
Knowledge Base and metadata / 8.1.1：
Retrieval Principle / 8.1.2：
The Concept Covering Problem / 8.1.3：
Identifying Covers / 8.2：
Computing the Best Covers / 8.3：
Miss and Rest / 8.3.1：
Size of a Concept Description / 8.3.2：
Best Covers / 8.3.3：
Ranking / 8.4：
Algorithm for the Retrieval Problem / 8.5：
User Feedback / 8.6：
Direct User Feedback / 8.6.1：
Collaborative Tagging and Social Networks / 8.6.2：
Diversification of User Feedback / 8.6.3：
Implementation / 9：
Knowledge Layer / 9.1：
Inference Layer / 9.1.2：
Communication Layer / 9.1.3：
Presentation Layer / 9.1.4：
Development Details / 9.2：
Processing Owl and DL in Java / 9.2.1：
Client Front-End with Ajax Autocompleter / 9.2.2：
The Soap Web Service Interface / 9.2.3：
Applications / Part III：
Best practices / 10：
Computer History Expert System (CHESt) / 10.1：
Description / 10.1.1：
Experiment / 10.1.2：
Mathematics Expert System (MatES) / 10.2：
Benchmark Test / 10.2.1：
The Lecture Butler's E-Librarian Service / 10.2.3：
Benchmark Tests / 10.3.1：
Appendix / Part IV：
XML Schema Primitive Datatypes / A：
Reasoning Algorithms / B：
Structural Subsumption / B.1：
Example 1 / B.2.1：
Example 2 / B.2.2：
Brown Tag Set / C：
Part-of-Speech Taggers and Parsers / D：
POS Taggers / D.1：
Parsers / D.2：
Probabilistic IR Model / E：
Probability Theory / E.1：
References / E.2：
Index
Introduction to E-Librarian Services / 1：
From Ancient to Digital Libraries / 1.1：
From Searching to Finding / 1.2：
5.

電子ブック
ＥＢ
5. Combinatorial Computational Biology of RNA
Christian M. Reidys
出版情報: SpringerLink Books - AutoHoldings , Springer New York, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
RNA secondary structures / 1.1：
RNA pseudoknot structures / 1.2：
Sequence to structure maps / 1.3：
Folding / 1.4：
RNA tertiary interactions: a combinatorial perspective / 1.5：
Basic concepts / 2：
k-Noncrossing partial matchings / 2.1：
Young tableaux, RSK algorithm, and Weyl chambers / 2.1.1：
The Weyl group / 2.1.2：
From tableaux to paths and back / 2.1.3：
The generating function via the reflection principle / 2.1.4：
D-finiteness / 2.1.5：
Symbolic enumeration / 2.2：
Singularity analysis / 2.3：
Transfer theorems / 2.3.1：
The supercritical paradigm / 2.3.2：
Some ODEs / 2.4：
n-Cubes / 2.4.2：
Some basic facts / 2.5.1：
Random subgraphs of the n-cube / 2.5.2：
Vertex boundaries / 2.5.3：
Branching processes and Janson's inequality / 2.5.4：
Exercises / 2.6：
Tangled diagrams / 3：
Tangled diagrams and vacillating tableaux / 3.1：
The bijection / 3.2：
Enumeration / 3.3：
Combinatorial analysis / 4：
Cores and Shapes / 4.1：
Cores / 4.1.1：
Shapes / 4.1.2：
Generating functions / 4.2：
The GF of cores / 4.2.1：
The GF of k-noncrossing, ?-canonical structures / 4.2.2：
Asymptotics / 4.3：
k-Noncrossing structures / 4.3.1：
Canonical structures / 4.3.2：
Modular k-noncrossing structures / 4.4：
Colored shapes / 4.4.1：
The main theorem / 4.4.2：
Probabilistic Analysis / 4.5：
Uniform generation / 5.1：
Partial matchings / 5.1.1：
Central limit theorems / 5.1.2：
The central limit theorem / 5.2.1：
Arcs and stacks / 5.2.2：
Hairpin loops, interior loops, and bulges / 5.2.3：
Discrete limit laws / 5.3：
Irreducible substructures / 5.3.1：
The limit distribution of nontrivial returns / 5.3.2：
DP folding based on loop energies / 5.4：
Secondary structures / 6.1.1：
Pseudoknot structures / 6.1.2：
Combinatorial folding / 6.2：
Motifs / 6.2.1：
Skeleta / 6.2.3：
Saturation / 6.2.4：
Neutral networks / 7：
Neutral networks as random graphs / 7.1：
The giant / 7.2：
Cells / 7.2.1：
The number of vertices contained in cells / 7.2.2：
The largest component / 7.2.3：
Neutral paths / 7.3：
Connectivity / 7.4：
References / 7.5：
Index
Introduction / 1：
RNA secondary structures / 1.1：
RNA pseudoknot structures / 1.2：
6.

図書
図書
6. Technical writing for teams : the STREAM tools handbook (pbk.)
Alexander Mamishev, Sean Williams
出版情報: Hoboken, N.J. : John Wiley & Sons, c2010  xvii, 243 p. ; 24 cm.
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Introduction / Chapter 1：
In this Chapter / 1.1：
Our Audience / 1.2：
A few horror stories / 1.2.1：
Some history / 1.2.2：
The Need For a Good "Writing System" / 1.3：
Introducing Stream Tools / 1.4：
What is STREAM Tools? / 1.4.1：
Why use STREAM Tools? / 1.4.2：
The software of STREAM Tools / 1.4.3：
Recommended packages / 1.4.3.1：
A brief comparison of Microsoft Word vs. LaTeX: history and myths / 1.4.3.2：
How to Use this Book / 1.5：
Exercises / 1.6：
Quick Start Guide For Stream Tools / Chapter 2：
A General Overview of the Writing Process / 2.1：
Introduction to Writing Quality Tools: The Stream Tools Editorial Mark-Up Table / 2.3：
Introduction to Document Design Tools / 2.4：
Important fundamental concepts / 2.4.1：
Step 1: Use template files to create your new manuscripts / 2.4.1.1：
Step 2: Copy existing elements and paste them into a new location / 2.4.1.2：
Step 3: Edit the element / 2.4.1.3：
Step 4: Cross-referencing elements / 2.4.1.4：
Creating Elements in a Document / 2.4.2：
Headings / 2.4.2.1：
Equations / 2.4.2.2：
Figures / 2.4.2.3：
Tables / 2.4.2.4：
References (literature citations) / 2.4.2.5：
Introduction to File Management: Optimizing Your Workflow / 2.5：
General principles / 2.5.1：
Using a wiki for file management / 2.5.2：
Version control / 2.5.3：
Conclusions / 2.6：
Document Design / 2.7：
Creating Templates / 3.1：
How to create and cross-reference a heading template / 3.2.1：
How to alter a heading template / 3.2.1.2：
Common formatting mistakes in headings / 3.2.1.3：
Common stylistic mistakes for headings / 3.2.1.4：
Tips and tricks / 3.2.1.5：
How to create and cross-reference an equation template / 3.2.2：
How to alter an equation template / 3.2.2.2：
Common formatting mistakes for equations / 3.2.2.3：
Common stylistic mistakes for equations / 3.2.2.4：
How to create and cross-reference a figure template / 3.2.2.5：
How to alter a figure template / 3.2.3.2：
Common formatting mistakes in figures / 3.2.3.3：
Common stylistic mistakes in figures / 3.2.3.4：
Tips and tricks for figures / 3.2.3.5：
How to create and cross-reference a table template / 3.2.4：
How to alter a table template / 3.2.4.2：
Common typesetting mistakes / 3.2.4.3：
Common stylistic mistakes in tables / 3.2.4.4：
Tips and tricks for tables / 3.2.4.5：
Front matter / 3.2.5：
Controlling page numbers / 3.2.5.1：
Table of contents / 3.2.5.2：
Back matter / 3.2.6：
Appendices / 3.2.6.1：
Indices / 3.2.6.2：
Using Multiple Templates / 3.3：
Controlling styles / 3.3.1：
Switching between single-column and double-column formats / 3.3.2：
Master documents / 3.3.3：
Practice Problems / 3.4：
Additional Resources / 3.4.1：
Using Bibliographic Databases / 3.6：
Why Use a Bibliographic Database? / 4.1：
Choice of Software / 4.3：
Using Endnote / 4.4：
Setting up the interface / 4.4.1：
Adding references / 4.4.2：
Citing references / 4.4.3：
Sharing a Database / 4.5：
Numbering the database entries / 4.5.1：
Compatibility with BiBTeX / 4.5.2：
Formatting References / 4.6：
Planning, Drafting, and Editing Documents / 4.7：
Definition Stage / 5.1：
Select your team members / 5.2.1：
Hold a kick-off meeting / 5.2.2：
Analyze the audience / 5.2.3：
Formulate the purpose / 5.2.4：
Persuasion / 5.2.4.1：
Exposition / 5.2.4.2：
Instruction / 5.2.4.3：
Select the optimum combination of STREAM Tools / 5.2.5：
Preparation Stage / 5.3：
Evaluate historical documents / 5.3.1：
Journal articles / 5.3.1.1：
Proceedings/papers / 5.3.1.2：
Theses and dissertations / 5.3.1.3：
Proposals / 5.3.1.4：
Reports / 5.3.1.5：
Populate the file repository / 5.3.2：
Create a comprehensive outline of the document / 5.3.3：
Using deductive structures / 5.3.3.1：
Using Microsoft Word's Outline feature / 5.3.3.2：
Populate all sections with "yellow text" / 5.3.4：
Distribute writing tasks among team members / 5.3.5：
Choose a drafting strategy / 5.3.5.1：
Synchronize writing styles / 5.3.5.2：
Writing Stage / 5.4：
Enter content / 5.4.1：
Legacy content / 5.4.1.1：
New content / 5.4.1.2：
Control versions of shared files / 5.4.1.3：
Request that team members submit their drafts / 5.4.2：
Verify that each section is headed in the right direction / 5.4.3：
Construct the whole document / 5.4.4：
Revise for content and distribute additional writing tasks / 5.4.5：
Comprehensive editing / 5.4.5.1：
STREAM Tools Editorial Mark-up table (STEM Table) / 5.4.5.2：
Strategies for editing electronic copy using Microsoft Word--an overview of Microsoft Word's commenting, reviewing, and proofing features / 5.4.5.3：
Distribute additional writing tasks / 5.4.6：
Completion Stage / 5.5：
Copy edit the document / 5.5.1：
Send out for a final review of content and clarity / 5.5.2：
Proofread the document / 5.5.3：
Submit the document / 5.5.4：
Conduct the final process-improvement review session / 5.5.5：
Building High Quality Writing Teams / 5.6：
Understanding the Benefits and Challenges of Teamwork / 6.1：
The payoff of teamwork / 6.2.1：
Some principle challenges of teamwork / 6.2.2：
Identifying Team Goals and Assigning Member Roles / 6.3：
Define roles and procedures clearly / 6.3.1：
Define team roles / 6.3.1.1：
Define team procedures / 6.3.1.2：
Managing Teamwork at a Distance / 6.4：
Building trust in virtual teams / 6.4.1：
Demonstrating sensitivity to cultural differences / 6.4.2：
Selecting Communication Tools To Support Teamwork / 6.5：
Wikis / 6.5.1：
Creating a wiki / 6.5.1.1：
Editing / 6.5.1.2：
Organizing / 6.5.1.3：
Monitoring edits / 6.5.1.4：
Other suggestions for wiki use / 6.5.1.5：
SharePoint / 6.5.2：
Lists / 6.5.2.1：
Web pages / 6.5.2.2：
Alerts and site management / 6.5.2.3：
Assuring Quality Writing / 6.6：
Choosing the Best Words 278 / 7.1：
Choose strong words / 7.2.1：
Use strong nouns and verbs / 7.2.1.1：
Choose words with the right level of formality / 7.2.1.2：
Avoid weak words / 7.2.2：
Check for confusing or frequently misused words / 7.2.2.1：
Avoid double negatives, and change negatives to affirmatives / 7.2.2.2：
Avoid changing verbs to nouns / 7.2.2.3：
Delete meaningless words and modifiers / 7.2.2.4：
Steer clear of jargon / 7.2.2.5：
Avoid sexist or discriminatory language / 7.2.2.6：
Writing Strong Sentences / 7.3：
Write economically / 7.3.1：
Include a variety of sentence types / 7.3.2：
Avoiding Weak Sentence Construction / 7.4：
Comma splices / 7.4.1.1：
Fragments / 7.4.1.2：
Fused or run-on sentences / 7.4.1.3：
Misplaced, dangling, or two-way modifiers / 7.4.1.4：
Faulty parallelism / 7.4.1.5：
Punctuating For Clarity / 7.5：
End punctuation / 7.5.1：
Periods / 7.5.1.1：
Question marks / 7.5.1.2：
Exclamation points / 7.5.1.3：
Commas / 7.5.2：
Semicolons / 7.5.3：
Colons / 7.5.4：
Apostrophes / 7.5.5：
Dashes and hyphens / 7.5.6：
Final Considerations / 7.6：
Abbreviations and acronyms / 7.6.1：
Capitalization / 7.6.2：
Numbers / 7.6.3：
Dates / 7.6.4：
Fractions and percentages / 7.6.5：
Units of measure / 7.6.6：
A Final Note on Grammar / 7.7：
Concluding Remarks / 7.8：
Business Case / 8.1：
Frequently Asked Questions / 8.3：
Success Stories / 8.4：
Additional Reading / 8.5：
Useful books and articles / 8.5.1：
Useful weblinks / 8.5.2：
EXERCISES / 8.6：
Preface
Acknowledgments
Introduction / Chapter 1：
7.

図書
図書
7. Synthesis of inorganic materials. 4th ed
Ulrich Schubert, Nicola Hüsing
出版情報: Weinheim : Wiley-VCH, c2019  xviii, 404 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Abbreviations
Introduction / 1：
Solid-State Reactions / 2：
Reactions Between Solid Compounds / 2.1：
Ceramic Method / 2.1.1：
General Aspects of Solid-State Reactions / 2.1.1.1：
Facilitating Solid-State Reactions / 2.1.1.2：
Mechanochemical Synthesis / 2.1.2：
Carbothermal Reduction / 2.1.3：
Combustion Synthesis / 2.1.4：
Solution Combustion Synthesis / 2.1.4.1：
Solid-Gas Reactions / 2.2：
Ceramics Processing / 2.3：
Sintering / 2.3.1：
Intercalation Reactions / 2.4：
Mechanistic Aspects / 2.4.1：
Preparative Methods / 2.4.2：
Intercalation of Polymers in Layered Systems / 2.4.3：
Pillaring of Layered Compounds / 2.4.4：
Further Reading
Formation of Solids from the Gas Phase / 3：
Chemical Vapour Transport / 3.1：
Halogen Lamps / 3.1.1：
Transport Reactions / 3.1.2：
Chemical Vapour Deposition / 3.2：
General Aspects / 3.2.1：
Techniques / 3.2.2：
Metal CVD / 3.2.3：
Silicon and Aluminium / 3.2.3.1：
Tungsten / 3.2.3.2：
Copper / 3.2.3.3：
CVD of Carbon / 3.2.4：
CVD of Binary and Multinary Compounds / 3.2.5：
Metal Oxides / 3.2.5.1：
Metal Nitrides / 3.2.5.2：
Metal Chalcogenides and Pnictides / 3.2.5.3：
Aerosol-Assisted CVD / 3.2.6：
Chemical Vapour Infiltration / 3.2.7：
Gas-Phase Powder Syntheses / 3.3：
Formation of Solids from Solutions and Melts / 4：
Glass / 4.1：
The Structural Theory of Glass Formation / 4.1.1：
Crystallization Versus Glass Formation / 4.1.2：
Glass Melting / 4.1.3：
Phase Separation / 4.1.4：
Metallic Glasses / 4.1.5：
Crystallization from Solution / 4.2：
Monodispersity / 4.2.1：
Shape Control of Crystals / 4.2.2：
Non-classical Crystallization / 4.2.3：
Biomineralization / 4.2.4：
Biogenic Materials / 4.2.4.1：
Bioinspired Materials Chemistry / 4.2.4.2：
Electrodeposition / 4.3：
Colloids / 4.3.1：
Electrodeposition of Ceramics / 4.3.2：
Solvothermal Processes / 4.4：
Fundamentals / 4.4.1：
Growing Single Crystals / 4.4.2：
Solvothermal Synthesis / 4.4.3：
Synthetic Calcium Phosphate Biomaterials / 4.4.3.1：
Zeolites / 4.4.3.3：
Sol-Gel Processes / 4.5：
The Chemistry of Alkoxide Precursors / 4.5.1：
Hydrolysis and Condensation / 4.5.2：
Silica-Based Materials / 4.5.2.1：
Metal Oxide-Based Materials / 4.5.2.2：
The Sol-Gel Transition (Gelation) / 4.5.3：
Aging and Drying / 4.5.4：
Nonhydrolytic Sol-Gel Processes / 4.5.5：
Inorganic-Organic Hybrid Materials / 4.5.6：
Aerogels / 4.5.7：
Preparation and Modification of Inorganic Polymers / 5：
Synthesis and Crosslinking / 5.1：
Copolymers / 5.1.2：
Polysiloxanes (Silicones) / 5.2：
Properties and Applications / 5.2.1：
Structure / 5.2.2：
Preparation / 5.2.3：
Curing ('Vulcanizing') / 5.2.4：
Polyphosphazenes / 5.3：
Preparation and Modification / 5.3.1：
Polysilanes / 5.4：
Polycarbosilanes / 5.4.1：
Polysilazanes and Related Polymers / 5.6：
Polymers with B-N Backbones / 5.7：
Other Inorganic Polymers / 5.8：
Other Phosphorus-Containing Polymers / 5.8.1：
Polymers with S-N Backbones / 5.8.2：
Metallopolymers / 5.8.3：
Polymer-to-Ceramic Transformation / 5.9：
Self-Assembly / 6：
Self-Assembled Monolayers / 6.1：
Metal-Organic Frameworks / 6.2：
Modularity of the Structures / 6.2.1：
Synthesis and Modification / 6.2.2：
Supramolecular Arrangements of Surfactants and Block Copolymers / 6.3：
Layer-by-Layer Assembly / 6.4：
Templating / 7：
Introduction to Porosity and High Surface Area Materials / 7.1：
Infiltration and Coating of Templates / 7.2：
Replica Technique / 7.2.1：
Sacrificial Templates / 7.2.2：
Colloidal Crystals / 7.2.2.1：
Hollow Particles / 7.2.2.2：
Direct Foaming / 7.2.3：
Nanocasting / 7.2.4：
In Situ Formation of Templates / 7.3：
Breath Figures / 7.3.1：
Freeze Casting / 7.3.2：
Supramolecular Assemblies of Amphiphiles / 7.3.3：
Synthesis of Periodic Mesoporous Silicas / 7.3.3.1：
Evaporation-Induced Self-Assembly / 7.3.3.2：
Incorporation of Organic Groups / 7.3.3.3：
Reorganization and Transformation Processes / 7.4：
Pseudomorphic Transformation / 7.4.1：
Kirkendall Effect / 7.4.2：
Galvanic Replacement / 7.4.3：
Phase Separation and Leaching / 7.4.4：
Nanomaterials / 8：
Properties of Nanomaterials / 8.1：
Properties Due to Surface Effects / 8.1.1：
Properties of Nanocrystalline Materials / 8.1.2：
Catalytic Properties / 8.1.3：
Optical Properties / 8.1.4：
Electrical Properties / 8.1.5：
Magnetic Properties / 8.1.6：
Syntheses of Nanoparticles / 8.2：
Severe Plastic Deformation / 8.2.1：
Formation from Vapours / 8.2.2：
Formation from Solution / 8.2.3：
Surface Modification with Organic Groups / 8.2.4：
One-Dimensional Nanostructures / 8.3：
Nanowires and Nanorods / 8.3.1：
Nanotubes / 8.3.2：
Carbon Nanotubes / 8.3.2.1：
Titania Nanotubes / 8.3.2.2：
Two-Dimensional Nanomaterials / 8.4：
Graphene / 8.4.1：
Other 2D Nanomaterials / 8.4.2：
Heterostructures and Composites / 8.5：
Core-Shell Nanoparticles / 8.5.1：
Vertical 2D Heterostructures / 8.5.2：
Polymer-Matrix Nanocomposites / 8.5.3：
Supported Metal Nanoparticles / 8.5.4：
Glossary
Index
Preface
Acknowledgements
Abbreviations
8.

電子ブック
ＥＢ
8. Coarse-to-Fine Natural Language Processing
Slav Petrov, Eugene Charniak
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Coarse-to-Fine Models / 1.1：
Coarse-to-Fine Inference / 1.2：
Latent Variable Grammars for Natural Language Parsing / 2：
Experimental Setup / 2.1：
Manual Grammar Refinement / 2.2：
Vertical and Horizontal Markovization / 2.2.1：
Additional Linguistic Refinements / 2.2.2：
Generative Latent Variable Grammars / 2.3：
Hierarchical Estimation / 2.3.1：
Adaptive Refinement / 2.3.2：
Smoothing / 2.3.3：
An Infinite Alternative / 2.3.4：
Inference / 2.4：
Hierarchical Coarse-to-Fine Pruning / 2.4.1：
Objective Functions for Parsing / 2.4.2：
Additional Experiments / 2.5：
Baseline Grammar Variation / 2.5.1：
Final Results WSJ / 2.5.3：
Multilingual Parsing / 2.5.4：
Corpus Variation / 2.5.5：
Training Size Variation / 2.5.6：
Analysis / 2.6：
Lexical Subcategories / 2.6.1：
Phrasal Subcategories / 2.6.2：
Multilingual Analysis / 2.6.3：
Summary and Future Work / 2.7：
Discriminative Latent Variable Grammars / 3：
Log-Linear Latent Variable Grammars / 3.1：
Single-Scale Discriminative Grammars / 3.3：
Efficient Discriminative Estimation / 3.3.1：
Experiments / 3.3.2：
Multi-scale Discriminative Grammars / 3.4：
Hierarchical Refinement / 3.4.1：
Learning Sparse Multi-scale Grammars / 3.4.2：
Additional Features / 3.4.3：
Structured Acoustic Models for Speech Recognition / 3.4.4：
Learning / 4.1：
The Hand-Aligned Case / 4.2.1：
Splitting / 4.2.2：
Merging / 4.2.3：
The Automatically-Aligned Case / 4.2.4：
Phone Recognition / 4.3：
Phone Classification / 4.4.2：
Coarse-to-Fine Machine Translation Decoding / 4.5：
Coarse-to-Fine Decoding / 5.1：
Related Work / 5.2.1：
Language Model Projections / 5.2.2：
Multipass Decoding / 5.2.3：
Inversion Transduction Grammars / 5.3：
Learning Coarse Languages / 5.4：
Random Projections / 5.4.1：
Frequency Clustering / 5.4.2：
HMM Clustering / 5.4.3：
JCluster / 5.4.4：
Clustering Results / 5.4.5：
Clustering / 5.5：
Spacing / 5.5.2：
Encoding Versus Order / 5.5.3：
Final Results / 5.5.4：
Search Error Analysis / 5.5.5：
Conclusions and Future Work / 5.6：
References
Introduction / 1：
Coarse-to-Fine Models / 1.1：
Coarse-to-Fine Inference / 1.2：
9.

電子ブック
ＥＢ
9. Theory of Hypergeometric Functions
Kazuhiko Aomoto, Michitake Kita, Toshitake Kohno, Kenji Iohara
出版情報: SpringerLink Books - AutoHoldings , Springer Japan, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction: the Euler-Gauss Hypergeometric Function / 1：
?-Function / 1.1：
Infinite-Product Representation Due to Euler / 1.1.1：
?-Function as Meromorphic Function / 1.1.2：
Connection Formula / 1.1.3：
Power Series and Higher Logarithmic Expansion / 1.2：
Hypergeometric Series / 1.2.1：
Gauss' Differential Equation / 1.2.2：
First-Order Fuchsian Equation / 1.2.3：
Logarithmic Connection / 1.2.4：
Higher Logarithmic Expansion / 1.2.5：
D-Module / 1.2.6：
Integral Representation Due to Euler and Riemann / 1.3：
Kummer's Method / 1.3.1：
Gauss' Contiguous Relations and Continued Fraction Expansion / 1.4：
Gauss' Contiguous Relation / 1.4.1：
Continued Fraction Expansion / 1.4.2：
Convergence / 1.4.3：
The Mellin-Barnes Integral / 1.5：
Summation over a Lattice / 1.5.1：
Barnes' Integral Representation / 1.5.2：
Mellin's Differential Equation / 1.5.3：
Plan from Chapter 2 / 1.6：
Representation of Complex Integrals and Twisted de Rham Cohomologies / 2：
Formulation of the Problem and Intuitive Explanation of the Twisted de Rham Theory / 2.1：
Concept of Twist / 2.1.1：
Intuitive Explanation / 2.1.2：
One-Dimensional Case / 2.1.3：
Two-Dimensional Case / 2.1.4：
Higher-Dimensional Generalization / 2.1.5：
Twisted Homology Group / 2.1.6：
Locally Finite Twisted Homology Group / 2.1.7：
Review of the de Rham Theory and the Twisted de Rham Theory / 2.2：
Preliminary from Homological Algebra / 2.2.1：
Current / 2.2.2：
Current with Compact Support / 2.2.3：
Sheaf Cohomology / 2.2.4：
The Case of Compact Support / 2.2.5：
De Rham's Theorem / 2.2.6：
Duality / 2.2.7：
Integration over a Simplex / 2.2.8：
Twisted Chain / 2.2.9：
Twisted Version of § 2.2.4 / 2.2.10：
Poincaré Duality / 2.2.11：
Reformulation / 2.2.12：
Comparison of Cohomologies / 2.2.13：
Computation of the Euler Characteristic / 2.2.14：
Construction of Twisted Cycles (1): One-Dimensional Case / 2.3：
Twisted Cycle Around One Point / 2.3.1：
Construction of Twisted Cycles / 2.3.2：
Intersection Number (i) / 2.3.3：
Comparison Theorem / 2.4：
Algebraic de Rham Complex / 2.4.1：
Cech Cohomology / 2.4.2：
Hypercohomology / 2.4.3：
Spectral Sequence / 2.4.4：
Algebraic de Rham Cohomology / 2.4.5：
Analytic de Rham Cohomology / 2.4.6：
de Rham-Saito Lemma and Representation of Logarithmic Differential Forms / 2.4.7：
Logarithmic Differential Forms / 2.5.1：
de Rham-Saito Lemma / 2.5.2：
Representation of Logarithmic Differential Forms (i) / 2.5.3：
Vanishing of Twisted Cohomology for Homogeneous Case / 2.6：
Basic Operators / 2.6.1：
Homotopy Formula / 2.6.2：
Eigenspace Decomposition / 2.6.3：
Vanishing Theorem (i) / 2.6.4：
Filtration of Logarithmic Complex / 2.7：
Filtration / 2.7.1：
Comparison with Homogeneous Case / 2.7.2：
Isomorphism / 2.7.3：
Vanishing Theorem of the Twisted Rational de Rham Cohomology / 2.8：
Vanishing of Logarithmic de Rham Cohomology / 2.8.1：
Vanishing of Algebraic de Rham Cohomology / 2.8.2：
Example / 2.8.3：
Arrangement of Hyperplanes in General Position / 2.9：
Vanishing Theorem (ii) / 2.9.1：
Representation of Logarithmic Differential Forms (ii) / 2.9.2：
Reduction of Poles / 2.9.3：
Basis of Cohomology / 2.9.4：
Arrangement of Hyperplanes and Hypergeometric Functions over Grassmannians / 3：
Classical Hypergeometric Series and Their Generalizations, in Particular, Hypergeometric Series of Type (n + 1, m + 1) / 3.1：
Definition / 3.1.1：
Simple Examples / 3.1.2：
Hypergeometric Series of Type (n + 1, m + 1) / 3.1.3：
Appell-Lauricella Hypergeometric Functions (i) / 3.1.4：
Appell-Lauricella Hypergeometric Functions (ii) / 3.1.5：
Restriction to a Sublattice / 3.1.6：
Examples / 3.1.7：
Appell-Lauricella Hypergeometric Functions (iii) / 3.1.8：
Horn's Hypergeometric Functions / 3.1.9：
Construction of Twisted Cycles (2): For an Arrangement of Hyperplanes in General Positiion / 3.2：
Bounded Chambers / 3.2.1：
Basis of Locally Finite Homology / 3.2.3：
Regularization of Integrals / 3.2.4：
Kummer's Method for Integral Representations and Its Modernization via the Twisted de Rham Theory: Integral Representations of Hypergeometric Series of Type (n + 1, m +1) / 3.3：
Higher-Dimensional Case / 3.3.1：
Elementary Integral Representations / 3.3.4：
Hypergeometric Function of Type (3,6) / 3.3.5：
Hypergeometric Functions of Type (n + 1, m + 1) / 3.3.6：
Horn's Cases / 3.3.7：
System of Hypergeometric Differential Equations E(n + 1, m + 1; ?) / 3.4：
Hypergeometric Integral of Type (n + 1, m + 1; ?) / 3.4.1：
Differential Equation E(n + 1, m + 1; ?) / 3.4.2：
Equivalent System / 3.4.3：
Integral Solutions of E(n + 1, m + 1; ?) and Wronskian / 3.5：
Hypergeometric Integrals as a Basis / 3.5.1：
Gauss' Equation E'(2, 4; ?') / 3.5.2：
Appell-Lauricella Hypergeometric Differential Equation E'(2, m + 1; ?') / 3.5.3：
Equation E'(3.6; ?') / 3.5.4：
Equation E'(4, 8; ?') / 3.5.5：
General Cases / 3.5.6：
Wronskian / 3.5.7：
Varchenko's Formula / 3.5.8：
Intersection Number (ii) / 3.5.9：
Twisted Riemann's Period Relations and Quadratic Relations of Hypergeometric Functions / 3.5.10：
Determination of the Rank of E(n + 1, m + 1; ?) / 3.6：
Equation E'(n + 1, m + 1; ?') / 3.6.1：
Equation E'(2,4; ?') / 3.6.2：
Equation E'(2, m + 1; ?') / 3.6.3：
Equation E'(3, 6; ?') / 3.6.4：
Duality of E(n + 1, m + 1; ?) / 3.6.5：
Duality of Equations / 3.7.1：
Duality of Grassmannians / 3.7.2：
Duality of Hypergeometric Functions / 3.7.3：
Duality of Integral Representations / 3.7.4：
Logarithmic Gauss-Manin Connection Associated to an Arrangement of Hyperplanes in General Position / 3.7.5：
Review of Notation / 3.8.1：
Variational Formula / 3.8.2：
Partial Fraction Expansion / 3.8.3：
Logarithmic Gauss-Manin Connection / 3.8.4：
Holonomic Difference Equations and Asymptotic Expansion / 4：
Existence Theorem Due to G.D. Birkhoff and Infinite- Product Representation of Matrices / 4.1：
Normal Form of Matrix-Valued Function / 4.1.1：
Asymptotic Form of Solutions / 4.1.2：
Existence Theorem (i) / 4.1.3：
Infinite-Product Representation of Matrices / 4.1.4：
Gauss' Decomposition / 4.1.5：
Regularization of the Product / 4.1.6：
Convergence of the First Column / 4.1.7：
Asymptotic Estimate of Infinite Product / 4.1.8：
Convergence of Lower Triangular Matrices / 4.1.9：
Asymptotic Estimate of Lower Triangular Matrices / 4.1.10：
Difference Equation Satisfied by Upper Triangular Matrices / 4.1.11：
Resolution of Difference Equations / 4.1.12：
Completion of the Proof / 4.1.13：
Holonomic Difference Equations in Several Variables and Asymptotic Expansion / 4.2：
Holonomic Difference Equations of First Order / 4.2.1：
Formal Asymptotic Expansion / 4.2.2：
Normal Form of Asymptotic Expansion / 4.2.3：
Existence Theorem (ii) / 4.2.4：
Connection Problem / 4.2.5：
Remark on 1-Cocyles / 4.2.6：
Gauss' Contiguous Relations / 4.2.8：
Saddle Point Method and Asymptotic Expansion / 4.2.9：
Contracting (Expanding) Twisted Cycles and Asymptotic Expansion / 4.3：
Twisted Cohomology / 4.3.1：
Saddle Point Method for Multi-Dimensional Case / 4.3.2：
Complete Kähler Metric / 4.3.3：
Gradient Vector Field / 4.3.4：
Critical Points / 4.3.5：
Vanishing Theorem (iii) / 4.3.6：
Application of the Morse Theory / 4.3.7：
n-Dimensional Lagrangian Cycles / 4.3.8：
n-Dimensional Twisted Cycles / 4.3.9：
Geometric Meaning of Asymptotic Expansion / 4.3.10：
Difference Equations Satisfied by the Hypergeometric Functions of Type (n + l, m +1; ?) / 4.4：
Derivation of Difference Equations / 4.4.1：
Asymptotic Expansion with a Fixed Direction / 4.4.3：
Non-Degeneracy of Period Matrix / 4.4.4：
Connection Problem of System of Difference Equations / 4.5：
Formulation / 4.5.1：
The Case of Appell-Lauricella Hypergeometric Functions / 4.5.2：
Mellin's Generalized Hypergeometric Functions / A：
Toric Multinomial Theorem / A.1：
Differential Equations of Mellin Type / A.4：
b-Functions / A.6：
Action of Algebraic Torus / A.7：
Vector Fields of Torus Action / A.8：
Lattice Defined by the Characters / A.9：
G-G-Z Equation / A.10：
The Selberg Integral and Hypergeometric Function of BC Type / A.11：
Selberg's Integral / B.1：
Generalization to Correlation Functions / B.2：
Monodromy Representation of Hypergeometric Functions of Type (2, m + 1; ?) / C：
Isotopic Deformation and Monodromy / C.1：
KZ Equation (Toshitake Kohno) / D：
Knizhnik-Zamolodchikov Equation / D.1：
Review of Conformal Field Theory / D.2：
Connection Matrices of KZ Equation / D.3：
Iwahori-Hecke Algebra and Quasi-Hopf Algebras / D.4：
Kontsevich Integral and Its Application / D.5：
Integral Representation of Solutions of the KZ Equation / D.6：
References
Index
Introduction: the Euler-Gauss Hypergeometric Function / 1：
?-Function / 1.1：
Infinite-Product Representation Due to Euler / 1.1.1：
10.

電子ブック
ＥＢ
10. Semantic Web Services
Dieter Fensel, Federico Michele Facca, Elena Simperl, Ioan Toma
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Scientific and Technological Foundations of Semantic Web Services / Part I：
Introduction / 1：
Web Science / 2：
Motivation / 2.1：
Technical Solution / 2.2：
History of the Web / 2.2.1：
Building the Web / 2.2.2：
Web in Society / 2.2.3：
Operationalizing the Web Science for a World of International Commerce / 2.2.4：
Analyzing the Web / 2.2.5：
Web 2.0 / 2.3：
Conclusions / 2.4：
References
Service Science / 3：
What Is a Service? / 3.1：
Service Analysis, Design, Development and Testing / 3.3：
Service Orchestration, Composition and Delivery / 3.4：
Service Innovation / 3.5：
Service Design Approach / 3.6：
Service Pricing Method and Economics / 3.7：
Service Quality Measurement / 3.8：
Service Technologies / 3.9：
Service Application / 3.10：
Web Services / 3.11：
Service Oriented Computing (SOC) / 4.1：
Service Oriented Architecture (SOA) / 4.1.2：
Defining Web Services / 4.2：
Web Service Technologies / 4.2.2：
Illustration by a Larger Example / 4.3：
Summary / 4.4：
Exercises / 4.5：
Web2.0 and RESTful Services / 5：
REST / 5.1：
Describing RESTful Services / 5.2.2：
Data Exchange for RESTful Services / 5.2.3：
AJAX APIs / 5.2.4：
Examples of RESTful Services / 5.2.5：
Semantic Web / 5.3：
Extensions / 6.1：
Web Service Modeling Ontology Approach / 6.4：
Web Service Modeling Ontology / 7：
Ontologies / 7.1：
Goals / 7.2.2：
Mediators / 7.2.4：
The Web Service Modeling Language / 7.3：
Principles of WSMO / 8.1：
Logics Families and Semantic Web Services / 8.1.2：
WSML Language Variants / 8.2：
WSML Basis / 8.2.2：
Ontologies in WSML / 8.2.3：
Web Services in WSML / 8.2.4：
Goals in WSML / 8.2.5：
Mediators in WSML / 8.2.6：
Technologies for Using WSML / 8.2.7：
Travel Ontology / 8.3：
Services / 8.4.2：
Goal / 8.4.3：
The Web Service Execution Environment / 8.5：
Service Orientation / 9.1：
Execution Environment for Semantic Web Services / 9.1.2：
Governing Principles / 9.1.3：
SESA Vision / 9.2：
SESA Middleware / 9.2.2：
SESA Execution Semantics / 9.2.3：
Modeling of Business Services / 9.3：
Execution of Services / 9.3.2：
Possible Extensions / 9.4：
Goal Subscription / 9.4.1：
Complementary Approaches for Web Service Modeling Ontology / 9.5：
Triple Space Computing for Semantic Web Services / 10：
Tuplespace Computing / 10.1：
Triple Space Computing / 10.2.2：
Triple Space Conceptual Models / 10.2.3：
Triple Space Architecture / 10.2.4：
Triple Space and Semantic Web Services / 10.2.5：
Triple Space and Semantic SOA / 10.2.6：
OWL-S and Other Approaches / 10.3：
OWL-S / 11.2.1：
Service Profile
Service Grounding / 11.2.2：
Service Model / 11.2.3：
An Extension to OWL-S / 11.2.4：
Tool Support / 11.2.5：
OWL-S Summary / 11.2.6：
METEOR-S / 11.3：
Semantic Annotation of Web services / 11.3.1：
Semantics-Based Discovery of Web Services / 11.3.2：
Composition of Web Services / 11.3.3：
METEOR-S Summary / 11.3.4：
IRS-III / 11.4：
Discovery, Selection and Mediation / 11.4.1：
Communication / 11.4.2：
Choreography and Orchestration / 11.4.3：
Lightweight Semantic Web Service Descriptions / 11.5：
SAWSDL / 12.1：
WSMO-Lite Service Semantics / 12.2.2：
WSMO-Lite in SAWSDL / 12.2.3：
WSMO-Lite for RESTful Services / 12.2.4：
Real-World Adoption of Semantic Web Services / 12.3：
What Are SWS Good for? DIP, SUPER, and SOA4All Use Cases / 13：
Data, Information, and Process Integration with Semantic Web Services (DIP) / 13.1：
Use Cases / 13.2.1：
Semantics Utilized for Process Management Within and Between Enterprises (SUPER) / 13.3：
Service Oriented Architectures for All (SOA4All) / 13.3.1：
Seekda: The Business Point of View / 13.4.1：
Crawler / 14.1：
Search Engine / 14.2.2：
Bundle Configurator and Assistant / 14.2.3：
Index / 14.3：
Scientific and Technological Foundations of Semantic Web Services / Part I：
Introduction / 1：
Web Science / 2：
11.

電子ブック
ＥＢ
11. Semantic Web Services
Dieter Fensel, Federico Michele Facca, Elena Simperl, Ioan Toma
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Scientific and Technological Foundations of Semantic Web Services / Part I：
Introduction / 1：
Web Science / 2：
Motivation / 2.1：
Technical Solution / 2.2：
History of the Web / 2.2.1：
Building the Web / 2.2.2：
Web in Society / 2.2.3：
Operationalizing the Web Science for a World of International Commerce / 2.2.4：
Analyzing the Web / 2.2.5：
Web 2.0 / 2.3：
Conclusions / 2.4：
References
Service Science / 3：
What Is a Service? / 3.1：
Service Analysis, Design, Development and Testing / 3.3：
Service Orchestration, Composition and Delivery / 3.4：
Service Innovation / 3.5：
Service Design Approach / 3.6：
Service Pricing Method and Economics / 3.7：
Service Quality Measurement / 3.8：
Service Technologies / 3.9：
Service Application / 3.10：
Web Services / 3.11：
Service Oriented Computing (SOC) / 4.1：
Service Oriented Architecture (SOA) / 4.1.2：
Defining Web Services / 4.2：
Web Service Technologies / 4.2.2：
Illustration by a Larger Example / 4.3：
Summary / 4.4：
Exercises / 4.5：
Web2.0 and RESTful Services / 5：
REST / 5.1：
Describing RESTful Services / 5.2.2：
Data Exchange for RESTful Services / 5.2.3：
AJAX APIs / 5.2.4：
Examples of RESTful Services / 5.2.5：
Semantic Web / 5.3：
Extensions / 6.1：
Web Service Modeling Ontology Approach / 6.4：
Web Service Modeling Ontology / 7：
Ontologies / 7.1：
Goals / 7.2.2：
Mediators / 7.2.4：
The Web Service Modeling Language / 7.3：
Principles of WSMO / 8.1：
Logics Families and Semantic Web Services / 8.1.2：
WSML Language Variants / 8.2：
WSML Basis / 8.2.2：
Ontologies in WSML / 8.2.3：
Web Services in WSML / 8.2.4：
Goals in WSML / 8.2.5：
Mediators in WSML / 8.2.6：
Technologies for Using WSML / 8.2.7：
Travel Ontology / 8.3：
Services / 8.4.2：
Goal / 8.4.3：
The Web Service Execution Environment / 8.5：
Service Orientation / 9.1：
Execution Environment for Semantic Web Services / 9.1.2：
Governing Principles / 9.1.3：
SESA Vision / 9.2：
SESA Middleware / 9.2.2：
SESA Execution Semantics / 9.2.3：
Modeling of Business Services / 9.3：
Execution of Services / 9.3.2：
Possible Extensions / 9.4：
Goal Subscription / 9.4.1：
Complementary Approaches for Web Service Modeling Ontology / 9.5：
Triple Space Computing for Semantic Web Services / 10：
Tuplespace Computing / 10.1：
Triple Space Computing / 10.2.2：
Triple Space Conceptual Models / 10.2.3：
Triple Space Architecture / 10.2.4：
Triple Space and Semantic Web Services / 10.2.5：
Triple Space and Semantic SOA / 10.2.6：
OWL-S and Other Approaches / 10.3：
OWL-S / 11.2.1：
Service Profile
Service Grounding / 11.2.2：
Service Model / 11.2.3：
An Extension to OWL-S / 11.2.4：
Tool Support / 11.2.5：
OWL-S Summary / 11.2.6：
METEOR-S / 11.3：
Semantic Annotation of Web services / 11.3.1：
Semantics-Based Discovery of Web Services / 11.3.2：
Composition of Web Services / 11.3.3：
METEOR-S Summary / 11.3.4：
IRS-III / 11.4：
Discovery, Selection and Mediation / 11.4.1：
Communication / 11.4.2：
Choreography and Orchestration / 11.4.3：
Lightweight Semantic Web Service Descriptions / 11.5：
SAWSDL / 12.1：
WSMO-Lite Service Semantics / 12.2.2：
WSMO-Lite in SAWSDL / 12.2.3：
WSMO-Lite for RESTful Services / 12.2.4：
Real-World Adoption of Semantic Web Services / 12.3：
What Are SWS Good for? DIP, SUPER, and SOA4All Use Cases / 13：
Data, Information, and Process Integration with Semantic Web Services (DIP) / 13.1：
Use Cases / 13.2.1：
Semantics Utilized for Process Management Within and Between Enterprises (SUPER) / 13.3：
Service Oriented Architectures for All (SOA4All) / 13.3.1：
Seekda: The Business Point of View / 13.4.1：
Crawler / 14.1：
Search Engine / 14.2.2：
Bundle Configurator and Assistant / 14.2.3：
Index / 14.3：
Scientific and Technological Foundations of Semantic Web Services / Part I：
Introduction / 1：
Web Science / 2：
12.

電子ブック
ＥＢ
12. Dynamical Systems and Chaos
Henk Broer, Floris Takens
出版情報: SpringerLink Books - AutoHoldings , Springer New York, 2011
所蔵情報: loading…
目次情報: 続きを見る
Examples and definitions of dynamical phenomena / 1：
The pendulum as a dynamical system / 1.1：
The free pendulum / 1.1.1：
The free undamped pendulum / 1.1.1.1：
The free damped pendulum / 1.1.1.2：
The forced pendulum / 1.1.2：
Summary and outlook / 1.1.3：
General definition of dynamical systems / 1.2：
Differential equations / 1.2.1：
Constructions of dynamical systems / 1.2.2：
Restriction / 1.2.2.1：
Discretisation / 1.2.2.2：
Suspension and poincaré map / 1.2.2.3：
Further examples of dynamical systems / 1.3：
A Hopf bifurcation in the Van der Pol equation / 1.3.1：
The Van der Pol equation / 1.3.1.1：
Hopf bifurcation / 1.3.1.2：
The Hénon map: Saddle points and separatrices / 1.3.2：
The logistic system: Bifurcation diagrams / 1.3.3：
The Newton algorithm / 1.3.4：
R U {∞} as a circle: Stereographic projection / 1.3.4.1：
Applicability of the Newton algorithm / 1.3.4.2：
Nonconvergent Newton algorithm / 3.3.4.1：
Newton algorithm in higher dimensions
Dynamical systems defined by partial differential equations / 1.3.5：
The 1-dimensional wave equation / 1.3.5.1：
Solution of the 1-dimensional wave equation / 1.3.5.2：
The 1-dimensional heat equation / 3.3.5.3：
The Lorenz attractor / 1.3.6：
The Lorenz system; the Lorenz attractor / 1.3.6.1：
Sensitive dependence on initial state / 1.3.6.2：
The Rössler attractor; Poincaré map / 1.3.7：
The Rössler system / 1.3.7.1：
The attractor of the Poincaré map / 1.3.7.2：
The doubling map and chaos / 1.3.8：
The doubling map on the interval / 1.3.8.1：
The doubling map on the circle / 1.3.8.2：
The doubling map in symbolic dynamics / 1.3.8.3：
Analysis of the doubling map in symbolic form / 1.3.8.4：
General shifts / 1.3.9：
Exercises / 1.4：
Qualitative properties and predictability of evolutions / 2：
Stationary and periodic evolutions / 2.1：
Predictability of periodic and stationary motions / 2.1.1：
Asymptotically and eventually periodic evolutions / 2.1.2：
Multi- and quasi-periodic evolutions / 2.2：
The n-dimensional torus / 2.2.1：
Translations on a torus / 2.2.2：
Translation systems on the 1 -dimensional torus / 2.2.2.1：
Translation systems on the 2-dimensional torus with time set R / 2.2.2.2：
Translation systems on the n-dimensional torus with time set R / 2.2.2.3：
Translation systems on the n-dimensional torus with time set Z or Z+ / 2.2.2.4：
General definition of multi- and quasi-periodic evolutions / 2.2.3：
Multi- and quasi-periodic subsystems / 2.2.3.1：
Example: The driven Van der Pol equation / 2.2.3.2：
The prediction principle l'histoire se répète / 2.2.4：
The general principle / 2.2.4.1：
Application to quasi-periodic evolutions / 2.2.4.2：
Historical remarks / 2.2.5：
Chaotic evolutions / 2.3：
Badly predictable (chaotic) evolutions of the doubling map / 2.3.1：
Definition of dispersion exponent and chaos / 2.3.2：
Properties of the dispersion exponent / 2.3.3：
'Transition' from quasi-periodic to stochastic / 2.3.3.1：
'Transition' from periodic to chaotic / 2.3.3.2：
'Transition' from chaotic to stochastic / 2.3.3.3：
Chaotic evolutions in the examples of Chapter 1 / 2.3.4：
Chaotic evolutions of the Thom map / 2.3.5：
Persistence of dynamical properties / 2.4：
Variation of initial state / 3.1：
Variation of parameters / 3.2：
Persistence of stationary and periodic evolutions / 3.3：
Persistence of stationary evolutions / 3.3.1：
Persistence of periodic evolutions / 3.3.2：
Persistence for the doubling map / 3.4：
Perturbations of the doubling map: Persistent chaoticity / 3.4.1：
Structural stability / 3.4.2：
The doubling map modelling a (fair) coin / 3.4.3：
Global structure of dynamical systems / 3.5：
Definitions / 4.1：
Examples of attractors / 4.2：
The doubling map and hyperbolic attractors / 4.2.1：
The doubling map on the plane / 4.2.1.1：
The doubling map in 3-space: The solenoid / 4.2.1.2：
Digression on hyperbolicity / 4.2.1.3：
The solenoid as a hyperbolic attractor / 4.2.1.4：
Properties of hyperbolic attractors / 4.2.1.5：
Nonhyperbolic attractors / 4.2.2：
Hénon-like attractors / 4.2.2.1：
Chaotic systems / 4.2.2.2：
Basin boundaries and the horseshoe map / 4.4：
Gradient systems / 4.4.1：
The horseshoe map / 4.4.2：
Symbolic dynamics / 4.4.2.1：
Horseshoelike sets in basin boundaries / 4.4.2.2：
On KAM theory / 4.5：
Introduction, setting of the problem / 5.1：
KAM theory of circle maps / 5.2：
Preliminaries / 5.2.1：
Formal considerations and small divisors / 5.2.2：
Resonance tongues / 5.2.3：
KAM theory of area-preserving maps / 5.3：
KAM theory of holomorphic maps / 5.4：
Complex linearisation / 5.4.1：
Cremer's example in Herman's version / 5.4.2：
The linear small divisor problem / 5.5：
Motivation / 5.5.1：
Setting of the problem and formal solution / 5.5.2：
Convergence / 5.5.3：
Reconstruction and time series analysis / 5.6：
Introduction / 6.1：
An experimental example: The dripping faucet / 6.2：
The reconstruction theorem / 6.3：
Generalisations / 6.3.1：
Continuous time / 6.3.1.1：
Multidimensional measurements / 6.3.1.2：
Endomorphisms / 6.3.1.3：
Compactness / 6.3.1.4：
Historical note / 6.3.2：
Reconstruction and detecting determinism / 6.4：
Box-counting dimension and its numerical estimation / 6.4.1：
Numerical estimation of the box-counting dimension / 6.4.2：
Box-counting dimension as an indication for 'thin' subsets / 6.4.3：
Estimation of topological entropy / 6.4.4：
Stationarity and reconstruction measures / 6.5：
Probability measures defined by relative frequencies / 6.5.1：
Definition of stationarity and reconstruction measures / 6.5.2：
Examples of nonexistence of reconstruction measures / 6.5.3：
Correlation dimensions and entropies / 6.6：
Miscellaneous remarks / 6.6.1：
Compatibility of the definitions of dimension and entropy with reconstruction / 6.6.2.1：
Generalised correlation integrals, dimensions, and entropies / 6.6.2.2：
Numerical estimation of correlation integrals, dimensions, entropies / 6.7：
Classical time series analysis, correlation integrals, and predictability / 6.8：
Classical time series analysis / 6.8.1：
Optimal linear predictors / 6.8.1.1：
Gaussian time series / 6.8.1.2：
Determinism and Autocovariances / 6.8.2：
Predictability and correlation integrals / 6.8.3：
L'histoire se répète / 6.8.3.1：
Local linear predictors / 6.8.3.2：
Miscellaneous subjects / 6.9：
Lyapunov exponents / 6.9.1：
Estimation of Lyapunov exponents from a time series / 6.9.2：
The Kantz-Diks test: Discriminating between time series and testing for reversibility / 6.9.3：
Differential topology and measure theory / 6.10：
Topology / A.1：
Differentiable manifolds / A.2：
Measure theory / A.3：
Miscellaneous KAM theory / Appendix B：
Classical (conservative) KAM theory / B.1：
Dissipative KAM theory / B.3：
On the KAM proof in the dissipative case / B.4：
Reformulation and some notation / B.4.1：
On the Newtonian iteration / B.4.2：
Miscellaneous bifurcations / B.5：
Local bifurcations of low codimension / C.1：
Saddle-node bifurcation / C.1.1：
Period doubling bifurcation / C.1.2：
Hopf-Neimark-Sacker bifurcation / C.1.3：
The center-saddle bifurcation / C.1.5：
Quasi-periodic bifurcations / C.2：
The quasi-periodic center-saddle bifurcation / C.2.1：
The quasi-periodic Hopf bifurcation / C.2.2：
Transition to chaos / C.3：
Derivation of the Lorenz equations / C.4：
Geometry and flow of an incompressible fluid / D.1：
Heat transport and the influence of temperature / D.2：
Rayleigh stability analysis / D.3：
Restriction to a 3-dimensionaI state space / D.4：
Guide to the literature / Appendix E：
General references / E.1：
On ergodic theory / E.2：
On Hamiltonian dynamics / E.3：
On normal forms and bifurcations / E.4：
Bibliography
Index
Examples and definitions of dynamical phenomena / 1：
The pendulum as a dynamical system / 1.1：
The free pendulum / 1.1.1：
13.

電子ブック
ＥＢ
13. Spyware and Adware
John Daniel Aycock
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
Getting There / 2：
Installation / 2.1：
Explicit, Voluntary Installation / 2.1.1：
Drive-by Downloads, User Involvement / 2.1.2：
Drive-by Downloads, No User Involvement / 2.1.3：
Installation via Malware / 2.1.4：
Startup / 2.2：
Application-Specific Startup / 2.2.1：
GUI Startup / 2.2.2：
System Startup / 2.2.3：
Kernel Startup / 2.2.4：
Defenses / 2.2.5：
Staying There / 3：
Avoiding Detection / 3.1：
Basic Detection Avoidance / 3.1.1：
Anti-Spyware / 3.1.2：
Advanced Detection Avoidance: Rootkits / 3.1.3：
Avoiding Uninstall / 3.2：
Passive Avoidance / 3.2.1：
Active Avoidance / 3.2.2：
Keylogging / 4：
User Space Keylogging / 4.1：
Polling / 4.1.1：
Event Copying / 4.1.2：
Event Monitoring / 4.1.3：
User Space Keylogging Defenses / 4.2：
Authentication / 4.3：
Phoning Home / 5：
Push vs. Pull / 5.1：
Finding Home / 5.2：
Steganography / 5.3：
Information Leaking Defenses / 5.4：
Advertising / 6：
Types of Advertisement / 6.1：
Banner Advertisement / 6.1.1：
Banner Advertisement with Pull-down Menu / 6.1.2：
Expandable Banner Advertisement / 6.1.3：
Pushdown Banner Advertisement / 6.1.4：
Pop-up Advertisement / 6.1.5：
Pop-under Advertisement / 6.1.6：
Floating Advertisement / 6.1.7：
Tear-back Advertisement / 6.1.8：
In-text Advertisement / 6.1.9：
Transition Advertisement / 6.1.10：
Video Advertisements / 6.1.11：
Intent and Content / 6.2：
Advertisement Implementation / 7：
Implementation Location / 7.1：
Implementation on the User Machine / 7.1.1：
Implementation in the Network / 7.1.2：
Implementation near the User Machine / 7.1.3：
Implementation on the Server / 7.1.4：
Choosing Keywords / 7.2：
Blocking Advertisements / 7.3：
Pop-up Blocking / 7.3.1：
General Advertisement Blocking / 7.3.2：
Blocker Evasion and Blocker Blocking / 7.3.3：
Tracking Users
Cookies / 8.1：
Other Browser-Related Tracking Methods / 8.1.1：
User Profiling / 8.2：
Cognitive Styles, Mood, and Personality / 8.2.1：
Future Actions / 8.2.2：
Demographic Information / 8.2.3：
Social Networks / 8.2.4：
Real World Activities / 8.2.5：
Physical of Location / 8.2.6：
Search Terms and keywords / 8.2.7：
Disinterests / 8.2.8：
Conclusion / 9：
References
Index
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
14.

電子ブック
ＥＢ
14. 2nd Workshop on Specialty Optical Fibers and Their Applications (WSOF-2)
Hern??ndez-cordero
出版情報: SPIE Digital Library Proceedings , 2010
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Spyware and Adware
John Daniel Aycock
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
Getting There / 2：
Installation / 2.1：
Explicit, Voluntary Installation / 2.1.1：
Drive-by Downloads, User Involvement / 2.1.2：
Drive-by Downloads, No User Involvement / 2.1.3：
Installation via Malware / 2.1.4：
Startup / 2.2：
Application-Specific Startup / 2.2.1：
GUI Startup / 2.2.2：
System Startup / 2.2.3：
Kernel Startup / 2.2.4：
Defenses / 2.2.5：
Staying There / 3：
Avoiding Detection / 3.1：
Basic Detection Avoidance / 3.1.1：
Anti-Spyware / 3.1.2：
Advanced Detection Avoidance: Rootkits / 3.1.3：
Avoiding Uninstall / 3.2：
Passive Avoidance / 3.2.1：
Active Avoidance / 3.2.2：
Keylogging / 4：
User Space Keylogging / 4.1：
Polling / 4.1.1：
Event Copying / 4.1.2：
Event Monitoring / 4.1.3：
User Space Keylogging Defenses / 4.2：
Authentication / 4.3：
Phoning Home / 5：
Push vs. Pull / 5.1：
Finding Home / 5.2：
Steganography / 5.3：
Information Leaking Defenses / 5.4：
Advertising / 6：
Types of Advertisement / 6.1：
Banner Advertisement / 6.1.1：
Banner Advertisement with Pull-down Menu / 6.1.2：
Expandable Banner Advertisement / 6.1.3：
Pushdown Banner Advertisement / 6.1.4：
Pop-up Advertisement / 6.1.5：
Pop-under Advertisement / 6.1.6：
Floating Advertisement / 6.1.7：
Tear-back Advertisement / 6.1.8：
In-text Advertisement / 6.1.9：
Transition Advertisement / 6.1.10：
Video Advertisements / 6.1.11：
Intent and Content / 6.2：
Advertisement Implementation / 7：
Implementation Location / 7.1：
Implementation on the User Machine / 7.1.1：
Implementation in the Network / 7.1.2：
Implementation near the User Machine / 7.1.3：
Implementation on the Server / 7.1.4：
Choosing Keywords / 7.2：
Blocking Advertisements / 7.3：
Pop-up Blocking / 7.3.1：
General Advertisement Blocking / 7.3.2：
Blocker Evasion and Blocker Blocking / 7.3.3：
Tracking Users
Cookies / 8.1：
Other Browser-Related Tracking Methods / 8.1.1：
User Profiling / 8.2：
Cognitive Styles, Mood, and Personality / 8.2.1：
Future Actions / 8.2.2：
Demographic Information / 8.2.3：
Social Networks / 8.2.4：
Real World Activities / 8.2.5：
Physical of Location / 8.2.6：
Search Terms and keywords / 8.2.7：
Disinterests / 8.2.8：
Conclusion / 9：
References
Index
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
16.

図書
図書
16. Freshwater algae : identification and use as bioindicators
Edward Bellinger and David C. Sigee
出版情報: Chichester, West Sussex, UK ; Hoboken, N.J. : Wiley-Blackwell, 2010  viii, 271 p ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction to freshwater algae / 1：
General introduction / 1.1：
Algae / 1.1.1：
Algae as primary producers / 1.1.2：
Freshwater environments / 1.1.3：
Planktonic and benthic algae / 1.1.4：
Size and shape / 1.1.5：
Taxonomic variation / 1.2：
Microscopical appearance / 1.2.1：
Biochemistry / 1.2.2：
Molecular characteristics and identification / 1.2.3：
Blue-green algae / 1.3：
Cytology / 1.3.1：
Morphological and taxonomic diversity / 1.3.2：
Ecology / 1.3.3：
Blue-green algae as bioindicators / 1.3.4：
Green algae / 1.4：
Morphological diversity / 1.4.1：
Green algae as bioindicators / 1.4.3：
Euglenoids / 1.5：
Euglenoids as bioindicators / 1.5.1：
Yellow-green algae / 1.6：
Yellow-green algae as bioindicators / 1.6.1：
Dinoflagellates / 1.7：
Cryptomonads / 1.7.1：
Comparison with euglenoid algae / 1.8.1：
Biodiversity / 1.8.3：
Cryptomonads as bioindicators / 1.8.4：
Chrysophytes / 1.9：
Chrysophytes as bioindicators / 1.9.1：
Diatoms / 1.10：
Diatoms as bioindicators / 1.10.1：
Red algae / 1.11：
Brown algae / 1.12：
Sampling, biomass estimation and counts of freshwater algae A Planktonic algae / 2：
Protocol for collection / 2.1：
Standing water phytoplankton / 2.1.1：
River phytoplankton
Mode of collection / 2.2：
Phytoplankton trawl net / 2.2.1：
Volume samplers / 2.2.2：
Integrated sampling / 2.2.3：
Sediment traps / 2.2.4：
Phytoplankton biomass / 2.3：
Turbidity / 2.3.1：
Dry weight and ash-free dry weight / 2.3.2：
Pigment concentrations / 2.3.3：
Flow cytometry / 2.4：
Microscope counts of species populations / 2.5：
Sample preservation and processing / 2.5.1：
Species counts / 2.5.2：
Conversion of species counts to biovolumes / 2.5.3：
Chemical cleaning of diatoms / 2.5.4：
Diversity within species populations / 2.6：
Molecular analysis / 2.6.1：
Analytical microscopical techniques B Non-planktonic algae / 2.6.2：
Deep water benthic algae / 2.7：
Benthic-pelagic coupling / 2.7.1：
Benthic algae and sediment stability / 2.7.2：
Invertebrate grazing of benthic algae / 2.7.3：
Shallow water communities / 2.8：
Substrate / 2.8.1：
Algal communities / 2.8.2：
Algal biofilms / 2.9：
Mucialginous biofilms / 2.9.1：
Biomass / 2.9.2：
Taxonomic composition / 2.9.3：
Matrix structure / 2.9.4：
Periphyton? algal mats / 2.10：
Inorganic substratum / 2.10.1：
Plant surfaces / 2.10.2：
Algae as bioindicators / 3：
Bioindicators and water quality / 3.1：
Biomarkers and bioindicators / 3.1.1：
Characteristics of bioindicators / 3.1.2：
Biological monitoring versus chemical measurements / 3.1.3：
Monitoring water quality: objectives / 3.1.4：
Lakes / 3.2：
Contemporary planktonic and attached algae as bioindicators / 3.2.1：
Fossil algae as bioindicators: lake sediment analysis / 3.2.2：
Water quality parameters / 3.2.3：
Wetlands / 3.3：
Rivers / 3.4：
The periphyton community / 3.4.1：
River diatoms / 3.4.2：
Evaluation of the diatom community / 3.4.3：
Human impacts and diatom indices / 3.4.4：
Calculation of diatom indices / 3.4.5：
Practical applications of diatom indices / 3.4.6：
Estuaries / 3.5：
Ecosystem complexity / 3.5.1：
Algae as estuarine bioindicators / 3.5.2：
A key to the more frequently occurring freshwater algae / 4：
Introduction to the key / 4.1：
Using the key / 4.1.1：
Morphological groupings / 4.1.2：
Key to the main genera and species / 4.2：
List of algae included and their occurrence in the key / 4.3：
Algal identification: bibliography / 4.4：
Glossary
References
Index
Introduction to freshwater algae / 1：
General introduction / 1.1：
Algae / 1.1.1：
17.

電子ブック
ＥＢ
17. Micro and Nano Sulfide Solid Lubrication
Haidou Wang, Binshi Xu
出版情報: SpringerLink Books - AutoHoldings , Dordrecht : Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Solid Lubrication Materials / Chapter 1：
Overview of Solid Lubrication / 1.1：
Introduction / 1.1.1：
Adhesive Wear and Scuffing of Metals and Methods of Prevention / 1.1.2：
Solid Lubrication / 1.1.3：
Soft Metal / 1.2：
Crystal Structure / 1.2.1：
Physical and Chemical Properties / 1.2.2：
Lubrication Mechanism / 1.2.3：
Metal Compounds / 1.3：
FeS / 1.3.1：
MoS2 / 1.3.2：
WS2 / 1.3.3：
ZnS / 1.3.4：
Inorganic Solid Lubricant / 1.4：
Graphite / 1.4.1：
BN / 1.4.2：
Organic Solid Lubricant / 1.5：
Polytetrafluoroethylene / 1.5.1：
Polythene / 1.5.2：
Nylon / 1.5.3：
Polyformaldehyde / 1.5.4：
Phenol Formaldehyde Resin / 1.5.5：
Epoxide Resin / 1.5.6：
Conclusion / 1.6：
References
Solid Lubrication FeS Film Prepared by Ion Sulfuration / Chapter 2：
The Microstructure of Solid FeS / 2.1：
Surface Morphologies of Solid FeS / 2.1.1：
Phase Structures of Solid FeS / 2.1.2：
TEM Morphologies of Solid FeS / 2.1.3：
Analysis of Electron Diffraction / 2.1.4：
The Formation of Iron Sulfuration Layer / 2.2：
Experimental Methods / 2.2.1：
Surface Morphologies of Sulfuration Layers / 2.2.2：
Composition on the Sulfurized Steel Surface / 2.2.3：
Phase Structure of Sulfide Layer at Different Sulfurizing Time / 2.2.4：
Formation Mechanism of Sulfurized Layer / 2.2.5：
Characterization of Ion Sulfurized Layer / 2.3：
Characterization of Sulfurized Layer on 1045 and 52100 Steels / 2.3.1：
Characterization of Sulfurized Layer on Four Kinds of Steels / 2.3.2：
Tribological Properties of Sulfurized Layers / 2.4：
Tribological Properties of Sulfurized Layers on 1045 and 52100 Steels / 2.4.1：
Tribological Properties of Sulfide Layer on Four Kinds of Steel / 2.4.2：
Influencing Factors of the Microstructures and Tribological Properties on Sulfurized Layers / 2.5：
Effect of the Substrate State on the Sulfide Layer on 1045 Steel / 2.5.1：
Effect of Environment Temperature on the Sulfurized Layer on 52100 Steel / 2.5.2：
Effect of Wear Conditions on the Tribological Behaviors of Sulfurized Layer on 52100 Steel / 2.5.3：
FeS Solid Lubrication Film Prepared by a Two-step Method / Chapter 3：
Radio-frequency (RF) Sputtering + Sulfurizing Combined Treatment / 3.1：
RF Sputtering Technology / 3.1.1：
Process of Preparation / 3.1.2：
Microstructures / 3.1.3：
Tribological Properties / 3.1.4：
Shot-peening + Ion Sulfuration Combined Treatment / 3.2：
Preparation / 3.2.1：
Characterization / 3.2.2：
Tribological Properties of Sulfide Layer / 3.2.3：
Nitriding + Sulfurizing Combined Treatment / 3.3：
1045 Steel Nitriding + Sulfurizing Combined Treatment / 3.3.1：
Gray Cast-iron Nitriding + Sulfurizing Combined Treatment / 3.3.2：
Nitrocarburizing + Sulfurizing Combined Treatment / 3.4：
Thermal Spraying 3Crl3 Steel Coating + Sulfurizing Combined Treatment / 3.5：
Arc Spraying Technology / 3.5.1：
High-velocity Arc Spraying / 3.5.2：
Thermal Spraying FeCrBSi + Sulfurizing Combined Treatment / 3.5.3：
MTG (metal inert-gas) Welding + Sulfurizing Combined Treatment / 3.6.1：
MIG Welding Technology / 3.7.1：
Structures / 3.7.2：
Mechanism of FeS Film Prepared by Different Methods / 3.7.4：
FeS Solid Lubrication Layer Prepared by Other Methods / Chapter 4：
High-velocity Flame Sprayed FeS Coating / 4.1：
High-velocity Flame Spraying Technology / 4.1.1：
Tribological Properties of FeS Coating / 4.1.2：
Lubrication Mechanism of Sprayed FeS Coating / 4.1.5：
Plasma Sprayed FeS and FeS2 Coatings / 4.2：
Plasma Spraying Technique / 4.2.1：
Preparation of FeS (FeS2) Coating / 4.2.2：
Characterization of FeS (FeS2) Coating / 4.2.3：
Tribological Properties of FeS (FeS2) Coating / 4.2.4：
Plasma Sprayed Nano-FeS and FeS-SiC Composite Coating / 4.3：
Plasma Sprayed Nano-FeS Coating / 4.3.1：
Sprayed FeS-SiC Composite Coating / 4.3.2：
Comparison of the Tribological Properties of Ion Sulfurized Layer and Plasma Sprayed FeS Coating / 4.4：
Experimental Method / 4.4.1：
Microstructure and Tribological Properties / 4.4.2：
Sol-gel FeS Coating / 4.5：
FeS Film Prepared by S-ion Implantation / 4.5.1：
Ion Implantation Technology / 4.6.1：
Tribological Properties of Sulfur-implanted Steel / 4.6.2：
Micron-nano MoS2 Solid Lubrication Film / Chapter 5：
MoS2 Film / 5.1：
MoS2 Sputtering Film / 5.1.1：
MoS2 Film Prepared by Two-step Method / 5.1.2：
Thermal Spraying MoS2 Film / 5.1.3：
Bonded MoS2 Film / 5.1.4：
Inorganic Fullerene-like Nano MoS2 Film / 5.1.5：
MoS2/metal Co-deposition / 5.2：
MoS2/Ni Composite Film / 5.2.1：
MoS2/Ti Composite Film / 5.2.2：
MoS2/Au Co-sputtered Film / 5.2.3：
MoS2/Metal Compound Composite Film / 5.3：
MoS2/TiN Composite Film / 5.3.1：
MoS2/Pb2O3 Composite Film / 5.3.2：
MoS2/LaF3 Composite Film / 5.3.3：
MoS2/FeS Multilayer Film / 5.3.4：
MoS2/graphite Sputtered Coating / 5.4：
Micron-nano WS2 Solid Lubrication Film / Chapter 6：
WS2Film / 6.1：
Characterizations of the Synthetic WS2 Film / 6.1.1：
Tribological Properties of the Synthetic WS2 Film / 6.1.2：
WS2/Ag Composite Film / 6.2：
Structures of WS2/Ag Composite Film / 6.2.1：
Tribological Properties of the WS2/Ag Composite Film / 6.2.2：
WS2/MoS2 Multilayer Film / 6.3：
WS2/MoS2 Co-sputtered Film / 6.3.1：
WS2/MoS2 Multilayer Film Prepared by Combined Treatment / 6.3.2：
WS2/CaF2 Composite Coating / 6.4：
Ni-P-(IF-WS2) Composite Film / 6.5：
Micron-nano ZnS Solid Lubrication Film / Chapter 7：
ZnS Film Prepared by High Velocity Arc Spraying + Sulfurizing Treatment / 7.1：
Characterizations / 7.1.1：
Tribe-logical Properties / 7.1.3：
Lubrication Mechanisms of the Zn/ZnS Composite Layer / 7.1.4：
ZnS Film Prepared by Nano-brush Plating + Sulfurizing Treatment / 7.2：
Morphologies / 7.2.1：
Friction Coefficient / 7.2.3：
Worn Morphologies / 7.2.4：
Energy Spectrum Analysis / 7.2.5：
Index / 7.3：
Solid Lubrication Materials / Chapter 1：
Overview of Solid Lubrication / 1.1：
Introduction / 1.1.1：
18.

電子ブック
ＥＢ
18. Advanced Statistical Steganalysis
Rainer B?hme
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Steganography and Steganalysis as Empirical Sciences / 1.1：
Objective and Approach / 1.2：
Outline / 1.3：
Background and Advances in Theory / Part I：
Principles of Modern Steganography and Steganalysis / 2：
Digital Steganography and Steganalysis / 2.1：
Steganographic System / 2.1.1：
Steganalysis / 2.1.2：
Relevance in Social and Academic Contexts / 2.1.3：
Conventions / 2.2：
Design Goals and Metrics / 2.3：
Capacity / 2.3.1：
Steganographic Security / 2.3.2：
Robustness / 2.3.3：
Further Metrics / 2.3.4：
Paradigms for the Design of Steganographic Systems / 2.4：
Paradigm I: Modify with Caution / 2.4.1：
Paradigm II: Cover Generation / 2.4.2：
Dominant Paradigm / 2.4.3：
Adversary Models / 2.5：
Passive Warden / 2.5.1：
Active Warden / 2.5.2：
Embedding Domains / 2.6：
Artificial Channels / 2.6.1：
Spatial and Time Domains / 2.6.2：
Transformed Domain / 2.6.3：
Selected Cover Formats: JPEG and MP3 / 2.6.4：
Exotic Covers / 2.6.5：
Embedding Operations / 2.7：
LSB Replacement / 2.7.1：
LSB Matching (±1) / 2.7.2：
Mod-? Replacement, Mod-? Matching, and Generalisations / 2.7.3：
Multi-Sample Rules / 2.7.4：
Adaptive Embedding / 2.7.5：
Protocols and Message Coding / 2.8：
Public-Key Steganography / 2.8.1：
Maximising Embedding Efficiency / 2.8.2：
Specific Detection Techniques / 2.9：
Calibration of JPEG Histograms / 2.9.1：
Universal Detectors / 2.9.2：
Quantitative Steganalysis / 2.9.3：
Selected Estimators for LSB Replacement in Spatial Domain Images / 2.10：
RS Analysis / 2.10.1：
Sample Pair Analysis / 2.10.2：
Higher-Order Structural Steganalysis / 2.10.3：
Weighted Stego Image Steganalysis / 2.10.4：
Summary and Further Steps / 2.11：
Towards a Theory of Cover Models / 3：
Steganalyst's Problem Formalised / 3.1：
The Plausibility Heuristic / 3.1.1：
Application to Digital Steganography / 3.1.2：
Incognisability of the Cover Distribution / 3.1.3：
Cover Models / 3.2：
Defining Cover Models / 3.2.1：
Options for Formulating Cover Models / 3.2.2：
Cover Models and Detection Performance / 3.2.3：
Summary and Motivations for Studying Cover Models / 3.2.4：
Dealing with Heterogeneous Cover Sources / 3.3：
Mixture Distributions / 3.3.1：
The Mixture Cover Model / 3.3.2：
Relation to Prior Information-Theoretic Work / 3.4：
Theoretical Limits / 3.4.1：
Observability Bounds / 3.4.2：
Computational Bounds / 3.4.3：
Applicability of the Theory of Cover Models / 3.4.4：
Indeterminacy in the Cover / 3.4.5：
Instances of Cover Models for Heterogeneous Sources / 3.5：
Summary / 3.6：
Specific Advances in Steganalysis / Part II：
Detection of Model-Based Steganography with First-Order Statistics / 4：
Fundamentals of Model-Based Steganography / 4.1：
MB1: An Embedding Function for JPEG Covers / 4.2：
Detection Method / 4.3：
Experimental Validation / 4.4：
Summary and Outlook / 4.5：
Limitations and Future Directions / 4.5.1：
Possible (Short-Term) Countermeasures / 4.5.2：
Implications for More Secure Steganography / 4.5.3：
Models of Heterogeneous Covers for Quantitative Steganalysis / 5：
Metrics for Quantitative Steganalysis / 5.1：
Conventional Metrics / 5.1.1：
Improved Metrics Based on a Distribution Model / 5.1.2：
Decomposition of Estimation Errors / 5.1.3：
Measurement of Sensitivity to Cover Properties / 5.2：
Method / 5.2.1：
Modelling the Shape of the Between-Image Distribution / 5.2.2：
Modelling the Shape of the Within-Image Distribution / 5.2.3：
Summary and Conclusion / 5.3：
Improved Weighted Stego Image Steganalysis / 6：
Enhanced WS for Never-Compressed Covers / 6.1：
Enhanced Predictor / 6.1.1：
Enhanced Calculation of Weights / 6.1.2：
Enhanced Bias Correction / 6.1.3：
Experimental Results / 6.1.4：
Adaptation of WS to JPEG Pre-Compressed Covers / 6.2：
Improved Predictor / 6.2.1：
Estimation of the Cover's JPEG Compression Quality / 6.2.2：
Using Encoder Artefacts for Steganalysis of Compressed Audio Streams / 6.2.3：
MP3 Steganography and Steganalysis / 7.1：
Problem Statement in the Mixture Cover Model Framework / 7.1.1：
Level of Analysis and Related Work / 7.1.2：
Description of Features / 7.1.3：
Features Based on the Compression Size Control Mechanism / 7.2.1：
Features Based on Model Decisions / 7.2.2：
Features Based on Capability Usage / 7.2.3：
Feature Based on Stream Formatting / 7.2.4：
Experimental Results for Encoder Detection / 7.3：
Single-Compressed Audio Files / 7.3.1：
Importance of Individual Features / 7.3.2：
Influence of Double-Compression / 7.3.3：
Experimental Results for Improved Steganalysis / 7.4：
Explorative Analysis of Encoder Similarities / 7.5：
Summary and Discussion / 7.6：
Transferability to Other Formats / 7.6.1：
Related Applications / 7.6.3：
Synthesis / Part III：
General Discussion / 8：
Summary of Results / 8.1：
Results Based on Informal Arguments / 8.1.1：
Results Based on Mathematical Proofs / 8.1.2：
Results Based on Empirical Evidence / 8.1.3：
Limitations / 8.2：
Directions for Future Research / 8.3：
Theoretical Challenges / 8.3.1：
Empirical Challenges / 8.3.2：
Practical Challenges / 8.3.3：
Conclusion and Outlook / 8.4：
Description of Covers Used in the Experiments / A：
Spurious Steganalysis Results Using the 'van Hateren' Image Database / B：
Proof of Weighted Stego Image (WS) Estimator / C：
Derivation of Linear Predictor for Enhanced WS / D：
Game for Formal Security Analysis / E：
Derivation of ROC Curves and AUC Metric for Example Cover Models / F：
Supplementary Figures and Tables / G：
References
List of Tables
List of Figures
List of Acronyms
List of Symbols
List of Functions
Index
Introduction / 1：
Steganography and Steganalysis as Empirical Sciences / 1.1：
Objective and Approach / 1.2：
19.

電子ブック
ＥＢ
19. Advanced Statistical Steganalysis
Rainer Böhme
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Steganography and Steganalysis as Empirical Sciences / 1.1：
Objective and Approach / 1.2：
Outline / 1.3：
Background and Advances in Theory / Part I：
Principles of Modern Steganography and Steganalysis / 2：
Digital Steganography and Steganalysis / 2.1：
Steganographic System / 2.1.1：
Steganalysis / 2.1.2：
Relevance in Social and Academic Contexts / 2.1.3：
Conventions / 2.2：
Design Goals and Metrics / 2.3：
Capacity / 2.3.1：
Steganographic Security / 2.3.2：
Robustness / 2.3.3：
Further Metrics / 2.3.4：
Paradigms for the Design of Steganographic Systems / 2.4：
Paradigm I: Modify with Caution / 2.4.1：
Paradigm II: Cover Generation / 2.4.2：
Dominant Paradigm / 2.4.3：
Adversary Models / 2.5：
Passive Warden / 2.5.1：
Active Warden / 2.5.2：
Embedding Domains / 2.6：
Artificial Channels / 2.6.1：
Spatial and Time Domains / 2.6.2：
Transformed Domain / 2.6.3：
Selected Cover Formats: JPEG and MP3 / 2.6.4：
Exotic Covers / 2.6.5：
Embedding Operations / 2.7：
LSB Replacement / 2.7.1：
LSB Matching (±1) / 2.7.2：
Mod-? Replacement, Mod-? Matching, and Generalisations / 2.7.3：
Multi-Sample Rules / 2.7.4：
Adaptive Embedding / 2.7.5：
Protocols and Message Coding / 2.8：
Public-Key Steganography / 2.8.1：
Maximising Embedding Efficiency / 2.8.2：
Specific Detection Techniques / 2.9：
Calibration of JPEG Histograms / 2.9.1：
Universal Detectors / 2.9.2：
Quantitative Steganalysis / 2.9.3：
Selected Estimators for LSB Replacement in Spatial Domain Images / 2.10：
RS Analysis / 2.10.1：
Sample Pair Analysis / 2.10.2：
Higher-Order Structural Steganalysis / 2.10.3：
Weighted Stego Image Steganalysis / 2.10.4：
Summary and Further Steps / 2.11：
Towards a Theory of Cover Models / 3：
Steganalyst's Problem Formalised / 3.1：
The Plausibility Heuristic / 3.1.1：
Application to Digital Steganography / 3.1.2：
Incognisability of the Cover Distribution / 3.1.3：
Cover Models / 3.2：
Defining Cover Models / 3.2.1：
Options for Formulating Cover Models / 3.2.2：
Cover Models and Detection Performance / 3.2.3：
Summary and Motivations for Studying Cover Models / 3.2.4：
Dealing with Heterogeneous Cover Sources / 3.3：
Mixture Distributions / 3.3.1：
The Mixture Cover Model / 3.3.2：
Relation to Prior Information-Theoretic Work / 3.4：
Theoretical Limits / 3.4.1：
Observability Bounds / 3.4.2：
Computational Bounds / 3.4.3：
Applicability of the Theory of Cover Models / 3.4.4：
Indeterminacy in the Cover / 3.4.5：
Instances of Cover Models for Heterogeneous Sources / 3.5：
Summary / 3.6：
Specific Advances in Steganalysis / Part II：
Detection of Model-Based Steganography with First-Order Statistics / 4：
Fundamentals of Model-Based Steganography / 4.1：
MB1: An Embedding Function for JPEG Covers / 4.2：
Detection Method / 4.3：
Experimental Validation / 4.4：
Summary and Outlook / 4.5：
Limitations and Future Directions / 4.5.1：
Possible (Short-Term) Countermeasures / 4.5.2：
Implications for More Secure Steganography / 4.5.3：
Models of Heterogeneous Covers for Quantitative Steganalysis / 5：
Metrics for Quantitative Steganalysis / 5.1：
Conventional Metrics / 5.1.1：
Improved Metrics Based on a Distribution Model / 5.1.2：
Decomposition of Estimation Errors / 5.1.3：
Measurement of Sensitivity to Cover Properties / 5.2：
Method / 5.2.1：
Modelling the Shape of the Between-Image Distribution / 5.2.2：
Modelling the Shape of the Within-Image Distribution / 5.2.3：
Summary and Conclusion / 5.3：
Improved Weighted Stego Image Steganalysis / 6：
Enhanced WS for Never-Compressed Covers / 6.1：
Enhanced Predictor / 6.1.1：
Enhanced Calculation of Weights / 6.1.2：
Enhanced Bias Correction / 6.1.3：
Experimental Results / 6.1.4：
Adaptation of WS to JPEG Pre-Compressed Covers / 6.2：
Improved Predictor / 6.2.1：
Estimation of the Cover's JPEG Compression Quality / 6.2.2：
Using Encoder Artefacts for Steganalysis of Compressed Audio Streams / 6.2.3：
MP3 Steganography and Steganalysis / 7.1：
Problem Statement in the Mixture Cover Model Framework / 7.1.1：
Level of Analysis and Related Work / 7.1.2：
Description of Features / 7.1.3：
Features Based on the Compression Size Control Mechanism / 7.2.1：
Features Based on Model Decisions / 7.2.2：
Features Based on Capability Usage / 7.2.3：
Feature Based on Stream Formatting / 7.2.4：
Experimental Results for Encoder Detection / 7.3：
Single-Compressed Audio Files / 7.3.1：
Importance of Individual Features / 7.3.2：
Influence of Double-Compression / 7.3.3：
Experimental Results for Improved Steganalysis / 7.4：
Explorative Analysis of Encoder Similarities / 7.5：
Summary and Discussion / 7.6：
Transferability to Other Formats / 7.6.1：
Related Applications / 7.6.3：
Synthesis / Part III：
General Discussion / 8：
Summary of Results / 8.1：
Results Based on Informal Arguments / 8.1.1：
Results Based on Mathematical Proofs / 8.1.2：
Results Based on Empirical Evidence / 8.1.3：
Limitations / 8.2：
Directions for Future Research / 8.3：
Theoretical Challenges / 8.3.1：
Empirical Challenges / 8.3.2：
Practical Challenges / 8.3.3：
Conclusion and Outlook / 8.4：
Description of Covers Used in the Experiments / A：
Spurious Steganalysis Results Using the 'van Hateren' Image Database / B：
Proof of Weighted Stego Image (WS) Estimator / C：
Derivation of Linear Predictor for Enhanced WS / D：
Game for Formal Security Analysis / E：
Derivation of ROC Curves and AUC Metric for Example Cover Models / F：
Supplementary Figures and Tables / G：
References
List of Tables
List of Figures
List of Acronyms
List of Symbols
List of Functions
Index
Introduction / 1：
Steganography and Steganalysis as Empirical Sciences / 1.1：
Objective and Approach / 1.2：
20.

電子ブック
ＥＢ
20. Water in the Universe
Arnold Hanslmeier
出版情報: SpringerLink Books - AutoHoldings , Springer Netherlands, 2011
所蔵情報: loading…
目次情報: 続きを見る
Water on Earth, Properties of Water / 1：
The Role of Water in History / 1.1：
Water in Ancient Cultures / 1.1.1：
Modern Society and Water / 1.1.2：
The Chemical Elements Water Consists of / 1.2：
Hydrogen / 1.2.1：
Oxygen / 1.2.2：
Water, Chemical and Physical Properties / 1.3：
Chemical Properties / 1.3.1：
Physical Properties of Water / 1.3.2：
Evaporation and Condensation / 1.3.3：
Ice / 1.3.4：
Chemical Reactions and Water / 1.3.5：
Chemical Bonds / 1.4.1：
Acids and pH Value / 1.4.2：
Hydrates, Water in Crystals / 1.4.3：
Water: Spectral Signatures / 1.4.4：
The Hydrologic Cycle / 1.5：
Evaporation and Precipitation Balance / 1.5.1：
The Hydrologic Cycle and Climate Change / 1.5.2：
Life and Water / 2：
Life and Environment / 2.1：
The Importance of Water / 2.1.1：
Definition of Life / 2.1.2：
Evolution of Life / 2.1.3：
Life Under Extreme Conditions / 2.1.4：
Water and Other Solvents / 2.2：
The Importance of Solvents to Life / 2.2.1：
Other Solvents than Water / 2.2.2：
Energy for Life / 2.3：
Energy / 2.3.1：
Metabolic Diversity / 2.3.2：
Solar Energy / 2.3.3：
Photosynthesis and Respiration / 2.3.4：
Water on Planets and Dwarf Planets / 3：
Classification of Objects in the Solar System / 3.1：
Overview / 3.1.1：
Physical Parameters of Planets / 3.1.2：
Terrestrial Planets / 3.2：
Earth / 3.2.1：
Mercury / 3.2.2：
Venus / 3.2.3：
Mars / 3.2.4：
The Early Sun and Evolution of Terrestrial Planets / 3.2.5：
Dry Venus-Humid Earth-Climate Changes on Mars / 3.2.6：
Giant Planets / 3.3：
Jupiter / 3.3.1：
Saturn / 3.3.2：
Uranus / 3.3.3：
Neptune / 3.3.4：
Water on Giant Planets / 3.3.5：
Dwarf Planets / 3.4：
Pluto / 3.4.1：
Ices on Other Dwarf Planets / 3.4.2：
Satellites of Planets in the Solar System / 4：
Galilean Satellites / 4.1：
Io / 4.1.1：
Europa / 4.1.2：
Callisto / 4.1.3：
Ganymede / 4.1.4：
Satellites of Saturn / 4.2：
Titan / 4.2.1：
Other Satellites of Saturn / 4.2.3：
Satellites of Uranus and Neptune / 4.3：
The Satellites of Uranus / 4.3.1：
The Satellites of Neptune / 4.3.2：
The Earth Moon / 4.4：
Water on the Moon? / 4.4.1：
Water on Small Solar System Bodies / 5：
Clouds of Particles / 5.1：
The Kuiper Belt / 5.1.1：
The Oort Cloud / 5.1.2：
Comets / 5.2：
Early Observations / 5.2.1：
Orbital Characteristics of Comets / 5.2.2：
Physics of Comets / 5.2.3：
Collisions with Comets / 5.2.4：
Detection of Water on Comets / 5.2.5：
Asteroids / 5.3：
General Properties / 5.3.1：
Classification of Asteroids / 5.3.2：
NEOs / 5.3.3：
The Cretaceous-Tertiary Impact / 5.3.4：
Water and Ice on Asteroids / 5.3.5：
Asteroids as a Source for Water on Earth / 5.3.6：
Meteorites / 5.4：
Classification / 5.4.1：
Water in Meteorites / 5.4.3：
Water on Extrasolar Planets? / 6：
How to Detect Extrasolar Planets / 6.1：
Detection Methods / 6.1.1：
Extrasolar Planets Found by Different Detection Methods / 6.1.2：
Some Examples of Extrasolar Planets / 6.1.3：
Habitable Zones / 6.2：
Habitability / 6.2.1：
Circumstellar Habitable Zones / 6.2.2：
Galactic Habitable Zone / 6.2.3：
Habitable Zone Around Giant Planets / 6.2.4：
Dust Debris Around Stars / 6.3：
Signatures of Dust Around Stars / 6.3.1：
Dust Around Vega / 6.3.2：
Water Detection on Extrasolar Planets / 6.4：
Detection of Planetary Atmospheres / 6.4.1：
Hot Jupiters / 6.4.2：
Water on Extrasolar Planets / 6.4.3：
Some Model Calculations / 6.4.4：
Super Earth Planets / 6.4.5：
Water in Interstellar Space and Stars / 7：
Interstellar Medium / 7.1：
Physical Properties / 7.1.1：
Molecules in the Interstellar Medium / 7.1.2：
Interstellar Dust Lifecycle / 7.1.3：
Water Masers / 7.1.4：
Water in Starforming Regions / 7.2：
Clouds and Cloud Collapse / 7.2.1：
Water Signatures in Protostars / 7.2.2：
T Tauri Stars / 7.2.4：
Water Signatures in Spectra of Late Type Stars and the Sun / 7.3：
Late Type Stars and Water / 7.3.1：
Water in Sunspots? / 7.3.2：
Water in Galaxies / 7.4：
The Milky Way Galaxy / 7.4.1：
Water in the Galaxy? / 7.4.2：
Galaxy Clusters / 7.4.3：
IR-Galaxies / 7.4.5：
Water Masers in Nearby Galaxies / 7.4.6：
Mega-Masers / 7.4.7：
Water-Where Does It Come from? / 8：
The Evolution of the Universe / 8.1：
An Expanding Universe / 8.1.1：
Radiation from the Early Universe / 8.1.2：
Abundance of Elements / 8.1.3：
No Water in the Early Universe / 8.1.4：
Stellar Evolution / 8.2：
Red Giants / 8.2.1：
The Asymptotic Giant Branch / 8.2.2：
A Carbon Flash? / 8.2.3：
Post AGB Evolution / 8.2.4：
Elements Heavier than He / 8.2.5：
The Ultimate Fate of a Low Massive Star: White Dwarfs / 8.2.6：
Massive Stars / 8.3：
Main Sequence Evolution of Massive Stars / 8.3.1：
Supernova Explosion / 8.3.2：
Stellar Populations / 8.3.3：
Appendix / 9：
How to Detect Water / 9.1：
Transparency of the Earth's Atmosphere / 9.1.1：
In Situ Measurements / 9.1.2：
Spectroscopic Signatures / 9.1.3：
Satellite Missions / 9.2：
Water Detection with SWAS / 9.2.1：
IR Satellites / 9.2.2：
Future Astronomical Telescopes / 9.2.3：
Some Astrophysical Concepts / 9.3：
Apparent Magnitude / 9.3.1：
Spectral Classes / 9.3.2：
The Hertzsprung-Russell Diagram, HRD / 9.3.3：
References
Index
Water on Earth, Properties of Water / 1：
The Role of Water in History / 1.1：
Water in Ancient Cultures / 1.1.1：
21.

電子ブック
ＥＢ
21. Parsing Beyond Context-Free Grammars
Laura Kallmeyer
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Formal Grammars and Natural Languages / 1.1：
Parsing Beyond CFGs / 1.2：
What This Book Is Not About / 1.3：
Overview of the Book / 1.4：
Grammar Formalisms for Natural Languages / 1.4.1：
Parsing: Preliminaries / 1.4.2：
Tree Adjoining Grammars / 1.4.3：
MCFG and LCFRS / 1.4.4：
Range Concatenation Grammars / 1.4.5：
Automata / 1.4.6：
Some Basic Definitions / 1.5：
Languages / 1.5.1：
Context-Free Grammars / 1.5.2：
Trees / 1.5.3：
Context-Free Grammars and Natural Languages / 2：
The Generative Capacity of CFGs / 2.1.1：
CFGs and Lexicalization / 2.1.2：
Mild Context-Sensitivity / 2.1.3：
Grammar Formalisms Beyond CFG / 2.2：
Linear Indexed Grammars / 2.2.1：
Linear Context-Free Rewriting Systems / 2.2.3：
Multicomponent Tree Adjoining Grammars / 2.2.4：
Multiple Context-Free Grammars / 2.2.5：
Summary / 2.2.6：
Parsing as Deduction / 3：
Motivation / 3.1.1：
Items / 3.1.2：
Deduction Rules / 3.1.3：
Implementation Issues / 3.2：
Dynamic Programming / 3.2.1：
Chart Parsing and Tabulation / 3.2.2：
Hypergraphs / 3.2.3：
Properties of Parsing Algorithms / 3.3：
Soundness and Completeness / 3.3.1：
Complexity / 3.3.2：
Valid Prefix Property / 3.3.3：
Introduction to Tree Adjoining Grammars / 3.4：
Definition of TAG / 4.1.1：
Formal Properties / 4.1.2：
Linguistic Principles for TAG / 4.1.3：
Extended Domain of Locality and Factoring of Recursion / 4.1.4：
Constituency and Dependencies / 4.1.5：
Equivalent Formalisms / 4.2：
Tree-Local MCTAG / 4.2.1：
Combinatory Categorial Grammars / 4.2.2：
Parsing Tree Adjoining Grammars / 4.3：
A CYK Parser for TAG / 5.1：
The Recognizer / 5.1.1：
An Earley Parser for TAG / 5.1.2：
Inference Rules / 5.2.1：
Extending the Algorithm to Substitution / 5.2.4：
The Parser / 5.2.5：
Properties of the Algorithm / 5.2.6：
Prefix Valid Earley Parsing / 5.2.7：
An LR Parser for TAG / 5.3：
Construction of the Automation / 5.3.1：
Multiple Context-Free Grammars and Linear Context-Free Rewriting Systems / 5.3.3：
Introduction to MCFG, LCFRS and Simple RCG / 6.1：
Applications / 6.1.1：
Set-Local Multicomponent TAG / 6.2：
Minimalist Grammars / 6.2.2：
Finite-Copying LFG / 6.2.3：
Parsing MCFG, LCFRS and Simple RCG / 6.3：
CYK Parsing of MCFG / 7.1：
The Basic Algorithm / 7.1.1：
The Naïve Algorithm / 7.1.2：
The Active Algorithm / 7.1.3：
The Incremental Algorithm / 7.1.4：
Prediction Strategies / 7.1.5：
Simplifying Simple RCGs / 7.2：
Eliminating Useless Rules / 7.2.1：
Eliminating ?-Rules / 7.2.2：
Ordered Simple RCG / 7.2.3：
Binarization of the Rules / 7.2.4：
An Incremental Earley Parser for Simple RCG / 7.3：
The Algorithm / 7.3.1：
Filters / 7.3.2：
Introduction to Range Concatenation Grammars / 7.4：
Definition of RCG / 8.1.1：
Relations to Other Formalisms / 8.1.2：
Literal Movement Grammars / 8.2.1：
CFG, TAG and MCFG / 8.2.2：
Parsing Range Concatenation Grammars / 8.3：
Basic RCG Parsing / 9.1：
CYK Parsing with Passive Items / 9.1.1：
Non-directional Top-Down Parsing / 9.1.2：
Directional Top-Down Parsing / 9.1.3：
Optimizations / 9.1.4：
Parsing with Constraint Propagation / 9.2：
Range Constraints / 9.2.1：
CYK Parsing with Active Items / 9.2.2：
Earley Parsing / 9.2.3：
Embedded Push-Down Automata / 9.3：
Definition of EPDA / 10.1.1：
EPDA and TAG / 10.1.2：
Bottom-Up Embedded Push-Down Automata / 10.1.3：
?-Order EPDA / 10.1.4：
Two-Stack Automata / 10.2：
General Definition / 10.2.1：
Strongly-Driven Two-Stack Automata / 10.2.2：
Thread Automata / 10.3：
Idea / 10.3.1：
General Definition of TA / 10.3.2：
Constructing a TA for a TAG / 10.3.3：
Constructing a TA for an Ordered SRCG / 10.3.4：
Hierarchy of Grammar Formalisms / 10.4：
List of Acronyms / Appendix B：
Solutions
References
Index
Introduction / 1：
Formal Grammars and Natural Languages / 1.1：
Parsing Beyond CFGs / 1.2：
22.

電子ブック
ＥＢ
22. Parsing Beyond Context-Free Grammars
Laura Kallmeyer
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Formal Grammars and Natural Languages / 1.1：
Parsing Beyond CFGs / 1.2：
What This Book Is Not About / 1.3：
Overview of the Book / 1.4：
Grammar Formalisms for Natural Languages / 1.4.1：
Parsing: Preliminaries / 1.4.2：
Tree Adjoining Grammars / 1.4.3：
MCFG and LCFRS / 1.4.4：
Range Concatenation Grammars / 1.4.5：
Automata / 1.4.6：
Some Basic Definitions / 1.5：
Languages / 1.5.1：
Context-Free Grammars / 1.5.2：
Trees / 1.5.3：
Context-Free Grammars and Natural Languages / 2：
The Generative Capacity of CFGs / 2.1.1：
CFGs and Lexicalization / 2.1.2：
Mild Context-Sensitivity / 2.1.3：
Grammar Formalisms Beyond CFG / 2.2：
Linear Indexed Grammars / 2.2.1：
Linear Context-Free Rewriting Systems / 2.2.3：
Multicomponent Tree Adjoining Grammars / 2.2.4：
Multiple Context-Free Grammars / 2.2.5：
Summary / 2.2.6：
Parsing as Deduction / 3：
Motivation / 3.1.1：
Items / 3.1.2：
Deduction Rules / 3.1.3：
Implementation Issues / 3.2：
Dynamic Programming / 3.2.1：
Chart Parsing and Tabulation / 3.2.2：
Hypergraphs / 3.2.3：
Properties of Parsing Algorithms / 3.3：
Soundness and Completeness / 3.3.1：
Complexity / 3.3.2：
Valid Prefix Property / 3.3.3：
Introduction to Tree Adjoining Grammars / 3.4：
Definition of TAG / 4.1.1：
Formal Properties / 4.1.2：
Linguistic Principles for TAG / 4.1.3：
Extended Domain of Locality and Factoring of Recursion / 4.1.4：
Constituency and Dependencies / 4.1.5：
Equivalent Formalisms / 4.2：
Tree-Local MCTAG / 4.2.1：
Combinatory Categorial Grammars / 4.2.2：
Parsing Tree Adjoining Grammars / 4.3：
A CYK Parser for TAG / 5.1：
The Recognizer / 5.1.1：
An Earley Parser for TAG / 5.1.2：
Inference Rules / 5.2.1：
Extending the Algorithm to Substitution / 5.2.4：
The Parser / 5.2.5：
Properties of the Algorithm / 5.2.6：
Prefix Valid Earley Parsing / 5.2.7：
An LR Parser for TAG / 5.3：
Construction of the Automation / 5.3.1：
Multiple Context-Free Grammars and Linear Context-Free Rewriting Systems / 5.3.3：
Introduction to MCFG, LCFRS and Simple RCG / 6.1：
Applications / 6.1.1：
Set-Local Multicomponent TAG / 6.2：
Minimalist Grammars / 6.2.2：
Finite-Copying LFG / 6.2.3：
Parsing MCFG, LCFRS and Simple RCG / 6.3：
CYK Parsing of MCFG / 7.1：
The Basic Algorithm / 7.1.1：
The Naïve Algorithm / 7.1.2：
The Active Algorithm / 7.1.3：
The Incremental Algorithm / 7.1.4：
Prediction Strategies / 7.1.5：
Simplifying Simple RCGs / 7.2：
Eliminating Useless Rules / 7.2.1：
Eliminating ?-Rules / 7.2.2：
Ordered Simple RCG / 7.2.3：
Binarization of the Rules / 7.2.4：
An Incremental Earley Parser for Simple RCG / 7.3：
The Algorithm / 7.3.1：
Filters / 7.3.2：
Introduction to Range Concatenation Grammars / 7.4：
Definition of RCG / 8.1.1：
Relations to Other Formalisms / 8.1.2：
Literal Movement Grammars / 8.2.1：
CFG, TAG and MCFG / 8.2.2：
Parsing Range Concatenation Grammars / 8.3：
Basic RCG Parsing / 9.1：
CYK Parsing with Passive Items / 9.1.1：
Non-directional Top-Down Parsing / 9.1.2：
Directional Top-Down Parsing / 9.1.3：
Optimizations / 9.1.4：
Parsing with Constraint Propagation / 9.2：
Range Constraints / 9.2.1：
CYK Parsing with Active Items / 9.2.2：
Earley Parsing / 9.2.3：
Embedded Push-Down Automata / 9.3：
Definition of EPDA / 10.1.1：
EPDA and TAG / 10.1.2：
Bottom-Up Embedded Push-Down Automata / 10.1.3：
?-Order EPDA / 10.1.4：
Two-Stack Automata / 10.2：
General Definition / 10.2.1：
Strongly-Driven Two-Stack Automata / 10.2.2：
Thread Automata / 10.3：
Idea / 10.3.1：
General Definition of TA / 10.3.2：
Constructing a TA for a TAG / 10.3.3：
Constructing a TA for an Ordered SRCG / 10.3.4：
Hierarchy of Grammar Formalisms / 10.4：
List of Acronyms / Appendix B：
Solutions
References
Index
Introduction / 1：
Formal Grammars and Natural Languages / 1.1：
Parsing Beyond CFGs / 1.2：
23.

図書
図書
23. Essential quantum optics : from quantum measurements to black holes (: hbk ; : pbk)
Ulf Leonhardt
出版情報: Cambridge : Cambridge University Press, 2010  xii, 277 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Acknowledgements
Introduction / 1：
A note to the reader / 1.1：
Quantum theory / 1.2：
Axioms / 1.2.1：
Quantum statistics / 1.2.2：
Schrödinger and Heisenberg pictures / 1.2.3：
On the questions and homework problems / 1.3：
Further reading / 1.4：
Quantum field theory of light / 2：
Light in media / 2.1：
Maxwell's equations / 2.1.1：
Quantum commutator / 2.1.2：
Light modes / 2.2：
Modes and their scalar product / 2.2.1：
Bose commutation relations / 2.2.2：
Interference / 2.2.3：
Monochromatic modes / 2.2.4：
Zero-point energy and Casimir force / 2.3：
An attractive cavity / 2.3.1：
Reflections / 2.3.2：
Questions / 2.4：
Homework problem / 2.5：
Simple quantum states of light / 2.6：
The electromagnetic oscillator / 3.1：
Single-mode states / 3.2：
Quadrature states / 3.2.1：
Fock states / 3.2.2：
Thermal states / 3.2.3：
Coherent states / 3.2.4：
Uncertainty and squeezing / 3.3：
Quasiprobability distributions / 3.4：
Wigner representation / 4.1：
Wigner's formula / 4.1.1：
Basic properties / 4.1.2：
Examples / 4.1.3：
Other quasiprobability distributions / 4.2：
Q function / 4.2.1：
P function / 4.2.2：
s-parameterized quasiprobability distributions / 4.2.3：
Simple optical instruments / 4.3：
Beam splitter / 5.1：
Heisenberg picture / 5.1.1：
Schrödinger picture / 5.1.2：
Fock representation and wave-particle dualism / 5.1.3：
Detection / 5.2：
Photodetector / 5.2.1：
Balanced homodyne detection / 5.2.2：
Quantum tomography / 5.2.3：
Simultaneous measurement of conjugate variables / 5.2.4：
Irrevesible processes / 5.3：
Lindblad's theorem / 6.1：
Irreversibility / 6.1.1：
Reversible dynamics / 6.1.2：
Irreversible dynamics / 6.1.3：
Loss and gain / 6.2：
Absorption and amplification / 6.2.1：
Absorber / 6.2.2：
Amplifier / 6.2.3：
Eavesdropper / 6.2.4：
Continuous quantum measurements / 6.3：
Entanglement / 6.4：
Parametric amplifier / 7.1：
Einstein-Podolski-Rosen state / 7.1.1：
Quantum teleportation / 7.1.4：
Polarization correlations / 7.2：
Singlet state / 7.2.1：
Polarization / 7.2.2：
Bell's theorem / 7.2.3：
Horizons / 7.3：
Minkowski space / 8.1：
Locality and relativity / 8.1.1：
Space-time geometry / 8.1.2：
Light / 8.1.3：
Accelerated observers / 8.2：
Rindler coordinates / 8.2.1：
Accelerated modes / 8.2.2：
Unruh effect / 8.2.3：
Moving media / 8.3：
Motivation / 8.3.1：
Trans-Planckian problem / 8.3.2：
Light in moving media / 8.3.3：
Geometry of light / 8.3.4：
Hawking radiation / 8.3.5：
Stress of the quantum vacuum / 8.4：
State reconstruction in quantum mechanics / Appendix B：
References
Index
Irreversible processes
Appendixes
Acknowledgements
Introduction / 1：
A note to the reader / 1.1：
24.

電子ブック
ＥＢ
24. Computational Lithography
Xu Ma, Gonzalo R. Arce
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Incorporated, 2010
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Acronyms
Introduction / 1：
Optical Lithography / 1.1：
Optical Lithography and Integrated Circuits / 1.1.1：
Brief History of Optical Lithography Systems / 1.1.2：
Rayleigh's Resolution / 1.2：
Resist Processes and Characteristics / 1.3：
Techniques in Computational Lithography / 1.4：
Optical Proximity Correction / 1.4.1：
Phase-Shifting Masks / 1.4.2：
Off-Axis Illumination / 1.4.3：
Second-Generation RETs / 1.4.4：
Outline / 1.5：
Optical Lithography Systems / 2：
Partially Coherent Imaging Systems / 2.1：
Abbe's Model / 2.1.1：
Hopkins Diffraction Model / 2.1.2：
Coherent and Incoherent Imaging Systems / 2.1.3：
Approximation Models / 2.2：
Fourier Series Expansion Model / 2.2.1：
Singular Value Decomposition Model / 2.2.2：
Average Coherent Approximation Model / 2.2.3：
Discussion and Comparison / 2.2.4：
Summary / 2.3：
Rule-Based Resolution Enhancement Techniques / 3：
RET Types / 3.1：
Rule-Based RETs / 3.1.1：
Model-Based RETs / 3.1.2：
Hybrid RETs / 3.1.3：
Rule-Based OPC / 3.2：
Catastrophic OPC / 3.2.1：
One-Dimensional OPC / 3.2.2：
Line-Shortening Reduction OPC / 3.2.3：
Two-Dimensional OPC / 3.2.4：
Rule-Based PSM / 3.3：
Dark-Field Application / 3.3.1：
Light-Field Application / 3.3.2：
Rule-Based OAI / 3.4：
Fundamentals of Optimization / 3.5：
Definition and Classification / 4.1：
Definitions in the Optimization Problem / 4.1.1：
Classification of Optimization Problems / 4.1.2：
Unconstrained Optimization / 4.2：
Solution of Unconstrained Optimization Problem / 4.2.1：
Unconstrained Optimization Algorithms / 4.2.2：
Computational Lithography with Coherent Illumination / 4.3：
Problem Formulation / 5.1：
OPC Optimization / 5.2：
OPC Design Algorithm / 5.2.1：
Simulations / 5.2.2：
Two-Phase PSM Optimization / 5.3：
Two-Phase PSM Design Algorithm / 5.3.1：
Generalized PSM Optimization / 5.3.2：
Generalized PSM Design Algorithm / 5.4.1：
Resist Modeling Effects / 5.4.2：
Regularization Framework / 5.6：
Discretization Penalty / 6.1：
Discretization Penalty for OPC Optimization / 6.1.1：
Discretization Penalty for Two-Phase PSM Optimization / 6.1.2：
Discretization Penalty for Generalized PSM Optimization / 6.1.3：
Complexity Penalty / 6.2：
Total Variation Penalty / 6.2.1：
Global Wavelet Penalty / 6.2.2：
Localized Wavelet Penalty / 6.2.3：
Computational Lithography with Partially Coherent Illumination / 6.3：
OPC Design Algorithm Using the Fourier Series Expansion Model / 7.1：
Simulations Using the Fourier Series Expansion Model / 7.1.2：
OPC Design Algorithm Using the Average Coherent Approximation Model / 7.1.3：
Simulations Using the Average Coherent Approximation Model / 7.1.4：
PSM Optimization / 7.1.5：
PSM Design Algorithm Using the Singular Value Decomposition Model / 7.2.1：
Discretization Regularization for PSM Design Algorithm / 7.2.2：
Other RET Optimization Techniques / 7.2.3：
Double-Patterning Method / 8.1：
Post-Processing Based on 2D DCT / 8.2：
Photoresist Tone Reversing Method / 8.3：
Source and Mask Optimization / 8.4：
Lithography Preliminaries / 9.1：
Topological Constraint / 9.2：
Source-Mask Optimization Algorithm / 9.3：
Coherent Thick-Mask Optimization / 9.4：
Kirchhoff Boundary Conditions / 10.1：
Boundary Layer Model / 10.2：
Boundary Layer Model in Coherent Imaging Systems / 10.2.1：
Boundary Layer Model in Partially Coherent Imaging Systems / 10.2.2：
OPC Optimization Algorithm Based on BL Model Under Coherent Illumination / 10.3：
PSM Optimization Algorithm Based on BL Model Under Coherent Illumination / 10.4.3：
Conclusions and New Directions of Computational Lithography / 10.5.3：
Conclusion / 11.1：
New Directions of Computational Lithography / 11.2：
OPC Optimization for the Next-Generation Lithography Technologies / 11.2.1：
Initialization Approach for the Inverse Lithography Optimization / 11.2.2：
Double Patterning and Double Exposure Methods in Partially Coherent Imaging System / 11.2.3：
OPC and PSM Optimizations for Inverse Lithography Based on Rigorous Mask Models in Partially Coherent Imaging System / 11.2.4：
Simultaneous Source and Mask Optimization for Inverse Lithography Based on Rigorous Mask Models / 11.2.5：
Investigation of Factors Influencing the Complexity of the OPC and PSM Optimization Algorithms / 11.2.6：
Formula Derivation in Chapter 5 / Appendix A：
Manhattan Geometry / Appendix B：
Formula Derivation in Chapter 6 / Appendix C：
Formula Derivation in Chapter 7 / Appendix D：
Formula Derivation in Chapter 8 / Appendix E：
Formula Derivation in Chapter 9 / Appendix F：
Formula Derivation in Chapter 10 / Appendix G：
Software Guide / Appendix H：
References
Index
Preface
Acknowledgments
Acronyms
25.

電子ブック
ＥＢ
25. Photonic Structures Inspired by Nature
Mathias Kolle
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
References
Theoretical Aspects of Photonic Structures / 2：
Reflection and Refraction at Optical Interfaces / 2.1：
Thin Film Interference / 2.2：
Multilayer Reflectivity / 2.3：
Qualitative Analysis of Multilayer Interference / 2.3.1：
Quantitative Analysis of Multilayer Interference / 2.3.2：
Band-Gaps of One-Dimensional Photonic Crystals / 2.4：
Multilayer Resonance Cavities / 2.5：
Diffraction from Periodic Surface Structures / 2.6：
Diffraction in the Fraunhofer Approximation / 2.6.1：
Finite-Difference Time-Domain Modelling of Diffraction / 2.6.2：
Structural Colours in Nature / 3：
Structural Colours in the Animal Kingdom / 3.1：
Simple Multilayers: The Japanese Jewel Beetle / 3.1.1：
Complex Multilayer Arrangements in Butterfly and Moth Structures / 3.1.2：
Floral Diffractive Structures / 3.2：
Diffraction and Iridescence from Striations on Flower Petals / 3.2.1：
Near-UV Reflectivity Enhancement by Grating-Like Striations / 3.2.2：
Conclusion / 3.3：
Materials and Techniques / 4：
Materials / 4.1：
Polymer Materials / 4.1.1：
Metal Oxides / 4.1.2：
Techniques: Multilayer Production / 4.2：
Sequential Spin-Coating / 4.2.1：
Floating and Stacking / 4.2.2：
Atomic Layer Deposition / 4.2.3：
Techniques: Pattern Creation and Transfer / 4.3：
Colloid Templating / 4.3.1：
Argon Ion Milling / 4.3.2：
Nano-Imprint Lithography / 4.3.3：
Dental Wax Casting / 4.3.4：
Techniques: Sample Characterisation / 4.4：
Gonio-Spectroscopy / 4.4.1：
Micro-Spectroscopy / 4.4.2：
Ellipsometry / 4.4.3：
Static and Tuneable One-Dimensional Photonic Structures / 5：
Static One-Dimensional Optical Devices / 5.1：
Organic Bragg Reflectors / 5.1.1：
Organic Resonance Cavities / 5.1.2：
Stretch-tuneable Dielectric Mirrors and Optical Microcavities / 5.2：
Sample Preparation and Experimental Setup / 5.2.1：
Cavity Design and Modelling / 5.2.2：
Results and Discussions / 5.2.3：
Microfabrication of Photonic Structures with Higher Dimensionality / 5.3：
Template-Assisted Ion Milling / 6.1：
The Ion Milling Template / 6.1.1：
Micro-Cones / 6.1.2：
Gold Crowns on Micro-Cones / 6.1.3：
Multilayer Patterning by Ion Milling / 6.1.4：
Nano-Imprinting of Photonic Structures / 6.2：
Imprinting with Micro-Cone Masters / 6.2.1：
Replication of Micro-Cones for Flexible Cell Substrates / 6.2.2：
Fabrication of an Imprint Master for the Replication of Butterfly Wing Scale Patterns / 6.2.3：
Multilayer Patterning by Nano-Imprinting / 6.2.4：
Atomic Layer Deposition on Structured Substrates / 6.3：
Mimicry of Papilio Blumei's Colourful Wing Scale Structure / 6.4：
The Role Model / 7.1：
The Replication Procedure / 7.2：
A Structural Replica / 7.3：
A Structurally Modified Replica with Enhanced Optical Performance / 7.4：
Conclusions and Future Work / 7.5：
Summary / 8.1：
Future Work / 8.2：
Curriculum Vitae
Introduction / 1：
References
Theoretical Aspects of Photonic Structures / 2：
26.

電子ブック
ＥＢ
26. Evolutionary Statistical Procedures
Roberto Baragona, Francesco Battaglia, Irene Poli
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Bio-inspired Optimization Methods / 1.1：
Topics Organization / 1.2：
Evolutionary Computation / 2：
Evolutionary Computation Between Artificial Intelligence and Natural Evolution / 2.1：
The Contribution of Genetics / 2.1.2：
Evolutionary Computation Methods / 2.2：
Essential Properties / 2.2.1：
Evolutionary Programming / 2.2.2：
Evolution Strategies / 2.2.3：
Genetic Algorithms / 2.2.4：
Estimation of Distribution Algorithms / 2.2.5：
Differential Evolution / 2.2.6：
Evolutionary Behavior Algorithms / 2.2.7：
A Simple Example of Evolutionary Computation / 2.2.8：
Properties of Genetic Algorithms / 2.3：
Genetic Algorithms as a Paradigm of Evolutionary Computation / 2.3.1：
Evolution of Genetic Algorithms / 2.3.2：
Convergence of Genetic Algorithms / 2.3.3：
Issues in the Implementation of Genetic Algorithms / 2.3.4：
Genetic Algorithms and Random Sampling from a Probability Distribution / 2.3.5：
Evolving Regression Models / 3：
Identification / 3.1：
Linear Regression / 3.2.1：
Generalized Linear Models / 3.2.2：
Principal Component Analysis / 3.2.3：
Parameter Estimation / 3.3：
Regression Models / 3.3.1：
The Logistic Regression Model / 3.3.2：
Independent Component Analysis / 3.4：
ICA algorithms / 3.4.1：
Simple GAs for ICA / 3.4.2：
GAs for Nonlinear ICA / 3.4.3：
Time Series Linear and Nonlinear Models / 4：
Models of Time Series / 4.1：
Autoregressive Moving Average Models / 4.2：
Identification of ARMA Models by Genetic Algorithms / 4.2.1：
More General Models / 4.2.2：
Nonlinear Models / 4.3：
Threshold AR and Double Threshold GARCH Models / 4.3.1：
Exponential Models / 4.3.2：
Piecewise Linear Models / 4.3.3：
Bilinear Models / 4.3.4：
Real Data Applications / 4.3.5：
Artificial Neural Networks / 4.3.6：
Design of Experiments / 5：
Experiments and Design of Experiments / 5.1：
Randomization, Replication and Blocking / 5.2.1：
Factorial Designs and Response Surface Methodology / 5.2.2：
The Evolutionary Design of Experiments / 5.3：
High-Dimensionality Search Space / 5.3.1：
The Evolutionary Approach to Design Experiments / 5.3.2：
The Genetic Algorithm Design (GA-Design) / 5.3.3：
The Evolutionary Model-Based Experimental Design: The Statistical Models in the Evolution / 5.4：
The Evolutionary Neural Network Design (ENN-Design) / 5.4.1：
The Model Based Genetic Algorithm Design (MGA-Design) / 5.4.2：
The Evolutionary Bayesian Network Design (EBN-Design) / 5.4.3：
Outliers / 6：
Outliers in Independent Data / 6.1：
Exploratory Data Analysis for Multiple Outliers Detection / 6.1.1：
Genetic Algorithms for Detecting Outliers in an i.i.d. Data Set / 6.1.2：
Outliers in Time Series / 6.2：
Univariate ARIMA Models / 6.2.1：
Multivariate Time Series Outlier Models / 6.2.2：
Genetic Algorithms for Multiple Outlier Detection / 6.3：
Detecting Multiple Outliers in Univariate Time Series / 6.3.1：
Genetic Algorithms for Detecting Multiple Outliers in Multivariate Time Series / 6.3.2：
An Example of Application to Real Data / 6.3.3：
Cluster Analysis / 7：
The Partitioning Problem / 7.1：
Classification / 7.1.1：
Algorithms for Clustering Data / 7.1.2：
Indexes of Cluster Validity / 7.1.3：
Genetic Clustering Algorithms / 7.2：
A Genetic Divisive Algorithm / 7.2.1：
Quick Partition Genetic Algorithms / 7.2.2：
Centroid Evolution Algorithms / 7.2.3：
The Grouping Genetic Algorithm / 7.2.4：
Genetic Clustering of Large Data Sets / 7.2.5：
Fuzzy Partition / 7.3：
The Fuzzy c-Means Algorithm / 7.3.1：
Genetic Fuzzy Partition Algorithms / 7.3.2：
Multivariate Mixture Models Estimation by Evolutionary Computing / 7.4：
Genetic Multivariate Mixture Model Estimates / 7.4.1：
Hybrid Genetic Algorithms and the EM Algorithm / 7.4.2：
Multivariate Mixture Model Estimates with Unknown Number of Mixtures / 7.4.3：
Genetic Algorithms in Classification and Regression Trees Models / 7.5：
Clusters of Time Series and Directional Data / 7.6：
GAs-Based Methods for Clustering Time Series Data / 7.6.1：
GAs-Based Methods for Clustering Directional Data / 7.6.2：
Multiobjective Genetic Clustering / 7.7：
Pareto Optimality / 7.7.1：
Multiobjective Genetic Clustering Outline / 7.7.2：
References
Index
Introduction / 1：
Bio-inspired Optimization Methods / 1.1：
Topics Organization / 1.2：
27.

電子ブック
ＥＢ
27. Visual Analysis of Behaviour
Shaogang Gong, Tao Xiang
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I：
About Behaviour / 1：
Understanding Behaviour / 1.1：
Representation and Modelling / 1.1.1：
Detection and Classification / 1.1.2：
Prediction and Association / 1.1.3：
Opportunities / 1.2：
Visual Surveillance / 1.2.1：
Video Indexing and Search / 1.2.2：
Robotics and Healthcare / 1.2.3：
Interaction, Animation and Computer Games / 1.2.4：
Challenges / 1.3：
Complexity / 1.3.1：
Uncertainty / 1.3.2：
The Approach / 1.4：
References
Behaviour in Context / 2：
Facial Expression / 2.1：
Body Gesture / 2.2：
Human Action / 2.3：
Human Intent / 2.4：
Group Activity / 2.5：
Crowd Behaviour / 2.6：
Distributed Behaviour / 2.7：
Holistic Awareness: Connecting the Dots / 2.8：
Towards Modelling Behaviour / 3：
Behaviour Representation / 3.1：
Object-Based Representation / 3.1.1：
Part-Based Representation / 3.1.2：
Pixel-Based Representation / 3.1.3：
Event-Based Representation / 3.1.4：
Probabilistic Graphical Models / 3.2：
Static Bayesian Networks / 3.2.1：
Dynamic Bayesian Networks / 3.2.2：
Probabilistic Topic Models / 3.2.3：
Learning Strategies / 3.3：
Supervised Learning / 3.3.1：
Unsupervised Learning / 3.3.2：
Semi-supervised Learning / 3.3.3：
Weakly Supervised Learning / 3.3.4：
Active Learning / 3.3.5：
Sing-Object Behaviour / Part II：
Understanding Facial Expression / 4：
Classification of Images / 4.1：
Local Binary Patterns / 4.1.1：
Designing Classifiers / 4.1.2：
Feature Selection by Boosting / 4.1.3：
Manifold and Temporal Modelling / 4.2：
Locality Preserving Projections / 4.2.1：
Bayesian Temporal Models / 4.2.2：
Discussion / 4.3：
Modelling Gesture / 5：
Tracking Gesture / 5.1：
Motion Moment Trajectory / 5.1.1：
2D Colour-Based Tracking / 5.1.2：
Bayesian Association / 5.1.3：
3D Model-Based Tracking / 5.1.4：
Segmentation and Atomic Action / 5.2：
Temporal Segmentation / 5.2.1：
Atomic Actions / 5.2.2：
Markov Processes / 5.3：
Affective State Analysis / 5.4：
Space-Time Interest Points / 5.4.1：
Expression and Gesture Correlation / 5.4.2：
Action Recognition / 5.5：
Human Silhouette / 6.1：
Hidden Conditional Random Fields / 6.2：
HCRF Potential Function / 6.2.1：
Observable HCRF / 6.2.2：
Space-Time Clouds / 6.3：
Clouds of Space-Time Interest Points / 6.3.1：
Joint Local and Global Feature Representation / 6.3.2：
Localisation and Detection / 6.4：
Tracking Salient Points / 6.4.1：
Automated Annotation / 6.4.2：
Group Behaviour / 6.5：
Supervised Learning of Group Activity / 7：
Contextual Events / 7.1：
Seeding Event: Measuring Pixel-Change-History / 7.1.1：
Classification of Contextual Events / 7.1.2：
Activity Segmentation / 7.2：
Semantic Content Extraction / 7.2.1：
Semantic Video Segmentation / 7.2.2：
Correlations of Temporal Processes / 7.3：
Behavioural Interpretation of Activities / 7.3.2：
Unsupervised Behaviour Profiling / 7.4：
Off-line Behaviour Profile Discovery / 8.1：
Behaviour Patterns / 8.1.1：
Behaviour Profiling by Data Mining / 8.1.2：
Behaviour Affinity Matrix / 8.1.3：
Eigendecomposition / 8.1.4：
Model Order Selection / 8.1.5：
Quantifying Eigenvector Relevance / 8.1.6：
On-line Anomaly Detection / 8.2：
A Composite Behaviour Model / 8.2.1：
Run-Time Anomaly Measure / 8.2.2：
On-line Likelihood Ratio Test / 8.2.3：
On-line Incremental Behaviour Modelling / 8.3：
Model Bootstrapping / 8.3.1：
Incremental Parameter Update / 8.3.2：
Model Structure Adaptation / 8.3.3：
Hierarchical Behaviour Discovery / 8.4：
Local Motion Events / 9.1：
Markov Clustering Topic Model / 9.2：
Off-line Model Learning by Gibbs Sampling / 9.2.1：
On-line Video Saliency Inference / 9.2.2：
On-line Video Screening / 9.3：
Model Complexity Control / 9.4：
Semi-supervised Learning of Behavioural Saliency / 9.5：
Learning Behavioural Context / 9.6：
Spatial Context / 10.1：
Behaviour-Footprint / 10.1.1：
Semantic Scene Decompostion / 10.1.2：
Correlational and Temporal Context / 10.2：
Learning Regional Context / 10.2.1：
Learning Global Context / 10.2.2：
Context-Aware Anomly Detection / 10.3：
Modelling Rare and Subtle Behaviours / 10.4：
Weakly Supervised Joint Topic Model / 11.1：
Model Structure / 11.1.1：
Model Parameters / 11.1.2：
On-line Behaviour Classification / 11.2：
Localisation of Rare Behaviour / 11.3：
Man in the Loop / 11.4：
Active Behaviour Learning Strategy / 12.1：
Local Block-Based Behaviour / 12.2：
Bayesian Classification / 12.3：
Query Criteria / 12.4：
Likelihood Criterion / 12.4.1：
Uncertainty Criterion / 12.4.2：
Adaptive Query Selection / 12.5：
Multi-camera Behaviour Correlation / 12.6：
Multi-view Activity Representation / 13.1：
Local Bivariate Time-Series Events / 13.1.1：
Activity-Based Scene Decomposition / 13.1.2：
Learning Pair-Wise Correlation / 13.2：
Cross Canonical Correlation Analysis / 13.2.1：
Time-Delayed Mutual Information Analysis / 13.2.2：
Multi-camera Topology Inference / 13.3：
Person Re-identification / 13.4：
Re-identification by Ranking / 14.1：
Support Vector Ranking / 14.1.1：
Scalability and Complexity / 14.1.2：
Ensemble Rank SVM / 14.1.3：
Context-Aware Search / 14.2：
Connecting the Dots / 14.3：
Global Behaviour Segmentation / 15.1：
Bayesian Behaviour Graphs / 15.2：
A Time-Delayed Probalistic Graphical Model / 15.2.1：
Bayesian Graph Structure Learning / 15.2.2：
Bayesian Graph Parameter Learning / 15.2.3：
Cumulative Anomaly Score / 15.2.4：
Incremental Model Structure Learning / 15.2.5：
Global Awareness / 15.3：
Time-Ordered Latent Dirichlet Allocation / 15.3.1：
On-line Prediction and Anomaly Detection / 15.3.2：
Epilogue / 15.4：
Index
Introduction / Part I：
About Behaviour / 1：
Understanding Behaviour / 1.1：
28.

電子ブック
ＥＢ
28. Visual Analysis of Behaviour
Shaogang Gong, Tao Xiang
出版情報: SpringerLink Books - AutoHoldings , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I：
About Behaviour / 1：
Understanding Behaviour / 1.1：
Representation and Modelling / 1.1.1：
Detection and Classification / 1.1.2：
Prediction and Association / 1.1.3：
Opportunities / 1.2：
Visual Surveillance / 1.2.1：
Video Indexing and Search / 1.2.2：
Robotics and Healthcare / 1.2.3：
Interaction, Animation and Computer Games / 1.2.4：
Challenges / 1.3：
Complexity / 1.3.1：
Uncertainty / 1.3.2：
The Approach / 1.4：
References
Behaviour in Context / 2：
Facial Expression / 2.1：
Body Gesture / 2.2：
Human Action / 2.3：
Human Intent / 2.4：
Group Activity / 2.5：
Crowd Behaviour / 2.6：
Distributed Behaviour / 2.7：
Holistic Awareness: Connecting the Dots / 2.8：
Towards Modelling Behaviour / 3：
Behaviour Representation / 3.1：
Object-Based Representation / 3.1.1：
Part-Based Representation / 3.1.2：
Pixel-Based Representation / 3.1.3：
Event-Based Representation / 3.1.4：
Probabilistic Graphical Models / 3.2：
Static Bayesian Networks / 3.2.1：
Dynamic Bayesian Networks / 3.2.2：
Probabilistic Topic Models / 3.2.3：
Learning Strategies / 3.3：
Supervised Learning / 3.3.1：
Unsupervised Learning / 3.3.2：
Semi-supervised Learning / 3.3.3：
Weakly Supervised Learning / 3.3.4：
Active Learning / 3.3.5：
Sing-Object Behaviour / Part II：
Understanding Facial Expression / 4：
Classification of Images / 4.1：
Local Binary Patterns / 4.1.1：
Designing Classifiers / 4.1.2：
Feature Selection by Boosting / 4.1.3：
Manifold and Temporal Modelling / 4.2：
Locality Preserving Projections / 4.2.1：
Bayesian Temporal Models / 4.2.2：
Discussion / 4.3：
Modelling Gesture / 5：
Tracking Gesture / 5.1：
Motion Moment Trajectory / 5.1.1：
2D Colour-Based Tracking / 5.1.2：
Bayesian Association / 5.1.3：
3D Model-Based Tracking / 5.1.4：
Segmentation and Atomic Action / 5.2：
Temporal Segmentation / 5.2.1：
Atomic Actions / 5.2.2：
Markov Processes / 5.3：
Affective State Analysis / 5.4：
Space-Time Interest Points / 5.4.1：
Expression and Gesture Correlation / 5.4.2：
Action Recognition / 5.5：
Human Silhouette / 6.1：
Hidden Conditional Random Fields / 6.2：
HCRF Potential Function / 6.2.1：
Observable HCRF / 6.2.2：
Space-Time Clouds / 6.3：
Clouds of Space-Time Interest Points / 6.3.1：
Joint Local and Global Feature Representation / 6.3.2：
Localisation and Detection / 6.4：
Tracking Salient Points / 6.4.1：
Automated Annotation / 6.4.2：
Group Behaviour / 6.5：
Supervised Learning of Group Activity / 7：
Contextual Events / 7.1：
Seeding Event: Measuring Pixel-Change-History / 7.1.1：
Classification of Contextual Events / 7.1.2：
Activity Segmentation / 7.2：
Semantic Content Extraction / 7.2.1：
Semantic Video Segmentation / 7.2.2：
Correlations of Temporal Processes / 7.3：
Behavioural Interpretation of Activities / 7.3.2：
Unsupervised Behaviour Profiling / 7.4：
Off-line Behaviour Profile Discovery / 8.1：
Behaviour Patterns / 8.1.1：
Behaviour Profiling by Data Mining / 8.1.2：
Behaviour Affinity Matrix / 8.1.3：
Eigendecomposition / 8.1.4：
Model Order Selection / 8.1.5：
Quantifying Eigenvector Relevance / 8.1.6：
On-line Anomaly Detection / 8.2：
A Composite Behaviour Model / 8.2.1：
Run-Time Anomaly Measure / 8.2.2：
On-line Likelihood Ratio Test / 8.2.3：
On-line Incremental Behaviour Modelling / 8.3：
Model Bootstrapping / 8.3.1：
Incremental Parameter Update / 8.3.2：
Model Structure Adaptation / 8.3.3：
Hierarchical Behaviour Discovery / 8.4：
Local Motion Events / 9.1：
Markov Clustering Topic Model / 9.2：
Off-line Model Learning by Gibbs Sampling / 9.2.1：
On-line Video Saliency Inference / 9.2.2：
On-line Video Screening / 9.3：
Model Complexity Control / 9.4：
Semi-supervised Learning of Behavioural Saliency / 9.5：
Learning Behavioural Context / 9.6：
Spatial Context / 10.1：
Behaviour-Footprint / 10.1.1：
Semantic Scene Decompostion / 10.1.2：
Correlational and Temporal Context / 10.2：
Learning Regional Context / 10.2.1：
Learning Global Context / 10.2.2：
Context-Aware Anomly Detection / 10.3：
Modelling Rare and Subtle Behaviours / 10.4：
Weakly Supervised Joint Topic Model / 11.1：
Model Structure / 11.1.1：
Model Parameters / 11.1.2：
On-line Behaviour Classification / 11.2：
Localisation of Rare Behaviour / 11.3：
Man in the Loop / 11.4：
Active Behaviour Learning Strategy / 12.1：
Local Block-Based Behaviour / 12.2：
Bayesian Classification / 12.3：
Query Criteria / 12.4：
Likelihood Criterion / 12.4.1：
Uncertainty Criterion / 12.4.2：
Adaptive Query Selection / 12.5：
Multi-camera Behaviour Correlation / 12.6：
Multi-view Activity Representation / 13.1：
Local Bivariate Time-Series Events / 13.1.1：
Activity-Based Scene Decomposition / 13.1.2：
Learning Pair-Wise Correlation / 13.2：
Cross Canonical Correlation Analysis / 13.2.1：
Time-Delayed Mutual Information Analysis / 13.2.2：
Multi-camera Topology Inference / 13.3：
Person Re-identification / 13.4：
Re-identification by Ranking / 14.1：
Support Vector Ranking / 14.1.1：
Scalability and Complexity / 14.1.2：
Ensemble Rank SVM / 14.1.3：
Context-Aware Search / 14.2：
Connecting the Dots / 14.3：
Global Behaviour Segmentation / 15.1：
Bayesian Behaviour Graphs / 15.2：
A Time-Delayed Probalistic Graphical Model / 15.2.1：
Bayesian Graph Structure Learning / 15.2.2：
Bayesian Graph Parameter Learning / 15.2.3：
Cumulative Anomaly Score / 15.2.4：
Incremental Model Structure Learning / 15.2.5：
Global Awareness / 15.3：
Time-Ordered Latent Dirichlet Allocation / 15.3.1：
On-line Prediction and Anomaly Detection / 15.3.2：
Epilogue / 15.4：
Index
Introduction / Part I：
About Behaviour / 1：
Understanding Behaviour / 1.1：
29.

電子ブック
ＥＢ
29. Extended Finite Element Method for Crack Propagation
Sylvie Pommier, Anthony Gravouil, Alain Combescure, Nicolas Moes
出版情報: Wiley Online Library - AutoHoldings Books , Wiley-ISTE, 2011
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Acknowledgements
List of Symbols
Introduction
Elementary Concepts of Fracture Mechanics / Chapter 1：
Superposition principle / 1.1：
Modes of crack straining / 1.3：
Singular fields at cracking point / 1.4：
Asymptotic solutions in Mode I / 1.4.1：
Asymptotic solutions in Mode II / 1.4.2：
Asymptotic solutions in Mode III / 1.4.3：
Conclusions / 1.4.4：
Crack propagation criteria / 1.5：
Local criterion / 1.5.1：
Energy criterion / 1.5.2：
Energy release rate G / 1.5.2.1：
Relationship between G and stress intensity factors / 1.5.2.2：
How the crack is propagated / 1.5.2.3：
Propagation velocity / 1.5.2.4：
Direction of crack propagation / 1.5.2.5：
Representation of Fixed and Moving Discontinuities / Chapter 2：
Geometric representation of a crack: a scale problem / 2.1：
Link between the geometric representation of the crack and the crack model / 2.1.1：
Link between the geometric representation of the crack and the numerical method used for crack growth simulation / 2.1.2：
Crack representation by level sets / 2.2：
Definition of level sets / 2.2.1：
Level sets discretization / 2.2.3：
Initialization of level sets / 2.2.4：
Simulation of the geometric propagation of a crack / 2.3：
Some examples of strategies for crack propagation simulation / 2.3.1：
Crack propagation modeled by level sets / 2.3.2：
Numerical methods dedicated to level set propagation / 2.3.3：
Prospects of the geometric representation of cracks / 2.4：
Extended Finite Element Method X-FEM / Chapter 3：
Going back to discretization methods / 3.1：
Formulation of the problem and notations / 3.2.1：
The Rayleigh-Ritz approximation / 3.2.2：
Finite element method / 3.2.3：
Meshless methods / 3.2.4：
The partition of unity / 3.2.5：
X-FEM discontinuity modeling / 3.3：
Introduction, case of a cracked bar / 3.3.1：
Case a: crack positioned on a node / 3.3.1.1：
Case b: crack between two nodes / 3.3.1.2：
Variants / 3.3.2：
Extension to two-dimensional and three-dimensional cases / 3.3.3：
Level sets within the framework of the eXtended finite element method / 3.3.4：
Technical and mathematical aspects / 3.4：
Integration / 3.4.1：
Conditioning / 3.4.2：
Evaluation of the stress intensity factors / 3.5：
The Eshelby tensor and the J integral / 3.5.1：
Interaction integrals / 3.5.2：
Considering volumic forces / 3.5.3：
Considering thermal loading / 3.5.4：
Non-linear Problems, Crack Growth by Fatigue / Chapter 4：
Fatigue and non-linear fracture mechanics / 4.1：
Mechanisms of crack growth by fatigue / 4.2.1：
Macroscopic crack growth rate and striation formation / 4.2.1.1：
Fatigue crack growth rate of long cracks, Paris law / 4.2.1.4：
Brief conclusions / 4.2.1.5：
Confined plasticity and consequences for crack growth / 4.2.2：
Irwin's plastic zones / 4.2.2.1：
Role of the T stress / 4.2.2.2：
Role of material hardening / 4.2.2.3：
Cyclic plasticity / 4.2.2.4：
Effect of residual stress on crack propagation / 4.2.2.5：
eXtended constitutive law / 4.3：
Scale-up method for fatigue crack growth / 4.3.1：
Procedure / 4.3.1.1：
Scaling / 4.3.1.2：
Assessment / 4.3.1.3：
Damage law / 4.3.2：
Plasticity threshold / 4.3.2.2：
Plastic flow rule / 4.3.2.3：
Evolution law of the center of the elastic domain / 4.3.2.4：
Model parameters / 4.3.2.5：
Comparisons / 4.3.2.6：
Applications / 4.4：
Mode I crack growth under variable loading / 4.4.1：
Effect of the T stress / 4.4.2：
Applications: Numerical Simulation of Crack Growth / Chapter 5：
Energy conservation: an essential ingredient / 5.1：
Proof of energy conservation / 5.1.1：
X-FEM approach / 5.1.1.1：
Cohesive zone models / 5.1.1.2：
Energy conservation for adaptive cohesive zones / 5.1.1.3：
Case where the material behavior depends on history / 5.1.2：
Examples of crack growth by fatigue simulations / 5.2：
Calculation of linear fatigue crack growth simulation / 5.2.1：
Two-dimensional fatigue tests / 5.2.2：
Test-piece CTS: crack growth in mode 1 / 5.2.2.1：
Arcan test piece: crack growth in mixed mode / 5.2.2.2：
Three-dimensional fatigue cracks Propavanfiss project / 5.2.3：
Internal crack growth rate / 5.2.3.1：
Propagation of corner cracks / 5.2.4：
Dynamic fracture simulation / 5.3：
Effects of crack speed a and crack growth criteria / 5.3.1：
Analytical solution: rectilinear crack propagation on a reference problem / 5.3.2：
Kalthoff experiment / 5.3.3：
Tests on test pieces CCS of Maigre-Rittel / 5.3.4：
Réthoré, Gregoire and Maigre tests / 5.3.5：
X-FEM method in explicit dynamics / 5.3.6：
Simulation of ductile fracture / 5.4：
Characteristics of material 16MND5 / 5.4.1：
Dynamic characterization of the material / 5.4.1.1：
Fracture tests / 5.4.1.2：
Crack advancement measurement device / 5.4.1.3：
Description of tests on CT test pieces / 5.4.1.4：
Numerical simulation / 5.4.1.5：
Ring test and interpretation / 5.4.2：
Geometry, mesh, and loading / 5.4.2.1：
Interpretation of the test in Mode I / 5.4.2.2：
Interpretation of the test in mixed mode / 5.4.2.3：
Conclusions and Open Problems
Summary
Bibliography
Index
Foreword
Acknowledgements
List of Symbols
30.

電子ブック
ＥＢ
30. Automata for Branching and Layered Temporal Structures
Gabriele Puppis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
Words and Languages / 2.1.1：
Periodicity of Words / 2.1.2：
Word Automata / 2.1.3：
Time Granularities / 2.1.4：
The String-Based and Automaton-Based Approaches / 2.2：
The Granspec Formalism / 2.2.1：
From Granspecs to Single-String Automata / 2.2.2：
Counters and Multiple Transitions / 2.2.3：
The Logical Counterpart of RCSSA / 2.2.4：
Compact and Tractable Representations / 2.3：
Nested Repetitions of Words / 2.3.1：
Algorithms on NCSSA / 2.3.2：
Optimizing Representations / 2.3.3：
Reasoning on Sets of Granularities / 2.4：
Languages of Ultimately Periodic Words / 2.4.1：
Ultimately Periodic Automata / 2.4.2：
Algorithms on UPA / 2.4.3：
Applications to Time Granularity / 2.4.4：
Discussion / 2.5：
Tree Automata and Logics / 3：
Graphs and Trees / 3.1：
Tree Automata / 3.1.2：
Monadic Second-Order Logic / 3.1.3：
The Model Checking Problem / 3.1.4：
The Contraction Method for Tree Automata / 3.2：
Features and Types / 3.2.1：
Types and the Acceptance Problem / 3.2.2：
From Trees to Their Retractions / 3.2.3：
An Example / 3.2.4：
Tree Transformations / 3.3：
Tree Recolorings / 3.3.1：
Tree Substitutions / 3.3.2：
Tree Transducers / 3.3.3：
Inverse Substitutions / 3.3.4：
A Summary / 3.3.5：
The Class of Reducible Trees / 3.4：
Compositional Properties of Types / 3.4.1：
Closure Properties / 3.4.2：
Effectiveness of the Contraction Method / 3.5：
Reducible Trees and the Caucal Hierarchy / 3.5.1：
Two-Way Alternating Tree Automata / 3.5.2：
Morphic Trees / 3.5.3：
Layered Temporal Structures / 3.5.4：
Summary / 3.6：
Technical Proofs / A：
Proofs of Theorem 5 and Theorem 6 / A.l：
Proof of Theorem 8 / A.2：
Proof of Proposition 34 / A.3：
References
Notation
Index
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
31.

図書
図書
31. Fluid mechanics : a short course for physicists
Gregory Falkovich
出版情報: Cambridge : Cambridge University Press, 2011  xii, 167 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Prologue
Basic equations and steady flows / 1：
Definitions and basic equations / 1.1：
Definitions / 1.1.1：
Equations of motion for an ideal fluid / 1.1.2：
Hydrostatics / 1.1.3：
Isentropic motion / 1.1.4：
Conservation laws and potential flows / 1.2：
Kinematics / 1.2.1：
Kelvin's theorem / 1.2.2：
Energy and momentum fluxes / 1.2.3：
Irrotational and incompressible flows / 1.2.4：
Flow past a body / 1.3：
Incompressible potential flow past a body / 1.3.1：
Moving sphere / 1.3.2：
Moving body of an arbitrary shape / 1.3.3：
Quasi-momentum and induced mass / 1.3.4：
Viscosity / 1.4：
Reversibility paradox / 1.4.1：
Viscous stress tensor / 1.4.2：
Navier-Stokes equation / 1.4.3：
Law of similarity / 1.4.4：
Stokes flow and the wake / 1.5：
Slow motion / 1.5.1：
The boundary layer and the separation phenomenon / 1.5.2：
Flow transformations / 1.5.3：
Drag and lift with a wake / 1.5.4：
Exercises
Unsteady flows / 2：
Instabilities / 2.1：
Kelvin-Helmholtz instability / 2.1.1：
Energetic estimate of the stability threshold / 2.1.2：
Landau's law / 2.1.3：
Turbulence / 2.2：
Cascade / 2.2.1：
Turbulent river and wake / 2.2.2：
Acoustics / 2.3：
Sound / 2.3.1：
Riemann wave / 2.3.2：
Burgers equation / 2.3.3：
Acoustic turbulence / 2.3.4：
Mach number / 2.3.5：
Dispersive waves / 3：
Linear waves / 3.1：
Surface gravity waves / 3.1.1：
Viscous dissipation / 3.1.2：
Capillary waves / 3.1.3：
Phase and group velocity / 3.1.4：
Weakly non-linear waves / 3.2：
Hamiltonian description / 3.2.1：
Hamiltonian normal forms / 3.2.2：
Wave instabilities / 3.2.3：
Non-linear Schrödinger equation (NSE) / 3.3：
Derivation of NSE / 3.3.1：
Modulational instability / 3.3.2：
Soliton, collapse and turbulence / 3.3.3：
Korteveg-de-Vries (KdV) equation / 3.4：
Waves in shallow water / 3.4.1：
The KdV equation and the soliton / 3.4.2：
Inverse scattering transform / 3.4.3：
Solutions to exercises / 4：
Chapter 1
Chapter 2
Chapter 3
Epilogue
Notes
References
Index
Preface
Prologue
Basic equations and steady flows / 1：
32.

電子ブック
ＥＢ
32. Automata for Branching and Layered Temporal Structures
Gabriele Puppis, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
Words and Languages / 2.1.1：
Periodicity of Words / 2.1.2：
Word Automata / 2.1.3：
Time Granularities / 2.1.4：
The String-Based and Automaton-Based Approaches / 2.2：
The Granspec Formalism / 2.2.1：
From Granspecs to Single-String Automata / 2.2.2：
Counters and Multiple Transitions / 2.2.3：
The Logical Counterpart of RCSSA / 2.2.4：
Compact and Tractable Representations / 2.3：
Nested Repetitions of Words / 2.3.1：
Algorithms on NCSSA / 2.3.2：
Optimizing Representations / 2.3.3：
Reasoning on Sets of Granularities / 2.4：
Languages of Ultimately Periodic Words / 2.4.1：
Ultimately Periodic Automata / 2.4.2：
Algorithms on UPA / 2.4.3：
Applications to Time Granularity / 2.4.4：
Discussion / 2.5：
Tree Automata and Logics / 3：
Graphs and Trees / 3.1：
Tree Automata / 3.1.2：
Monadic Second-Order Logic / 3.1.3：
The Model Checking Problem / 3.1.4：
The Contraction Method for Tree Automata / 3.2：
Features and Types / 3.2.1：
Types and the Acceptance Problem / 3.2.2：
From Trees to Their Retractions / 3.2.3：
An Example / 3.2.4：
Tree Transformations / 3.3：
Tree Recolorings / 3.3.1：
Tree Substitutions / 3.3.2：
Tree Transducers / 3.3.3：
Inverse Substitutions / 3.3.4：
A Summary / 3.3.5：
The Class of Reducible Trees / 3.4：
Compositional Properties of Types / 3.4.1：
Closure Properties / 3.4.2：
Effectiveness of the Contraction Method / 3.5：
Reducible Trees and the Caucal Hierarchy / 3.5.1：
Two-Way Alternating Tree Automata / 3.5.2：
Morphic Trees / 3.5.3：
Layered Temporal Structures / 3.5.4：
Summary / 3.6：
Technical Proofs / A：
Proofs of Theorem 5 and Theorem 6 / A.l：
Proof of Theorem 8 / A.2：
Proof of Proposition 34 / A.3：
References
Notation
Index
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
33.

電子ブック
ＥＢ
33. Bifurcation and Chaos in Discontinuous and Continuous Systems
Albert C. J. Luo, Michal Feckan, Nail H. Ibragimov, Michal Fečkan
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
References
Preliminary Results / 2：
Linear Functional Analysis / 2.1：
Nonlinear Functional Analysis / 2.2：
Banach Fixed Point Theorem / 2.2.1：
Implicit Function Theorem / 2.2.2：
Lyapunov-Schmidt Method / 2.2.3：
Brouwer Degree / 2.2.4：
Local Invertibility / 2.2.5：
Global Invertibility / 2.2.6：
Multivalued Mappings / 2.3：
Differential Topology / 2.4：
Differentiable Manifolds / 2.4.1：
Vector Bundles / 2.4.2：
Tubular Neighbourhoods / 2.4.3：
Dynamical Systems / 2.5：
Homogenous Linear Equations / 2.5.1：
Chaos in Diffeomorphisms / 2.5.2：
Periodic ODEs / 2.5.3：
Vector Fields / 2.5.4：
Global Center Manifolds / 2.5.5：
Two-Dimensional Flows / 2.5.6：
Averaging Method / 2.5.7：
Carathéodory Type ODEs / 2.5.8：
Singularities of Smooth Maps / 2.6：
Jet Bundles / 2.6.1：
Transversality / 2.6.2：
Malgrange Preparation Theorem / 2.6.4：
Complex Analysis / 2.6.5：
Chaos in Discrete Dynamical Systems / 3：
Transversal Bounded Solutions / 3.1：
Difference Equations / 3.1.1：
Variational Equation / 3.1.2：
Perturbation Theory / 3.1.3：
Bifurcation from a Manifold of Homoclinic Solutions / 3.1.4：
Applications to Impulsive Differential Equations / 3.1.5：
Transversal Homoclinic Orbits / 3.2：
Higher Dimensional Difference Equations / 3.2.1：
Bifurcation Result / 3.2.2：
Applications to McMillan Type Mappings / 3.2.3：
Planar Integrable Maps with Separatrices / 3.2.4：
Singular Impulsive ODEs / 3.3：
Singular ODEs with Impulses / 3.3.1：
Linear Singular ODEs with Impulses / 3.3.2：
Derivation of the Melnikov Function / 3.3.3：
Examples of Singular Impulsive ODEs / 3.3.4：
Singularly Perturbed Impulsive ODEs / 3.4：
Singularly Perturbed ODEs with Impulses / 3.4.1：
Melnikov Function / 3.4.2：
Second Order Singularly Perturbed ODEs with Impulses / 3.4.3：
Inflated Deterministic Chaos / 3.5：
Inflated Dynamical Systems / 3.5.1：
Inflated Chaos / 3.5.2：
Chaos in Ordinary Differential Equations / 4：
Higher Dimensional ODEs / 4.1：
Parameterized Higher Dimensional ODEs / 4.1.1：
Variational Equations / 4.1.2：
Melnikov Mappings / 4.1.3：
The Second Order Melnikov Function / 4.1.4：
Application to Periodically Perturbed ODEs / 4.1.5：
ODEs with Nonresonant Center Manifolds / 4.2：
Parameterized Coupled Oscillators / 4.2.1：
Chaotic Dynamics on the Hyperbolic Subspace / 4.2.2：
Chaos in the Full Equation / 4.2.3：
Applications to Nonlinear ODEs / 4.2.4：
ODEs with Resonant Center Manifolds / 4.3：
ODEs with Saddle-Center Parts / 4.3.1：
Example of Coupled Oscillators at Resonance / 4.3.2：
General Equations / 4.3.3：
Singularly Perturbed and Forced ODEs / 4.3.4：
Forced Singular ODEs / 4.4.1：
Center Manifold Reduction / 4.4.2：
ODEs with Normal and Slow Variables / 4.4.3：
Homoclinic Hopf Bifurcation / 4.4.4：
Bifurcation from Degenerate Homoclinics / 4.5：
Periodically Forced ODEs with Degenerate Homoclinics / 4.5.1：
Bifurcation Equation / 4.5.2：
Bifurcation for 2-Parametric Systems / 4.5.3：
Bifurcation for 4-Parametric Systems / 4.5.4：
Autonomous Perturbations / 4.5.5：
Inflated ODEs / 4.6：
Inflated Carathéodory Type ODEs / 4.6.1：
Inflated Periodic ODEs / 4.6.2：
Inflated Autonomous ODEs / 4.6.3：
Nonlinear Diatomic Lattices / 4.7：
Forced and Coupled Nonlinear Lattices / 4.7.1：
Spatially Localized Chaos / 4.7.2：
Chaos in Partial Differential Equations / 5：
Beams on Elastic Bearings / 5.1：
Weakly Nonlinear Beam Equation / 5.1.1：
Setting of the Problem / 5.1.2：
Chaotic Solutions / 5.1.3：
Useful Numerical Estimates / 5.1.5：
Lipschitz Continuity / 5.1.6：
Infinite Dimensional Non-Resonant Systems / 5.2：
Buckled Elastic Beam / 5.2.1：
Abstract Problem / 5.2.2：
Chaos on the Hyperbolic Subspace / 5.2.3：
Applications to Vibrating Elastic Beams / 5.2.4：
Planer Motion with One Buckled Mode / 5.2.6：
Nonplaner Symmetric Beams / 5.2.7：
Nonplaner Nonsymmetric Beams / 5.2.8：
Multiple Buckled Modes / 5.2.9：
Periodically Forced Compressed Beam / 5.3：
Resonant Compressed Equation / 5.3.1：
Formulation of Weak Solutions / 5.3.2：
Chaos in Discontinuous Differential Equations / 5.3.3：
Transversal Homoclinic Bifurcation / 6.1：
Discontinuous Differential Equations / 6.1.1：
Geometric Interpretation of Nondegeneracy Condition / 6.1.2：
Orbits Close to the Lower Homoclinic Branches / 6.1.4：
Orbits Close to the Upper Homoclinic Branch / 6.1.5：
Chaotic Behaviour / 6.1.6：
Almost and Quasiperiodic Cases / 6.1.8：
Periodic Case / 6.1.9：
Piecewise Smooth Planar Systems / 6.1.10：
3D Quasiperiodic Piecewise Linear Systems / 6.1.11：
Multiple Transversal Crossings / 6.1.12：
Sliding Homoclinic Bifurcation / 6.2：
Higher Dimensional Sliding Homoclinics / 6.2.1：
Planar Sliding Homoclinics / 6.2.2：
Three-Dimensional Sliding Homoclinics / 6.2.3：
Outlook / 6.3：
Concluding Related Topics / 7：
Notes on Melnikov Function / 7.1：
Role of Melnikov Function / 7.1.1：
Melnikov Function and Calculus of Residues / 7.1.2：
Second Order ODEs / 7.1.3：
Applications and Examples / 7.1.4：
Transverse Heteroclinic Cycles / 7.2：
Blue Sky Catastrophes / 7.3：
Symmetric Systems with First Integrals / 7.3.1：
D'Alembert and Penalized Equations / 7.3.2：
Index
Introduction / 1：
References
Preliminary Results / 2：
34.

電子ブック
ＥＢ
34. Information Retrieval Architecture and Algorithms
Gerald Kowalski
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Information Retrieval System Functions / 1：
Introduction / 1.1：
Primary Information Retrieval Problems / 1.1.1：
Objectives of Information Retrieval System / 1.1.2：
Functional Overview of Information Retrieval Systems / 1.2：
Selective Dissemination of Information / 1.2.1：
Alerts / 1.2.2：
Items and Item Index / 1.2.3：
Indexing and Mapping to a Taxonomy / 1.2.4：
Understanding Search Functions / 1.3：
Boolean Logic / 1.3.1：
Proximity / 1.3.2：
Contiguous Word Phrases / 1.3.3：
Fuzzy Searches / 1.3.4：
Term Masking / 1.3.5：
Numeric and Date Ranges / 1.3.6：
Vocabulary Browse / 1.3.7：
Multimedia Search / 1.3.8：
Relationship to Database Management Systems / 1.4：
Digital Libraries and Data Warehouses / 1.5：
Processing Subsystem Overview / 1.6：
Summary / 1.7：
Exercises / 1.8：
Data Structures and Mathematical Algorithms / 2：
Data Structures / 2.1：
Introduction to Data Structures / 2.1.1：
Inverted File Structure / 2.1.2：
N-Gram Data Structures / 2.1.3：
PAT Data Structure / 2.1.4：
Signature File Structure / 2.1.5：
Hypertext and XML Data Structures / 2.1.6：
XML / 2.1.7：
Mathematical Algorithms / 2.2：
Bayesian Mathematics / 2.2.1：
Shannon's Theory of Information / 2.2.3：
Latent Semantic Indexing / 2.2.4：
Hidden Markov Models / 2.2.5：
Neural Networks / 2.2.6：
Support Vector Machines / 2.2.7：
Ingest / 2.3：
Introduction to Ingest / 3.1：
Item Receipt / 3.2：
Duplicate Detection / 3.3：
Item Normalization / 3.4：
Zoning and Creation of Processing Tokens / 3.5：
Stemming / 3.6：
Introduction to the Stemming Process / 3.6.1：
Porter Stemming Algorithm / 3.6.2：
Dictionary Look-Up Stemmers / 3.6.3：
Successor Stemmers / 3.6.4：
Conclusions on Stemming / 3.6.5：
Entity Processing / 3.7：
Entity Identification / 3.7.1：
Entity Normalization / 3.7.2：
Entity Resolution / 3.7.3：
Information Extraction / 3.7.4：
Categorization / 3.8：
Citational Metadata / 3.9：
Indexing / 3.10：
What is Indexing / 4.1：
History / 4.1.1：
Objectives / 4.1.2：
Manual Indexing Process / 4.2：
Scope of Indexing / 4.2.1：
Precoordination and Linkages / 4.2.2：
Automatic Indexing of Text / 4.3：
Statistical Indexing / 4.3.1：
Natural Language / 4.3.2：
Concept Indexing / 4.3.3：
Automatic Indexing of Multimedia / 4.4：
Introduction to Mutlimedia Indexing / 4.4.1：
Audio Indexing / 4.4.2：
Image Indexing / 4.4.3：
Video Indexing / 4.4.4：
Search / 4.5：
Similarity Measures and Ranking / 5.1：
Similarity Measures / 5.2.1：
Hidden Markov Models Techniques / 5.3：
Ranking Algorithms / 5.4：
Relevance Feedback / 5.5：
Selective Dissemination of Information Search / 5.6：
Weighted Searches of Boolean Systems / 5.7：
Multimedia Searching / 5.8：
Document and Term Clustering / 5.9：
Introduction to Clustering / 6.1：
Thesaurus Generation / 6.2：
Manual Clustering / 6.2.1：
Automatic Term Clustering / 6.2.2：
Item Clustering / 6.3：
Hierarchy of Clusters / 6.4：
Automatic Hierarchical Cluster Algorithms / 6.4.1：
Measure of Tightness for Cluster / 6.5：
Issues with Use of Hierarchical Cluster Algorithms / 6.6：
Information Presentation / 6.7：
Information Presentation Introduction / 7.1：
Presentation of the Hits / 7.2：
Sequential Listing of Hits / 7.2.1：
Cluster View / 7.2.2：
Network View / 7.2.3：
Timeline Presentation / 7.2.4：
Display of the Item / 7.3：
Indicating Search Terms in Display / 7.3.1：
Text Summarization / 7.3.2：
Collaborative Filtering / 7.4：
Page Ranking as Collaborative Filtering / 7.4.1：
Multimedia Presentation / 7.5：
Audio Presentation / 7.5.1：
Image Item Presentation / 7.5.2：
Video Presentation / 7.5.3：
Human Perception and Presentation / 7.6：
Introduction to Information Visualization / 7.6.1：
Cognition and Perception / 7.6.2：
Search Architecture / 7.7：
Index Search Optimization / 8.1：
Pruning the Index / 8.1.1：
Champion Lists / 8.1.2：
Text Search Optimization / 8.2：
Software Text Search Algorithms / 8.2.1：
Hardware Text Search Systems / 8.2.2：
GOOGLE Scalable Multiprocessor Architecture / 8.3：
Information System Evaluation / 8.4：
Introduction to Information System Evaluation / 9.1：
Measures Used in System Evaluations / 9.2：
Multimedia Information Retrieval Evaluation / 9.3：
Measurement Example: TREC Evolution / 9.4：
Bibliography / 9.5：
Index
Information Retrieval System Functions / 1：
Introduction / 1.1：
Primary Information Retrieval Problems / 1.1.1：
35.

電子ブック
ＥＢ
35. Information Retrieval Architecture and Algorithms
Gerald Kowalski
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Information Retrieval System Functions / 1：
Introduction / 1.1：
Primary Information Retrieval Problems / 1.1.1：
Objectives of Information Retrieval System / 1.1.2：
Functional Overview of Information Retrieval Systems / 1.2：
Selective Dissemination of Information / 1.2.1：
Alerts / 1.2.2：
Items and Item Index / 1.2.3：
Indexing and Mapping to a Taxonomy / 1.2.4：
Understanding Search Functions / 1.3：
Boolean Logic / 1.3.1：
Proximity / 1.3.2：
Contiguous Word Phrases / 1.3.3：
Fuzzy Searches / 1.3.4：
Term Masking / 1.3.5：
Numeric and Date Ranges / 1.3.6：
Vocabulary Browse / 1.3.7：
Multimedia Search / 1.3.8：
Relationship to Database Management Systems / 1.4：
Digital Libraries and Data Warehouses / 1.5：
Processing Subsystem Overview / 1.6：
Summary / 1.7：
Exercises / 1.8：
Data Structures and Mathematical Algorithms / 2：
Data Structures / 2.1：
Introduction to Data Structures / 2.1.1：
Inverted File Structure / 2.1.2：
N-Gram Data Structures / 2.1.3：
PAT Data Structure / 2.1.4：
Signature File Structure / 2.1.5：
Hypertext and XML Data Structures / 2.1.6：
XML / 2.1.7：
Mathematical Algorithms / 2.2：
Bayesian Mathematics / 2.2.1：
Shannon's Theory of Information / 2.2.3：
Latent Semantic Indexing / 2.2.4：
Hidden Markov Models / 2.2.5：
Neural Networks / 2.2.6：
Support Vector Machines / 2.2.7：
Ingest / 2.3：
Introduction to Ingest / 3.1：
Item Receipt / 3.2：
Duplicate Detection / 3.3：
Item Normalization / 3.4：
Zoning and Creation of Processing Tokens / 3.5：
Stemming / 3.6：
Introduction to the Stemming Process / 3.6.1：
Porter Stemming Algorithm / 3.6.2：
Dictionary Look-Up Stemmers / 3.6.3：
Successor Stemmers / 3.6.4：
Conclusions on Stemming / 3.6.5：
Entity Processing / 3.7：
Entity Identification / 3.7.1：
Entity Normalization / 3.7.2：
Entity Resolution / 3.7.3：
Information Extraction / 3.7.4：
Categorization / 3.8：
Citational Metadata / 3.9：
Indexing / 3.10：
What is Indexing / 4.1：
History / 4.1.1：
Objectives / 4.1.2：
Manual Indexing Process / 4.2：
Scope of Indexing / 4.2.1：
Precoordination and Linkages / 4.2.2：
Automatic Indexing of Text / 4.3：
Statistical Indexing / 4.3.1：
Natural Language / 4.3.2：
Concept Indexing / 4.3.3：
Automatic Indexing of Multimedia / 4.4：
Introduction to Mutlimedia Indexing / 4.4.1：
Audio Indexing / 4.4.2：
Image Indexing / 4.4.3：
Video Indexing / 4.4.4：
Search / 4.5：
Similarity Measures and Ranking / 5.1：
Similarity Measures / 5.2.1：
Hidden Markov Models Techniques / 5.3：
Ranking Algorithms / 5.4：
Relevance Feedback / 5.5：
Selective Dissemination of Information Search / 5.6：
Weighted Searches of Boolean Systems / 5.7：
Multimedia Searching / 5.8：
Document and Term Clustering / 5.9：
Introduction to Clustering / 6.1：
Thesaurus Generation / 6.2：
Manual Clustering / 6.2.1：
Automatic Term Clustering / 6.2.2：
Item Clustering / 6.3：
Hierarchy of Clusters / 6.4：
Automatic Hierarchical Cluster Algorithms / 6.4.1：
Measure of Tightness for Cluster / 6.5：
Issues with Use of Hierarchical Cluster Algorithms / 6.6：
Information Presentation / 6.7：
Information Presentation Introduction / 7.1：
Presentation of the Hits / 7.2：
Sequential Listing of Hits / 7.2.1：
Cluster View / 7.2.2：
Network View / 7.2.3：
Timeline Presentation / 7.2.4：
Display of the Item / 7.3：
Indicating Search Terms in Display / 7.3.1：
Text Summarization / 7.3.2：
Collaborative Filtering / 7.4：
Page Ranking as Collaborative Filtering / 7.4.1：
Multimedia Presentation / 7.5：
Audio Presentation / 7.5.1：
Image Item Presentation / 7.5.2：
Video Presentation / 7.5.3：
Human Perception and Presentation / 7.6：
Introduction to Information Visualization / 7.6.1：
Cognition and Perception / 7.6.2：
Search Architecture / 7.7：
Index Search Optimization / 8.1：
Pruning the Index / 8.1.1：
Champion Lists / 8.1.2：
Text Search Optimization / 8.2：
Software Text Search Algorithms / 8.2.1：
Hardware Text Search Systems / 8.2.2：
GOOGLE Scalable Multiprocessor Architecture / 8.3：
Information System Evaluation / 8.4：
Introduction to Information System Evaluation / 9.1：
Measures Used in System Evaluations / 9.2：
Multimedia Information Retrieval Evaluation / 9.3：
Measurement Example: TREC Evolution / 9.4：
Bibliography / 9.5：
Index
Information Retrieval System Functions / 1：
Introduction / 1.1：
Primary Information Retrieval Problems / 1.1.1：
36.

図書
図書
36. Metal-air batteries : fundamentals and applications
edited by Xin-bo Zhang
出版情報: Weinheim : Wiley-VCH, c2018  xiv, 417 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction to Metal-Air Batteries: Theory and Basic Principles / Zhiwen Chang and Xin-bo Zhang1：
Li-O2 Battery / 1.1：
Sodium-O2 Battery / 1.2：
References
Stabilization of Lithium-Metal Anode in Rechargeable Lithium-Air Batteries / Bin Liu and Wu Xu and Ji-Guang Zhang2：
Introduction / 2.1：
Recent Progresses in Li Metal Protection for Li-O2 Batteries / 2.2：
Design of Composite Protective Layers / 2.2.1：
New Insights on the Use of Electrolyte / 2.2.2：
Functional Separators / 2.2.3：
Solid-State Electrolytes / 2.2.4：
Alternative Anodes / 2.2.5：
Challenges and Perspectives / 2.3：
Acknowledgment
Li-Air Batteries: Discharge Products / Xuanxuan Bi and Rongyue Wang and Jun Lu3：
Discharge Products in Aprotic Li-O2 Batteries / 3.1：
Peroxide-based Li-O2 Batteries / 3.2.1：
Electrochemical Reactions / 3.2.1.1：
Crystalline and Electronic Band Structure of Li2O2 / 3.2.1.2：
Reaction Mechanism and the Coexistence of Li2O2 and LiO2 / 3.2.1.3：
Super oxide-based Li-02 Batteries / 3.2.2：
Problems and Challenges in Aprotic Li-O2 Batteries / 3.2.3：
Decomposition of the Electrolyte / 3.2.3.1：
Degradation of the Carbon Cathode / 3.2.3.2：
Discharge Products in Li-Air Batteries / 3.3：
Challenges to Exchanging O2 to Air / 3.3.1：
Effect of Water on Discharge Products / 3.3.2：
Effect of Small Amount of Water / 3.3.2.1：
Aqueous Li-O2 Batteries / 3.3.2.2：
Effect of C02 on Discharge Products / 3.3.3：
Current Li-Air Batteries and Perspectives / 3.3.4：
Electrolytes for Li-O2 Batteries / Alex R. Neale and Peter Goodrich and Christopher Hardacre and Johan Jacquemin4：
General Li-O2 Battery Electrolyte Requirements and Considerations / 4.1：
Electrolyte Salts / 4.1.1：
Ethers and Glymes / 4.1.2：
Dimethyl Sulfoxide (DMSO) and Sulfones / 4.1.3：
Nitriles / 4.1.4：
Amides / 4.1.5：
Ionic Liquids / 4.1.6：
Future Outlook / 4.1.7：
Li-Oxygen Battery: Parasitic Reactions / Xiahui Yao and Qi Dong and Qingmei Cheng and Dunwei Wang5：
The Desired and Parasitic Chemical Reactions for Li-Oxygen Batteries / 5.1：
Parasitic Reactions of the Electrolyte / 5.2：
Nucleophilic Attack / 5.2.1：
Autoxidation Reaction / 5.2.2：
Acid-Base Reaction / 5.2.3：
Proton-mediated Parasitic Reaction / 5.2.4：
Additional Parasitic Chemical Reactions of the Electrolyte: Reduction Reaction / 5.2.5：
Parasitic Reactions at the Cathode / 5.3：
The Corrosion of Carbon in the Discharge Process / 5.3.1：
The Corrosion of Carbon in the Recharge Process / 5.3.2：
Catalyst-induced Parasitic Chemical Reactions / 5.3.3：
Alternative Cathode Materials and Corresponding Parasitic Chemistries / 5.3.4：
Additives and Binders / 5.3.5：
Contaminations / 5.3.6：
Parasitic Reactions on the Anode / 5.4：
Corrosion of the Li Metal / 5.4.1：
SEI in the Oxygenated Atmosphere / 5.4.2：
Alternative Anodes and Associated Parasitic Chemistries / 5.4.3：
New Opportunities from the Parasitic Reactions / 5.5：
Summary and Outlook / 5.6：
Li-Air Battery: Electrocatalysts / 6：
Types of ELectrocatalyst / 6.1：
Carbonaceous Materials / 6.2.1：
Commercial Carbon Powders / 6.2.1.1：
Carbon Nanotubes (CNTs) / 6.2.1.2：
Graphene / 6.2.1.3：
Doped Carbonaceous Material / 6.2.1.4：
Noble Metal and Metal Oxides / 6.2.2：
Transition Metal Oxides / 6.2.3：
Perovskite Catalyst / 6.2.3.1：
Redox Mediator / 6.2.3.2：
Research of Catalyst / 6.3：
Reaction Mechanism / 6.4：
Summary / 6.5：
Lithium-Air Battery Mediator / Zhuojion Liang and Guangtao Cong and Yu Wang and Yi-Chun Lu7：
Redox Mediators in Lithium Batteries / 7.1：
Redox Mediators in Li-Air Batteries / 7.1.1：
Redox Mediators in Li-ion and Lithium-flow Batteries / 7.1.2：
Overcharge Protection in Li-ion Batteries / 7.1.2.1：
Redox Targeting Reactions in Lithium-flow Batteries / 7.1.2.2：
Selection Criteria and Evaluation of Redox Mediators for Li-O2 Batteries / 7.2：
Redox Potential / 7.2.1：
Stability / 7.2.2：
Reaction Kinetics and Mass Transport Properties / 7.2.3：
Catalytic Shuttle vs Parasitic Shuttle / 7.2.4：
Charge Mediators / 7.3：
Lil (Lithium Iodide) / 7.3.1：
LiBr (Lithium Bromide) / 7.3.2：
Nitroxides: TEMPO (2,2,6,6-TetramethyIpiperidinyioxyl) and Others / 7.3.3：
TTF (Tetrathiafulvalene) / 7.3.4：
Tris[4-(diethylamino)phenyl]amine (TDPA) / 7.3.5：
Comparison of the Reported Charge Mediators / 7.3.6：
Discharge Mediator / 7.4：
Iron Phthalocyanine (FePc) / 7.4.1：
2,5-Di-tert'butyl-l,4-benzoquinone (DBBQ) / 7.4.2：
Conclusion and Perspective / 7.5：
Spatiotemporal Operando X-ray Diffraction Study on Li-Air Battery / Di-Jia Liu and Jiang-Lan Shui8：
Microfocused X-ray Diffraction (¿-XRD) and Li-O2 Cell Experimental Setup / 8.1：
Study on Anode: Limited Reversibility of Lithium in Rechargeable LAB / 8.2：
Study on Separator: Impact of Precipitates to LAB Performance / 8.3：
Study on Cathode: Spatiotemporal Growth of Li2O2 During Redox Reaction / 8.4：
Metal-Air Battery: In Situ Spectroelectrochemical Techniquesx / lain M. Aldous and Laurence J. Hardwick and Richard J. Nichols and J. Padmanabhan Vivek9：
Raman Spectroscopy / 9.1：
In Situ Raman Spectroscopy for Metal-O2 Batteries / 9.1.1：
Background Theory / 9.1.2：
Practical Considerations / 9.1.3：
Electrochemical Roughening / 9.1.3.1：
Addressing Inhomogeneous SERS Enhancement / 9.1.3.2：
In Situ Raman Setup / 9.1.4：
Determination of Oxygen Reduction and Evolution Reaction Mechanisms Within Metal-O2 Batteries / 9.1.5：
Infrared Spectroscopy / 9.2：
Background / 9.2.1：
IR Studies of Electrochemical Interfaces / 9.2.2：
Infrared Spectroscopy for Metal-O2 Battery Studies / 9.2.3：
UV/Visible Spectroscopic Studies / 9.3：
UV/Vis Spectroscopy / 9.3.1：
UV/Vis Spectroscopy for Metal-O2 Battery Studies / 9.3.2：
Electron Spin Resonance / 9.4：
Cell Setup / 9.4.1：
Deployment of Electrochemical ESR in Battery Research / 9.4.2：
Zn-Air Batteries / Tong wen Yu and Rui Cai and Zhongwei Chen9.5：
Zinc Electrode / 10.1：
Electrolyte / 10.3：
Separator / 10.4：
Air Electrode / 10.5：
Structure of Air Electrode / 10.5.1：
Oxygen Reduction Reaction / 10.5.2：
Oxygen Evolution Reaction / 10.5.3：
Electrocatalyst / 10.5.4：
Noble Metals and Alloys / 10.5.4.1：
Inorganic-Organic Hybrid Materials / 10.5.4.2：
Meta-free Materials / 10.5.4.4：
Conclusions and Outlook / 10.6：
Experimental and Computational investigation of Nonaqueous Mg/O2 Batteries / Jeffrey G. Smith and Güiin Vardar and Charles W. Monroe and Donald J. Siegel11：
Experimental Studies of Magnesium/Air Batteries and Electrolytes / 11.1：
Ionic Liquids as Candidate Electrolytes for Mg/O2 Batteries / 11.2.1：
Modified Grignard Electrolytes for Mg/O2 Batteries / 11.2.2：
All-inorganic Electrolytes for Mg/O2 Batteries / 11.2.3：
Electrochemical Impedance Spectroscopy / 11.2.4：
Computational Studies of Mg/O2 Batteries / 11.3：
Calculation of Thermodynamic Overpotentials / 11.3.1：
Charge Transport in Mg/O2 Discharge Products / 11.3.2：
Concluding Remarks / 11.4：
Novel Methodologies to Model Charge Transport In Metal-Air Batteries / Nicoiai Rask Mathiesen and Marko Melander and Mikael Kuisma and Pablo García-Fernandez and Juan Maria García Lastra12：
Modeling Electrochemical Systems with GPAW / 12.1：
Density Functional Theory / 12.2.1：
Conductivity from DFT Data / 12.2.2：
The GPAW Code / 12.2.3：
Charge Transfer Rates with Constrained DFT / 12.2.4：
Marcus Theory of Charge Transfer / 12.2.4.1：
Constrained DFT / 12.2.4.2：
Polaronic Charge Transport at the Cathode / 12.2.4.3：
Electrochemistry at Solid-Liquid Interfaces / 12.2.5：
Modeling the Electrochemical Interface / 12.2.5.1：
Implicit Solvation at the Electrochemical Interface / 12.2.5.2：
Generalized Poisson-Boltzmann Equation for the Electric Double Layer / 12.2.5.3：
A Electrode Potential Within the Poisson-Boltzmann Model
Calculations at Constant Electrode Potential / 12.2.6：
The Need for a Constant Potential Presentation / 12.2.6.1：
Grand Canonical Ensemble for Electrons / 12.2.6.2：
Fictitious Charge Dynamics / 12.2.6.3：
Model in Practice / 12.2.6.4：
Conclusions / 12.2.7：
Second Principles for Material Modeling / 12.3：
The Energy in SP-DET / 12.3.1：
The Lattice Term (E(0)) / 12.3.2：
Electronic Degrees of Freedom / 12.3.3：
Model Construction / 12.3.4：
Perspectives on SP-DFT / 12.3.5：
Acknowledgments
Flexible Metal-Air Batteries / Huisheng Peng and Yifan Xu and Jian Pan and Yang Zhao and Lie Wang and Xiang Shi13：
Flexible Electrolytes / 13.1：
Aqueous Electrolytes / 13.2.1：
PAA-based Gel Polymer Electrolyte / 13.2.1.1：
PEO-based Gel Polymer Electrolyte / 13.2.1.2：
PVA-based Gel Polymer Electrolyte / 13.2.1.3：
Nonaqueous Electrolytes / 13.2.2：
PEO-based Polymer Electrolyte / 13.2.2.1：
PVDF-HFP-based Polymer Electrolyte / 13.2.2.2：
Ionic Liquid Electrolyte / 13.2.2.3：
Flexible Anodes / 13.3：
Flexible Cathodes / 13.4：
Modified Stainless Steel Mesh / 13.4.1：
Modified Carbon Textile / 13.4.2：
Carbon Nanotube / 13.4.3：
Graphene-based Cathode / 13.4.4：
Other Composite Electrode / 13.4.5：
Prototype Devices / 13.5：
Sandwich Structure / 13.5.1：
Fiber Structure / 13.5.2：
Perspectives on the Development of Metal-Air Batteries / 13.6：
Lithium Anode / 14.1：
Cathode / 14.1.2：
The Reaction Mechanisms / 14.1.4：
The Development of Solid-state Li-O2 Battery / 14.1.5：
The Development of Flexible Li-O2 Battery / 14.1.6：
Na-O2 Battery / 14.2：
Zn-air Battery / 14.3：
Index
Preface
Introduction to Metal-Air Batteries: Theory and Basic Principles / Zhiwen Chang and Xin-bo Zhang1：
Li-O2 Battery / 1.1：
37.

電子ブック
ＥＢ
37. Geometric Optimal Control
Heinz Schättler, Urszula Ledzewicz
出版情報: SpringerLink Books - AutoHoldings , Dordrecht : Springer New York, 2012
所蔵情報: loading…
目次情報: 続きを見る
The Calculus of Variations: A Historical Perspective / 1：
The Brachistochrone Problem / 1.1：
The Euler-Lagrange Equation / 1.2：
Surfaces of Revolution of Minimum Area / 1.3：
The Legendre and Jacobi Conditions / 1.4：
The Geometry of Conjugate Points and Envelopes / 1.5：
Fields of Extremals and the Weierstrass Condition / 1.6：
Optimal Solutions for the Minimum Surfaces of Revolution / 1.7：
Optimality of the Cycloids for the Brachistochrone Problem / 1.8：
The Hamilton-Jacobi Equation / 1.9：
From the Calculus of Variations to Optimal Control / 1.10：
Notes / 1.11：
The Pontryagin Maximum Principle: From Necessary Conditions to the Construction of an Optimal Solution / 2：
Linear-Quadratic Optimal Control / 2.1：
Optimal Control Problems / 2.2：
Control Systems / 2.2.1：
The Pontryagin Maximum Principle / 2.2.2：
The Simplest Problem in the Calculus of Variations in Rn / 2.3：
The Linear-Quadratic Regulator Revisited / 2.4：
A Derivation of the Optimal Control from the Maximum Principle / 2.4.1：
Two Scalar Examples: / 2.4.2：
Time-Optimal Control for Linear Time-Invariant Systems / 2.5：
Time-Optimal Control for Planar Linear Time-Invariant Systems: Examples / 2.6：
The Double Integrator / 2.6.1：
A Hyperbolic Saddle / 2.6.2：
An Unstable Node / 2.6.3：
The Harmonic Oscillator / 2.6.4：
Extensions of the Model: Two Examples / 2.7：
An Economic Trading Model / 2.7.1：
The Moon-Landing Problem / 2.7.2：
Singular Controls and Lie Derivatives / 2.8：
Time-Optimal Control for a Single-Input Control-Affine Nonlinear System / 2.8.1：
The Switching Function and Singular Controls / 2.8.2：
Lie Derivatives and the Lie Bracket / 2.8.3：
The Order of a Singular Control and the Legendre-Clebsch Conditions / 2.8.4：
Multi-input Systems and the Goh Condition / 2.8.5：
Time-Optimal Control for Nonlinear Systems in the Plane / 2.9：
Optimal Bang-Bang Controls in the Simple Subcases / 2.9.1：
Fast and Slow Singular Arcs / 2.9.2：
Optimal Bang-Bang Trajectories near a Slow Singular Arc / 2.9.3：
Input Symmetries and Codimension-2 Cases in the Plane / 2.10：
Input Symmetries / 2.10.1：
Saturating Singular Arcs / 2.10.2：
Chattering Arcs: The Fuller Problem / 2.11：
The Fuller Problem as a Time-Optimal Control Problem in R3 / 2.11.1：
Elementary Properties of Extremals / 2.11.2：
Symmetries of Extremals / 2.11.3：
A Synthesis of Invariant Extremals / 2.11.4：
Reachable Sets of Linear Time-Invariant Systems: From Convex Sets to the Bang-Bang Theorem / 2.12：
Elementary Theory of Convex Sets / 3.1：
Weak Convergence in L1(I) / 3.2：
Topological Properties of Reachable Sets / 3.3：
The General Bang-Bang Theorem / 3.4：
Boundary Trajectories and Small-Time Local Controllability / 3.5：
The Bang-Bang Theorem for Compact Polyhedra / 3.6：
The High-Order Maximum Principle: From Approximations of Reachable Sets to High-Order Necessary Conditions for Optimality / 3.7：
Boltyansky Approximating Cones / 4.1：
Proof of the Pontryagin Maximum Principle / 4.2：
Tangent Vectors to the Reachable Set / 4.2.1：
Construction of an Approximating Cone / 4.2.2：
Boundary Trajectories / 4.2.3：
Necessary Conditions for Optimality / 4.2.4：
Control Systems on Manifolds: Definition and Examples / 4.3：
Shortest Paths on a Sphere / 4.3.1：
Control of a Rigid Body / 4.3.2：
Trajectory Planning for Redundant Robotic Manipulators / 4.3.3：
The High-Order Maximum Principle / 4.4：
Embeddings and Point Variations / 4.4.1：
Variational Vector and Covector Fields / 4.4.2：
C1-Extendable Variations / 4.4.3：
Exponential Representations of Flows / 4.4.4：
High-Order Necessary Conditions for Optimality / 4.6：
The Legendre-Clebsch Condition / 4.6.1：
The Kelley Condition / 4.6.2：
The Goh Condition for Multi-input Systems / 4.6.3：
The Method of Characteristics: A Geometric Approach to Sufficient Conditions for a Local Minimum / 4.7：
The Value Function and the Hamilton-Jacobi-Bellman Equation / 5.1：
Parameterized Families of Extremals and the Shadow-Price Lemma / 5.2：
Parameterized Families of Extremals / 5.2.1：
The Shadow-Price Lemma and Solutions to the Hamilton-Jacobi-Bellman Equation / 5.2.2：
The Fuller Problem Revisited / 5.2.3：
Neighboring Extremals and Sufficient Conditions for a Local Minimum / 5.3：
A Canonical Parameterized Family of Extremals / 5.3.1：
Perturbation Feedback Control and Regularity of the Flow F / 5.3.2：
Fold Singularities and Conjugate Points / 5.4：
Classical Envelopes / 5.4.1：
The Hilbert Invariant Integral and Control Envelopes / 5.4.2：
Lyapunov-Schmidt Reduction and the Geometry of Fold Singularities / 5.4.3：
The Geometry of the Flow F and the Graph of the Value Function Vε near a Fold Singular Point / 5.4.4：
Simple Cusp Singularities and Cut-Loci / 5.5：
Synthesis of Optimal Controlled Trajectories: From Local to Global Solutions / 5.6：
Parameterized Families of Broken Extremals / 6.1：
Concatenations of Parameterized Families of Extremals / 6.1.1：
Transversal Crossings / 6.1.2：
Transversal Folds / 6.1.3：
Local Analysis of a Flow of Broken Extremals / 6.1.4：
A Mathematical Model for Tumor Antiangiogenic Treatment / 6.2：
Preliminary Analysis of Extremals / 6.2.1：
Singular Control and Singular Arcs / 6.2.2：
A Family of Broken Extremals with Singular Arcs / 6.2.3：
Analysis of the Corresponding Flow and Value Function / 6.2.4：
Sufficient Conditions for a Global Minimum: Syntheses of Optimal Controlled Trajectories / 6.3：
Control-Affine Systems in Low Dimensions: From Small-Time Reachable Sets to Time-Optimal Syntheses / 6.4：
Basic Topological Properties of Small-Time Reachable Sets / 7.1：
Small-Time Reachable Sets in Dimension 2 / 7.2：
Small-Time Reachable Sets in Dimension 3 / 7.3：
Boundary Trajectories in Dimension 3: Lobry's Example / 7.3.1：
Small-Time Reachable Sets under Codimension-0 Assumptions / 7.3.2：
From Boundary Trajectories in Dimension 4 to Time-Optimal Control in R3 / 7.4：
Boundary Trajectories in Dimension 4 under Codimension-0 Assumptions / 7.4.1：
Construction of a Local Time-Optimal Synthesis to an Equilibrium Point in Dimension 3 / 7.4.2：
The Codimension-1 Case in Dimension 4: Saturating Singular Arcs / 7.5：
A Review of Some Basic Results from Advanced Calculus / 7.6：
Topology and Convergence in Normed Vector Spaces / A.1：
Uniform Convergence and the Banach Space C(K) / A.2：
Differentiable Mappings and the Implicit Function Theorem / A.3：
Regular and Singular Values: Sard's Theorem / A.4：
Ordinary Differential Equations / B：
Existence and Uniqueness of Solutions of Ordinary Differential Equations / B.1：
Dependence of Solutions on Initial Conditions and Parameters / B.2：
An Introduction to Differentiable Manifolds / C：
Embedded Submanifolds of Rk / C.1：
Manifolds: The General Case / C.2：
Tangent and Cotangent Spaces / C.3：
Vector Fields and Lie Brackets / C.4：
Some Facts from Real Analysis / D：
Lebesgue Measure and Lebesgue Measurable Functions in Rn / D.1：
The Lebesgue Integral in Rn / D.2：
Lp-Spaces / D.3：
Solutions to Ordinary Differential Equations with Lebesgue Measurable Right-Hand Sides / D.4：
References
Index
The Calculus of Variations: A Historical Perspective / 1：
The Brachistochrone Problem / 1.1：
The Euler-Lagrange Equation / 1.2：
38.

電子ブック
ＥＢ
38. Analysis and Design of Advice
Ivan Jureta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Coordination and Advice / 2：
When There Is None / 2.1：
From Division of Labor to Dependence on Advice / 2.2：
Autonomy and Coordination / 2.3：
Coordination Through Advice / 2.4：
Advice in Political Coordination / 2.5：
Dictatorship and Consent / 2.5.1：
Under Democracy / 2.5.2：
Advice and Meta-Advice in Politics / 2.5.3：
Advice in Economic Coordination / 2.6：
Central Planning / 2.6.1：
Market / 2.6.2：
Homo Follis / 2.7：
Conceptual Analysis of Advice / 3：
Rigorous Definition / 3.1：
Ostensive and Intensional Definitions / 3.1.1：
Primitive Terms / 3.1.2：
Criteria from Standard Theory / 3.1.3：
Signs to Objects and Back, via Concepts / 3.2：
Signs / 3.2.1：
Objects and Concepts / 3.2.2：
Relating Signs, Objects, and Concepts / 3.2.3：
Sings, Objects, and Concepts, in Advice / 3.2.4：
Ontology and Primitive Terms / 3.3：
Ontology in Philosophy / 3.3.1：
On the Engineering of Ontologies / 3.3.2：
Advice, Defined / 3.4：
Initial Ontological Commitments / 3.4.1：
Advice in Communication, Communication as Action / 3.4.2：
Essential Properties of and Identity Criteria for Advice / 3.4.3：
What Advice Is Not, but May Refer To / 3.4.4：
Relativist's Conceptual Analysis / 3.5：
Interpretation of Advice / 4：
Open Reference / 4.1：
Vague Advice / 4.2：
Referent Lost / 4.3：
Kinds of Advice / 5：
Classification from a Model of Choice / 5.1：
Perfect and Bounded Rational Choice / 5.2：
Ontology of Decision Analysis / 5.2.1：
Ontology of Choice in Organized Anarchies / 5.2.2：
Ontology of Intervowen Organisational Choice / 5.2.3：
Intolerance for Substitutes / 5.3：
Probability Intolerance / 5.3.1：
Utility Intolerance / 5.3.2：
Decision Information / 5.4：
Revealed Intentional States / 5.4.1：
Decision Information Ontology / 5.4.2：
Synthesis of the Decision Information Ontology / 5.4.3：
Taxonomy of Advice / 5.5：
Whose Explanations? / 5.5.1：
Specialization of the Concept of Advice / 5.5.2：
Reinterpreting Advice / 5.6：
Advisor's Problem and Its Solutions / 6：
Advice from Simple Explanations and Predictions / 6.1：
Models of Advice: An Overview / 6.2：
Introductory Example / 6.2.1：
Overview of the Framework for the Modeling of Advice / 6.2.2：
Modeling Language / 6.3：
AML2 / 6.3.1：
AML1 / 6.3.2：
AML / 6.3.3：
A-nets / 6.3.4：
Why the Interest in Structure? / 6.3.5：
Formulation of the Advisor's Problem / 6.4：
Solving the Advisor's Problem / 6.5：
Criteria for a Robust Solution / 6.6：
Criteria for a Clear Solution / 6.7：
Criteria from Empirical Evidence / 6.8：
Perspectives / 7：
References
Index
Introduction / 1：
Coordination and Advice / 2：
When There Is None / 2.1：
39.

電子ブック
ＥＢ
39. 2ND INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN SCIENCE AND TECHNOLOGY (ICM2ST-11)
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2011
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON APPLIED SCIENCES (ICAS-2)
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2018
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. ASME/JSME/KSME 2015 Joint Fluids Engineering Conference - Volume 2A: Fora, Part 2
出版情報: ASME Digital Collection Conference Proceedings , ASME, 2015
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Analysis and Design of Advice
Ivan Jureta
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Coordination and Advice / 2：
When There Is None / 2.1：
From Division of Labor to Dependence on Advice / 2.2：
Autonomy and Coordination / 2.3：
Coordination Through Advice / 2.4：
Advice in Political Coordination / 2.5：
Dictatorship and Consent / 2.5.1：
Under Democracy / 2.5.2：
Advice and Meta-Advice in Politics / 2.5.3：
Advice in Economic Coordination / 2.6：
Central Planning / 2.6.1：
Market / 2.6.2：
Homo Follis / 2.7：
Conceptual Analysis of Advice / 3：
Rigorous Definition / 3.1：
Ostensive and Intensional Definitions / 3.1.1：
Primitive Terms / 3.1.2：
Criteria from Standard Theory / 3.1.3：
Signs to Objects and Back, via Concepts / 3.2：
Signs / 3.2.1：
Objects and Concepts / 3.2.2：
Relating Signs, Objects, and Concepts / 3.2.3：
Sings, Objects, and Concepts, in Advice / 3.2.4：
Ontology and Primitive Terms / 3.3：
Ontology in Philosophy / 3.3.1：
On the Engineering of Ontologies / 3.3.2：
Advice, Defined / 3.4：
Initial Ontological Commitments / 3.4.1：
Advice in Communication, Communication as Action / 3.4.2：
Essential Properties of and Identity Criteria for Advice / 3.4.3：
What Advice Is Not, but May Refer To / 3.4.4：
Relativist's Conceptual Analysis / 3.5：
Interpretation of Advice / 4：
Open Reference / 4.1：
Vague Advice / 4.2：
Referent Lost / 4.3：
Kinds of Advice / 5：
Classification from a Model of Choice / 5.1：
Perfect and Bounded Rational Choice / 5.2：
Ontology of Decision Analysis / 5.2.1：
Ontology of Choice in Organized Anarchies / 5.2.2：
Ontology of Intervowen Organisational Choice / 5.2.3：
Intolerance for Substitutes / 5.3：
Probability Intolerance / 5.3.1：
Utility Intolerance / 5.3.2：
Decision Information / 5.4：
Revealed Intentional States / 5.4.1：
Decision Information Ontology / 5.4.2：
Synthesis of the Decision Information Ontology / 5.4.3：
Taxonomy of Advice / 5.5：
Whose Explanations? / 5.5.1：
Specialization of the Concept of Advice / 5.5.2：
Reinterpreting Advice / 5.6：
Advisor's Problem and Its Solutions / 6：
Advice from Simple Explanations and Predictions / 6.1：
Models of Advice: An Overview / 6.2：
Introductory Example / 6.2.1：
Overview of the Framework for the Modeling of Advice / 6.2.2：
Modeling Language / 6.3：
AML2 / 6.3.1：
AML1 / 6.3.2：
AML / 6.3.3：
A-nets / 6.3.4：
Why the Interest in Structure? / 6.3.5：
Formulation of the Advisor's Problem / 6.4：
Solving the Advisor's Problem / 6.5：
Criteria for a Robust Solution / 6.6：
Criteria for a Clear Solution / 6.7：
Criteria from Empirical Evidence / 6.8：
Perspectives / 7：
References
Index
Introduction / 1：
Coordination and Advice / 2：
When There Is None / 2.1：
43.

電子ブック
ＥＢ
43. Hidden Order and Exotic Superconductivity in the Heavy-Fermion Compound URu2Si2
Ryuji Okazaki
出版情報: SpringerLink Books - AutoHoldings , Springer Japan, 2013
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Rational Reconstructions of Modern Physics
Peter Mittelstaedt
出版情報: SpringerLink Books - AutoHoldings , Springer Netherlands, 2011
所蔵情報: loading…
目次情報: 続きを見る
Rise and Fall of Physical Theories / 1：
The Evolution of Modern Physics from the Classical World / 1.1：
Intuitiveness and Truth of Modern Physics / 1.2：
The New Approach: Reduction and Elimination of Metaphysical Hypotheses / 1.3：
Reconstruction of Special and General Relativity / 2：
Historical Development Versus Rational Reconstruction / 2.1：
Reconstruction of Special Relativity / 2.2：
Transformations Between Inertial Systems / 2.2.1：
Digression: Derivation of the Galilei Transformation / 2.2.2：
End of the Digression / 2.2.3：
Space-Time Intervals and Relativistic Mechanics / 2.3：
Measurements of Space-Time Intervals / 2.3.1：
Relativistic Kinematics and Dynamics / 2.3.2：
The Numerical Value of the Constant ?: The First Answer to the Problem / 2.4：
The Invariance of the Einstein-Synchronisation / 2.4.1：
Time Dilatation / 2.4.2：
Could Special Relativity Have Been Discovered Already by Newton? / 2.5：
A Pseudo-Historical Digression / 2.5.1：
The Attempt to Reconstruct General Relativity / 2.6：
The Pseudo-Riemannian Character of Space-Time / 2.6.1：
Einstein's Field Equations / 2.6.2：
Conclusion / 2.7：
Reconstruction of Quantum Mechanics / 3：
The Historical Development of Quantum Mechanics / 3.1：
The Reduction of Ontological Hypotheses / 3.2：
The Formal Languages of Classical Physics and of Quantum Physics / 3.3：
The Formal Language of Classical Physics / 3.3.1：
The Formal Language of Quantum Physics / 3.3.2：
The Approach to Orthomodular Quantum Logic / 3.4：
The Bottom-up Reconstruction of Quantum Mechanics in Hilbert Space / 3.5：
Physics of Indistinguishable Objects / 3.6：
Are the Laws of Quantum Logic Laws of Nature? / 3.7：
Quantum Physics and Classical Physics-Their Respective Roles / 3.8：
Three Constants of Nature / 4：
The Problem of Constants of Nature in Modern Physics / 4.1：
The Meaning of the Constant "c" in Special Relativity / 4.2：
Preliminary Remarks / 4.2.1：
Metaphysics and Ontology / 4.2.2：
The Meaning of the Constant ? / 4.2.3：
One More Fundamental Question / 4.2.5：
Planck's Constant $$$ in the Light of Quantum Logic / 4.3：
Ontological Preliminaries / 4.3.1：
The Quantum Logic Approach / 4.3.2：
In Search of Planck's Constant / 4.3.3：
The Meaning of $$$ in the Quantum World / 4.3.4：
The Problem of the Gravitational Constant ? / 4.4：
Three Constants of Nature: Concluding Remarks / 4.5：
Interpretations of Modern Physics / 5：
Introductory Remarks / 5.1：
Two Interpretations / 5.2：
The Interpretation of the Theory of Special Relativity / 5.2.1：
Interpreting Quantum Mechanics / 5.2.2：
Summary / 5.3：
Concluding Remarks / 6：
Intuitiveness and Truth in Physical Theories / 6.1：
References
Index
Rise and Fall of Physical Theories / 1：
The Evolution of Modern Physics from the Classical World / 1.1：
Intuitiveness and Truth of Modern Physics / 1.2：
45.

電子ブック
ＥＢ
45. IEEE Std 1901.2a-2015 (Amendment to IEEE Std 1901.2-2013)
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 2015
所蔵情報: loading…
46.

電子ブック
ＥＢ
46. IEEE Std 1278.2-2015 (Revision of IEEE Std 1278.2-1995)
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 2015
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. IEEE Std 1516.2-2010 (Revision of IEEE Std 1516.2-2000)
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 2010
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. IEEE Std 1671.2-2012 (Revision of IEEE Std 1671.2-2008)
出版情報: IEEE Electronic Library (IEL) Standards , IEEE, 2013
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. 2011 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems (T2FUZZ)
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2011
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. 2018 International Conference on Intelligent Computing and Communication for Smart World (I2C2SW)
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2018
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼