close
1.

図書

図書
editor-in-chief, Hossein Bidgoli
出版情報: Amsterdam ; Tokyo : Academic Press, c2003  4 v. ; 29 cm
所蔵情報: loading…
目次情報: 続きを見る
Accounting
Advertising and Marketing in Electronic
Commerce Automata
Theory Benchmarking
Business-to-Business Electronic
Commerce C and C++ COBOL Cohesion, Coupling, and Abstraction
Compiler
Computer History
Computer Viruses
Computer-Aided Design
Computer-Aided Manufacturing
Computer-Integrated Manufacturing
Computer-Supported Cooperative Work (CSCW)
Continuous System
Simulation Control and Auditing
Copyright Laws Corporate
Planning Cost / Benefit
Analysis Crime, Use of Computers in Cybernetics
Data Compression
Data Envelopment Analysis
Data Flow Diagrams
Data Mining
Data Modeling - Entity-Relationship
Data Model
Data Modeling - Object-Oriented
Data versus Information
Data Warehousing and Data Marts
Database Administration
Database Development Process
Database Machines
Decision Making Approach
Decision Support Systems
Decision Theory
Desktop Publishing
Developing Nations Digital Divide
The Digital Goods Disaster Recovery
Simulation Distributed
Databases
Documentation for Software and IS Development Economic
Impacts of Information Technology Education
Electronic Commerce
Electronic Commerce, Infrastructure for Electronic
Data Interchange
Electronic Mail
Electronic Payment Systems
Encryption End User
Computing Concepts End User
Computing Tools End User
Computing, Managing Engineering, Artificial Intelligence in Enterprise
Computing Enterprise Resource Planning
Error Detecting and Correcting Codes
Ethical Issues
Ethical Issues in Artificial Intelligence
Executive Information Systems
Expert Systems
Expert Systems Construction
Extranets Firewalls
Flowcharting Techniques Forensics
FORTRAN Frame
Relay Future of Information Systems
Fuzzy Logic Systems
Game Theory Genetic Algorithms Geographic Information Systems
Geographic Information Systems in Real Estate
Global Information Systems
Globalisation Goal Programming Group
Support Systems and Electronic Meeting
Systems GroupWare Healthcare
Information Systems and Human Resource
Information Systems Human Side of Information, Managing the Systems
Hybrid Systems (Integration of Neural Networks, Fuzzy Logic, Expert Systems and Genetic Algorithms)
Hyper-Media Databases Industry
Artificial Intelligence in Informatics versus
Information Systems
Information Measures
Information Theory
Intelligent Agents
Internet (Overview)
Internet Homepages
Intranets JavaScript
Knowledge Acquisition
Knowledge Management
Knowledge Representation
Languages, Artificial Intelligence in Law Firms Library
Management Linux
Operation Systems Local Area Networks
Machine Learning Management
Manual Data Processing
Marketing Medicine, Artificial Intelligence in Mobile and Wireless
Networks Model Building
Process Monte Carlo
Simulation Multimedia
Multiplexing National and Regional Economic
Impacts of the Silicon Valley Natural
Resource Management Network Database Systems
Network Environments, Managing Number
Representation and Computer Arithmetic
Object-Oriented Databases
Object-Oriented Programming
On-line Analytical Processing (OLAP)
Operating Systems
Operations Management
Optimization Models Organisations, Information Systems
Impact on Outsourcing Pascal Pattern
Recognition People, Information Systems
Impact on Privacy Procurement Productivity
Programming Languages
Classification Project Management
Techniques Prototyping Pseudo Code
Psychology Public Accounting Firms
Quality Information Systems
Reengineering Relational Database Systems
Research Resistance to Change,
Accounting
Advertising and Marketing in Electronic
Commerce Automata
2.

図書

図書
國廣哲彌, 安井稔, 堀内克明編集主幹
出版情報: 東京 : 小学館, 2003.1  12, 2163p ; 19cm
所蔵情報: loading…
3.

図書

図書
M.S. Howe
出版情報: Cambridge, U.K. : Cambridge University Press, 2003  xiv, 216 p. ; 23 cm
シリーズ名: Cambridge texts in applied mathematics
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Lighthill's theory / 2:
The compact Green's function / 3:
Vorticity / 4:
Vortex sound / 5:
Vortex-surface interaction noise in two-dimensions / 6:
Problems in three-dimensions / 7:
Further worked examples / 8:
Bibliography
Preface
Introduction / 1:
Lighthill's theory / 2:
4.

図書

図書
Yunguang Lu
出版情報: Boca Raton, Fla. : Chapman & Hall/CRC, c2003  xi, 241 p. ; 25 cm
シリーズ名: Chapman & Hall/CRC monographs and surveys in pure and applied mathematics ; 128
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminary / 1:
Theory of Compensated Compactness / 2:
Weak Continuity of a 2 x 2 Determinant / 2.1:
Measure Representation Theorems / 2.2:
Embedding Theorems / 2.3:
Cauchy Problem for Scalar Equation / 3:
L[superscript infinity] Solution / 3.1:
L[superscript p] Solution, 1 < p < [infinity] / 3.2:
Related Results / 3.3:
Preliminaries in 2 x 2 Hyperbolic System / 4:
Basic Definitions / 4.1:
L[superscript infinity] Estimate of Viscosity Solutions / 4.2:
A Symmetry System / 5:
Viscosity Solutions / 5.1:
A System of Quadratic Flux / 5.2:
Existence of Viscosity Solutions / 6.1:
Entropy-Entropy Flux Pairs of Lax Type / 6.2:
Compactness of [eta subscript t] + q[subscript x] in H[superscript -1 subscript loc] / 6.3:
Reduction of v / 6.4:
Le Roux System / 6.5:
Existence of Weak Solutions / 7.1:
System of Polytropic Gas Dynamics / 7.5:
Weak Entropies and H[superscript -1 subscript loc] Compactness / 8.1:
The Case of [gamma] > 3 / 8.3:
The Case of 1 < [gamma] [less than or equal] 3 / 8.4:
Application on Extended River Flow System / 8.5:
Two Special Systems of Euler Equations / 8.6:
Lax Entropy for P([rho]) = [function of superscript rho subscript 0 s superscript 2]e[superscript s]ds / 9.1:
Lax Entropy for P([rho]) = [function of superscript rho subscript 0 s superscript 2](s + d)[superscript gamma-3]ds / 9.3:
General Euler Equations of Compressible Fluid Flow / 9.4:
Lax Entropy and Related Estimates / 10.1:
Extended Systems of Elasticity / 10.3:
L[superscript p] Case to Systems of Elasticity / 11.1:
Lin's Proof for Artificial Viscosity / 12.1:
Shearer's Proof for Physical Viscosity / 12.2:
System of Adiabatic Gas Flow / 12.3:
Preliminaries in Relaxation Singularity / 12.4:
Stiff Relaxation and Dominant Diffusion / 14:
Compactness Results / 14.1:
Proof of Theorem 14.1.1 / 14.2:
Applications of Theorem 14.1.1 / 14.3:
Proof of Theorem 14.1.2 / 14.4:
Applications of Theorem 14.1.2 / 14.5:
Hyperbolic Systems with Stiff Relaxation / 14.6:
Relaxation Limits for 2 x 2 Systems / 15.1:
System of Extended Traffic Flows / 15.2:
Relaxation for 3 x 3 Systems / 15.3:
Dominant Diffusion and Stiff Relaxation / 16.1:
A Model System for Reacting Flow / 16.2:
Bibliography / 16.3:
Index
Preface
Preliminary / 1:
Theory of Compensated Compactness / 2:
5.

図書

図書
出版情報: New York : McGraw-Hill, c2003  xvii, 2380 p. ; 29 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Staff
Consulting Editors
How to Use the Dictionary
Field Abbreviations
Scope of Fields
Notes on Pronunciation
Pronunciation Key
Dictionary of Scientific and Technical Terms
Appendix
U.S. Customary System and the metric system
International System
Conversion factors for the measurement systems
Units of temperature in measurement systems
Symbols for the chemical elements
Chemical nomenclature
Symbols in scientific writing
Periodic table of the elements
Mathematical signs and symbols
Mathematical notation
Fundamental constants
Elementary particles
Schematic electronic symbols
Geological time scale and related aspects
Classification of living organisms
Biographical listing
Preface
Staff
Consulting Editors
6.

図書

図書
Michèle Audin
出版情報: Berlin ; Milan : Springer, c2003  vi, 357 p. ; 24 cm
シリーズ名: Universitext
所蔵情報: loading…
7.

図書

図書
Te Sun Han ; translated from the Japanese by Hiroki Koga
出版情報: Berlin : Springer, c2003  xvii, 538 p. ; 24 cm
シリーズ名: Applications of mathematics ; 50
所蔵情報: loading…
8.

図書

図書
Igor R. Shafarevich ; translated from the Russian by William B. Everett
出版情報: Berlin : Springer, c2003  x, 276 p. ; 24 cm
シリーズ名: Universitext
所蔵情報: loading…
9.

図書

図書
John M. Lee
出版情報: New York : Springer, c2003  xvii, 628 p. ; 25 cm
シリーズ名: Graduate texts in mathematics ; 218
所蔵情報: loading…
10.

図書

図書
edited by Marco Fontana, Salah-Eddine Kabbaj, Sylvia Wiegand
出版情報: New York : M. Dekker, c2003  xii, 499 p. ; 26 cm
シリーズ名: Lecture notes in pure and applied mathematics ; v. 231
所蔵情報: loading…
目次情報: 続きを見る
Preface
Contributors
D[X[superscript 2], X[superscript 3] Over an Integral Domain D / David F. Anderson ; Gyu Whan Chang ; Jeanam Park1.:
On the Complete Integral Closure of Rings that Admit a [phi]-Strongly Prime Ideal / Ayman Badawi2.:
Frobenius Number of a Linear Diophantine Equation / Abdallah Badra3.:
On Plane Algebroid Curves / V. Barucci ; M. D'Anna ; R. Froberg4.:
On Radical Operations / Ali Benhissi5.:
A Splitting Property Characterizing Artinian Principal Ideal Rings / Abdelmalek Bouanane ; Raja Eddahabi6.:
Rings of Integer-Valued Polynomials and the bcs-Property / James Brewer ; Lee Klingler7.:
Factorial Groups and Polya Groups in Galoisian Extension of Q / Jean-Luc Chabert8.:
Monomial Ideals and the Computation of Multiplicities / D. Delfino ; A. Taylor ; W. V. Vasconcelos ; N. Weininger ; R. H. Villarreal9.:
Analytic Spread of a Pregraduation / Youssouf M. Diagana10.:
Extension of the Hilbert-Samuel Theorem / Henri Dichi11.:
On the Integral Closure of Going-Down Rings / David E. Dobbs12.:
Generalized Going-Down Homomorphisms of Commutative Rings / Mario Fontana ; Gabriel Picavet13.:
The Class Group of the Composite Ring of a Pair of Krull Domains and Applications / Said El Baghdadi14.:
Complete Integral Closure and Noetherian Property for Integer-Valued Polynomial Rings / S. Gabelli ; F. Tartarone15.:
Controlling the Zero Divisors of a Commutative Ring / Sarah Glaz16.:
Weak Module Systems and Applications: A Multiplicative Theory of Integral Elements and the Marot Property / Franz Halter-Koch17.:
Examples of Integral Domains Inside Power Series Rings / William Heinzer ; Christel Rotthaus ; Sylvia Wiegand18.:
Generalized Going-Up Homomorphisms of Commutative Rings / Andrew J. Hetzel19.:
Parameter-Like Sequences and Extensions of Tight Closure / Melvin Hochster20.:
The Tor Game / Craig Huneke ; Roger Wiegand21.:
Trivial Extensions of Local Rings and a Conjecture of Costa / S. Kabbaj ; N. Mahdou22.:
On the t-Dimension of Integral Domains / Mohammed Khalis23.:
On Some Annihilator Conditions Over Commutative Rings / Farid Kourki24.:
On Projective Modules Over Polynomial Rings / Yves Lequain ; Najib Mahdou25.:
Rings, Conditional Expectations, and Localization / Thomas G. Lucas26.:
Errata: "Pullbacks and Coherent-Like Properties" [In: Lect. Notes Pure Appl. Math., Dekker, 205 (1999) 437-459] / Abdeslam Mimouni27.:
Ultraproducts of Commutative Rings / Bruce Olberding ; Serpil Saydam28.:
Geometric Subsets of a Spectrum / 29.:
Trigonometric Polynomial Rings / Martine Picavet-l'Hermitte30.:
The First Mayr-Meyer Ideal / Irena Swanson31.:
Facets on Rings Between D[X] and K[X] / Muhammad Zafrullah32.:
Constructions Cachees en Algebre Abstraites / Henri Lombardi ; Claude Quitte33.:
Hidden Constructions in Abstract Algebra: Krull Dimension of Distributive Lattices and Commutative Rings / Thierry Coquand34.:
Preface
Contributors
D[X[superscript 2], X[superscript 3] Over an Integral Domain D / David F. Anderson ; Gyu Whan Chang ; Jeanam Park1.:
11.

図書

図書
Isaac S. Kohane, Alvin T. Kho, and Atul J. Butte
出版情報: Cambridge, Mass. ; London : MIT Press, c2003  xviii, 306 p ; 24 cm
シリーズ名: Computational molecular biology
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Acknowledgments
Introduction / 1:
The Future Is So Bright... / 1.1:
Functional Genomics / 1.2:
Informatics and advances in enabling technology / 1.2.1:
Why do we need new techniques? / 1.2.2:
Missing the Forest for the Dendrograms / 1.3:
Sociology of a functional genomics pipeline / 1.3.1:
Functional Genomics, Not Genetics / 1.4:
In silico analysis will never substitute for in vitro and in vivo / 1.4.1:
Basic Biology / 1.5:
Biological caveats in mRNA measurements / 1.5.1:
Sequence-level genomics / 1.5.2:
Proteomics / 1.5.3:
Experimental Design / 2:
The Safe Conception of a Functional Genomic Experiment / 2.1:
Experiment design space / 2.1.1:
Expression space / 2.1.2:
Exercising the expression space / 2.1.3:
Discarding data and low-hanging fruit / 2.1.4:
Gene-Clustering Dogma / 2.2:
Supervised versus unsupervised learning / 2.2.1:
Figure of merit: The elusive gold standard in functional genomics / 2.2.2:
Microarray Measurements to Analyses / 3:
Generic Features of Microarray Technologies / 3.1:
Robotically spotted microarrays / 3.1.1:
Oligonucleotide microarrays / 3.1.2:
Replicate Experiments, Reproducibility, and Noise / 3.2:
What is a replicate experiment? A reproducible experimental outcome? / 3.2.1:
Reproducibility across repeated microarray experiments: Absolute expression level and fold difference / 3.2.2:
Cross-platform (technology) reproducibility / 3.2.3:
Pooling sample probes and PCR for replicate experiments / 3.2.4:
What is noise? / 3.2.5:
Sources and examples of noise in the generic microarray experiment / 3.2.6:
Biological variation as noise: The Human Genome Project and irreproducibility of expression measurements / 3.2.7:
Managing noise / 3.2.8:
Prototypical Objectives and Questions / 3.3:
Two examples: Inter-array and intra-array / 3.3.1:
Preprocessing: Filters and Normalization / 3.4:
Normalization / 3.4.1:
Background on Fold / 3.5:
Fold calculation and significance / 3.5.1:
Fold change may not mean the same thing in different expression measurement technologies / 3.5.2:
Dissimilarity and Similarity Measures / 3.6:
Linear correlation / 3.6.1:
Entropy and mutual information / 3.6.2:
Dynamics / 3.6.3:
Genomic Data-Mining Techniques / 4:
What Can Be Clustered in Functional Genomics? / 4.1:
What Does it Mean to Cluster? / 4.3:
Hierarchy of Bioinformatics Algorithms / 4.4:
Data Reduction and Filtering / 4.5:
Variation filter / 4.5.1:
Low entropy filter / 4.5.2:
Minimum expression level filter / 4.5.3:
Target ambiguity filter / 4.5.4:
Self-Organizing Maps / 4.6:
K-means clustering / 4.6.1:
Finding Genes That Split Sets / 4.7:
Phylogenetic-Type Trees / 4.8:
Two-dimensional dendrograms / 4.8.1:
Relevance Networks / 4.9:
Other Methods / 4.10:
Which Technique Should I Use? / 4.11:
Determining the Significance of Findings / 4.12:
Permutation testing / 4.12.1:
Testing and training sets / 4.12.2:
Performance metrics / 4.12.3:
Receiver operating characteristic curves / 4.12.4:
Genetic Networks / 4.13:
What is a genetic network? / 4.13.1:
Reverse-engineering and modeling a genetic network using limited data / 4.13.2:
Bayesian networks for functional genomics / 4.13.3:
Bio-Ontologies, Data Models, Nomenclature / 5:
Ontologies / 5.1:
Bio-ontology projects / 5.1.1:
Advanced knowledge representation systems for bio-ontology / 5.1.2:
Expressivity versus Computability / 5.2:
Ontology versus Data Model versus Nomenclature / 5.3:
Exploiting the explicit and implicit ontologies of the biomedical literature / 5.3.1:
Data Model Introduction / 5.4:
Nomenclature / 5.5:
The unique gene identifier / 5.5.1:
Postanalysis Challenges / 5.6:
Linking to downstream biological validation / 5.6.1:
Problems in determining the results / 5.6.2:
From Functional Genomics to Clinical Relevance / 6:
Electronic Medical Records / 6.1:
Standardized Vocabularies for Clinical Phenotypes / 6.2:
Privacy of Clinical Data / 6.3:
Anonymization / 6.3.1:
Privacy rules / 6.3.2:
Costs of Clinical Data Acquisition / 6.4:
The Near Future / 7:
New Methods for Gene Expression Profiling / 7.1:
Electronic positioning of molecules: Nanogen / 7.1.1:
Ink-jet spotting of arrays: Agilent / 7.1.2:
Coded microbeads bound to oligonucleotides: Illumina / 7.1.3:
Serial Analysis of Gene Expression (SAGE) / 7.1.4:
Parallel signature sequencing on microbead arrays: Lynx / 7.1.5:
Gel pad technology: Motorola / 7.1.6:
Respecting the Older Generation / 7.2:
The generation gap / 7.2.1:
Separating the wheat from the chaff / 7.2.2:
A persistent problem / 7.2.3:
Selecting Software / 7.3:
Investing in the Future of the Genomic Enterprise / 7.4:
Glossary
Foreword
Preface
Acknowledgments
12.

図書

図書
N. V. Azbelev and P. M. Simonov
出版情報: London : Taylor & Francis, 2003  xvii, 222 p. ; 26 cm
シリーズ名: Stability and control : theory, methods and applications ; v. 20
所蔵情報: loading…
13.

図書

図書
Damodar N. Gujarati
出版情報: New York : McGraw-Hill, c2003  xxix, 1002 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Single-Equation Regression Models / Part 1:
The Nature of Regression Analysis / 1:
Historical Origin of the Term "Regression" / 1.1:
The Modern Interpretation of Regression / 1.2:
Examples
Statistical vs. Deterministic Relationships / 1.3:
Regression vs. Causation / 1.4:
Regression vs. Correlation / 1.5:
Terminology and Notation / 1.6:
The Nature and Sources of Data for Econometric Analysis / 1.7:
Types of Data
The Sources of Data
The Accuracy of Data
Summary and Conclusions / 1.8:
Exercises
Appendix 1A
Sources of Economic Data / 1A.1:
Sources of Financial Data / 1A.2:
Two-Variable Regression Analysis: Some Basic Ideas / 2:
A Hypothetical Example / 2.1:
The Concept of Population Regression Function (PRF) / 2.2:
The Meaning of the Term "Linear" / 2.3:
Linearity in the Variables
Linearity in the Parameters
Stochastic Specification of PRF / 2.4:
The Significance of the Stochastic Disturbance Term / 2.5:
The Sample Regression Function (SRF) / 2.6:
Two-Variable Regression Model: The Problem of Estimation / 2.7:
The Method of Ordinary Least Squares / 3.1:
The Classical Linear Regression Model: The Assumptions Underlying the Method of Least Squares / 3.2:
How Realistic Are These Assumptions?
Precision or Standard Errors of Least-Squares Estimates / 3.3:
Properties of Least-Squares Estimators: The Gauss-Markov Theorem / 3.4:
The Coefficient of Determination r2: A Measure of "Goodness of Fit" / 3.5:
A Numerical Example / 3.6:
Illustrative Examples / 3.7:
Coffee Consumption in the United States, 1970-1980
Keynesian Consumption Function for the United States, 1980-1991
Computer Output for the Coffee Demand Function / 3.8:
A Note on Monte Carlo Experiments / 3.9:
Questions / 3.10:
Problems
Appendix 3A
Derivation of Least-Squares Estimates / 3A.1:
Linearity and Unbiasedness Properties of Least-Squares Estimators / 3A.2:
Variances and Standard Errors of Least-Squares Estimators / 3A.3:
Covariance between B1 and B2 / 3A.4:
The Least-Squares Estimator of o2 / 3A.5:
Minimum-Variance Property of Least-Squares Estimators / 3A.6:
SAS Output of the Coffee Demand Function (3.7.1) / 3A.7:
The Normality Assumption: Classical Normal Linear Regression Model (CNLRM) / 4:
The Probability Distribution of Disturbances ui / 4.1:
The Normality Assumption / 4.2:
Properties of OLS Estimators under the Normality Assumption / 4.3:
The Method of Maximum Likelihood (ML) / 4.4:
Probability Distributions Related to the Normal Distribution: The t, Chi-square (X2), and F Distributions / 4.5:
Appendix 4A / 4.6:
Maximum Likelihood Estimation of Two-Variable Regression Model
Maximum Likelihood Estimation of the Consumption-Income Example
Appendix 4A Exercises
Two-Variable Regression: Interval Estimation and Hypothesis Testing / 5:
Statistical Prerequisites / 5.1:
Interval Estimation: Some Basic Ideas / 5.2:
Confidence Intervals for Regression Coefficients B1 and B2 / 5.3:
Confidence Interval for B2
Confidence Interval for B1
Confidence Interval for B1 and B2 Simultaneously
Confidence Interval for o2 / 5.4:
Hypothesis Testing: General Comments / 5.5:
Hypothesis Testing: The Confidence-Interval Approach / 5.6:
Two-Sided or Two-Tail Test
One-Sided or One-Tail Test
Hypothesis Testing: The Test-of-Significance Approach / 5.7:
Testing the Significance of Regression Coefficients: The t-Test
Testing the Significance of o2: the X2 Test
Hypothesis Testing: Some Practical Aspects / 5.8:
The Meaning of "Accepting" or "Rejecting" a Hypothesis
The "Zero" Null Hypothesis and the "2-t" Rule of Thumb
Forming the Null and Alternative Hypotheses
Choosing a, the Level of Significance
The Exact Level of Significance: The p Value
Statistical Significance versus Practical Significance
The Choice between Confidence-Interval and Test-of-Significance Approaches to Hypothesis Testing
Regression Analysis and Analysis of Variance / 5.9:
Application of Regression Analysis: The Problem of Prediction / 5.10:
Mean Prediction
Individual Prediction
Reporting the Results of Regression Analysis / 5.11:
Evaluating the Results of Regression Analysis / 5.12:
Normality Test
Other Tests of Model Adequacy
Appendix 5A / 5.13:
Derivation of Equation (5.3.2) / 5A.1:
Derivation of Equation (5.9.1) / 5A.2:
Derivation of Equations (5.10.2) and (5.10.6) / 5A.3:
Variance of Mean Prediction
Variance of Individual Prediction
Extensions of the Two-Variable Linear Regression Model / 6:
Regression through the Origin / 6.1:
r2 for Regression-through-Origin Model An Illustrative Example: The Characteristic Line of Portfolio Theory
Scaling and Units of Measurement / 6.2:
A Numerical Example: The Relationship between GPDI and GNP, United States, 1974-1983
A Word about Interpretation
Functional Forms of Regression Models / 6.3:
How to Measure Elasticity: The Log-Linear Model / 6.4:
An Illustrative Example: The Coffee Demand Function Revisited
Semilog Models: Log-Lin and Lin-Log Models / 6.5:
How to Measure the Growth Rate: The Log-Lin Model
The Lin-Log Model
Reciprocal Models / 6.6:
An Illustrative Example: The Phillips Curve for the United Kingdom, 1950-1966
Summary of Functional Forms / 6.7:
A Note on the Nature of the Stochastic Error Term: Additive versus Multiplicative Stochastic Error Term / 6.8:
Appendix 6A / 6.9:
Derivation of Least-Squares Estimators for Regression through the Origin / 6A.1:
SAS Output of the Characteristic Line (6.1.12) / 6A.2:
SAS Output of the United Kingdom Phillips Curve Regression (6.6.2) / 6A.3:
Multiple Regression Analysis: The Problem of Estimation / 7:
The Three-Variable Model: Notation and Assumptions / 7.1:
Interpretation of Multiple Regression Equation / 7.2:
The Meaning of Partial Regression Coefficients / 7.3:
OLS and ML Estimation of the Partial Regression Coefficients / 7.4:
OLS Estimators
Variances and Standard Errors of OLS Estimators
Properties of OLS Estimators
Maximum Likelihood Estimators
The Multiple Coefficient of Determination R2 and the Multiple Coefficient of Correlation R / 7.5:
Example 7.1: The Expectations-Augmented Phillips Curve for the United States, 1970-1982 / 7.6:
Simple Regression in the Context of Multiple Regression: Introduction to Specification Bias / 7.7:
R2 and the Adjusted R2 / 7.8:
Comparing Two R2 Values
Example 7.2: Coffee Demand Function Revisited
The "Game" of Maximizing R2
Partial Correlation Coefficients / 7.9:
Explanation of Simple and Partial Correlation Coefficients
Interpretation of Simple and Partial Correlation Coefficients
Example 7.3: The Cobb-Douglas Production Function: More on Functional Form / 7.10:
Polynomial Regression Models / 7.11:
Example 7.4: Estimating the Total Cost Function
Empirical Results
Appendix 7A / 7.12:
Derivation of OLS Estimators Given in Equations (7.4.3) and (7.4.5) / 7A.1:
Equality between a1 of (7.3.5) and B2 of (7.4.7) / 7A.2:
Derivation of Equation (7.4.19) / 7A.3:
Maximum Likelihood Estimation of the Multiple Regression Model / 7A.4:
The Proof that E(b12) = B2 + B3b32 (Equation 7.7.4) / 7A.5:
SAS Output of the Expectations-Augmented Phillips Curve (7.6.2) / 7A.6:
SAS Output of the Cobb-Douglas Production Function (7.10.4) / 7A.7:
Multiple Regression Analysis: The Problem of Inference / 8:
The Normality Assumption Once Again / 8.1:
Example 8.1: U.S. Personal Consumption and Personal Disposal Income Relation, 1956-1970 / 8.2:
Hypothesis Testing in Multiple Regression: General Comments / 8.3:
Hypothesis Testing about Individual Partial Regression Coefficients / 8.4:
Testing the Overall Significance of the Sample Regression / 8.5:
The Analysis of Variance Approach to Testing the Overall Significance of an Observed Multiple Regression: The F Test
An Important Relationship between R2 and F
The "Incremental," or "Marginal," Contribution of an Explanatory Variable
Testing the Equality of Two Regression Coefficients / 8.6:
Example 8.2: The Cubic Cost Function Revisited
Restricted Least Squares: Testing Linear Equality Restrictions / 8.7:
The t Test Approach
The F Test Approach: Restricted Least Squares
Example 8.3: The Cobb-Douglas Production Function for Taiwanese Agricultural Sector, 1958-1972
General F Testing
Comparing Two Regressions: Testing for Structural Stability of Regression Models / 8.8:
Testing the Functional Form of Regression: Choosing between Linear and Log-Linear Regression Models / 8.9:
Example 8.5: The Demand for Roses
Prediction with Multiple Regression / 8.10:
The Troika of Hypothesis Tests: The Likelihood Ratio (LR), Wald (W), and Lagrange Multiplier (LM) Tests / 8.11:
The Road Ahead / 8.12:
Appendix 8A
Likelihood Ratio (LR) Test
The Matrix Approach to Linear Regression Model / 9:
The k-Variable Linear Regression Model / 9.1:
Assumptions of the Classical Linear Regression Model in Matrix Notation / 9.2:
OLS Estimation / 9.3:
An Illustration
Variance-Covariance Matrix of B
Properties of OLS Vector B
The Coefficient of Determination R2 in Matrix Notation / 9.4:
The Correlation Matrix / 9.5:
Hypothesis Testing about Individual Regression Coefficients in Matrix Notation / 9.6:
Testing the Overall Significance of Regression: Analysis of Variance in Matrix Notation / 9.7:
Testing Linear Restrictions: General F Testing Using Matrix Notation / 9.8:
Prediction Using Multiple Regression: Matrix Formulation / 9.9:
Summary of the Matrix Approach: An Illustrative Example / 9.10:
Appendix 9A / 9.11:
Derivation of k Normal or Simultaneous Equations / 9A.1:
Matrix Derivation of Normal Equations / 9A.2:
Blue Property of OLS Estimators / 9A.3:
Relaxing the Assumptions of the Classical Model / Part 2:
Multicollinearity and Micronumerosity / 10:
The Nature of Multicollinearity / 10.1:
Estimation in the Presence of Perfect Multicollinearity / 10.2:
Estimation in the Presence of "High" but "Imperfect" Multicollinearity / 10.3:
Multicollinearity: Much Ado about Nothing? Theoretical Consequences of Multicollinearity / 10.4:
Practical Consequences of Multicollinearity / 10.5:
Large Variances and Covariances of OLS Estimators
Wider Confidence Intervals
"Insignificant" t Ratios
A High R2 but Few Significant t Ratios
Sensitivity of OLS Estimators and Their Standard Errors to Small Changes in Data
Consequences of Micronumerosity
An Illustrative Example: Consumption Expenditure in Relation to Income and Wealth / 10.6:
Detection of Multicollinearity / 10.7:
Remedial Measures / 10.8:
Is Multicollinearity Necessarily Bad? Maybe Not If the Objective Is Prediction Only / 10.9:
Heteroscedasticity / 10.10:
The Nature of Heteroscedasticity / 11.1:
OLS Estimation in the Presence of Heteroscedasticity / 11.2:
The Method of Generalized Least Squares (GLS) / 11.3:
Difference between OLS and GLS
Consequences of Using OLS in the Presence of Heteroscedasticity / 11.4:
OLS Estimation Allowing for Heteroscedasticity
OLS Estimation Disregarding Heteroscedasticity
Detection of Heteroscedasticity / 11.5:
Informal Methods
Formal Methods
When oi2 Is Known: The Method of Weighted Least Squares / 11.6:
When o12 Is Not Known
A Concluding Example / 11.7:
Appendix 11A / 11.8:
Proof of Equation (11.2.2) / 11A.1:
The Method of Weighted Least Squares / 11A.2:
Autocorrelation / 12:
The Nature of the Problem / 12.1:
OLS Estimation in the Presence of Autocorrelation / 12.2:
The BLUE Estimator in the Presence of Autocorrelation / 12.3:
Consequences of Using OLS in the Presence of Autocorrelation / 12.4:
OLS Estimation Allowing for Autocorrelation
OLS Estimation Disregarding Autocorrelation
Detecting Autocorrelation / 12.5:
Graphical Method
The Runs Test
Durbin-Watson d Test
Additional Tests of Autocorrelation
When the Structure of Autocorrelation Is Known / 12.6:
When p Is Not Known
An Illustrative Example: The Relationship between Help-Wanted Index and the Unemployment Rate, United States: Comparison of the Methods / 12.7:
Autoregressive Conditional Heteroscedasticity (ARCH) Model / 12.8:
What to Do If ARCH Is Present?
A Word on the Durbin-Watson d Statistic and the ARCH Effect
Appendix 12A / 12.9:
TSP Output of United States Wages (Y)-Productivity (X) Regression, 1960-1991 / 12A.1:
Econometric Modeling I: Traditional Econometric Methodology / 13:
The Traditional View of Econometric Modeling: Average Economic Regression (AER) / 13.1:
Types of Specification Errors / 13.2:
Consequences of Specification Errors / 13.3:
Omitting a Relevant Variable (Underfitting a Model)
Inclusion of an Irrelevant Variable (Overfitting a Model)
Tests of Specification Errors / 13.4:
Detecting the Presence of Unnecessary Variables
Tests for Omitted Variables and Incorrect Functional Form
Errors of Measurement / 13.5:
Errors of Measurement in the Dependent Variable Y
Errors of Measurement in the Explanatory Variable X
An Example
Measurement Errors in the Dependent Variable Y Only
Errors of Measurement in X
Appendix 13A / 13.6:
The Consequences of Including an Irrelevant Variable: The Unbiasedness Property / 13A.1:
Proof of (13.5.10) / 13A.2:
Econometric Modeling II: Alternative Econometric Methodologies / 14:
Learner's Approach to Model Selection / 14.1:
Hendry's Approach to Model Selection / 14.2:
Selected Diagnostic Tests: General Comments / 14.3:
Tests of Nonnested Hypothesis / 14.4:
The Discrimination Approach
The Discerning Approach
Topics in Econometrics / 14.5:
Regression on Dummy Variables / 15:
The Nature of Dummy Variables / 15.1:
Example 15.1: Professor's Salary by Sex
Regression on One Quantitative Variable and One Qualitative Variable with Two Classes, or Categories / 15.2:
Example 15.2: Are Inventories Sensitive to Interest Rates?
Regression on One Quantitative Variable and One Qualitative Variable with More than Two Classes / 15.3:
Regression on One Quantitative Variable and Two Qualitative Variables / 15.4:
Example 15.3: The Economics of "Moonlighting" / 15.5:
Testing for Structural Stability of Regression Models: Basic Ideas / 15.6:
Example 15.4: Savings and Income, United Kingdom, 1946-1963
Comparing Two Regressions: The Dummy Variable Approach / 15.7:
Comparing Two Regressions: Further Illustration / 15.8:
Example 15.5: The Behavior of Unemployment and Unfilled Vacancies: Great Britain, 1958-1971
Interaction Effects / 15.9:
The Use of Dummy Variables in Seasonal Analysis / 15.10:
Example 15.6: Profits-Sales Behavior in U.S. Manufacturing
Piecewise Linear Regression / 15.11:
Example 15.7: Total Cost in Relation to Output
The Use of Dummy Variables in Combining Time Series and Cross-Sectional Data / 15.12:
Pooled Regression: Pooling Time Series and Cross-Sectional Data
Example 15.8: Investment Functions for General Motors and Westinghouse Companies
Some Technical Aspects of Dummy Variable Technique / 15.13:
The Interpretation of Dummy Variables in Semilogarithmic Regressions
Example 15.9: Semilogarithmic Regression with Dummy Variable
Another Method of Avoiding the Dummy Variable Trap
Dummy Variables and Heteroscedasticity
Dummy Variables and Autocorrelation
Topics for Further Study / 15.14:
Appendix 15A / 15.15:
Data Matrix for Regression (15.8.2) / 15A.1:
Data Matrix for Regression (15.10.2) / 15A.2:
Regression on Dummy Dependent Variable: The LPM, Logit, Probit, and Tobit Models / 16:
Dummy Dependent Variable / 16.1:
The Linear Probability Model (LPM) / 16.2:
Problems in Estimation of LPM / 16.3:
Nonnormality of the Disturbances ui
Heteroscedastic Variances of the Disturbances
Nonfulfillment of 0 [= E(Yi\X) [= 1
Questionable Value of R2 as a Measure of Goodness of Fit
LPM: A Numerical Example / 16.4:
Applications of LPM / 16.5:
Example 16.1: Cohen-Rea-Lerman study
Example 16.2: Predicting a Bond Rating
Example 16.3: Predicting Bond Defaults
Alternatives to LPM / 16.6:
The Logit Model / 16.7:
Estimation of the Logit Model / 16.8:
The Logit Model: A Numerical Example / 16.9:
The Logit Model: Illustrative Examples / 16.10:
Example 16.4: "An Application of Logit Analysis to Prediction of Merger Targets"
Example 16.5: Predicting a Bond Rating
The Probit Model / 16.11:
The Probit Model: A Numerical Example / 16.12:
Logit versus Probit
Comparing Logit and Probit Estimates
The Marginal Effect of a Unit Change in the Value of a Regressor
The Probit Model: Example 16.5 / 16.13:
The Tobit Model / 16.14:
Dynamic Econometric Model: Autoregressive and Distributed-Lag Models / 16.15:
The Role of "Time," or "Lag," in Economics / 17.1:
The Reasons for Lags / 17.2:
Estimation of Distributed-Lag Models / 17.3:
Ad Hoc Estimation of Distributed-Lag Models
The Koyck Approach to Distributed-Lag Models / 17.4:
The Median Lag
The Mean Lag
Rationalization of the Koyck Model: The Adaptive Expectations Model / 17.5:
Another Rationalization of the Koyck Model: The Stock Adjustment, or Partial Adjustment, Model / 17.6:
Combination of Adaptive Expectations and Partial Adjustment Models / 17.7:
Estimation of Autoregressive Models / 17.8:
The Method of Instrumental Variables (IV) / 17.9:
Detecting Autocorrelation in Autoregressive Models: Durbin h Test / 17.10:
A Numerical Example: The Demand for Money in India / 17.11:
Example 17.7: The Fed and the Real Rate of Interest / 17.12:
Example 17.8: The Short- and Long-Run Aggregate Consumption Functions for the United States, 1946-1972
The Almon Approach to Distributed-Lag Models: The Almon or Polynomial Distributed Lag (PDL) / 17.13:
Causality in Economics: The Granger Test / 17.14:
The Granger Test
Simultaneous-Equation Models / 17.15:
The Nature of Simultaneous-Equation Models / 18:
Examples of Simultaneous-Equation Models / 18.2:
Example 18.1: Demand-and-Supply Model
Example 18.2: Keynesian Model of Income Determination
Example 18.3: Wage-Price Models
Example 18.4: The IS Model of Macroeconomics
Example 18.5: The LM Model
Example 18.6: Econometric Models
The Simultaneous-Equation Bias: Inconsistency of OLS Estimators / 18.3:
The Simultaneous-Equation Bias: A Numerical Example / 18.4:
The Identification Problem / 18.5:
Notations and Definitions / 19.1:
Underidentification / 19.2:
Just, or Exact, Identification
Overidentification
Rules for Identification / 19.3:
The Order Condition of Identifiability
The Rank Condition of Identifiability
A Test of Simultaneity / 19.4:
Hausman Specification Test
Example 19.5: Pindyck-Rubinfeld Model of Public Spending
Tests for Exogeneity / 19.5:
A Note on Causality and Exogeneity
Simultaneous-Equation Methods / 19.6:
Approaches to Estimation / 20.1:
Recursive Models and Ordinary Least Squares / 20.2:
Estimation of a Just Identified Equation: The Method of Indirect Least Squares (ILS) / 20.3:
An Illustrative Example
Properties of ILS Estimators
Estimation of an Overidentified Equation: The Method of Two-Stage Least Squares (2SLS) / 20.4:
2SLS: A Numerical Example / 20.5:
Example 20.1: Advertising, Concentration, and Price Margins / 20.6:
Example 20.2: Klein's Model I
Example 20.3: The Capital Asset Pricing Model Expressed as a Recursive System
Example 20.4: Revised Form of St. Louis Model
Appendix 20A / 20.7:
Bias in the Indirect Least-Squares Estimators / 20A.1:
Estimation of Standard Errors of 2SLS Estimators / 20A.2:
Time Series Econometrics / Part 5:
Time Series Econometrics I: Stationarity, Unit Roots, and Cointegration / 21:
A Look at Selected U.S. Economic Time Series / 21.1:
Stationary Stochastic Process / 21.2:
Test of Stationarity Based on Correlogram / 21.3:
The Unit Root Test of Stationarity / 21.4:
Is the U.S. GDP Time Series Stationary?
Is the First-Differenced GDP Series Stationary?
Trend-Stationary (TS) and Difference-Stationary (DS) Stochastic Process / 21.5:
Spurious Regression / 21.6:
Cointegration / 21.7:
Engle-Granger (EG) or Augmented Engle-Granger (AEG) Test
Cointegrating Regression Durbin-Watson (CRDW) Test
Cointegration and Error Correction Mechanism (ECM) / 21.8:
Appendix 21A / 21.9:
A Random Walk Model / 21A.1:
Time Series Econometrics II: Forecasting with ARIMA and VAR Models / 22:
Approaches to Economic Forecasting / 22.1:
AR, MA, and ARIMA Modeling of Time Series Data / 22.2:
An Autoregressive (AR) Process
A Moving Average (MA) Process
An Autoregressive and Moving Average (ARMA) Process
An Autoregressive Integrated Moving Average (ARIMA) Process
The Box-Jenkins (BJ) Methodology / 22.3:
Identification / 22.4:
Estimation of the ARIMA Model / 22.5:
Diagnostic Checking / 22.6:
Forecasting / 22.7:
Further Aspects of the BJ Methodology / 22.8:
Vector Autoregression (VAR) / 22.9:
Estimation of VAR
Forecasting with VAR
Some Problems with VAR Modeling
An Application of VAR: A VAR Model of the Texas Economy
Appendixes / 22.10:
A Review of Some Statistical Concepts / A:
Rudiments of Matrix Algebra / B:
A List of Statistical Computer Packages / C:
Statistical Tables / D:
Areas under the Standardized Normal Distribution / Table D.1:
Percentage Points of the t Distribution / Table D.2:
Upper Percentage Points of the F Distribution / Table D.3:
Upper Percentage Points of the X2 Distribution / Table D.4:
Durbin-Watson d Statistic: Significant Points of dL and dU at 0.05 and 0.01 Levels of Significance / Table D.5:
Critical Values of Runs in the Runs Test / Table D.6:
Selected Bibliography
Indexes
Name Index
Subject Index
Preface
Introduction
Single-Equation Regression Models / Part 1:
14.

図書

図書
William M. Boothby
出版情報: San Diego ; Tokyo : Academic Press, c2003  xiv, 419 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface to the Revised Second Edition
Preface to the Second Edition
Preface to the First Edition
Introduction to Manifolds / I.:
Preliminary Comments on R[superscript n] / 1.:
R[superscript n] and Euclidean Space / 2.:
Topological Manifolds / 3.:
Further Examples of Manifolds. Cutting and Pasting / 4.:
Abstract Manifolds. Some Examples / 5.:
Functions of Several Variables and Mappings / II.:
Differentiability for Functions of Several Variables
Differentiability of Mappings and Jacobians
The Space of Tangent Vectors at a Point of R[superscript n]
Another Definition of T[subscript a](R[superscript n])
Vector Fields on Open Subsets of R[superscript n]
The Inverse Function Theorem / 6.:
The Rank of a Mapping / 7.:
Differentiable Manifolds and Submanifolds / III.:
The Definition of a Differentiable Manifold
Further Examples
Differentiable Functions and Mappings
Rank of a Mapping, Immersions
Submanifolds
Lie Groups
The Action of a Lie Group on a Manifold. Transformation Groups
The Action of a Discrete Group on a Manifold / 8.:
Covering Manifolds / 9.:
Vector Fields on a Manifold / IV.:
The Tangent Space at a Point of a Manifold
Vector Fields
One-Parameter and Local One-Parameter Groups Acting on a Manifold
The Existence Theorem for Ordinary Differential Equations
Some Examples of One-Parameter Groups Acting on a Manifold
One-Parameter Subgroups of Lie Groups
The Lie Algebra of Vector Fields on a Manifold
Frobenius's Theorem
Homogeneous Spaces
Tensors and Tensor Fields on Manifolds / V.:
Tangent Covectors
Covectors on Manifolds
Covector Fields and Mappings
Bilinear Forms. The Riemannian Metric
Riemannian Manifolds as Metric Spaces
Partitions of Unity
Some Applications of the Partition of Unity
Tensor Fields
Tensors on a Vector Space
Mappings and Covariant Tensors
The Symmetrizing and Alternating Transformations
Multiplication of Tensors
Multiplication of Tensors on a Vector Space
Multiplication of Tensor Fields
Exterior Multiplication of Alternating Tensors
The Exterior Algebra on Manifolds
Orientation of Manifolds and the Volume Element
Exterior Differentiation
An Application to Frobenius's Theorem
Integration on Manifolds / VI.:
Integration in R[superscript n] Domains of Integration
Basic Properties of the Riemann Integral
A Generalization to Manifolds
Integration on Riemannian Manifolds
Integration on Lie Groups
Manifolds with Boundary
Stokes's Theorem for Manifolds
Homotopy of Mappings. The Fundamental Group
Homotopy of Paths and Loops. The Fundamental Group
Some Applications of Differential Forms. The de Rham Groups
The Homotopy Operator
Some Further Applications of de Rham Groups
The de Rham Groups of Lie Groups
Covering Spaces and Fundamental Group
Differentiation on Riemannian Manifolds / VII.:
Differentiation of Vector Fields along Curves in R[superscript n]
The Geometry of Space Curves
Curvature of Plane Curves
Differentiation of Vector Fields on Submanifolds of R[superscript n]
Formulas for Covariant Derivatives
[down triangle, open subscript x subscript p] Y and Differentiation of Vector Fields
Constant Vector Fields and Parallel Displacement
Addenda to the Theory of Differentiation on a Manifold
The Curvature Tensor
The Riemannian Connection and Exterior Differential Forms
Geodesic Curves on Riemannian Manifolds
The Tangent Bundle and Exponential Mapping. Normal Coordinates
Some Further Properties of Geodesics
Symmetric Riemannian Manifolds
Some Examples
Curvature / VIII.:
The Geometry of Surfaces in E[superscript 3]
The Principal Curvatures at a Point of a Surface
The Gaussian and Mean Curvatures of a Surface
The Theorema Egregium of Gauss
Basic Properties of the Riemann Curvature Tensor
Curvature Forms and the Equations of Structure
Differentiation of Covariant Tensor Fields
Manifolds of Constant Curvature
Spaces of Positive Curvature
Spaces of Zero Curvature
Spaces of Constant Negative Curvature
References
Index
Preface to the Revised Second Edition
Preface to the Second Edition
Preface to the First Edition
15.

図書

図書
Seth Stein, Michael Wysession
出版情報: Malden, Mass. : Blackwell, 2003  x, 498 p. ; 28 cm
所蔵情報: loading…
16.

視聴覚資料

AV
アートデイズ製作著作
出版情報: [東京] : アートデイズ, 2003  ビデオディスク1枚 (57分) ; 12cm, 箱入(19cm)
シリーズ名: イタリア紀行 ; v. 1
所蔵情報: loading…
17.

図書

図書
韓洪九著 ; 李尚珍 [ほか] 訳
出版情報: 東京 : 平凡社, 2003-  冊 ; 20cm
所蔵情報: loading…
18.

図書

図書
ジル・ネレ [著] ; Mitsuyo Nakamura, Yuko Suzuki [訳]
出版情報: Köln ; Tokyo : Taschen, c2003  92p ; 23cm
シリーズ名: ニュー・ベーシック・アート・シリーズ
所蔵情報: loading…
19.

図書

図書
sponsored by IEEE Computer Society Technical Council on Software Engineering ; co-sponsored by the Netherlands Organisation for Scientific Research, the Royal Netherlands Academy of Arts and Sciences
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  x, 213 p. ; 27 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Committee Chairs
Conference Organization
Program Committee
Reviewers
Static Analysis / Session I:
Online Cycle Detection and Difference Propagation for Pointer Analysis / D. J. Pearce ; P. H. J. Kelly ; C. Hankin
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques / M. Martel
CPP Denotational Semantics / J.-M. Favre
Object Oriented Code / Session II:
Applying Meyer's Taxonomy to Object-Oriented Software Systems / M. English ; J. Buckley ; T. Cahill
Power Law Distributions in Class Relationships / R. Wheeldon ; S. Counsell
The Java System Dependence Graph / N. Walkinshaw ; M. Roper ; M. Wood
Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs / O. S. Bagge ; K. T. Kalleberg ; M. Haveraaen ; E. Visser
Keynote / Session III:
Managing Multi-Billion Dollar IT Budgets Using Source Code Analysis / C. Verhoef
Slicing / Session IV:
Barrier Slicing and Chopping / J. Krinke
Slicing the SCAM Mug: A Case Study in Semantic Slicing / M. P. Ward
Static Slicing of Reactive Programs / A. R. Kulkarni ; S. Ramesh
Design and Implementation of Bytecode-Based Java Slicing System / F. Umemori ; K. Konda ; R. Yokomori ; K. Inoue
Interprocedural Static Slicing of Binary Executables / A. Kiss ; J. Jasz ; G. Lehotai ; T. Gyimothy
Program Transformations / Session V:
Towards Managing Environment Dependence during Legacy Systems Renovation and Maintenance / M. Mossienko ; O. Khaschansky ; D. Antonov ; O. Smirnov ; A. Gubanov
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-End for Octave / K. Olmos
Unique Renaming of Java Using Source Transformation / X. Guo ; J. R. Cordy ; T. R. Dean
Parse-Tree Annotations Meet Re-Engineering Concerns / J. Kort ; R. Lammel
Tools and Techniques / Session VI:
XOgastan: XML-Oriented gcc AST Analysis and Transformations / G. Antoniol ; M. Di Penta ; G. Masone ; U. Villano
Detection of Redundant Code Using R[superscript 2]D[superscript 2] / A. Menezes Leitao
Checking Program Profiles / P. Moseley ; S. Debray ; G. Andrews
Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms / D. Binkley ; M. Harman
Author Index
Message from the Program Committee Chairs
Conference Organization
Program Committee
20.

図書

図書
sponsored by the Chilean Computer Science Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  x, 155 p. ; 28 cm
所蔵情報: loading…
21.

図書

図書
edited by Reinaldo A. Bergamaschi, Wilhelmus Van Noije, and Wolfgang Rosenstiel
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xvi, 362 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Organizing Committee
Program Committee
Reviewers
Contributing Organizations
Corporate Sponsors
Tutorials
SystemC: From Language to Applications, from Tools to Methodologies / Grant Martin
System-Level Design for FPGAs / Patrick Lysaght
High-Performance RF/Microwave Integrated Circuits in Advanced Logic CMOS Technology: The Coming of Age for RF/Digital Mixed-Signal System-on-a-Package / Luiz Franca-Neto
Advanced Amplifier Design / Session 1A:
Design of a Low Noise Amplifier for CDMA Transceivers at 900 MHz in CMOS 0.35 [mu]m / J. A. P. Azevedo ; T. C. Pimenta
A Methodology for CMOS Low Noise Amplifier Design / E. Roa ; J. N. Soares ; W. Van Noije
Design of a Reusable Rail-to-Rail Operational Amplifier / P. Aguirre ; F. Silveira
Design of Operational Transconductance Amplifiers with Improved Gain by Using Graded-Channel SOI nMOSFETs / S. P. Gimenez ; M. A. Pavanello ; J. A. Martino ; S. Adriaensen ; D. Flandre
Logic Synthesis Techniques / Session 1B:
Boolean Technology Mapping Based on Logic Decomposition / M. Damiani ; A. Y. Selchenko
Retiming Finite State Machines to Control Hardened Data Paths / I. Auge ; F. Donnet ; F. Petrot
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits / L. P. Carloni ; A. L. Sangiovanni-Vincentelli
Simplification of Toffoli Networks via Templates / D. Maslov ; G. W. Dueck ; D. M. Miller
Invited Paper / Session 2:
SystemC and the Future of Design Languages: Opportunities for Users and Research / G. Martin
Digital Design Techniques / Session 3A:
A New Pipelined Array Architecture for Signed Multiplication / E. Costa ; S. Bampi ; J. Monteiro
Novel Design Methodology for High-Performance XOR-XNOR Circuit Design / S. Goel ; M. A. Elgamel ; M. A. Bayoumi
High-Level and Co-Design Approaches / Session 3B:
Towards a High-Level Synthesis of Reconfigurable Bit-Serial Architectures / A. Rettberg ; F. Dittmann ; M. Zanella ; T. Lehmann
DALI: A Methodology for the Co-Design of Dataflow Applications on Hardware/Software Architectures / M. P. Vestias ; H. C. Neto
Mapping Applications onto FPGAs / Session 4A:
ME64--A Highly Scalable Hardware Parallel Architecture for Motion Estimation in FPGA / D. Zandonai ; M. Bergerman
Hyperspectral Images Clustering on Reconfigurable Hardware Using the K-Means Algorithm / A. G. da S. Filho ; A. C. Frery ; C. C. de Araujo ; H. Alic ; J. Cerqueira ; J. A. Loureiro ; M. E. de Lima ; M. das G. S. Oliveira ; M. M. Horta
Design and Prototyping of Direct Torque Control of Induction Motors in FPGAs / S. Ferreira ; F. Haffner ; L. F. Pereira ; F. Moraes
FPGA-Based Hardware Architecture for Neural Network: Binary Radix vs. Stochastic / N. Nedjah ; L. de Macedo Mourelle
IP Integration Techniques / Session 4B:
An XML Format Based Integration Infrastructure for IP Based Design / M. Visarius ; J. Lessmann ; W. Hardt ; F. Kelso ; W. Thronicke
Tangram--Virtual Integration of Heterogeneous IP Components in a Distributed Co-Simulation Environment / U. R. F. Souza ; J. K. Sperb ; B. A. de Mello ; F. R. Wagner
A Fast IP-Core Integration Methodology for SoC Design / J. A. de Oliveira Filho ; P. R. Maciel ; J. Moura ; B. Celso
A Universal High-Performance Analog Interface for Signal Processing SOCs / E. E. Fabris ; L. Carro
Architecture and Implementation of Multi-Processor SoCs for Advanced Set-Top Box and Digital TV Systems / S. DuttaSession 5:
Asynchronous Design Techniques / Session 6A:
Automatic Generation of 1-of-M QDI Asynchronous Adders / J. Fragoso ; G. Sicard ; M. Renaudin
Exclusion Relation of k Out of n and the Synthesis of Speed-Independent Circuits / A. Pereira ; A. R. Borges ; A. Ferrari
Networks-on-Chip / Session 6B:
Algorithms and Tools for Network on Chip Based System Design / T. Lei ; S. Kumar
SoCIN: A Parametric and Scalable Network-on-Chip / C. A. Zeferino ; A. A. Susin
Application Specific RF and Analog Design / Session 7A:
A Low Ripple Fully Integrated Charge Pump Regulator / J. Soldera ; A. Vilas Boas ; A. Olmos
A Temperature Compensated Fully Trimmable On-Chip IC Oscillator
Bias Dependence of Noise Correlation in MAGFETs / F. C. Castaldo ; J. P. C. Cajueiro ; C. A. dos Reis
A Charge Correction Cell for FGMOS-Based Circuits / E. O. Rodriguez-Villegas ; A. Yufera ; A. Rueda
Applications of Formal Methods to Design / Session 7B:
Unified Theory to Build Cell-Level Transistor Networks from BDDs / R. E. B. Poli ; F. R. Schneider ; R. P. Ribas ; A. I. Reis
Modeling a Reconfigurable System for Computing the FFT in Place via Rewriting-Logic / M. Ayala-Rincon ; R. B. Nogueira ; C. H. Llanos ; R. P. Jacobi ; R. W. Hartenstein
Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification / G. Logothetis ; K. Schneider ; C. Metzler
A Consumer Report on BDD Packages / G. Janssen
Novel Architectures / Session 8A:
A New Hybrid Parallel/Reconfigurable Architecture: The X4CP32 / A. Azevedo ; R. Soares ; I. S. Silva
Control Development for Mechatronic Systems with a Fully Reconfigurable Pipeline Architecture / U. Dierkes ; C. Rustemeier
Efficient Processor Instruction Set Extension by Asynchronous Reconfigurable Datapath Integration / J. Becker ; A. Thomas ; M. Scheer
Situated Learning on FPGA for Superscalar Microprocessor Design Education / R. Takahashi ; H. Ohiwa
Noise Analysis and Layout / Session 8B:
On-Chip Decoupling Capacitor Optimization for Noise and Leakage Reduction / H. H. Chen ; J. S. Neely ; M. F. Wang ; G. Co
Minimum-Area Shield Insertion for Explicit Inductive Noise Reduction
A New Continuous Switching Window Computation with Crosstalk Noise / J. M. Wang ; P. Chen ; O. Hafiz
Improving Simulated Annealing Placement by Applying Random and Greedy Mixed Perturbations / R. F. Hentschke ; R. A. da L. Reis
Future Design Tools for Platform FPGAs / P. LysaghtSession 9:
Issues in Reconfigurable Architectures / Session 10A:
Power Estimation and Power Measurement of Xilinx Virtex FPGAs: Trade-Offs and Limitations / M. Huebner ; M. Ullmann
Dynamic Reconfiguration Behavior Using Generic FPGAs and FPIDs / R. L. Zuim ; C. J. N. Coelho, Jr. ; L. F. E. Moreira ; A. O. Fernandes ; J. M. da Mata ; D. C. da Silva, Jr.
Timing Analysis and Layout / Session 10B:
Improving Critical Path Identification in Functional Timing Analysis / D. Ferrao ; G. Wilke ; R. Reis ; J. L. Guntzel
A Transistor Sizing Method Applied to an Automatic Layout Generation Tool / C. Santos ; C. Lazzari
Innovative Approaches to RF and Analog Design Problems / Session 11A:
Analog IC Modules Design Using Trapezoidal Association of MOS Transistors in 0.35 [mu]m Technology / A. Girardi ; F. P. Cortes ; E. Fabris
Digital Background Calibration Technique for Pipeline ADCs with Multi-Bit Stages / A. J. Gines ; E. J. Peralias
Design Methodologies for High-Speed CMOS Photoreceiver Front-Ends / F. Tissafi-Drissi ; I. O'Connor ; F. Mieyeville ; F. Gaffiot
Testing RF Signal Paths Using Spectral Analysis and Subsampling / M. Negreiros ; E. Schuler
High-Level Validation and Modeling / Session 11B:
Accurate Dependability Analysis of CAN-Based Networked Systems / J. Perez ; M. S. Reorda ; M. Violante
ReCoNet: Modeling and Implemention of Fault-Tolerant Distributed Reconfigurable Hardware / C. Haubelt ; D. Koch ; J. Teich
CACO-PS: A General-Purpose Cycle-Accurate Configurable Power Simulator / A. C. S. Beck Filho ; J. C. B. Mattos
From VHDL Register Transfer Level to SystemC Transaction Level Modeling: A Comparative Case Study / N. Calazans ; E. Moreno ; F. Hessel ; V. Rosa ; E. Carara
Author Index
Foreword
Organizing Committee
Program Committee
22.

図書

図書
organized by Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Department of Mathematics, Faculty of Science, Chulalongkorn University
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xvi, 582 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editors, Wing L. Cheng, Shigeru Itoh ; contributing editors, M'Hamed Souli ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  viii, 327 p. ; 28 cm
シリーズ名: PVP ; v. 460
所蔵情報: loading…
24.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, Dominique Moinereau ; contributing editors, Kenneth K. Yoon, Jae-Boong Choi
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  viii, 137 p. ; 28 cm
シリーズ名: PVP ; v. 461
所蔵情報: loading…
25.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, Poh-Sang Lam ; contributing editors, David P.G. Lidbury ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  xii, 177 p. ; 28 cm
シリーズ名: PVP ; v. 462
所蔵情報: loading…
26.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, Poh-Sang Lam ; contributing editors, Claud Faidy ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  vi, 193 p. ; 28 cm
シリーズ名: PVP ; vol. 463
所蔵情報: loading…
27.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, Frederick W. Brust ; contributing editors, Pingsha Dong ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  vii, 239 p. ; 28 cm
シリーズ名: PVP ; v. 464
所蔵情報: loading…
28.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, M.J. Pettigrew ; contributing editors, J. Antunes ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  vii, 240 p. ; 28 cm
シリーズ名: PVP ; v. 465
所蔵情報: loading…
29.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, J.C. Chen ; contributing editors, S.C. Lu ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  viii, 279 p. ; 28 cm
シリーズ名: PVP ; v. 466
所蔵情報: loading…
30.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, R.S. Hafner ; contributing editors, Raúl B. Rebak ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  vi, 129 p. ; 28 cm
シリーズ名: PVP ; v. 467
所蔵情報: loading…
31.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, Vikram N. Shah ; contributing editors, Georges Bezdikian ... [et al.]
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  vii, 255 p. ; 28 cm
シリーズ名: PVP ; v. 468
所蔵情報: loading…
32.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; principal editor, D.K. Williams ; contributing editors, J.F. McCabe, D. Moinereau
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  vi, 183 p. ; 28 cm
シリーズ名: PVP ; vol. 469
所蔵情報: loading…
33.

図書

図書
sponsored by the Pressure Vessels and Piping Division, ASME ; organized by Young W. Kwon, Howard H. Chung
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  v, 221 p. ; 28 cm
シリーズ名: PVP ; vol. 470
所蔵情報: loading…
目次情報: 続きを見る
General
IMECE2003-42788 Peculiarities of the Power Hydrocannon Operation / G. A. Atanov ; A. N. Semco ; O. P. Petrenko ; E. S. Geskin ; V. Samardzic ; B. Goldenberg
IMECE2003-43187 A Two-Phase Fluid Model for Simulation of Cavitation Phenomena in Pipe-Line Hydraulic Systems / Claudio Negri
IMECE2003-43875 Dynamic Pipe Stresses During Water Hammer V Applications / Robert A. Leishear ; Jeffrey H. Morehouse
IMECE2003-55003 Transient Waterhammer Force and Pipe Response Using Fluid and Structural Coupling / E. Prado ; F. J. Moody
IMECE2003-55098 CFD Applications for Coal/Air Balancing in Power Plants / Sowjanya Vijiapurapu ; Jie Cui ; Sastry Munukutla
Recent Advances in Mechanics of Solids and Structures
Introduction / Young W. Kwon ; Howard H. Chung
IMECE2003-41211 Studies of Hydrogen Embrittlement Effects on Steel Pipeline Used for Natural Gas Transport / Y. Y. Al-Obaid ; Y. F. Al-Obaid
IMECE2003-41356 Fixtures Design for Controlling Distortion of Pressure Vessel During Fabrication / Hee-Tae Lee ; Sang-Beom Shin ; Sung-Hoon Ko
IMECE2003-41867 An Experimental Method to Measure Q-Parameter for Two Parameter Theory of Ductile Fracture / Dong-Hak Kim ; Jeong-Hyun Lee ; Ki-Ju Kang
IMECE2003-42646 A Proper Groove Design for Distortion Control of the Multi-Pass Weldment at Pressure Vessel / Sung-Yun Kim ; Ha-Geun Kim
IMECE2003-43397 Preliminary Mechanical Characterization of Reinforced Rigid Polyurethane Foams / Nagesh Kasichainula ; Sanjeev K. Khanna
IMECE2003-43476 Buckling of the Composite Cracked Cylindrical Shells Subjected to Axial Load / A. Vaziri ; H. Nayeb-Hashemi ; H. E. Estekanchi
IMECE2003-43477 New Electrical Potential Method for Measuring Crack Growth in Nonconductive Materials / D. Swet
IMECE2003-43478 Effective Stress Intensity Factor in Mode III Crack Growth in Round Shafts
IMECE2003-43489 Preliminary Experiments for Evaluating 3-D Effects on Cracks in Frozen Stress Models / C. W. Smith ; J. D. Hansen ; C. T. Liu
IMECE2003-43543 Development of Machine Tool Structure at the Early Stages of Design Process / Emmanuil Kushnir ; Terrence Sheehan
IMECE2003-43600 Mathematical Expression for the Prediction of Penetration in Butt Joints for Duplex Stainless Steel SAF-2205 / Maria Carolina Payares ; Minerva Dorta Almenara
IMECE2003-43651 Free Flexural (or Bending) Vibrations of Orthotropic Composite Mindlin Plates With a Bonded Non-Central (or Eccentric) Lap Joint / U. Yuceoglu ; O. Guvendik ; V. Ozerciyes
IMECE2003-43661 Free Asymmetric Vibrations of Composite Full Circular Cylindrical Shells With a Bonded Central Lap Joint
IMECE2003-43720 Investigation of Microcrack Growth in [0/90]s Composite Laminates / Melody A. Verges ; Paul J. Schilling ; Paul ; D. Herrington ; Arun K. Tatiparthi
IMECE2003-43850 Fatigue Behavior of VARTM Manufactured Biaxial Braided Composites / Jitendra S. Tate ; Ajit D. Kelkar
IMECE2003-43863 The Mixed Mode Crack Problem in a FGM Layer / X. Long ; F. Delale
IMECE2003-43925 Surface Topology Optimization of Water Tanks Using Genetic Algorithm / Cecil Lawrence ; Wieslaw M. Szydlowski
IMECE2003-55239 Inelastic Behavior of Pipe Subjected to Steady Extension and Cyclic Bending / Yanping Yao ; Ming-Wan Lu ; Xiong Zhang
IMECE2003-55250 Multi-Scale Approach for Nonhomogeneous Microstructural Effects on Damage in Particulate Composites / W. M. Cho ; Y. W. Kwon
IMECE2003-55475 Dynamic Stresses During Structural Impacts
Author Index
General
IMECE2003-42788 Peculiarities of the Power Hydrocannon Operation / G. A. Atanov ; A. N. Semco ; O. P. Petrenko ; E. S. Geskin ; V. Samardzic ; B. Goldenberg
IMECE2003-43187 A Two-Phase Fluid Model for Simulation of Cavitation Phenomena in Pipe-Line Hydraulic Systems / Claudio Negri
34.

図書

図書
sponsored by the IEEE Electron Devices Society
出版情報: Piscataway, N.J. : IEEE, c2003  1 v. (various pagings) ; 29 cm
所蔵情報: loading…
35.

図書

図書
organized by the Brigham Young University and the IEEE Instrumentation and Measurement Society--Technical Committee on Intelligent Measurement Systems ; technical cooperation by the IEEE I&M Society
出版情報: Piscataway, N.J. : IEEE, c2003  v, 55 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
editors, Leo Budin ... [et al.]
出版情報: Zagreb, Croatia : SRCE University Computing Centre, University of Zagreb, [c2003]  xxv, 686 p. ; 30 cm
所蔵情報: loading…
37.

図書

図書
International Conference on Telecommunications ; IEEE Learning Technology Task Force
出版情報: Piscataway, N.J. : Institute of Electrical and Electronics Engineers, c2003  2 v. (xxix, 1779 p.) ; 30 cm
所蔵情報: loading…
38.

図書

図書
editors, Dragan Jevtić and Miljenko Mikuc
出版情報: Zagreb, Croatia : Faculty of Electrical Engineering and Computing, Dept. of Telecommunications, University of Zagreb, c2003-  2 v. (xv, 796 p.) ; 30 cm
所蔵情報: loading…
39.

図書

図書
edited by Baldomir Zajc, Marko Tkalcic
出版情報: Piscataway, NJ : IEEE, c2003  2 v. ; 30 cm
所蔵情報: loading…
40.

図書

図書
[sponsored by] Wright State University
出版情報: [S.l.] : [s.n.], [2003]  2 v. (vii, 1310 p.) ; 28 cm
所蔵情報: loading…
41.

図書

図書
platinum sponsors, Intervoice, SpeechWorks
出版情報: [S.l.] : AVIOS, [2003]  1 v. ; 28 cm
所蔵情報: loading…
42.

図書

図書
organized and sponsored by the Magnetic Storage Committee of the Tribology Division, ASME ; edited by Andreas A. Polycarpou, Mike Suk, Yiao-tee Hsia
出版情報: New York, N.Y. : American Society of Mechanical Engineers, c2003  vi, 109 p. ; 26 cm
シリーズ名: TRIB ; vol. 15
所蔵情報: loading…
目次情報: 続きを見る
2003-TRIB-330 Study of Transverse Flow Effects on Particle Flows and Contamination of Air Bearing Sliders / X..-J. Shen ; Mike Suk ; David B. Bogy
2003-TRIB-331 Thermal Stability of Z-Type Perfluoro Poly Ether Lubricant Polymers: A Combined Thermogravimetric and Temperature Programmed Desorption Study / Paul M. Jones ; Lei Li ; Yiao-Tee Hsia
2003-TRIB-332 Spreading of Novel Cyclotriphosphazine-Terminated PFPE Films on Cargon Surfaces / Norio Tagawa ; Tadao Tateyama ; Atsunobu Mori ; Nagayoshi Kobayashi ; Yoshinobu Fujii ; Masako Ikegami
2003-TRIB-333 A Microactuator for Tracking Servo / Toshiki Hirano ; Henry Yang ; Surya Pattanaik ; Matthew White ; Satya Arya
2003-TRIB-334 Thermal Analysis for the Protrusion of Magnetic Head / Junguo Xu ; Masayuki Kurita ; Shozo Seagusa
2003-TRIB-335 Identification of Stiffness and Damping in Collision of a Spherical Slider With a Magnetic Disk / Kyosuke Ono ; Satoshi Ohara
2003-TRIB-336 Electrochemical Tests of Corrosion of Magnetic Hard Disks With Overcoats of DLC / Soyoung Jung ; Thomas M. Devine
2003-TRIB-337 Dynamic Characteristics of Flying Head Slider Considering Van Der Waals Forces: Analyses Based on the Corrected Van Der Waals Force Equation for Multilayers / Hiroshige Matsuoka ; Satoru Ohkubo ; Shigehisa Fukui
2003-TRIB-338 Thermal Effects and Self-Heating Time Constant for GMR Recording Heads / Lydia Baril ; Erhard Schreck ; Al Wallash
2003-TRIB-339 Head Wear in Contact Recording Systems / Youichi Kawakubo ; Shinichi Kobatake ; Shunichi Miyazawa ; Shinichi Nakazawa
2003-TRIB-340 Flying Height Deviation Measurements at Ultra Low Fly Heights / Dongman Kim
2003-TRIB-341 Spreading Characteristics of Monolayer Lubricant Film on Surfaces With Lube Textures / Hedong Zhang ; Yasunaga Mitsuya ; Natsuko Fukuoka ; Kenji Fukuzawa
2003-TRIB-342 Optimization of Air Bearing Contours for Shock Performance of a Hard Disk Drive / Eric M. Jayson ; Frank E. Talke
2003-TRIB-343 Nanoscale Heat Transfer Modeling in Solids: Data Storage and Electronic Devices / Sartaj S. Ghai ; Myung S. Jhon ; Cristina H. Amon
2003-TRIB-344 Measurements of Thickness, Surface Roughness and Corrosion Performance of 1-10 nm Thick CNx Films / Dejun Li ; Yanfeng Chen ; Yip-Wah Chung
2003-TRIB-345 Electrical Breakdown in Electrostatic Fly Control / Deborah S. Schnur ; Dian Song ; Roger L. Hipwell ; Zine-Eddine Boutaghou ; Robert Weinstein
Author Index
2003-TRIB-330 Study of Transverse Flow Effects on Particle Flows and Contamination of Air Bearing Sliders / X..-J. Shen ; Mike Suk ; David B. Bogy
2003-TRIB-331 Thermal Stability of Z-Type Perfluoro Poly Ether Lubricant Polymers: A Combined Thermogravimetric and Temperature Programmed Desorption Study / Paul M. Jones ; Lei Li ; Yiao-Tee Hsia
2003-TRIB-332 Spreading of Novel Cyclotriphosphazine-Terminated PFPE Films on Cargon Surfaces / Norio Tagawa ; Tadao Tateyama ; Atsunobu Mori ; Nagayoshi Kobayashi ; Yoshinobu Fujii ; Masako Ikegami
43.

図書

図書
Nasser Kehtarnavaz, Phillip A. Laplante, chairs/editors ; sponsored and published by IS & T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2003  v, 146 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5012
所蔵情報: loading…
44.

図書

図書
Nasser M. Nasrabadi, Aggelos K. Katsaggelos, chairs/editors ; sponsored by IS & T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2003  vii, 122 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5015
所蔵情報: loading…
45.

図書

図書
David P. Casasent, Ernest L. Hall, Juha Röning, chairs/editors ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2003  viii, 344 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 5267
所蔵情報: loading…
46.

図書

図書
editor, M.H. Hamza ; [sponsors, the International Association of Science and Technology for Development (IASTED). Technical Committee on Biomechanics]
出版情報: Anaheim, Calif. : Acta Press, c2003-  v. ; 28 cm
所蔵情報: loading…
47.

図書

図書
Joseph Neev, Andreas Ostendorf, Christopher B. Schaffer, chairs/editors ; sponsored by SPIE--the International Society for Optical Engineering ; cosponsored by Clark MRX [i.e. MXR] (USA) ... [et al.]
出版情報: Bellingham, Wash., USA : SPIE, c2003  viii, 236 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4978
所蔵情報: loading…
48.

図書

図書
edited by M. Colnarič, M. Adamski and W. Węgrzyn
出版情報: Oxford : Published for the International Federation of Austomatic Control by Elsevier, 2003  ix, 205 p ; 30 cm
所蔵情報: loading…
49.

図書

図書
[sponsored by China Institute of Communications (CIC), Chinese Institute of Electronics (CIE) ; technically co-sponsored by IEEE Communications Society (IEEE COMSOC) ... [et al.]]
出版情報: Beijing, China : Beijing University of Posts and Telecommunications Press , [Piscataway, N.J.] : IEEE Press, 2003  2 v. (22, 1945 p.) ; 29 cm
所蔵情報: loading…
50.

図書

図書
GRSS/ISPRS Joint Workshop on Remote Sensing and Data Fusion over Urban Areas ; IEEE Geoscience and Remote Sensing Society ; International Society for Photogrammetry and Remote Sensing
出版情報: Piscataway, NJ : Institute of Electrical and Electronics Engineers, c2003  xvi, 308 p. ; 30 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼