close
1.

図書

図書
editors Takayuki Homma, Toru Asahi
出版情報: [Amsterdam] : Elsevier, 2008  xi, 2845-3205 p. ; 29 cm
シリーズ名: PMRC ; 2007
所蔵情報: loading…
2.

図書

図書
by Peter G.W. Keen and Henk G. Sol
出版情報: Amsterdam : IOS Press, c2008  xv, 184 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
東京工業大学 ; 21世紀COEプログラム「インスティテューショナル技術経営学」(SIMOT)事務局
出版情報: 東京 : [東京工業大学21世紀COEプログラム「インスティテューショナル技術経営学」(SIMOT)事務局], [2008.2]  370p ; 30cm
所蔵情報: loading…
4.

図書

図書
organized by IEEE Serbia and Montenegro Section - ED/SSC Chapter ; under the co-sponsorship of IEEE Electron Devices Society ; with the cooperation of IEEE Solid-State Circuits Society
出版情報: Piscataway, N.J. : Electron Devices Society of the IEEE, c2008  v. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by the Electronic Devices Society of IEEE
出版情報: Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2008  1 v. ; 28 cm
所蔵情報: loading…
6.

図書

図書
Erich Steiner
出版情報: Oxford ; New York : Oxford University Press, 2008  xii, 668 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Numbers, variables, and units / 1:
Concepts / 1.1:
Real numbers / 1.2:
Factorization, factors, and factorials / 1.3:
Decimal representation of numbers / 1.4:
Variables / 1.5:
The algebra of real numbers / 1.6:
Complex numbers / 1.7:
Units / 1.8:
Exercises / 1.9:
Algebraic functions / 2:
Graphical representation of functions / 2.1:
Factorization and simplification of expressions / 2.3:
Inverse functions / 2.4:
Polynomials / 2.5:
Rational functions / 2.6:
Partial fractions / 2.7:
Solution of simultaneous equations / 2.8:
Transcendental functions / 2.9:
Trigonometric functions / 3.1:
Inverse trigonometric functions / 3.3:
Trigonometric relations / 3.4:
Polar coordinates / 3.5:
The exponential function / 3.6:
The logarithmic function / 3.7:
Values of exponential and logarithmic functions / 3.8:
Hyperbolic functions / 3.9:
Differentiation / 3.10:
The process of differentiation / 4.1:
Continuity / 4.3:
Limits / 4.4:
Differentiation from first principles / 4.5:
Differentiation by rule / 4.6:
Implicit functions / 4.7:
Logarithmic differentiation / 4.8:
Successive differentiation / 4.9:
Stationary points / 4.10:
Linear and angular motion / 4.11:
The differential / 4.12:
Integration / 4.13:
The indefinite integral / 5.1:
The definite integral / 5.3:
The integral calculus / 5.4:
Uses of the integral calculus / 5.5:
Static properties of matter / 5.6:
Dynamics / 5.7:
Pressure-volume work / 5.8:
Methods of integration / 5.9:
The use of trigonometric relations / 6.1:
The method of substitution / 6.3:
Integration by parts / 6.4:
Reduction formulas / 6.5:
Rational integrands. The method of partial fractions / 6.6:
Parametric differentiation of integrals / 6.7:
Sequences and series / 6.8:
Sequences / 7.1:
Finite series / 7.3:
Infinite series / 7.4:
Tests of convergence / 7.5:
MacLaurin and Taylor series / 7.6:
Approximate values and limits / 7.7:
Operations with power series / 7.8:
Algebra of complex numbers / 7.9:
Graphical representation / 8.3:
Complex functions / 8.4:
Euler's formula / 8.5:
Periodicity / 8.6:
Evaluation of integrals / 8.7:
Functions of several variables / 8.8:
Partial differentiation / 9.1:
The total differential / 9.4:
Some differential properties / 9.6:
Exact differentials / 9.7:
Line integrals / 9.8:
Multiple integrals / 9.9:
The double integral / 9.10:
Change of variables / 9.11:
Functions in 3 dimensions / 9.12:
Spherical polar coordinates / 10.1:
Functions of position / 10.3:
Volume integrals / 10.4:
The Laplacian operator / 10.5:
Other coordinate systems / 10.6:
First-order differential equations / 10.7:
Solution of a differential equation / 11.1:
Separable equations / 11.3:
Separable equations in chemical kinetics / 11.4:
First-order linear equations / 11.5:
An example of linear equations in chemical kinetics / 11.6:
Electric circuits / 11.7:
Second-order differential equations. Constant coefficients / 11.8:
Homogeneous linear equations / 12.1:
The general solution / 12.3:
Particular solutions / 12.4:
The harmonic oscillator / 12.5:
The particle in a one-dimensional box / 12.6:
The particle in a ring / 12.7:
Inhomogeneous linear equations / 12.8:
Forced oscillations / 12.9:
Second-order differential equations. Some special functions / 12.10:
The power-series method / 13.1:
The Frobenius method / 13.3:
The Legendre equation / 13.4:
The Hermite equation / 13.5:
The Laguerre equation / 13.6:
Bessel functions / 13.7:
Partial differential equations / 13.8:
General solutions / 14.1:
Separation of variables / 14.3:
The particle in a rectangular box / 14.4:
The particle in a circular box / 14.5:
The hydrogen atom / 14.6:
The vibrating string / 14.7:
Orthogonal expansions. Fourier analysis / 14.8:
Orthogonal expansions / 15.1:
Two expansions in Legendre polynomials / 15.3:
Fourier series / 15.4:
Fourier transforms / 15.5:
Vectors / 15.7:
Vector algebra / 16.1:
Components of vectors / 16.3:
Scalar differentiation of a vector / 16.4:
The scalar (dot) product / 16.5:
The vector (cross) product / 16.6:
Scalar and vector fields / 16.7:
The gradient of a scalar field / 16.8:
Divergence and curl of a vector field / 16.9:
Vector spaces / 16.10:
Determinants / 16.11:
Determinants of order 3 / 17.1:
The general case / 17.3:
The solution of linear equations / 17.4:
Properties of determinants / 17.5:
Reduction to triangular form / 17.6:
Alternating functions / 17.7:
Matrices and linear transformations / 17.8:
Some special matrices / 18.1:
Matrix algebra / 18.3:
The inverse matrix / 18.4:
Linear transformations / 18.5:
Orthogonal matrices and orthogonal transformations / 18.6:
Symmetry operations / 18.7:
The matrix eigenvalue problem / 18.8:
The eigenvalue problem / 19.1:
Properties of the eigenvectors / 19.3:
Matrix diagonalization / 19.4:
Quadratic forms / 19.5:
Complex matrices / 19.6:
Numerical methods / 19.7:
Errors / 20.1:
Solution of ordinary equations / 20.3:
Interpolation / 20.4:
Numerical integration / 20.5:
Methods in linear algebra / 20.6:
Gauss elimination for the solution of linear equations / 20.7:
Gauss-Jordan elimination for the inverse of a matrix / 20.8:
Systems of differential equations / 20.9:
Probability and statistics / 20.11:
Descriptive statistics / 21.1:
Frequency and probability / 21.3:
Combinations of probabilities / 21.4:
The binomial distribution / 21.5:
Permutations and combinations / 21.6:
Continuous distributions / 21.7:
The Gaussian distribution / 21.8:
More than one variable / 21.9:
Least squares / 21.10:
Sample statistics / 21.11:
Standard integrals / 21.12:
Solutions to exercises
Index
Numbers, variables, and units / 1:
Concepts / 1.1:
Real numbers / 1.2:
7.

図書

図書
Hossein Agheli
出版情報: Saarbrücken : VDM Verlag Dr. Müller, c2008  79 p. ; 23 cm
所蔵情報: loading…
8.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers ; edited by Milind V. Khire, Akram N. Alshawabkeh, Krishna R. Reddy
出版情報: Reston, Va. : American Society of Civil Engineers, c2008  xviii, 856 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 177
所蔵情報: loading…
9.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers ; edited by Krishna R. Reddy, Milind V. Khire, Akram N. Alshawabkeh
出版情報: Reston, Va. : American Society of Civil Engineers, c2008  xx, 1203 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 178
所蔵情報: loading…
10.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers ; edited by Akram N. Alshawabkeh, Krishna R. Reddy, Milind V. Khire
出版情報: Reston, Va. : American Society of Civil Engineers, c2008  xix, 1101 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 179
所蔵情報: loading…
11.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers ; edited by James E. Laier, David K. Crapps, Mohamad H. Hussein
出版情報: Reston, Va. : American Society of Civil Engineers, c2008  xxviii, 671 p. ; 28 cm
シリーズ名: Geotechnical special publication ; no. 180
所蔵情報: loading…
12.

図書

図書
sponsored by Pavements Committee of the Geo-Institute, American Society of Civil Engineers ... [et al.] ; edited by Zhanping You, Ala R. Abbas, Linbing Wang
出版情報: Reston, Va. : American Society of Civil Engineers, c2008  x, 167 p. ; 22 cm
シリーズ名: Geotechnical special publication ; no. 182
所蔵情報: loading…
13.

図書

図書
sponsored by the Geo-Institute of the American Society of Civil Engineers ; edited by Lynn B. Yuhr, E. Calvin Alexander, Jr., Barry F. Beck
出版情報: Reston, Va. : American Society of Civil Engineers, c2008  xx, 761 p. ; 28 cm
シリーズ名: Geotechnical special publication ; no. 183
所蔵情報: loading…
14.

図書

図書
edited by David Cook, Kent Taylor ; sponsored by the Society for Modeling and Simulation International
出版情報: [s.l.] : [Society for Modeling and Simulation International], [2008]  xii, 499 p. ; 28 cm
シリーズ名: Simulation series ; v. 40, no. 3
所蔵情報: loading…
15.

図書

図書
Ilmar Kleis, Priit Kulu
出版情報: London : Springer, c2008  xii, 206 p ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Notation
Experimental Study of Erosion Characteristics / 1:
Laboratory Equipment Used in Erosion Research / 1.1:
Dependence of Erosion on Particle Velocity / 1.2:
Dependence of Erosion on Impact Angle / 1.3:
Dependence of Erosion on Particle Size / 1.4:
Influence of Particle Concentration / 1.5:
Effect of Abrasive Mixtures and Liquid Additives on Erosion / 1.6:
Effect of Mixtures of Uniform Granularity / 1.6.1:
Effect of Fine-grained Solid Additives on Abrasion / 1.6.2:
Abrasion by Industrial Dusts / 1.6.3:
Effect of Liquid Additives / 1.6.4:
Influence of Temperature on Erosion / 1.7:
Erosion of Surface by Grazing Particles / 1.8:
References / 1.9:
Research into the Physical Mechanism of Erosion / 2:
Changes in the Macro-and Microgeometry of a Wearing Surface / 2.1:
Stress Distribution and Structural Changes in Target Material Surface Layer / 2.2:
Fragmentation of Abrasive Particles and Adhesion of the Latter to the Surface / 2.3:
Development of Theories of Collision and Erosion / 2.4:
Hypothesis of a Constant Specific Energy; Dynamic Hardness / 3.1:
Experimental and Theoretical Determination of the Coefficient of Restitution / 3.2:
Analytical Determination of Indentation Load in Terms of Impact Energy / 3.3:
Mathematical Models for Force Calculation / 3.3.1:
Comparison of Calculated and Experimental Results / 3.3.2:
Conclusions / 3.3.3:
Theoretical Treatment of Erosion / 3.4:
A Short Survey of Erosion Theory / 3.4.1:
Erosion by Plastic Contact / 3.4.2:
Energetic Erosion Theory / 3.4.2.1:
Verification and Modification of Energetic Erosion Theory / 3.4.2.2:
Erosion by Brittle Behaviour / 3.4.3:
Modelling of Wear / 3.4.3.1:
Verification of the Model / 3.4.3.2:
Calculation of Erosive Wear of Composite Materials / 3.4.4:
Prediction of Relative Erosion Resistance / 3.5:
Erosion Resistance of Powder Materials and Coatings / 3.6:
Groups and Properties of Wear Resistant Materials and Coatings / 4.1:
Erosion Resistance of Advanced Ceramic Materials and Coatings / 4.2:
Erosion Resistance of Ceramic-Metal Composites and Coatings at Room Temperature / 4.3:
Erosion of Ceramic-Metal Composites / 4.3.1:
Erosion of Coatings / 4.3.2:
Erosion Resistance of Ceramic-Metal Materials and Coatings at Elevated Temperatures / 4.4:
Criteria for Erosive Wear Resistant Material and Coating Selection / 4.4.1:
Tribological Criteria / 4.5.1:
Structural Criteria / 4.5.2:
Qualitative Criteria / 4.5.3:
Improvement of Erosion Resistance of Industrial Equipment / 4.6:
Fans and Exhausters / 5.1:
Influence of Geometrical Parameters of the Rotor on the Erosion Rate / 5.1.1:
Design Methods for Reducing Erosion of Rotors / 5.1.2:
Disintegrators / 5.2:
Use of Disintegrators in the Building Industry / 5.2.1:
Disintegrator as a Machine for Treatment of Different Materials by Collision / 5.2.2:
Application of Wear Resistant Materials and Coatings in Disintegrators / 5.2.3:
Improvement of Disintegrator Design / 5.2.4:
Cyclones for Ash Separation / 5.3:
Cyclone Working Conditions / 5.3.1:
Determination of the Impact Parameters of Erosive Particles / 5.3.2:
Drying Line Equipment at Peat-Briquette Works / 5.4:
Disintegrator as a Device for Milling of Mineral Ores / 5.5:
Materials to be Studied / 5.5.1:
Grindability and Abrasivity of Mineral Materials and Ores / 5.5.2:
Prediction of Relative Erosion Resistance of the Grinding Media / 5.5.3:
Index / 5.6:
Notation
Experimental Study of Erosion Characteristics / 1:
Laboratory Equipment Used in Erosion Research / 1.1:
16.

図書

図書
Terry Halpin, Tony Morgan
出版情報: Burlington : Morgan Kaufman Publishers, c2008  xxvi, 943 p. ; 24 cm
シリーズ名: The Morgan Kaufmann series in data management systems
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Information Modeling / 1.1:
Modeling Approaches / 1.2:
Some Historical Background / 1.3:
The Relevant Skills / 1.4:
Summary / 1.5:
Information Levels and Frameworks / 2:
Four Information Levels / 2.1:
The Conceptual Level / 2.2:
Database Design Example / 2.3:
Development Frameworks / 2.4:
Conceptual Modeling: First Steps / 2.5:
Conceptual Modeling Language Criteria / 3.1:
Conceptual Schema Design Procedure / 3.2:
CSDP Step 1: From Examples to Elementary Facts / 3.3:
CSDP Step 2: Draw Fact Types, and Populate / 3.4:
CSDP Step 3: Trim Schema / 3.5:
Note Basic Derivations
Uniqueness Constraints / 3.6:
Arity Check / 4.1 CSDP Step 4: Uniqueness Constraints:
Mandatory Roles / 4.2 Uniqueness Constraints on Unaries and Binaries:
Introduction to CSDP Step 5 / 5.1:
Mandatory and Optional Roles / 5.2:
Reference Schemes / 5.3:
Case Study: A Compact Disc Retailer / 5.4:
Logical Derivation Check / 5.5:
Value, Set-Comparison and Subtype Constraints / 5.6:
CSDP Step 6: Value, Set-Comparison and Subtype constraints / 6.1:
Basic Set Theory / 6.2:
Value Constraints and Independent Objects / 6.3:
Subset, Equality, and Exclusion Constraints / 6.4:
Subtyping / 6.5:
Generalization of Object Types / 6.6:
Other Constraints and Final Checks / 6.7:
CSDP Step 7: Other Constraints and Final Checks / 7.1:
Occurrence Frequencies / 7.2:
Ring Constraints / 7.3:
Other Constraints and Rules / 7.4:
Final Checks / 7.5:
Entity Relationship Modeling / 7.6:
Overview of ER / 8.1:
Barker notation / 8.2:
Information Engineering notation / 8.3:
IDEF1X / 8.4:
Mapping from ORM to ER / 8.5:
Data Modeling in UML / 8.6:
Object-Orientation / 9.1:
Attributes / 9.3:
Associations / 9.4:
Set-Comparison constraints / 9.5:
Other Constraints and Derivation Rules / 9.6:
Mapping from ORM to UML / 9.8:
Advanced Modeling Issues / 9.9:
Join Constraints / 10.1:
Deontic Rules / 10.2:
Temporality / 10.3:
Collection Types / 10.4:
Nominalization and Objectification / 10.5:
Open/Closed World Semantics / 10.6:
Higher-Order Types / 10.7:
Relational Mapping / 10.8:
Implementing a Conceptual Schema / 11.1:
Relational Schemas / 11.2:
Relational Mapping Procedure / 11.3:
Advanced Mapping Aspects / 11.4:
Data Manipulation with Relational Languages / 11.5:
Relational Algebra / 12.1:
Relational Database Systems / 12.2:
SQL: Historical and Structural Overview / 12.3:
SQL: Identifiers and Data Types / 12.4:
SQL: Choosing Columns, Rows, and Order / 12.5:
SQL: Joins / 12.6:
SQL: In, Between, Like, and Null Operators / 12.7:
SQL: Union and Simple Subqueries / 12.8:
SQL: Scalar Operators and Bag Functions / 12.9:
SQL: Grouping / 12.10:
SQL: Correlated and Existential Subqueries / 12.11:
SQL: Recursive Queries / 12.12:
SQL: Updating Table Populations / 12.13:
SQL: Other Useful Constructs / 12.14:
Using Other Database Objects / 12.15:
SQL: Data Definition / 13.1:
SQL: User Defined Functions / 13.2:
SQL: Views and Computed Columns / 13.3:
SQL: Triggers / 13.4:
SQL: Stored Procedures / 13.5:
SQL: Indexes / 13.6:
Other Objects / 13.7:
Exploiting 3GLs / 13.8:
Exploiting XML / 13.9:
Security and Meta-Data / 13.10:
Concurrency / 13.11:
Schema Transformations / 13.12:
Schema Equivalence and Optimization / 14.1:
Predicate Specialization and Generalization / 14.2:
Nesting, Coreferencing, and Flattening / 14.3:
Other Transformations / 14.4:
Introduction / 1:
Information Modeling / 1.1:
Modeling Approaches / 1.2:
17.

図書

図書
edited by Timothy Marbach
出版情報: Sacramento, Calif. : California State University, Sacramento, [2008]  126 p. ; 22 cm
所蔵情報: loading…
18.

図書

図書
Geotechnical Earthquake Engineering and Soil Dynamics ; American Society of Civil Engineers
出版情報: Reston, VA : American Society of Civil Engineers , Red Hook, NY : Printed from e-media with permission by Curran Associates, c2008  771 p. ; 28 cm
シリーズ名: Geotechnical special publication ; no. 181
所蔵情報: loading…
19.

図書

図書
Geotechnical Earthquake Engineering and Soil Dynamics ; American Society of Civil Engineers
出版情報: Reston, VA : American Society of Civil Engineers , Red Hook, NY : Printed from e-media with permission by Curran Associates, c2008  p. 772-1542 ; 28 cm
シリーズ名: Geotechnical special publication ; no. 181
所蔵情報: loading…
20.

図書

図書
Geotechnical Earthquake Engineering and Soil Dynamics ; American Society of Civil Engineers
出版情報: Reston, VA : American Society of Civil Engineers , Red Hook, NY : Printed from e-media with permission by Curran Associates, c2008  p. 1543-2319 ; 28 cm
シリーズ名: Geotechnical special publication ; no. 181
所蔵情報: loading…
21.

図書

図書
Jose-Angel Conchello ... [et al.], editors ; sponsored and published by SPIE
出版情報: Bellingham, Wash. : SPIE, c2008  1 v. (various pagings) ; 28 cm
シリーズ名: Progress in biomedical optics and imaging ; v. 9, no. 20
Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6861
所蔵情報: loading…
22.

図書

図書
Mark S. Zediker, editor ; sponsored and published by SPIE
出版情報: Bellingham, Wash. : SPIE, c2008  1 v. (various pagings) ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 6876
所蔵情報: loading…
23.

図書

図書
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, c2008  653 p. ; 27 cm
所蔵情報: loading…
24.

図書

図書
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, c2008  p. 654-1308 ; 27 cm
所蔵情報: loading…
25.

図書

図書
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, c2008  p. 1309-1953 ; 27 cm
所蔵情報: loading…
26.

図書

図書
中沢新一著
出版情報: 東京 : 筑摩書房, 2008.5  143p ; 18cm
シリーズ名: ちくまプリマー新書 ; 082
所蔵情報: loading…
27.

図書

図書
阿部利洋著
出版情報: 東京 : 岩波書店, 2008.4  216p ; 20cm
所蔵情報: loading…
28.

図書

図書
花田清輝 [著]
出版情報: 東京 : 講談社, 2008.5  285p ; 16cm
シリーズ名: 講談社文芸文庫 ; [はB14]
所蔵情報: loading…
29.

図書

図書
中島震著
出版情報: 東京 : 近代科学社, 2008.4  xiii, 238p ; 24cm
所蔵情報: loading…
30.

図書

図書
ラルフ・L・ロスノウ, ミミ・ロスノウ著 ; 加藤孝義, 和田裕一訳
出版情報: 東京 : 新曜社, 2008.4  xi, 207p ; 21cm
所蔵情報: loading…
31.

図書

図書
[Herausgeber, Peter-Matthias Gaede]
出版情報: [Hamburg] : GEO, Gruner + Jahr , Mannheim : Bibliographisches Institut, 2008  3 v. ; 25 cm
シリーズ名: GEO Themenlexikon ; Bd. 23-25
所蔵情報: loading…
32.

図書

図書
[Herausgeber, Peter-Matthias Gaede]
出版情報: [Hamburg] : GEO, Gruner + Jahr , Mannheim : Bibliographisches Institut, 2008  3 v. ; 25 cm
シリーズ名: GEO Themenlexikon ; Bd. 28-30
所蔵情報: loading…
33.

図書

図書
edited by Hemanta K. Majumder
出版情報: New York : Springer Science+Business Media , Austin, Tex. : Landes Bioscience, c2008  xix, 157 p. ; 26 cm
シリーズ名: Advances in experimental medicine and biology ; v. 625
所蔵情報: loading…
目次情報: 続きを見る
Arsenite Resistance in Leishmania and Possible Drug Targets / Gaganmeet Singh ; K.G. Jayanarayan ; Chinmoy S. Dey1:
Abstract
Introduction
Arsenite Resistance in Leishmania
Potential Drug Targets
Conclusion
Unique Characteristics of the Kinetoplast DNA Replication Machinery Provide Potential Drug Targets in Trypanosomatids / Dotan Sela ; Neta Milman ; Irit Kapeller ; Aviad Zick ; Rachel Bezalel ; Nurit Yaffe ; Joseph Shlomai2:
Reevaluating the Kinetoplast as a Potential Target for Anti-Trypanosomal Drugs
The kDNA Network and Its Monomeric Components
Unique Characteristics of the kDNA Replication System
Replication of Free kDNA Minicircles and Catenated Maxicircles
Regulation of kDNA Replication
Concluding Remarks
Drugs and Transporters in Kinetoplastid Protozoa / Scott M. Landfear3:
Roles of Membrane Transport Proteins among the Kinetoplastida
Leishmania Glucose Transporters
Leishmania Purine Transporters
Selective Lead Compounds Against Kinetoplastid Tubulin / R.E. Morgan ; K.A. Werbovetz4:
Oryzalin as a Lead Compound against Kinetoplastid Tubulin
Aromatic Thiocyanates as Lead Compounds
Generating New Leads
Fishing for Anti-Leishmania Drugs: Principles and Problems / Emanuela Handman ; Lukasz Kedzierski ; Alessandro D. Uboldi ; James W. Goding5:
The Disease Burden of Leishmaniasis
Transmission and Epidemiology
Disease Manifestations
Management and Control of Leishmaniasis
The Impact of New Technologies on Drug Discovery
High Throughput Screening
Structure-Based Drug Discovery
Proteomics
Monoclonal Antibodies
Natural Products
Target Selection and Validation
Proteins and Metabolic Pathways Unique to the Parasite
Proteins Essential for Parasite Survival and Virulence Factors
Target Validation
Sterol 14-Demethylase Inhibitors for Trypanosoma Cruzi Infections / Frederick S. Buckner6:
Chagas Disease
Drug Development for Changes Disease
Sterol Biosynthesis-Overview
Sterol 14-Demethylase (CYP51) and Azole Inhibitors
Sterols of T. cruzi
Activity of Azole Compounds against T. cruzi
The Development Status of Sterol 14-Demethylase Inhibitors
Can a Better Sterol 14-Demethylase Inhibitor Be Developed against T. cruzi?
Summary
Histone Deacetylases / David Horn7:
The Deacetylases
The Inhibitors
Current Research
Targeting Glycoproteins or Glycolipids and their Metabolic Pathways for Antiparasite Therapy / Sumi Mukhopadhyay nee Bandyopadhyay ; Chitra Mandal8:
An Introduction to the Kinetoplastid Parasites
Trypanosomiasis
Leishmaniasis
Why Target Glycoproteins and Glycolipids?
Glycoconjugates of Trypanosomes
Biological Relevance of Glycoconjugates in Trypanosomiasis
Targeting VSG Epitopes
Targeting Mucin Glycoproteins
Lactose Derivatives Are Inhibitors of Trans-Sialidase Present in the Mucins
Glycoconjugate Biosynthetic Machinery in Trypanosome
Targeting Enzymes of the Biosynthetic Pathway
Glycoconjugates of Leishmania
Biological Relevance
Development of Anti-Leishmanials by Targeting
gp63 Producing Enzymes
Galactofuranose on LPG
Sialoglycans
Other Glyoconjugates
PPG
Glycosylphosphatidylinositol (GPI) Lipids
Enzymes Producting Glycoproteins
As Drug Carrier
Perspective
DNA Topoisomerases of Leishmania: The Potential Targets for Anti-Leishmanial Therapy / Benu Brata Das ; Agneyo Ganguly ; Hemanta K. Majumder9:
DNA Topoisomerases: The Wonder Enzyme
Classification of DNA Topoisomerases
Topoisomerases of Kinetoplastid Parasites
Topoisomerases as Therapeutic Targets
Antiparasitic Chemotherapy: Tinkering with the Purine Salvage Pathway / Alok Kumar Datta ; Rupak Datta ; Banibrata Sen10:
General Strategies for Development and Characterisation of Drug Targets in Trypanosomatids
Acquisition and Assimilation of Purines in L. donovani Promastigotes
Purine Metabolism in L. donovani Amastigotes
Purine Salvage Enzymes as Targets for Structure-Based Inhibitor Design
Prospects of Adenosine Kinase (AdK) as the Drug Target
General Biochemical Properties of the L. donovani AdK
Structure of AdK from Different Sources
Sequence Characteristics of LdAdK Gene and Homology Model-Based Structural Analysis of the Protein
Identification of Potential Amino Acid Residues Involved in Catalysis
Mechanism of Ado Binding
Mechanism of Phosphate Transfer
Product-Mediated Enzyme Regulation
Conclusions and Perspectives
Searching The Tritryp Genomes for Drug Targets / Peter J. Myler11:
Tritryp Genome Content
Computational Approaches for Drug Target Selection
Databases of Tritrype Metabolism
Identification of Metabolic "Choke-Points"
Searching for Parasite Orthologues of Known Drug Targets
Matching Drug-Like Chemicals to Parasite Proteins
Purine and Pyrimidine Metabolism in Leishmania / Nicola S. Carter ; Phillip Yates ; Cassandra S. Arendt ; Jan M. Biotz ; Buddy Ullman12:
Nomenclature
Purine Metabolism
Purine Transport in Leishmania
Purine Transporters as Drug Targets in Leishmania
Structure-Function Studies on Purine Transporters
Purine Salvage Enzymes of Leishmania
Purine Salvage Enzymes as Drug Targets in Leishmania
The Compartmentalization of Purine Salvage in Leishmania
Pyrimidine Metabolism
Pyrimidine Biosynthesis in Leishmania
Pyrimidine Salvage and Nucleotide Synthesis in Leishmania
The Pyrimidine Pathway as a Drug Target in Leishmania
Index
Arsenite Resistance in Leishmania and Possible Drug Targets / Gaganmeet Singh ; K.G. Jayanarayan ; Chinmoy S. Dey1:
Abstract
Introduction
34.

図書

図書
松原聰編著 ; 加藤昭 [ほか] 著
出版情報: 秦野 : 東海大学出版会, 2008.2  x, 174p ; 27cm
シリーズ名: 国立科学博物館叢書 ; 7
所蔵情報: loading…
35.

図書

東工大
目次DB

図書
東工大
目次DB
越塚誠一編著
出版情報: 東京 : 培風館, 2008.2  vi, 179p, 図版[14]p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
1 序論 1
   1.1 物理ベースコンピュータグラフィック 1
   1.2 粒子シミュレーション 7
   1.3 本書の構成 10
2 物理シミュレーションの基礎 11
   2.1 コンピュータシミュレーションの方法 11
   2.2 時間の離散化 13
   2.3 空間の離散化 19
    2.3.1 SPH法 19
    2.3.2 MPS法 21
   2.4 行列方程式の解法 25
    2.4.1 行列方程式の導出 25
    2.4.2 直接法 28
    2.4.3 反復法 30
    2.4.4 ニュートン法 33
   2.5 数値安定性 35
3 流体シミュレーション 39
   3.1 支配方程式 39
   3.2 SPH 40
    3.2.1 SPHの原理 40
    3.2.2 支配方程式の離散化 42
    3.2.3 タイムステップ 45
    3.2.4 その他の計算モデル 46
    3.2.5 近傍粒子探索 48
   3.3 壁重み関数を用いた境界条件の計算 50
    3.3.1 密度 51
    3.3.2 粘性項 52
    3.3.3 圧力項 52
    3.3.4 壁重み関数の計算 53
   3.4 レンダリング 54
   3.5 計算例 60
   3.6 関連研究 64
4 剛体シミュレーション 67
   4.1 剛体理論の基礎 67
    4.1.1 剛体が持つ変数 67
    4.1.2 質量 68
    4.1.3 重心座標 68
    4.1.4 並進速度と運動量 68
    4.1.5 姿勢 68
    4.1.6 角速度と角運動量 68
    4.1.7 任意の質点の速度 69
    4.1.8 運動量の時間変化 69
    4.1.9 回転行列 69
    4.1.10 クオータニオン 71
    4.1.11 回転行列とクオータニオン 74
    4.1.12 慣性テンソル 75
   4.2 粒子ベース剛体シミュレーション 77
    4.2.1 概要 77
    4.2.2 形状表現 77
    4.2.3 粒子の再配置 78
    4.2.4 慣性テンソルの計算 79
    4.2.5 衝突検出 79
    4.2.6 衝突応答 80
    4.2.7 バネ定数の設走法 84
    4.2.8 タイムステップの拘束条件 87
   4.3 レンダリング 88
   4.4 計算例 88
   4.5 関連研究 90
5 弾性体シミュレーション 93
   5.1 弾性体の力学 93
    5.1.1 変位 93
    5.1.2 1次元の弾性体 93
    5.1.3 3次元の弾性体 95
   5.2 粒子シミュレーションの方法 97
    5.2.1 支配方程式の離散化 97
    5.2.2 時間積分 101
   5.3 レンダリング 101
   5.4 計算例 104
   5.5 関連研究 106
6 布シミュレーション 109
   6.1 布のモデル化 109
   6.2 時間積分法 111
    6.2.1 オイラー陽解法 111
    6.2.2 ベルレ法 112
    6.2.3 後退オイラー法 113
   6.3 物体との衝突 116
   6.4 自己衝突 117
    6.4.1 階層的バウンデイングボリューム 118
    6.4.2 衝突応答 124
   6.5 計算アルゴリズム 125
   6.6 レンダリング 126
   6.7 計算例 127
   6.8 関連研究 128
7 達成シミュレーション 131
   7.1 流体と剛体 131
   7.2 流体と布 135
   7.3 関連研究 138
8 GPUを用いた高速化 139
   8.1 GPU 139
    8.1.1 GPUとは 139
    8.1.2 グラフィックスパイプライン 140
    8.1.3 GPUの汎用利用 143
    8.1.4 テクスチャ 143
    8.1.5 バーテックスシェーダ 144
    8.1.6 フラグメントシェーダ 144
    8.1.7 シェーデイング言語 145
   8.2 粒子シミュレーション 145
    8.2.1 支配方程式 145
    8.2.2 物理量のビデオメモリへの格納 146
    8.2.3 速度の更新 147
    8.2.4 座標の更新 149
    8.2.5 レンダリング 150
   8.3 高さ関数による流体シミュレーション 151
    8.3.1 支配方程式 151
    8.3.2 物理量のビデオメモリヘの格納 154
    8.3.3 高さの更新 154
    8.3.4 レンダリング 154
   8.4 粒子の衝突計算 155
    8.4.1 粒子番号の格納 155
    8.4.2 近傍粒子探索 158
   8.5 計算例 159
   8.6 関連研究 162
参考文献 165
索引 175
1 序論 1
   1.1 物理ベースコンピュータグラフィック 1
   1.2 粒子シミュレーション 7
36.

図書

図書
滝口康彦著
出版情報: 東京 : 学陽書房, 2008.1  495p ; 15cm
シリーズ名: 人物文庫 ; た5-1
所蔵情報: loading…
37.

図書

東工大
目次DB

図書
東工大
目次DB
嶋作一大著
出版情報: 東京 : 東京大学出版会, 2008.3  xiii, 160p ; 21cm
シリーズ名: UT Physics ; 4
所蔵情報: loading…
目次情報: 続きを見る
はじめに v
1 銀河宇宙 1
   1.1 宇宙を彩る銀河 1
   1.2 銀河系 : 我々の住む銀河 2
   1.3 銀河の3つの魅力とは? 11
2 なぜ遠くの銀河を調べるのか 13
   2.1 銀河宇宙の謎 13
     初期宇宙のさざなみ 13
     現在の宇宙はでこぼこ 16
   2.2 遠くを見れば過去が見える 17
     銀何の観測では「距離=時間」 17
     銀河は宇宙とともに進化する 19
   2.3 遠方銀河が見えてきた 20
3 銀河は規則的であり多様である 23
   3.1 銀河はどれくらい大きいか 23
   3.2 楕円銀河と渦巻銀河 24
     楕円銀河 25
     渦巻銀河 26
     SO銀河 28
     銀河の形態と進化 28
   3.3 暗黒物質 : 銀河を支配する重力源 29
   3.4 銀河の人口調査 : 光度関数 31
     等級とは何か 31
     バンドパス 33
     真の明るさ : 絶対等級 35
     銀河の光度関数 36
   3.5 隠された規則性 37
     形態との相関 38
     光度と内部運動の関係 42
4 銀河の集団と大規模構造 45
   4.1 銀河は群れている 46
     銀河群 46
     銀河団 46
     超銀河団 49
     大規模構造 50
     スローン・ディジタル・スカイ・サーベイ 53
   4.2 群れ具合を記述する 55
   4.3 生まれか育ちか,それが問題 58
5 宇宙と銀河の歴史 63
   5.1 ビッグバン宇宙論 63
     宇宙の運命を決める方程式 63
     宇宙の組成 65
     赤方偏移 66
     赤方偏移は宇宙の年齢に対応する 69
   5.2 銀河形成の理論 69
     密度ゆらぎの進化とダークハローの形成 71
     計算機の中に宇宙をつくる 74
     バリオンの進化と銀河 76
     銀河進化の理論と遠方銀河の観測 80
6 遠方銀河の観測法 83
   6.1 かすかな光を捕らえる 83
   6.2 遠方銀河を探し出す 87
     ライマンブレークと4000Åブレークに注目する方法 89
     ライマンα輝線に注目する方法 91
   6.3 銀何の姿は波長で変わる 91
   6.4 重力レンズ : 自然がつくった望遠鏡 93
   6.5 すばる望遠鏡 94
7 遠方銀河の世界 101
   7.1 銀河の青春期 : 星形成の最盛期 101
     星形成率とは 101
     星形成率の測り方 102
     遠方銀河の星形成率 103
     遠方銀河の星形成率密度 105
   7.2 青春期の銀河の混沌とした姿 106
   7.3 生まれたての銀河? 110
   7.4 ダストに隠された暗黒の銀河 : 楕円銀河の祖先? 111
   7.5 クェーサー : 成長する超大質量ブラックホール 115
   7.6 見えないダークハローを見る 119
   7.7 プロジェクトS : 「すばる」の遠方銀河研究 123
8 最果ての銀河 127
   8.1 銀河宇宙以前 128
     宇宙の中性化 : 晴れ上がり 128
     宇宙の暗黒時代 129
     宇宙の再電離 130
   8.2 宇宙再電離はいつ起こったか 132
   8.3 原始のガスから生まれた星 : 種族Ⅲの星 135
9 未来に向かって 137
   9.1 残された謎 137
     天体物理学 137
     宇宙論 138
     人間の起源 139
   9.2 次世代の望遠鏡 141
   9.3 五合目のつぶやき 146
付録 フリードマン方程式 147
参考文献・引用文献 151
索引 157
コラム一覧
   コラム1 宇宙マイクロ波背景放射(CMB) 15
   コラム2 途中の時代のデータがないのはなぜ? 16
   コラム3 場所と時間は分けられない 19
   コラム4 銀河の正体の解明 25
   コラム5 銀河の中はスカスカ 29
   コラム6 渦巻銀河の回転と暗黒物質 30
   コラム7 渦巻腕の真実 32
   コラム8 光年とパーセク 36
   コラム9 L-V関係と銀河の距離の測定 44
   コラム10 なぜ銀河団の質量に上限があるのか 50
   コラム11 ハッブルの法則と銀河の赤方偏移サーベイ 57
   コラム12 原始ガスの組成 : 宇宙の軽元素合成 67
   コラム13 宇宙の密度は果てしなく低い 68
   コラム14 赤方偏移と後退速度 68
   コラム15 宇宙はなぜ100億歳なのか 70
   コラム16 地上の観測適地 98
   コラム17 すばる望遠鏡で観測するには 100
   コラム18 初期質量関数 103
   コラム19 未来の星形成率密度 106
   コラム20 大気のゆらぎを止める : 補償光学 109
   コラム21 ダストとは 112
   コラム22 重い銀河ほど早く進化する 116
   コラム23 銀河の影絵 : 吸収線系 118
   コラム24 宇宙最強のサーチライト : ガンマ線バースト 135
   コラム25 星の種族 136
   コラム26 残存自由電子の意外な役割 136
はじめに v
1 銀河宇宙 1
   1.1 宇宙を彩る銀河 1
38.

図書

図書
鈴木裕二, 伊藤ゆみ著
出版情報: 東京 : エクスナレッジ, 2008.2  703p ; 26cm
所蔵情報: loading…
39.

図書

東工大
目次DB

図書
東工大
目次DB
宍戸昌彦, 大槻高史共著
出版情報: 東京 : 裳華房, 2008.2  xii, 190p ; 21cm
シリーズ名: 化学の指針シリーズ / 編集委員会 [編]
所蔵情報: loading…
目次情報: 続きを見る
1. アミノ酸から蛋白質,遺伝子から蛋白質-生体の物質変換と情報変換を学ぶ-
   1.1 DNAの構造と性質 1
   1.2 DNAの複製 5
   1.3 転写と翻訳 6
   1.4 RNAの生合成 7
   1.4.1 転写の開始・終結と転写単位 10
   1.4.2 転写制御 10
   1.4.3 転写後のプロセシング 12
   1.4.4 生体外転写反応の利用 13
   1.5 蛋白質の生合成 14
   1.5.1 蛋白質生合成装置(リボソーム) 20
   1.5.2 tRNAを中心に見た翻訳 22
   1.5.3 翻訳後のプロセシング 31
   1.5.4 蛋白質生合成系の利用 32
   演習問題 36
2. 分子生物学で用いる基本技術-分子生物学の技法を使いこなす-
   2.1 遺伝子の操作 38
   2.1.1 大腸菌での蛋白質合成のためのプラスミド作製 38
   2.1.2 プラスミドへのDNAの導入(DNAの切断および連結) 40
   2.1.3 PCR法によるDNAの増幅と点変異の導入 43
   2.1.4 DNA化学合成法 46
   2.1.5 DNAのゲル電気泳動 47
   2.1.6 大腸菌の形質転換と大腸菌からのプラスミド単離 48
   2.1.7 DNA配列の確認 50
   2.2 蛋白質に関する操作 51
   2.2.1 大腸菌での蛋白質合成 51
   2.2.2 Hisタグをもつ蛋白質の精製 52
   2.2.3 SDSポリアクリルアミドゲル電気泳動による蛋白質の分離と確認 54
   2.2.4 抗体を用いた蛋白質の検出 55
   2.3 培養細胞に関する操作 58
   2.3.1 細胞の入手と取り扱い 58
   2.3.2 生細胞数の測定 60
   2.3.3 DNAやRNAの細胞内導入 61
   2.3.4 細胞内での蛋白質の挙動の観察 64
   演習問題 66
3. 細胞内で機能する人工分子-生き物の中で化学を使いこなす-
   3.1 人工生体分子の分類 67
   3.1.1 構造面からの分類 68
   3.1.2 機能面からの分類 69
   3.2 バイオ誤認識分子 71
   3.2.1 生理活性分子アナログの例 : ペプチドアナログ 71
   3.2.2 DNAポリメラーゼやRNAポリメラーゼによって誤認識されるヌクレオチドアナログ 73
   3.2.3 核酸アナログ 76
   3.2.4 核酸サロゲート(ペプチド核酸) 78
   3.2.5 人工機能をもつ核酸サロゲート 82
   3.2.6 核酸塩基をもたない核酸サロゲート 85
   3.2.7 DNA結合低分子 86
   3.3 蛋白質生合成系に組み込まれるアミノ酸アナログ 88
   3.4 バイオ直交分子 91
   3.4.1 バイオ直交反応 91
   3.4.2 生体由来のバイオ直交相互作用 94
   3.5 バイオ直交機能分子としての抗体 96
   3.5.1 ペプチド特異的モノクローナル抗体 96
   3.5.2 触媒抗体 97
   3.5.3 人工機能分子に対する抗体 99
   演習問題 104
4. 人工生体分子から機能生命体へ-合成生命体にアプローチする-
   4.1 アミノ酸の拡張に要求されるバイオ直交条件 105
   4.2 バイオ直交tRNAの探索 107
   4.3 バイオ直交ARSの探索 109
   4.3.1 tRNAの試験管中でのアミノアシル化 109
   4.3.2 天然のtRNA-ARS対の改変 110
   4.3.3 有機化学的なtRNA特異的アミノアシル化 113
   4.4 コドン-アンチコドン対の拡張 114
   4.5 生体外蛋白質生合成系を用いた非天然変異蛋白質の作製 116
   演習問題 120
5. 遺伝子発現の制御 -生物機能を操る-
   5.1 遺伝子発現の制御 121
   5.2 細胞内遺伝子発現の人工的な抑制 123
   5.2.1 アンチセンスとアンチジーン 123
   5.2.2 リボザイム 126
   5.2.3 RNA干渉(RNAi) 128
   5.3 遺伝子破壊 131
   演習問題 133
6. 進化分子工学-未知の生物機能を創る-
   6.1 進化分子工学的手法の概要 134
   6.2 変異遺伝子ライブラリーの作製 135
   6.3 RNAの進化分子工学 138
   6.4 アプタマー 140
   6.5 クローニングと解析 141
   6.6 蛋白質の進化分子工学 142
   演習問題 145
7. 人工生体分子の医療応用-化学を診断や治療につなげる-
   7.1 細胞特異的結合分子や分子標的薬の開発指針 146
   7.2 細胞膜に存在する標的分子の同定-細胞表面の構造と細胞を特徴づける分子- 151
   7.3 標的分子に特異的に結合するプローブの探索 152
   7.3.1 One-Bead One-Compound法 153
   7.3.2 ICタグ法 155
   7.3.3 位置スキャンライブラリー 156
   7.3.4 細胞プローブを用いずにがん細胞特異的な薬剤送達を行う方法 158
   7.4 細胞プローブや分子プローブの蛍光標識と標的細胞や標的分子の蛍光検出-分子イメージング- 159
   7.4.1 細胞プローブや分子プローブの蛍光標識 159
   7.4.2 共焦点レーザー走査蛍光顕微鏡 160
   7.4.3 近赤外蛍光標識剤を用いた生体イメージング 161
   7.4.4 蛍光法以外の生体イメージング 162
   7.5 抗体を用いた分子標的薬 164
   7.6 現在使用されている抗がん剤 165
   7.7 細胞への薬剤導入 166
   7.7.1 種々の細胞膜透過機構 167
   7.8 細胞中の特定の分子に作用する分子標的薬剤 175
   7.8.1 現在実用化されている分子標的薬 175
   7.8.2 理想的な薬剤を目指して 177
   演習問題 180
   参考文献 181
   演習問題解答 182
   索引 187
Column
   淡色効果 4
   DNAの重合と合成高分子の作製との違い 6
   転写反応を引き起こす酵素 9
   多糖類,糖脂質,糖蛋白質 36
   蛍光性蛋白質 65
   ペプチド固相合成 100
   DNA固相合成 103
   光学活性非天然アミノ酸の合成法 119
   DNAマイクロアレイ 178
   プロテオーム解析 179
1. アミノ酸から蛋白質,遺伝子から蛋白質-生体の物質変換と情報変換を学ぶ-
   1.1 DNAの構造と性質 1
   1.2 DNAの複製 5
40.

図書

図書
edited by Riccardo d'Agostino ... [et al.]
出版情報: Weinheim : WILEY-VCH, c2008  xxii, 457 p. ; 25 cm
所蔵情報: loading…
41.

図書

図書
上橋菜穂子著
出版情報: 東京 : 新潮社, 2008.1  348p ; 16cm
シリーズ名: 新潮文庫 ; う-18-4
所蔵情報: loading…
42.

図書

東工大
目次DB

図書
東工大
目次DB
中田昌宏, 松本信二著
出版情報: 東京 : 三共出版, 2008.4  viii, 165p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
はじめに 1
1. 地球温暖化
   1-1 化石エネルギーの消費と温暖化 6
   1-2 温暖化のメカニズムと予測-温暖化は何をもたらすか- 11
   1-3 農耕文明の起こり-1万3,000年前に起きた気候変動が農耕文明を生んだ- 18
   1-4 京都議定書-気候変動枠組み条約第3回締約国会議で決まったこと- 20
   1-5 温暖化の防止対策 28
   1-6 行方不明の二酸化炭素-二酸化炭素のミッシング・シンク- 31
   1-7 厚い氷は,過去数十万年の気候が詰まったタイムカプセル 33
   1-8 エルニーニョとその影響 34
   1-9 文明論としての地球温暖化 36
   1-10 炭素税(環境税)と温暖化防止税 39
2. オゾン層の破壊
   2-1 オゾン層の働きと生物の多様性 44
   2-2 オゾン層破壊のメカニズム 48
   2-3 オゾン層保護をめぐる動きとモントリオール議定書 51
   2-4 代替フロンとその問題点 55
3. 酸性雨と森林
   3-1 酸性雨の定義とその被害 61
   3-2 酸性雨が生態系に与える影響 64
   3-3 森林を考える 70
   3-4 針広混交林 73
   3-5 森林と水 74
   3-6 国有林はだれのものか 76
4. 人口増加と食糧問題
   4-1 21世紀,地球は人類を養えるか 78
   4-2 人口予測と食糧問題 80
   4-3 世界の水不足 83
   4-4 砂漠化の防止 86
   4-5 中国の食糧問題 88
   4-6 農業の見直し 90
   4-7 アンモニア合成と人口 92
   4-7-1 植物と窒素 92
   4-7-2 耕地と収穫量 94
   4-7-3 アンモニア合成 94
   4-7-4 人口爆発とアンモニア肥料 95
   4-7-5 窒素肥料による環境汚染 96
   4-7-6 有機農法の可能性 97
   4-8 施肥基準 98
   4-9 遣伝子組換え作物(GMO,genetica11y modfied organisms)の解禁 99
   4-10 地球環境の破壊と経済への影響 101
5. 原子力の利用 -原子力発電を考える
   5-1 原子力発電の歴史-原子力の平和利用- 104
   5-2 日本の原子力発電 106
   5-3 核燃料サイクルと高速増殖炉およびプルサーマル 109
   5-4 高速増殖炉「もんじゅ」の事故とその波紋 116
   5-5 核燃料再処理 -使用済み核燃料再処理工場の建設- 123
   5-6 核廃棄物 -高レベル核廃棄物問題- 124
   5-7 ウラン臨界事故と放射線 126
   5-8 廃炉の時代の到来 127
   5-9 中国は21世紀,世界有数の原発大国となるか 128
   5-10 世界の原子力発電の動向 129
6. ダイオキシンと内分泌かく乱化学物質(環境ホルモン)
   6-1 ダイオキシン-豊かな生活から生み出される最悪の化合物- 134
   6-2 ダイオキシンとは-ダイオキシンとその類縁化合物- 135
   6‐3 ダイオキシンの歴史とその規制 136
   6-4 ごみ焼却炉とダイオキシン-焼却炉からのダイオキシンの排出- 139
   6-5 内分泌かく乱化学物質(環境ホルモン)-生物は子孫を残せるか- 142
7. いま,文明はどこへ向かおうとしているのか
   7-1 危機を迎えた資本主義 147
   7-2 経国済民 149
   7-3 真の豊かさとは何か 152
おわりに 157
付録 -エネルギーと単位,元素の周期表 159
索引 162
はじめに 1
1. 地球温暖化
   1-1 化石エネルギーの消費と温暖化 6
43.

雑誌

雑誌
出版情報: San Francisco : Miller Freeman Publications, -2008  v ; 29 cm
巻次年月次: -v. 82, no. 12 (Dec. 2008)
所蔵情報: loading…
44.

雑誌

雑誌
Energy and Resources Institute
出版情報: New Delhi : Energy and Resources Institute, -c2008  v. ; 24 cm
巻次年月次: -v. 5, issue 2 (Sept. 2008)
所蔵情報: loading…
45.

雑誌

雑誌
出版情報: Heidelberg : Springer, 2008-  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (April 2008)-
所蔵情報: loading…
46.

雑誌

雑誌
出版情報: Geneve : Inderscience Enterprises, 2008-  v. ; 25 cm
巻次年月次: Vol. 1, no. 1 (2008)-
所蔵情報: loading…
47.

雑誌

雑誌
出版情報: Moscow, Russia : Маик наука/Interperiodica Publishing, 2008-
巻次年月次: Vol. 1, no. 1 (2008 Jan.)-
所蔵情報: loading…
48.

雑誌

雑誌
日本放射線技術学会 ; 日本医学物理学会
出版情報: Tokyo : Springer, 2008-  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (Jan. 2008)-
所蔵情報: loading…
49.

雑誌

雑誌
CQ出版株式会社
出版情報: 東京 : CQ出版, 2008.3-  冊 ; 26cm
巻次年月次: No. 1 ([2008.3])-
所蔵情報: loading…
50.

雑誌

雑誌
日本磁気学会 [編]
出版情報: 東京 : 日本磁気学会, 2008.1-2015.11  冊 ; 30cm
巻次年月次: Vol. 32, no. 1 (2008)-v. 39, no. 6 (2015) = 通巻229号 (2008)-通巻282号 (2015)
所蔵情報: loading…
51.

雑誌

雑誌
Institution of Civil Engineers (Great Britain)
出版情報: London : Institution of Civil Engineers, c2008-  v. ; 30 cm
巻次年月次: Vol. 161, issue 1 (Feb. 2008)-
所蔵情報: loading…
52.

雑誌

雑誌
International Association for Mathematical Geology
出版情報: [Heidelberg] : Springer, 2008-  v. ; 24 cm
巻次年月次: Vol. 40, no. 1 (Jan. 2008)-
所蔵情報: loading…
53.

雑誌

雑誌
出版情報: Beijing, [China] : Science Press, 2008-  v. ; 29 cm
巻次年月次: Vol. 32, no. 1 (Jan. 2008)-
所蔵情報: loading…
54.

雑誌

雑誌
EU ChemSoc ; Società chimica italiana
出版情報: Weinheim : Wiley-VCH, 2008-
巻次年月次: Vol. 1, no. 1-2 (2008)-
所蔵情報: loading…
55.

雑誌

雑誌
American Institute of Mathematical Sciences
出版情報: Springfield, Mo. : American Institute of Mathematical Sciences, 2008-  v. ; 26 cm
巻次年月次: Vol. 1, no. 1 (Mar. 2008)-
所蔵情報: loading…
56.

雑誌

雑誌
出版情報: [London] : IWA Publishing, 2008-  v. ; 28 cm
巻次年月次: Vol. 39, no. 1 (2008)-
所蔵情報: loading…
57.

雑誌

雑誌
出版情報: : International Press
所蔵情報: loading…
58.

雑誌

雑誌
Society of Automotive Engineers
出版情報: Warrendale, Pa. : SAE International, 2008-2009  v. ; 28 cm
巻次年月次: Vol. 28, no. 1 (Jan./Feb. 2008)-v. 29, no. 5 (June 2009)
所蔵情報: loading…
59.

コンピュータファイル

コンピュータファイル
情報処理学会 = Information Processing Society of Japan
出版情報: 東京 : 情報処理学会, 2008.4-2013.3  CD-ROM60枚 ; 12cm
巻次年月次: Vol. 49, no. 4 (Apr. 2008)-v. 54, no. 3 (Mar. 2013)
所蔵情報: loading…
60.

雑誌

雑誌
出版情報: Philadelphia, Pa. : Taylor & Francis Group, 2008-  v. ; 23 cm
巻次年月次: Vol. 28, no. 1 (Jan./Mar. 2008)-
所蔵情報: loading…
61.

雑誌

雑誌
Chinese Society of Particuology
出版情報: Amsterdam : Elsevier, 2008-  v. ; 28 cm
巻次年月次: Vol. 6, no. 1 (Feb. 2008)-
所蔵情報: loading…
62.

雑誌

雑誌
電子情報通信学会 [編]
出版情報: 東京 : 電子情報通信学会, 2008.5-  冊 ; cm
巻次年月次: ICM2008-1〜23 (2008.5)- = Vol. 108, no. 24 (2008.5)-
所蔵情報: loading…
63.

雑誌

雑誌
Institution of Mechanical Engineers
出版情報: London : Published for the Institution of Mechanical Engineers by Professional Engineering Pub., c2008-  v. ; 30 cm
巻次年月次: Vol. 222, no. P1 (June 2008)-
所蔵情報: loading…
64.

雑誌

雑誌
日本データベース学会 [編]
出版情報: 相模原 : 日本データベース学会, 2008-  冊 ; 30cm
巻次年月次: Vol. 7, no. 1 (2008.6)-
所蔵情報: loading…
65.

雑誌

雑誌
出版情報: Tallinn : Estonian Academy Publishers, c2008-  v. ; 26 cm
巻次年月次: Vol. 57, no. 1 (2008)-
所蔵情報: loading…
66.

雑誌

雑誌
パナソニック
出版情報: 守口 : パナソニックコーポレートR&D戦略室, 2008.10-  冊 ; 30cm
巻次年月次: Vol. 54, no. 3 (Oct. 2008)-
所蔵情報: loading…
67.

雑誌

雑誌
電気学会
出版情報: Hoboken, N.J. : Wiley Subscription Services, 2008-  v. ; 28 cm
巻次年月次: Vol. 91, no. 1 (Jan. 2008)-
所蔵情報: loading…
68.

雑誌

雑誌
World Scientific
出版情報: Singapore : World Scientific, 2008-  v. ; 25 cm
巻次年月次: Vol. 21, no. 1 (Mar. 2008)-
所蔵情報: loading…
69.

雑誌

雑誌
パナソニック電工 [編]
出版情報: 門真 : パナソニック電工R&D企画室, 2008.12-2011.9  12冊 ; 30cm
巻次年月次: Vol. 56, no. 4 (Dec. 2008)-v. 59, no. 3 (2011.9)
所蔵情報: loading…
70.

雑誌

雑誌
Polish Academy of Arts and Sciences and Jagellonian University M. Smoluchowski Institute of Physics
出版情報: Cracow : Jagellonian University, 2008-  v. ; 24 cm
巻次年月次: Vol. 1, no. 1 (2008)-
所蔵情報: loading…
71.

雑誌

雑誌
出版情報: Dordrecht, the Netherlands : Kluwer Academic, -2008  v. ; 26 cm
巻次年月次: -v. 3, no. 6 (2005)
所蔵情報: loading…
72.

雑誌

雑誌
会計検査院 [編]
出版情報: 東京 : 会計検査院事務総長官房総務課, -2008.2  冊 ; 30cm
巻次年月次: -平成18年度決算 (平18)
所蔵情報: loading…
73.

電子ブック

EB
Martin Cooper
出版情報: Springer eBooks Computer Science , Springer London, 2008
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Impossible Pictures / 2:
Losing the Third Dimension / 2.1:
Two Planar Surfaces / 2.2:
Depth Order of Surfaces at a Point / 2.3:
Cubic Corners and Improbable Objects / 2.4:
Impossible Intersections / 2.5:
Impossible Wireframe Projections / 2.6:
Labeling Line Drawings of Polyhedra / 3:
Historical Background / 3.1:
Line Drawing Labelling as Optimization / 3.2:
Parallel-Lines Constraint / 3.3:
A Universal Constraint for Simple Junctions / 3.4:
Lines Sharing the Same Two Regions / 3.5:
Cyclic-Path Constraint / 3.6:
Parallel Junctions on Distinct Faces / 3.7:
Encoding of Soft Constraints / 3.8:
Non-Manifold Scenes / 3.9:
Discussion / 3.10:
Discrete Inflation Using Cubic Corners / 4:
Computer-Enhanced Perception / 4.1:
Machine Interpretation of Line Drawings / 4.2:
Depth Labels / 4.3:
Depth Labels and Impossible Figures / 4.4:
Propagation of Depth Labels / 4.5:
Orthogonality Constraints on Cubic Corners / 4.6:
Experimental Trials / 4.7:
Adding Depth Information to Line Drawings / 4.8:
Vertices Which Are Not Cubic Corners / 4.9:
Conclusion / 4.10:
A Rich Labeling Scheme for Curved Objects / 5:
Labeling Line Drawings of Curved Objects / 5.1:
Regularities in Man-Made Objects / 5.2:
Planarity Constraints / 5.3:
Constraints from Orthogonal Edges / 5.4:
Examples of Drawing Interpretation / 5.5:
Complete 3D Reconstruction / 5.6:
Depth Recovery Through Linear Algebra / 5.7:
Gradient Space and Gradient Directions / 6.1:
Linear Constraints and Curved Objects / 6.2:
Formulation of Linear Constraints / 6.3:
Deriving Linear Constraints from a Drawing / 6.4:
Vanishing Point Constraint / 6.4.1:
Constraints from Collinearity or Intersections / 6.4.2:
T-junction Constraint / 6.4.3:
Convex/Concave Edge Constraints / 6.4.4:
Coplanarity Constraints / 6.4.5:
Hidden-Surface Coplanarity Constraints / 6.4.6:
Orthographic Projection / 6.5:
Physical Realizability of Drawings / 6.6:
The Computational Problem / 6.7:
Wireframe Projections / 6.8:
Semantic and Numerical Line Labels / 7.1:
Realizability / 7.3:
All Wireframes Are Ambiguous / 7.4:
Identifying Faces / 7.5:
Common-Surface Constraints / 7.6:
Unambiguous Wireframes / 7.7:
Residual Ambiguity / 7.9:
Constraints Between Distant Lines / 7.10:
Tetrahedral Vertices / 7.11:
Tangential Edges and Surfaces / 7.12:
Rich Labelling Scheme / 7.13:
Simplification of Combinatorial Problems / 7.14:
Transformations of Combinatorial Problems / 8.1:
When Local Reductions Suffice / 8.2:
Arc Consistency / 8.3:
Neighbourhood Substitution / 8.4:
Simplification of Soft Constraint Problems / 8.5:
Valuation Structures / 8.6:
Valued Constraint Satisfaction / 8.7:
Soft Arc Consistency Techniques / 8.8:
Optimal Soft Arc Consistency / 8.9:
Virtual Arc Consistency / 8.10:
VAC Decomposition / 8.11:
Soft Neighbourhood Substitution / 8.12:
Tractability of Drawing Interpretation / 8.13:
Tractable Constraint Classes / 9.1:
Zero/One/All Constraints / 9.1.1:
Max-Closed Constraints / 9.1.2:
Characterization of Tractable Boolean Constraints / 9.1.3:
Characterization of Tractable Boolean Valued Constraints / 9.1.4:
Complexity of Line Drawing Interpretation / 9.2:
3D Reconstruction of Ambiguous Pictures / 10:
Reconstruction of Frontal Geometry / 10.1:
Hidden-Part Reconstruction / 10.2:
Bibliography
Index
Preface
Introduction / 1:
Impossible Pictures / 2:
74.

電子ブック

EB
Gottuk, Daniel T Gottuk
出版情報: Springer eBooks Computer Science , Springer New York, 2008
所蔵情報: loading…
75.

電子ブック

EB
Francisco J. Perales, Robert B. Fisher, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
76.

電子ブック

EB
Nicolas Monmarch?, Pierre Collet, Evelyne Lutton, Marc Schoenauer, El-Ghazali Talbi
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
77.

電子ブック

EB
Peter J. Bentley, Sungwon Jung, Takeo Kanade, Doheon Lee
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
78.

電子ブック

EB
Danail Dochev, Marco Pistore, J?rg Siekmann, Paolo Traverso
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
Towards Agent-Oriented Relevant Information / Laurence Cholvy ; Stephanie Roussel
The Agent Modeling Language (AMOLA) / Nikolaos Spanoudakis ; Pavlos Moraitis
Natural Language Processing and Text Analysis / 2:
Tailoring the Interpretation of Spatial Utterances for Playing a Board Game / Andrea Corradini
ASAP- An Advanced System for Assessing Chat Participants / Mihai Dascalu ; Erol-Valeriu Chioasca ; Stefan Trausan-Matu
Using Text Segmentation to Enhance the Cluster Hypothesis / Sylvain Lamprier ; Tassadit Amghar ; Bernard Levrat ; Frederic Saubion
Multilingual Plagiarism Detection / Zdenek Ceska ; Michal Toman ; Karel Jezek
Dealing with Spoken Requests in a Multimodal Question Answering System / Roberto Gretter ; Milen Kouylekov ; Matteo Negri
Noun Compound Interpretation Using Paraphrasing Verbs: Feasibility Study / Preslav Nakov
Machine Learning and Information Retrieval / 3:
Optimising Predictive Control Based on Neural Models / Maciej Lawrynczuk
Prototypes Based Relational Learning / Rocio Garcia-Duran ; Fernando Fernandez ; Daniel Borrajo
Robustness Analysis of SARSA([lambda]): Different Models of Reward and Initialisation / Marek Grzes ; Daniel Kudenko
Thematic Segment Retrieval Revisited
Knowledge Representation and Reasoning / 4:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models / Emilia Oikarinen ; Tomi Janhunen
Mapping Properties of Heterogeneous Ontologies / Chiara Ghidini ; Luciano Serafini
A Logical Approach to Dynamic Role-Based Access Control / Philippe Balbiani ; Yannick Chevalier ; Marwa El Houri
Interpolative Boolean Logic / Dragan Radojevic ; Aleksandar Perovic ; Zoran Ognjanovic ; Miodrag Raskovic
Abstract Argumentation Scheme Frameworks / Katie Atkinson ; Trevor Bench-Capon
Constraints, Heuristics, and Search / 5:
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models / Roman Bartak ; Ondrej Cepek
Incorporating Learning in Grid-Based Randomized SAT Solving / Antti E.J. Hyvarinen ; Tommi Junttila ; Ilkka Niemela
Solving the Course Timetabling Problem with a Hybrid Heuristic Algorithm / Zhipeng Lu ; Jin-Kao Hao
Heuristic Hill-Climbing as a Markov Process / Carlos Linares Lopez
DynABT: Dynamic Asynchronous Backtracking for Dynamic DisCSPs / Bayo Omomowo ; Ines Arana ; Hatem Ahriz
Applications / 6:
Centralized Indirect Control of an Anaerobic Digestion Bioprocess Using Recurrent Neural Identifier / Ieroham S. Baruch ; Rosalba Galvan-Guerra ; Boyka Nenkova
Logical Analysis of Mappings between Medical Classification Systems / Elena Cardillo ; Claudio Eccher ; Andrei Tamilin
Modeling Reuse on Case-Based Reasoning with Application to Breast Cancer Diagnosis / Carles Pous ; Pablo Gay ; Albert Pla ; Joan Brunet ; Judit Sanz ; Teresa Ramon y Cajal ; Beatriz Lopez
Toward Expert Knowledge Representation for Automatic Breast Cancer Detection / Marina Velikova ; Maurice Samulski ; Nico Karssemeijer ; Peter Lucas
Hybrid Wavelet-RBFNN Model for Monthly Anchovy Catches Forecasting / Nibaldo Rodriguez ; Broderick Crawford ; Carlos Castro ; Eleuterio Yanez
Trilateration Analysis for Movement Planning in a Group of Mobile Robots / Svetoslav Genchev ; Pencho Venkov ; Boris Vidolov
Posters / 7:
Dynamic and Neuro-Dynamic Optimization of a Fed-Batch Fermentation Process / Tatiana Ilkova ; Mitko Petrov
Classification Model for Estimation of Risk Factors in Cardiological Diagnostics / Plamena Andreeva
A Hybrid Approach to Distributed Constraint Satisfaction / David Lee ; Kit-Ying Hui
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches / Frederic Lardeux ; Eric Monfroy
Adaptation of Personality-Based Decision Making to Crowd Behavior Simulations / Fatemeh Alavizadeh ; Caro Lucas ; Behzad Moshiri
Conceptualizing Interactions with Matchmakers and Front-Agents Using Formal Verification Methods / Amelia Badica ; Costin Badica
A Social and Emotional Model for Obtaining Believable Emergent Behaviors / Javier Asensio ; Marta Jimenez ; Susana Fernandez
A Learning Approach to Eary Bug Prediction in Deployed Softward / Saeed Parsa ; Somaye Arabi ; Mojtaba Vahidi-Asl
Evolutionary Decision Support System for Stock Market Trading / Piotr Lipinski
Suboptimal Nonlinear Predictive Control Based on Neural Wiener Models
Author Index
Agents / 1:
Context Model for Multi-Agent System Reconfiguration / Krzysztof Stebel ; Dariusz Choinski
NN-Based Multiagent Platform for Testing Investing Strategies / Darius Plikynas
79.

電子ブック

EB
John Darzentas, Argyris Arnellos, J?rg Siekmann, Spyros Vosinakis, George A. Vouros
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
Full Papers
Application of Naturalistic Decision Making to Emergency Evacuation Simulations / Fatemeh Alavizadeh ; Behzad Moshiri ; Caro Lucas
A Multi-agent Environment for Serving Proof Explanations in the Semantic Web / Grigoris Antoniou ; Antonis Bikakis ; Polyvios Damianakis ; Mixalhs Foukarakis ; Giorgos Iacovidis ; Marianna Karmazi ; Haridimos Kondylakis ; Antreas Makridakis ; Giorgos Nikiforos ; Grigoris Papadourakis ; Manolis Papoutsakis ; Aggeliki Psyharaki ; Giorgos Stratakis ; Panagiotis Tourlakis ; Petros Tsialiamanis ; Giorgos Vasileiadis ; Gerd Wagner ; Dimitris Velegrakis
A Study of SAT-Based Branching Heuristics for the CSP / Yannis Argyropoulos ; Kostas Stergiou
Autonomy in Virtual Agents: Integrating Perception and Action on Functionally Grounded Representations / Argyris Arnellos ; Spyros Vosinakis ; George Anastasakis ; John Darzentas
A Sparse Regression Mixture Model for Clustering Time-Series / K. Blekas ; N. Galatsanos ; A. Likas
Human Distress Sound Analysis and Characterization Using Advanced Classification Techniques / Charalampos Doukas ; Ilias Maglogiannis
A Genetic Programming Environment for System Modeling / Efstratios F. Georgopoulos ; George P. Zarogiannis ; Adam V. Adamopoulos ; Anastasios P. Vassilopoulos ; Spiridon D. Likothanassis
Mining Gene Expression Profiles and Gene Regulatory Networks: Identification of Phenotype-Specific Molecular Mechanisms / Alexandros Kanterakis ; Dimitris Kafetzopoulos ; Vassilis Moustakis ; George Potamias
MOpiS: A Multiple Opinion Summarizer / Fotis Kokkoras ; Efstratia Lampridou ; Konstantinos Ntonas ; Ioannis Vlahavas
Human Behavior Classification Using Multiple Views / Dimitrios I. Kosmopoulos ; Panagiota Antonakaki ; Konstandinos Valasoulis ; Anastasios Kesidis ; Stavros Perantonis
A Hamming Maxnet That Determines all the Maxima / Konstantinos Koutroumbas
Item-Based Filtering and Semantic Networks for Personalized Web Content Adaptation in E-Commerce / Panayiotis Koutsabasis
Fuzzy Representation and Synthesis of Concepts in Engineering Design / Vassilis C. Moulianitis ; Nikos A. Aspragathos ; Argiris J. Dentsoras
Phonotactic Recognition of Greek and Cypriot Dialects from Telephone Speech / Iosif Mporas ; Todor Ganchev ; Nikos Fakotakis
A "Bag" or a "Window" of Words for Information Filtering? / Nikolaos Nanas ; Manolis Vavalis
A Fuzzy Clustering Algorithm to Estimate the Parameters of Radial Basis Functions Neural Networks and Its Application to System Modeling / Antonios D. Niros ; George E. Tsekouras
Speech/Music Discrimination Based on Discrete Wavelet Transform / Stavros Ntalampiras
Comparing Datasets Using Frequent Itemsets: Dependency on the Mining Parameters / Irene Ntoutsi ; Yannis Theodoridis
A Theory of Action, Knowledge and Time in the Event Calculus / Theodore Patkos ; Dimitris Plexousakis
Tensor Space Models for Authorship Identification / Spyridon Plakias ; Efstathios Stamatatos
Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples / Gend Lal Prajapati ; Narendra S. Chaudhari ; Manohar Chandwani
Enhancing NetLogo to Simulate BDI Communicating Agents / Ilias Sakellariou ; Petros Kefalas ; Ioanna Stamatopoulou
Integration of Computational Intelligence Applications in Engineering Design / Kostas M. Saridakis
A Prolog Based System That Assists Experts to Construct and Simulate Fuzzy Cognitive Maps / Athanasios Tsadiras
Incremental Relevance Vector Machine with Kernel Learning / Dimitris Tzikas ; Aristidis Likas ; Nikolaos Galatsanos
Histogram-Based Visual Object Recognition for the 2007 Four-Legged RoboCup League / Souzana Volioti ; Michail G. Lagoudakis
Learning Ontologies of Appropriate Size / Elias Zavitsanos ; Sergios Petridis ; Georgios Paliouras ; George A. Vouros
Short Papers
Bayesian Model of Recognition on a Finite Set of Events / Vladimir Berikov ; Gennady Lbov
The DR-Prolog Tool Suite for Defeasible Reasoning and Proof Explanation in the Semantic Web / Constantinos Papatheodorou
Modeling Stroke Diagnosis with the Use of Intelligent Techniques / S. Lalas ; N. Ampazis ; A. Tsakonas ; G. Dounias ; K. Vemmos
Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language / Adam Meissner
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection / Lazaros Nalpantidis ; Georgios Ch. Sirakoulis ; Antonios Gasteratos
MyCites: An Intelligent Information System for Maintaining Citations / George Papadakis
Improving the Integration of Neuro-Symbolic Rules with Case-Based Reasoning / Jim Prentzas ; Ioannis Hatzilygeroudis ; Othon Michail
Rule-Based Fuzzy Logic System for Diagnosing Migraine / Svetlana Simic ; Dragan Simic ; Petar Slankamenac ; Milana Simic-Ivkov
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing / Dimitrios Sklavakis ; Ioannis Refanidis
Design and Optimization of IIR Digital Filters with Non-standard Characteristics Using Continuous Ant Colony Optimization Algorithm / Adam Slowik ; Michal Bialko
An Empirical Study of Lazy Multilabel Classification Algorithms / E. Spyromitros ; G. Tsoumakas ; I. Vlahavas
An Algorithm of Decentralized Artificial Immune Network and Its Implementation / Mariusz Swiecicki
Predicting Defects in Software Using Grammar-Guided Genetic Programming / Athanasios Tsakonas ; Georgios Dounias
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information / Damianos Gavalas ; Stefanos Filios ; George Bafaloukas
Non-negative Matrix Factorization for Endoscopic Video Summarization / Spyros Tsevas ; Dimitris Iakovidis ; Dimitris Maroulis ; Emmanuel Pavlakis ; Andreas Polydorou
Nature Inspired Intelligence for the Constrained Portfolio Optimization Problem / Vassilios Vassiliadis
CLIVE - An Artificially Intelligent Chat Robot for Conversational Language Practice / John Zakos ; Liesl Capper
Author Index
Invited Talks
Grounding Concrete Motion Concepts with a Linguistic Framework / Gutemberg Guerra-Filho ; Yiannis Aloimonos
Emotion in Cognitive Systems Architectures / Tom Ziemke
80.

電子ブック

EB
Leszek Rutkowski, J?rg Siekmann, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
81.

電子ブック

EB
V??ra K??rkov??, Takeo Kanade, Jan Koutn??k, Roman Neruda
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
82.

電子ブック

EB
V??ra K??rkov??, Takeo Kanade, Jan Koutn??k, Roman Neruda
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
83.

電子ブック

EB
Lionel Prevost, Simone Marinai, Friedhelm Schwenker, J?rg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
Kernel k-Means Clustering Applied to Vector Space Embeddings of Graphs / Kaspar Riesen ; Horst Bunke
Probabilistic Models Based on the [Pi]-Sigmoid Distribution / Anastasios Alivanolgou ; Aristidis Likas
How Robust Is a Probabilistic Neural VLSI System Against Environmental Noise / C.C. Lu ; C.C. Li ; H. Chen
Supervised Learning
Sparse Least Squares Support Vector Machines by Forward Selection Based on Linear Discriminant Analysis / Shiego Abe
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network / Jean-Francois Connolly ; Eric Granger ; Robert Sabourin
Discriminatory Data Mapping by Matrix-Based Supervised Learning Metrics / M. Strickert ; P. Schneider ; J. Keilwagen ; T. Villmann ; M. Biehl ; B. Hammer
Neural Approximation of Monte Carlo Policy Evaluation Deployed in Connect Four / Stefan Fausser ; Friedhelm Schwenker
Cyclostationary Neural Networks for Air Pollutant Concentration Prediction / Monica Bianchini ; Ernesto Di Iorio ; Marco Maggini ; Augusto Pucci
Fuzzy Evolutionary Probabilistic Neural Networks / V.L. Georgiou ; Ph.D. Alevizos ; M.N. Vrahatis
Experiments with Supervised Fuzzy LVQ / Christian Thiel ; Britta Sonntag
A Neural Network Approach to Similarity Learning / Stefano Melacci ; Lorenzo Sarti
Partial Discriminative Training of Neural Networks for Classification of Overlapping Classes / Cheng-Lin Liu
Multiple Classifiers
Boosting Threshold Classifiers for High-Dimensional Data in Functional Genomics / Ludwig Lausser ; Malte Buchholz ; Hans A. Kestler
Decision Fusion on Boosting Ensembles / Joaquin Torres-Sospedra ; Carlos Hernandez-Espinosa ; Mercedes Fernandez-Redondo
The Mixture of Neural Networks as Ensemble Combiner
Combining Methods for Dynamic Multiple Classifier Systems / Amber Tomas
Researching on Multi-net Systems Based on Stacked Generalization
Applications
Real-Time Emotion Recognition from Speech Using Echo State Networks / Stefan Scherer ; Mohamed Oubbati ; Gunther Palm
Sentence Understanding and Learning of New Words with Large-Scale Neural Networks / Heiner Markert ; Zohre Kara Kayikci
Multi-class Vehicle Type Recognition System / Xavier Clady ; Pablo Negri ; Maurice Milgram ; Raphael Poulenard
A Bio-inspired Neural Model for Colour Image Segmentation / Francisco Javier Diaz-Pernas ; Miriam Anton-Rodriguez ; Jose Fernando Diez-Higuera ; Mario Martinez-Zarzuela
Mining Software Aging Patterns by Artificial Neural Networks / Hisham El-Shishiny ; Sally Deraz ; Omar Bahy
Bayesian Classifiers for Predicting the Outcome of Breast Cancer Preoperative Chemotherapy / Antonio P. Braga ; Euler G. Horta ; Rene Natowicz ; Roman Rouzier ; Roberto Incitti ; Thiago S. Rodrigues ; Marcelo A. Costa ; Carmen D.M. Pataro ; Arben Cela
Feature Selection
Feature Ranking Ensembles for Facial Action Unit Classification / Terry Windeatt ; Kaushala Dias
Texture Classification with Generalized Fourier Descriptors in Dimensionality Reduction Context: An Overview Exploration / Ludovic Journaux ; Marie-France Destain ; Johel Miteran ; Alexis Piron ; Frederic Cointault
Improving Features Subset Selection Using Genetic Algorithms for Iris Recognition / Kaushik Roy ; Prabir Bhattacharya
Artificial Neural Network Based Automatic Face Model Generation System from Only One Fingerprint / Seref Sagiroglu ; Necla Ozkaya
Author Index
Unsupervised Learning
Patch Relational Neural Gas - Clustering of Huge Dissimilarity Datasets / Alexander Hasenfuss ; Barbara Hammer ; Fabrice Rossi
The Block Generative Topographic Mapping / Rodolphe Priam ; Mohamed Nadif ; Gerard Govaert
84.

電子ブック

EB
Luca Aceto, Ivan Damg?rd, Leslie Ann Goldberg, Magn?s M. Halld?rsson, Anna Ing?lfsd?ttir, Takeo Kanade, Igor Walukiewicz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
85.

電子ブック

EB
Luca Aceto, Ivan Damg?rd, Leslie Ann Goldberg, Magn?s M. Halld?rsson, Anna Ing?lfsd?ttir, Takeo Kanade, Igor Walukiewicz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
86.

電子ブック

EB
Alessandro Armando, Peter Baumgartner, Gilles Dowek, J?rg Siekmann
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2:
Proving Bounds on Real-Valued Functions with Computations / Guillaume Melquiond
Linear Quantifier Elimination / Tobias Nipkow
Quantitative Separation Logic and Programs with Lists / Marius Bozga ; Radu Iosif ; Swann Perarnau
On Automating the Calculus of Relations / Peter Hofner ; Georg Struth
Automated Verification / Session 3:
Towards SMT Model Checking of Array-Based Systems / Silvio Ghilardi ; Enrica Nicolini ; Silvio Ranise ; Daniele Zucchelli
Preservation of Proof Obligations from Java to the Java Virtual Machine / Gilles Barthe ; Benjamin Gregoire ; Mariela Pavlova
Efficient Well-Definedness Checking / Adam Darvas ; Farhad Mehta ; Arsenii Rudich
Protocol Verification / Session 4:
Proving Group Protocols Secure Against Eavesdroppers / Steve Kremer ; Antoine Mercier ; Ralf Treinen
System Descriptions 1 / Session 5:
Automated Implicit Computational Complexity Analysis / Martin Avanzini ; Georg Moser ; Andreas Schnabl
LogAnswer - A Deduction-Based Question Answering System / Ulrich Furbach ; Ingo Glockner ; Hermann Helbig ; Bjorn Pelzer
A High-Level Implementation of a System for Automated Reasoning with Default Rules / Christoph Beierle ; Gabriele Kern-Isberner ; Nicole Koch
The Abella Interactive Theorem Prover / Andrew Gacek
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic / Christoph Benzmuller ; Lawrence C. Paulson ; Frank Theiss ; Arnaud Fietzke
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems / Andre Platzer ; Jan-David Quesel
The Complexity of Conjunctive Query Answering in Expressive Description Logics / Carsten LutzSession 6:
Modal Logics / Session 7:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments / Renate A. Schmidt ; Dmitry Tishkovsky
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse / Mark Kaminski ; Gert Smolka
Herbrand Award Ceremony / Session 8:
Description Logics / Session 9:
Automata-Based Axiom Pinpointing / Franz Baader ; Rafael Penaloza
Individual Reuse in Description Logic Reasoning / Boris Motik ; Ian Horrocks
The Logical Difference Problem for Description Logic Terminologies / Boris Konev ; Dirk Walther ; Frank Wolter
System Descriptions 2 / Session 10:
Aligator: A Mathematica Package for Invariant Generation / Laura Kovacs
IeanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic / Jens Otten
iProver - An Instantiation-Based Theorem Prover for First-Order Logic / Konstantin Korovin
An Experimental Evaluation of Global Caching for ALC / Rajeev Gore ; Linda Postniece
Multi-completion with Termination Tools / Haruhiko Sato ; Sarah Winkler ; Masahito Kurihara ; Aart Middeldorp
MTT: The Maude Termination Tool / Francisco Duran ; Salvador Lucas ; Jose Meseguer
Celf - A Logical Framework for Deductive and Concurrent Systems / Anders Schack-Nielsen ; Carsten Schurmann
Canonicity! / Nachum DershowitzSession 11:
Equational Theories / Session 12:
Unification and Matching Modulo Leaf-Permutative Equational Presentations / Thierry Boy de la Tour ; Mnacho Echenim ; Paliath Narendran
Modularity of Confluence: Constructed / Vincent van Oostrom
Automated Complexity Analysis Based on the Dependency Pair Method / Nao Hirokawa ; Geory Moser
Canonical Inference for Implicational Systems / Maria Paola Bonacina
Challenges in the Automated Verification of Security Protocols / Hubert Comon-LundhSession 13:
Theorem Proving 1 / Session 14:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets / Leonardo de Moura ; Nikolaj Bjorner
Proof Systems for Effectively Propositional Logic / Juan Antonio Navarro ; Andrei Voronkov
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance / Josef Urban ; Geoff Sutcliffe ; Petr Pudlak ; Jiri Vyskocil
CASC / Session 15:
CASC-J4 - The 4th IJCAR ATP System Competition
Theorem Proving 2 / Session 16:
Labelled Splitting / Christoph Weidenbach
Engineering DPLL(T) + Saturation
THF0 - The Core of the TPTP Language for Higher-Order Logic / Florian Rabe
Logical Frameworks / Session 17:
Focusing in Linear Meta-logic / Vivek Nigam ; Dale Miller
Tree Automata / Session 18:
Certifying a Tree Automata Completion Checker / Benoit Boyer ; Thomas Genet ; Thomas Jensen
Automated Induction with Constrained Tree Automata / Adel Bouhoula ; Florent Jacquemard
Author Index
Invited Talk / Session 1:
Software Verification: Roles and Challenges for Automatic Decision Procedures / Aarti Gupta
Specific Theories / Session 2:
87.

電子ブック

EB
Sungdeok (Steve) Cha, Jin-Young Choi, Takeo Kanade, Moonzoo Kim, Insup Lee, Mahesh Viswanathan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
88.

電子ブック

EB
Chunming Rong, Martin Gilje Jaatun, Takeo Kanade, Jianhua Ma, Frode Eika Sandnes, Laurence T. Yang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
89.

電子ブック

EB
Bertrand Meyer, Takeo Kanade, Jerzy R. Nawrocki, Bartosz Walter
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
90.

電子ブック

EB
Pietro Li?, Jon Crowcroft, Takeo Kanade, Dinesh C. Verma, Eiko Yoneki
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
91.

電子ブック

EB
ISBRA 2008
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Invited Keynote Talk: Set-Level Analyses for Genome-Wide Association Data (Abstract) / Dan L. Nicolae ; Omar De la Cruz ; William Wen ; Baoguan Ke ; Minsun Song
Hierarchical Clustering Using Constraints / Mariana Kant ; Maurice LeBon ; David Sankoff
The Gene-Duplication Problem: Near-Linear Time Algorithms for NNI Based Local Searches / Mukul S. Bansal ; Oliver Eulenstein
A Distance-Based Method for Detecting Horizontal Gene Transfer in Whole Genomes / Xintao Wei ; Lenore Cowen ; Carla Brodley ; Arthur Brady ; D. Sculley ; Donna K. Slonim
An Approach for Determining Evolutionary Distance in Network-Based Phylogenetic Analysis / Tingting Zhou ; Keith C.C. Chan ; Yi Pan ; Zhenghua Wang
Pairwise Statistical Significance Versus Database Statistical Significance for Local Alignment of Protein Sequences / Ankit Agrawal ; Volker Brendel ; Xiaoqiu Huang
Estimating Pairwise Statistical Significance of Protein Local Alignments Using a Clustering-Classification Approach Based on Amino Acid Composition / Arka Ghosh
Gapped Extension for Local Multiple Alignment of Interspersed DNA Repeats / Todd J. Treangen ; Aaron E. Darling ; Mark A. Ragan ; Xavier Messeguer
Improved Alignment of Protein Sequences Based on Common Parts / David Hoksza
Invited Keynote Talk: Computing P-Values for Peptide Identifications in Mass Spectrometry / Nikita Arnold ; Tema Fridman ; Robert M. Day ; Andrey A. Gorin
PFP: A Computational Framework for Phylogenetic Footprinting in Prokaryotic Genomes / Dongsheng Che ; Guojun Li ; Shane T. Jensen ; Jun S. Liu ; Ying Xu
Accelerating the Neighbor-Joining Algorithm Using the Adaptive Bucket Data Structure / Leonid Zaslavsky ; Tatiana A. Tatusova
Generalized Gene Adjacencies, Graph Bandwidth and Clusters in Yeast Evolution / Qian Zhu ; Zaky Adam ; Vicky Choi
Physicochemical Correlation between Amino Acid Sites in Short Sequences under Selective Pressure / David Campo ; Zoya Dimitrova ; Yuri Khudyakov
HCV Quasispecies Assembly Using Network Flows / Kelly Westbrooks ; Irina Astrovskaya ; Piotr Berman ; Alex Zelikovsky
A Dynamic Programming Algorithm for De Novo Peptide Sequencing with Variable Scoring / Matthew A. Goto ; Eric J. Schwabe
Invited Keynote Talk: Haplotype Sharing for Genome-Wide Case-Control Association Studies (Abstract) / Andrew S. Allen
Incorporating Literature Knowledge in Bayesian Network for Inferring Gene Networks with Gene Expression Data / Eyad Almasri ; Peter Larsen ; Guanrao Chen ; Yang Dai
Integrative Network Component Analysis for Regulatory Network Reconstruction / Chen Wang ; Jianhua Xuan ; Li Chen ; Po Zhao ; Yue Wang ; Robert Clarke ; Eric P. Hoffman
A Graph-Theoretic Method for Mining Overlapping Functional Modules in Protein Interaction Networks / Min Li ; Jianxin Wang ; Jianer Chen
Identification of Transcription Factor Binding Sites in Promoter Regions by Modularity Analysis of the Motif Co-occurrence Graph / Alexandre P. Francisco ; Arlindo L. Oliveira ; Ana T. Freitas
Mean Squared Residue Based Biclustering Algorithms / Stefan Gremalschi ; Gulsah Altun
Sparse Decomposition of Gene Expression Data to Infer Transcriptional Modules Guided by Motif Information / Ting Gong ; Rebecca B. Riggins
A Novel Metric for Redundant Gene Elimination Based on Discriminative Contribution / Xue-Qiang Zeng ; Guo-Zheng Li ; Jack Y. Yang ; Mary Qu Yang
Network-Based Inference of Cancer Progression from Microarray Data / Yongjin Park ; Stanley Shackney ; Russell Schwartz
Invited Keynote Talk: Quiet Revolution: Connectivity in the Cancer Research Community (Abstract) / Kenneth Buetow
Wavelet-Based 3-D Multifractal Spectrum with Applications in Breast MRI Images / Gordana Derado ; Kichun Lee ; Orietta Nicolis ; F. DuBois Bowman ; Mary Newell ; Fabrizio F. Ruggeri ; Brani Vidakovic
Accurate Inverse Consistent Non-rigid Image Registration and Its Application on Automatic Re-contouring / Qingguo Zeng ; Yunmei Chen
GlycoBrowser: A Tool for Contextual Visualization of Biological Data and Pathways Using Ontologies / Matthew Eavenson ; Maciej Janik ; Shravya Nimmagadda ; John A. Miller ; Krys J. Kochut ; William S. York
Pattern Matching in RNA Structures / Kejie Li ; Reazur Rahman ; Aditi Gupta ; Prasad Siddavatam ; Michael Gribskov
The Use of a Conformational Alphabet for Fast Alignment of Protein Structures / Wei-Mou Zheng
On-the-Fly Rotamer Pair Energy Evaluation in Protein Design / Andrew Leaver-Fay ; Jack Snoeyink ; Brian Kuhlman
Invited Keynote Talk: Integrative Viral Molecular Epidemiology: Hepatitis C Virus Modeling / James Lara
Multiple Kernel Support Vector Regression for siRNA Efficacy Prediction / Shibin Qiu ; Terran Lane
Hierarchical Clustering Support Vector Machines for Classifying Type-2 Diabetes Patients / Wei Zhong ; Rick Chow ; Richard Stolz ; Jieyue He ; Marsha Dowell
Computational Mutagenesis of E. Coli Lac Repressor: Insight into Structure-Function Relationships and Accurate Prediction of Mutant Activity / Majid Masso ; Kahkeshan Hijazi ; Nida Parvez ; Iosif I. Vaisman
Evaluating Genetic Algorithms in Protein-Ligand Docking / Rafael Ordog ; Vince Grolmusz
A Hidden Markov Model Approach for Prediction of Genomic Alterations from Gene Expression Profiling / Huimin Geng ; Hesham H. Ali ; Wing C. Chan
Evolutionary Algorithm for Feature Subset Selection in Predicting Tumor Outcomes Using Microarray Data / Qihua Tan ; Mads Thomassen ; Kirsten M. Jochumsen ; Jing Hua Zhao ; Kaare Christensen ; Torben A. Kruse
Incorporating Knowledge of Topology Improves Reconstruction of Interaction Networks from Microarray Data
Invited Keynote Talk: Data Mining and Statistical Methods for Analyzing Microarray Experiments (Abstract) / Shin-Lian Lo ; Kwok-Leung Tsui ; Benjamin Barwick
Seven Variations of an Alignment Workflow - An Illustration of Agile Process Design and Management in Bio-jETI / Anna-Lena Lamprecht ; Tiziana Margaria ; Bernhard Steffen
Supporting Computational Systems Science: Genomic Analysis Tool Federations Using Aspects and AOP / David Stotts ; Keith Lee ; Ivan Rusyn
BioDQ: Data Quality Estimation and Management for Genomics Databases / Alexandra Martinez ; Joachim Hammer ; Sanjay Ranka
Stepped Linear Regression to Accurately Assess Statistical Significance in Batch Confounded Differential Expression Analysis / Juntao Li ; Jianhua Liu ; R. Krishna Murthy Karuturi
Bagging Multiple Comparisons from Microarray Data / Dimitris N. Politis
Human Blood-Brain Differential Gene-Expression Correlates with Dipeptide Frequency of Gene Products / Shandar Ahmad
Author Index
Invited Keynote Talk: Set-Level Analyses for Genome-Wide Association Data (Abstract) / Dan L. Nicolae ; Omar De la Cruz ; William Wen ; Baoguan Ke ; Minsun Song
Hierarchical Clustering Using Constraints / Mariana Kant ; Maurice LeBon ; David Sankoff
The Gene-Duplication Problem: Near-Linear Time Algorithms for NNI Based Local Searches / Mukul S. Bansal ; Oliver Eulenstein
92.

電子ブック

EB
Fernando Bello, P. J. Eddie Edwards, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
93.

電子ブック

EB
Ben Schouten, Andrzej Drygajlo, Niels Christian Juul, Takeo Kanade, Massimo Tistarelli
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
94.

電子ブック

EB
Daniel Zeng, Hsinchun Chen, Bill Lober, Pavel Pevzner, Henry Rolka
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
Informatics Infrastructure and Policy Considerations
Public Health Information Fusion for Situation Awareness / Henry Rolka ; Jean C. O'Connor ; David Walker
Biosurveillance, Case Reporting, and Decision Support: Public Health Interactions with a Health Information Exchange / Rebecca A. Hills ; William B. Lober ; Ian S. Painter
Bio-surveillance Event Models, Open Source Intelligence, and the Semantic Web / Nancy Grady ; Lowell Vizenor ; Jeanne Sappington Marin ; Laura Peitersen
Foresight China II: Identification and Detection of Infectious Diseases / Jiayuan Feng ; Jianshi (Jesse) Huang ; Angus Nicoll
Public Health Preparedness Informatics Infrastructure. A Case Study in Integrated Surveillance and Response: 2004-2005 National Influenza Vaccine Shortage / Ivan J. Gotham ; Linh H. Le ; Debra L. Sottolano ; Kathryn J. Schmit
Network-Based Data Analytics
Dynamic Network Model for Predicting Occurrences of Salmonella at Food Facilities / Purnamrita Sarkar ; Lujie Chen ; Artur Dubrawski
Network-Based Analysis of Beijing SARS Data / Xiaolong Zheng ; Daniel Zeng ; Aaron Sun ; Yuan Luo ; Quanyi Wang ; Feiyue Wang
Tutte Polynomials and Topological Quantum Algorithms in Social Network Analysis for Epidemiology, Bio-surveillance and Bio-security / Mario Velez ; Juan Ospina ; Doracelly Hincapie
Biosurveillance Models and Outbreak Detection
Integrating a Commuting Model with the Bayesian Aerosol Release Detector / Aurel Cami ; Garrick L. Wallstrom ; William R. Hogan
A Temporal Extension of the Bayesian Aerosol Release Detector / Xiaohui Kong
A Z-Score Based Multi-level Spatial Clustering Algorithm for the Detection of Disease Outbreaks / Jialan Que ; Fu-Chiang Tsui ; Jeremy Espino
Epidemic Thresholds in SIR and SIIR Models Applying an Algorithmic Method / Doracelly Hincapie P. ; Juan Ospina G. ; Anthony Uyi Afuwape ; Ruben D. Gomez A.
Test Power for Drug Abuse Surveillance / Jarad Niemi ; Meredith Smith ; David Banks
Model Assessment and Case Studies
Assessing the Accuracy of Spatiotemporal Epidemiological Models / James H. Kaufman ; Joanna L. Conant ; Daniel A. Ford ; Wakana Kirihata ; Barbara Jones ; Judith V. Douglas
Simulation of Multivariate Spatial-Temporal Outbreak Data for Detection Algorithm Evaluation / Min Zhang
Analysis and Prediction of Epidemiological Trend of Scarlet Fever from 1957 to 2004 in the Downtown Area of Beijing / Yanhui Shen ; Chu Jiang ; Zhe Dun
Environmental Biosurveillance and Case Studies
Environmental Biosurveillance for Epidemic Prediction: Experience with Rift Valley Fever / Jean-Paul Chretien ; Assaf Anyamba ; Jennifer Small ; Compton J. Tucker ; Seth C. Britch ; Kenneth J. Linthicum
Spatial Regression-Based Environmental Analysis in Infectious Disease Informatics / Daniel D. Zeng ; Ping Yan ; Su Li
Author Index
Informatics Infrastructure and Policy Considerations
Public Health Information Fusion for Situation Awareness / Henry Rolka ; Jean C. O'Connor ; David Walker
Biosurveillance, Case Reporting, and Decision Support: Public Health Interactions with a Health Information Exchange / Rebecca A. Hills ; William B. Lober ; Ian S. Painter
95.

電子ブック

EB
Marlon Dumas, Takeo Kanade, Manfred Reichert, Ming-Chien Shan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
96.

電子ブック

EB
Arthur Hofstede, Boualem Benatallah, Hye-Young Paik, Arthur Ter Hofstede
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
97.

電子ブック

EB
Hiroshi Umeo, Stefania Bandini, Takeo Kanade, Toshihiko Komatsuzaki, Shin Morishita, Katsuhiro Nishinari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
98.

電子ブック

EB
Zolt?n Horv?th, Takeo Kanade, Rinus Plasmeijer, Anna So?s, Vikt?ria Zs?k
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
目次情報: 続きを見る
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
Abstract [lambda]-Calculus Machines / Werner E. Kluge
Programming in [Omega]mega / Tim Sheard ; Nathan Linger
A Tutorial on Object-Oriented Functional Programming / Horia F. Pop
Use Cases for Refactoring in Erlang / Tamas Kozsik ; Zoltan Horvath ; Roland Kiraly ; Robert Kitlei ; Laszlo Lovei ; Tamas Nagy ; Melinda Toth ; Aniko Vig
From Interpretation to Compilation / Jan Martin Jansen
Author Index
An Introduction to iTasks: Defining Interactive Work Flows for the Web / Rinus Plasmeijer ; Peter Achten ; Pieter Koopman
Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol ; Marko van Eekelen
An Introduction to the Lambda Calculus / Zoltan Csornyei ; Gergely Devai
99.

電子ブック

EB
Yan Ma, Shingo Ata, Deokjai Choi, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
100.

電子ブック

EB
Manfred Tscheligi, Takeo Kanade, Artur Lugmayr, Marianna Obrist
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼