close
1.

図書

図書
N. Achiwa ... [et al.] ; Herausgeber, H.P.J. Wijn
出版情報: Berlin ; Tokyo : Springer, c1991  xviii, 393 p. ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; Gruppe 3 . Kristall- und Festkörperphysik ; Bd. 19 . Magnetische Eigenschaften von Metallen ; Teilbd. d1
所蔵情報: loading…
目次情報: 続きを見る
Introductory material
Magnetic properties of rare earth elements, alloys and compounds / H. Drulis ; M. Drulis2:
Rare earth elements / 2.1:
Introduction / 2.1.1:
Tables / 2.1.2:
Figures / 2.1.3:
Rare earth metals: General / 2.1.3.1:
Cerium / 2.1.3.2:
Praseodymium / 2.1.3.3:
Neodymium / 2.1.3.4:
Samarium / 2.1.3.5:
Europium / 2.1.3.6:
Gadolinium / 2.1.3.7:
Terbium / 2.1.3.8:
Dysprosium / 2.1.3.9:
Holmium / 2.1.3.10:
Erbium / 2.1.3.11:
Thulium / 2.1.3.12:
Ytterbium / 2.1.3.13:
Lutetium / 2.1.3.14:
Scandium / 2.1.3.15:
References for 2.1 / 2.1.4:
Alloys between rare earth elements / S. Kawano ; N. Achiwa2.2:
Alloys between light rare earth elements / 2.2.1:
General remarks / 2.2.2.1:
Ce-La / 2.2.2.2:
Nd-La / 2.2.2.3:
Pr-Nd / 2.2.2.4:
Alloys between heavy and light rare earth elements / 2.2.3:
Gd - light rare earth alloys / 2.2.3.1:
Tb - light rare earth alloys / 2.2.3.3:
Dy - light rare earth alloys / 2.2.3.4:
Ho - light rare earth alloys / 2.2.3.5:
Er - light rare earth alloys / 2.2.3.6:
Yb-Eu / 2.2.3.7:
Sm-type structure alloys / 2.2.3.8:
Y - light rare earth alloys / 2.2.3.9:
La-rich heavy rare earth alloys / 2.2.3.10:
Alloys between heavy rare earth elements / 2.2.4:
Gd-Y, Sc, Lu, Tb, Dy, Ho, Er or Tm / 2.2.4.1:
Gd-Y or Sc alloys / 2.2.4.2.1:
Gd-Lu / 2.2.4.2.2:
Gd-Tb / 2.2.4.2.3:
Gd-Dy / 2.2.4.2.4:
Gd-Ho / 2.2.4.2.5:
Gd-Er / 2.2.4.2.6:
Tb-Y, Sc, Dy, Ho, Er, Tm, Yb or Lu / 2.2.4.3:
Tb-Y, Lu or Sc / 2.2.4.3.1:
Tb-Dy / 2.2.4.3.2:
Tb-Ho / 2.2.4.3.3:
Tb-Er / 2.2.4.3.4:
Tb-Tm / 2.2.4.3.5:
Tb-Yb / 2.2.4.3.6:
Dy-Y, Ho or Er / 2.2.4.4:
Dy-Y / 2.2.4.4.1:
Dy-Ho / 2.2.4.4.2:
Dy-Er / 2.2.4.4.3:
Ho-Y, Sc or Er / 2.2.4.5:
Ho-Y or Sc / 2.2.4.5.1:
Ho-Er / 2.2.4.5.2:
Er-Y, Tm or Lu / 2.2.4.6:
Er-Y or Lu / 2.2.4.6.1:
Er-Tm / 2.2.4.6.2:
Tm-Y or Lu / 2.2.4.7:
Y, Sc or Lu-rich heavy rare earth alloys / 2.2.4.8:
References for 2.2 / 2.2.5:
Rare earth hydrides / R.R. Arons2.3:
Survey / 2.3.1:
Crystallographic and thermal properties, phase diagrams / 2.3.3:
Magnetic properties / 2.3.4:
Crystal field properties / 2.3.5:
Electrical properties / 2.3.6:
Electron spin resonance / 2.3.7:
Nuclear spin resonance / 2.3.8:
Spectroscopic properties / 2.3.9:
Acoustic sound velocities / 2.3.10:
References for 2.3 / 2.3.11:
Introductory material
Magnetic properties of rare earth elements, alloys and compounds / H. Drulis ; M. Drulis2:
Rare earth elements / 2.1:
2.

図書

図書
Maxim Ryadnov
出版情報: Cambridge : RSC Publishing, c2009  ix, 238 p. ; 24 cm
シリーズ名: RSC nanoscience & nanotechnology ; no.7
所蔵情報: loading…
目次情報: 続きを見る
Introductory Notes / Chapter 1:
Inspiring Hierarchical / 1.1:
Encoding Instructive / 1.2:
Starting Lowest / 1.3:
Picturing Biological / 1.4:
References
Recycling Hereditary / Chapter 2:
Coding Dual / 2.1:
Deoxyribonucleic / 2.1.1:
Building up in Two / 2.1.1.1:
Keeping in Shape / 2.1.1.2:
Priming Topological / 2.1.2:
Resequencing Basic / 2.1.2.1:
Choosing the Fittest / 2.1.2.1.1:
Evolving Diverse / 2.1.2.1.2:
Primary Motifs / 2.1.2.2:
Gluing Universal / 2.1.2.2.1:
Alienating Axial / 2.1.2.2.2:
Fixing Spatial / 2.2:
Hinting Geometric: Secondary Motifs / 2.2.1:
Crossing Double / 2.2.1.1:
Reporting Visible / 2.2.1.1.1:
Translating Symmetrical / 2.2.1.1.2:
Extending Cohesive / 2.2.1.2:
Sharing Mutual / 2.2.1.2.1:
Multiplying Traversal / 2.2.1.2.2:
Tiling Square / 2.2.1.2.3:
Scaffolding Algorithmic / 2.3:
Pursuing Autonomous / 2.3.1:
Lengthening to Shorten / 2.3.1.1:
Gathering to Limit / 2.3.1.2:
Assigning Arbitrary / 2.3.2:
Synchronising Local / 2.3.2.1:
Prescribing General / 2.3.2.2:
Adding up to Third / 2.3.3:
Wrapping to Shut / 2.3.3.1:
Framing to Classify / 2.3.3.2:
Outlook / 2.4:
Recaging Within / Chapter 3:
Enclosing to Deliver / 3.1:
Transporting Foreign / 3.1.1:
Fitting Flat and Straight / 3.1.1.1:
Spiralling Along / 3.1.1.2:
Packing Out and In / 3.1.2:
Spooling Around / 3.1.2.1:
Tunnelling Through
Escaping Walled / 3.1.3:
Capturing On and Off / 3.1.3.1:
Storing Exchangeable / 3.1.3.2:
Reacting Nano / 3.2:
Clustering Spherical / 3.2.1:
Contriving Consistent / 3.2.1.1:
Scaling Hosting / 3.2.1.2:
Following Linear / 3.2.2:
Channelling Inner
Converting Outer
Repairing from Inside / 3.3:
Uninviting Levy / 3.3.1:
Necessitating Exterior / 3.3.2:
Antagonising Dressing / 3.3.2.1:
Renting Occasional / 3.3.2.1.2:
Phasing West / 3.3.2.2:
Facing Concentric / 3.3.2.2.1:
Encircling Between / 3.3.2.2.2:
Singling Out Unique / 3.3.2.2.3:
Sharing the Balance / 3.3.3:
Driving Symmetrical / 3.3.3.1:
Sealing Annular / 3.3.3.2:
Reassembling Multiple / 3.4:
Keeping All in Touch / 4.1:
Unravelling the Essential / 4.1.1:
Winding Three in One / 4.1.1.1:
Aligning Stagger / 4.1.1.2:
Tapering Polar / 4.1.1.3:
Branching and Stretching / 4.1.1.4:
Replicating Apparent / 4.1.2:
Scraping Refusal / 4.1.2.1:
Tempting Compatible / 4.1.2.2:
Likening Synthetic / 4.1.2.3:
Recovering Intelligent / 4.1.2.4:
Restoring Available / 4.2:
Prompting Longitudinal / 4.2.1:
Invoking Granted / 4.2.1.1:
Reposing Modular / 4.3:
Displacing Coil / 4.3.1:
Settling Lateral / 4.3.2:
Bundling Exclusive / 4.3.2.1:
Permitting Distinctive / 4.3.2.2:
Inviting Captive / 4.3.2.3:
Clearing Limiting / 4.3.3:
Equilibrating Transitional / 4.3.3.1:
Extracting Minimal / 4.3.3.2:
Gambling Beyond / 4.4:
Guiding Proliferative / 4.4.1:
Feeding Proximate / 4.4.1.1:
Rooting Renewal / 4.4.1.2:
Accepting Inescapable / 4.4.2:
Patterning Positional / 4.4.2.1:
Relating Interfacial / 4.4.2.2:
Grafting Integral / 4.4.2.3:
Concluding Remarks / 4.5:
Learning Fluent / 5.1:
Parsing Semantic / 5.2:
Drawing Pragmatic / 5.3:
Revealing Contributory / Chapter 6:
Subject Index
Introductory Notes / Chapter 1:
Inspiring Hierarchical / 1.1:
Encoding Instructive / 1.2:
3.

電子ブック

EB
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:
4.

図書

図書
T.C. Chiang ... [et al.] ; Herausgeber, A. Goldmann, E.-E. Koch
出版情報: Berlin ; Tokyo : Springer, c1989  2 v. ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; Gruppe 3 . Kristall- und Festkörperphysik ; Bd. 23
所蔵情報: loading…
目次情報: 続きを見る
Introductory material
Introduction / A. Goldmann1:
Historical remarks / 1.1:
Arrangement of data / 1.2:
Definition of quantities / 1.3:
Frequently used symbols / 1.4:
List of abbreviations, subscripts and superscripts / 1.5:
References to other volumes of Landolt-Bornstein / 1.6:
References for 1 / 1.7:
Data / 2:
Band structure and core levels of tetrahedrally-bonded semiconductors / T.C. Chiang ; F.J. Himpsel2.1:
C (diamond phase) / 2.1.1:
Si / 2.1.3:
Ge / 2.1.4:
alpha-Sn (grey tin) / 2.1.5:
SiC / 2.1.6:
BN / 2.1.7:
BP / 2.1.8:
BAs / 2.1.9:
AlN / 2.1.10:
AlP / 2.1.11:
AlAs / 2.1.12:
AlSb / 2.1.13:
GaP / 2.1.14:
GaAs / 2.1.15:
GaSb / 2.1.16:
InN / 2.1.17:
InP / 2.1.18:
InAs / 2.1.19:
InSb / 2.1.20:
ZnO / 2.1.21:
ZnS / 2.1.22:
ZnSe / 2.1.23:
ZnTe / 2.1.24:
CdO / 2.1.25:
CdS / 2.1.26:
CdSe / 2.1.27:
CdTe / 2.1.28:
References for 2.1 / 2.1.29:
Alkali halides / R.C. Leckey2.2:
Lithium halides / 2.2.1:
Sodium halides / 2.2.3:
Potassium halides / 2.2.4:
Rubidium halides / 2.2.5:
Cesium halides / 2.2.6:
References for 2.2 / 2.2.7:
Condensed molecules / H.J. Freund2.3:
Introduction and general remarks / 2.3.0:
Carbonmonoxide (CO) / 2.3.1:
Nitric oxide (NO) / 2.3.3:
References for 2.3 / 2.3.5:
sp-metals / K.H. Frank ; U. Karlsson2.4:
Li (Z = 3) / 2.4.1:
Be (Z = 4) / 2.4.3:
Na (Z = 11) / 2.4.4:
Mg (Z = 12) / 2.4.5:
Al (Z = 13) / 2.4.6:
K (Z = 19) / 2.4.7:
Ca (Z = 20) / 2.4.8:
Rb (Z = 37) / 2.4.9:
Sr (Z = 38) / 2.4.10:
Cs (Z = 55) / 2.4.11:
Ba (Z = 56) / 2.4.12:
References for 2.4 / 2.4.13:
Lanthanides / W.D. Schneider2.5:
La (Z = 57) / 2.5.1:
Ce (Z = 58) / 2.5.3:
Pr (Z = 59) / 2.5.4:
Nd (Z = 60) / 2.5.5:
Sm (Z = 62) / 2.5.6:
Eu (Z = 63) / 2.5.7:
Gd (Z = 64) / 2.5.8:
Tb (Z = 65) / 2.5.9:
Dy (Z = 66) / 2.5.10:
Ho (Z = 67) / 2.5.11:
Er (Z = 68) / 2.5.12:
Yb (Z = 70) / 2.5.14:
Lu (Z = 71) / 2.5.15:
References for 2.5 / 2.5.16:
List of abbreviations
See Vol.23A / 2.1- 2.5:
Transition metal compounds / T. Ishii2.6:
Tables and figures / 2.6.1:
References for 2.6 / 2.6.3:
Photoelectron spectra of layered compounds / R. Manzke ; M. Skibowski2.7:
Introduction - overview / 2.7.0:
IVB-VIA compounds / 2.7.1:
Titanium dichalcogenides / 2.7.1.1:
Zirconium dichalcogenides / 2.7.1.2:
Hafnium dichalcogenides / 2.7.1.3:
VB-VIA compounds / 2.7.2:
Vanadium dichalcogenides / 2.7.2.1:
Niobium dichalcogenides / 2.7.2.2:
Tantalum dichalcogenides / 2.7.2.3:
VIB-VIA compounds / 2.7.3:
Molybdenum dichalcogenides / 2.7.3.1:
Tungsten dichalcogenides / 2.7.3.2:
IIIA-VIA compounds / 2.7.4:
GaS / 2.7.4.1:
GaSe / 2.7.4.2:
GaTe / 2.7.4.3:
InSe / 2.7.4.4:
IVA-VIA compounds / 2.7.5:
GeS / 2.7.5.1:
GeSe / 2.7.5.2:
GeTe / 2.7.5.3:
SnS / 2.7.5.4:
SnSe / 2.7.5.5:
SnTe / 2.7.5.6:
VA-VIA compounds / 2.7.5.7:
IIB-, IVA-, VA-Iodides / 2.7.6.1:
References for 2.7 / 2.7.7.1:
Actinides and some of their alloys and compounds / J.R. Naegele2.8:
Ac (Z = 89) / 2.8.1:
Th (Z = 90) / 2.8.3:
Pa (Z = 91) / 2.8.4:
U (Z = 92) / 2.8.5:
Np (Z = 93) / 2.8.6:
Pu (Z = 94) / 2.8.7:
Am (Z = 95) / 2.8.8:
Cm (Z = 96) / 2.8.9:
Bk (Z = 97) / 2.8.10:
Cf (Z = 98) / 2.8.11:
Es (Z = 99) / 2.8.12:
References for 2.8 / 2.8.13:
Introductory material
Introduction / A. Goldmann1:
Historical remarks / 1.1:
5.

図書

図書
editor, G. Chiarotti ; contributors, G. Chiarotti, ... [et al.]
出版情報: Berlin ; Tokyo : Springer, c1993  xi, 362 p. ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; Group 3 . Solid state physics ; v. 24 . Physics of solid surfaces ; subvolume a
所蔵情報: loading…
目次情報: 続きを見る
Introductory material
General introduction (G. CHIAROTTI) / 1:
Motivations for a Landolt-Bornstein volume on surface physics / 1.1:
Outline of the volume / 1.2:
How to consult the volume / 1.3:
List of frequently used symbols and abbreviations / 1.4:
Conversion tables / 1.5:
Crystal structures and bulk lattice parameters of materials quoted in the volume / 1.6:
References for 1 / 1.7:
The structure of surfaces / 2:
The structure of ideal surfaces (J.F. NICHOLAS) / 2.1:
Introduction / 2.1.1:
Definitions / 2.1.1.1:
Description of a half-crystal defined by an (hkl) plane / 2.1.1.2:
Symmetry / 2.1.1.3:
Symmetry of a half-crystal / 2.1.1.3.1:
Symmetry of a surface layer / 2.1.1.3.2:
Coordination of surface atoms / 2.1.1.4:
Theory / 2.1.1.4.1:
Results for nearest neighbour bonds in face- and body-centred cubic crystals / 2.1.1.4.2:
Models of surfaces / 2.1.1.5:
The terrace-ledge-kink (TLK) model / 2.1.1.5.1:
Ball models of surfaces / 2.1.1.5.2:
Some useful crystallographic formulae / 2.1.1.6:
Surface diagrams / 2.1.2:
Positions of surface atoms in particular surfaces / 2.1.2.1:
Face-centred and body-centred cubic crystals / 2.1.2.1.1:
NaCl and diamond type structures / 2.1.2.1.2:
Hexagonal close-packed structures / 2.1.2.1.3:
Conversion formulae and extension to other atoms / 2.1.2.2:
References for 2.1 / 2.1.3:
Surface reconstruction and relaxation (A. FASOLINO, A. SELLONI, A. SHKREBTII) / 2.2:
Outline / 2.2.1:
Relaxation and reconstruction / 2.2.1.2:
Surface periodicity: notations for surface structures / 2.2.1.3:
Techniques / 2.2.1.4:
Surface preparation / 2.2.1.5:
Models of reconstruction / 2.2.1.6:
Data / 2.2.2:
Metals / 2.2.2.1:
Semiconductors and insulators / 2.2.2.2:
References for 2.2 / 2.2.3:
Structural defects at surfaces (H. HENZLER, W. RANKE) / 2.3:
Preliminary remarks / 2.3.1:
Methods of investigation / 2.3.1.2:
Microscopy / 2.3.1.2.1:
Diffraction / 2.3.1.2.2:
Ion scattering / 2.3.1.2.3:
Other methods / 2.3.1.2.4:
Experimentally observed stabile of surfaces, stepped surfaces / 2.3.2:
Metals and metal alloys / 2.3.2.1.1:
Group IV semiconductors / 2.3.2.1.2:
III-V semiconductors / 2.3.2.1.3:
Chalcogenides / 2.3.2.1.4:
Halides / 2.3.2.1.5:
Phase transitions / 2.3.2.2:
Roughening transition of stepped metal surfaces / 2.3.2.2.1:
Phase transitions on low index metal surfaces / 2.3.2.2.2:
References for 2.3 / 2.3.3:
General index (See Vol.24D) Introduction
Index of surfaces
Introductory material
General introduction (G. CHIAROTTI) / 1:
Motivations for a Landolt-Bornstein volume on surface physics / 1.1:
6.

図書

図書
Karl Pfleger, Hans H. Maurer, Armin Weber
出版情報: Weinheim : Wiley-VCH, c2007  2 v. ; 29 cm
所蔵情報: loading…
目次情報: 続きを見る
(Methods, Tables) / Volume 1:
Methods
Introduction / 1:
Experimental Section / 2:
Origin and choice of samples / 2.1:
Sample preparation / 2.2:
Standard extraction procedures / 2.2.1:
Standard liquid-liquid extraction (LLE) for plasma, urine or gastric contents (P, U, G) / 2.2.1.1:
STA procedure (hydrolysis, extraction and microwave-assisted acetylation) for urine (U+UHYAC) / 2.2.1.2:
Extraction of urine after cleavage of conjugates by glucuronidase and arylsulfatase (UGLUC) / 2.2.1.3:
Extractive methylation procedure for urine or plasma (UME, PME) / 2.2.1.4:
Solid-phase extraction for plasma or urine (PSPE, USPE) / 2.2.1.5:
LLE of plasma for determination of drugs for brain death diagnosis / 2.2.1.6:
Extraction of ethylene glycol and other glycols from plasma or urine followed by microwave-assisted pivalylation (PEGPIV or UEGPIV) / 2.2.1.7:
Derivatization procedures / 2.2.2:
Acetylation (AC) / 2.2.2.1:
Methylation (ME) / 2.2.2.2:
Ethylation (ET) / 2.2.2.3:
tert.-Butyldimethylsilylation (TBDMS) / 2.2.2.4:
Trimethylsilylation (TMS) / 2.2.2.5:
Trimethylsilylation followed by trifluoroacetylation (TMSTFA) / 2.2.2.6:
Trifluoroacetylation (TFA) / 2.2.2.7:
Pentafluoropropionylation (PFP) / 2.2.2.8:
Pentafluoropropylation (PFPOL) / 2.2.2.9:
Heptafluorobutyrylation (HFB) / 2.2.2.10:
Pivalylation (PIV) / 2.2.2.11:
Heptafluorobutyrylprolylation (HFBP) / 2.2.2.12:
GC-MS Apparatus / 2.3:
Apparatus and operation conditions / 2.3.1:
Quality assurance of the apparatus performance / 2.3.2:
Determination of retention indices / 2.4:
Systematic toxicological analysis (STA) of several classes of drugs and their metabolites by GC-MS / 2.5:
Screening for 200 drugs in blood plasma after LLE / 2.5.1:
Screening for most of the basic and neutral drugs in urine after acid hydrolysis, LLE and acetylation / 2.5.2:
Systematic toxicological analysis procedures for the detection of acidic drugs and/or their metabolites / 2.5.3:
General screening procedure for zwitterionic compounds after SPE and silylation / 2.5.4:
Application of the electronic version of this handbook / 2.6:
Quantitative determination / 2.7:
Correlation between Structure and Fragmentation / 3:
Principle of electron-ionization mass spectrometry (EI-MS) / 3.1:
Correlation between fundamental structures or side chains and fragment ions / 3.2:
Formation of Artifacts / 4:
Artifacts formed by oxidation during extraction with diethyl ether / 4.1:
N-Oxidation of tertiary amines / 4.1.1:
S-Oxidation of phenothiazines / 4.1.2:
Artifacts formed by thermolysis during GC (GC artifact) / 4.2:
Decarboxylation of carboxylic acids / 4.2.1:
Cope elimination of N-oxides (-(CH3)2NOH, -(C2H5)2NOH, -C6H14N2O2) / 4.2.2:
Rearrangement of bis-deethyl flurazepam (-H2O) / 4.2.3:
Elimination of various residues / 4.2.4:
Methylation of carboxylic acids in methanol ((ME), ME in methanol) / 4.2.5:
Formation of formaldehyde adducts using methanol as solvent (GC artifact in methanol) / 4.2.6:
Artifacts formed by thermolysis during GC and during acid hydrolysis (GC artifact, HY artifact) / 4.3:
Dehydration of alcohols (-H2O) / 4.3.1:
Decarbamoylation of carbamates / 4.3.2:
Cleavage of morazone to phenmetrazine / 4.3.3:
Artifacts formed during acid hydrolysis / 4.4:
Cleavage of the ether bridge in beta-blockers and alkanolamine antihistamines (HY) / 4.4.1:
Cleavage of 1,4-benzodiazepines to aminobenzoyl derivatives (HY) / 4.4.2:
Cleavage and rearrangement of N-demethyl metabolites of clobazam to benzimidazole derivatives (HY) / 4.4.3:
Cleavage and rearrangement of bis-deethyl flurazepam (HY -H2O) / 4.4.4:
Cleavage and rearrangement of tetrazepam / 4.4.5:
(Methods, Tables) / Volume 1:
Methods
Introduction / 1:
7.

図書

図書
authors, G. Guelachvili, K.Narahari Rao ; editor, G. Guelachvili
出版情報: Berlin ; Tokyo : Springer, c2000  LXXVII, 229 p. ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; New Series, Group 2 . Molecules and radicals ; v. 20 . Molecular constans : mostly from infrared spectroscopy ; subv. B5
所蔵情報: loading…
目次情報: 続きを見る
CS2 (SCS).
CS2+ (SCS+).
CS2++ (SCS++).
CSe2 (SeCSe).
C2N (CCN).
C2N (CNC).
C2N+ (CCN+).
C2N+ (CNC+).
CS2 (SCS).
CS2+ (SCS+).
CS2++ (SCS++).
8.

図書

図書
Corneliu Constantinescu
出版情報: Amsterdam : Elsevier, 2001  xxi, 597 p. ; 23 cm
シリーズ名: North-Holland mathematical library ; v. 59 . C*-algebras / Corneliu Constantinescu ; v. 2
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Banach Algebras / 2:
Algebras / 2.1:
General Results / 2.1.1:
Invertible Elements / 2.1.2:
The Spectrum / 2.1.3:
Standard Examples / 2.1.4:
Complexification of Algebras / 2.1.5:
Exercises
Normed Algebras / 2.2:
The Standard Examples / 2.2.1:
The Exponential Function and the Neumann Series / 2.2.3:
Invertible Elements of Unital Banach Algebras / 2.2.4:
The Theorems of Riesz and Gelfand / 2.2.5:
Poles of Resolvents / 2.2.6:
Modules / 2.2.7:
Involutive Banach Algebras / 2.3:
Involutive Algebras / 2.3.1:
Sesquilinear Forms / 2.3.2:
Positive Linear Forms / 2.3.4:
The State Space / 2.3.5:
Involutive Modules / 2.3.6:
Gelfand Algebras / 2.4:
The Gelfand Transform / 2.4.1:
Involutive Gelfand Algebras / 2.4.2:
Examples / 2.4.3:
Locally Compact Additive Groups / 2.4.4:
The Fourier Transform / 2.4.5:
Compact Operators / 3:
The General Theory / 3.1:
Fredholm Operators / 3.1.1:
Point Spectrum / 3.1.4:
Spectrum of a Compact Operator / 3.1.5:
Integral Operators / 3.1.6:
Linear Differential Equations / 3.2:
Boundary Value Problems for Differential Equations / 3.2.1:
Supplementary Results / 3.2.2:
Linear Partial Differential Equations / 3.2.3:
Name
Index Subject
Index Symbol
Index
Introduction
Banach Algebras / 2:
Algebras / 2.1:
9.

図書

図書
editor, H.P.J. Wijn ; contributors, D. Bonnenberg ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1992  xiv, 327 p. ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; Group 3 . Crystal and solid state physics ; v. 19 . Magnetic properties of metals ; subvolume i2
所蔵情報: loading…
目次情報: 続きを見る
Introductory material
Magnetic alloys for technical applications / 7:
Soft magnetic alloys, Invar and Elinvar alloys (See Vol.19I1) / 7.1:
Hard magnetic alloys / 7.2:
Magnet alloys based on 3d elements / T. Nakamichi7.2.1:
Introduction and list of abbreviations / 7.2.1.1:
Introduction / 7.2.1.1.1:
List of frequently used abbreviations / 7.2.1.1.2:
Magnet alloys with martensitic transformation / 7.2.1.2:
Fe-C base magnet alloys / 7.2.1.2.1:
Survey of the properties of Fe-C base magnet alloys / 7.2.1.2.1.1:
Permanent magnet properties of Fe-C, Fe-Cr-C and Fe-W-C alloys as dependent on the preparation technique / 7.2.1.2.1.2:
Permanent magnet properties of Fe-Al-C alloys as dependent on the preparation technique / 7.2.1.2.1.3:
Permanent magnet properties of Fe-Co-C alloys as dependent on the preparation technique / 7.2.1.2.1.4:
Fe-Ni and Fe-Mn base magnet alloys / 7.2.1.2.2:
Survey of the properties of Fe-Ni and Fe-Mn base magnet alloys / 7.2.1.2.2.1:
Permanent magnet properties of Fe-Ni base alloys as dependent on the preparation technique / 7.2.1.2.2.2:
Permanent magnet properties of Fe-Mn base alloys as dependent on the preparation technique / 7.2.1.2.2.3:
Fe-Co-V magnet alloys / 7.2.1.2.3:
Survey of the properties of Fe-Co-V magnet alloys / 7.2.1.2.3.1:
Permanent magnet properties of Fe-Co-V alloys as dependent on the preparation technique / 7.2.1.2.3.2:
fcc-type magnet alloys with a simple precipitation / 7.2.1.3:
Co-Fe base magnet alloys with high Co content and Co-Fe-Ni alloys with a small amount of Nb / 7.2.1.3.1:
Survey of the properties of the magnet system / 7.2.1.3.2.1:
Permanent magnet properties of the alloy system as dependent on the preparation technique / 7.2.1.3.2.2:
bcc-type magnet alloys with a simple precipitation (Fe-Co-Mo and Fe-Co-W alloys) / 7.2.1.4:
bcc-type magnet alloys with spinodal decomposition / 7.2.1.5:
General introduction / 7.2.1.5.1:
Fe-Ni-Al base magnet alloys / 7.2.1.5.2:
Fe-Ni-Al alloy system / 7.2.1.5.2.1:
Fe-(5-18) wt % Co-Ni-Al-Cu alloy system / 7.2.1.5.2.3:
Fe-24 wt % Co-Ni-Al-Cu alloy system / 7.2.1.5.2.4:
Fe-(30-40) wt % Co-Ni-Al-Ti-Cu alloy system / 7.2.1.5.2.5:
Fe-Cr-Co base magnet alloys / 7.2.1.5.3:
Fe-Cr-(0-5) wt % Co alloy system / 7.2.1.5.3.1:
Fe-Cr-(10-15) wt % Co alloy system / 7.2.1.5.3.3:
Fe-Cr-(23-25) wt % Co alloy system / 7.2.1.5.3.4:
Fe-Mo-Ni base magnet alloys / 7.2.1.5.4:
fcc-type magnet alloys with spinodal decomposition (Cu-Ni-Co and Cu-Ni-Fe alloys) / 7.2.1.6:
Permanent magnet properties of Cu-Ni-Co alloys as dependent on the preparation technique / 7.2.1.6.1:
Permanent magnet properties of Cu-Ni-Fe alloys as dependent on the preparation technique / 7.2.1.6.3:
Magnet alloys with order transformation (Co-Pt and Fe-Pt alloys) / 7.2.1.7:
Permanent magnet properties of Co-Pt alloys as dependent on the preparation technique / 7.2.1.7.1:
Permanent magnet properties of Fe-Pt alloys as dependent on the preparation technique / 7.2.1.7.3:
Intermediate-phase magnet alloys (MnAl and MnAl (C) alloys) / 7.2.1.8:
Permanent magnet properties of MnAl and MnAl (C) alloys as dependent on the preparation technique / 7.2.1.8.1:
Magnet alloys of the intermetallic compound MnBi / 7.2.1.9:
Fe-Cu magnet alloys / 7.2.1.10:
References for 7.2.1 / 7.2.1.11:
Rare earth - 3d magnet alloys / D. Bonnenberg ; H.P.J. Wijn7.2.2:
Sm-Co magnet alloys / 7.2.2.1:
Sm-Co-Fe- (M) magnet alloys, M = Cr, Mn / 7.2.2.3:
Sm-Co-Cu magnet alloys / 7.2.2.4:
Sm-Co-Cu-Fe- (M) magnet alloys, M = Ti, Zr, Mn, Ni, Hf / 7.2.2.5:
(Sm)-R-Co-Cu- (Fe) magnet alloys (R = rare earth element) / 7.2.2.6:
References for 7.2.2 / 7.2.2.7:
Intrinsic properties / 7.2.3:
Sintered magnets / 7.2.3.3:
Melt-quenched magnets / 7.2.3.4:
References for 7.2.3 / 7.2.3.5:
Preparation, crystal structure and lattice parameters / E. Burzo ; H.R. Kirchmayr7.2.4:
Magnetization and Curie temperature / 7.2.4.3:
Magnetic structure / 7.2.4.4:
Hyperfine parameters determined by nuclear gamma resonance / 7.2.4.5:
Hyperfine parameters determined by nuclear magnetic resonance / 7.2.4.6:
Electrical resistivity / 7.2.4.7:
Specific heat / 7.2.4.8:
Magnetostriction / 7.2.4.9:
Magnetic anisotropy / 7.2.4.10:
Permanent magnet properties / 7.2.4.11:
References for 7.2.4 / 7.2.4.12:
Rare-earth-iron interstitial compounds / 7.2.5:
General / 7.2.5.1:
Preparation of the alloys / 7.2.5.1.1:
Crystal structure and lattice parameters / 7.2.5.2:
Hyperfine parameter determined by nuclear gamma resonance / 7.2.5.2.2:
References for 7.2.5 / 7.2.5.3.5:
Introductory material
Magnetic alloys for technical applications / 7:
Soft magnetic alloys, Invar and Elinvar alloys (See Vol.19I1) / 7.1:
10.

電子ブック

EB
Kim-Kwang Raymond Choo
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
Computer Security Approach / 1.2.1:
Computational Complexity Approach / 1.2.2:
Research Objectives and Deliverables / 1.2.3:
Structure of Book and Contributions to Knowledge / 1.3:
References
Background Materials / 2:
Mathematical Background / 2.1:
Abstract Algebra and the Main Groups / 2.1.1:
Bilinear Maps from Elliptic Curve Pairings / 2.1.2:
Computational Problems and Assumptions / 2.1.3:
Cryptographic Tools / 2.1.4:
Encryption Schemes: Asymmetric Setting / 2.1.4.1:
Encryption Schemes: Symmetric Setting / 2.1.4.2:
Digital Signature Schemes / 2.1.4.3:
Message Authentication Codes / 2.1.4.4:
Cryptographic Hash Functions / 2.1.4.5:
Random Oracles / 2.1.4.6:
Key Establishment Protocols and their Basis / 2.2:
Protocol Architectures / 2.2.1:
Existing Cryptographic Keys / 2.2.1.1:
Method of Session Key Generation / 2.2.1.2:
Number of Entities / 2.2.1.3:
Protocol Goals and Attacks / 2.2.2:
Protocol Goals / 2.2.2.1:
Additional Security Attributes / 2.2.2.2:
Types of Attacks / 2.2.2.3:
A Need for Rigorous Treatment / 2.2.2.4:
The Computational Complexity Approach / 2.3:
Adversarial Powers / 2.3.1:
Definition of Freshness / 2.3.2:
Definition of Security / 2.3.3:
The Bellare-Rogaway Models / 2.3.4:
The BR93 Model / 2.3.4.1:
The BR95 Model / 2.3.4.2:
The BPR2000 Model / 2.3.4.3:
The Canetti-Krawczyk Model / 2.3.5:
Protocol Security / 2.3.6:
Summary / 2.4:
A Flawed BR95 Partnership Function / 3:
A Flaw in the Security Proof for 3PKD Protocol / 3.1:
The 3PKD Protocol / 3.1.1:
Key Replicating Attack on 3PKD Protocol / 3.1.2:
The Partner Function used in the BR95 Proof / 3.1.3:
A Revised 3PKD Protocol in Bellare-Rogaway Model / 3.2:
Defining SIDs in the 3PKD Protocol / 3.2.1:
An Improved Provably Secure 3PKD Protocol / 3.2.2:
Security Proof for the Improved 3PKD Protocol / 3.2.3:
Adaptive MAC Forger F / 3.2.3.1:
Multiple Eavesdropper Attacker ME / 3.2.3.2:
Conclusion of Proof / 3.2.3.3:
On The Key Sharing Requirement / 3.3:
Bellare-Rogaway 3PKD Protocol in CK2001 Model / 4.1:
New Attack on 3PKD Protocol / 4.1.1:
A New Provably-Secure 3PKD Protocol in CK2001 Model / 4.1.3:
Jeong-Katz-Lee Protocol JP2 / 4.2:
Protocol JP2 / 4.2.1:
New Attack on Protocol JP2 / 4.2.2:
An Improved Protocol JP2 / 4.2.3:
The Key Sharing Requirement / 4.3:
Comparison of Bellare-Rogaway and Canetti-Krawczyk Models / 4.4:
Relating The Notions of Security / 5.1:
Proving BR93 (EA+KE) to BPR2000 (EA+KE) / 5.1.1:
Proof for the key establishment goal / 5.1.1.1:
Proof for the entity authentication goal / 5.1.1.2:
Proving CK2001 to BPR2000 (KE) / 5.1.2:
Proving CK2001 to BR93 (KE) / 5.1.3:
BR93 (KE) to BR95 and BR93 (KE), CK2001 [not left arrow] BR95 / 5.1.4:
BR93 (KE)/CK2001 [not left arrow] BPR2000 (KE) / 5.1.5:
CK2001 [not left arrow] BR93 (EA+KE) / 5.1.6:
BR93 (KE) [not left arrow] CK2001 / 5.1.7:
BPR200 (KE) [not left arrow] BR95 / 5.1.8:
A Drawback in the BPR2000 Model / 5.2:
Case Study: Abdalla-Pointcheval 3PAKE / 5.2.1:
Unknown Key Share Attack on 3PAKE / 5.2.2:
An Extension to the Bellare-Rogaway Model / 5.3:
A Provably-Secure Revised Protocol of Boyd / 6.1:
Secure Authenticated Encryption Schemes / 6.1.1:
Revised Protocol of Boyd / 6.1.2:
Security Proof / 6.1.3:
Integrity attacker / 6.1.3.1:
Confidentiality attacker / 6.1.3.2:
Conclusion of Security Proof / 6.1.3.3:
An Extension to the BR93 Model / 6.2:
An Efficient Protocol in Extended Model / 6.3:
An Efficient Protocol / 6.3.1:
Integrity Breaker / 6.3.2:
Confidentiality Breaker / 6.3.2.2:
Comparative Security and Efficiency / 6.3.2.3:
A Proof of Revised Yahalom Protocol / 6.5:
The Yahalom Protocol and its Simplified Version / 7.1:
A New Provably-Secure Protocol / 7.2:
Proof for Protocol 7.2 / 7.2.1:
Conclusion of Proof for Theorem 7.2.1 / 7.2.1.1:
An Extension to Protocol 7.2 / 7.2.2:
Partnering Mechanism: A Brief Discussion / 7.3:
Errors in Computational Complexity Proofs for Protocols / 7.4:
Boyd-Gonzalez Nieto Protocol / 8.1:
Unknown Key Share Attack on Protocol / 8.1.1:
An Improved Conference Key Agreement Protocol / 8.1.2:
Limitations of Existing Proof / 8.1.3:
Jakobsson-Pointcheval MAKEP / 8.2:
Unknown Key Share Attack on JP-MAKEP / 8.2.1:
Flaws in Existing Security Proof for JP-MAKEP / 8.2.2:
Wong-Chan MAKEP / 8.3:
A New Attack on WC-MAKEP / 8.3.1:
Preventing the Attack / 8.3.2:
Flaws in Existing Security Proof for WC-MAKEP / 8.3.3:
An MT-Authenticator / 8.4:
Encryption-Based MT-Authenticator / 8.4.1:
Flaw in Existing Security Proof Revealed / 8.4.2:
Addressing the Flaw / 8.4.3:
An Example Protocol as a Case Study / 8.4.4:
On Session Key Construction / 8.5:
Chen-Kudla ID-Based Protocol / 9.1:
The ID-Based Protocol / 9.1.1:
Existing Arguments on Restriction of Reveal Query / 9.1.2:
Improved Chen-Kudla Protocol / 9.1.3:
Security Proof for Improved Chen-Kudla Protocol / 9.1.4:
McCullagh-Barreto 2P-IDAKA Protocol / 9.2:
The 2P-IDAKA Protocol / 9.2.1:
Why Reveal Query is Restricted / 9.2.2:
Errors in Existing Proof for 2P-IDAKA Protocol / 9.2.3:
Error 1 / 9.2.3.1:
Error 2 / 9.2.3.2:
Improved 2P-IDAKA Protocol / 9.2.4:
A Proposal for Session Key Construction / 9.3:
Another Case Study / 9.4:
Reflection Attack on Lee-Kim-Yoo Protocol / 9.4.1:
Complementing Computational Protocol Analysis / 9.4.2:
The Formal Framework / 10.1:
Analysing a Provably-Secure Protocol / 10.2:
Protocol Specification / 10.2.1:
Initial State of Protocol 10.1 / 10.2.1.1:
Step 1 of Protocol 10.1 / 10.2.1.2:
A Malicious State Transition / 10.2.1.3:
Protocol Analysis / 10.2.2:
Hijacking Attack / 10.2.2.1:
New Attack 1 / 10.2.2.2:
New Attack 2 / 10.2.2.3:
Analysing Another Two Protocols With Claimed Proofs of Security / 10.3:
Analysis of Protocol 10.2 / 10.3.1:
Analysis of Protocol 10.3 / 10.3.1.2:
Flaws in Refuted Proofs / 10.3.2:
A Possible Fix / 10.3.3:
Analysing Protocols with Heuristic Security Arguments / 10.4:
Case Studies / 10.4.1:
Jan-Chen Mutual Protocol / 10.4.1.1:
Yang-Shen-Shieh Protocol / 10.4.1.2:
Kim-Huh-Hwang-Lee Protocol / 10.4.1.3:
Lin-Sun-Hwang Key Protocols MDHEKE I and II / 10.4.1.4:
Yeh-Sun Key Protocol / 10.4.1.5:
Protocol Analyses / 10.4.2:
Protocol Analysis 1 / 10.4.2.1:
Protocol Analysis 2 / 10.4.2.2:
Protocol Analysis 3 / 10.4.2.3:
Protocol Analysis 4 / 10.4.2.4:
Protocol Analysis 5 / 10.4.2.5:
Protocol Analysis 6 / 10.4.2.6:
Protocol Analysis 7 / 10.4.2.7:
An Integrative Framework to Protocol Analysis and Repair / 10.5:
Case Study Protocol / 11.1:
Proposed Integrative Framework / 11.2:
Protocols Specification / 11.2.1:
Defining SIDs in Protocol 11.1 / 11.2.1.1:
Description of Goal State / 11.2.1.2:
Description of Possible Actions / 11.2.1.3:
Protocols Analysis / 11.2.2:
Protocol Repair / 11.2.3:
Conclusion and Future Work / 11.3:
Research Summary / 12.1:
Open Problems and Future Directions / 12.2:
Index
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
11.

電子ブック

EB
Kim-Kwang Raymond Choo
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
Computer Security Approach / 1.2.1:
Computational Complexity Approach / 1.2.2:
Research Objectives and Deliverables / 1.2.3:
Structure of Book and Contributions to Knowledge / 1.3:
References
Background Materials / 2:
Mathematical Background / 2.1:
Abstract Algebra and the Main Groups / 2.1.1:
Bilinear Maps from Elliptic Curve Pairings / 2.1.2:
Computational Problems and Assumptions / 2.1.3:
Cryptographic Tools / 2.1.4:
Encryption Schemes: Asymmetric Setting / 2.1.4.1:
Encryption Schemes: Symmetric Setting / 2.1.4.2:
Digital Signature Schemes / 2.1.4.3:
Message Authentication Codes / 2.1.4.4:
Cryptographic Hash Functions / 2.1.4.5:
Random Oracles / 2.1.4.6:
Key Establishment Protocols and their Basis / 2.2:
Protocol Architectures / 2.2.1:
Existing Cryptographic Keys / 2.2.1.1:
Method of Session Key Generation / 2.2.1.2:
Number of Entities / 2.2.1.3:
Protocol Goals and Attacks / 2.2.2:
Protocol Goals / 2.2.2.1:
Additional Security Attributes / 2.2.2.2:
Types of Attacks / 2.2.2.3:
A Need for Rigorous Treatment / 2.2.2.4:
The Computational Complexity Approach / 2.3:
Adversarial Powers / 2.3.1:
Definition of Freshness / 2.3.2:
Definition of Security / 2.3.3:
The Bellare-Rogaway Models / 2.3.4:
The BR93 Model / 2.3.4.1:
The BR95 Model / 2.3.4.2:
The BPR2000 Model / 2.3.4.3:
The Canetti-Krawczyk Model / 2.3.5:
Protocol Security / 2.3.6:
Summary / 2.4:
A Flawed BR95 Partnership Function / 3:
A Flaw in the Security Proof for 3PKD Protocol / 3.1:
The 3PKD Protocol / 3.1.1:
Key Replicating Attack on 3PKD Protocol / 3.1.2:
The Partner Function used in the BR95 Proof / 3.1.3:
A Revised 3PKD Protocol in Bellare-Rogaway Model / 3.2:
Defining SIDs in the 3PKD Protocol / 3.2.1:
An Improved Provably Secure 3PKD Protocol / 3.2.2:
Security Proof for the Improved 3PKD Protocol / 3.2.3:
Adaptive MAC Forger F / 3.2.3.1:
Multiple Eavesdropper Attacker ME / 3.2.3.2:
Conclusion of Proof / 3.2.3.3:
On The Key Sharing Requirement / 3.3:
Bellare-Rogaway 3PKD Protocol in CK2001 Model / 4.1:
New Attack on 3PKD Protocol / 4.1.1:
A New Provably-Secure 3PKD Protocol in CK2001 Model / 4.1.3:
Jeong-Katz-Lee Protocol JP2 / 4.2:
Protocol JP2 / 4.2.1:
New Attack on Protocol JP2 / 4.2.2:
An Improved Protocol JP2 / 4.2.3:
The Key Sharing Requirement / 4.3:
Comparison of Bellare-Rogaway and Canetti-Krawczyk Models / 4.4:
Relating The Notions of Security / 5.1:
Proving BR93 (EA+KE) to BPR2000 (EA+KE) / 5.1.1:
Proof for the key establishment goal / 5.1.1.1:
Proof for the entity authentication goal / 5.1.1.2:
Proving CK2001 to BPR2000 (KE) / 5.1.2:
Proving CK2001 to BR93 (KE) / 5.1.3:
BR93 (KE) to BR95 and BR93 (KE), CK2001 [not left arrow] BR95 / 5.1.4:
BR93 (KE)/CK2001 [not left arrow] BPR2000 (KE) / 5.1.5:
CK2001 [not left arrow] BR93 (EA+KE) / 5.1.6:
BR93 (KE) [not left arrow] CK2001 / 5.1.7:
BPR200 (KE) [not left arrow] BR95 / 5.1.8:
A Drawback in the BPR2000 Model / 5.2:
Case Study: Abdalla-Pointcheval 3PAKE / 5.2.1:
Unknown Key Share Attack on 3PAKE / 5.2.2:
An Extension to the Bellare-Rogaway Model / 5.3:
A Provably-Secure Revised Protocol of Boyd / 6.1:
Secure Authenticated Encryption Schemes / 6.1.1:
Revised Protocol of Boyd / 6.1.2:
Security Proof / 6.1.3:
Integrity attacker / 6.1.3.1:
Confidentiality attacker / 6.1.3.2:
Conclusion of Security Proof / 6.1.3.3:
An Extension to the BR93 Model / 6.2:
An Efficient Protocol in Extended Model / 6.3:
An Efficient Protocol / 6.3.1:
Integrity Breaker / 6.3.2:
Confidentiality Breaker / 6.3.2.2:
Comparative Security and Efficiency / 6.3.2.3:
A Proof of Revised Yahalom Protocol / 6.5:
The Yahalom Protocol and its Simplified Version / 7.1:
A New Provably-Secure Protocol / 7.2:
Proof for Protocol 7.2 / 7.2.1:
Conclusion of Proof for Theorem 7.2.1 / 7.2.1.1:
An Extension to Protocol 7.2 / 7.2.2:
Partnering Mechanism: A Brief Discussion / 7.3:
Errors in Computational Complexity Proofs for Protocols / 7.4:
Boyd-Gonzalez Nieto Protocol / 8.1:
Unknown Key Share Attack on Protocol / 8.1.1:
An Improved Conference Key Agreement Protocol / 8.1.2:
Limitations of Existing Proof / 8.1.3:
Jakobsson-Pointcheval MAKEP / 8.2:
Unknown Key Share Attack on JP-MAKEP / 8.2.1:
Flaws in Existing Security Proof for JP-MAKEP / 8.2.2:
Wong-Chan MAKEP / 8.3:
A New Attack on WC-MAKEP / 8.3.1:
Preventing the Attack / 8.3.2:
Flaws in Existing Security Proof for WC-MAKEP / 8.3.3:
An MT-Authenticator / 8.4:
Encryption-Based MT-Authenticator / 8.4.1:
Flaw in Existing Security Proof Revealed / 8.4.2:
Addressing the Flaw / 8.4.3:
An Example Protocol as a Case Study / 8.4.4:
On Session Key Construction / 8.5:
Chen-Kudla ID-Based Protocol / 9.1:
The ID-Based Protocol / 9.1.1:
Existing Arguments on Restriction of Reveal Query / 9.1.2:
Improved Chen-Kudla Protocol / 9.1.3:
Security Proof for Improved Chen-Kudla Protocol / 9.1.4:
McCullagh-Barreto 2P-IDAKA Protocol / 9.2:
The 2P-IDAKA Protocol / 9.2.1:
Why Reveal Query is Restricted / 9.2.2:
Errors in Existing Proof for 2P-IDAKA Protocol / 9.2.3:
Error 1 / 9.2.3.1:
Error 2 / 9.2.3.2:
Improved 2P-IDAKA Protocol / 9.2.4:
A Proposal for Session Key Construction / 9.3:
Another Case Study / 9.4:
Reflection Attack on Lee-Kim-Yoo Protocol / 9.4.1:
Complementing Computational Protocol Analysis / 9.4.2:
The Formal Framework / 10.1:
Analysing a Provably-Secure Protocol / 10.2:
Protocol Specification / 10.2.1:
Initial State of Protocol 10.1 / 10.2.1.1:
Step 1 of Protocol 10.1 / 10.2.1.2:
A Malicious State Transition / 10.2.1.3:
Protocol Analysis / 10.2.2:
Hijacking Attack / 10.2.2.1:
New Attack 1 / 10.2.2.2:
New Attack 2 / 10.2.2.3:
Analysing Another Two Protocols With Claimed Proofs of Security / 10.3:
Analysis of Protocol 10.2 / 10.3.1:
Analysis of Protocol 10.3 / 10.3.1.2:
Flaws in Refuted Proofs / 10.3.2:
A Possible Fix / 10.3.3:
Analysing Protocols with Heuristic Security Arguments / 10.4:
Case Studies / 10.4.1:
Jan-Chen Mutual Protocol / 10.4.1.1:
Yang-Shen-Shieh Protocol / 10.4.1.2:
Kim-Huh-Hwang-Lee Protocol / 10.4.1.3:
Lin-Sun-Hwang Key Protocols MDHEKE I and II / 10.4.1.4:
Yeh-Sun Key Protocol / 10.4.1.5:
Protocol Analyses / 10.4.2:
Protocol Analysis 1 / 10.4.2.1:
Protocol Analysis 2 / 10.4.2.2:
Protocol Analysis 3 / 10.4.2.3:
Protocol Analysis 4 / 10.4.2.4:
Protocol Analysis 5 / 10.4.2.5:
Protocol Analysis 6 / 10.4.2.6:
Protocol Analysis 7 / 10.4.2.7:
An Integrative Framework to Protocol Analysis and Repair / 10.5:
Case Study Protocol / 11.1:
Proposed Integrative Framework / 11.2:
Protocols Specification / 11.2.1:
Defining SIDs in Protocol 11.1 / 11.2.1.1:
Description of Goal State / 11.2.1.2:
Description of Possible Actions / 11.2.1.3:
Protocols Analysis / 11.2.2:
Protocol Repair / 11.2.3:
Conclusion and Future Work / 11.3:
Research Summary / 12.1:
Open Problems and Future Directions / 12.2:
Index
Introduction / 1:
The Key Distribution Problem / 1.1:
Solution: Key Establishment Protocols / 1.2:
12.

図書

図書
American Institute of Chemical Engineers. Center for Chemical Process Safety
出版情報: New York : Center for Chemical Process Safety of the American Institute of Chemical Engineers, c1995  xxvii, 210 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
List of Tables
List of Figures
Preface
Acknowledgments
Glossary
List of Symbols
Introduction / Chapter 1:
General / 1.1:
Chemical Reactivity / 1.2:
Detonations, Deflagrations, and Runaways / 1.3:
Assessment and Testing Strategies / 1.4:
Identification of Hazardous Chemical Reactivity / Chapter 2:
Summary/Strategy / 2.1:
Hazard Identification Strategy / 2.1.1:
Exothermic Reactions / 2.1.3:
Experimental Thermal and Reactivity Measurements / 2.1.4:
Test Strategies / 2.1.5:
Overview of Thermal Stability Test methods / 2.1.6:
Examples of Interpretation and Application of Test Data / 2.1.7:
Technical Section / 2.2:
Identification of High Energy Substances / 2.2.2:
Hazard Prediction by Thermodynamic Calculations / 2.2.3:
Oxygen Balance / 2.2.3.1:
Calculation of the Reaction Enthalpy / 2.2.3.2:
Application of Computer Programs / 2.2.3.3:
Instability/Incompatibility Factors / 2.2.4:
Factors Influencing Stability / 2.2.4.1:
Redox Systems / 2.2.4.2:
Reactions with Water / 2.2.4.3:
Reactions between Halogenated Hydrocarbons and Metals / 2.2.4.4:
Practical Testing / 2.3:
Screening Tests / 2.3.1:
Thermal Analysis / 2.3.1.1:
Isoperibolic Calorimetry / 2.3.1.2:
Thermal Stability and Runaway Testing / 2.3.2:
Isothermal Storage Tests / 2.3.2.1:
Dewar Flask Testing and Adiabatic Storage Tests / 2.3.2.2:
Accelerating Rate Calorimeter (ARC) / 2.3.2.3:
Stability Tests for Powders / 2.3.2.4:
Explosibility Testing / 2.3.3:
.Detonation Testing / 2.3.3.1:
Deflagration Testing and Autoclave Testing / 2.3.3.2:
Mechanical Sensitivity Testing / 2.3.3.3:
Sensitivity to heating Under Confinement / 2.3.3.4:
Reactivity Testing / 2.3.4:
Pyrophoric Properties / 2.3.4.1:
Reactivity with Water / 2.3.4.2:
Oxidizing Properties / 2.3.4.3:
Flammability Testing / 2.3.5:
Chemical Reactivity Considerations in Process/Reactor Design and Operation / Chapter 3:
Thermal Hazards: Identification and Analysis / 3.1:
Cause, Definition, and Prevention of a Runaway / 3.1.1.1:
Some Simple Rules for Inherent Safety / 3.1.1.2:
Strategy for Inherent Safety in Design and Operation / 3.1.1.3:
Equipment to be Used for the Analysis of Hazards / 3.1.1.4:
Reactor, Heat and Mass Balance Considerations / 3.2:
Heat and Mass Balances, Kinetics, and Reaction Stability / 3.2.1:
Adiabatic Temperature Rise / 3.2.1.1:
The Reaction / 3.2.1.2:
Reaction Rate / 3.2.1.3:
Reaction Rate Constant / 3.2.1.4:
Concentration of Reactants / 3.2.1.5:
Effect of Surrounding Temperature on Stability / 3.2.1.6:
Effect of Agitation and Surface Fouling on Stability / 3.2.1.7:
Mass Balance / 3.2.1.8:
Choice of Reactor / 3.2.2:
Heat Transfer / 3.2.3:
Heat Transfer in Nonagitated Vessels / 3.2.3.1:
Heat Transfer in Agitated Vessels / 3.2.3.2:
Acquisition and Use of Process Design data / 3.3:
Bench-Scale Equipment for Batch/Tank Reactors / 3.3.1:
Reaction Calorimeter (RC1) / 3.3.2.1:
Contalab / 3.3.2.2:
CPA ThermoMetric Instruments / 3.3.2.3:
Quantitative Reaction Calorimeter / 3.3.2.4:
Specialized Rectors / 3.3.2.5:
Vent Size Package (VSP) / 3.3.2.6:
Reactive System Screening Tool (RSST) / 3.3.2.7:
Process Safety for Reactive Systems / 3.3.3:
Test Plan / 3.3.3.1:
System Under Investigation / 3.3.3.2:
Test Results / 3.3.3.3:
Malfunction and Process Deviation Testing / 3.3.3.4:
Pressure Effect / 3.3.3.5:
Results from the ARC, RSST, and VSP / 3.3.3.6:
Scale-up and Pilot Plants / 3.3.4:
General Remarks / 3.3.4.1:
Chemical Kinetics. 3 / 3.3.4.2:
List of Tables
List of Figures
Preface
13.

電子ブック

EB
Isao Noda, Yukihiro Ozaki, Y Ozaki
出版情報: Wiley Online Library - AutoHoldings Books , John Wiley & Sons, Inc., 2004
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
Introduction / 1:
Two-dimensional Spectroscopy / 1.1:
Overview of the Field / 1.2:
Generalized Two-dimensional Correlation / 1.3:
Types of Spectroscopic Probes / 1.3.1:
External Perturbations / 1.3.2:
Heterospectral Correlation / 1.4:
Universal Applicability / 1.5:
Principle of Two-dimensional Correlation Spectroscopy / 2:
Two-dimensional Correlation Spectroscopy / 2.1:
General Scheme / 2.1.1:
Type of External Perturbations / 2.1.2:
Dynamic Spectrum / 2.2:
Two-dimensional Correlation Concept / 2.2.2:
Generalized Two-dimensional Correlation Function / 2.2.3:
Properties of 2D Correlation Spectra / 2.2.4:
Synchronous 2D Correlation Spectrum / 2.3.1:
Asynchronous 2D Correlation Spectrum / 2.3.2:
Special Cases and Exceptions / 2.3.3:
Analytical Expressions for Certain 2D Spectra / 2.4:
Comparison of Linear Functions / 2.4.1:
2D Spectra Based on Sinusoidal Signals / 2.4.2:
Exponentially Decaying Intensities / 2.4.3:
Distributed Lorentzian Peaks / 2.4.4:
Signals with more Complex Waveforms / 2.4.5:
Cross-correlation Analysis and 2D Spectroscopy / 2.5:
Cross-correlation Function and Cross Spectrum / 2.5.1:
Cross-correlation Function and Synchronous Spectrum / 2.5.2:
Hilbert Transform / 2.5.3:
Orthogonal Correlation Function and Asynchronous Spectrum / 2.5.4:
Disrelation Spectrum / 2.5.5:
Practical Computation of Two-dimensional Correlation Spectra / 3:
Computation of 2D Spectra from Discrete Data / 3.1:
Synchronous Spectrum / 3.1.1:
Asynchronous Spectrum / 3.1.2:
Unevenly Spaced Data / 3.2:
Computational Efficiency / 3.3:
Generalized Two-dimensional Correlation Spectroscopy in Practice / 4:
Practical Example / 4.1:
Solvent Evaporation Study / 4.1.1:
2D Spectra Generated from Experimental Data / 4.1.2:
Sequential Order Analysis by Cross Peak Signs / 4.1.3:
Pretreatment of Data / 4.2:
Noise Reduction Methods / 4.2.1:
Baseline Correction Methods / 4.2.2:
Other Pretreatment Methods / 4.2.3:
Features Arising from Factors other than Band Intensity Changes / 4.3:
Effect of Band Position Shift and Line Shape Change / 4.3.1:
Simulation Studies / 4.3.2:
2D Spectral Features from Band Shift and Line Broadening / 4.3.3:
Further Expansion of Generalized Two-dimensional Correlation Spectroscopy - Sample-Sample Correlation and Hybrid Correlation / 5:
Sample-Sample Correlation Spectroscopy / 5.1:
Correlation in another Dimension / 5.1.1:
Matrix Algebra Outlook of 2D Correlation / 5.1.2:
Sample-Sample Correlation Spectra / 5.1.3:
Application of Sample-Sample Correlation / 5.1.4:
Hybrid 2D Correlation Spectroscopy / 5.2:
Multiple Perturbations / 5.2.1:
Correlation between Data Matrices / 5.2.2:
Case Studies / 5.2.3:
Additional Remarks / 5.3:
Additional Developments in Two-dimensional Correlation Spectroscopy - Statistical Treatments, Global Phase Maps, and Chemometrics / 6:
Classical Statistical Treatments and 2D Spectroscopy / 6.1:
Variance, Covariance, and Correlation Coefficient / 6.1.1:
Interpretation of 2D Disrelation Spectrum / 6.1.2:
Coherence and Correlation Phase Angle / 6.1.3:
Correlation Enhancement / 6.1.4:
Global 2D Phase Maps / 6.2:
Further Discussion on Global Phase / 6.2.1:
Phase Map with a Blinding Filter / 6.2.2:
Simulation Study / 6.2.3:
Chemometrics and 2D Correlation Spectroscopy / 6.3:
Comparison between Chemometrics and 2D Correlation / 6.3.1:
Factor Analysis / 6.3.2:
Principal Component Analysis (PCA) / 6.3.3:
Number of Principal Factors / 6.3.4:
PCA-reconstructed Spectra / 6.3.5:
Eigenvalue Manipulating Transformation (EMT) / 6.3.6:
Other Types of Two-dimensional Spectroscopy / 7:
Nonlinear Optical 2D Spectroscopy / 7.1:
Ultrafast Laser Pulses / 7.1.1:
Comparison with Generalized 2D Correlation Spectroscopy / 7.1.2:
Overlap Between Generalized 2D Correlation and Nonlinear Spectroscopy / 7.1.3:
Statistical 2D Correlation Spectroscopy / 7.2:
Statistical 2D Correlation by Barton II et al. / 7.2.1:
Statistical 2D Correlation by &Sa&sic and Ozaki / 7.2.2:
Other Statistical 2D Spectra / 7.2.3:
Link to Chemometrics / 7.2.4:
Other Developments in 2D Correlation Spectroscopy / 7.3:
Moving-window Correlation / 7.3.1:
Model-based 2D Correlation Spectroscopy / 7.3.2:
Dynamic Two-di / 8:
Preface
Acknowledgements
Introduction / 1:
14.

図書

図書
International Institute of Refrigeration. Commission B2 ; International Institute of Refrigeration. Commission C2 ; International Institute of Refrigeration. Commission E2
出版情報: Buenos Aires : Its Organizing Committee, 1992  364 p. ; 25 cm
所蔵情報: loading…
15.

図書

図書
edited with translation and explanatory notes by S.D. Joshi and J.A.F. Roodbergen
出版情報: Poona : University of Poona, 1973  xxiv, 52, 269 p. ; 25 cm
シリーズ名: Publications of the Centre of Advanced Study in Sanskrit ; class C ; no. 7
所蔵情報: loading…
16.

電子ブック

EB
Eric Setton, Bernd Girod
出版情報: Springer eBooks Computer Science , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Background / 2:
Video Compression / 2.1:
H.264 Video Coding / 2.1.1:
Distortion Models / 2.1.2:
Video Streaming / 2.2:
Error Resilience / 2.2.1:
Congestion Control / 2.2.2:
Path Diversity / 2.2.3:
Multicast Architectures / 2.3:
IP Multicast / 2.3.1:
Content Delivery Networks / 2.3.2:
Peer-to-Peer Systems / 2.4:
Peer-to-Peer File Transfer, the Example of BitTorrent / 2.4.1:
Peer-to-Peer Streaming / 2.4.2:
Streaming over Throughput-Limited Paths / 3:
Video Encoding for Throughput-Limited Paths / 3.1:
End-to-End Rate-Distortion Performance Model / 3.1.1:
Experimental Results / 3.1.2:
Congestion-Distortion Optimized Scheduling / 3.2:
Channel Model / 3.2.1:
Evaluating a Schedule / 3.2.2:
Randomized Schedule Search / 3.2.3:
CoDiO Light / 3.2.4:
Chapter Summary / 3.2.5:
Peer-to-Peer Control Protocol / 4:
Protocol Description / 4.1:
Different Peer States / 4.1.1:
Different Tree Connection States / 4.1.2:
Multicast Source / 4.1.3:
Protocol Settings / 4.1.4:
Experimental Protocol Evaluation / 4.2:
Experimental Setup / 4.2.1:
Control Protocol Traffic Distribution / 4.2.2:
Join and Rejoin Latency / 4.2.3:
Scalability / 4.2.4:
Limiting Throughput / 4.2.5:
Video Streaming over a Peer-to-Peer Network / 4.3:
Video Streaming Protocol / 5.1:
Video Packet Transmission / 5.1.1:
Retransmissions / 5.1.2:
Peer-to-Peer CoDiO Scheduling / 5.2:
Sender-Driven Prioritization / 5.2.1:
Distortion-Optimized Retransmission Scheduling / 5.2.2:
Scheduler Evaluation / 5.2.3:
Video Sessions / 5.3:
Diversity / 5.3.2:
CoDiO P2P / 5.3.3:
Conclusions and Future Work / 5.4:
Conclusions / 6.1:
Future Work / 6.2:
Video Experiments / A:
Encoding Structures / A.1:
Latency-Constrained Video Streaming / A.1.2:
Error-Resilient Decoding / A.1.3:
Quality Metric / A.1.4:
Video Sequences / A.2:
Container / A.2.1:
Foreman / A.2.2:
Mobile / A.2.3:
Mother & Daughter / A.2.4:
News / A.2.5:
Salesman / A.2.6:
References
Index
Introduction / 1:
Background / 2:
Video Compression / 2.1:
17.

電子ブック

EB
Eric Setton, Bernd Girod
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Background / 2:
Video Compression / 2.1:
H.264 Video Coding / 2.1.1:
Distortion Models / 2.1.2:
Video Streaming / 2.2:
Error Resilience / 2.2.1:
Congestion Control / 2.2.2:
Path Diversity / 2.2.3:
Multicast Architectures / 2.3:
IP Multicast / 2.3.1:
Content Delivery Networks / 2.3.2:
Peer-to-Peer Systems / 2.4:
Peer-to-Peer File Transfer, the Example of BitTorrent / 2.4.1:
Peer-to-Peer Streaming / 2.4.2:
Streaming over Throughput-Limited Paths / 3:
Video Encoding for Throughput-Limited Paths / 3.1:
End-to-End Rate-Distortion Performance Model / 3.1.1:
Experimental Results / 3.1.2:
Congestion-Distortion Optimized Scheduling / 3.2:
Channel Model / 3.2.1:
Evaluating a Schedule / 3.2.2:
Randomized Schedule Search / 3.2.3:
CoDiO Light / 3.2.4:
Chapter Summary / 3.2.5:
Peer-to-Peer Control Protocol / 4:
Protocol Description / 4.1:
Different Peer States / 4.1.1:
Different Tree Connection States / 4.1.2:
Multicast Source / 4.1.3:
Protocol Settings / 4.1.4:
Experimental Protocol Evaluation / 4.2:
Experimental Setup / 4.2.1:
Control Protocol Traffic Distribution / 4.2.2:
Join and Rejoin Latency / 4.2.3:
Scalability / 4.2.4:
Limiting Throughput / 4.2.5:
Video Streaming over a Peer-to-Peer Network / 4.3:
Video Streaming Protocol / 5.1:
Video Packet Transmission / 5.1.1:
Retransmissions / 5.1.2:
Peer-to-Peer CoDiO Scheduling / 5.2:
Sender-Driven Prioritization / 5.2.1:
Distortion-Optimized Retransmission Scheduling / 5.2.2:
Scheduler Evaluation / 5.2.3:
Video Sessions / 5.3:
Diversity / 5.3.2:
CoDiO P2P / 5.3.3:
Conclusions and Future Work / 5.4:
Conclusions / 6.1:
Future Work / 6.2:
Video Experiments / A:
Encoding Structures / A.1:
Latency-Constrained Video Streaming / A.1.2:
Error-Resilient Decoding / A.1.3:
Quality Metric / A.1.4:
Video Sequences / A.2:
Container / A.2.1:
Foreman / A.2.2:
Mobile / A.2.3:
Mother & Daughter / A.2.4:
News / A.2.5:
Salesman / A.2.6:
References
Index
Introduction / 1:
Background / 2:
Video Compression / 2.1:
18.

図書

図書
H. Haug ... [et al.] ; edited by C. Klingshirn
出版情報: Berlin : Springer-Verlag, c2001-2007  3 v. ; 28 cm.
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; Group 3 . Condensed matter ; v. 34 . Semiconductor quantum structures ; subv. C
所蔵情報: loading…
目次情報: 続きを見る
Landolt-Börnstein
Group III: Condensed Matter
Semiconductor Quantum Structures / Volume 34:
Optical Properties (Part 2) / Subvolume C2:
Introductory material
Low-dimensional structures of II-VI compounds / 5:
General properties / H. Kalt5.1:
Introduction / 5.1.1:
Some basic properties of bulk II-VI compounds / 5.1.2:
Band-gap energies / 5.1.2.1:
Excitonic properties / 5.1.2.2:
Alignment of electronic bands / 5.1.3:
References for 5.1 / 5.1.4:
Quantum-well structures of II-VI compounds / 5.2:
(Hg,X)Te quantum wells / 5.2.1:
Low-density regime / 5.2.1.1:
Electronic states in quantum wells / 5.2.1.1.1:
Electron-hole and excitonic transitions / 5.2.1.1.2:
Modification of the optical properties by internal fields / 5.2.1.2:
Modification of the optical properties by external fields / 5.2.1.3:
High-density regime and nonlinear optics / 5.2.1.4:
References for 5.2.1 / 5.2.1.5:
CdTe quantum wells / 5.2.2:
Excitonic transitions / 5.2.2.1:
Localized excitons / 5.2.2.1.3:
Polariton effects / 5.2.2.1.4:
Strained quantum wells / 5.2.2.2:
Piezoelectric quantum wells / 5.2.2.2.2:
Hydrostatic pressure / 5.2.2.3:
External electric fields / 5.2.2.3.2:
External magnetic fields / 5.2.2.3.3:
The intermediate-density regime / 5.2.2.4:
Exciton-exciton interaction / 5.2.2.4.1:
Excitonic lasing and optical gain / 5.2.2.4.2:
Biexcitons / 5.2.2.4.3:
The high-density regime / 5.2.2.5:
One-component plasma (2DEG) / 5.2.2.5.1:
Electron-hole plasma / 5.2.2.5.2:
Coherent dynamics and relaxation of optical excitations / 5.2.2.6:
Coherent interactions / 5.2.2.6.1:
Dephasing mechanisms and homogeneous linewidth / 5.2.2.6.2:
Relaxation processes / 5.2.2.6.3:
Transport phenomena of excitons and trions / 5.2.2.6.4:
Radiative and nonradiative recombination / 5.2.2.6.5:
References for 5.2.2 / 5.2.2.7:
(Cd,Zn)Te, (Cd,Mn)Te, and (Cd,Mg)Te quantum wells / 5.2.3:
The intermediate and high-density regimes / 5.2.3.1:
References for 5.2.3 / 5.2.3.4:
ZnTe quantum wells / 5.2.4:
Excitons and polaritons / 5.2.4.1:
Optical nonlinearities and high-density effects / 5.2.4.3:
References for 5.2.4 / 5.2.4.4:
Telluride diluted-magnetic semiconductor quantum-well structures: (Hg,Mn)Te, (Cd,Mn)Te, and (Zn,Mn)Te QWs; Se/Te type-II QWs / 5.2.5:
Zeeman splitting and its applications / 5.2.5.1:
Giant Zeeman splitting / 5.2.5.1.1:
Magnetic-field induced type-I to type-II transition / 5.2.5.1.2:
Interface effects in non-DMS/DMS QW structures / 5.2.5.1.3:
Magnetic-field induced circular birefringence / 5.2.5.1.4:
Coulomb-bound electron-hole pairs and complexes (low-density regime) / 5.2.5.2:
Magnetic polarons / 5.2.5.2.1:
Donor-acceptor pair recombination / 5.2.5.2.3:
The intermediate and high-density regime / 5.2.5.3:
Spin-aligned excitons / 5.2.5.3.1:
Spin-aligned magnetoplasma / 5.2.5.3.2:
Two-dimensional electron or hole gas / 5.2.5.3.3:
Coherent spin dynamics and spin injection / 5.2.5.4:
Spin relaxation / 5.2.5.4.2:
Exciton dephasing and homogeneous broadening / 5.2.5.4.3:
Formation dynamics of magnetic polarons / 5.2.5.4.4:
Recombination processes / 5.2.5.4.5:
References for 5.2.5 / 5.2.5.5:
Telluride/Selenide quantum wells / 5.2.6:
High-density regime and dynamics / 5.2.6.1:
References for 5.2.6 / 5.2.6.3:
HgSe and (Hg,Cd)Se quantum wells / 5.2.7:
References for 5.2.7
CdSe quantum wells / 5.2.8:
High-density regime / 5.2.8.1:
Relaxation dynamics / 5.2.8.3:
References for 5.2.8 / 5.2.8.4:
(Cd,Zn)Se quantum wells / 5.2.9:
Modifications of the optical properties by internal fields / 5.2.9.1:
Piezoelectric fields / 5.2.9.2.1:
Modifications of the optical properties by external fields / 5.2.9.3:
Excitonic interactions and Pauli blocking / 5.2.9.3.1:
Two-photon absorption and second harmonic generation / 5.2.9.4.2:
Localized biexcitons / 5.2.9.4.3:
Excitonic and biexcitonic stimulated emission and optical gain / 5.2.9.4.4:
Fermi-edge singularity / 5.2.9.5:
Correlated electron-hole plasma / 5.2.9.5.2:
Coherent interactions and dephasing / 5.2.9.6:
Transport phenomena / 5.2.9.6.2:
Dynamics of gain and stimulated emission / 5.2.9.6.4:
Radiative and non-radiative recombination / 5.2.9.6.5:
References for 5.2.9 / 5.2.9.7:
ZnSe quantum wells / 5.2.10:
Strain and piezoelectric fields / 5.2.10.1:
Transient internal space charge fields / 5.2.10.2.2:
Electric fields / 5.2.10.3:
Magnetic fields / 5.2.10.3.3:
Excitonic gain and lasing / 5.2.10.4:
Nonlinear optical effects / 5.2.10.4.4:
Optical gain and lasing / 5.2.10.5:
Hot-exciton relaxation / 5.2.10.6:
Lateral transport / 5.2.10.6.4:
References for 5.2.10 / 5.2.10.6.6:
Selenide-based quantum wells containing Be, Mg, or S in the well / 5.2.11:
References for 5.2.11
Selenide diluted-magnetic semiconductor quantum-well structures: (Cd,Mn)Se, (Zn,Mn)Se, and (Zn,Fe)Se QWs / 5.2.12:
Two-dimensional electron gas / 5.2.12.1:
Spin dephasing and relaxation / 5.2.12.4:
Dynamics of magnetic polarons / 5.2.12.4.2:
References for 5.2.12 / 5.2.12.4.3:
Zincblende Sulphide/Selenide type-II quantum wells / 5.2.13:
References for 5.2.13
CdS/ZnS and (Cd,Zn)S/ZnS quantum wells / 5.2.14:
Intermediate and high-density regime / 5.2.14.1:
Exciton dynamics / 5.2.14.4:
References for 5.2.14 / 5.2.14.5:
ZnS/(Zn,Mg)S quantum wells / 5.2.15:
References for 5.2.15
ZnO and (Zn,Cd)O quantum wells / 5.2.16:
Dynamics of optical excitations / 5.2.16.1:
References for 5.2.16 / 5.2.16.5:
Superlattices and coupled quantum-well structures of II-VI compounds / 5.3:
(Hg,X)Te superlattices / 5.3.1:
Electronic states in superlattices / 5.3.1.1:
References for 5.3.1 / 5.3.1.1.2:
CdTe/(Cd,X)Te and (Cd,X)Te/ZnTe superlattices and coupled quantum wells / 5.3.2:
Transient effects and dynamics / 5.3.2.1:
References for 5.3.2 / 5.3.2.5:
Telluride diluted magnetic semiconductor superlattices and coupled quantum wells / 5.3.3:
Electronic states in DMS SLs / 5.3.3.1:
Spin states in DMS SLs / 5.3.3.2:
Polaritons / 5.3.3.3:
Dynamic processes / 5.3.3.5:
References for 5.3.3 / 5.3.3.6:
Telluride/Selenide and Telluride/Sulphide superlattices / 5.3.4:
Electronic states in type-II SLs / 5.3.4.1:
Excitons and isoelectronic traps / 5.3.4.2:
High-excitation regime / 5.3.4.3:
References for 5.3.4 / 5.3.4.5:
CdSe, ZnSe, (Cd,Zn)Se, and (Zn,Mg)(S,Se) superlattices and coupled quantum wells / 5.3.5:
Electronic states in strained-layer superlattices / 5.3.5.1:
Optical functions in superlattices and multiple quantum wells / 5.3.5.1.2:
Magnetic field / 5.3.5.1.3:
References for 5.3.5 / 5.3.5.4:
Selenide DMS superlattices and coupled quantum wells / 5.3.6:
Electronic states in diluted magnetic semiconductor superlattices (DMS SLs) / 5.3.6.1:
Spin-relaxation and spin injection / 5.3.6.1.2:
References for 5.3.6 / 5.3.6.3:
CdSe/CdS and CdS/ZnSe intrinsic Stark superlattices / 5.3.7:
References for 5.3.7 / 5.3.7.1:
Zincblende Sulphide/Selenide superlattices / 5.3.8:
References for 5.3.8
CdS/ZnS, CdS/(Cd,ZnS), and (Cd,Zn)S/ZnS superlattices / 5.3.9:
References for 5.3.9
Quantum-wire structures / 5.4:
Telluride quantum wires / 5.4.1:
Selenide quantum wires / 5.4.1.1:
Electron-phonon coupling / 5.4.2.1:
Optical gain / 5.4.2.1.3:
Exciton recombination / 5.4.2.3:
Sulfide quantum wires / 5.4.3:
Oxide quantum wires / 5.4.4:
Semimagnetic quantum wires / 5.4.5:
Mn-related transitions / 5.4.5.1:
Magneto-optics / 5.4.5.2:
References for 5.4 / 5.4.6:
II-VI Quantum dots I - Nanocrystals / U. Woggon ; S.V. Gaponenko5.5:
HgTe / 5.5.1:
CdTe / 5.5.2:
The low-density regime / 5.5.2.1:
Size-dependent energy states / 5.5.2.1.1:
Splitting of states / 5.5.2.1.2:
Interaction with phonons / 5.5.2.1.3:
Impurity states / 5.5.2.1.4:
Coherent dynamics, relaxation and recombination of optical excitations / 5.5.2.2:
Dot-dot interactions, quantum dot arrays / 5.5.2.5:
(Cd,Hg)Te / 5.5.3:
Cd(Te,Se) and Cd(Te,S) / 5.5.4:
ZnTe / 5.5.5:
HgSe / 5.5.6:
CdSe / 5.5.7:
Biexciton states / 5.5.7.1:
Nonlinear optical coefficients / 5.5.7.2.2:
Stimulated emission and optical gain / 5.5.7.2.3:
Dephasing times and homogeneous linewidth / 5.5.7.3:
Cd(Se,S) / 5.5.7.4.2:
(Cd,Mn)Se / 5.5.8.1:
(Cd,Zn)Se / 5.5.10:
ZnSe / 5.5.11:
HgS / 5.5.11.1:
CdS / 5.5.13:
Nonlinear-optical coefficients / 5.5.13.1:
(Zn,Cd)S / 5.5.13.2.3:
(Zn,Mn)S / 5.5.15:
ZnS / 5.5.16:
CdO / 5.5.16.1:
ZnO / 5.5.18:
References for 5.5 / 5.5.18.1:
II-VI Quantum dots II - Self-organized, epitaxially grown nanostructures / 5.6:
Excitonic states and their fine structure / 5.6.1:
Charged excitons / 5.6.2.1.2:
(Cd,Mn)Te, (Cd,Mg)Te / 5.6.2.1.3:
CdSe and ZnCdSe / 5.6.4:
References for 5.6 / 5.6.6.1:
Landolt-Börnstein
Group III: Condensed Matter
Semiconductor Quantum Structures / Volume 34:
19.

電子ブック

EB
John Impagliazzo
出版情報: Springer eBooks Computer Science , Springer US, 2006
所蔵情報: loading…
20.

電子ブック

EB
John Impagliazzo
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2006
所蔵情報: loading…
21.

図書

図書
Thomas Barkowsky
出版情報: Berlin ; Tokyo : Springer, c2002  x, 174 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2541 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Mental Processing of Geographic Knowledge / 1.1:
Cognitive Maps / 1.1.1:
Mental Construction of Spatial Knowledge: An Example / 1.1.2:
Theses and Assumptions / 1.2:
Knowledge Construction and Human Memory / 1.2.1:
Characteristics of Geographic Knowledge / 1.2.2:
Spatial Knowledge Organization in Long-Term Memory / 1.2.3:
Visual Mental Images and Diagrammatic Reasoning / 1.2.4:
Research Questions and Goals / 1.3:
Research Questions / 1.3.1:
Goals / 1.3.2:
Approach: Experimental Computational Modeling / 1.4:
Computational Cognition / 1.4.1:
Building Computational Models / 1.4.2:
Modeling as Experimental Approach / 1.4.3:
Organization of this Thesis / 1.5:
State of the Art / 2:
Spatial Knowledge Conceptions: Cognitive Maps and Other Metaphors / 2.1:
Rubber Sheet Maps, Cognitive Atlases, Collages, and Geographic Information Systems / 2.1.1:
Spatial Mental Models / 2.1.3:
Other Conceptions / 2.1.4:
Human Memory / 2.2:
Working Memory / 2.2.1:
Long-Term Memory / 2.2.2:
Interacting Memory Systems in Mental Imagery / 2.2.3:
Mental Imagery / 2.3:
The Imagery Debate / 2.3.1:
Psychological and Neuroscientific Foundations / 2.3.2:
The Kosslyn Models / 2.3.3:
The 1980 Model / 2.3.3.1:
The 1994 Model / 2.3.3.2:
Spatial Reasoning / 2.4:
Topology / 2.4.1:
Orientation / 2.4.2:
Distance / 2.4.3:
Shape / 2.4.4:
Computational Geometry / 2.4.5:
Diagrammatic Reasoning / 2.5:
Propositional vs. Analogical Knowledge Representation / 2.5.1:
Types of Diagrammatic Reasoning Systems / 2.5.2:
Examples for Diagrammatic Reasoning Architectures / 2.5.3:
DEPIC-2D / 2.5.3.1:
WHISPER / 2.5.3.2:
Computational Imagery / 2.5.3.3:
Summary / 2.6:
MIRAGE - Developing the Model / 3:
Characteristics of the Model / 3.1:
Evaluating the Working Memory Representation / 3.1.1:
MIRAGE - Outline of the Model / 3.2:
Types of Entities and Spatial Relations in MIRAGE / 3.3:
Entities / 3.3.1:
Relations / 3.3.2:
Subsystems, Structures, and Processes / 3.4:
Long-Term Memory Activation / 3.4.1:
Spatial Knowledge Fragments / 3.4.1.1:
The Hierarchical Long-Term Memory Representation / 3.4.1.2:
The Access Process / 3.4.1.3:
The Activated Long-Term Memory Representation / 3.4.1.4:
The Construction Process / 3.4.1.5:
Visual Mental Image Construction / 3.4.2:
The Enriched Representation / 3.4.2.1:
The Conversion Process / 3.4.2.2:
The Visual Buffer / 3.4.2.3:
The Visualization Process / 3.4.2.4:
Image Inspection / 3.4.3:
The Inspection Result / 3.4.3.1:
The Inspection Process / 3.4.3.2:
Visual Mental Image Construction in Detail / 4:
A More Demanding Scenario / 4.1:
Diagrammatic Representations of Lean Knowledge / 4.2:
Consequences for Image Construction / 4.3:
Relaxation of Spatial Constraints / 4.3.1:
Completion of Qualitative Spatial Relations / 4.3.2:
Interpretation of Qualitative Spatial Relations / 4.3.3:
Image Revision Strategies in MIRAGE / 4.4:
Unstable Images / 4.4.1:
Omission of Facts / 4.4.2:
Revision of Relational Completion / 4.4.3:
Variation of Relational Completion / 4.4.3.1:
Relaxation of Relational Completion / 4.4.3.2:
Revision of Image Specification / 4.4.4:
Depicting Qualitative Spatial Relations / 4.4.4.1:
Depicting Unspecified Spatial Relations / 4.4.4.2:
MIRAGE Implementation / 4.5:
Computational Tools for Modeling: SIMSIS / 5.1:
The Idea of SIMSIS / 5.1.1:
The Aspect Map Model / 5.1.1.1:
Modeling Aspect Maps in SIMSIS / 5.1.1.2:
Depictions, Scenarios, and Interpretations / 5.1.2:
SIMSIS Pictures / 5.1.2.1:
SIMSIS Facts and Scenarios / 5.1.2.2:
SIMSIS Interpretations and Meaning Systems / 5.1.2.3:
Realization of the Model / 5.2:
MIRAGE Structures / 5.2.1:
Entities, Relations, and Spatial Knowledge Fragments / 5.2.1.1:
The Long-Term Memory Representations / 5.2.1.2:
MIRAGE Processes / 5.2.1.3:
The Long-Term Memory Activation Processes / 5.2.2.1:
The Image Construction Processes / 5.2.2.2:
Operation and Behavior of MIRAGE / 5.2.2.3:
Conclusion and Outlook / 6:
Results and Discussion / 6.1:
Reflecting the Theses / 6.2.1:
Spatial Knowledge Construction / 6.2.1.1:
Underdeterminacy in Long-Term Memory / 6.2.1.2:
Fragmentation and Hierarchical Organization / 6.2.1.3:
Visual Mental Imagery / 6.2.1.4:
The Parameters of the Model / 6.2.2:
Explicit Parameters / 6.2.2.1:
Implicit Parameters / 6.2.2.2:
Conclusions / 6.2.3:
Future Work / 6.3:
Extending MIRAGE / 6.3.1:
Geographic Entities and Spatial Relations / 6.3.1.1:
Partially Aggregated Knowledge Structures / 6.3.1.2:
Mental Imagery Functionality / 6.3.1.3:
Parameters of MIRAGE / 6.3.1.4:
Empirical Investigations / 6.3.2:
Use of Default Knowledge / 6.3.2.1:
Control of Image Construction / 6.3.2.2:
Processing Capacity for Mental Images / 6.3.2.3:
Use of Chunking Facilities / 6.3.2.4:
Combination of Propositional and Image-Based Reasoning / 6.3.2.5:
Application Perspectives / 6.3.3:
Adequate Presentation of Visual Information / 6.3.3.1:
External Support of Reasoning in Mental Images / 6.3.3.2:
Bibliography
Index
Introduction / 1:
Mental Processing of Geographic Knowledge / 1.1:
Cognitive Maps / 1.1.1:
22.

電子ブック

EB
Thomas Barkowsky
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Mental Processing of Geographic Knowledge / 1.1:
Cognitive Maps / 1.1.1:
Mental Construction of Spatial Knowledge: An Example / 1.1.2:
Theses and Assumptions / 1.2:
Knowledge Construction and Human Memory / 1.2.1:
Characteristics of Geographic Knowledge / 1.2.2:
Spatial Knowledge Organization in Long-Term Memory / 1.2.3:
Visual Mental Images and Diagrammatic Reasoning / 1.2.4:
Research Questions and Goals / 1.3:
Research Questions / 1.3.1:
Goals / 1.3.2:
Approach: Experimental Computational Modeling / 1.4:
Computational Cognition / 1.4.1:
Building Computational Models / 1.4.2:
Modeling as Experimental Approach / 1.4.3:
Organization of this Thesis / 1.5:
State of the Art / 2:
Spatial Knowledge Conceptions: Cognitive Maps and Other Metaphors / 2.1:
Rubber Sheet Maps, Cognitive Atlases, Collages, and Geographic Information Systems / 2.1.1:
Spatial Mental Models / 2.1.3:
Other Conceptions / 2.1.4:
Human Memory / 2.2:
Working Memory / 2.2.1:
Long-Term Memory / 2.2.2:
Interacting Memory Systems in Mental Imagery / 2.2.3:
Mental Imagery / 2.3:
The Imagery Debate / 2.3.1:
Psychological and Neuroscientific Foundations / 2.3.2:
The Kosslyn Models / 2.3.3:
The 1980 Model / 2.3.3.1:
The 1994 Model / 2.3.3.2:
Spatial Reasoning / 2.4:
Topology / 2.4.1:
Orientation / 2.4.2:
Distance / 2.4.3:
Shape / 2.4.4:
Computational Geometry / 2.4.5:
Diagrammatic Reasoning / 2.5:
Propositional vs. Analogical Knowledge Representation / 2.5.1:
Types of Diagrammatic Reasoning Systems / 2.5.2:
Examples for Diagrammatic Reasoning Architectures / 2.5.3:
DEPIC-2D / 2.5.3.1:
WHISPER / 2.5.3.2:
Computational Imagery / 2.5.3.3:
Summary / 2.6:
MIRAGE - Developing the Model / 3:
Characteristics of the Model / 3.1:
Evaluating the Working Memory Representation / 3.1.1:
MIRAGE - Outline of the Model / 3.2:
Types of Entities and Spatial Relations in MIRAGE / 3.3:
Entities / 3.3.1:
Relations / 3.3.2:
Subsystems, Structures, and Processes / 3.4:
Long-Term Memory Activation / 3.4.1:
Spatial Knowledge Fragments / 3.4.1.1:
The Hierarchical Long-Term Memory Representation / 3.4.1.2:
The Access Process / 3.4.1.3:
The Activated Long-Term Memory Representation / 3.4.1.4:
The Construction Process / 3.4.1.5:
Visual Mental Image Construction / 3.4.2:
The Enriched Representation / 3.4.2.1:
The Conversion Process / 3.4.2.2:
The Visual Buffer / 3.4.2.3:
The Visualization Process / 3.4.2.4:
Image Inspection / 3.4.3:
The Inspection Result / 3.4.3.1:
The Inspection Process / 3.4.3.2:
Visual Mental Image Construction in Detail / 4:
A More Demanding Scenario / 4.1:
Diagrammatic Representations of Lean Knowledge / 4.2:
Consequences for Image Construction / 4.3:
Relaxation of Spatial Constraints / 4.3.1:
Completion of Qualitative Spatial Relations / 4.3.2:
Interpretation of Qualitative Spatial Relations / 4.3.3:
Image Revision Strategies in MIRAGE / 4.4:
Unstable Images / 4.4.1:
Omission of Facts / 4.4.2:
Revision of Relational Completion / 4.4.3:
Variation of Relational Completion / 4.4.3.1:
Relaxation of Relational Completion / 4.4.3.2:
Revision of Image Specification / 4.4.4:
Depicting Qualitative Spatial Relations / 4.4.4.1:
Depicting Unspecified Spatial Relations / 4.4.4.2:
MIRAGE Implementation / 4.5:
Computational Tools for Modeling: SIMSIS / 5.1:
The Idea of SIMSIS / 5.1.1:
The Aspect Map Model / 5.1.1.1:
Modeling Aspect Maps in SIMSIS / 5.1.1.2:
Depictions, Scenarios, and Interpretations / 5.1.2:
SIMSIS Pictures / 5.1.2.1:
SIMSIS Facts and Scenarios / 5.1.2.2:
SIMSIS Interpretations and Meaning Systems / 5.1.2.3:
Realization of the Model / 5.2:
MIRAGE Structures / 5.2.1:
Entities, Relations, and Spatial Knowledge Fragments / 5.2.1.1:
The Long-Term Memory Representations / 5.2.1.2:
MIRAGE Processes / 5.2.1.3:
The Long-Term Memory Activation Processes / 5.2.2.1:
The Image Construction Processes / 5.2.2.2:
Operation and Behavior of MIRAGE / 5.2.2.3:
Conclusion and Outlook / 6:
Results and Discussion / 6.1:
Reflecting the Theses / 6.2.1:
Spatial Knowledge Construction / 6.2.1.1:
Underdeterminacy in Long-Term Memory / 6.2.1.2:
Fragmentation and Hierarchical Organization / 6.2.1.3:
Visual Mental Imagery / 6.2.1.4:
The Parameters of the Model / 6.2.2:
Explicit Parameters / 6.2.2.1:
Implicit Parameters / 6.2.2.2:
Conclusions / 6.2.3:
Future Work / 6.3:
Extending MIRAGE / 6.3.1:
Geographic Entities and Spatial Relations / 6.3.1.1:
Partially Aggregated Knowledge Structures / 6.3.1.2:
Mental Imagery Functionality / 6.3.1.3:
Parameters of MIRAGE / 6.3.1.4:
Empirical Investigations / 6.3.2:
Use of Default Knowledge / 6.3.2.1:
Control of Image Construction / 6.3.2.2:
Processing Capacity for Mental Images / 6.3.2.3:
Use of Chunking Facilities / 6.3.2.4:
Combination of Propositional and Image-Based Reasoning / 6.3.2.5:
Application Perspectives / 6.3.3:
Adequate Presentation of Visual Information / 6.3.3.1:
External Support of Reasoning in Mental Images / 6.3.3.2:
Bibliography
Index
Introduction / 1:
Mental Processing of Geographic Knowledge / 1.1:
Cognitive Maps / 1.1.1:
23.

図書

図書
Robert Alicki and Mark Fannes
出版情報: Oxford : Oxford University Press, c2001  xiv, 278 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Basic tools for quantum mechanics / 2:
Hilbert spaces and operators / 2.1:
Vector spaces / 2.1.1:
Banach and Hilbert spaces / 2.1.2:
Geometrical properties of Hilbert spaces / 2.1.3:
Orthonormal bases / 2.1.4:
Subspaces and projectors / 2.1.5:
Linear maps between Banach spaces / 2.1.6:
Linear functionals and Dirac notation / 2.1.7:
Adjoints of bounded operators / 2.1.8:
Hermitian, unitary and normal operators / 2.1.9:
Partial isometries and polar decomposition / 2.1.10:
Spectra of operators / 2.1.11:
Unbounded operators / 2.1.12:
Measures / 2.2:
Measures and integration / 2.2.1:
Distributions / 2.2.2:
Hilbert spaces of functions / 2.2.3:
Spectral measures / 2.2.4:
Probability in quantum mechanics / 2.3:
Pure states / 2.3.1:
Mixed states, density matrices / 2.3.2:
Observables in quantum mechanics / 2.4:
Compact operators / 2.4.1:
Weyl quantization / 2.4.2:
Composed systems / 2.5:
Direct sums / 2.5.1:
Tensor products / 2.5.2:
Observables and states of composite systems / 2.5.3:
Notes / 2.6:
Deterministic dynamics / 3:
Deterministic quantum dynamics / 3.1:
Time-independent Hamiltonians / 3.1.1:
Perturbations of Hamiltonians / 3.1.2:
Time-dependent Hamiltonians / 3.1.3:
Periodic perturbations and Floquet operators / 3.1.4:
Kicked dynamics / 3.1.5:
Classical limits / 3.2:
Classical differentiable dynamics / 3.3:
Self-adjoint Laplacians on compact manifolds / 3.4:
Spin chains / 3.5:
Local observables / 4.1:
States of a spin system / 4.2:
Symmetries and dynamics / 4.3:
Algebraic tools / 5:
C*-algebras / 5.1:
Examples / 5.2:
States and representations / 5.3:
Dynamical systems and von Neumann algebras / 5.4:
Fermionic dynamical systems / 5.5:
Fermions in Fock space / 6.1:
Fock space / 6.1.1:
Creation and annihilation / 6.1.2:
Second quantization / 6.1.3:
The CAR-algebra / 6.2:
Canonical anticommutation relations / 6.2.1:
Quasi-free automorphisms / 6.2.2:
Quasi-free states / 6.2.3:
Ergodic theory / 6.3:
Ergodicity in classical systems / 7.1:
Ergodicity in quantum systems / 7.2:
Asymptotic Abelianness / 7.2.1:
Multitime correlations / 7.2.2:
Fluctuations around ergodic means / 7.2.3:
Lyapunov exponents / 7.3:
Classical dynamics / 7.3.1:
Quantum dynamics / 7.3.2:
Quantum irreversibility / 7.4:
Measurement theory / 8.1:
Open quantum systems / 8.2:
Complete positivity / 8.3:
Quantum dynamical semigroups / 8.4:
Quasi-free completely positive maps / 8.5:
Entropy / 8.6:
von Neumann entropy / 9.1:
Technical preliminaries / 9.1.1:
Properties of von Neumann's entropy / 9.1.2:
Mean entropy / 9.1.3:
Entropy of quasi-free states / 9.1.4:
Relative entropy / 9.2:
Finite-dimensional case / 9.2.1:
Maximum entropy principle / 9.2.2:
Algebraic setting / 9.2.3:
Dynamical entropy / 9.3:
Operational partitions / 10.1:
Symbolic dynamics / 10.2:
The entropy / 10.2.2:
Some technical results / 10.3:
The quantum shift / 10.4:
The free shift / 10.4.2:
Infinite entropy / 10.4.3:
Powers-Price shifts / 10.4.4:
Classical dynamical entropy / 10.5:
The Kolmogorov-Sinai invariant / 11.1:
H-density / 11.2:
Finite quantum systems / 12:
Quantum chaos / 12.1:
Time scales / 12.1.1:
Spectral statistics / 12.1.2:
Semi-classical limits / 12.1.3:
The kicked top / 12.2:
The model / 12.2.1:
The classical limit / 12.2.2:
Kicked mean-field Heisenberg model / 12.2.3:
Chaotic properties / 12.2.4:
Gram matrices / 12.3:
Entropy production / 12.4:
Model systems / 12.5:
Entropy of the quantum cat map / 13.1:
Ruelle's inequality / 13.2:
Non-commutative Riemannian structures / 13.2.1:
Non-commutative Lyapunov exponents / 13.2.2:
Quasi-free Fermion dynamics / 13.2.3:
Description of the model / 13.3.1:
Main result / 13.3.2:
Sketch of the proof / 13.3.3:
Epilogue / 13.4:
References
Index
Introduction / 1:
Basic tools for quantum mechanics / 2:
Hilbert spaces and operators / 2.1:
24.

図書

図書
Hans Bisswanger
出版情報: Weinheim : WILEY-VCH, c2008  xviii, 301 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface to the Second English Edition
Preface to the First English Edition
Symbols and Abbreviations
Introduction and Definitions
References
Multiple Equilibria / 1:
Diffusion / 1.1:
Interaction between Macromolecules and Ligands / 1.2:
Binding Constants / 1.2.1:
Macromolecules with One Binding Site / 1.2.2:
Macromolecules with Identical Independent Binding Sites / 1.3:
General Binding Equation / 1.3.1:
Graphic Representations of the Binding Equation / 1.3.2:
Direct and Linear Diagrams / 1.3.2.1:
Analysis of Binding Data from Spectroscopic Titrations / 1.3.2.2:
Binding of Different Ligands, Competition / 1.3.3:
Non-competitive Binding / 1.3.4:
Macromolecules with Non-identical, Independent Binding Sites / 1.4:
Macromolecules with Identical, Interacting Binding Sites, Cooperativity / 1.5:
The Hill Equation / 1.5.1:
The Adair Equation / 1.5.2:
The Pauling Model / 1.5.3:
Allosteric Enzymes / 1.5.4:
The Symmetry or Concerted Model / 1.5.5:
The Sequential Model and Negative Cooperativity / 1.5.6:
Analysis of Cooperativity / 1.5.7:
Physiological Aspects of Cooperativity / 1.5.8:
Examples of Allosteric Enzymes / 1.5.9:
Hemoglobin / 1.5.9.1:
Aspartate Transcarbamoylase / 1.5.9.2:
Aspartokinase / 1.5.9.3:
Phosphofructokinase / 1.5.9.4:
Allosteric Regulation of the Glycogen Metabolism / 1.5.9.5:
Membrane Bound Enzymes and Receptors / 1.5.9.6:
Non-identical, Interacting Binding Sites / 1.6:
Enzyme Kinetics / 2:
Reaction Order / 2.1:
First Order Reactions / 2.1.1:
Second Order Reactions / 2.1.2:
Zero Order Reactions / 2.1.3:
Steady-State Kinetics and the Michaelis-Menten Equation / 2.2:
Derivation of the Michaelis-Menten Equation / 2.2.1:
Analysis of Enzyme Kinetic Data / 2.3:
Graphical Representations of the Michaelis-Menten Equation / 2.3.1:
Direct and Semi-logarithmic Representations / 2.3.1.1:
Direct Linear Plots / 2.3.1.2:
Linearization Methods / 2.3.1.3:
Analysis of Progress Curves / 2.3.2:
Integrated Michaelis-Menten Equation / 2.3.2.1:
Determination of Reaction Rates / 2.3.2.2:
Graphic Methods for Rate Determination / 2.3.2.3:
Graphic Determination of True Initial Rates / 2.3.2.4:
Reversible Enzyme Reactions / 2.4:
Rate Equation for Reversible Enzyme Reactions / 2.4.1:
The Haldane Relationship / 2.4.2:
Product Inhibition / 2.4.3:
Enzyme Inhibition / 2.5:
Unspecific Enzyme Inhibition / 2.5.1:
Irreversible Enzyme Inhibition / 2.5.2:
General Features of Irreversible Enzyme Inhibition / 2.5.2.1:
Suicide Substrates / 2.5.2.2:
Transition State Analogs / 2.5.2.3:
Analysis of Irreversible Inhibitions / 2.5.2.4:
Reversible Enzyme Inhibition / 2.5.3:
General Rate Equation / 2.5.3.1:
Non-Competitive Inhibition and Graphic Representation of Inhibition Data / 2.5.3.2:
Competitive Inhibition / 2.5.3.3:
Uncompetitive Inhibition / 2.5.3.4:
Partially Non-competitive Inhibition / 2.5.3.5:
Partially Uncompetitive Inhibition / 2.5.3.6:
Partially Competitive Inhibition / 2.5.3.7:
Noncompetitive and Uncompetitive Product Inhibition / 2.5.3.8:
Substrate Inhibition / 2.5.3.9:
Enzyme Reactions with Two Competing Substrates / 2.5.4:
Different Enzymes Catalyzing the Same Reaction / 2.5.5:
Multi-substrate Reactions / 2.6:
Nomenclature / 2.6.1:
Random Mechanism / 2.6.2:
Ordered Mechanism / 2.6.3:
Ping-pong Mechanism / 2.6.4:
Product Inhibition in Multi-substrate Reactions / 2.6.5:
Haldane Relationships in Multi-substrate Reactions / 2.6.6:
Mechanisms with more than Two Substrates / 2.6.7:
Other Nomenclatures for Multi-substrate Reactions / 2.6.8:
Derivation of Rate Equations of Complex Enzyme Mechanisms / 2.7:
King-Altmann Method / 2.7.1:
Simplified Derivations Applying Graph Theory / 2.7.2:
Combination of Equilibrium and Steady State Approach / 2.7.3:
Kinetic Treatment of Allosteric Enzymes / 2.8:
Hysteretic Enzymes / 2.8.1:
Kinetic Cooperativity, the Slow Transition Model / 2.8.2:
pH and Temperature Dependence of Enzymes / 2.9:
pH Optimum and Determination of pK Values / 2.9.1:
pH Stability / 2.9.2:
Temperature Dependence / 2.9.3:
Isotope Exchange / 2.10:
Isotope Exchange Kinetics / 2.10.1:
Isotope Effects / 2.10.2:
Primary Kinetic Isotope Effect / 2.10.2.1:
Influence of the Kinetic Isotope Effect on V and Km / 2.10.2.2:
Other Isotope Effects / 2.10.2.3:
Special Enzyme Mechanisms / 2.11:
Ribozymes / 2.11.1:
Polymer Substrates / 2.11.2:
Kinetics of Immobilized Enzymes / 2.11.3:
External Diffusion Limitation / 2.11.3.1:
Internal Diffusion Limitation / 2.11.3.2:
Inhibition of Immobilized Enzymes / 2.11.3.3:
pH and Temperature Behavior of Immobilized Enzymes / 2.11.3.4:
Transport Processes / 2.11.4:
Enzyme Reactions at Membrane Interfaces / 2.11.5:
Application of Statistical Methods in Enzyme Kinetics / 2.12:
General Remarks / 2.12.1:
Statistical Terms Used in Enzyme Kinetics / 2.12.2:
Methods / 3:
Methods for Investigation of Multiple Equilibria / 3.1:
Equilibrium Dialysis and General Aspects of Binding Measurements / 3.1.1:
Equilibrium Dialysis / 3.1.1.1:
Control Experiments and Sources of Error / 3.1.1.2:
Continuous Equilibrium Dialysis / 3.1.1.3:
Ultrafiltration / 3.1.2:
Gel Filtration / 3.1.3:
Batch Method / 3.1.3.1:
The Method of Hummel and Dreyer / 3.1.3.2:
Other Gel Filtration Methods / 3.1.3.3:
Ultracentrifugation / 3.1.4:
Fixed Angle Ultracentrifugation Methods / 3.1.4.1:
Sucrose Gradient Centrifugation / 3.1.4.2:
Surface Plasmon Resonance / 3.1.5:
Electrochemical Methods / 3.2:
The Oxygen Electrode / 3.2.1:
The CO2 Electrode / 3.2.2:
Potentiometry, Redox Potentials / 3.2.3:
The pH-stat / 3.2.4:
Polarography / 3.2.5:
Calorimetry / 3.3:
Spectroscopic Methods / 3.4:
Absorption Spectroscopy / 3.4.1:
The Lambert-Beer Law / 3.4.1.1:
Spectral Properties of Enzymes and Ligands / 3.4.1.2:
Structure of Spectrophotometers / 3.4.1.3:
Double Beam Spectrophotometer / 3.4.1.4:
Difference Spectroscopy / 3.4.1.5:
The Dual Wavelength Spectrophotometer / 3.4.1.6:
Photochemical Action Spectra / 3.4.1.7:
Bioluminescence / 3.4.2:
Fluorescence / 3.4.3:
Quantum Yield / 3.4.3.1:
Structure of Spectrofluorimeters / 3.4.3.2:
Perturbations of Fluorescence Measurements / 3.4.3.3:
Fluorescent Compounds (Fluorophores) / 3.4.3.4:
Radiationless Energy Transfer / 3.4.3.5:
Fluorescence Polarization / 3.4.3.6:
Pulse Fluorimetry / 3.4.3.7:
Circular Dichroism and Optical Rotation Dispersion / 3.4.4:
Infrared and Raman Spectroscopy / 3.4.5:
IR Spectroscopy / 3.4.5.1:
Raman Spectroscopy / 3.4.5.2:
Applications / 3.4.5.3:
Electron Paramagnetic Resonance Spectroscopy / 3.4.6:
Measurement of Fast Reactions / 3.5:
Flow Methods / 3.5.1:
The Continuous Flow Method / 3.5.1.1:
The Stopped-flow Method / 3.5.1.2:
Measurement of Enzyme Reactions by Flow Methods / 3.5.1.3:
Determination of the Dead Time / 3.5.1.4:
Relaxation Methods / 3.5.2:
The Temperature Jump Method / 3.5.2.1:
The Pressure Jump Method / 3.5.2.2:
The Electric Field Method / 3.5.2.3:
Flash Photolysis, Pico- and Femto-second Spectroscopy / 3.5.3:
Evaluation of Rapid Kinetic Reactions (Transient Kinetics) / 3.5.4:
Subject Index
Preface to the Second English Edition
Preface to the First English Edition
Symbols and Abbreviations
25.

電子ブック

EB
Christian Rockenhäuser
出版情報: SpringerLink Books - AutoHoldings , Springer Fachmedien Wiesbaden, 2015
所蔵情報: loading…
26.

図書

図書
editors, Hisham Z. Massoud ... [et al.]
出版情報: Pennington, N.J. : Electrochemical Society, c2000  xiv, 539 p. ; 27 cm
シリーズ名: Proceedings / [Electrochemical Society] ; v. 2000-2
所蔵情報: loading…
27.

図書

図書
C. Daul ... [et al.] ; Hrsg., H. Fischer
出版情報: Berlin ; Tokyo : Springer, c1987  viii, 507 p. ; 28 cm
シリーズ名: Landolt-Börnstein Zahlenwerte und Funktionen aus Naturwissenschaften und Technik, Neue Serie / Gesamtherausgabe, K.-H. Hellwege ; Gruppe 2 . Atom- und Molekularphysik ; Bd. 17 . Magnetische Eigenschaften freier Radikale ; Teilbd. a
所蔵情報: loading…
目次情報: 続きを見る
Title Page
Preface
General introduction / H. Fischer
Inorganic radicals and radical ions / J.R. Morton ; K.F. Preston1:
Introduction / 1.1:
Tables / 1.2:
Muonium (m) / 1.2.1:
Helium-centered radicals / 1.2.2:
Lithium-centered radicals / 1.2.4:
Beryllium-centered radicals / 1.2.5:
Boron-centered radicals / 1.2.6:
Carbon-centered radicals / 1.2.7:
Nitrogen-centered radicals / 1.2.8:
Oxygen-centered radicals / 1.2.9:
Fluorine-centered radicals / 1.2.10:
Sodium-centered radicals / 1.2.11:
Magnesium-centered radicals / 1.2.12:
Aluminum-centered radicals / 1.2.13:
Silicon-centered radicals / 1.2.14:
Phosphorus-centered radicals / 1.2.15:
Sulfur-centered radicals / 1.2.16:
Chlorine-centered radicals / 1.2.17:
Potassium-centered radicals / 1.2.18:
Calcium-centered radicals / 1.2.19:
Scandium-centered radicals / 1.2.20:
Titanium-centered radicals / 1.2.21:
Vanadium-centered radicals / 1.2.22:
Chromium-centered radicals / 1.2.23:
Manganese-centered radicals / 1.2.24:
Iron-centered radicals / 1.2.25:
Cobalt-centered radicals / 1.2.26:
Nickel-centered radicals / 1.2.27:
Copper-centered radicals / 1.2.28:
Zinc-centered radicals / 1.2.29:
Gallium-centered radicals / 1.2.30:
Germanium-centered radicals / 1.2.31:
Arsenic-centered radicals / 1.2.32:
Selenium-centered radicals / 1.2.33:
Bromine-centered radicals / 1.2.34:
Rubidium-centered radicals / 1.2.35:
Strontium-centered radicals / 1.2.36:
Yttrium-centered radicals / 1.2.37:
Molybdenum-centered radicals / 1.2.38:
Ruthenium-centered radicals / 1.2.39:
Palladium-centered radicals / 1.2.40:
Silver-centered radicals / 1.2.41:
Cadmium-centered radicals / 1.2.42:
Indium-centered radicals / 1.2.43:
Tin-centered radicals / 1.2.44:
Antimony-centered radicals / 1.2.45:
Tellurium-centered radicals / 1.2.46:
Iodine-centered radicals / 1.2.47:
Xenon-centered radicals / 1.2.48:
Cesium-centered radicals / 1.2.49:
Barium-centered radicals / 1.2.50:
Ytterbium-centered radicals / 1.2.51:
Tungsten-centered radicals / 1.2.52:
Rhenium-centered radicals / 1.2.53:
Osmium-centered radicals / 1.2.54:
Platinum-centered radicals / 1.2.55:
Gold-centered radicals / 1.2.56:
Mercury-centered radicals / 1.2.57:
Thallium-centered radicals / 1.2.58:
Lead-centered radicals / 1.2.59:
Bismuth-centered radicals / 1.2.60:
Neptunium-centered radicals / 1.2.61:
References for 1.2 / 1.3:
Radicals in metal complexes / A. V.Zelewsky ; C. Daul ; C.W. Schlapfer2:
Complexes of group 1 (Li, Na, K, Rb, Cs) / 2.1:
Complexes of group 2 (Be, Mg, Ca, Sr, Ba) / 2.2.2:
Complexes of group 3d (Sc, Y, La) and 3f (U) / 2.2.3:
Complexes of group 4d (Ti) / 2.2.4:
Complexes of group 5d (V) / 2.2.5:
Complexes of group 6d (Cr, Mo, W) / 2.2.6:
Complexes of group 7d (Mn, Re) / 2.2.7:
Complexes of group 8d (Fe, Ru, Os) / 2.2.8:
Complexes of group 9d (Co, Rh) / 2.2.9:
Complexes of group 10d (Ni, Pd, Pt) / 2.2.10:
Complexes of group 11d (Cu, Ag, Au) / 2.2.11:
Complexes of group 12d (Zn, Cd, Hg) / 2.2.12:
Complexes of group 13 (Al, Ga, In, TI) / 2.2.13:
Complexes of group 14 (Ge, Sn, Pb) / 2.2.14:
Complexes of group 15 (Sb, Bi) / 2.2.15:
References for 2.1 and 2.2 / 2.3:
General symbols and abbreviations
Index of Substances (See Vol.17H)
Title Page
Preface
General introduction / H. Fischer
28.

図書

図書
A. Ehrenfeucht, T. Harju, G. Rozenberg
出版情報: Singapore : World Scientific, c1999  xvi, 290 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminaries / Chapter 1:
Notations / 1.1:
Sets and functions / 1.1.1:
Closure operators / 1.1.2:
Relations / 1.1.3:
Equivalence relations / 1.1.4:
Partial orders / 1.2:
Downsets / 1.2.1:
Order embeddings / 1.2.2:
Linear orders / 1.2.3:
Semigroups and groups / 1.3:
Notations for semigroups and monoids / 1.3.1:
Free monoids (with involution) / 1.3.2:
Preliminaries on groups / 1.3.3:
Group actions / 1.3.4:
Free groups, commutators and verbal identities / 1.3.5:
Graph Theoretical Preliminaries / Chapter 2:
Directed and Undirected Graphs / 2.1:
Basic notions / 2.1.1:
Connectivity of graphs / 2.1.2:
Some special graphs / 2.1.3:
Comparability graphs / 2.2:
Transitively oriented graphs / 2.2.1:
Permutation graphs and cographs / 2.2.2:
Construction trees of cographs / 2.2.3:
2-Structures and Their Clans / Chapter 3:
Introduction and representations / 3.1:
Definition of a 2-structure / 3.1.1:
Isomorphic 2-structures / 3.1.2:
Reversibility / 3.1.3:
Substructures and clans / 3.2:
Substructures, clans and factors / 3.2.1:
Refinements and similarity / 3.2.2:
Reversible version / 3.2.3:
Graphs and packed components / 3.2.4:
Some special 2-structures / 3.2.5:
Closure properties of clans / 3.3:
Basic closures / 3.3.1:
Sibas: set theoretic closure properties / 3.3.2:
Clans of factors / 3.3.3:
Prime clans / 3.4:
Prime members in sibas / 3.4.1:
Minimal overlapping clans / 3.4.2:
Quotients and Homomorphisms / Chapter 4:
Quotients / 4.1:
Factorizations and quotients / 4.1.1:
Homomorphisms / 4.1.2:
Natural epimorphisms and decompositions / 4.1.3:
Clans and epimorphisms / 4.2:
Homomorphism theorem / 4.2.1:
Prime clans in quotients / 4.2.2:
Primitive quotients / 4.2.3:
Other operations / 4.3:
Premorphisms / 4.3.1:
Extensions / 4.3.2:
Clan Decomposition / Chapter 5:
The clan decomposition theorem / 5.1:
Maximal prime clans / 5.1.1:
Special sibas and 2-structures / 5.1.2:
The relationship of sibas to 2-structures / 5.1.3:
The shape of a 2-structure / 5.2:
The shape and its representation as a tree / 5.2.1:
Same shapes / 5.2.2:
A construction of prime clans / 5.3:
A construction of clans / 5.3.1:
Primitive 2-Structures / 5.3.2:
Small primitive substructures / 6.1:
Uniformly imprimitive 2-structures / 6.1.1:
Primitive substructures of 3 or 4 nodes / 6.1.2:
Hereditary properties / 6.2:
Local and global nodes / 6.2.1:
Critically primitive 2-structures / 6.2.2:
The parity theorem / 6.3.1:
The list of critically primitive 2-structures / 6.3.2:
Angular 2-Structures / Chapter 7:
Angularity / 7.1:
All-connectivity / 7.1.1:
All-connected skew angular 2-structures / 7.1.2:
T-structures / 7.2:
T-structures and partial orders / 7.2.1:
T[subscript 2]-structures / 7.2.2:
Linear orders and Schroder numbers / 7.3:
Bi-orders and linear orders / 7.3.1:
Uniformly imprimitive linear orders / 7.3.2:
Parenthesis words and Schroder numbers / 7.3.3:
Labelled 2-Structures / Chapter 8:
Introduction to l2-structures / 8.1:
Definitions / 8.1.1:
Substructures, clans and quotients / 8.1.2:
Clan decomposition of l2-structures / 8.2:
Uniqueness of decompositions / 8.2.1:
The shape of an l2-structure / 8.2.2:
Graphs and their representations / 8.2.3:
Graphs as l2-structures / 8.3.1:
On comparability graphs / 8.3.2:
Unstable Labelled 2-Structures / Chapter 9:
Triangle free and unstable l2-structures / 9.1:
Removable edges / 9.1.1:
Internal and external nodes / 9.1.2:
Triangle-free l2-structures / 9.1.3:
Heredity in unstable l2-structures / 9.2:
The partition of nodes / 9.2.1:
Alternating structures / 9.2.2:
Degrees of nodes / 9.2.3:
A composition of unstable l2-structures / 9.3:
A constructive reduction of primitive l2-structures / 9.3.1:
Pendant components / 9.3.2:
Automorphisms of Labelled 2-Structures / Chapter 10:
Label preserving automorphisms / 10.1:
The l-automorphism groups / 10.1.1:
Transitivity / 10.1.2:
Automorphic actions on factors / 10.1.3:
Universality of l-automorphism groups / 10.1.4:
Nonpreserving automorphisms / 10.2:
Connections to l-automorphisms / 10.2.1:
Transitivity and associated permutations / 10.2.2:
Representing labels by automorphisms / 10.2.3:
Switching of Graphs / Chapter 11:
Introduction to switching / 11.1:
The group of graphs / 11.1.1:
Switching classes / 11.1.3:
Structural properties of switching classes / 11.2:
A local characterization / 11.2.1:
Automorphisms / 11.2.2:
Special problems on undirected graphs / 11.3:
Two-graphs / 11.3.1:
Eulerian graphs / 11.3.2:
Pancyclic graphs / 11.3.3:
Trees / 11.3.4:
Labelled Structures over Groups / Chapter 12:
Introduction / 12.1:
Groups and involutions / 12.1.1:
Selectors and switching classes / 12.1.2:
An interpretation in networks / 12.2:
Concurrent behaviour in networks / 12.2.1:
Reducing the actions to groups / 12.2.2:
Introducing reversibility / 12.2.3:
Examples for some special groups / 12.3:
The cyclic groups Z[subscript 3] and Z[subscript 4] / 12.3.1:
The symmetric group S[subscript 3] / 12.3.2:
Clans of Switching Classes / Chapter 13:
Associated groups / 13.1:
The group of selectors / 13.1.1:
The group of abelian switching classes / 13.1.2:
Clans and horizons / 13.2:
Spanning trees / 13.2.1:
Horizons and constant selectors / 13.2.2:
Clans / 13.2.3:
Cardinalities of switching classes / 13.3:
Some special cases / 13.3.1:
Centralizers / 13.3.2:
Some improvements / 13.3.3:
Quotients and Plane Trees / Chapter 14:
Quotients of switching classes / 14.1:
Planes and plane trees / 14.1.1:
Planes / 14.2.1:
Plane trees / 14.2.2:
Bijective correspondence of plane trees / 14.2.3:
Forms / 14.2.4:
Invariants / Chapter 15:
Free invariants / 15.1:
General invariants / 15.1.1:
Edge monoids / 15.1.2:
Variable functions and free invariants / 15.1.3:
Group properties of free invariants / 15.2:
Abelian property / 15.2.1:
Graphs of words / 15.2.2:
Verbal identities / 15.2.3:
Invariants on abelian groups / 15.3:
Independency of free invariants / 15.3.1:
Complete sets of invariants / 15.3.2:
Invariants on nonabelian groups / 15.4:
General observations / 15.4.1:
Central characters / 15.4.2:
A characterization theorem / 15.4.3:
Bibliography
Index
Preface
Preliminaries / Chapter 1:
Notations / 1.1:
29.

学位論文

学位
Jin-Ho Lee
出版情報: 東京工業大学, 1997
所蔵情報: loading…
30.

電子ブック

EB
Abhishek Singh., Abhishek Singh, Baibhav Singh
出版情報: Springer eBooks Computer Science , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Assembly Language
Introduction / 1.0:
Registers / 1.1:
General Purpose Register / 1.1.1:
FLAGS Register / 1.1.2:
80x86 Instruction Format / 1.2:
Instruction Prefix / 1.2.1:
Lock and Repeat Prefixes / 1.2.2:
Segment Override Prefixes / 1.2.3:
Opcode / 1.2.4:
Instructions / 1.3:
Basic Instructions / 1.3.1:
Floating Point Instruction / 1.3.2:
Stack Setup / 1.4:
Passing Parameters in C to the Procedure / 1.4.1:
Local Data Space on the Stack / 1.4.2:
Calling Conventions / 1.5:
cdecl calling convention / 1.5.1:
fastcall calling convention / 1.5.2:
stdcall calling convention / 1.5.3:
thiscall / 1.5.4:
Data Constructs / 1.6:
Global Variables / 1.6.1:
Local Variables / 1.6.2:
Imported Variables / 1.6.3:
Thread Local Storage (TLS) / 1.6.5:
Executable Data Section / 1.6.6:
Representation of Arithmetic Operations in Assembly / 1.7:
Multiplication / 1.7.1:
Division / 1.7.2:
Modulo / 1.7.3:
Representation of Data Structure in Assembly / 1.8:
Representation of Array in Assembly / 1.8.1:
Representation of Linked List in Assembly / 1.8.2:
Virtual Function Call in Assembly / 1.9:
Representation of classes in Assembly / 1.9.1:
Conclusion / 1.10:
Fundamental of Windows
Memory Management / 2.0:
Virtual Memory Management / 2.1.1:
Virtual Memory Management in Windows NT / 2.1.1.1:
Impact of Hooking / 2.1.1.2:
Segmented Memory Management / 2.1.2:
Paged Memory Management / 2.1.3:
Kernel Memory and User Memory / 2.2:
Kernel Memory Space / 2.2.1:
Section Object / 2.2.2:
Virtual Address Descriptor / 2.3:
User Mode Address Space / 2.3.1:
Memory Management in Windows / 2.3.2:
Objects and Handles / 2.3.3:
Named Objects / 2.3.4:
Processes and Threads / 2.4:
Context Switching / 2.4.1:
Context Switches and Mode Switches / 2.4.1.1:
Synchronization Objects / 2.4.2:
Critical Section / 2.4.2.1:
Mutex / 2.4.2.2:
Semaphore / 2.4.2.3:
Event / 2.4.2.4:
Metered Section / 2.4.2.5:
Process Initialization Sequence / 2.5:
Application Programming Interface / 2.5.1:
Reversing Windows NT / 2.6:
ExpEchoPoolCalls / 2.6.1:
ObpShowAllocAndFree / 2.6.2:
LpcpTraceMessages / 2.6.3:
MmDebug / 2.6.4:
NtGlobalFlag / 2.6.5:
SepDumpSD / 2.6.6:
CmLogLevel and CmLogSelect / 2.6.7:
Security Features in Vista / 2.7:
Address Space Layout Randomization (ASLR) / 2.7.1:
Stack Randomization / 2.7.2:
Heap Defenses / 2.7.3:
NX / 2.7.4:
/GS / 2.7.5:
Pointer Encoding / 2.7.6:
Cryptographic API in Windows Vista / 2.7.7:
Crypto-Agility / 2.7.8:
CryptoAgility in CNG / 2.7.9:
Algorithm Providers / 2.7.10:
Random Number Generator / 2.7.11:
Hash Functions / 2.7.12:
Symmetric Encryption / 2.7.13:
Asymmetric Encryption / 2.7.14:
Signatures and Verification / 2.7.15:
Portable Executable File Format / 2.8:
PE file Format / 3.0:
Import Address Table / 3.2:
Executable and Linking Format / 3.3:
ELF Header / 3.3.1:
The Program Header Table / 3.3.2:
Reversing Binaries for Identifying Vulnerabilities / 3.4:
Stack Overflow / 4.0:
CAN-2002-1123 Microsoft SQL Server 'Hello' Authentication Buffer Overflow" / 4.1.1:
CAN-2004-0399 Exim Buffer Overflow / 4.1.2:
Stack Checking / 4.1.3:
Off-by-One Overflow / 4.2:
OpenBSD 2.7 FTP Daemon Off-by-One / 4.2.1:
Non-Executable Memory / 4.2.3:
Heap Overflows / 4.3:
Heap Based Overflows / 4.3.1:
Integer Overflows / 4.4:
Types Integer Overflow / 4.4.1:
CAN-2004-0417 CVS Max dotdot Protocol Command Integer Overflow / 4.4.2:
Format String / 4.5:
Format String Vulnerability / 4.5.1:
Format String Denial of Service Attack / 4.5.2:
Format String Vulnerability Reading Attack / 4.5.3:
SEH Structure Exception Handler / 4.6:
Exploiting the SEH / 4.6.1:
Writing Exploits General Concepts / 4.7:
Stack Overflow Exploits / 4.7.1:
Injection Techniques / 4.7.2:
Optimizing the Injection Vector / 4.7.3:
The Location of the Payload / 4.8:
Direct Jump (Guessing Offsets) / 4.8.1:
Blind Return / 4.8.2:
Pop Return / 4.8.3:
No Operation Sled / 4.8.4:
Call Register / 4.8.5:
Push Return / 4.8.6:
Calculating Offset / 4.8.7:
Fundamental of Reverse Engineering / 4.9:
Anti-Reversing Method / 5.0:
Anti Disassembly / 5.2.1:
Linear Sweep Disassembler / 5.2.1.1:
Recursive Traversal Disassembler / 5.2.1.2:
Evasion of Disassemble / 5.2.1.3:
Self Modifying Code / 5.2.2:
Virtual Machine Obfuscation / 5.2.3:
Anti Debugging Techniques / 5.3:
BreakPoints / 5.3.1:
Software Breakpoint / 5.3.1.1:
Hardware Breakpoint / 5.3.1.2:
Detecting Hardware BreakPoint / 5.3.1.3:
Virtual Machine Detection / 5.4:
Checking Fingerprint Inside Memory, File System and Registry / 5.4.1:
Checking System Tables / 5.4.2:
Checking Processor Instruction Set / 5.4.3:
Unpacking / 5.5:
Manual Unpacking of Software / 5.5.1:
Finding an Original Entry Point of an Executable / 5.5.1.1:
Taking Memory Dump / 5.5.1.2:
Import Table Reconstruction / 5.5.1.3:
Import Redirection and Code emulation / 5.5.1.4:
Appendix / 5.6:
Index
Assembly Language
Introduction / 1.0:
Registers / 1.1:
31.

電子ブック

EB
Abhishek Singh., Abhishek Singh, Baibhav Singh
出版情報: SpringerLink Books - AutoHoldings , Springer US, 2009
所蔵情報: loading…
目次情報: 続きを見る
Assembly Language
Introduction / 1.0:
Registers / 1.1:
General Purpose Register / 1.1.1:
FLAGS Register / 1.1.2:
80x86 Instruction Format / 1.2:
Instruction Prefix / 1.2.1:
Lock and Repeat Prefixes / 1.2.2:
Segment Override Prefixes / 1.2.3:
Opcode / 1.2.4:
Instructions / 1.3:
Basic Instructions / 1.3.1:
Floating Point Instruction / 1.3.2:
Stack Setup / 1.4:
Passing Parameters in C to the Procedure / 1.4.1:
Local Data Space on the Stack / 1.4.2:
Calling Conventions / 1.5:
cdecl calling convention / 1.5.1:
fastcall calling convention / 1.5.2:
stdcall calling convention / 1.5.3:
thiscall / 1.5.4:
Data Constructs / 1.6:
Global Variables / 1.6.1:
Local Variables / 1.6.2:
Imported Variables / 1.6.3:
Thread Local Storage (TLS) / 1.6.5:
Executable Data Section / 1.6.6:
Representation of Arithmetic Operations in Assembly / 1.7:
Multiplication / 1.7.1:
Division / 1.7.2:
Modulo / 1.7.3:
Representation of Data Structure in Assembly / 1.8:
Representation of Array in Assembly / 1.8.1:
Representation of Linked List in Assembly / 1.8.2:
Virtual Function Call in Assembly / 1.9:
Representation of classes in Assembly / 1.9.1:
Conclusion / 1.10:
Fundamental of Windows
Memory Management / 2.0:
Virtual Memory Management / 2.1.1:
Virtual Memory Management in Windows NT / 2.1.1.1:
Impact of Hooking / 2.1.1.2:
Segmented Memory Management / 2.1.2:
Paged Memory Management / 2.1.3:
Kernel Memory and User Memory / 2.2:
Kernel Memory Space / 2.2.1:
Section Object / 2.2.2:
Virtual Address Descriptor / 2.3:
User Mode Address Space / 2.3.1:
Memory Management in Windows / 2.3.2:
Objects and Handles / 2.3.3:
Named Objects / 2.3.4:
Processes and Threads / 2.4:
Context Switching / 2.4.1:
Context Switches and Mode Switches / 2.4.1.1:
Synchronization Objects / 2.4.2:
Critical Section / 2.4.2.1:
Mutex / 2.4.2.2:
Semaphore / 2.4.2.3:
Event / 2.4.2.4:
Metered Section / 2.4.2.5:
Process Initialization Sequence / 2.5:
Application Programming Interface / 2.5.1:
Reversing Windows NT / 2.6:
ExpEchoPoolCalls / 2.6.1:
ObpShowAllocAndFree / 2.6.2:
LpcpTraceMessages / 2.6.3:
MmDebug / 2.6.4:
NtGlobalFlag / 2.6.5:
SepDumpSD / 2.6.6:
CmLogLevel and CmLogSelect / 2.6.7:
Security Features in Vista / 2.7:
Address Space Layout Randomization (ASLR) / 2.7.1:
Stack Randomization / 2.7.2:
Heap Defenses / 2.7.3:
NX / 2.7.4:
/GS / 2.7.5:
Pointer Encoding / 2.7.6:
Cryptographic API in Windows Vista / 2.7.7:
Crypto-Agility / 2.7.8:
CryptoAgility in CNG / 2.7.9:
Algorithm Providers / 2.7.10:
Random Number Generator / 2.7.11:
Hash Functions / 2.7.12:
Symmetric Encryption / 2.7.13:
Asymmetric Encryption / 2.7.14:
Signatures and Verification / 2.7.15:
Portable Executable File Format / 2.8:
PE file Format / 3.0:
Import Address Table / 3.2:
Executable and Linking Format / 3.3:
ELF Header / 3.3.1:
The Program Header Table / 3.3.2:
Reversing Binaries for Identifying Vulnerabilities / 3.4:
Stack Overflow / 4.0:
CAN-2002-1123 Microsoft SQL Server 'Hello' Authentication Buffer Overflow" / 4.1.1:
CAN-2004-0399 Exim Buffer Overflow / 4.1.2:
Stack Checking / 4.1.3:
Off-by-One Overflow / 4.2:
OpenBSD 2.7 FTP Daemon Off-by-One / 4.2.1:
Non-Executable Memory / 4.2.3:
Heap Overflows / 4.3:
Heap Based Overflows / 4.3.1:
Integer Overflows / 4.4:
Types Integer Overflow / 4.4.1:
CAN-2004-0417 CVS Max dotdot Protocol Command Integer Overflow / 4.4.2:
Format String / 4.5:
Format String Vulnerability / 4.5.1:
Format String Denial of Service Attack / 4.5.2:
Format String Vulnerability Reading Attack / 4.5.3:
SEH Structure Exception Handler / 4.6:
Exploiting the SEH / 4.6.1:
Writing Exploits General Concepts / 4.7:
Stack Overflow Exploits / 4.7.1:
Injection Techniques / 4.7.2:
Optimizing the Injection Vector / 4.7.3:
The Location of the Payload / 4.8:
Direct Jump (Guessing Offsets) / 4.8.1:
Blind Return / 4.8.2:
Pop Return / 4.8.3:
No Operation Sled / 4.8.4:
Call Register / 4.8.5:
Push Return / 4.8.6:
Calculating Offset / 4.8.7:
Fundamental of Reverse Engineering / 4.9:
Anti-Reversing Method / 5.0:
Anti Disassembly / 5.2.1:
Linear Sweep Disassembler / 5.2.1.1:
Recursive Traversal Disassembler / 5.2.1.2:
Evasion of Disassemble / 5.2.1.3:
Self Modifying Code / 5.2.2:
Virtual Machine Obfuscation / 5.2.3:
Anti Debugging Techniques / 5.3:
BreakPoints / 5.3.1:
Software Breakpoint / 5.3.1.1:
Hardware Breakpoint / 5.3.1.2:
Detecting Hardware BreakPoint / 5.3.1.3:
Virtual Machine Detection / 5.4:
Checking Fingerprint Inside Memory, File System and Registry / 5.4.1:
Checking System Tables / 5.4.2:
Checking Processor Instruction Set / 5.4.3:
Unpacking / 5.5:
Manual Unpacking of Software / 5.5.1:
Finding an Original Entry Point of an Executable / 5.5.1.1:
Taking Memory Dump / 5.5.1.2:
Import Table Reconstruction / 5.5.1.3:
Import Redirection and Code emulation / 5.5.1.4:
Appendix / 5.6:
Index
Assembly Language
Introduction / 1.0:
Registers / 1.1:
32.

電子ブック

EB
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:
33.

電子ブック

EB
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:
34.

電子ブック

EB
Joakim Nivre
出版情報: SpringerLink Books - AutoHoldings , Springer Netherlands, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Inductive Dependency Parsing / 1.1:
The Need for Robust Disambiguation / 1.2:
Outline of the Book / 1.3:
Natural Language Parsing / 2:
Syntactic Representations / 2.1:
Two Notions of Parsing / 2.2:
Grammar Parsing / 2.2.1:
Text Parsing / 2.2.2:
Competence and Performance / 2.2.3:
Methods for Text Parsing / 2.3:
Grammar-Driven Text Parsing / 2.3.1:
Data-Driven Text Parsing / 2.3.2:
Converging Approaches / 2.3.3:
Evaluation Criteria / 2.3.4:
Robustness / 2.4.1:
Disambiguation / 2.4.2:
Accuracy / 2.4.3:
Efficiency / 2.4.4:
Dependency Parsing / 3:
Dependency Grammar / 3.1:
The Notion of Dependency / 3.1.1:
Varieties of Dependency Grammar / 3.1.2:
Parsing with Dependency Representations / 3.2:
Grammar-Driven Dependency Parsing / 3.2.1:
Data-Driven Dependency Parsing / 3.2.2:
The Case for Dependency Parsing / 3.2.3:
A Framework for Dependency Parsing / 3.3:
Texts, Sentences and Tokens / 3.3.1:
Dependency Graphs / 3.3.2:
Parsing Algorithm / 3.3.3:
Configurations / 3.4.1:
Transitions / 3.4.2:
Deterministic Parsing / 3.4.3:
Algorithm Analysis / 3.4.4:
Evaluation Criteria Revisited / 3.4.5:
A Framework for Inductive Dependency Parsing / 4:
Inductive Inference / 4.1.1:
History-Based Models / 4.1.3:
Parsing Methods / 4.1.4:
Learning Methods / 4.1.5:
Oracle Parsing / 4.1.6:
Features and Models / 4.2:
Feature Functions / 4.2.1:
Static Features / 4.2.2:
Dynamic Features / 4.2.3:
Feature Models / 4.2.4:
Memory-Based Learning / 4.3:
Memory-Based Learning and Classification / 4.3.1:
Learning Algorithm Parameters / 4.3.2:
Memory-Based Language Processing / 4.3.3:
MaltParser / 4.4:
Architecture / 4.4.1:
Implementation / 4.4.2:
Treebank Parsing / 5:
Treebanks and Parsing / 5.1:
Treebank Evaluation / 5.1.1:
Treebank Learning / 5.1.2:
Treebanks for Dependency Parsing / 5.1.3:
Experimental Methodology / 5.2:
Treebank Data / 5.2.1:
Models and Algorithms / 5.2.2:
Evaluation / 5.2.3:
Feature Model Parameters / 5.3:
Part-of-Speech Context / 5.3.1:
Dependency Structure / 5.3.2:
Lexicalization / 5.3.3:
Learning Curves / 5.3.4:
Neighbor Space and Distance Metric / 5.4:
Weighting Schemes / 5.4.2:
Final Evaluation / 5.5:
Accuracy and Efficiency / 5.5.1:
Related Work / 5.5.2:
Error Analysis / 5.5.3:
Conclusion / 6:
Main Contributions / 6.1:
Future Directions / 6.2:
References
Index
Introduction / 1:
Inductive Dependency Parsing / 1.1:
The Need for Robust Disambiguation / 1.2:
35.

電子ブック

EB
Jin Zhang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
Scientific visualization and information visualization / 1.1.2:
Information retrieval / 1.2:
Browsing vs. query searching / 1.2.1:
Information at micro-level and macro-level / 1.2.2:
Spatial Characteristics of information space / 1.2.3:
Spatial characteristics of browsing / 1.2.4:
Perceptual and cognitive perspectives of visualization / 1.3:
Perceptual perspective / 1.3.1:
Cognitive perspective / 1.3.2:
Visualization for information retrieval / 1.4:
Rationale / 1.4.1:
Three information retrieval visualization paradigms / 1.4.2:
Procedures of establishing an information retrieval visualization model / 1.4.3:
Summary / 1.5:
Information Retrieval Preliminaries / Chapter 2:
Vector space model / 2.1:
Term weighting methods / 2.2:
Stop words / 2.2.1:
Inverse document frequency / 2.2.2:
The Salton term weighting method / 2.2.3:
Another term weighting method / 2.2.4:
Probability term weighting method / 2.2.5:
Similarity measures / 2.3:
Inner product similarity measure / 2.3.1:
Dice co-efficient similarity measure / 2.3.2:
The Jaccard co-efficient similarity measure / 2.3.3:
Overlap co-efficient similarity measure / 2.3.4:
Cosine similarity measure / 2.3.5:
Distance similarity measure / 2.3.6:
Angle-distance integrated similarity measure / 2.3.7:
The Pearson r correlation measure / 2.3.8:
Information retrieval (evaluation) models / 2.4:
Direction-based retrieval (evaluation) model / 2.4.1:
Distance-based retrieval (evaluation) model / 2.4.2:
Ellipse retrieval (evaluation) model / 2.4.3:
Conjunction retrieval (evaluation) model / 2.4.4:
Disjunction evaluation model / 2.4.5:
The Cassini oval retrieval (evaluation) model / 2.4.6:
Clustering algorithms / 2.5:
Non-hierarchical clustering algorithm / 2.5.1:
Hierarchical clustering algorithm / 2.5.2:
Evaluation of retrieval results / 2.6:
Visualization Models for Multiple Reference Points / 2.7:
Multiple references points / 3.1:
Model for fixed multiple reference points / 3.2:
Models for movable multiple reference points / 3.3:
Description of the original VIBE algorithm / 3.3.1:
Discussions about the model / 3.3.2:
Model for automatic reference point rotation / 3.4:
Definition of the visual space / 3.4.1:
Rotation of a reference point / 3.4.2:
Implication of information retrieval / 3.5:
Euclidean Spatial Characteristic Based Visualization Models / 3.6:
Euclidean space and its characteristics / 4.1:
Introduction to the information retrieval evaluation models / 4.2:
The distance-angel-based visualization model / 4.3:
The visual space definition / 4.3.1:
Visualization for information retrieval evaluation models / 4.3.2:
The angle-angle-based visualization model / 4.4:
The distance-distance-based visualization model / 4.4.1:
Kohonen Self-Organizing Map-An Artificial Neural Network / 4.5.1:
Introduction to neural networks / 5.1:
Definition of neural network / 5.1.1:
Characteristics and structures of neuron network / 5.1.2:
Kohonen self-organizing maps / 5.2:
Kohonen self-organizing map structures / 5.2.1:
Learning processing of the SOM algorithm / 5.2.2:
Feature map labeling / 5.2.3:
The SOM algorithm description / 5.2.4:
Implication of the SOM in information retrieval / 5.3:
Pathfinder Associative Network / 5.4:
Pathfinder associative network properties and descriptions / 6.1:
Definitions of concepts and explanations / 6.1.1:
The algorithm description / 6.1.2:
Graph layout method / 6.1.3:
Implications on information retrieval / 6.2:
Author co-citation analysis / 6.2.1:
Term associative network / 6.2.2:
Hyperlink / 6.2.3:
Search in Pathfinder associative networks / 6.2.4:
Multidimensional Scaling / 6.3:
MDS analysis method descriptions / 7.1:
Classical MDS / 7.1.1:
Non-metric MDS / 7.1.2:
Metric MDS / 7.1.3:
Implications of MDS techniques for information retrieval / 7.2:
Definitions of displayed objects and proximity between objects / 7.2.1:
Exploration in a MDS display space / 7.2.2:
Discussion / 7.2.3:
Internet Information Visualization / 7.3:
Introduction / 8.1:
Internet characteristics / 8.1.1:
Internet information organization and presentation methods / 8.1.2:
Internet information utilization / 8.1.3:
Challenges of the internet / 8.1.4:
Internet information visualization / 8.2:
Visualization of internet information structure / 8.2.1:
Internet information seeking visualization / 8.2.2:
Visualization of web traffic information / 8.2.3:
Discussion history visualization / 8.2.4:
Ambiguity in Information Visualization / 8.3:
Ambiguity and its implication in information visualization / 9.1:
Reason of ambiguity in information visualization / 9.1.1:
Implication of ambiguity for information visualization / 9.1.2:
Ambiguity analysis in information retrieval visualization models / 9.2:
Ambiguity in the Euclidean spatial characteristic based information models / 9.2.1:
Ambiguity in the multiple reference point based information visualization models / 9.2.2:
Ambiguity in the Pathfinder network / 9.2.3:
Ambiguity in SOM / 9.2.4:
Ambiguity in MDS / 9.2.5:
The Implication of Metaphors in Information Visualization / 9.3:
Definition, basic elements, and characteristics of a metaphor / 10.1:
Cognitive foundation of metaphors / 10.2:
Mental models, metaphors, and human computer interaction / 10.3:
Metaphors in human computer interaction / 10.3.1:
Mental models / 10.3.2:
Mental models in HCI / 10.3.3:
Metaphors in information visualization retrieval / 10.4:
Rationales for using metaphors / 10.4.1:
Metaphorical information retrieval visualization environments / 10.4.2:
Procedures and principles for metaphor application / 10.5:
Procedure for metaphor application / 10.5.1:
Guides for designing a good metaphorical visual information retrieval environment / 10.5.2:
Benchmarks and Evaluation Criteria for Information Retrieval Visualization / 10.6:
Information retrieval visualization evaluation / 11.1:
Benchmarks and evaluation standards / 11.2:
Factors affecting evaluation standards / 11.2.1:
Principles for developing evaluation benchmarks / 11.2.2:
Four proposed categories for evaluation criteria / 11.2.3:
Descriptions of proposed benchmarks / 11.2.4:
Afterthoughts / 11.3:
Comparisons of the introduced visualization models / 12.1:
Issues and challenges / 12.3:
Bibliography / 12.4:
Index
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
36.

電子ブック

EB
Jin Zhang
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
Scientific visualization and information visualization / 1.1.2:
Information retrieval / 1.2:
Browsing vs. query searching / 1.2.1:
Information at micro-level and macro-level / 1.2.2:
Spatial Characteristics of information space / 1.2.3:
Spatial characteristics of browsing / 1.2.4:
Perceptual and cognitive perspectives of visualization / 1.3:
Perceptual perspective / 1.3.1:
Cognitive perspective / 1.3.2:
Visualization for information retrieval / 1.4:
Rationale / 1.4.1:
Three information retrieval visualization paradigms / 1.4.2:
Procedures of establishing an information retrieval visualization model / 1.4.3:
Summary / 1.5:
Information Retrieval Preliminaries / Chapter 2:
Vector space model / 2.1:
Term weighting methods / 2.2:
Stop words / 2.2.1:
Inverse document frequency / 2.2.2:
The Salton term weighting method / 2.2.3:
Another term weighting method / 2.2.4:
Probability term weighting method / 2.2.5:
Similarity measures / 2.3:
Inner product similarity measure / 2.3.1:
Dice co-efficient similarity measure / 2.3.2:
The Jaccard co-efficient similarity measure / 2.3.3:
Overlap co-efficient similarity measure / 2.3.4:
Cosine similarity measure / 2.3.5:
Distance similarity measure / 2.3.6:
Angle-distance integrated similarity measure / 2.3.7:
The Pearson r correlation measure / 2.3.8:
Information retrieval (evaluation) models / 2.4:
Direction-based retrieval (evaluation) model / 2.4.1:
Distance-based retrieval (evaluation) model / 2.4.2:
Ellipse retrieval (evaluation) model / 2.4.3:
Conjunction retrieval (evaluation) model / 2.4.4:
Disjunction evaluation model / 2.4.5:
The Cassini oval retrieval (evaluation) model / 2.4.6:
Clustering algorithms / 2.5:
Non-hierarchical clustering algorithm / 2.5.1:
Hierarchical clustering algorithm / 2.5.2:
Evaluation of retrieval results / 2.6:
Visualization Models for Multiple Reference Points / 2.7:
Multiple references points / 3.1:
Model for fixed multiple reference points / 3.2:
Models for movable multiple reference points / 3.3:
Description of the original VIBE algorithm / 3.3.1:
Discussions about the model / 3.3.2:
Model for automatic reference point rotation / 3.4:
Definition of the visual space / 3.4.1:
Rotation of a reference point / 3.4.2:
Implication of information retrieval / 3.5:
Euclidean Spatial Characteristic Based Visualization Models / 3.6:
Euclidean space and its characteristics / 4.1:
Introduction to the information retrieval evaluation models / 4.2:
The distance-angel-based visualization model / 4.3:
The visual space definition / 4.3.1:
Visualization for information retrieval evaluation models / 4.3.2:
The angle-angle-based visualization model / 4.4:
The distance-distance-based visualization model / 4.4.1:
Kohonen Self-Organizing Map-An Artificial Neural Network / 4.5.1:
Introduction to neural networks / 5.1:
Definition of neural network / 5.1.1:
Characteristics and structures of neuron network / 5.1.2:
Kohonen self-organizing maps / 5.2:
Kohonen self-organizing map structures / 5.2.1:
Learning processing of the SOM algorithm / 5.2.2:
Feature map labeling / 5.2.3:
The SOM algorithm description / 5.2.4:
Implication of the SOM in information retrieval / 5.3:
Pathfinder Associative Network / 5.4:
Pathfinder associative network properties and descriptions / 6.1:
Definitions of concepts and explanations / 6.1.1:
The algorithm description / 6.1.2:
Graph layout method / 6.1.3:
Implications on information retrieval / 6.2:
Author co-citation analysis / 6.2.1:
Term associative network / 6.2.2:
Hyperlink / 6.2.3:
Search in Pathfinder associative networks / 6.2.4:
Multidimensional Scaling / 6.3:
MDS analysis method descriptions / 7.1:
Classical MDS / 7.1.1:
Non-metric MDS / 7.1.2:
Metric MDS / 7.1.3:
Implications of MDS techniques for information retrieval / 7.2:
Definitions of displayed objects and proximity between objects / 7.2.1:
Exploration in a MDS display space / 7.2.2:
Discussion / 7.2.3:
Internet Information Visualization / 7.3:
Introduction / 8.1:
Internet characteristics / 8.1.1:
Internet information organization and presentation methods / 8.1.2:
Internet information utilization / 8.1.3:
Challenges of the internet / 8.1.4:
Internet information visualization / 8.2:
Visualization of internet information structure / 8.2.1:
Internet information seeking visualization / 8.2.2:
Visualization of web traffic information / 8.2.3:
Discussion history visualization / 8.2.4:
Ambiguity in Information Visualization / 8.3:
Ambiguity and its implication in information visualization / 9.1:
Reason of ambiguity in information visualization / 9.1.1:
Implication of ambiguity for information visualization / 9.1.2:
Ambiguity analysis in information retrieval visualization models / 9.2:
Ambiguity in the Euclidean spatial characteristic based information models / 9.2.1:
Ambiguity in the multiple reference point based information visualization models / 9.2.2:
Ambiguity in the Pathfinder network / 9.2.3:
Ambiguity in SOM / 9.2.4:
Ambiguity in MDS / 9.2.5:
The Implication of Metaphors in Information Visualization / 9.3:
Definition, basic elements, and characteristics of a metaphor / 10.1:
Cognitive foundation of metaphors / 10.2:
Mental models, metaphors, and human computer interaction / 10.3:
Metaphors in human computer interaction / 10.3.1:
Mental models / 10.3.2:
Mental models in HCI / 10.3.3:
Metaphors in information visualization retrieval / 10.4:
Rationales for using metaphors / 10.4.1:
Metaphorical information retrieval visualization environments / 10.4.2:
Procedures and principles for metaphor application / 10.5:
Procedure for metaphor application / 10.5.1:
Guides for designing a good metaphorical visual information retrieval environment / 10.5.2:
Benchmarks and Evaluation Criteria for Information Retrieval Visualization / 10.6:
Information retrieval visualization evaluation / 11.1:
Benchmarks and evaluation standards / 11.2:
Factors affecting evaluation standards / 11.2.1:
Principles for developing evaluation benchmarks / 11.2.2:
Four proposed categories for evaluation criteria / 11.2.3:
Descriptions of proposed benchmarks / 11.2.4:
Afterthoughts / 11.3:
Comparisons of the introduced visualization models / 12.1:
Issues and challenges / 12.3:
Bibliography / 12.4:
Index
Information Retrieval and Visualization / Chapter 1:
Visualization / 1.1:
Definition / 1.1.1:
37.

電子ブック

EB
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
The Next Step Forward / 1.3:
Cooperative Bug Isolation / 1.4:
Instrumentation Framework / 2:
Basic Instrumentation Strategy / 2.1:
Sampling the Bernoulli Way / 2.1.1:
From Blocks to Functions / 2.1.2:
Interprocedural Issues / 2.1.3:
Instrumentation Schemes for Distributed Debugging / 2.2:
Issues in Remote Sampling / 2.2.1:
Counter-Based Instrumentation Schemes / 2.2.2:
Additional Instrumentation Schemes / 2.2.3:
Performance and Optimizations / 2.3:
Static Branch Prediction / 2.3.1:
Weightless Functions / 2.3.2:
Empty and Singleton Regions / 2.3.3:
Local Countdown Caching / 2.3.4:
Random Countdown Generation / 2.3.5:
Path Balancing / 2.3.6:
Statically Selective Sampling / 2.3.7:
Optimization Recap / 2.3.8:
Adaptive Sampling / 2.4:
Nonuniformity Via Multiple Countdowns / 2.4.1:
Nonuniformity Via Non-Unit Site Weights / 2.4.2:
Policy Notes / 2.4.3:
Realistic Sampling Rates / 2.5:
Practical Considerations / 3:
Native Compiler Integration / 3.1:
Static Site Information / 3.1.1:
Libraries and Plugins / 3.2:
Threads / 3.3:
Next-Sample Countdown / 3.3.1:
Predicate Counters / 3.3.2:
Compilation Unit Registry and Report File / 3.3.3:
Time Stamp Clock / 3.3.4:
Performance Evaluation / 3.3.5:
Privacy and Security / 3.4:
User Interaction / 3.5:
Status of the Public Deployment / 3.6:
Resource Requirements / 3.6.1:
Reporting Trends / 3.6.2:
Techniques for Statistical Debugging / 4:
Notation and Terminology / 4.1:
Predicate Elimination / 4.2:
Instrumentation Strategy / 4.2.1:
Elimination Strategies / 4.2.2:
Data Collection and Analysis / 4.2.3:
Refinement over time / 4.2.4:
Performance Impact / 4.2.5:
Limitations and Insights / 4.2.6:
Regularized Logistic Regression / 4.3:
Crash Prediction Using Logistic Regression / 4.3.1:
Moss: A Multiple-Bug Challenge / 4.3.2:
Nonuniform Sampling / 4.4.1:
Analysis Results / 4.4.2:
Iterative Bug Isolation and Elimination / 4.5:
Increase Scores / 4.5.1:
Statistical Interpretation / 4.5.2:
Balancing Specificity and Sensitivity / 4.5.3:
Redundancy Elimination / 4.5.4:
Case Studies / 4.6:
Moss / 4.6.1:
CCRYPT / 4.6.2:
BC / 4.6.3:
EXIF / 4.6.4:
Rhythmbox / 4.6.5:
Related Work / 5:
Static Analysis / 5.1:
Profiling and Tracing / 5.2:
Dynamic Analysis / 5.3:
Conclusion / 6:
References
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
38.

電子ブック

EB
Masao Nagasaki, Atsushi Doi, Andreas Dress, Hiroshi Matsuno, Satoru Miyano, Ayumu Saito, Martin Vingron, Martin Vingron, Gene Myers, Robert Giegerich, Walter Fitch, Pavel A. Pevzner. edited by Andreas Dress
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Introduction / 1:
Intracellular Events / 1.1:
Transcription, Translation, and Regulation / 1.1.1:
Signaling Pathways and Proteins / 1.1.2:
Metabolism and Genes / 1.1.3:
Intracellular Reactions and Pathways / 1.2:
Pathway Databases / 2:
Major Pathway Databases / 2.1:
KEGG / 2.1.1:
BioCyc / 2.1.2:
Ingenuity Pathways Knowledge Base / 2.1.3:
TRANSPATH / 2.1.4:
ResNet / 2.1.5:
Signal Transduction Knowledge Environment (STKE): Database of Cell Signaling / 2.1.6:
Reactome / 2.1.7:
Metabolome.jp / 2.1.8:
Summary and Conclusion / 2.1.9:
Software for Pathway Display / 2.2:
Ingenuity Pathway Analysis (IPA) / 2.2.1:
Pathway Builder / 2.2.2:
Pathway Studio / 2.2.3:
Connections Maps / 2.2.4:
Cytoscape / 2.2.5:
File Formats for Pathways / 2.3:
Gene Ontology / 2.3.1:
PSI MI / 2.3.2:
CellML / 2.3.3:
SBML / 2.3.4:
BioPAX / 2.3.5:
CSML/CSO / 2.3.6:
Pathway Simulation Software / 3:
Simulation Software Backend / 3.1:
Architecture: Deterministic, Probabilistic, or Hybrid? / 3.1.1:
Methods of Pathway Modeling / 3.1.2:
Major Simulation Software Tools / 3.2:
Gepasi/COPASI / 3.2.1:
Virtual Cell / 3.2.2:
Systems Biology Workbench (SBW), Cell Designer, JDesigner / 3.2.3:
Dizzy / 3.2.4:
E-Cell / 3.2.5:
Cell Illustrator / 3.2.6:
Summary / 3.2.7:
Starting Cell Illustrator / 4:
Installing Cell Illustrator / 4.1:
Operating Systems and Hardware Requirements / 4.1.1:
Cell Illustrator Lineup / 4.1.2:
Installing and Running Cell Illustrator / 4.1.3:
License Install / 4.1.4:
Basic Concepts in Cell Illustrator / 4.2:
Basic Concepts / 4.2.1:
Entity / 4.2.2:
Process / 4.2.3:
Connector / 4.2.4:
Rules for Connecting Elements / 4.2.5:
Icons for Elements / 4.2.6:
Editing a Model on Cell Illustrator / 4.3:
Adding Elements / 4.3.1:
Model Editing and Canvas Controls / 4.3.2:
Simulating Models / 4.4:
Simulation Settings / 4.4.1:
Graph Settings / 4.4.2:
Executing Simulation / 4.4.3:
Simulation Parameters and Rules / 4.5:
Creating a Model with Discrete Entity and Process / 4.5.1:
Creating a Model with Continuous Entity and Process / 4.5.2:
Concepts of Discrete and Continuous / 4.5.3:
Pathway Modeling Using Illustrated Elements / 4.6:
Creating Pathway Models Using Cell Illustrator / 4.7:
Degradation / 4.7.1:
Translocation / 4.7.2:
Transcription / 4.7.3:
Binding / 4.7.4:
Dissociation / 4.7.5:
Inhibition / 4.7.6:
Phosphorylation by Enzyme Reaction / 4.7.7:
Conclusion / 4.8:
Pathway Modeling and Simulation / 5:
Modeling Signaling Pathway / 5.1:
Main Players: Ligand and Receptor / 5.1.1:
Modeling EGFR Signaling with EGF Stimulation / 5.1.2:
Modeling Metabolic Pathways / 5.2:
Chemical Equations and Pathway Representations / 5.2.1:
Michaelis-Menten Kinetics and Cell Illustrator Pathway Representation / 5.2.2:
Creating Glycolysis Pathway Model / 5.2.3:
Simulation of Glycolysis Pathway / 5.2.4:
Improving the Model / 5.2.5:
Modeling Gene Regulatory Networks / 5.3:
Biological Clocks and Circadian Rhythms / 5.3.1:
Gene Regulatory Network for Circadian Rhythms in Mice / 5.3.2:
Modeling Circadian Rhythms in Mice / 5.3.3:
Creating Hypothesis by Simulation / 5.3.4:
Computational Platform for Systems Biology / 5.4:
Gene Network of Yeast / 6.1:
Computational Analysis of Gene Network / 6.2:
Displaying Gene Network / 6.2.1:
Layout of Gene Networks / 6.2.2:
Pathway Search Function / 6.2.3:
Extracting Subnetworks / 6.2.4:
Comparing Two Subnetworks / 6.2.5:
Further Functionalities for Systems Biology / 6.3:
Languages for Pathways: CSML 3.0 and CSO / 6.3.1:
SaaS Technology / 6.3.2:
Pathway Parameter Search / 6.3.3:
Much Faster Simulation / 6.3.4:
Exporting Pathway Models to Programming Languages / 6.3.5:
Pathway Layout Algorithms / 6.3.6:
Pathway Database Management System / 6.3.7:
More Visually: Automatic Generation of Icons / 6.3.8:
Bibliographic Notes
Index
Foreword
Preface
Introduction / 1:
39.

図書

図書
[редакция ... В.Г. Озерова ... и др.]
出版情報: Москва : "Книга", 1927-  v. ; 27 cm
所蔵情報: loading…
40.

電子ブック

EB
Ben Liblit, David Hutchison, Takeo Kanade, Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
The Next Step Forward / 1.3:
Cooperative Bug Isolation / 1.4:
Instrumentation Framework / 2:
Basic Instrumentation Strategy / 2.1:
Sampling the Bernoulli Way / 2.1.1:
From Blocks to Functions / 2.1.2:
Interprocedural Issues / 2.1.3:
Instrumentation Schemes for Distributed Debugging / 2.2:
Issues in Remote Sampling / 2.2.1:
Counter-Based Instrumentation Schemes / 2.2.2:
Additional Instrumentation Schemes / 2.2.3:
Performance and Optimizations / 2.3:
Static Branch Prediction / 2.3.1:
Weightless Functions / 2.3.2:
Empty and Singleton Regions / 2.3.3:
Local Countdown Caching / 2.3.4:
Random Countdown Generation / 2.3.5:
Path Balancing / 2.3.6:
Statically Selective Sampling / 2.3.7:
Optimization Recap / 2.3.8:
Adaptive Sampling / 2.4:
Nonuniformity Via Multiple Countdowns / 2.4.1:
Nonuniformity Via Non-Unit Site Weights / 2.4.2:
Policy Notes / 2.4.3:
Realistic Sampling Rates / 2.5:
Practical Considerations / 3:
Native Compiler Integration / 3.1:
Static Site Information / 3.1.1:
Libraries and Plugins / 3.2:
Threads / 3.3:
Next-Sample Countdown / 3.3.1:
Predicate Counters / 3.3.2:
Compilation Unit Registry and Report File / 3.3.3:
Time Stamp Clock / 3.3.4:
Performance Evaluation / 3.3.5:
Privacy and Security / 3.4:
User Interaction / 3.5:
Status of the Public Deployment / 3.6:
Resource Requirements / 3.6.1:
Reporting Trends / 3.6.2:
Techniques for Statistical Debugging / 4:
Notation and Terminology / 4.1:
Predicate Elimination / 4.2:
Instrumentation Strategy / 4.2.1:
Elimination Strategies / 4.2.2:
Data Collection and Analysis / 4.2.3:
Refinement over time / 4.2.4:
Performance Impact / 4.2.5:
Limitations and Insights / 4.2.6:
Regularized Logistic Regression / 4.3:
Crash Prediction Using Logistic Regression / 4.3.1:
Moss: A Multiple-Bug Challenge / 4.3.2:
Nonuniform Sampling / 4.4.1:
Analysis Results / 4.4.2:
Iterative Bug Isolation and Elimination / 4.5:
Increase Scores / 4.5.1:
Statistical Interpretation / 4.5.2:
Balancing Specificity and Sensitivity / 4.5.3:
Redundancy Elimination / 4.5.4:
Case Studies / 4.6:
Moss / 4.6.1:
CCRYPT / 4.6.2:
BC / 4.6.3:
EXIF / 4.6.4:
Rhythmbox / 4.6.5:
Related Work / 5:
Static Analysis / 5.1:
Profiling and Tracing / 5.2:
Dynamic Analysis / 5.3:
Conclusion / 6:
References
Introduction / 1:
Perfect, or Close Enough / 1.1:
Automatic Failure Reporting / 1.2:
41.

電子ブック

EB
Masao Nagasaki, Atsushi Doi, Andreas Dress, Hiroshi Matsuno, Satoru Miyano, Ayumu Saito, Martin Vingron, Martin Vingron, Gene Myers, Robert Giegerich, Walter Fitch, Pavel A. Pevzner. edited by Andreas Dress, Gene Myers
出版情報: SpringerLink Books - AutoHoldings , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Introduction / 1:
Intracellular Events / 1.1:
Transcription, Translation, and Regulation / 1.1.1:
Signaling Pathways and Proteins / 1.1.2:
Metabolism and Genes / 1.1.3:
Intracellular Reactions and Pathways / 1.2:
Pathway Databases / 2:
Major Pathway Databases / 2.1:
KEGG / 2.1.1:
BioCyc / 2.1.2:
Ingenuity Pathways Knowledge Base / 2.1.3:
TRANSPATH / 2.1.4:
ResNet / 2.1.5:
Signal Transduction Knowledge Environment (STKE): Database of Cell Signaling / 2.1.6:
Reactome / 2.1.7:
Metabolome.jp / 2.1.8:
Summary and Conclusion / 2.1.9:
Software for Pathway Display / 2.2:
Ingenuity Pathway Analysis (IPA) / 2.2.1:
Pathway Builder / 2.2.2:
Pathway Studio / 2.2.3:
Connections Maps / 2.2.4:
Cytoscape / 2.2.5:
File Formats for Pathways / 2.3:
Gene Ontology / 2.3.1:
PSI MI / 2.3.2:
CellML / 2.3.3:
SBML / 2.3.4:
BioPAX / 2.3.5:
CSML/CSO / 2.3.6:
Pathway Simulation Software / 3:
Simulation Software Backend / 3.1:
Architecture: Deterministic, Probabilistic, or Hybrid? / 3.1.1:
Methods of Pathway Modeling / 3.1.2:
Major Simulation Software Tools / 3.2:
Gepasi/COPASI / 3.2.1:
Virtual Cell / 3.2.2:
Systems Biology Workbench (SBW), Cell Designer, JDesigner / 3.2.3:
Dizzy / 3.2.4:
E-Cell / 3.2.5:
Cell Illustrator / 3.2.6:
Summary / 3.2.7:
Starting Cell Illustrator / 4:
Installing Cell Illustrator / 4.1:
Operating Systems and Hardware Requirements / 4.1.1:
Cell Illustrator Lineup / 4.1.2:
Installing and Running Cell Illustrator / 4.1.3:
License Install / 4.1.4:
Basic Concepts in Cell Illustrator / 4.2:
Basic Concepts / 4.2.1:
Entity / 4.2.2:
Process / 4.2.3:
Connector / 4.2.4:
Rules for Connecting Elements / 4.2.5:
Icons for Elements / 4.2.6:
Editing a Model on Cell Illustrator / 4.3:
Adding Elements / 4.3.1:
Model Editing and Canvas Controls / 4.3.2:
Simulating Models / 4.4:
Simulation Settings / 4.4.1:
Graph Settings / 4.4.2:
Executing Simulation / 4.4.3:
Simulation Parameters and Rules / 4.5:
Creating a Model with Discrete Entity and Process / 4.5.1:
Creating a Model with Continuous Entity and Process / 4.5.2:
Concepts of Discrete and Continuous / 4.5.3:
Pathway Modeling Using Illustrated Elements / 4.6:
Creating Pathway Models Using Cell Illustrator / 4.7:
Degradation / 4.7.1:
Translocation / 4.7.2:
Transcription / 4.7.3:
Binding / 4.7.4:
Dissociation / 4.7.5:
Inhibition / 4.7.6:
Phosphorylation by Enzyme Reaction / 4.7.7:
Conclusion / 4.8:
Pathway Modeling and Simulation / 5:
Modeling Signaling Pathway / 5.1:
Main Players: Ligand and Receptor / 5.1.1:
Modeling EGFR Signaling with EGF Stimulation / 5.1.2:
Modeling Metabolic Pathways / 5.2:
Chemical Equations and Pathway Representations / 5.2.1:
Michaelis-Menten Kinetics and Cell Illustrator Pathway Representation / 5.2.2:
Creating Glycolysis Pathway Model / 5.2.3:
Simulation of Glycolysis Pathway / 5.2.4:
Improving the Model / 5.2.5:
Modeling Gene Regulatory Networks / 5.3:
Biological Clocks and Circadian Rhythms / 5.3.1:
Gene Regulatory Network for Circadian Rhythms in Mice / 5.3.2:
Modeling Circadian Rhythms in Mice / 5.3.3:
Creating Hypothesis by Simulation / 5.3.4:
Computational Platform for Systems Biology / 5.4:
Gene Network of Yeast / 6.1:
Computational Analysis of Gene Network / 6.2:
Displaying Gene Network / 6.2.1:
Layout of Gene Networks / 6.2.2:
Pathway Search Function / 6.2.3:
Extracting Subnetworks / 6.2.4:
Comparing Two Subnetworks / 6.2.5:
Further Functionalities for Systems Biology / 6.3:
Languages for Pathways: CSML 3.0 and CSO / 6.3.1:
SaaS Technology / 6.3.2:
Pathway Parameter Search / 6.3.3:
Much Faster Simulation / 6.3.4:
Exporting Pathway Models to Programming Languages / 6.3.5:
Pathway Layout Algorithms / 6.3.6:
Pathway Database Management System / 6.3.7:
More Visually: Automatic Generation of Icons / 6.3.8:
Bibliographic Notes
Index
Foreword
Preface
Introduction / 1:
42.

電子ブック

EB
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:
43.

電子ブック

EB
Gian Piero Zarri
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Basic Principles / 1:
Narrative Information in an NKRL Context / 1.1:
Narratology and NKRL / 1.1.1:
The Notion of "Event" in an NKRL Context / 1.1.2:
Knowledge Representation and NKRL / 1.2:
"Standard" Ontologies and the "n-ary" Problem / 1.2.1:
A Plain "n-ary" Solution and Some Related Problems / 1.2.2:
In the Guise of Winding Up / 1.3:
The Knowledge Representation Strategy / 2:
Architecture of NKRL: the Four "Components" / 2.1:
The Data Structures of the Four Components / 2.2:
Definitional/Enumerative Data Structures / 2.2.1:
Descriptive/Factual Data Structures / 2.2.2:
Second-order Structures / 2.3:
The Completive Construction / 2.3.1:
Binding Occurrences / 2.3.2:
The Semantic and Ontological Contents / 2.4:
The Organization of the HClass Hierarchy / 3.1:
General Notions about Ontologies / 3.1.1:
HClass Architecture / 3.1.2:
The Organization of the HTemp Hierarchy / 3.2:
Recent Examples of "Structured" Ontological Systems / 3.2.1:
Main Features of Some Specific HTemp Structures / 3.2.2:
The Query and Inference Procedures / 3.3:
"Search Patterns" and Low-level Inferences / 4.1:
The Algorithmic Structure of Fum / 4.1.1:
Temporal Information and Indexing / 4.1.2:
High-level Inference Procedures / 4.2:
General Remarks about Some Reasoning Paradigms / 4.2.1:
Hypothesis Rules / 4.2.2:
Transformation Rules / 4.2.3:
Integrating the Two Main Inferencing Modes of NKRL / 4.2.4:
Inference Rules and Internet Filtering / 4.2.5:
Conclusion / 4.3:
Technological Enhancements / 5.1:
Theoretical Enhancements / 5.2:
Appendix A
Appendix B
References
Index
Basic Principles / 1:
Narrative Information in an NKRL Context / 1.1:
Narratology and NKRL / 1.1.1:
44.

電子ブック

EB
Gian Piero Zarri
出版情報: SpringerLink Books - AutoHoldings , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Basic Principles / 1:
Narrative Information in an NKRL Context / 1.1:
Narratology and NKRL / 1.1.1:
The Notion of "Event" in an NKRL Context / 1.1.2:
Knowledge Representation and NKRL / 1.2:
"Standard" Ontologies and the "n-ary" Problem / 1.2.1:
A Plain "n-ary" Solution and Some Related Problems / 1.2.2:
In the Guise of Winding Up / 1.3:
The Knowledge Representation Strategy / 2:
Architecture of NKRL: the Four "Components" / 2.1:
The Data Structures of the Four Components / 2.2:
Definitional/Enumerative Data Structures / 2.2.1:
Descriptive/Factual Data Structures / 2.2.2:
Second-order Structures / 2.3:
The Completive Construction / 2.3.1:
Binding Occurrences / 2.3.2:
The Semantic and Ontological Contents / 2.4:
The Organization of the HClass Hierarchy / 3.1:
General Notions about Ontologies / 3.1.1:
HClass Architecture / 3.1.2:
The Organization of the HTemp Hierarchy / 3.2:
Recent Examples of "Structured" Ontological Systems / 3.2.1:
Main Features of Some Specific HTemp Structures / 3.2.2:
The Query and Inference Procedures / 3.3:
"Search Patterns" and Low-level Inferences / 4.1:
The Algorithmic Structure of Fum / 4.1.1:
Temporal Information and Indexing / 4.1.2:
High-level Inference Procedures / 4.2:
General Remarks about Some Reasoning Paradigms / 4.2.1:
Hypothesis Rules / 4.2.2:
Transformation Rules / 4.2.3:
Integrating the Two Main Inferencing Modes of NKRL / 4.2.4:
Inference Rules and Internet Filtering / 4.2.5:
Conclusion / 4.3:
Technological Enhancements / 5.1:
Theoretical Enhancements / 5.2:
Appendix A
Appendix B
References
Index
Basic Principles / 1:
Narrative Information in an NKRL Context / 1.1:
Narratology and NKRL / 1.1.1:
45.

図書

図書
Joseph Wang
出版情報: New York, N.Y. : VCH, c1994  xi, 198 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Abbreviations and Symbols
Fundamental Concepts / 1:
Why Electroanalysis? / 1.1:
Faradaic Processes / 1.2:
Mass-Transport-Controlled Reactions / 1.2.1:
Potential-Step Experiment / 1.2.1.1:
Potential-Sweep Experiments / 1.2.1.2:
Reactions Controlled by the Rate of Electron Transfer / 1.2.2:
Activated Complex Theory / 1.2.2.1:
Electrical Double Layer / 1.3:
Electrocapillary Effect / 1.4:
Supplementary Reading / 1.5:
Problems
References
Study of Electrode Reactions and Interfacial Properties / 2:
Cyclic Voltammetry / 2.1:
Data Interpretation / 2.1.1:
Reversible Systems / 2.1.1.1:
Irreversible and Quasi-reversible Systems / 2.1.1.2:
Study of Reaction Mechanisms / 2.1.2:
Study of Adsorption Processes / 2.1.3:
Quantitative Applications / 2.1.4:
Spectroelectrochemistry / 2.2:
Experimental Arrangement / 2.2.1:
Principles and Applications / 2.2.2:
Electrochemiluminescence / 2.2.3:
Optical Probing of Electrode-Solution Interfaces / 2.2.4:
Scanning Probe Microscopy / 2.3:
Scanning Tunneling Microscopy / 2.3.1:
Atomic Force Microscopy / 2.3.2:
Scanning Electrochemical Microscopy / 2.3.3:
Electrochemical Quartz Crystal Microbalance / 2.4:
Impedance Spectroscopy / 2.5:
Examples
Controlled-Potential Techniques / 3:
Chronoamperometry / 3.1:
Polarography / 3.2:
Pulse Voltammetry / 3.3:
Normal-Pulse Voltammetry / 3.3.1:
Differential-Pulse Voltammetry / 3.3.2:
Square-Wave Voltammetry / 3.3.3:
Staircase Voltammetry / 3.3.4:
AC Voltammetry / 3.4:
Stripping Analysis / 3.5:
Anodic Stripping Voltammetry / 3.5.1:
Potentiometric Stripping Analysis / 3.5.2:
Adsorptive Stripping Voltammetry and Potentiometry / 3.5.3:
Cathodic Stripping Voltammetry / 3.5.4:
Abrasive Stripping Voltammetry / 3.5.5:
Applications / 3.5.6:
Flow Analysis / 3.6:
Principles / 3.6.1:
Cell Design / 3.6.2:
Mass Transport and Current Response / 3.6.3:
Detection Modes / 3.6.4:
Practical Considerations / 4:
Electrochemical Cells / 4.1:
Solvents and Supporting Electrolytes / 4.2:
Oxygen Removal / 4.3:
Instrumentation / 4.4:
Working Electrodes / 4.5:
Mercury Electrodes / 4.5.1:
Solid Electrodes / 4.5.2:
Rotating Disk and Rotating Ring Disk Electrodes / 4.5.2.1:
Carbon Electrodes / 4.5.2.2:
Glassy Carbon Electrodes / 4.5.2.2.1:
Carbon Paste Electrodes / 4.5.2.2.2:
Carbon Fiber Electrodes / 4.5.2.2.3:
Diamond Electrodes / 4.5.2.2.4:
Metal Electrodes / 4.5.2.3:
Chemically Modified Electrodes / 4.5.3:
Self-Assembled Monolayers / 4.5.3.1:
Carbon-Nanotube-Modified Electrodes / 4.5.3.2:
Sol-gel Encapsulation of Reactive Species / 4.5.3.3:
Electrocatalytically Modified Electrodes / 4.5.3.4:
Preconcentrating Electrodes / 4.5.3.5:
Permselective Coatings / 4.5.3.6:
Conducting Polymers / 4.5.3.7:
Microelectrodes / 4.5.4:
Diffusion at Microelectrodes / 4.5.4.1:
Microelectrode Configurations / 4.5.4.2:
Composite Electrodes / 4.5.4.3:
Potentiometry / 5:
Principles of Potentiometric Measurements / 5.1:
Ion-Selective Electrodes / 5.2:
Glass Electrodes / 5.2.1:
pH Electrodes / 5.2.1.1:
Glass Electrodes for Other Cations / 5.2.1.2:
Liquid Membrane Electrodes / 5.2.2:
Ion Exchanger Electrodes / 5.2.2.1:
Neutral Carrier Electrodes / 5.2.2.2:
Solid-State Electrodes / 5.2.3:
Coated-Wire Electrodes and Solid-State Electrodes Without an Internal Filling Solution / 5.2.4:
On-line, On-site, and In Vivo Potentiometric Measurements / 5.3:
Electrochemical Sensors / 6:
Electrochemical Biosensors / 6.1:
Enzyme-Based Electrodes / 6.1.1:
Practical and Theoretical Considerations / 6.1.1.1:
Enzyme Electrodes of Analytical Significance / 6.1.1.2:
Glucose Sensors / 6.1.1.2.1:
Preface
Abbreviations and Symbols
Fundamental Concepts / 1:
46.

電子ブック

EB
Kathryn E. Merrick, Mary Lou Maher
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Non-Player Characters and Reinforcement Learning / Part I:
Non-Player Characters in Multiuser Games / 1:
Types of Multiuser Games / 1.1:
Massively Multiplayer Online Role-Playing Games / 1.1.1:
Multiuser Simulation Games / 1.1.2:
Open-Ended Virtual Worlds / 1.1.3:
Character Roles in Multiuser Games / 1.2:
Existing Artificial Intelligence Techniques for Non-Player Characters in Multiuser Games / 1.3:
Reflexive Agents / 1.3.1:
Learning Agents / 1.3.2:
Evolutionary Agents / 1.3.3:
Smart Terrain / 1.3.4:
Summary / 1.4:
References / 1.5:
Motivation in Natural and Artificial Agents / 2:
Defining Motivation / 2.1:
Biological Theories of Motivation / 2.2:
Drive Theory / 2.2.1:
Motivational State Theory / 2.2.2:
Arousal / 2.2.3:
Cognitive Theories of Motivation / 2.3:
Curiosity / 2.3.1:
Operant Theory / 2.3.2:
Incentive / 2.3.3:
Achievement Motivation / 2.3.4:
Attribution Theory / 2.3.5:
Intrinsic Motivation / 2.3.6:
Social Theories of Motivation / 2.4:
Conformity / 2.4.1:
Cultural Effect / 2.4.2:
Evolution / 2.4.3:
Combined Motivation Theories / 2.5:
Maslow's Hierarchy of Needs / 2.5.1:
Existence Relatedness Growth Theory / 2.5.2:
Towards Motivated Reinforcement Learning / 2.6:
Defining Reinforcement Learning / 3.1:
Dynamic Programming / 3.1.1:
Monte Carlo Methods / 3.1.2:
Temporal Difference Learning / 3.1.3:
Reinforcement Learning in Complex Environments / 3.2:
Partially Observable Environments / 3.2.1:
Function Approximation / 3.2.2:
Hierarchical Reinforcement Learning / 3.2.3:
Motivated Reinforcement Learning / 3.3:
Using a Motivation Signal in Addition to a Reward Signal / 3.3.1:
Using a Motivation Signal Instead of a Reward Signal / 3.3.2:
Comparing the Behaviour of Learning Agents / 3.4:
Player Satisfaction / 4.1:
Psychological Flow / 4.1.1:
Structural Flow / 4.1.2:
Formalising Non-Player Character Behaviour / 4.2:
Models of Optimality for Reinforcement Learning / 4.2.1:
Characteristics of Motivated Reinforcement Learning / 4.2.2:
Comparing Motivated Reinforcement Learning Agents / 4.3:
Statistical Model for Identifying Learned Tasks / 4.3.1:
Behavioural Variety / 4.3.2:
Behavioural Complexity / 4.3.3:
Developing Curious Characters Using Motivated Reinforcement Learning / 4.4:
Curiosity, Motivation and Attention Focus / 5:
Agents in Complex, Dynamic Environments / 5.1:
States / 5.1.1:
Actions / 5.1.2:
Reward and Motivation / 5.1.3:
Motivation and Attention Focus / 5.2:
Observations / 5.2.1:
Events / 5.2.2:
Tasks and Task Selection / 5.2.3:
Experience-Based Reward as Cognitive Motivation / 5.2.4:
Arbitration Functions / 5.2.5:
A General Experience-Based Motivation Function / 5.2.6:
Curiosity as Motivation for Support Characters / 5.3:
Curiosity as Interesting Events / 5.3.1:
Curiosity as Interesting and Competence / 5.3.2:
Motivated Reinforcement Learning Agents / 5.4:
A General Motivated Reinforcement Learning Model / 6.1:
Algorithms for Motivated Reinforcement Learning / 6.2:
Motivated Flat Reinforcement Learning / 6.2.1:
Motivated Multioption Reinforcement Learning / 6.2.2:
Motivated Hierarchical Reinforcement Learning / 6.2.3:
Curious Characters in Games / 6.3:
Curious Characters for Multiuser Games / 7:
Motivated Reinforcement Learning for Support Characters in Massively Multiplayer Online Role-Playing Games / 7.1:
Character Behaviour in Small-Scale, Isolated Games Locations / 7.2:
Case Studies of Individual Characters / 7.2.1:
General Trends in Character Behaviour / 7.2.2:
Curious Characters for Games in Complex, Dynamic Environments / 7.3:
Designing Characters That Can Multitask / 8.1:
Designing Characters for Complex Tasks / 8.1.1:
Games That Change While Characters Are Learning / 8.2.1:
Curious Characters for Games in Second Life / 8.3.1:
Motivated Reinforcement Learning in Open-Ended Simulation Games / 9.1:
Game Design / 9.1.1:
Character Design / 9.1.2:
Evaluating Character Behaviour in Response to Game Play Sequences / 9.2:
Discussion / 9.2.1:
Future / 9.3:
Towards the Future / 10:
Using Motivated Reinforcement Learning in Non-Player Characters / 10.1:
Other Gaming Applications for Motivated Reinforcement Learning / 10.2:
Dynamic Difficulty Adjustment / 10.2.1:
Procedural Content Generation / 10.2.2:
Beyond Curiosity / 10.3:
Biological Models of Motivation / 10.3.1:
Cognitive Models of Motivation / 10.3.2:
Social Models of Motivation / 10.3.3:
Combined Models of Motivation / 10.3.4:
New Models of Motivated Learning / 10.4:
Motivated Supervised Learning / 10.4.1:
Motivated Unsupervised Learning / 10.4.2:
Evaluating the Behaviour of Motivated Learning Agents / 10.5:
Concluding Remarks / 10.6:
Index / 10.7:
Non-Player Characters and Reinforcement Learning / Part I:
Non-Player Characters in Multiuser Games / 1:
Types of Multiuser Games / 1.1:
47.

電子ブック

EB
Kathryn E. Merrick, Mary Lou Maher
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Non-Player Characters and Reinforcement Learning / Part I:
Non-Player Characters in Multiuser Games / 1:
Types of Multiuser Games / 1.1:
Massively Multiplayer Online Role-Playing Games / 1.1.1:
Multiuser Simulation Games / 1.1.2:
Open-Ended Virtual Worlds / 1.1.3:
Character Roles in Multiuser Games / 1.2:
Existing Artificial Intelligence Techniques for Non-Player Characters in Multiuser Games / 1.3:
Reflexive Agents / 1.3.1:
Learning Agents / 1.3.2:
Evolutionary Agents / 1.3.3:
Smart Terrain / 1.3.4:
Summary / 1.4:
References / 1.5:
Motivation in Natural and Artificial Agents / 2:
Defining Motivation / 2.1:
Biological Theories of Motivation / 2.2:
Drive Theory / 2.2.1:
Motivational State Theory / 2.2.2:
Arousal / 2.2.3:
Cognitive Theories of Motivation / 2.3:
Curiosity / 2.3.1:
Operant Theory / 2.3.2:
Incentive / 2.3.3:
Achievement Motivation / 2.3.4:
Attribution Theory / 2.3.5:
Intrinsic Motivation / 2.3.6:
Social Theories of Motivation / 2.4:
Conformity / 2.4.1:
Cultural Effect / 2.4.2:
Evolution / 2.4.3:
Combined Motivation Theories / 2.5:
Maslow's Hierarchy of Needs / 2.5.1:
Existence Relatedness Growth Theory / 2.5.2:
Towards Motivated Reinforcement Learning / 2.6:
Defining Reinforcement Learning / 3.1:
Dynamic Programming / 3.1.1:
Monte Carlo Methods / 3.1.2:
Temporal Difference Learning / 3.1.3:
Reinforcement Learning in Complex Environments / 3.2:
Partially Observable Environments / 3.2.1:
Function Approximation / 3.2.2:
Hierarchical Reinforcement Learning / 3.2.3:
Motivated Reinforcement Learning / 3.3:
Using a Motivation Signal in Addition to a Reward Signal / 3.3.1:
Using a Motivation Signal Instead of a Reward Signal / 3.3.2:
Comparing the Behaviour of Learning Agents / 3.4:
Player Satisfaction / 4.1:
Psychological Flow / 4.1.1:
Structural Flow / 4.1.2:
Formalising Non-Player Character Behaviour / 4.2:
Models of Optimality for Reinforcement Learning / 4.2.1:
Characteristics of Motivated Reinforcement Learning / 4.2.2:
Comparing Motivated Reinforcement Learning Agents / 4.3:
Statistical Model for Identifying Learned Tasks / 4.3.1:
Behavioural Variety / 4.3.2:
Behavioural Complexity / 4.3.3:
Developing Curious Characters Using Motivated Reinforcement Learning / 4.4:
Curiosity, Motivation and Attention Focus / 5:
Agents in Complex, Dynamic Environments / 5.1:
States / 5.1.1:
Actions / 5.1.2:
Reward and Motivation / 5.1.3:
Motivation and Attention Focus / 5.2:
Observations / 5.2.1:
Events / 5.2.2:
Tasks and Task Selection / 5.2.3:
Experience-Based Reward as Cognitive Motivation / 5.2.4:
Arbitration Functions / 5.2.5:
A General Experience-Based Motivation Function / 5.2.6:
Curiosity as Motivation for Support Characters / 5.3:
Curiosity as Interesting Events / 5.3.1:
Curiosity as Interesting and Competence / 5.3.2:
Motivated Reinforcement Learning Agents / 5.4:
A General Motivated Reinforcement Learning Model / 6.1:
Algorithms for Motivated Reinforcement Learning / 6.2:
Motivated Flat Reinforcement Learning / 6.2.1:
Motivated Multioption Reinforcement Learning / 6.2.2:
Motivated Hierarchical Reinforcement Learning / 6.2.3:
Curious Characters in Games / 6.3:
Curious Characters for Multiuser Games / 7:
Motivated Reinforcement Learning for Support Characters in Massively Multiplayer Online Role-Playing Games / 7.1:
Character Behaviour in Small-Scale, Isolated Games Locations / 7.2:
Case Studies of Individual Characters / 7.2.1:
General Trends in Character Behaviour / 7.2.2:
Curious Characters for Games in Complex, Dynamic Environments / 7.3:
Designing Characters That Can Multitask / 8.1:
Designing Characters for Complex Tasks / 8.1.1:
Games That Change While Characters Are Learning / 8.2.1:
Curious Characters for Games in Second Life / 8.3.1:
Motivated Reinforcement Learning in Open-Ended Simulation Games / 9.1:
Game Design / 9.1.1:
Character Design / 9.1.2:
Evaluating Character Behaviour in Response to Game Play Sequences / 9.2:
Discussion / 9.2.1:
Future / 9.3:
Towards the Future / 10:
Using Motivated Reinforcement Learning in Non-Player Characters / 10.1:
Other Gaming Applications for Motivated Reinforcement Learning / 10.2:
Dynamic Difficulty Adjustment / 10.2.1:
Procedural Content Generation / 10.2.2:
Beyond Curiosity / 10.3:
Biological Models of Motivation / 10.3.1:
Cognitive Models of Motivation / 10.3.2:
Social Models of Motivation / 10.3.3:
Combined Models of Motivation / 10.3.4:
New Models of Motivated Learning / 10.4:
Motivated Supervised Learning / 10.4.1:
Motivated Unsupervised Learning / 10.4.2:
Evaluating the Behaviour of Motivated Learning Agents / 10.5:
Concluding Remarks / 10.6:
Index / 10.7:
Non-Player Characters and Reinforcement Learning / Part I:
Non-Player Characters in Multiuser Games / 1:
Types of Multiuser Games / 1.1:
48.

図書

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

図書

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

図書

図書
editors, Hisham Z. Massoud, Edward H. Poindexter, C. Robert Helms
出版情報: Pennington, NJ : Electrochemical Society, c1996  xv, 780 p. ; 27 cm
シリーズ名: Proceedings / [Electrochemical Society] ; v. 96-1
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼