1.
図書
Jeremiah James ... [et al.]
出版情報:
Berlin : De Gruyter, c2011 xii, 309 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
2.
図書
Michael R. Lemov
出版情報:
Madison [N.J.] : Fairleigh Dickinson University Press , Lanham, Md. : Rowman & Littlefield, c2011 xxi, 237 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
3.
図書
edited by Gabriel A. Wainer, Pieter J. Mosterman
目次情報:
続きを見る
Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler
Contributors
Theory / Section I：
DEVS as a Semantic Domain for Programmed Graph Transformation / Eugene Syriani ; Hans VangheluweChapter 1：
System State Identification Using DEVS / Norbert Giambiasi ; Diego Llarrull ; Maximiliano CristiáChapter 2：
A Formal Definition of Dynamic Structure Discrete-Flow Components / Fernando BarrosChapter 3：
Continuous System Simulation and Control / Ernesto Kofman ; François E. Cellier ; Gustavo MigoniChapter 4：
Methodology and Tools / Section II：
Heterogeneous Model Composability / Hessam S. Sarjoughian ; Gary R. MayerChapter 5：
Effective and Efficient Modeling and Simulation with DEVS Variants / Adelinde M. Uhrmacher ; Jan Himmelspach ; Roland EwaldChapter 6：
Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models / Chang Ho Sung ; Tag Gon KimChapter 7：
A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems / Olaf Hagendorf ; Thorsten PawlettaChapter 8：
Parallel Simulation of DEVS and Cell-DEVS Models in PCD++ / Gabriel A. Wainer ; Qi Liu ; Shafagh JaferChapter 9：
From Virtual to Real-A Progressive Simulation-Based Design Framework / Xiaolin HuChapter 10：
Applications / Section III：
Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS / Luiza Gheorghe Iugan ; Gabriela Nicolescu ; Ian O'ConnorChapter 11：
Construction Simulation Using Cell-DEVS Modeling / Amin Hammad ; Hong Pang ; Cheng ZhangChapter 12：
Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread / Alexandre Muzy ; David R.C. HillChapter 13：
Environmental Models in DEVS: Different Approaches for Different Applications / Jean-Baptiste Filippi ; Teruhisa KomatsuChapter 14：
Standardization / Section IV：
DEVS Standardization: Foundations and Trends / Khaldoon Al-Zoubi ; Olivier Dalle ; Saurabh Mittal ; José L. Risco MartÃn ; Hessam Sarjoughian ; Luc Touraille ; Mamadou K. TraoréChapter 15：
An Introduction to DEVS Standardization / Chapter 16：
Standardizing DEVS Model Representation / Chapter 17：
Standardizing DEVS Simulation Middleware / Chapter 18：
Index
Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler
Contributors
Theory / Section I：
4.
図書
edited by Bernd Hüppauf and Peter Weingart
5.
図書
by Ian Guch
出版情報:
New York : Alpha, a member of Penguin Random House LLC, c2011 xviii, 396 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
6.
図書
小熊英二著
出版情報:
東京 : 毎日新聞社, 2011.3- 冊 ; 20cm
子書誌情報:
loading…
所蔵情報:
loading…
7.
図書
Domenico Pennucci, Timothy J. Sullivan, Gian Michele Calvi
8.
図書
by Edward C. Rosenthal
出版情報:
New York : Alpha, a member of Penguin Group (USA), c2011 xv, 362 p. ; 24 cm
シリーズ名:
The complete idiot's guide to
子書誌情報:
loading…
所蔵情報:
loading…
9.
図書
David Buden
10.
図書
北原保雄著
出版情報:
東京 : 勉誠出版, 2011-
子書誌情報:
loading…
所蔵情報:
loading…
11.
図書
editors, Jie Han, Daniel A. Alzamora
12.
図書
editors, Jie Han, Daniel A. Alzamora
13.
図書
editors, Jie Han, Daniel A. Alzamora
14.
図書
editors, Jie Han, Daniel A. Alzamora
15.
図書
editors, Jie Han, Daniel A. Alzamora
16.
図書
editors, Jie Han, Daniel A. Alzamora
17.
図書
editors, C. Hsein Juang ... [et al.]
18.
図書
editors, C. Hsein Juang ... [et al.]
19.
図書
editors: Mansour Solaimanian ... [et al.]
20.
図書
editors: Wynand JvdM Steyn ... [et al.]
21.
図書
editors: Shen-En Chen ... [et al.]
22.
図書
editors: Jeffrey L. Lee, Hong Yang, Zhi-Yi Huang
23.
図書
editors: Hanlong Liu ... [et al.]
24.
図書
editors: Rifat Bulut ... [et al.]
25.
図書
editors: Dar-Hao Chen ... [et al.]
26.
図書
editors: Pilate Moyo ... [et al.]
27.
図書
editors: Adam F. Sevi ... [et al.]
28.
図書
editors: James C. Ni ... [et al.]
29.
図書
editors: Louis Ge ... [et al.]
30.
図書
editors: Lubinda F. Walubita ... [et al.]
31.
図書
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by: Curran Associates, 2011, c2010 744 p. ; 27 cm
子書誌情報:
loading…
所蔵情報:
loading…
32.
図書
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by: Curran Associates, 2011, c2010 p. 745-1494 ; 27 cm
子書誌情報:
loading…
所蔵情報:
loading…
33.
図書
U.S. Symposium on Rock Mechanics ; US-Canada Rock Mechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by: Curran Associates, 2011, c2010 p. 1495-2243 ; 27 cm
子書誌情報:
loading…
所蔵情報:
loading…
34.
図書
US Rock Mechanics/Geomechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2011 777 p. ; 27 cm
子書誌情報:
loading…
所蔵情報:
loading…
35.
図書
US Rock Mechanics/Geomechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2011 p. 778-1568 ; 27 cm
子書誌情報:
loading…
所蔵情報:
loading…
36.
図書
US Rock Mechanics/Geomechanics Symposium ; American Rock Mechanics Association
出版情報:
Alexandria, Va. : American Rock Mechanics Association , Red Hook, NY : Printed from e-media with permission by Curran Associates, 2011 p. 1569-2350 ; 27 cm
子書誌情報:
loading…
所蔵情報:
loading…
37.
図書
Laurence A. Nafie
出版情報:
Chichester : Wiley, 2011 xx, 378 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Overview of Vibrational Optical Activity / 1：
Introduction to Vibrational Optical Activity / 1.1：
Origin and Discovery of Vibrational Optical Activity / 1.2：
VCD Instrumentation Development / 1.3：
ROA Instrumentation Development / 1.4：
Development of VCD Theory and Calculations / 1.5：
Development of ROA Theory and Calculations / 1.6：
Applications of Vibrational Optical Activity / 1.7：
Comparison of Infrared and Raman Vibrational Optical Activity / 1.8：
Conclusions / 1.9：
Vibrational Frequencies and Intensities / 2：
Separation of Electronic and Vibrational Motion / 2.1：
Normal Modes of Vibrational Motion / 2.2：
Infrared Vibrational Absorption Intensities / 2.3：
Vibrational Raman Scattering Intensities / 2.4：
Molecular Chirality and Optical Activity / 3：
Definition of Molecular Chirality / 3.1：
Fundamental Principles of Natural Optical Activity / 3.2：
Classical Forms of Optical Activity / 3.3：
Newer Forms of Optical Activity / 3.4：
Theory of Vibrational Circular Dichroism / 4：
General Theory of VCD / 4.1：
Formulations of VCD Theory / 4.2：
Atomic Orbital Level Formulations of VCD Intensity / 4.3：
Transition Current Density and VCD Intensities / 4.4：
Theory of Raman Optical Activity / 5：
Comparison of ROA to VCD Theory / 5.1：
Far-From Resonance Theory (FFR) of ROA / 5.2：
General Unrestricted (GU) Theory of ROA / 5.3：
Vibronic Theories of ROA / 5.4：
Resonance ROA Theory / 5.5：
Instrumentation for Vibrational Circular Dichroism / 6：
Polarization Modulation Circular Dichroism / 6.1：
Stokes–Mueller Optical Analysis / 6.2：
Fourier Transform VCD Measurement / 6.3：
Commercial Instrumentation for VCD Measurement / 6.4：
Advanced VCD Instrumentation / 6.5：
Instrumentation for Raman Optical Activity / 7：
Incident Circular Polarization ROA / 7.1：
Scattered Circular Polarization ROA / 7.2：
Dual Circular Polarization ROA / 7.3：
Commercial Instrumentation for ROA Measurement / 7.4：
Advanced ROA Instrumentation / 7.5：
Measurement of Vibrational Optical Activity / 8：
VOA Spectral Measurement / 8.1：
Measurement of IR and VCD Spectra / 8.2：
Measurement of Raman and ROA Spectra / 8.3：
Calculation of Vibrational Optical Activity / 9：
Quantum Chemistry Formulations of VOA / 9.1：
Fundamental Steps of VOA Calculations / 9.2：
Methods and Visualization of VOA Calculations / 9.3：
Calculation of Electronic Optical Activity / 9.4：
Classes of Chiral Molecules / 10：
Determination of Absolute Configuration / 10.2：
Determination of Enantiomeric Excess and Reaction Monitoring / 10.3：
Biological Applications of VOA / 10.4：
Future Applications of VOA / 10.5：
Appendices
Models of VOA Intensity / A：
Estimate of CD Intensity Relative to Absorption Intensity / A.1：
Degenerate Coupled Oscillator Model of Circular Dichroism / A.2：
Fixed Partial Charge Model of VCD / A.3：
Localized Molecular Orbital Model of VCD / A.4：
Ring Current Model and Other Vibrational Electronic Current Models / A.5：
Two-Group and Related Models of ROA / A.6：
Derivation of Probability and Current Densities from Multi-Electron Wavefunctions for Electronic and Vibrational Transitions / B：
Transition Probability Density / B.1：
Transition Current Density / B.2：
Conservation of Transition Probability and Current Density / B.3：
Conservation Equation for Vibrational Transitions / B.4：
Theory of VCD for Molecules with Low-Lying Excited Electronic States / C：
Background Theoretical Expressions / C.1：
Lowest-Order Vibronic Theory Including Low-Lying Electronic States / C.2：
Vibronic Energy Approximation / C.3：
Low-Lying Magnetic-Dipole-Allowed Excited Electronic States / C.4：
Magnetic VCD in Molecules with Non-Degenerate States / D：
General Theory / D.1：
Combined Complete Adiabatic and Magnetic-Field Perturbation Formalism / D.2：
Vibronic Coupling B-Term Derivation / D.3：
MCD from Transition Metal Complexes with Low-Lying Electronic States / D.4：
References
Index
Preface
Overview of Vibrational Optical Activity / 1：
Introduction to Vibrational Optical Activity / 1.1：
38.
図書
駒井洋監修
出版情報:
東京 : 明石書店, 2011.9- 冊 ; 21cm
子書誌情報:
loading…
所蔵情報:
loading…
39.
図書
出版情報:
東京 : 中央公論美術出版, 2011.9- 冊 ; 22cm
子書誌情報:
loading…
所蔵情報:
loading…
40.
図書
[レーモン・クノー著]
出版情報:
東京 : 水声社, 2011.9-2013.1 13冊 ; 20cm
子書誌情報:
loading…
所蔵情報:
loading…
41.
図書
C.N.R. Rao, A. Govindaraj
目次情報:
続きを見る
Carbon Nanotubes / Chapter 1：
Introduction / 1.1：
Synthesis / 1.2：
Multi-walled Nanotubes / 1.2.1：
Aligned Nanotube Bundles and Micropatterning / 1.2.2：
Single-walled Carbon Nanotubes / 1.2.3：
Direct Spinning of Nanotube Yarns / 1.2.4：
Selective Preparative Procedures for Semiconducting and Metallic SWNTs / 1.2.5：
Junction Nanotubes / 1.2.6：
Peapods and Double-walled Nanotubes / 1.2.7：
Mechanism of Formation / 1.2.8：
Purification of SWNTs / 1.2.9：
Separation of Metallic and Semiconducting SWNTs / 1.2.10：
Structure, Spectra and Characterization / 1.3：
General Structural Features / 1.3.1：
Raman and other Spectroscopies / 1.3.2：
Pressure-induced Transformations / 1.3.3：
Electronic Structure / 1.3.4：
Chemically Modified Nanotubes / 1.4：
Doping with Boron and Nitrogen / 1.4.1：
Intercalation by Alkali Metals / 1.4.2：
Metal Semiconductor Transitions Induced by Molecular Interaction / 1.4.3：
Chirality Selection / 1.4.4：
Opening and Filling of Nanotubes / 1.4.5：
Decoration and Coating / 1.4.6：
Reactivity, Solubilization and Functionalization / 1.4.7：
Covalent Functionalization / 1.4.8：
Non-covalent Functionalization / 1.4.9：
Interaction with Biomolecules / 1.4.10：
Endrohedral Filling / 1.4.11：
Functionalization Using Fluorous Chemistry and Click Chemistry / 1.4.12：
Electronic Properties / 1.5：
Phase Transitions and Fluid Mechanics / 1.6：
Carbon Nanotube Composites / 1.7：
Applications, Potential and Otherwise / 1.8：
Electronic Applications / 1.8.1：
Field-effect Transistors and Related Devices / 1.8.2：
Field Emission / 1.8.3：
Energy Storage and Conversion: Supercapacitors, Solar Cells and Actuators / 1.8.4：
Sensors and Probes / 1.8.5：
Biological Aspects / 1.8.6：
Mechanical Properties and Related Devices / 1.8.7：
Lithium Batteries / 1.8.8：
Gas Adsorption and Hydrogen Storage / 1.8.9：
Other Useful Properties and Devices / 1.8.10：
References
Inorganic Nanotubes / Chapter 2：
Synthetic Methods / 2.1：
Specific Cases / 2.3：
Nanotubes of Elemental Materials / 2.3.1：
Metal Chalcogenide Nanotubes / 2.3.2：
Pnictide Nanotubes / 2.3.3：
Nanotubes of Carbides and other Materials / 2.3.4：
Metal Oxide Nanotubes / 2.3.5：
Complex Inorganic Nanostructures Based on Nanotubes / 2.3.6：
Properties and Applications / 2.4：
Mechanical Properties / 2.4.1：
Electronic, Magnetic, Optical and Related Properties / 2.4.2：
Tribological Properties / 2.4.3：
Thermal Properties / 2.4.4：
Solubilization and Functionalization / 2.4.5：
Applications / 2.4.6：
Inorganic Nanowires / Chapter 3：
Synthetic Strategies / 3.1：
Vapour Phase Growth / 3.2.1：
Vapour-Liquid-Solid Growth / 3.2.2：
Oxide-assisted Growth / 3.2.3：
Vapour-Solid Growth / 3.2.4：
Carbo-thermal Reactions / 3.2.5：
Solution-based Growth / 3.2.6：
Anisotropic Structures / 3.2.7：
Template-based Synthesis / 3.2.8：
Solution-Liquid-Solid Process / 3.2.9：
Solvothermal Synthesis / 3.2.10：
Growth Control and Integration / 3.2.11：
Elemental Nanowires / 3.3：
Silicon / 3.3.1：
Germanium / 3.3.2：
Boron / 3.3.3：
In, Sn, Pb, Sb and Bi / 3.3.4：
Se and Te / 3.3.5：
Gold / 3.3.6：
Silver / 3.3.7：
Iron and Cobalt / 3.3.8：
Nickel and Copper / 3.3.9：
Other Metals and Alloys / 3.3.10：
Metal Oxide Nanowires / 3.4：
MgO / 3.4.1：
A12O3, Ga203 and ln203 / 3.4.2：
SnO2 / 3.4.3：
CeO2 / 3.4.4：
SiO2 and Ge02 / 3.4.5：
TiO2 / 3.4.6：
CrO2, Mn02 and Mn304 / 3.4.7：
CuxO / 3.4.8：
ZnO / 3.4.9：
Vanadium and Tungsten Oxides / 3.4.10：
Other Binary Oxides / 3.4.11：
Ternary and Quarternary Oxides / 3.4.12：
Metal Nitride Nanowires / 3.5：
Boron Nitride / 3.5.1：
Aluminium Nitride / 3.5.2：
Gallium Nitride / 3.5.3：
Indium Nitride / 3.5.4：
Si3N4 and Si2N2O / 3.5.5：
Metal Carbide and Boride Nanowires / 3.6：
Boron Carbide / 3.6.1：
Silicon Carbide / 3.6.2：
Borides / 3.6.3：
Metal Chalcogenide Nanowires / 3.7：
Cadmium Sulfide / 3.7.1：
CdSe and CdTe / 3.7.2：
PbS, PbSe and PbTe / 3.7.3：
Bismuth Chalcogenides / 3.7.4：
CuS and CuSe / 3.7.5：
ZnS and ZnSe / 3.7.6：
NbS2, NbSe2 and NbSe3 / 3.7.7：
Other Chalcogenides / 3.7.8：
GaAs, InP and other Semiconductor Nanowires / 3.8：
Gallium Arsenide / 3.8.1：
InP and GaP / 3.8.2：
Miscellaneous Nanowires / 3.9：
Coaxial Nanowires and Coating Nanowires / 3.9.1：
Self Assembly and Functionalization / 3.10：
Useful Properties and Potential Applications / 3.11：
Optical Properties / 3.11.1：
Electrical and Magnetic Properties / 3.11.2：
Transistors and Devices / 3.11.3：
Energy Storage and Conversion / 3.11.4：
Electromechanical Devices / 3.11.6：
Subject Index / 3.11.7：
Carbon Nanotubes / Chapter 1：
Introduction / 1.1：
Synthesis / 1.2：
42.
図書
Steven H. Weintraub
目次情報:
続きを見る
Preface
Vector spaces and linear transformations / 1：
Coordinates / 2：
Determinants / 3：
The structure of a linear transformation I / 4：
The structure of a linear transformation II / 5：
Bilinear, sesquilinear, and quadratic forms / 6：
Real and complex inner product spaces / 7：
Matrix groups as Lie groups / 8：
Polynomials / A：
Basic properties / A.1：
Unique factorization / A.2：
Polynomials as expressions and polynomials as functions / A.3：
Modules over principal ideal domains / B：
Definitions and structure theorems / B.1：
Derivation of canonical forms / B.2：
Bibliography
Index
Preface
Vector spaces and linear transformations / 1：
Coordinates / 2：
43.
図書
Frank Schwalba-Hoth (editor)
出版情報:
Berlin : Lexxion, 2011 965 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
44.
図書
Rodolfo Gambini and Jorge Pullin
出版情報:
Oxford : Oxford University Press, 2011 viii, 183 p. ; 26 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Why quantize gravity? / 1：
Special relativity and electro-magnetism / 2：
Space and space-time / 2.1：
Relativistic mechanics / 2.2：
Maxwell theory / 2.3：
Some elements of general relativity / 3：
Introduction / 3.1：
General coordinates and vectors / 3.2：
Curvature / 3.3：
The Einstein equations and some of their solutions / 3.4：
Diffeomorphisms / 3.5：
The 3 + 1 decomposition / 3.6：
Triads / 3.7：
Hamiltonian mechanics including constraints and fields / 4：
Usual mechanics in Hamiltonian form / 4.1：
Constraints / 4.2：
Field theories / 4.3：
Totally constrained systems / 4.4：
Yang-Mills theories / 5：
Kinematical arena and dynamics / 5.1：
Holonomies / 5.2：
Quantum mechanics and elements of quantum field theory / 6：
Quantization / 6.1：
Elements of quantum field theory / 6.2：
Interacting quantum field theories and divergences / 6.3：
Renormalizability / 6.4：
General relativity in terms of Ashtekar's new variables / 7：
Canonical gravity / 7.1：
Ashtekar's variables: classical theory / 7.2：
Coupling to matter / 7.3：
Loop representation for general relativity / 7.4：
The loop transform and spin networks / 8.1：
Geometric operators / 8.2：
The Hamiltonian constraint / 8.3：
An application: loop quantum cosmology / 9：
The classical theory / 9.1：
Traditional Wheeler-De Witt quantization / 9.2：
Loop quantum cosmology / 9.3：
Semiclassical theory / 9.4：
Further developments / 10：
Black hole entropy / 10.1：
The master constraint and uniform discretizations / 10.2：
Spin foams / 10.3：
Possible observational effects? / 10.4：
The problem of time / 10.5：
Open issues and controversies / 11：
References
Index
Why quantize gravity? / 1：
Special relativity and electro-magnetism / 2：
Space and space-time / 2.1：
45.
図書
editors, Zhongyang Cheng ... [et al.]
目次情報:
Polymer-Based Smart Materials—Process, Properties, and Application / Part I：
Polymer-Based Nanocomposites / Part II：
Nanostructured Polymeric Materials-Synthesis and Assembly / Part III：
Polymer-Based Smart Materials—Process, Properties, and Application / Part I：
Polymer-Based Nanocomposites / Part II：
Nanostructured Polymeric Materials-Synthesis and Assembly / Part III：
46.
図書
Richard G. Lyons
出版情報:
Boston : Pearson Education, c2011 xxiii, 925 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
47.
ＡＶ
directed by Gene Kelly and Stanley Donen ; produced by Arthur Freed
出版情報:
[Tokyo] : Warner Home Video, [2011], c1952 1 videodisc (103 min.) ; 12 cm
子書誌情報:
loading…
所蔵情報:
loading…
48.
図書
editors, Pamela B. Vandiver ... [et al.]
目次情報:
続きを見る
Preface
Materials Research Society Symposium Proceedings
Ancient and Traditional Technologies: Analysis and Reconstruction
*An Evaluation of Decorative Techniques on a Red-figure Attic Vase from the Worcester Art Museum Using Reflectance Transformation Imaging (RTI) and Confocal Microscopy with a Special Focus on the "Relief Line" / Paula Artal-Isbrand ; Philip Klausmeyer|cWinifred Murray
Metallography, Microanalysis & Corrosion of the Athlit Ram / M.R. Notis ; M. Hoban ; D-N. Wang
Methods of Faience Manufacture in Antiquity: Investigation of Colorants and Technological Processes / Lesley Frame ; Donna Bright DeSorda ; Yuan-Chi Chiang ; Pamela Vandiver
Divergent Pottery Firing Practices at the Advent of the Early Bronze Age: The Social Integration of Crafts and Craftspeople at Kura-Araxes Sites in the Northeastern Caucasus / MaryFran Heinsch
The Earliest Bead Manufacture in the Americas at the Paleo-Indian Jones-Miller Site, Wray, Colorado / Amy Vandiver Gruhl
Influence of Heat Treatment on the Physical Transformations of Flint Used by Neolithic Societies in the Western Mediterranean / J. Roqué-Rosell ; L. Torchy ; C. Roucau ; V. Lea ; Ph. Colomban ; M. Regert ; D. Binder ; J. Pelegrin ; Ph. Sciau
*Invited Paper
*The History and Scientific Analysis of Pre-1856 Eastern Woodlands Quillwork Dyes / Christina L. Cole
*Non-destructive Raman Study on the Provenance and Firing Temperature of Guan Wares in the Song Dynasty / Lan Zhao ; Jianmin Miao ; Bairui Yang ; He Li
*Diffusion of Indigo Molecules Inside the Palygorskite Clay Channels / Catherine Dejoie ; Pauline Martinetto ; Eric Dooryhée ; Ross Brown ; Sylvie Blanc ; Patrice Bordat ; Pierre Strobel ; Philippe Odier ; Florence Porcher ; Manuel Sanchez del Rio ; Elsa Van Eslande ; Philippe Walter ; Michel Anne
Beyond the Word: Ink in the Islamic Manuscripts of Northern Nigeria / Michaelle L. Biddle
Technological Tradition and Change in Tibetan Silversmithing Techniques in Songpan, Sichuan Province, China / Chandra L. Reedy
Archaeological Science
*Thin Coatings of Ceramics: Some New Developments in France and in Europe / Y. Leon
†The Early Iron Age Metal Workshop at Tell Tayinat, Turkey / Jim Roames
Alloys from Anau: The Manipulation of Metallic Properties in 3rd Millennium B.C. Southern Central Asia / Nathaniel L. Erb-Satullo
†Beta-Analytic Inc. Outstanding Student Contributions in Conservation and Archeological Sciences
Conser Va Tion Science
*Non-invasive Characterization for Long-term Preservation of Cultural Heritage / F.G. France
*Preliminary Results of the Use of Hydroxyapatite as a Consolidant for Carbonate Stones / Enrico Sassoni ; Sonia Naidu ; George W. Scherer
*Research on the Corrosion of Bronze Weapons from the Pits of the Terracotta Warriors / Xiaomei Zhang ; Sixun Yuan ; Yongqi Wu ; Baofa Guo ; Jing Han
Structural Degradation of Third Millennium B.C.E. Archaeological Wood from Shahr-i Sukhta, Iran / Mohsen Mohammadi Achachluei ; Gholamreza Vatankhah
Technical Art History
*The Redecoration History of a Chinese Polychromed Guanyin Attributed to the llth -12th Century C.E. as Deduced from Stratigraphic Microanalysis / John Twilley ; Kathleen M. Garland
Non-destructive Study of the Independence Act of the Mexican Empire of 1821 / J.L. Ruvalcaba Sil ; M. Grediaga ; C. Gonzalez Tirado ; E. Hernandez Vazquez ; V. Aguilar Melo ; D. Ramirez Miranda ; M. Espinosa Pesqueira
*Space Heritage: The Apollo Heat Shield; Atmospheric Reentry Imprint on Materials' Surface / Hanna Szczepanowska ; Thomas G. Mathia
*Deterioration in Abstract Expressionist Paintings: Analysis of Zinc Oxide Paint Layers in Works from the Collection of the Hirshhorn Museum and Sculpture Garden, Smithsonian Institution / Christopher A. Maines ; Dawn Rogala ; Susan Lake ; Marion Mecklenburg
Funding, Methodology and Instrumentation
*Science at the Interface with Art / Lynnette D. Madsen ; Zeev Rosenzweig ; Kelsey D. Cook ; Michael J. Scott ; Amy M. Jacobson
*†Ultrafast Laser Cleaning of Daguerreotypes / Michael J. Abere ; Ryan D. Murphy ; Bianca Jackson ; Gerard Mourou ; Michel Menu ; John Mansfield ; Steven M. Yalisove
*Seeing Through Corrosion: Using Micro-focus X-ray Computed Tomography and Neutron Computed Tomography to Digitally "Clean" Ancient Bronze Coins / Hai-Yen Nguyen ; Steven Keating ; George Bevan ; Alexander Gabov ; Mark Daymond ; Burkhard Schillinger ; Alison Murray
Dinosaur and Crocodile Fossils from the Mesozoic of Portugal: Neutron Tomography and Synchrotron-radiation Based Micro-computed Tomography / Rui M.S. Martins ; Felix Beckmann ; Rui Castanhinha ; Octávio Mateus ; Philipp Klaus Pranzas
Preparation and Assessment of Superhydrophobic Organic-inorganic Hybrid Coatings for Conservation of Yungang Grottoes / Shipeng Tian ; Shaojun Liu ; Feng Gao ; Min Fan ; Jianguang Ren
*Interim Report on the Lightfastness Correlation Project / Mark D. Gottsegen
Interdisciplinary or Cross-Disciplinary Contributions
Reconstructing the Past to Prevent Future Loss: The Dyeing Industry of Pompeii / H.J. Hopkins
Microstructure and its Physicochemical Basis for the White Porcelain from Gongyi Kiln of Henan Province in China / Weidong Li ; Hongjie Luo ; Xinmin Sun ; Lanhua Liu ; Xiaoke Lu ; Zhiwen Zhao ; Musen Guo
Author Index
Subject Index
Preface
Materials Research Society Symposium Proceedings
Ancient and Traditional Technologies: Analysis and Reconstruction
49.
図書
Jeremy Harmer
50.
図書
edited by Stéphane Caron
出版情報:
Hoboken, N.J. : Wiley, c2011 xii, 856 p. ; 26 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Foreword
Preface
Contributors
Aliphatic Nucleophilic Substitution / Jade D. Nelson1：
Addition to Carbon-Heteroatom Multiple Bonds / Rajappa Vaidyanathan ; Carrie Brockway Wager2：
Addition to Carbon-Carbon Multiple Bonds / John A. Ragan3：
Nucleophilic Aromatic Substitution / Stephane Caron ; Arun Ghosh4：
Electrophilic Aromatic Substitution / 5：
Selected Metal-Mediated Cross-Coupling Reactions / Sally Gut Ruggeri ; Nathan D. Ide6：
Rearrangements / David H. B. Ripin7：
Eliminations / 8：
Reductions / Pascal Dube ; Kristin E. Price ; Shu Yu9：
Oxidations / David H. Brown Ripin10：
Selected Free Radical Reactions / 11：
Synthesis of "Nucleophilic" Organometallic Reagents / 12：
Synthesis of Common Aromatic Heterocycles / 13：
Access to Chirality / Robert W. Dugger14：
Synthetic Route Development of Selected Contemporary Pharmaceutical Drugs / 15：
Green Chemistry / Juan C. Colberg16：
Naming Carbocycles and Heterocycles / Heather N. Frost17：
pKa / 18：
General Solvent Properties / 19：
Practical Chemistry Concepts: Tips for the Practicing Chemist or Things They Don't Teach You in School / 20：
Functional Group Interconversion Index
Index
Foreword
Preface
Contributors
51.
図書
edited by Charalambos Baniotopoulos, Claudio Borri, Theodore Stathopoulos
52.
図書
edited by Yves M. Leroy, Florian K. Lehner
53.
図書
Anany Levitin and Maria Levitin
出版情報:
New York : Oxford University Press, c2011 xxi, 257 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Preface
Acknowledgments
List of Puzzles
Tutorial Puzzles
Main Section Puzzles
The Epigraph Puzzle: Who said what?
Tutorials / 1：
General Strategies for Algorithm Design
Analysis Techniques
Puzzles / 2：
Easier Puzzles (#1 to #50)
Puzzles of Medium Difficulty (#51 to #110)
Harder Puzzles (#111 to #150)
Hints / 3：
Solutions / 4：
References
Design Strategy and Analysis Index
Index of Terms and Names
Preface
Acknowledgments
List of Puzzles
54.
雑誌
Vibration Institute
出版情報:
Clarendon Hills, Ill. : Vibration Institute, -c2011 v. ; 28 cm
巻次年月次:
-35th (June 21/24, 2011)
子書誌情報:
loading…
所蔵情報:
loading…
55.
図書
ナギーブ・マフフーズ著 ; 塙治夫訳
出版情報:
東京 : 国書刊行会, 2011.12-2012.5 3冊 ; 23cm
子書誌情報:
loading…
所蔵情報:
loading…
56.
図書
Birgit Schmolke ; foreword by Uwe Eric Laufenberg
57.
図書
edited by Cathryn Carson, Alexei Kojevnikov, Helmuth Trischler
出版情報:
London : Imperial College Press , Hackensack : World Scientific, c2011 xvi, 542 p. ; 26 cm
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Acknowledgments
Contributors to this Volume
The Forman Thesis: 40 Years After / Cathryn Carson ; Alexei Kojevnikov ; Helmuth Trischler
Cold War Culture, History of Science and Postmodernity: Engagement of an Intellectual in a Hostile Academic Environment / J.L. Heilbron
Selected Chronological Bibliography of Paul Forman's Scholarship
The Forman Thesis / Part I：
Scientific Internationalism and the Weimar Physicists: The Ideology and its Manipulation in Germany after World War I / Paul Forman
The Financial Support and Political Alignment of Physicists in Weimar Germany
Weimar Culture, Causality, and Quantum Theory, 1918-27: Adaptation by German Physicists and Mathematicians to a Hostile Intellectual Environment
Kausalität, Anschaulichkeit, and Individualität, or, How Cultural Values Prescribed the Character and the Lessons Ascribed to Quantum Mechanics
The Reception of an Acausal Quantum Mechanics in Germany and Britain
Quantum Physics in its Historical Contexts / Part II：
Paul Forman and the Environment and Practice of Quantum History / David C. Cassidy
Culture and Mechanics in Germany, 1869-1918: A Sketch / Richard Staley
The Establishment of a Network of Reactionary Physicists in the Weimar Republic / Stefan L. Wolff
Philosophical Rhetoric in Early Quantum Mechanics 1925-27: High Principles, Cultural Values and Professional Anxieties
'The Shackles of Causality': Physics and Philosophy in the Netherlands in the Interwar Period / Kai Eigner ; Frans van Lunteren
Crisis, Measurement Problems and Controversy in Early Quantum Electrodynamics: The Failed Appropriation of Epistemology in the Second Quantum Generation / Anja Skaar Jacobsen
Causality in Physics and in the History of Physics: A Comparison of Bohm's and Forman's Papers / Olival Freire
Science and Culture: Cross-Disciplinary Debates / Part III：
Forman Reformed, Again / M. Norton Wise
From Kosmos to Koralle: On the Culture of Science Reading in Imperial and Weimar Germany / Arne Schirrmacher
Living Ambiguity: Speculative Bodies of Science in Weimar Culture / Cornelius Borck
Science and Politics: Pathology in Weimar Germany (1918-33) / Cay-Rüdiger Prüll
Jordan alias Domeier: Science and Cultural Politics in Late Weimar Conservatism / Richard H. Beyler
The Causality Debates of the Interwar Years and Their Preconditions: Revisiting the Forman Thesis from a Broader Perspective / Michael Stöltzner
Modem or Anti-modern Science? Weimar Culture, Natural Science and the Heidegger-Heisenberg Exchange
Acknowledgments
Contributors to this Volume
The Forman Thesis: 40 Years After / Cathryn Carson ; Alexei Kojevnikov ; Helmuth Trischler
58.
図書
edited by Craig A. Cruzen, Johanna M. Gunn, Patrice J. Amadieu
59.
図書
John A. Cornell
目次情報:
続きを見る
Preface
Introduction / 1：
The Original Mixture Problem / 1.1：
A Pesticide Example Involving Two Chemicals / 1.2：
General Remarks About Response Surface Methods / 1.3：
An Historical Perspective / 1.4：
References and Recommended Reading
Questions
Testing for Nonlinear Blending of the Two Chemicals Vendex and Kelthane While Measuring the Average Percent Mortality (APM) of Mites / Appendix 1A：
The Original Mixture Problem: Designs and Models for Exploring the Entire Simplex Factor Space / 2：
The Simplex-Lattice Designs / 2.1：
The Canonical Polynomials / 2.2：
The Polynomial Coefficients As Functions of the Responses at the Points of the Lattices / 2.3：
Estimating The Parameters in the {q, m} Polynomials / 2.4：
Properties of the Estimate of the Response, y(x) / 2.5：
A Three-Component Yarn Example Using A {3, 2} Simplex-Lattice Design / 2.6：
The Analysis of Variance Table / 2.7：
Analysis of Variance Calculations of the Yarn Elongation Data / 2.8：
The Plotting of Individual Residuals / 2.9：
Testing the Degree of the Fitted Model: A Quadratic Model or Planar Model? / 2.10：
Testing Model Lack of Fit Using Extra Points and Replicated Observations / 2.11：
The Simplex-Centroid Design and Associated Polynomial Model / 2.12：
An Application of a Four-Component Simplex-Centroid Design: Blending Chemical Pesticides for Control of Mites / 2.13：
Axial Designs / 2.14：
Comments on a Comparison Made Between An Augmented Simplex-Centroid Design and a Full Cubic Lattice for Three Components Where Each Design Contains Ten Points / 2.15：
Questions to Consider at the Planning Stages of a Mixture Experiment / 2.16：
Summary / 2.18：
Least-Squares Estimation Formula for the Polynomial Coefficients and Their Variances: Matrix Notation / Appendix 2A：
Cubic and Quartic Polynomials and Formulas for the Estimates of the Coefficients / Appendix 2B：
The Partitioning of the Sources in the Analysis of Variance Table When Fitting the Scheffé Mixture Models / Appendix 2C：
Multiple Constraints on the Component Proportions / 3：
Lower-Bound Restrictions on Some or All of the Component Proportions / 3.1：
Introducing L-Pseudocomponents / 3.2：
A Numerical Example of Fitting An L-Pseudocomponent Model / 3.3：
Upper-Bound Restrictions on Some or All Component Proportions / 3.4：
An Example of the Placing of an Upper Bound on a Single Component: The Formulation of a Tropical Beverage / 3.5：
Introducing U-Pseudocomponents / 3.6：
The Placing of Both Upper and Lower Bounds on the Component Proportions / 3.7：
Formulas For Enumerating the Number of Extreme Vertices, Edges, and Two-Dimensional Faces of the Constrained Region / 3.8：
McLean and Anderson's Algorithm For Calculating the Coordinates of the Extreme Vertices of a Constrained Region / 3.9：
Multicomponenl Constraints / 3.10：
Some Examples of Designs for Constrained Mixture Regions: CONVRT and CONAEV Programs / 3.11：
Multiple Lattices for Major and Minor Component Classifications / 3.12：
The Analysis of Mixture Data / 4：
Techniques Used in the Analysis of Mixture Data / 4.1：
Test Statistics for Testing the Usefulness of the Terms in the Scheffé Polynomials / 4.2：
Model Reduction / 4.3：
An Example of Reducing the System from Three to Two Components / 4.4：
Screening Components / 4.5：
Other Techniques Used to Measure Component Effects / 4.6：
Leverage and the Hat Matrix / 4.7：
A Three-Component Propellant Example / 4.8：
Other Mixture Model Forms / 4.9：
The Inclusion of Inverse Terms in the Scheffé Polynomials / 5.1：
Fitting Gasoline Octane Numbers Using Inverse Terms in the Model / 5.2：
An Alternative Model Form for Modeling the Additive Blending Effect of One Component In a Multicomponent System / 5.3：
A Biological Example on the Linear Effect of a Powder Pesticide In Combination With Two Liquid Pesticides Used for Suppressing Mite Population Numbers / 5.4：
The Use of Ratios of Components / 5.5：
Cox's Mixture Polynomials: Measuring Component Effects / 5.6：
An Example Illustrating the Fits of Cox's Model and Scheffé's Polynomial / 5.7：
Fitting A Slack-Variable Model / 5.8：
A Numerical Example Illustrating The Fits of Different Reduced Slack-Variable Models: Tint Strength of a House Paint / 5.9：
The Inclusion of Process Variables in Mixture Experiments / 5.10：
Designs Consisting of Simplex-Lattices and Factorial Arrangements / 6.1：
Measuring the Effects of Cooking Temperature and Cooking Time on the Texture of Patties Made from Two Types of Fish / 6.2：
Mixture-Amount Experiments / 6.3：
Determining the Optimal Fertilizer Blend and Rate for Young Citrus Trees / 6.4：
A Numerical Example of the Fit of a Combined Model to Data Collected on Fractions of the Fish Patty Experimental Design / 6.5：
Questions Raised and Recommendations Made When Fitting a Combined Model Containing Mixture Components and Other Variables / 6.6：
Calculating the Estimated Combined Mixture Component-Process Variable Model of Eq. (6.10) Without the Computer / 6.7：
A Review of Least Squares and the Analysis of Variance / 7：
A Review of Least Squares / 7.1：
The Analysis of Variance / 7.2：
A Numerical Example: Modeling the Texture of Fish Patties / 7.3：
The Adjusted Multiple Correlation Coefficient / 7.4：
The Press Statistic and Studentized Residuals / 7.5：
Testing Hypotheses About the Form of the Model: Tests of Significance / 7.6：
Bibliography
Answers to Selected Questions
Appendix
Index
Preface
Introduction / 1：
The Original Mixture Problem / 1.1：
60.
図書
Garrett M. Fitzmaurice, Nan M. Laird, James H. Ware
61.
図書
Clifford Henry Taubes
62.
雑誌
中国金属学会主办
出版情報:
北京 : 冶金工业出版社, -2011.5
巻次年月次:
-63巻2期 (2011.2)
子書誌情報:
loading…
所蔵情報:
loading…
63.
雑誌
上海市能源研究所, 上海市电力公司, 上海市工程热物理学会主办
出版情報:
上海 : 《电力与能源》编辑部, 2011- 冊 ; 28cm
巻次年月次:
1巻1期 ([2011.2])-
子書誌情報:
loading…
所蔵情報:
loading…
64.
雑誌
北京矿冶研究总院主办
出版情報:
北京 : 北京矿冶研究总院《有色金属工程》编辑部, 2011- 冊 ; 30cm
巻次年月次:
1巻1期 (2011.6)-
子書誌情報:
loading…
所蔵情報:
loading…
65.
雑誌
Society of Automotive Engineers
出版情報:
Warrendale, Pa. : SAE International, 2011- v. ; 28 cm
巻次年月次:
Vol. 1, no. 1 (Mar. 2011)-
子書誌情報:
loading…
所蔵情報:
loading…
66.
雑誌
出版情報:
Essen : Verlag Glückauf, -2011
巻次年月次:
-147. Jahrg., Nr. 12 (Dez. 2011)
子書誌情報:
loading…
所蔵情報:
loading…
67.
雑誌
GAMI (Association) ; Association française de mécanique
出版情報:
Paris : Elsevier, -2011 v. ; 28 cm
巻次年月次:
-v. 12, no 6 (Dec. 2011)
子書誌情報:
loading…
所蔵情報:
loading…
68.
コンピュータファイル
Offshore Technology Conference
出版情報:
Richardson, Tex. : Offshore Technology Conference, -c2011 computer laser optical disks ; 4 3/4 in
巻次年月次:
-2011 (2011)
子書誌情報:
loading…
所蔵情報:
loading…
69.
ＥＢ
John Daniel Aycock
出版情報:
Springer eBooks Computer Science , Springer US, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
Getting There / 2：
Installation / 2.1：
Explicit, Voluntary Installation / 2.1.1：
Drive-by Downloads, User Involvement / 2.1.2：
Drive-by Downloads, No User Involvement / 2.1.3：
Installation via Malware / 2.1.4：
Startup / 2.2：
Application-Specific Startup / 2.2.1：
GUI Startup / 2.2.2：
System Startup / 2.2.3：
Kernel Startup / 2.2.4：
Defenses / 2.2.5：
Staying There / 3：
Avoiding Detection / 3.1：
Basic Detection Avoidance / 3.1.1：
Anti-Spyware / 3.1.2：
Advanced Detection Avoidance: Rootkits / 3.1.3：
Avoiding Uninstall / 3.2：
Passive Avoidance / 3.2.1：
Active Avoidance / 3.2.2：
Keylogging / 4：
User Space Keylogging / 4.1：
Polling / 4.1.1：
Event Copying / 4.1.2：
Event Monitoring / 4.1.3：
User Space Keylogging Defenses / 4.2：
Authentication / 4.3：
Phoning Home / 5：
Push vs. Pull / 5.1：
Finding Home / 5.2：
Steganography / 5.3：
Information Leaking Defenses / 5.4：
Advertising / 6：
Types of Advertisement / 6.1：
Banner Advertisement / 6.1.1：
Banner Advertisement with Pull-down Menu / 6.1.2：
Expandable Banner Advertisement / 6.1.3：
Pushdown Banner Advertisement / 6.1.4：
Pop-up Advertisement / 6.1.5：
Pop-under Advertisement / 6.1.6：
Floating Advertisement / 6.1.7：
Tear-back Advertisement / 6.1.8：
In-text Advertisement / 6.1.9：
Transition Advertisement / 6.1.10：
Video Advertisements / 6.1.11：
Intent and Content / 6.2：
Advertisement Implementation / 7：
Implementation Location / 7.1：
Implementation on the User Machine / 7.1.1：
Implementation in the Network / 7.1.2：
Implementation near the User Machine / 7.1.3：
Implementation on the Server / 7.1.4：
Choosing Keywords / 7.2：
Blocking Advertisements / 7.3：
Pop-up Blocking / 7.3.1：
General Advertisement Blocking / 7.3.2：
Blocker Evasion and Blocker Blocking / 7.3.3：
Tracking Users
Cookies / 8.1：
Other Browser-Related Tracking Methods / 8.1.1：
User Profiling / 8.2：
Cognitive Styles, Mood, and Personality / 8.2.1：
Future Actions / 8.2.2：
Demographic Information / 8.2.3：
Social Networks / 8.2.4：
Real World Activities / 8.2.5：
Physical of Location / 8.2.6：
Search Terms and keywords / 8.2.7：
Disinterests / 8.2.8：
Conclusion / 9：
References
Index
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
70.
ＥＢ
Massimo Cafaro, Giovanni Aloisio, Massimo Cafaro
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
71.
ＥＢ
Erik Champion
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introducing Virtual Travel / 1：
Virtual Environments / 1.1：
Moving Past the Picture Frame / 1.2：
Being Not-There May Be More Achievable / 1.3：
Being Not-There May Safeguard the Place / 1.4：
Share by Being Not-There / 1.5：
The Implications for Virtual Travel / 1.6：
Learning via Virtual Travel / 1.7：
The Thorny Issue of Engagement / 1.8：
Four Major Problems / 1.9：
Virtual Reality and Cultural Significance / 1.10：
References
Technological Limitations / 2：
Lack of Widely Distributed Technology / 2.2：
Size, Speed and Rendering Issues / 2.3：
Lack of Meaningful Content / 2.4：
We Experience More than Tangible Objects / 2.5：
The World Is More than Visual Stimuli / 2.6：
Different People See Different Things / 2.7：
Personalization Is Missing / 2.8：
Lack of Contextual Evaluation / 2.9：
Summary of Implications for Virtual Environments / 2.10：
Virtual Places / 3：
Place in a Virtual Space / 3.1：
Experiential Types of Place / 3.2：
Place as Unique Experience / 3.2.1：
Sublime Places of Terror and Awe / 3.2.2：
Evocative and Atmospheric Place / 3.2.3：
Place as Stage and Playground / 3.2.4：
Place as Trace and Palimpsest / 3.2.5：
Requirements for Creating a Sense of Place / 3.3：
Place Requires Embodiment / 3.3.1：
Place Requires Paths and Centers / 3.3.2：
Response to Place Requires Ongoing Feedback / 3.3.3：
Place Requires Social 'Embeddedness' / 3.3.4：
Place Is Mark-Able / 3.3.5：
Evoking Place via Arts and Sciences / 3.4：
Architecture / 3.4.1：
Art and Artifacts / 3.4.2：
Literature / 3.4.3：
Film / 3.4.4：
Cultural Geography in Place and Culture / 3.4.5：
Cyberspace Critics and Criteria / 3.5：
Cyberspaces Lack Limits / 3.5.1：
Cyberspaces Lack 'Play' Through Objects / 3.5.2：
Cyberspaces Lack Life History / 3.5.3：
Cyberspace Concepts and Terminology / 3.6：
Suggestions for Creating Cyberplace / 3.6.1：
Three Types of Virtual Environments / 3.7：
Inert 'Explorative' Environments / 3.7.1：
Activity-Based Environments / 3.7.2：
Cultural or 'Hermeneutic' Environments / 3.7.3：
Matching Virtual Environments and Technologies / 3.8：
Terms / 3.9：
Summary of Place Theory / 3.10：
Cultural and Social Presence / 4：
Why Photorealism Does Not Convey Cultural Significance / 4.1：
Virtual Heritage Is Not Realism / 4.1.1：
Phobic Triggers and Experiential Realism / 4.1.2：
Archaeology and History Is Not Set in Concrete / 4.1.3：
Confusion over Cultural Presence / 4.2：
What Is Culture? / 4.3：
What Is a Culturally Significant Place? / 4.3.1：
How Culture Is Learnt / 4.3.2：
Social and Cultural Presence / 4.3.3：
Hermeneutic Richness, Cultural Agency / 4.4：
Culture in Virtual Worlds / 4.5：
Useful Cultural Presence / 4.6：
Summary of Cultural Presence Theory / 4.7：
Game-Style Interaction / 5：
Defining Games / 5.1：
Defining Game-Style Interaction / 5.2：
Useful Features of Games / 5.2.1：
Engaging Features of Games / 5.2.2：
Case Study: Heretic II / 5.3：
Dynamic Places / 5.4：
Dynamic Place Design: Unreal Palenque and Xibalba / 5.4.1：
Racing in a Tent: Spatial and Haptic Immersion / 5.4.2：
Constrained Tasks and Goals / 5.5：
Interaction Modes in Palenque Using Adobe Atmosphere / 5.5.1：
Constrained Tasks in Journey to the West / 5.5.2：
Social Agency: Avatars Agents and Actors / 5.6：
Agency in a Marco Polo Game / 5.6.1：
Artifacts / 5.7：
Mapping to Aid Navigation for Egyptian Mythology / 5.7.1：
Mapping Through Drawing / 5.7.2：
Game-Based Learning / 5.8：
Procedural Versus Prescriptive Learning / 5.8.1：
Game Genres and Cultural Learning / 5.9：
Snakes and Ladders / 5.9.1：
Different Perspectives per Player / 5.9.2：
Role Playing / 5.9.3：
The Spy Game / 5.9.4：
Issues of Time: Interaction Versus Historical Authenticity / 5.10：
Ancillary Non-celebrity Characters / 5.10.1：
Autonomous Action, Immutable Results / 5.10.2：
Groundhog Day / 5.10.3：
Possible Worlds / 5.10.4：
Diary of Emotional Development / 5.10.5：
Surfing Memetic Drift / 5.10.6：
Augment History with Real World / 5.10.7：
Augmented Cultural Exchange / 5.10.8：
Game-Based Evaluation / 5.10.9：
Summary of Games-Style Interaction / 5.12：
Playing with the Past / 6：
What Is Virtual Heritage? / 6.1：
The Problem of Culture / 6.2：
Virtual Heritage Case Studies / 6.3：
Art History in Online Worlds: Santa Maria, Italy / 6.3.1：
Virtual Forbidden City, China / 6.3.2：
Dordrecht Monastery, The Netherlands / 6.3.3：
Urban Design and Virtual Sambor, Cambodia / 6.3.4：
FAS Palace, Mesopotamia / 6.3.5：
Culture and History Inside a Game: Palestine and Italy / 6.3.6：
Virtual Egyptian Temple / 6.3.7：
Dome Visualization: Mawson's Hut, Antarctica / 6.3.8：
Heritage Tour: Macquarie Lighthouse, Australia / 6.3.9：
Panoramic Explorations: PLACE-Hampi, India / 6.3.10：
Performance and Archaeology: Spaces of Mjalnar, Malta / 6.3.11：
Summary / 6.4：
Augmenting the Present With the Past / 7：
What Is Augmented Reality? / 7.1：
Blends of Augmented Reality and Augmented Virtuality / 7.2：
Inserted Walk-About Reality, University of South Australia / 7.2.1：
Overlaid Walk-About Reality, Columbia University / 7.2.2：
Bubbled Reality Example 3: Mawson's Huts, Antarctica / 7.2.3：
Other Types of Mixed Reality / 7.3：
Data-Streamed Virtual Reality / 7.3.1：
Augmented Virtuality / 7.3.2：
Audio Augmented Reality / 7.3.3：
Participant and Audience-Augmented Virtuality / 7.3.4：
Augmented Reality and Virtual Heritage / 7.4：
Evaluating Virtual Heritage / 7.5：
Testing That Which Is Not Yet Fully Tested / 8.1：
Evaluating Cultural Learning / 8.2：
Virtual Heritage Evaluation / 8.3：
What Types of Evaluation Are There? / 8.4：
Expert Testing / 8.4.1：
Content and Media Comparison Studies / 8.4.2：
Physiological Testing / 8.4.3：
Task Performance / 8.4.4：
Surveys/Questionnaires / 8.4.5：
Ethnographic Evaluation / 8.4.6：
Evaluating Virtual Heritage Environments / 8.5：
Task Performance and Game Evaluation / 8.5.1：
Statistical Methods Suitable for Virtual Heritage Projects / 8.5.2：
Evaluation Case Study: Palenque / 8.6：
Pilot Study / 8.6.1：
Evaluation / 8.6.2：
Evaluation Questions / 8.6.3：
Schedule of Evaluation / 8.6.4：
Observations / 8.6.5：
Summary of Evaluation for Virtual Heritage / 8.7：
Conclusion / 9：
Cultural Understanding Through Digital Interactivity / 9.1：
Future Research / 9.2：
Index
Introducing Virtual Travel / 1：
Virtual Environments / 1.1：
Moving Past the Picture Frame / 1.2：
72.
ＥＢ
Damith C.; Sheng, Quan Z.; Zeadally, Sherali Ranasinghe, Damith C. Ranasinghe, Quan Z. Sheng, Sherali Zeadally
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Future of RFID / Part I：
The Next Generation of RFID Technology / Peter H. Cole ; Leigh H. Turner ; Zhonghao Hu ; Damith C. Ranasinghe
Breakthrough Towards the Internet of Things / Leonardo W. F. Chaves ; Zoltán Nochta
Threats to Networked RFID Systems / Aikaterini Mitrokotsa ; Michael Beye ; Pedro Peris-Lopez
Data Management / Part II：
Temporal and Location Based RFID Event Data Management and Processing / Fusheng Wang ; Peiya Liu
Event Management of RFID Data Streams: Fast Moving Consumer Goods Supply Chains / John P. T. Mo ; Xue Li
Semantic-Based RFID Data Management / Roberto De Virgilio ; Eugenio Di Sciascio ; Michele Ruta ; Floriano Scioscia ; Riccardo Torlone
RFID Data Cleaning for Shop Floor Applications / Holger Ziekow ; Lenka Ivantysynova ; Oliver Günter
Global Information Architectures and Systems / Part III：
Autonomous Control and the Internet of Things: Increasing Robustness, Scalability and Agility in Logistic Networks / Dieter Uckelmann ; M.-A. Isenberg ; M. Teucke ; H. Halfar ; B. Scholz-Reiter
A Design for Secure Discovery Services in the EPCglobal Architecture / José J. Cantero ; Miguel A. Guijarro ; Antonio Plaza ; Guillermo Arrebola ; Janie Baños
Evaluating Discovery Services Architectures in the Context of the Internet of Things / Elias Polytarchos ; Stelios Eliakis ; Dimitris Bochtis ; Katerina Pramatari
RFID-Enhanced Ubiquitous Knowledge Bases: Framework and Approach
RFID Middleware Systems: A Comparative Analysis / Nova Ahmed ; Umakishore Ramachandran
Innovative Applications / Part IV：
RFID in the Apparel Retail Industry: A Case Study from Galeria Kaufhof / Jasser Al-Kassab ; Philipp Blome ; Gerd Wolfram ; Frédéric Thiesse ; Elgar Fleisch
The Potential of RFID Technology in the Textile and Clothing Industry: Opportunities, Requirements and Challenges / Elena Legnani ; Sergio Cavalieri ; Roberto Pinto ; Stefano Dotti
A New Security Paradigm for Anti-Counterfeiting: Guidelines and an Implementation Roadmap / Mikko Lehtonen
Green Logistics Management / Yoon S. Chang ; Chang H. Oh
Object Oriented Business Process Modelling in RFID Applied Computing Environments / Xiaohui Zhao ; Chengfei Liu ; Tao Lin
Business and Investment / Part V：
Legal Regulation and Consumers: The RFID Industry's Perspective / Daniel Ronzani
Investment Evaluation of RFID Technology Applications: An Evolution Perspective / Andriana Dimakopoulou ; Angeliki Karagiannaki ; George Papadopoulos ; Antonis Paraskevopoulos
An Analysis of the Impact of RFID Technology on Inventory Systems / Yacine Rekik
Index
Future of RFID / Part I：
The Next Generation of RFID Technology / Peter H. Cole ; Leigh H. Turner ; Zhonghao Hu ; Damith C. Ranasinghe
Breakthrough Towards the Internet of Things / Leonardo W. F. Chaves ; Zoltán Nochta
73.
ＥＢ
Alexander Dinghas, Cabiria Andreian Cazacu, Lenwood S. Heath, Rolf Herman Nevanlinna, Naren Ramakrishnan
出版情報:
Springer eBooks Computer Science , Springer US, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Sequences / Part I：
Modern BLAST Programs / Jian Ma ; Louxin Zhang
Introduction / 1：
Available Implementations / 2：
Algorithm Description / 3：
BLAST Statistics / 4：
Examples / 5：
Advanced Topics / 6：
Exercises / 7：
Further Reading / 8：
References
Practical Multiple Sequence Alignment / Tobias Rausch ; Knut Reinert
History of the Problem
Sequence Alignment Statistics / John L. Spouge
Dynamic Programming with Independent Random Inputs
The Extreme-Value Distributions for Maxima
The Poisson Approximation for Counting Rare Events
Pairwise Sequence Alignment
Islands in Local Alignment
The Finite-Size Correction in Gapped Local Alignment
The Independent Diagonals Approximation
The Combinatorial Approximation / 9：
Phylogenetics / Part II：
Practical Implications of Coalescent Theory / Paul Marjoram ; Paul Joyce
Introduction - What is the coalescent?
Motivating Problems
Implications of the Coalescent
Software Review
Exercises for the reader
Graph Model of Coalescence with Recombinations / Laxmi Parida
Random Graph Framework: Pedigree Graph
Pedigree Subgraphs
Unilinear Transmission: Monochromatic Subgraphs
Genetic Exchange Model: Mixed Subgraph
Topological definition of GMRCA: Least Common Ancestor with Ancestry (LCAA)
Discussion
Phylogenetic Trees From Sequences / Paul Ryvkin ; Li-San Wang
Basics
Sequence evolution
Distance-based phylogeny reconstruction
Maximum parsimony
Maximum likelihood
Multiple phylogenies: comparison, consensus, and confidence
Software
Further reading
Exercise
Evolutionary Phylogenetic Networks: Models and Issues / Luay Nakhleh
Phylogenetic Networks and the Trees Within
Optimization Criteria for Inferring and Evaluating Phylogenetic Networks
To Network, or Not to Network, That Is the Question
Genome Wide Association Studies / Paola Sebastiani ; Nadia Solovieff
An overview of population genetics
Genome-Wide Association Studies
Resources
Proteins: Structure, Function, and Biochemistry / Part III：
Novel Perspectives on Protein Structure Prediction / Bonnie Berger ; Jérôme Waldispühl
Modeling transmembrane β-barrel structure
Energy model
Algorithms
Applications
Sampling the local neighborhood of 3D structures
Stochastic Simulation for Biochemical Systems / Yang Cao
Networks / Part IV：
Cellular Response Networks / Christopher D. Lasher ; Christopher L. Poirel ; T. M. Murali
Algorithm Descriptions
Advanced Topics: Comparing Response Networks
Outlook and Further Reading
Identification of Modules in Protein-Protein Interaction Networks / Sinan Erten ; Mehmet Koyutürk
Biological Data Management and Mining / Part V：
Designing Microarray Experiments / Jacqui Milton ; Ling Wang
Designed experiments versus observational studies
Discovery of Differentially Expressed Genes
Building prognostic models
Running the experiment
Advanced topics and further reading
Matrix and Tensor Decompositions / Karthik Devarajan
Non-negative Matrix Factorization
Singular Value Decomposition
Other Matrix Decompositions
Comparison of the Methods
Tensor Decompositions
Concluding Remarks
Practical Applications of the Gene Ontology Resource / Rachael P. Huntley ; Emily C. Dimmer ; Rolf Apweiler
GO Annotations
Viewing the GO and its annotations
Use of GO in the literature
Popular methods for supplementing and grouping GO annotations
The effective use of GO for large-scale analyses
Index
Sequences / Part I：
Modern BLAST Programs / Jian Ma ; Louxin Zhang
Introduction / 1：
74.
ＥＢ
Francesco Ricci, Paul B. Kantor, Lior Rokach, Bracha Shapira
出版情報:
Springer eBooks Computer Science , Springer US, 2011
子書誌情報:
loading…
所蔵情報:
loading…
75.
ＥＢ
Guanghui Wang, Q. M. Jonathan Wu
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction to 3D Computer Vision / 1：
Introduction / 1.1：
Imaging Geometry and Camera Models / 1.2：
Camera Models / 1.2.1：
Single View Imaging Geometry / 1.2.2：
Single View Metrology and Reconstruction / 1.3：
Measurement on Space Planes / 1.3.1：
Camera Calibration from a Single View / 1.3.2：
Measurement in 3D Space / 1.3.3：
Examples of Single View Reconstruction / 1.3.4：
Two-View Geometry and 3D Reconstruction / 1.4：
Epipolar Geometry and Fundamental Matrix / 1.4.1：
Three Dimensional Reconstruction / 1.4.2：
Reconstruction of Structured Scenes from Two Images / 1.5：
Plane Detection Strategy / 1.5.1：
Camera Calibration and Reconstruction / 1.5.2：
Closure Remarks / 1.6：
Conclusion / 1.6.1：
Review Questions / 1.6.2：
References
Simplified Camera Projection Models / 2：
Affine Projection Model / 2.1：
Quasi-Perspective Projection / 2.3：
Error Analysis of Different Models / 2.3.1：
Experimental Evaluations / 2.4：
Imaging Errors / 2.4.1：
Influence of Imaging Conditions / 2.4.2：
Geometrical Properties of Quasi-Perspective Projection / 2.5：
One-View Geometrical Property / 3.1：
Two-View Geometrical Property / 3.3：
Fundamental Matrix / 3.3.1：
Plane Induced Homography / 3.3.2：
Computation with Outliers / 3.3.3：
3D Structure Reconstruction / 3.4：
Evaluations on Synthetic Data / 3.5：
Fundamental Matrix and Homography / 3.5.1：
Outlier Removal / 3.5.2：
Reconstruction Result / 3.5.3：
Evaluations on Real Images / 3.6：
Test on Stone Dragon Images / 3.6.1：
Test on Medusa Head Images / 3.6.2：
Introduction to Structure and Motion Factorization / 3.7：
Problem Definition / 4.1：
Structure and Motion Factorization of Rigid Objects / 4.3：
Rigid Factorization Under Orthographic Projection / 4.3.1：
Rigid Factorization Under Perspective Projection / 4.3.2：
Structure and Motion Factorization of Nonrigid Objects / 4.4：
Bregler's Deformation Model / 4.4.1：
Nonrigid Factorization Under Affine Models / 4.4.2：
Nonrigid Factorization Under Perspective Projection / 4.4.3：
Factorization of Multi-Body and Articulated Objects / 4.5：
Multi-Body Factorization / 4.5.1：
Articulated Factorization / 4.5.2：
Perspective 3D Reconstruction of Rigid Objects / 4.6：
Previous Works on Projective Depths Recovery / 5.1：
Epipolar Geometry Based Algorithm / 5.2.1：
Iteration Based Algorithm / 5.2.2：
Hybrid Projective Depths Recovery / 5.3：
Initialization and Optimization / 5.3.1：
Selection of Reference Frames / 5.3.2：
Camera Calibration and Euclidean Reconstruction / 5.4：
Camera Self-calibration / 5.4.1：
Euclidean Reconstruction / 5.4.2：
Outline of the Algorithm / 5.4.3：
Projective Depths Recovery / 5.5：
Calibration and Reconstruction / 5.5.2：
Evaluations on Real Sequences / 5.6：
Test on Model House Sequence / 5.6.1：
Test on Stone Post Sequence / 5.6.2：
Test on Medusa Head Sequence / 5.6.3：
Perspective 3D Reconstruction of Nonrigid Objects / 5.7：
Perspective Depth Scales and Nonrigid Factorization / 6.1：
Perspective Depth Scales / 6.2.1：
Nonrigid Affine Factorization / 6.2.2：
Perspective Stratification / 6.3：
Linear Recursive Estimation / 6.3.1：
Nonlinear Optimization Algorithm / 6.3.2：
Reconstruction Results / 6.4：
Convergence and Performance Comparisons / 6.4.2：
Experiments with Real Sequences / 6.5：
Test on Franck Sequence / 6.5.1：
Test on Scarf Sequence / 6.5.2：
Rotation Constrained Power Factorization / 6.6：
Power Factorization for Rigid Objects / 7.1：
Power Factorization for Nonrigid Objects / 7.3：
Initialization and Convergence Determination / 7.3.1：
Sequential Factorization / 7.3.3：
Reconstruction Results and Evaluations / 7.4：
Convergence Property / 7.4.2：
Test on Grid Sequence / 7.4.3：
Test on Quilt Sequence / 7.5.2：
Stratified Euclidean Reconstruction / 7.6：
Deformation Weight Constraint / 8.1：
Nonrigid Factorization / 8.2.1：
Geometrical Explanation / 8.2.2：
Affine Structure and Motion Recovery / 8.3：
Constrained Power Factorization / 8.3.1：
Initalization and Convergence Determination / 8.3.2：
Segmentation and Stratification / 8.4：
Deformation Detection Strategy / 8.4.1：
Stratification to Euclidean Space / 8.4.2：
Implementation Outline / 8.4.3：
Convergence Property and Segmentation / 8.5：
Test on Toy Sequence / 8.6：
Quasi-Perspective Factorization / 8.7：
Background on Factorization / 9.1：
Quasi-Perspective Rigid Factorization / 9.3：
Euclidean Upgrading Matrix / 9.3.1：
Algorithm Outline / 9.3.2：
Quasi-Perspective Nonrigid Factorization / 9.4：
Problem Formulation / 9.4.1：
Evaluation on Rigid Factorization / 9.4.2：
Evaluation on Nonrigid Factorization / 9.5.2：
Evaluations on Real Image Sequences / 9.6：
Test on Fountain Base Sequence / 9.6.1：
Projective Geometry for Computer Vision / 9.6.2：
2D Projective Geometry / A.1：
Points and Lines / A.1.1：
Conics and Duel Conics / A.1.2：
2D Projective Transformation / A.1.3：
3D Projective Geometry / A.2：
Points, Lines, and Planes / A.2.1：
Projective Transformation and Quadrics / A.2.2：
Matrix Decomposition / Appendix B：
Singular Value Decomposition / B.1：
Properties of SVD Decomposition / B.1.1：
Low-Rank Matrix Approximation / B.1.2：
QR and RQ Decompositions / B.2：
Symmetric and Skew-Symmetric Matrix / B.3：
Cross Product / B.3.1：
Cholesky Decomposition / B.3.2：
Extended Cholesky Decomposition / B.3.3：
Numerical Computation Method / Appendix C：
Linear Least Squares / C.1：
Full Rank System / C.1.1：
Deficient Rank System / C.1.2：
Nonlinear Estimation Methods / C.2：
Bundle Adjustment / C.2.1：
Newton Iteration / C.2.2：
Levenberg-Marquardt Algorithm / C.2.3：
Glossary
Index
Introduction to 3D Computer Vision / 1：
Introduction / 1.1：
Imaging Geometry and Camera Models / 1.2：
76.
ＥＢ
Radhika Ranjan Roy
出版情報:
Springer eBooks Computer Science , Springer US, 2011
子書誌情報:
loading…
所蔵情報:
loading…
77.
ＥＢ
Paul Fieguth
出版情報:
Springer eBooks Computer Science , Springer New York, 2011
子書誌情報:
loading…
所蔵情報:
loading…
78.
ＥＢ
Sara Foresti
出版情報:
Springer eBooks Computer Science , Springer US, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Motivation / 1.1：
Contribution of the Book / 1.2：
Access Control Enforcement / 1.2.1：
Privacy Protection / 1.2.2：
Safe Data Integration / 1.2.3：
Organization of the Book / 1.3：
Overview of the State of the Art / 2：
Chapter Outline / 2.1：
Basic Scenario and Data Organization / 2.2：
Parties Involved / 2.2.1：
Data Organization / 2.2.2：
Interactions / 2.2.3：
Querying Encrypted Data / 2.3：
Bucket-Based Approach / 2.3.1：
Hash-Based Approach / 2.3.2：
B+ Tree Approach / 2.3.3：
Order Preserving Encryption Approaches / 2.3.4：
Other Approaches / 2.3.5：
Evaluation of Inference Exposure / 2.4：
Integrity of Outsourced Data / 2.5：
Privacy Protection of Databases / 2.6：
Access Control Enforcement in the Outsourcing Scenario / 2.7：
Chapter Summary / 2.8：
Selective Encryption to Enforce Access Control / 3：
Relational Model / 3.1：
Basic Concepts and Notation / 3.2.1：
Access Control and Encryption Policies / 3.3：
Access Control Policy / 3.3.1：
Encryption Policy / 3.3.2：
Token Management / 3.3.3：
Minimal Encryption Policy / 3.4：
Vertices and Edges Selection / 3.4.1：
Vertices Factorization / 3.4.2：
A2E Algorithm / 3.5：
Correctness and Complexity / 3.5.1：
Policy Updates / 3.6：
Grant and Revoke / 3.6.1：
Correctness / 3.6.2：
Two-Layer Encryption for Policy Outsourcing / 3.7：
Two-Layer Encryption / 3.7.1：
Policy Updates in Two-Layer Encryption / 3.8：
Over-encrypt / 3.8.1：
Protection Evaluation / 3.8.2：
Exposure Risk: Full_SEL / 3.9.1：
Exposure Risk: Delta_SEL / 3.9.2：
Design Considerations / 3.9.3：
Experimental Results / 3.10：
Combining Fragmentation and Encryption to Protect Data Privacy / 3.11：
Confidentiality Constraints / 4.1：
Fragmentation and Encryption for Constraint Satisfaction / 4.3：
Minimal Fragmentation / 4.4：
Maximal Visibility / 4.4.1：
Minimum Number of Fragments / 4.4.3：
Fragmentation Lattice / 4.4.4：
A Complete Search Approach to Minimal Fragmentation / 4.5：
Computing a Minimal Fragmentation / 4.5.1：
A Heuristic Approach to Minimize Fragmentation / 4.5.2：
Computing a Vector-minimal Fragmentation / 4.6.1：
Taking Attribute Affinity into Account / 4.6.2：
A Heuristic Approach to Maximize Affinity / 4.8：
Computing a Vector-minimal Fragmentation with the Affinity Matrix / 4.8.1：
Query Cost Model / 4.8.2：
A Heuristic Approach to Minimize Query Cost Execution / 4.10：
Computing a Vector-minimal Fragmentation with the Cost Function / 4.10.1：
Query Execution / 4.10.2：
Indexes / 4.12：
Distributed Query Processing under Safely Composed Permissions / 4.13：
Preliminary Concepts / 5.1：
Data Model / 5.2.1：
Distributed Query Execution / 5.2.2：
Security Model / 5.3：
Permissions / 5.3.1：
Relation Profiles / 5.3.2：
Graph-based Model / 5.4：
Authorized Views / 5.5：
Authorizing Permissions / 5.5.1：
Composition of Permissions / 5.5.2：
Algorithm / 5.5.3：
Safe Query Planning / 5.6：
Third Party Involvement / 5.6.1：
Build a Safe Query Plan / 5.7：
Conclusions / 5.8：
Summary of the Contributions / 6.1：
Future Work / 6.2：
References / 6.2.1：
Introduction / 1：
Motivation / 1.1：
Contribution of the Book / 1.2：
79.
ＥＢ
Sandeep Koranne
出版情報:
Springer eBooks Computer Science , Springer US, 2011
子書誌情報:
loading…
所蔵情報:
loading…
80.
ＥＢ
Guandong Xu, Lin Li, Yanchun Zhang
出版情報:
Springer eBooks Computer Science , Springer US, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Foundation / Part I：
Introduction / 1：
Background / 1.1：
Data Mining and Web Mining / 1.2：
Web Community and Social Network Analysis / 1.3：
Characteristics of Web Data / 1.3.1：
Web Community / 1.3.2：
Social Networking / 1.3.3：
Summary of Chapters / 1.4：
Audience of This Book / 1.5：
Theoretical Backgrounds / 2：
Web Data Model / 2.1：
Textual, Linkage and Usage Expressions / 2.2：
Similarity Functions / 2.3：
Correlation-based Similarity / 2.3.1：
Cosine-Based Similarity / 2.3.2：
Eigenvector, Principal Eigenvector / 2.4：
Singular Value Decomposition (SVD) of Matrix / 2.5：
Tensor Expression and Decomposition / 2.6：
Information Retrieval Performance Evaluation Metrics / 2.7：
Performance measures / 2.7.1：
Web Recommendation Evaluation Metrics / 2.7.2：
Basic Concepts in Social Networks / 2.8：
Basic Metrics of Social Network / 2.8.1：
Social Network over the Web / 2.8.2：
Algorithms and Techniques / 3：
Association Rule Mining / 3.1：
Association Rule Mining Problem / 3.1.1：
Basic Algorithms for Association Rule Mining / 3.1.2：
Sequential Pattern Mining / 3.1.3：
Supervised Learning / 3.2：
Nearest Neighbor Classifiers / 3.2.1：
Decision Tree / 3.2.2：
Bayesian Classifiers / 3.2.3：
Neural Networks Classifier / 3.2.4：
Unsupervised Learning / 3.3：
The k-Means Algorithm / 3.3.1：
Hierarchical Clustering / 3.3.2：
Density based Clustering / 3.3.3：
Semi-supervised Learning / 3.4：
Self-Training / 3.4.1：
Co-Training / 3.4.2：
Generative Models / 3.4.3：
Graph based Methods / 3.4.4：
Markov Models / 3.5：
Regular Markov Models / 3.5.1：
Hidden Markov Models / 3.5.2：
K-Nearest-Neighboring / 3.6：
Content-based Recommendation / 3.7：
Collaborative Filtering Recommendation / 3.8：
Memory-based collaborative recommendation / 3.8.1：
Model-based Recommendation / 3.8.2：
Social Network Analysis / 3.9：
Detecting Community Structure in Networks / 3.9.1：
The Evolution of Social Networks / 3.9.2：
Web Mining: Techniques and Applications / Part II：
Web Content Mining / 4：
Vector Space Model / 4.1：
Web Search / 4.2：
Activities on Web archiving / 4.2.1：
Web Crawling / 4.2.2：
Personalized Web Search / 4.2.3：
Feature Enrichment of Short Texts / 4.3：
Latent Semantic Indexing / 4.4：
Automatic Topic Extraction from Web Documents / 4.5：
Topic Models / 4.5.1：
Topic Models for Web Documents / 4.5.2：
Inference and Parameter Estimation / 4.5.3：
Opinion Search and Opinion Spam / 4.6：
Opinion Search / 4.6.1：
Opinion Spam / 4.6.2：
Web Linkage Mining / 5：
Web Search and Hyperlink / 5.1：
Co-citation and Bibliographic Coupling / 5.2：
Co-citation / 5.2.1：
Bibliographic Coupling / 5.2.2：
PageRank and HITS Algorithms / 5.3：
PageRank / 5.3.1：
HITS / 5.3.2：
Web Community Discovery / 5.4：
Bipartite Cores as Communities / 5.4.1：
Network Flow/Cut-based Notions of Communities / 5.4.2：
Web Community Chart / 5.4.3：
Web Graph Measurement and Modeling / 5.5：
Graph Terminologies / 5.5.1：
Power-law Distribution / 5.5.2：
Power-law Connectivity of the Web Graph / 5.5.3：
Bow-tie Structure of the Web Graph / 5.5.4：
Using Link Information for Web Page Classification / 5.6：
Using Web Structure for Classifying and Describing Web Pages / 5.6.1：
Using Implicit and Explicit Links for Web Page Classification / 5.6.2：
Web Usage Mining / 6：
Modeling Web User Interests using Clustering / 6.1：
Measuring Similarity of Interest for Clustering Web Users / 6.1.1：
Clustering Web Users using Latent Semantic Indexing / 6.1.2：
Web Usage Mining using Probabilistic Latent Semantic Analysis / 6.2：
Probabilistic Latent Semantic Analysis Model / 6.2.1：
Constructing User Access Pattern and Identifying Latent Factor with PLSA / 6.2.2：
Finding User Access Pattern via Latent Dirichlet Allocation Model / 6.3：
Latent Dirichlet Allocation Model / 6.3.1：
Modeling User Navigational Task via LDA / 6.3.2：
Co-Clustering Analysis of weblogs using Bipartite Spectral Projection Approach / 6.4：
Problem Formulation / 6.4.1：
An Example of Usage Bipartite Graph / 6.4.2：
Clustering User Sessions and Web Pages / 6.4.3：
Web Usage Mining Applications / 6.5：
Mining Web Logs to Improve Website Organization / 6.5.1：
Clustering User Queries from Web logs for Related Query / 6.5.2：
Using Ontology-Based User Preferences to Improve Web Search / 6.5.3：
Social Networking and Web Recommendation: Techniques and Applications / Part III：
Extracting and Analyzing Web Social Networks / 7：
Extracting Evolution of Web Community from a Series of Web Archive / 7.1：
Types of Changes / 7.1.1：
Evolution Metrics / 7.1.2：
Web Archives and Graphs / 7.1.3：
Evolution of Web Community Charts / 7.1.4：
Temporal Analysis on Semantic Graph using Three-Way Tensor Decomposition / 7.2：
Algorithms / 7.2.1：
Examples of Formed Community / 7.2.3：
Analysis of Communities and Their Evolutions in Dynamic Networks / 7.3：
Motivation / 7.3.1：
Algorithm / 7.3.2：
Community Discovery Examples / 7.3.4：
Socio-Sense: A System for Analyzing the Societal Behavior from Web Archive / 7.4：
System Overview / 7.4.1：
Web Structural Analysis / 7.4.2：
Web Temporal Analysis / 7.4.3：
Consumer Behavior Analysis / 7.4.4：
Web Mining and Recommendation Systems / 8：
User-based and Item-based Collaborative Filtering Recommender Systems / 8.1：
User-based Collaborative Filtering / 8.1.1：
Item-based Collaborative Filtering Algorithm / 8.1.2：
Performance Evaluation / 8.1.3：
A Hybrid User-based and Item-based Web Recommendation System / 8.2：
Problem Domain / 8.2.1：
Hybrid User and Item-based Approach / 8.2.2：
Experimental Observations / 8.2.3：
User Profiling for Web Recommendation Based on PLSA and LDA Model / 8.3：
Recommendation Algorithm based on PLSA Model / 8.3.1：
Recommendation Algorithm Based on LDA Model / 8.3.2：
Combing Long-Term Web Achieves and Logs for Web Query Recommendation / 8.4：
Combinational CF Approach for Personalized Community Recommendation / 8.5：
CCF: Combinational Collaborative Filtering / 8.5.1：
C-U and C-D Baseline Models / 8.5.2：
CCF Model / 8.5.3：
Conclusions / 9：
Summary / 9.1：
Future Directions / 9.2：
References
Foundation / Part I：
Introduction / 1：
Background / 1.1：
81.
ＥＢ
Trent McConaghy, Ekaterina Vladislavleva Rick Riolo, Trent McConaghy, Rick Riolo, Ekaterina Vladislavleva
出版情報:
Springer eBooks Computer Science , Springer New York, 2011
子書誌情報:
loading…
所蔵情報:
loading…
82.
ＥＢ
Richard Szeliski
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
83.
ＥＢ
Hannakaisa Isom?ki, Hannakaisa Isomaki, Samuli Pekkola
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction: Reframing Humans and Information Systems / Hannakaisa Isomäki ; Samuli Pekkola1：
Human Systems Analysis / Part I：
On the Emergence of Techno-Religious Spaces: Implications for Design and End Users / Heba El-Sayed ; Anita Greenhill ; Chris Westrup2：
Towards Lifeworld-Oriented Information Systems Development / Andrew Basden3：
Understanding the Business Client - Systems Developer Relationship: A Power Perspective / Bruce Rowlands4：
A Semiotic Analysis of Interactions Between End Users and Information Systems / Sheng-Cheng Huang ; Randolph G. Bias5：
Information Systems Development as an Intellectual Process: Designers' Perceptions of Users / 6：
Methodology / Part II：
Participatory Design in Information Systems Development / Keld Bødker ; Finn Kensing ; Jesper Simonsen7：
Reflecting, Tinkering, and Tailoring: Implications for Theories of Information System Design / Dirk Hovorka ; Matt Germonprez8：
Evolutionary Application Development: Tools to Make Tools and Boundary Crossing / Anders I. Mørch9：
Design Science Research for User-Centeredness / Juhani Iivari ; Netta Iivari10：
"20 Years a-Growing": Revisiting From Human Factors to Human Actors / Liam J. Bannon11：
Practice / Part III：
Three Levels of Failure: Analysing a Workflow Management System / Tom Gross12：
When and How Do We Become a "User"? / Katarina Lindblad-Gidlund13：
Use of Mobile IS: New Requirements for the IS Development Process / Bo Andersson ; Stefan Henningsson14：
Reframing Online Shopping Through Innovative and Organic User-Oriented Design / Gordon Fletcher15：
Stakeholder Involvement and Team Working in Systems Development Practice / Hilary Berger16：
Epilogue / 17：
Index
Introduction: Reframing Humans and Information Systems / Hannakaisa Isomäki ; Samuli Pekkola1：
Human Systems Analysis / Part I：
On the Emergence of Techno-Religious Spaces: Implications for Design and End Users / Heba El-Sayed ; Anita Greenhill ; Chris Westrup2：
84.
ＥＢ
Elizabeth Hull, Jeremy Dick, Ken Jackson
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Introduction to Requirements / 1.1：
Introduction to Systems Engineering / 1.2：
Defining Requirements Engineering / 1.3：
Definition of a Requirement / 1.3.1：
Definition of a Stakeholder / 1.3.2：
Definition of Requirements Engineering / 1.3.3：
Requirements and Quality / 1.4：
Requirements and the Lifecycle / 1.5：
Requirements Tracing / 1.6：
Requirements and Modelling / 1.7：
Requirements and Testing / 1.8：
Requirements in the Problem and Solution Domains / 1.9：
How to Read this Book / 1.10：
A Generic Process for Requirements Engineering / 2：
Developing Systems / 2.1：
Generic Process Context / 2.3：
Input Requirements and Derived Requirements / 2.3.1：
Acceptance Criteria and Qualification Strategy / 2.3.2：
Generic Process Introduction / 2.4：
Ideal Development / 2.4.1：
Development in the Context of Change / 2.4.2：
Generic Process Information Model / 2.5：
Information Classes / 2.5.1：
Agreement State / 2.5.2：
Qualification State / 2.5.3：
Satisfaction State / 2.5.4：
Information Model Constraints / 2.5.5：
Generic Process Details / 2.6：
Agreement Process / 2.6.1：
Analyse and Model / 2.6.2：
Derive Requirements and Qualification Strategy Fig. 2.1.3 Portrays the Process for Deriving Requirements and Qualification Strategy / 2.6.3：
Summary / 2.7：
System Modelling for Requirements Engineering / 3：
Representations for Requirements Engineering / 3.1：
Data Flow Diagrams / 3.2.1：
Entity-Relationship Diagrams / 3.2.2：
Statecharts / 3.2.3：
Object-Oriented Approaches / 3.2.4：
Methods / 3.3：
Viewpoint Methods / 3.3.1：
Object-Oriented Methods / 3.3.2：
The UML Notation / 3.3.3：
Formal Methods / 3.3.4：
Writing and Reviewing Requirements / 3.4：
Requirements for Requirements / 4.1：
Structuring Requirements Documents / 4.3：
Key Requirements / 4.4：
Using Attributes / 4.5：
Ensuring Consistency Across Requirements / 4.6：
Value of a Requirement / 4.7：
The Language of Requirements / 4.8：
Requirement Boilerplates / 4.9：
Granularity of Requirements / 4.10：
Criteria for Writing Requirements Statements / 4.11：
Requirements Engineering in the Problem Domain / 4.12：
What is the Problem Domain? / 5.1：
Instantiating the Generic Process / 5.2：
Agree Requirements with Customer / 5.3：
Analyse & Model / 5.4：
Identify Stakeholders / 5.4.1：
Create Use Scenarios / 5.4.2：
Scoping the System / 5.4.3：
Derive Requirements / 5.5：
Define Structure / 5.5.1：
Capture Requirements / 5.5.2：
Define Acceptance Criteria / 5.5.3：
Define Qualification Strategy / 5.5.4：
Requirements Engineering in the Solution Domain / 5.6：
What is the Solution Domain / 6.1：
Engineering Requirements from Stakeholder Requirements to System Requirements / 6.2：
Producing the System Model / 6.2.1：
Creating System Models to Derive System Requirements / 6.2.2：
Banking Example / 6.2.3：
Car Example / 6.2.4：
Deriving Requirements from a System Model / 6.2.5：
Agreeing the System Requirements with the Design Team / 6.2.6：
Engineering Requirements from System Requirements to Subsystems / 6.3：
Creating a System Architecture Model / 6.3.1：
Deriving Requirements from an Architectural Design Model / 6.3.2：
Other Transformations Using a Design Architecture / 6.4：
Advanced Traceability / 6.5：
Elementary Traceability / 7.1：
Satisfaction Arguments / 7.3：
Requirements Allocation / 7.4：
Reviewing Traceability / 7.5：
The Language of Satisfaction Arguments / 7.6：
Rich Traceability Analysis / 7.7：
Rich Traceability for Qualification / 7.8：
Implementing Rich Traceability / 7.9：
Single-Layer Rich Traceability / 7.9.1：
Multi-Layer Rich Traceability / 7.9.2：
Design Documents / 7.10：
Metrics for Traceability / 7.11：
Breadth / 7.11.1：
Depth / 7.11.2：
Growth / 7.11.3：
Balance / 7.11.4：
Latent Change / 7.11.5：
Management Aspects of Requirements Engineering / 7.12：
Introduction to Management / 8.1：
Requirements Management Problems / 8.2：
Summary of Requirement Management Problems / 8.2.1：
Managing Requirements in an Acquisition Organisation / 8.3：
Planning / 8.3.1：
Monitoring / 8.3.2：
Changes / 8.3.3：
Supplier Organisations / 8.4：
Bid Management / 8.4.1：
Development / 8.4.2：
Product Organisations / 8.5：
DOORS: A Tool to Manage Requirements / 8.5.1：
The Case for Requirements Management / 9.1：
DOORS Architecture / 9.3：
Projects, Modules and Objects / 9.4：
DOORS Database Window / 9.4.1：
Formal Modules / 9.4.2：
Objects / 9.4.3：
Graphical Objects / 9.4.4：
Tables / 9.4.5：
History and Version Control / 9.5：
History / 9.5.1：
Baselining / 9.5.2：
Attributes and Views / 9.6：
Attributes / 9.6.1：
Views / 9.6.2：
Traceability / 9.7：
Links / 9.7.1：
Traceability Reports / 9.7.2：
Import and Export / 9.8：
UML Modelling with DOORS/Analyst / 9.9：
Bibliography / 9.10：
Index
Introduction / 1：
Introduction to Requirements / 1.1：
Introduction to Systems Engineering / 1.2：
85.
ＥＢ
Wolfgang Reisig, Falk Schreiber Ina Koch, Ina Koch, Wolfgang Reisig, Falk Schreiber
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Foundations / Part I：
Introduction / Ina Koch ; Falk Schreiber1：
Systems Biology / 1.1：
Models and Modeling / 1.2：
Analysis of Models / 1.2.1：
Model Development / 1.2.2：
Model Composition / 1.2.3：
Dynamic Behavior / 1.2.4：
Data Resources / 1.3：
Repositories of Gene Expression Data / 1.3.1：
Protein-Protein Interaction Databases / 1.3.2：
Pathway Databases / 1.3.3：
Visualization / 1.4：
Visualization Methods / 1.4.1：
Systems Biology Graphical Notation / 1.4.2：
Visualization Tools / 1.4.3：
Petri Nets in Biology / 1.5：
Motivation for Using Petri Nets / 1.5.1：
Problems / 1.5.2：
Biochemical Fundamentals / Tiina Liiving ; Syed M. Baker ; Björn H. Junker2：
Cell Biology / 2.1：
Cellular Organization / 2.1.1：
Mitochondria / 2.1.2：
Plastids / 2.1.3：
Metabolism / 2.2：
Metabolic Pathways and Networks / 2.2.1：
Metabolites / 2.2.2：
Enzymes / 2.2.3：
Enzyme Inhibition / 2.2.4：
Central Metabolic Pathways / 2.2.5：
Metabolic Networks / 2.2.6：
Regulation of Metabolism / 2.2.7：
Gene Expression / 2.3：
Transcription / 2.3.1：
Translation / 2.3.2：
Gene Regulation / 2.3.3：
Gene Regulatory Networks / 2.3.4：
Signal Transduction / 2.4：
Hormones and Other Signaling Molecules / 2.4.1：
Receptors / 2.4.2：
Petri Nets / Wolfgang Reisig2.5：
An Introductory Example / 3.1：
Models of Substances / 3.2.1：
Models of Reactions / 3.2.2：
Sequentially Composed Reactions / 3.2.3：
Quantitative Aspects / 3.2.4：
Alternative Composition / 3.2.5：
Modeling the Interface / 3.2.6：
Putting it All Together / 3.2.7：
The Static Structure of Petri Nets / 3.3：
Places / 3.3.1：
Transitions / 3.3.2：
Arcs / 3.3.3：
Markings / 3.3.4：
Static Net Structures / 3.3.5：
Dynamic Behavior of Petri Nets / 3.4：
Enabled Transitions / 3.4.1：
Steps / 3.4.2：
Step Sequences and Reachable Markings / 3.4.3：
The Role of Infinity / 3.4.4：
Analysis Techniques for Petri Nets / 3.5：
Important Properties / 3.5.1：
The Linear Algebra of Steps / 3.5.2：
The Matrix of a Petri Net / 3.5.3：
Place Invariants / 3.5.4：
Transition Invariants / 3.5.5：
Traps / 3.5.6：
Syphons / 3.5.7：
The Marking Graph / 3.5.8：
Concurrent Runs / 3.5.9：
Petri Nets as a Modeling Technique for Systems Biology / 3.6：
Discrete Steps / 3.6.1：
Local Cause and Effect / 3.6.2：
Invariance of Substance / 3.6.3：
Other Models of Dynamic Systems / 3.6.4：
References and Tools / 3.7：
Modeling Techniques / 3.8：
Discrete Modeling / Andrea Sackmann4：
Modeling Concepts / 4.1：
Qualitative Analysis / 4.2：
P-invariants / 4.3：
T-invariants / 4.4：
Feasible T-invariants / 4.4.1：
MCT-sets / 4.4.2：
T-clusters / 4.4.3：
Mauritius Maps / 4.4.4：
Related Work / 4.5：
Software / 4.6：
Modeling Genetic Regulatory Networks / Richard Banks ; Victor Khomenko ; L. Jason Steggles4.7：
Synchronous Models of GRNs / 5.1：
Constructing a Qualitative Petri Net Model / 5.2.1：
Tool Support / 5.2.2：
Case Study: Nutritional Stress Response in E. coli / 5.2.3：
Asynchronous Models of GRNs / 5.3：
Signal Transition Graphs and Speed-Independent Circuits / 5.3.1：
Refining Asynchronous Models of GRNs / 5.3.2：
Case Study: Lysis-Lysogeny Switch in Phage ? / 5.3.3：
Summary / 5.4：
Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling / Ayumu Saito ; Masao Nagasaki ; Hiroshi Matsuno ; Satoru Miyano5.6：
Pathway Modeling with Concept of Petri Net / 6.1：
Petri Net(PN) / 6.2.1：
Representation of Biological Pathway / 6.2.2：
Timed Petri Net (TPN) / 6.2.3：
Continuous Timed Petri Net (CTPN) / 6.2.4：
Hybrid Functional Petri Net with Extension / 6.3：
Modeling MicroRNAs Double-Negative Feedback Loop in Gustatory Neurons of C. elegans / 6.4：
Concluding Remarks / 6.5：
Stochastic Modeling / Ivan Mura6.6：
Basic Concepts / 7.1：
The Theoretical Basis of Stochastic Molecular Dynamics / 7.2.1：
SPN Modeling of Stochastic Molecular Dynamics / 7.2.2：
Beyond Pure Mass-Action / 7.2.3：
Methods to Determine SPN Evolution / 7.3：
Analytical and Numerical Approaches / 7.3.1：
Simulation Approaches / 7.3.2：
Examples of Modeling and Evaluation / 7.4：
A Biochemical Oscillator / 7.4.1：
A Protein Synthesis Network / 7.4.2：
A Gene Regulatory Network / 7.4.3：
Quantitative Analysis / Jörg Ackermann7.5：
Mass Action / 8.1：
Zero-Order Reactions / 8.2.1：
First-Order Reactions or Unimolecular Reactions / 8.2.2：
Second-Order Reactions or Bimolecular Reactions / 8.2.3：
Reversible Mass Action or Equilibrium Reactions / 8.2.4：
Example: A Simple Predator Prey Model / 8.2.5：
Steady States / 8.2.6：
Stability Analysis / 8.2.7：
Spatial Instability / 8.2.8：
Michaelis-Menten Kinetics / 8.3：
Enzyme Kinetics with Inhibitors / 8.3.1：
Hill Kinetics / 8.4：
Neutral Binding / 8.4.1：
Cooperative Binding / 8.4.2：
Continuous Versus Discrete Modeling / 8.5：
Stability Analysis of the Continuous Lotka-Volterra Model / 8.6.2：
Stability Analysis of the Discrete Lotka-Volterra Model / 8.6.3：
Fuzzy Modeling / Lukas Windhager ; Florian Erhard ; Ralf Zimmer8.6.4：
Methods and Concepts / 9.1：
Ordinary Logic Reasoning / 9.2.1：
Fuzzy Sets / 9.2.2：
Fuzzy Logic Reasoning / 9.2.3：
Application to Petri Nets / 9.2.4：
Results / 9.3：
Design Principles / 9.3.1：
PNMA / 9.3.2：
Parameter Estimation / 9.3.3：
Application / 9.3.4：
Common Network Motifs and Cell Cycle Model / 9.4：
Comparison of Fuzzy Logic to Multi-Class Discrete Logic / 9.4.2：
Classification of Gene Expression Data / 9.4.3：
Biochemical Applications / 9.5：
Topological Analysis of Metabolic and Regulatory Networks / Stefan Schuster10：
Modelling Steady States / 10.1：
Minimal T-invariants and Elementary Modes / 10.2.2：
Clustering of T-invariants / 10.2.3：
Definition and Biochemical Interpretation / 10.3：
Algorithms and Software Tools for Computing Minimal Invariants / 10.3.2：
Other Topological Properties / 10.4：
Related Work with Concrete Biological Examples / 10.5：
Conclusions / 10.6：
Analysis of Dynamical Models of Signaling Networks with Petri Nets and Dynamic Graphs / Simon Hardy ; Ravi Iyengar10.7：
From Ordinary Differential Equations to a Petri Net Model / 11.1：
From a Petri Net Model to an Interaction Graph / 11.2.2：
From an Interaction Graph to an Influence Graph / 11.2.3：
From an Influence Graph to Dynamic Graphs / 11.2.4：
Dynamic and Function of the Regulatory Motifs / 11.2.5：
Lifetime of the Regulatory Motifs / 11.3.2：
A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets / Claudine Chaouiya ; Hanna Klaudel ; Franck Poramereau11.4：
Logical Modeling of Regulatory Networks / 12.1：
Logical Regulatory Graphs (LRGs) / 12.2.1：
Logical Functions Representation Based on Decision Diagrams / 12.2.2：
State Transition Graphs Associated to LRGs / 12.2.3：
P/T Petri Net Representation / 12.3：
Tools Support / 12.3.1：
Related Works / 12.3.2：
Modules, Their Composition and High-Level Petri Net Representation / 12.4：
Interconnecting Logical Regulatory Modules / 12.4.1：
High-Level Petri Net Representation / 12.4.2：
Implementation / 12.4.3：
Modeling Interconnected LRMs Using High-Level Petri Nets / 12.5：
Interconnecting Occurrences of the Toy LRM / 12.5.1：
The Drosophila Segment-Polarity Module / 12.5.2：
A Case Study of HFPN Simulation: Finding Essential Roles of Ror Gene in the Interaction of Feedback Loops in Mammalian Circadian Clock / Natsumi Mitou ; Shin-Ichi T. Inouye12.6：
Modeling Molecular Circadian Oscillator in Mouse with Hybrid Functional Petri Net / 13.1：
Circadian Clock Oscillator with Five Genes / 13.2.1：
Construction of an HFPN Model / 13.2.2：
Effect of the Two Interlocked Loops in Circadian Gene Regulations in Mouse / 13.3：
A Problem of die Previous HFPN Model in an Oscillation Maintenance / 13.3.1：
Modification in Parameters for Constituting Interlocked Loops / 13.3.2：
Function of Ror in the Interlocked Model / 13.4：
Introduction of Ror / 13.4.1：
Inclusion of a Hypothetical Path: ROR Excites Bmal Only When PER/CRY Level Are Above the Threshold / 13.4.2：
Simulation for Rev-Erb Knockout Mice / 13.4.3：
Prediction of Network Structure / Annegret Wagler13.5：
Methods to Predict Network Structures / 14.1：
A General Combinatorial Reconstruction Approach / 14.2.1：
An Approach for die Case of Monotone Data / 14.2.2：
Results: A Reconstruction Algoridim / 14.3：
Exercises and Solutions / 14.4：
Glossary
References
Index
Foundations / Part I：
Introduction / Ina Koch ; Falk Schreiber1：
Systems Biology / 1.1：
86.
ＥＢ
Derek Partridge
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
The Joy of Programming / Part I：
The Happy Hacker, Love at First Byte / 2：
The Reluctant Programmer / 3：
Cooking Up Programs / 4：
Recipes for What? / 5：
Programs: The Good, the Bad, and the Verified / 6：
Going to Ground with Symbols / 7：
Hooptedoodle 1 - The Proof of the Science is in the Pudding / 8：
The Soft Machine / 9：
Computers Only Do as They're Told / 10：
Hooptedoodle 2: Recursing Through Tescos / 11：
The Way of the Seducer / Part II：
Intimate Relationships of the Computational Kind / 12：
Programming with Flair / 13：
Hooptedoodle 3: The Seductive Gene / 14：
Runaway Programs: Dr Frankenstein's Predicament / 15：
Sneakaway Programs: Everybody's Predicament / 16：
Hooptedoodle 4: Bases for Data Security / 17：
The Roles of Software in Society / 18：
Pieces of Resistance / Part III：
Help from Within / 19：
A Moderately Stupid Assistant / 20：
Watching Programs Work / 21：
Classical Reconditioning: Doing What Happens Naturally / 22：
A Computer That Knows When It's Wrong / 23：
The End of the Affair / Part IV：
Analysis and Counselling / 24：
The Epilogic / 25：
Glossary
Index
Introduction / 1：
The Joy of Programming / Part I：
The Happy Hacker, Love at First Byte / 2：
87.
ＥＢ
Srdjan Krco, Veljko Milutinovic, Ivan Stojmenovic, Roman Trobec Liljana Gavrilovska, Liljana Gavrilovska, Srdjan Krco
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction: Bird's-Eye View of Wireless Sensor Networks / Aleksandar Crnjin1：
Basic Issues / Part I：
Sensors / Goran Rakocevic2：
Software Issues in Wireless Sensor Networks / 3：
Position-Based Routing Protocols for Ad Hoc Networks / Liana K. Qabajeh ; Laiha Mat Kiah ; Mohammad M. Qabajeh4：
Multidisciplinary Issues / Part II：
Sensor Networks' Integration / Szymon Fedor ; Alex Gluhak ; Srdjan Krco5：
Mobility Aspects in WSN / Aleksandra Mateska ; Liljana Gavrilovska ; Sotiris Nikoletseas6：
Modeling for Geo-Routing in Multi-Hop Wireless Networks / Adnan Khan ; Costas Constantinou ; Ivan Stojmenovic7：
Medical Applications of Wireless Sensor Networks: Who-Did-What / Stanislava Stankovic8：
Optimized Positioning of ECG Electrodes for WSN Applications / Ivan Tomašic ; Roman Trobec9：
Vehicular Sensor Networks: General Aspects and Implementation Issues / Vladimir Atanasovski10：
Case Studies / Part III：
FEEIT WSN Testbed: Effective System for Providing Emergency Situations' Prevention and Surveillance / 11：
ETF WSN Testbed: Practical Health Enhancing Application of Wireless Sensor Networks / Zoran Babovic ; Veljko Milutinovic12：
Birds of a Feather / Part IV：
Ubiquitous Sensor Networks / Zhilbert Tafa13：
eMuseum / Aleksandar corovic ; Bojan Imamovic ; Edin Kadric ; Lejla Kadric ; Nermin Lipa ; Selma Opanovic14：
The PAR Logistics Solver Problem / Gordana Nikolic ; Dario Zoric ; Alan Martinovic ; David Dubrovic15：
Wireless Sensor-Based Robot Control / Gyula Mester ; Istvan Matijevics ; Tamas Szepe ; Janos Simon16：
Index
Introduction: Bird's-Eye View of Wireless Sensor Networks / Aleksandar Crnjin1：
Basic Issues / Part I：
Sensors / Goran Rakocevic2：
88.
ＥＢ
Kent D. Lee
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
The Python Programming Language / 1.1：
Installing Python and Wing IDE 101 / 1.2：
Writing Your First Program / 1.3：
What is a Computer? / 1.4：
Binary Number Representation / 1.5：
What is a Programming Language? / 1.6：
Hexadecimal and Octal Representation / 1.7：
Writing Your Second Program / 1.8：
Syntax Errors / 1.9：
Types of Values / 1.10：
The Reference Type and Assignment Statements / 1.11：
Integers and Real Numbers / 1.12：
Strings / 1.13：
Integer to String Conversion and Back Again / 1.14：
Getting Input / 1.15：
Formatting Output / 1.16：
When Things Go Wrong / 1.17：
Review Questions / 1.18：
Exercises / 1.19：
Solutions to Practice Problems / 1.20：
Decision Making / 2：
Finding the Max of Three Integers / 2.1：
The Guess and Check Pattern / 2.2：
Choosing from a List of Alternatives / 2.3：
The Boolean Type / 2.4：
Short Circuit Logic / 2.5：
Comparing Floats for Equality / 2.6：
Exception Handling / 2.7：
Repetitive Tasks / 2.8：
Operators / 3.1：
Iterating Over a Sequence / 3.2：
Lists / 3.3：
The Guess and Check Pattern for Lists / 3.4：
Mutability of Lists / 3.5：
The Accumulator Pattern / 3.6：
Reading from and Writing to a File / 3.7：
Reading Records from a File / 3.8：
Using Objects / 3.9：
Constructors / 4.1：
Accessor Methods / 4.2：
Mutator Methods / 4.3：
Immutable Classes / 4.4：
Object-Oriented Programming / 4.5：
Working with XML Files / 4.6：
Extracting Elements from an XML File / 4.7：
Dictionaries / 4.8：
Getting at the Data in an XML File / 4.9：
Working with Time / 4.10：
Parallel Lists / 4.11：
Visualizing a Workout / 4.12：
Defining Functions / 4.13：
Why Write Functions? / 5.1：
Passing Arguments and Returning a Value / 5.2：
Scope of Variables / 5.3：
The Run-time Stack / 5.4：
Mutable Data and Functions / 5.5：
Predicate Functions / 5.6：
Top-Down Design / 5.7：
Bottom-Up Design / 5.8：
Recursive Functions / 5.9：
The Main Function / 5.10：
Keyword Arguments / 5.11：
Default Values / 5.12：
Functions with Variable Number of Parameters / 5.13：
Dictionary Parameter Passing / 5.14：
Event-Driven Programming / 5.15：
The Root Window / 6.1：
Menus / 6.2：
Frames / 6.3：
The Text Widget / 6.4：
The Button Widget / 6.5：
Creating a Reminder! / 6.6：
Finishing up the Reminder! Application / 6.7：
Label and Entry Widgets / 6.8：
Layout Management / 6.9：
Message Boxes / 6.10：
Defining Classes / 6.11：
Creating an Object / 7.1：
Inheritance / 7.2：
A Bouncing Ball Example / 7.3：
Polymorphism / 7.4：
Getting Hooked on Python / 7.5：
Integer Operators / 7.6：
Float Operators / Appendix B：
String Operators and Methods / Appendix C：
List Operators and Methods / Appendix D：
Dictionary Operators and Methods / Appendix E：
Turtle Methods / Appendix F：
TurtleScreen Methods / Appendix G：
The Reminder! Program / Appendix H：
The Bouncing Ball Program / Appendix I：
Glossary
References
Index
Introduction / 1：
The Python Programming Language / 1.1：
Installing Python and Wing IDE 101 / 1.2：
89.
ＥＢ
Mass Soldal Lund, Bjornar Solhaug, Ketil St?len
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
子書誌情報:
loading…
所蔵情報:
loading…
90.
ＥＢ
J?rg Arndt
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
子書誌情報:
loading…
所蔵情報:
loading…
91.
ＥＢ
Ariel Gabizon
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / 1：
Organization of This Book / 1.1：
The Classical Story / 1.2：
Seeded Extractors / 1.2.1：
Deterministic Extraction for Restricted Classes / 1.2.2：
Other Motivations / 1.3：
Techniques - the Recycling Paradigm / 1.4：
A Simple Example / 1.4.1：
The General Principle and the Application for Affine Sources / 1.4.2：
The Recycling Paradigm in Bit-Fixing Sources / 1.4.3：
The Recycling Paradigm for Zero-Error Dispersers / 1.4.4：
What Else Is There in This Book? / 1.4.5：
Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed / 2：
Bit-Fixing Sources / 2.1：
Our Results / 2.1.2：
Overview of Techniques / 2.1.3：
Outline / 2.1.4：
Preliminaries / 2.2：
Averaging Samplers / 2.2.1：
Probability Distributions / 2.2.2：
Obtaining an Independent Seed / 2.3：
Seed Obtainers and Their Application / 2.3.1：
Constructing Seed Obtainers / 2.3.2：
Extracting a Few Bits for Any k / 2.4：
Sampling and Partitioning with a Short Seed / 2.5：
A Seeded Bit-Fixing Source Extractor with a Short Seed / 2.6：
Deterministic Extractors for Bit-Fixing Sources / 2.7：
An Extractor for Large k (Proof of Theorem 2.1) / 2.7.1：
An Extractor for Small k (Proof of Theorem 2.2) / 2.7.2：
Discussion and Open Problems / 2.8：
Deterministic Extractors for Affine Sources over Large Fields / 3：
Affine Source Extractors / 3.1：
Previous Work / 3.1.2：
Extracting Many Bits from Lines / 3.2：
Linear Seeded Affine Source Extractors / 3.2.2：
Using the Correlated Randomness as a Seed / 3.2.3：
Characters of Finite Fields / 3.3：
Extracting One Bit from Lines / 3.4：
A Linear Seeded Extractor for Affine Sources / 3.5：
Composing Extractors / 3.7：
Putting It All Together / 3.8：
Extractors and Rank Extractors for Polynomial Sources / 4：
Rank Extractors / 4.1：
Extractors and Condensers for Polynomial Sources / 4.1.2：
Rank Versus Entropy - Weak Polynomial Sources / 4.1.3：
Organization / 4.1.4：
General Preliminaries / 4.2：
Polynomials over Finite Fields / 4.2.1：
The Number of Solutions to a System of Polynomial Equations / 4.2.3：
Algebraic Independence and Rank / 4.3：
An Explicit Rank Extractor / 4.4：
Preliminaries for the Proof of Theorem 4.4 / 4.4.1：
Proof of Theorem 4.4 / 4.4.2：
Extractors for Polynomial Sources / 4.5：
Preliminaries for the Proof of Theorem 4.5 / 4.5.1：
Proof of Theorem 4.5 / 4.5.2：
Improving the Output Length / 4.6：
Extractors for Weak Polynomial Sources / 4.7：
Proof of Theorem 4.9 / 4.7.1：
The Entropy of a Polynomial Mapping / 4.7.2：
Rank Extractors over the Complex Numbers / 4.8：
Increasing the Output Length of Zero-Error Dispersers / 4.9：
Randomness Extractors and Dispersers / 5.1：
Zero-Error Dispersers / 5.1.2：
Applications / 5.1.3：
A Composition Theorem / 5.1.5：
Strongly Hitting Dispersers / 5.3.1：
Zero-Error Dispersers for Multiple Independent Sources / 5.4：
Formal Definition of Multiple Independent Sources / 5.4.1：
A Subsource Hitter for 2-Sources / 5.4.2：
Zero-Error Dispersers for 2-Sources / 5.4.3：
Zero-Error Dispersers for O(1)-Sources / 5.4.4：
Rainbows and Implicit O(1) Probe Search / 5.4.5：
Zero-Error Dispersers for Bit-Fixing Sources / 5.5：
Zero-Error Dispersers for Affine Sources / 5.6：
Open Problems / 5.7：
Sampling and Partitioning / A：
Sampling Using l-wise Independence / A.1：
Sampling and Partitioning Using Fewer Bits / A.2：
Basic Notions from Algebraic Geometry / B：
Affine and Projective Varieties / B.1：
Varieties and Ideals / B.2：
The Dimension and Degree of a Variety / B.3：
The Projective Closure of an Affine Variety / B.4：
The Dimension of Intersections of Hypersurfaces / B.5：
The Degree of Intersections of Hypersurfaces / B.6：
Bombieri's Theorem / B.7：
Bibliography
Introduction / 1：
Organization of This Book / 1.1：
The Classical Story / 1.2：
92.
ＥＢ
Sebastian Nanz, Sebastian Nanz
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
Design Patterns - Past, Present & Future (Abstract) / Erich Gamma
Evidential Authorization / Andreas Blass ; Yuri Gurevich ; Michat Moskal ; Itay Neeman
Engineering and Software Engineering / Michael Jackson
Tools and Behavioral Abstraction: A Direction for Software Engineering / K. Rustan M. Leino
Precise Documentation: The Key to Better Software / David Lorge Parnas
Empirically Driven Software Engineering Research (Abstract) / Dieter Rombach
Component-based Construction of Heterogeneous Real-time Systems in BIP (Abstract) / Joseph Sifakis
Computer Science: A Historical Perspective and a Current Assessment (Abstract) / Niklaus Wirth
Internet Evolution and the Role of Software Engineering / Pamela Zave
Mining Specifications: A Roadmap / Andreas Zeller
Afterword
Greetings to Bertrand on the Occasion of his Sixtieth Birthday / Tony Hoare
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
93.
ＥＢ
Schahram Dustdar, Fei Li
出版情報:
Springer eBooks Computer Science , Springer Vienna, 2011
子書誌情報:
loading…
所蔵情報:
loading…
94.
ＥＢ
Guoying Zhao, Li Cheng, Matti Pietik?inen Liang Wang, Li Cheng, Matti Pietik?inen, Liang Wang, Guoying Zhao
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Manifold Learning and Clustering/Segmentation / Part I：
Practical Algorithms of Spectral Clustering: Toward Large-Scale Vision-Based Motion Analysis / Tomoya Sakai ; Atsushi Imiya
Riemannian Manifold Clustering and Dimensionality Reduction for Vision-Based Analysis / Alvina Goh
Manifold Learning for Multi-dimensional Auto-regressive Dynamical Models / Fabio Cuzzolin
Tracking / Part II：
Mixed-State Markov Models in Image Motion Analysis / Tomás Crivelli ; Patrick Bouthemy ; Bruno Cernuschi FrÃas ; Jian-feng Yao
Learning to Detect Event Sequences in Surveillance Streams at Very Low Frame Rate / Paolo Lombardi ; Cristina Versino
Discriminative Multiple Target Tracking / Xiaoyu Wang ; Gang Hua ; Tony X. Han
A Framework of Wire Tracking in Image Guided Interventions / Peng Wang ; Andreas Meyer ; Terrence Chen ; Shaohua K. Zhou ; Dorin Comaniciu
Motion Analysis and Behavior Modeling / Part III：
An Integrated Approach to Visual Attention Modeling for Saliency Detection in Videos / Sunaad Nataraju ; Vineeth Balasubramanian ; Sethuraman Panchanathan
Video-Based Human Motion Estimation by Part-Whole Gait Manifold Learning / Guoliang Fan ; Xin Zhang
Spatio-Temporal Motion Pattern Models of Extremely Crowded Scenes / Louis Kratz ; Ko Nishino
Learning Behavioral Patterns of Time Series for Video-Surveillance / Nicoletta Noceti ; Matteo Santoro ; Francesca Odone
Gesture and Action Recognition / Part IV：
Recognition of Spatiotemporal Gestures in Sign Language Using Gesture Threshold HMMs / Daniel Kelly ; John McDonald ; Charles Markham
Learning Transferable Distance Functions for Human Action Recognition / Weilong Yang ; Yang Wang ; Greg Mori
Index
Manifold Learning and Clustering/Segmentation / Part I：
Practical Algorithms of Spectral Clustering: Toward Large-Scale Vision-Based Motion Analysis / Tomoya Sakai ; Atsushi Imiya
Riemannian Manifold Clustering and Dimensionality Reduction for Vision-Based Analysis / Alvina Goh
95.
ＥＢ
Miltos Petridis, Adrian Hopgood Max Bramer, Max Bramer, Adrian Hopgood, Miltos Petridis
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
96.
ＥＢ
Tom Anderson Chris Dale, Tom Anderson, Chris Dale
出版情報:
Springer eBooks Computer Science , Springer London, 2011
子書誌情報:
loading…
所蔵情報:
loading…
97.
ＥＢ
Shenghua Xu, Changxuan Wan, Yuansheng Zhong, Wita Wojtkowski, Gregory Wojtkowski, Henry Linger William Wei Song, Henry Linger, William Wei Song, Changxuan Wan, Gregory Wojtkowski, Wita Wojtkowski, Shenghua Xu, Yuansheng Zhong
出版情報:
Springer eBooks Computer Science , Springer New York, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Enterprise Systems - A Challenge for Future Research and Improved Practice / Part I：
CbSSDF and OWL-S: A Scenario-Based Solution Analysis and Comparison / Xiaofeng Du ; William Wei Song ; Malcom Munro
Enterprise Systems in a Service Science Context / Anders G. Nilsson
A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems / Yu Li ; Andreas Oberweis
Modern Enterprise Systems as Enablers of Agile Development / Odd Fredriksson ; Lennart Ljung
Patterns-Based IS Change Management in SMEs / Janis Makna ; Marite Kirikova
Applying Use Cases to Describe the Role of Standards in e-Health Information Systems / Emma Chávez ; Gavin Finnie ; Padmanabhan Krishnan
Discussion on Development Trend of Chinese Enterprises Information System / Xiao-hong Gan
Asymmetrical Effects of Using Positive and Negative Examples on Object Modeling / Narasimha Bolloju ; Christoph Schneider ; Doug Vogel
IS/IT Project Management / Part II：
A Social Contract for University-Industry Collaboration: A Case of Project-Based Learning Environment / Tero Vartiainen
Replacement of the Project Manager Reflected Through Activity Theory and Work-System Theory / Heli Aramo-Immonen ; Jari Jussila ; Maritta Pirhonen ; Kirsi Liikamaa
Integrating Environmental and Information Systems Management: An Enterprise Architecture Approach / Ovidiu Noran
Effective Monitoring and Control of Outsourced Software Development Projects / Laura Ponisio ; Peter Vruggink
Classification of Software Projects' Complexity / P. Fitsilis ; A. Kameas ; L. Anthopoulos
Application of Project Portfolio Management / Malgorzata Pankowska
Human-Computer Interaction and Knowledge Management / Part III：
Towards a Cost-Effective Evaluation Approach for Web Portal Interfaces / Andrina Granic ; Ivica Mitrovic ; Nikola Marangunic
IT Knowledge Requirements Identification in Organizational Networks: Cooperation Between Industrial Organizations and Universities / Peteris Rudzajs
A Knowledge Tree Model and Its Application for Continuous Management Improvement / Yun Lu ; Zhen-Qiang Bao ; Yu-Qin Zhao ; Yan Wang ; Gui-Jun Wang
On the Development of a User-Defined Quality Measurement Tool for XML Documents / Eric Pardede ; Tejasvi Gaur
The Paradox of "Structured" Methods for Software Requirements Management: A Case Study of an e-Government Development Project / Kieran Conboy ; Michael Lang
The Research for Knowledge Management System of Virtual Enterprise Based on Multi-agent / Yang Bo ; Shenghua Xu
Model-Driven Engineering in ISD / Part IV：
Problem-Solving Methods in Agent-Oriented Software Engineering / Paul Bogg ; Ghassan Beydoun ; Graham Low
MORPHEUS: A Supporting Tool for MDD / Elena Navarro ; Abel Gómez ; Patricio Letelier ; Isidro Ramos
Towards a Model-Driven Approach to Information System Evolution / Mohammed Aboulsamh ; Jim Davies
Open Design Architecture for Round Trip Engineering / Miroslav Belicák ; Jaroslav Pokorný ; Karel Richta
Quality Issues on Model-Driven Web Engineering Methodologies / F. J. DomÃnguez-Mayo ; M.J. Escalona ; M. MejÃas
Measuring the Quality of Model-Driven Projects with NDT-Quality / J.J. Gutiérrez ; M. Pérez-Pérez ; A. Molina ; E. MartÃnez-Force ; F.J. DomÃnguez-Mayo
Aligning Business Motivations in a Services Computing Design / T. Roach ; G. Low ; J. D'Ambra
Information Systems for Service Marketing and e-Businesses / Part V：
CRank: A Credit Assessment Model in C2C e-Commerce / Zhiqiang Zhang ; Xiaoqin Xie ; Haiwei Pan ; Qilong Han
Towards Agent-Oriented Approach to a Call Management System / Amir Nabil Ashamalla
Design and Research on e-Business Platform Based on Agent / L.Z. Li ; L.X. Li
Research of B2B e-Business Application and Development Technology Based on SOA / Li Liang Xian
Dynamic Inventory Management with Demand Information Updating / Jian Liu ; Chunlin Luo
Analysis of Market Opportunities for Chinese Private Express Delivery Industry / Changbing Jiang ; Lijun Bai ; Xiaoqing Tong
Development of Information Systems for Creativity and Innovation / Part VI：
Explaining Change Paths of Systems and Software Development Practices / Kari Smolander ; Even Åby Larsen ; Tero Päivärinta
Designing a Study for Evaluating User Feedback on Predesign Models / Jürgen Vöhringer ; Peter Bellström ; Doris Gälle ; Christian Kop
Study on the Method of the Technology Forecasting Based on Conjoint Analysis / Jing-yi Miao ; Cheng-yu Liu ; Zhen-hua Sun
Towards a New Concept for Supporting Needy Children in Developing Countries - ICT Centres Integrated with Social Rehabilitation / Thérèse H. Nilsson
An Investigation of Agility Issues in Scrum Teams Using Agility Indicators / Minna Pikkarainen ; Xiaofeng Wang
The Influence of Short Project Timeframes on Web Development Practices: A Field Study
On Weights Determination in Ideal Point Multiattribute Decision-Making Model / Xin-Chang Wang ; Xin-Ying Xiao
Information Systems Engineering and Management / Part VII：
An Approach for Prioritizing Agile Practices for Adaptation / Gytenis Mikulenas ; Kestutis Kapocius
Effects of Early User-Testing on Software Quality - Experiences from a Case Study / John Sören Pettersson ; Jenny Nilsson
Development of Watch Schedule Using Rules Approach / Darius Jurkevicius ; Olegas Vasilecas
Priority-Based Constraint Management in Software Process Instantiation / Peter Killisperger ; Markus Stumptner ; Georg Peters ; Thomas Stückl
Adopting Quality Assurance Technology in Customer-Vendor Relationships: A Case Study of How Interorganizational Relationships Influence the Process / Lise Tordrup Heeager ; Gitte Tjørnehøj
A Framework for Decomposition and Analysis of Agile Methodologies During Their Adaptation
The Methodology Evaluation System can Support Software Process Innovation / Alena Buchalcevova
Index
Enterprise Systems - A Challenge for Future Research and Improved Practice / Part I：
CbSSDF and OWL-S: A Scenario-Based Solution Analysis and Comparison / Xiaofeng Du ; William Wei Song ; Malcom Munro
Enterprise Systems in a Service Science Context / Anders G. Nilsson
98.
ＥＢ
Sa?d Assar, Sa?d Assar, Imed Boughzala, Isabelle Boydens
出版情報:
Springer eBooks Computer Science , Springer New York, 2011
子書誌情報:
loading…
所蔵情報:
loading…
99.
ＥＢ
Sabine Coquillart, Greg Welch Guido Brunnett, Guido Brunnett, Sabine Coquillart, Greg Welch, Gregory V. Welch
出版情報:
Springer eBooks Computer Science , Springer Vienna, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Proposals for Future Virtual Environment Software Platforms / Anthony Steed1：
Augmented Reality 2.0 / Dieter Schmalstieg ; Tobias Langlotz ; Mark Billinghurst2：
Experiential Fidelity: Leveraging the Mind to Improve the VR Experience / Steffi Beckhaus ; Robert W. Lindeman3：
Social Gaming and Learning Applications: A Driving Force for the Future of Virtual and Augmented Reality? / Ralf Dörner ; Benjamin Lok ; Wolfgang Broll4：
[Virtual + 1]*Reality / 5：
Action Capture: A VR-Based Method for Character Animation / Bernhard Jung ; Heni Ben Amor ; Guido Heumer ; Arnd Vitzthum6：
Cloth Simulation Based Motion Capture of Dressed Humans / Nils Hasler ; Bodo Rosenhahn ; Hans-Peter Seidel7：
Remote 3D Medical Consultation / Greg Welch ; Diane H. Sonnenwald ; Henry Fuchs ; Bruce Cairns, M.D. ; Ketan Mayer-Patel ; Ruigang Yang ; Andrei State ; Herman Towles ; Adrian Ilie ; Srinivas Krishnan ; Hanna M. Söderholm8：
SEE MORE: Improving the Usage of Large Display Environments / Achim Ebert ; Hans Hagen ; Torsten Bierz ; Matthias Deller ; Peter-Scott Olech ; Daniel Steffen ; Sebastian Thelen9：
Inner Sphere Trees and Their Application to Collision Detection / Rene Weller ; Gabriel Zachmann10：
The Value of Constraints for 3D User Interfaces / Wolfgang Stuerzlinger ; Chadwick A. Wingrave11：
Evaluation of a Scalable In-Situ Visualization System Approach in a Parallelized Computational Fluid Dynamics Application / Sebastian Manten ; Michael Vetter ; Stephan Olbrich12：
Author Index
Subject Index
Proposals for Future Virtual Environment Software Platforms / Anthony Steed1：
Augmented Reality 2.0 / Dieter Schmalstieg ; Tobias Langlotz ; Mark Billinghurst2：
Experiential Fidelity: Leveraging the Mind to Improve the VR Experience / Steffi Beckhaus ; Robert W. Lindeman3：
100.
ＥＢ
Guerino Mazzola
出版情報:
Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
子書誌情報:
loading…
所蔵情報:
loading…
目次情報:
続きを見る
Introduction / Part I：
Introduction and Overview / 1：
List of Symbols / 2：
Short History of Performance Theory / 3：
The Philosophical Tradition / 3.1：
The Empirical Tradition / 3.2：
Oniontology / 4：
Realities / 4.1：
Communication / 4.2：
Semiotics / 4.3：
Embodiment / 4.4：
The Baboushka Principle / 4.5：
Topography of Performance / 4.6：
Semiotic Expressivity / 4.7：
Rhetorical Expressivity / 4.8：
CSI Anatomy / 4.9：
ISC Anatomy / 4.10：
Multi-agent Communication / 4.11：
The Performer's Balanced Dancing Presence / 4.12：
Structure Theory / Part II：
What Is Structure Theory? / 5：
Tempo Curves / 6：
What is Tempo? / 6.1：
Some Remarks on the History and Ethnography of Tempo / 6.1.1：
Calcuating Time from Tempo / 6.2：
Tuning, Intonation, and Dynamics / 7：
Tuning and Intonation / 7.1：
Dynamics / 7.2：
Combining Tempo, Tuning, and Dynamics / 8：
Articulation / 9：
General Performance Fields / 10：
Initial Sets / 10.1：
Measuring Performance Fields / 10.3：
The Category of Performance Cells and Hierarchies / 11：
Expressive Theory / Part III：
What Is Expressive Theory? / 12：
Experiments in Expressive Performance / 12.1：
Emotional Expression / 13：
What is Emotion? / 13.1：
Some Physiological Evidences / 13.2：
Manfred Clynes' Essentic Forms / 13.3：
Reinhard Kopiez' and Jörg Langner's Theory of Oscillating Systems / 13.4：
Anders Friberg's Feature-based Model / 13.5：
Alf Gabrielsson's Isomorphism / 13.6：
Gestural Expression / 14：
General Facts About Gesture Theory in Music / 14.1：
Roger Sessions: Gestures in Performance / 14.2：
Theodor Wiesengrund Adorno's Gesture Theory in Musical Reproduction / 14.3：
Renate Wieland's Gestural Piano Pedagogy / 14.4：
Manfred Clynes' Essentics as a Theory of Gestural Expressivity / 14.5：
Johan Sundberg, Neil P. McAgnus Todd: Mechanical Models of Gestures in Music / 14.6：
Guerino Mazzola and Stefan Müller: Modeling the Pianist's Hand / 14.7：
Modeling the Hand / 14.7.1：
Transforming Abstract Note Symbols into Symbolic Gestures / 14.7.2：
Deforming Symbolic Hand Gestures into Physically Valid Curves / 14.7.3：
A Mathematical Gesture Theory / 14.8：
Anders Friberg, Antoni Camurri et al.: Computer-aided Emotional Analysis of Performance / 14.9：
Analytical Expression / 15：
Adorno's Analytical Performance Study of Webern's First Bagatelle / 15.1：
Anders Friberg, Johan Sundberg, and Lars Frydén: Director Musices Performance Software / 15.2：
Guerino Mazzola and Oliver Zahorka: The Rubato Theory of Analytical Performance / 15.3：
Analytical Weights / 16：
Metrical Weights / 16.1：
Melodic Weights / 16.2：
Harmonic Weights / 16.3：
Primavista Weights / 16.4：
Shaping Operators / 17：
Are Lie Type Operators Universal? / 17.1：
Two Generic Models and the Challenge of Improvisation / 18：
The GERM Model / 18.1：
Todd's Generic Approach / 18.2：
The Challenge of Improvisation / 18.3：
Expansion of Improvisational Time-Spaces / 18.3.1：
The Analysis / 18.3.2：
String Quartet Theory / 19：
Historical and Theoretical Prerequisites / 19.1：
The General Plan / 19.2：
General Position for Performance: Four Examples / 19.2.1：
The Sound Space of the Violin Family / 19.3：
Notes in General Position / 19.4：
Performance of the String Quartet / 19.5：
Rubato: Model and Software / Part IV：
Performance Scores / 20：
Stemma Theory / 21：
Tempo Hierarchies in the presto® Software / 21.1：
The General Stemma Concept / 21.2：
The New Performance Rubette: Realtime, Openness, and Gesturality / 21.3：
Case Studies / 22：
Schumann's Träumerei: The First Performance Experiment with RUBATO® / 22.1：
Schumann's Kuriose Geschichte / 22.2：
Bach's Kunst der Fuge / 22.3：
Rhythmical Analysis / 22.3.1：
Motif Analysis / 22.3.2：
Target-driven vs. Experimental Stemma Constructions / 22.3.3：
Performance Setup / 22.3.4：
Construction of Third Performance Parcours / 22.3.5：
Final Discussion / 22.3.6：
Statistics / 23：
Hierarchical Decomposition of Weights / 23.1：
Inverse Performance / Part V：
What Is Inverse Performance Theory? / 24：
Technical Aspects / 24.1：
Reconstruction of the Performance Map from Recording Data / 24.1.1：
Reconstruction of the Stemma from the Performance Map / 24.1.2：
The Technical Setup / 25：
Schumann's Träumerei: Argerich vs. Horowitz / 26：
Rethinking Music Critique / 27：
Boiling Down Infinity / 27.1：
Glenn Gould's Politically Incorrect Performance / 27.2：
Epilogue / Part VI：
Summary of Performance Theory / 28：
Future Developments / 29：
References, Music Examples, Index / Part VII：
References
Music Examples
Index
Introduction / Part I：
Introduction and Overview / 1：
List of Symbols / 2：
図書
ＡＶ
雑誌
コンピュータファイル
ＥＢ
