close
1.

図書

図書
edited by G.H. Stewart
出版情報: London : Published by Academic Press for the British Ceramic Society, 1967  vi, 369 p. ; 23 cm
シリーズ名: Science of ceramics / edited by G.H. Stewart ; v. 3
所蔵情報: loading…
2.

図書

図書
edited Heinz Heinemann
出版情報: New York : Dekker, 1968-  v. ; 24 cm
所蔵情報: loading…
3.

図書

図書
edited by Allen J. Bard
出版情報: New York : M. Dekker, c1966-  v. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Voltammetry of solid microparticles immobilized on electrode surfaces
analysis in highly concentrated solutions -potentiometric, conductance, evanescent, densometric and spectroscopic methodologies
surface plasmon resonance measurements of ultrathin organic films at electrode surfaces
electrochemistry in neuronal microenvironments
Introduction to the Series
Contributors to Volume 14
Contents of Other Volumes
Precision in Linear Sweep and Cyclic Voltammetry / Vernon D. Parker
Introduction / I.:
Electrode Mechanism Analysis / II.:
Measurement Precision / III.:
Derivative Cyclic Voltammetry / IV.:
Linear Sweep Voltammetry / V.:
Normalized Potential Sweep Voltammetry / VI.:
Linear Current Potential (LCP) Analysis / VII.:
Reaction Order Approach / VIII.:
More Recent Developments / IX.:
Conclusions / X.:
Acknowledgments
References
Conformational Change and Isomerization Associated with Electrode Reactions / Dennis H. Evans ; Kathleen M. O'Connell
Theoretical Consideration
Conformational Change That Precedes Electron Transfer
Conformational Change or Isomerization That Follows Electron Transfer
Conformational Changes That Are Concurrent with Electron Transfer
Summary
Square-Wave Voltammetry / Janet Osteryoung ; John J. O'Dea
Definition of Square-Wave Voltammetry
Theory of Square-Wave Voltammetry
Experimental Square-Wave Voltammetry
Infrared Vibrational Spectroscopy of the Electron-Solution Interface / John K. Foley ; Carol Korzeniewski ; John L. Daschbach ; Stanley Pons
Theory and Methodology
Applications
Conclusions and Future Directions
Appendix: The Laws of Reflection and Fresnel's Equations
Acknowledgment
Author Index
Subject Index
Numerical simulation of electroanalytical experiments - recent advances in methodology
electrochemistry of organized monolayers of thiols and related molecules on electrodes
electrochemistry of high-Tc superconductors
Contributors to Volume 22
Looking at the Metal/Solution Interface with the Electrochemical Quartz-Crystal Microbalance: Theory and Experiment / V. Tsionsky ; L. Daikhin ; M. Urbakh ; E. Gileadi
Is It Really a Microbalance? / A.:
Applications of the Quartz Crystal Microbalance / B.:
The Impedance Spectrum of the EQCM / C.:
Outline of This Chapter / D.:
Theoretical Interpretation of the QCM Response
Impedance
The Effect of Thin Surface Films
The Quartz Crystal Operating in Contact with a Liquid
Quartz Crystals with Rough Surfaces
Electrical Double Layer/Electrostatic Adsorption
Some Typical Results
The Potential Dependence of the Frequency
Adsorption Studies
The Adsorption of Organic Substances
The Adsorption of Inorganic Species
Metal Deposition
Deposition on the Same Metal Substrate
Early Stages of Metal Deposition on a Foreign Substrate
The Influence of Roughness on the Response of the QCM in Liquids
The Nonelectrochemical Case
The Electrochemical Case
Conclusion
Appendix
Nonuniform Film on the Surface
Experimental Remarks
The Indirect Laser-Induced Temperature Jump Method for Characterizing Fast Interfacial Electron Transfer: Concept, Application, and Results / Stephen W. Feldberg ; Marshall D. Newton ; John F. Smalley
Why Measure Fast Interfacial Electron Transfer Rate Constants? And How?
Background
The Underlying Principles of the ILIT Method--The Short Version
Definition of Terms
The Evolution of the ILIT Method for the Study of Fast Interfacial Electron Transfer Kinetics
The Temperature-Jump Approach for Studies of Homogeneous Kinetics
The Temperature-Jump Approach for Studies of Interfacial Kinetics
Relevant Electron Transfer Theory: Marcus's Description of Heterogeneous Nonadiabatic Electron Transfer Reactions
Chidsey's Approach
Temperature Dependence
How Well Does the Butler-Volmer Expression Approximate Marcus's Formalism?
Analysis of the ILIT Response
Response of the Open-Circuit Electrode Potential to a Change in the Interfacial Temperature in the Presence of a Perfectly Reversible Redox Couple Attached to the Electrode Surface
The Relaxation of the ILIT Response When the Rate of Electron Transfer Is Not Infinitely Fast
When Is the ILIT Response Purely Thermal (i.e., Devoid of Kinetic Information)?
The Shape of the Ideal ILIT Perturbation
Nonidealities of the Shape of the ILIT Perturbation and Response--Extracting the Relaxation Rate Constant, k[subscript m] / E.:
Correlating k[subscript m] to Meaningful Physical Parameters / F.:
Experimental Implementation of ILIT
The Cell
The Working Electrode: Preparation and Thermal Diffusion Properties
Preparation of Self-Assembled Monolayers
The Electronics
Potential Problems
Energetic and Timing Considerations for Single and Multiple Pulse Experiments
Some Suggested Experimental Protocols / G.:
A Few Examples of Measurements of Interfacial Kinetics
Some Typical Transients
Determining the Value of k[degree]
Arrhenius Plots and Evaluation of [Delta]H[superscript not equal and Delta]H[subscript lambda]
The Potential of the ILIT Approach
Some Thoughts About Future Experiments
Glossary of Terms
Appendix: One-Dimensional Thermal Diffusion into Two Different Phases
Electrically Conducting Diamond Thin Films: Advanced Electrode Materials for Electrochemical Technologies / Greg M. Swain
Diamond Thin Film Deposition, Electrode Architectures, Substrate Materials, and Electrochemical Cells
Electrical Conductivity of Diamond Electrodes
Characterization of Microcrystalline and Nanocrystalline Diamond Thin Film Electrodes
Basic Electrochemical Properties of Microcrystalline and Nanocrystalline Diamond Thin Film Electrodes
Factors Affecting Electron Transfer at Diamond Electrodes
Surface Modification of Diamond Materials and Electrodes
Electroanalytical Applications
Azide Detection
Trace Metal Ion Analysis
Nitrite Detection
NADH Detection
Uric Acid Detection
Histamine and Serotonin Detection
Direct Electron Transfer to Heme Peptide and Peroxidase
Cytochrome c Analysis / H.:
Carbamate Pesticide Detection
Ferrocene Analysis / J.:
Aliphatic Polyamine Detection / K.:
Electrosynthesis and Electrolytic Water Purification
Optically Transparent Electrodes for Spectroelectrochemistry
Advanced Electrocatalyst Support Materials / XI.:
Composite Electrode Fabrication and Characterization
Oxygen Reduction Reaction
Methanol Oxidation Reaction
Voltammetry of solid microparticles immobilized on electrode surfaces
analysis in highly concentrated solutions -potentiometric, conductance, evanescent, densometric and spectroscopic methodologies
surface plasmon resonance measurements of ultrathin organic films at electrode surfaces
4.

図書

図書
edited by J. O'M. Bockris and B.E. Conway
出版情報: London : Butterworths , New York : Plenum Press, 1964-  v. ; 22 cm
所蔵情報: loading…
目次情報: 続きを見る
Applications of Electrochemical Impedance Spectroscopy to Hydrogen Adsorption, Evolution and Absorption into Metals / A. Lasia1:
Electroless Deposition of Metals / D. Djokic2:
Towards a Computational Electrochemistry - a Kineticist's Perspective / L.K. Bieniasz3:
Thermodynamic and Transport Properties of Bridging Electrolyte - Water Systems / M.A. Abraham ; M.-C. Abraham4:
Factors Limiting Applications of the Historically Significant Born Equation: A Critical Review / B.E. Conway5:
References
Nanoparticle Surfaces Studied by Electrochemical NMR / P. K. Babu ; E. Oldfield ; A. WieckowskiChapter 1:
Introduction / I.:
Experimental / II.:
Results and Discussion / III.:
Selected Topics in [superscript 195]Pt-NMR / 1.:
Other Pt Nanoparticles (Unsupported and Supported) / 2.:
Correlation Between the [superscript 195]Pt NMR Shift and Adsorbates Electronegativity / 3.:
Spatially-Resolved Oscillation of the E[subscript f]-LDOS in a Pt Catalyst / 4.:
[superscript 13]C NMR at the Electrochemical Interface / IV.:
[superscript 13]C NMR Knight Shift
EC-NMR Under Potential Control
Correlation of NMR to FTIR Data
Correlation Between Clean Surface E[subscript f]-LDOS of Metals and the Adsorbate Knight Shift
NMR Comparison of CO Adsorbed on Pt-Black from Different Sources / 5.:
Effect of Surface Charge on the Chemisorption Bond: CO Chemisorption on Pd / 6.:
Pt Electrodes Modified by Ruthenium: A Study in Tolerance / 7.:
EC-NMR of Pt/Ru Alloy Nanoparticles / 8.:
Summary and Conclusions / V.:
Appendix
Ab Initio Quantum-Chemical Calculations in Electrochemistry / Marc T. M. KoperChapter 2:
Ab Initio Quantum Chemistry
General Aspects of Quantum Chemistry and Electronic Structure Calculations
Wave-Function-Based Methods
Density Functional Theory Methods
Basis Sets and Effective Potentials
Structure, Energetics, and Vibrational Frequencies
Methods of Analysis
Ab Initio Molecular Dynamics
Selected Applications
Clusters and Slabs
How to Model the Electrode Potential
Chemisorption of Halogens and Halides
Chemisorption of Carbon Monoxide on Metals and Alloys
Field Dependent Chemisorption and the Interfacial Stark Effect: General Relationships
Field-Dependent Chemisorption of Carbon Monoxide
Chemisorption of Water and Water Dissociation Products
Ab Initio Approaches to Modeling Electrode Reactions
Outlook
Macroscopic and Molecular Models of Adsorption Phenomena on Electrode Surfaces / P. NikitasChapter 3:
Features of Electrosorption and Factors Affecting Them
Macroscopic Models
PC Approach
STE Approach
Molecular Models
Guidealli's Approach
Models Based on the LBS Approach
Complicated Adsorption Phenomena
Co-Adsorption and Reorientation
Polylayer Formation
Surface Segregation
Phase Transitions
Polarization Catastrophe and Other Artifacts / VI.:
The Role of the Metal Electrode--The Case of Solid Electrodes / VII.:
Computer Simulation / VIII.:
Conclusions / IX.:
Electrochemical Promotion of Catalysis / Gyorgy Foti ; Ivan Bolzonella ; Christos ComninellisChapter 4:
The Phenomenon of Electrochemical Promotion
Description of a Typical Electrochemical Promotion Experiment
The Mechanism of Electrochemical Promotion
Promotional Transients
Fundamental Studies of Electrochemical Promotion
Catalytic Model Systems
Experimental Aspects
Electrochemical Characterization of the Single-Pellet Cell
Cyclic Voltammetry
Fast-Galvanostatic Transients
Permanent Electrochemical Promotion
Electrochemical Activation of a Catalyst
Electrochemical Promotion and Catalyst-Support Interactions
Work Function Measurements / 9.:
Cell Development for Electrochemical Promotion
Bipolar Con guration for Electrochemical Promotion
Ring-Shaped Electrochemical Cell
Multiple-Channel Electrochemical Cell
Perspectives
Mechanisms of Lithium Transport Through Transition Metal Oxides and Carbonaceous Materials / Heon-Cheol Shin ; Su-Il PyunChapter 5:
Bird's Eye View of the Models for Current Transients in Lithium Intercalation Systems: Diffusion Controlled Lithium Transport
The Geometry of the Electrode Surface
The Growth of a New Phase in the Electrode
The Electric Field in the Electrode
General Perspective on Current Transients from Transition Metal Oxides and Graphite
Non-Cottrell behavior throughout the Lithium Intercalation/Deintercalation
Intersection of Anodic and Cathodic Current Transients
(Quasi-)Current Plateau
Depression of the Initial Current Value
Physical Origin of the Current Transients
Linear Relation Between Current and Electrode Potential
Comparison of Cell Resistances Determined by the Current Transient Technique and by Electrochemical Impedance Spectroscopy
Theoretical Description of Cell-Impedance Controlled Lithium Transport
Governing Equation and Boundary Condition
Calculation Procedure of the Cell-Impedance Controlled Current Transients
Theoretical Current Transients and their Comparison with Experimental Current Transients
Some Model Parameters Affecting the Shape and Magnitude of the Cell-Impedance Controlled Current Transients
Concluding Remarks
Index
The Potential of Zero Charge / S. Trasatti ; E. Lust
Introductory Concepts / I:
Analysis of the Experimental Data / II:
Nonequilibrium Fluctuations in Corrosion Process / R. AogakiIV:
Active, Passive and Transpassive States of Metals
Nonequilibrum Fluctuations in Corrosion
Conclusion
Conducting Polymers, Electrochemistry and Biomimicking Processes / T. Fernandez Otero
Electropolymerization of Conducting polymers
Electrochemical versus Chemical Polymerization of Conducting Polymers
Selfdoped Polymers, Polymeric Composites and Hybrid Materials
Physical Properties of Dry Conducting Polymers
Electrochemical Properties / VI:
Electrochemistry and Electrode Structures / VII:
Experimental Chronoamperograms and Chronocoulograms Under Conformational Relaxation Control / VIII:
Polymer-Solvent Interactions from the ESCR Model / IX:
Chronocoulograms Under Conformational Relaxation Control / X:
Voltammetry Under Conformational Relxation Control / XI:
Experimental and Theoretical Voltammograms / XII:
Experimental and Theoretical Coulovoltagrams / XIII:
Conducting Polymers as Soft and Nonstoichiometric Materials / XIV:
Electrochemical Evidences
Conducting Polymers as Three-Dimensional Electrodes at Molecular level / XV:
Soft, Wet and Complex Materials Mimicking Biological Processes / XVI:
Technological Applications of the ESCR Model / XVII:
Microwave (Photo)Electrochemistry / H. Tributsch
Theoretical Challenge
Potential Dependent Stationary Microwave Conductivity Measurements
Potential Dependent Time Resolved Measurements
Potential Dependent Periodical Measurements
Oxides and Sensitization Cells
Microwave Phase Measurements
Summary and Discussion
Acknowledgements
Figure Legends
Improvements in Fluorine Generations / G.L. Bauer ; W.V. Childs
A Caution
The Challenge
Pem Fuel Cell Bipolar Plates / D. Bloomfield ; V. Bloomfield
NAFION MEA Based Bipolar Plate Problems
Polybenzimidazole/H[subscript 3]PO[subscript 4]
Definition
Separator Plate
Flow Field
Port and Port Bridges
Seals
Frame
Bipolar Plate Features
Tolerances
Thermal Management
Electrical Conduction
Water Management
Low Cost
Stable, Free from Corrosion Products / 6:
Galvanic Corrosion / i:
Materials and Processes
Comparison of Carbon and Metal
Operational
Forming Cost / ii:
Carbon
Molded Graphite
Paper
Stamped Exfoliated Graphite (Grafoil, Graflex) / iii:
Metal
Forming Metal Bipolar Plates
Intrinsically Corrosion Resistant Metals
Direct Coatings
Conductive Polymer Grafting / iv:
Basic Applications of the Analysis of Variance and Covariance in Electrochemical Science and Engineering / Thomas Z. Fahidy
Basic Principles and Notions
ANOVA: One-way Classification
Completely Randomized Experiment (CRE)
Randomized Block Experiment (RBE)
Example 1: A Historical Perspective of Caustic Soda Production
Example 2: Metallic Corrosion
ANOVA: Two-Way Classification
Null and Alternative Hypotheses
Illustration of Two-Way Classification: Specific Energy Requirement for an Electrolytic Process
ANOVA: Three-Way Classifications
ANOVA: Latin Squares (LS)
Applications of the Analysis of Covariance (ANCOVA)
ANCOVA with Velocity as Single Concomitant Variable
Pattern A(CRE)
Pattern B(RBE)
ANCOVA with Velocity and Pressure Drop Acting as Two Concomitant Variables
Two Covariate-Based ANCOVA of Product Yields in a Batch and in a Flow Electrolyzer
Covariance Analysis for a Two-Factor, Single Cofactor CRE
Miscellaneous Topics
Estimation of the Type II Error in ANOVA
Hierarchical Classification
ANOVA-Related Random Effects
Introductory Concepts of Contrasts Analysis
Final Remarks
Acknowledgments
List of Principal Symbols
Nanomaterials in Li-Ion Battery Electrode Design / Charles R. Sides ; Charles R. Martin
Templates Used
Track-Etch Membranes
Alumina Membranes
Other Templates
Nanostructured Cathodic Electrode Materials
Electrode Fabrication
Nanostructured Electrode
Control Electrodes
Structural Investigations
Electrochemical Characterization
Rate Capabilities
Nanostructured Anodic Electrodes
Nanostructured Electrodes
Electrochemical Investigations
Nanoelectrode Applications
Low-Temperature Performance
Strategy
Electrochemical Results
Electronic Conductivity
Cycle Life / v:
Variations on a Synthetic Theme
Nanocomposite of LiFePO[subscript 4]/Carbon
Improving Volumetric Capacity
Carbon Honeycomb
Preparation of Honeycomb Carbon
Direct Methanol Fuel Cells: Fundamentals, Problems and Perspectives / Keith Scott ; Ashok K. Shukla
Operating Principle of the SPE-DMFC
Electrode Reaction Mechanisms in SPE-DMFCs
Anodic Oxidation of Methanol
Cathodic Reduction of Oxygen
Materials for SPE-DMFCS
Catalyst Materials
Anode Catalysts
Oxygen Reduction Catalysts
Membrane Materials
Direct Methanol Fuel Cell Performance
DMFC Stack Performance
Alternative Catalysts and Membranes in the DMFC
Alkaline Conducting Membrane and Alternative Oxidants
Conventional vs. Mixed-Reactant SPE-DMFCs
Mathematical Modelling of the DMFC
Methanol Oxidation
Empirical Models for Cell Voltage Behaviour
Membrane Transport
Effect of Methanol Crossover on Fuel Cell Performance
Mass Transport and Gas Evolution
DMFC Electrode Modelling
Cell Models / 7:
Single Phase Flow / 8:
Two-and Three-Dimensional Modelling / 9:
Dynamics and Modelling / 10:
Stack Hydraulic and Thermal Models / 11:
List of Symbols
Review of Direct Methanol Fuel Cells / Brenda L. Garcia ; John W. Weidner
Anode Kinetics
Reaction Mechanism
Methanol Oxidation Catalysts
Platinum and Platinum Catalyst Structure
Platinum and Platinum Alloy Catalyst Performance
Oxygen Reduction Reaction Catalysts
High Temperature Membranes
Methanol Crossover
Magnitude of Crossover
Effect of CO[subscript 2] Crossover
Mixed-Potential Effects
Novel Membranes to Reduce Methanol Crossover
DMFC Modeling Review
One-Dimensional Models
Two-Dimensional and Three-Dimensional Models
Summary
Direct Numerical Simulation of Polymer Electrolyte Fuel Cell Catalyst Layers / Partha P. Mukherjee ; Guoqing Wang ; Chao-Yang WangChapter 6:
Direct Numerical Simulation (DNS) Approach
Advantages and Objectives of the DNS Approach
DNS Model - Idealized 2-D Microstructure
Three-Dimensional Regular Microstructure
2-D Model: Kinetics- vs. Transport-Limited Regimes
Comparison of the Polarization Curves between 2-D and 3-D Simulations
Three-Dimensional Random Microstructure
Random Structure
Structural Analysis and Identification
Governing Equations
Boundary Conditions
DNS Model - Water Transport
Water Transport Mechanism
Mathematical Description
Inlet-Air Humidity Effect
Water Crossover Effect
Optimization of Catalyst Layer Compositions
3-D Correlated Microstructure
Stochastic Generation Method
Governing Equations, Boundary Conditions and Numerical Procedure
Solid State Electrochemistry 1
Electron Transfer Reactions with and without Ion Transfer
Electrosorption Valency and Partial Charge Transfer
Phosphoric Acid Fuel
Cells (PAFCs) for Utilities
Nanostructural Analysis of Bright Metal Surfaces in Relation to their Reflectivity
Electroplating of Metal Matrix Composites by Codeposition of Suspended Particles
Algebraic Properties of Boolean Algebras
Elementary Classification of Boolean Algebras
Constructive Boolean Algebras
Solid State Electrochemistry II: Devices and Techniques / Joachim Maier
Electrochemical Devices and Applications
Electrochemical (Composition) Sensors
Bulk Conductivity Sensor (Mode 1)
Surface Conductivity Sensors (Mode 2)
Galvanic Sensors (Mode 3)
Extension to Acid-Base Active Gases
Electrochemical (Composition) Actors
Electrochemical Energy Storage and Conversion Devices
Fuel Cells
Batteries
Other Storage Devices: Supercapacitors and Photobatteries
Electrochemical Techniques
Determination of Bulk Parameters
Determination of Boundary Parameters
Electrochemical Polarization-The Effect of Selectively Blocking Electrodes
Heuristic Considerations
The Steady-State Response: The Evaluation of Partial Conductivities
The Instationary Behavior: The Evaluation of the Chemical Diffusion Coefficient
Chemically Imposed Gradients
Chemical Polarization and Concentration Cell Experiment
Oxygen Permeation
Zero-Driving Force Method
Chemical Relaxation
Coulometric Titration
Thermodynamic Data from Electrochemical Cells Involving Solid Electrolytes
Modifications in the Evaluation of Electrochemical Measurements Due to Internal Defect Reactions
Dynamic Interactions
Transport in Inhomogeneous, Heterogeneous, and Composite Systems
Related Techniques
Acknowledgment
Appendix 1-Terminal Potential Difference / A:
Appendix 2-Electrochemical Polarization / B:
Appendix 3-Chemical Polarization and Relaxation / C:
Appendix 4-Electrolytic Domain Boundaries / D:
Appendix 5-Coulometric Titration / E:
Appendix 6-Point Electrode Resistance / F:
Symbols
Synthesis and Characterization of Nanoporous Carbon and Its Electrochemical Application to Electrode Material for Supercapacitors / Gyoung-Ja Lee
Preparation of Porous Carbons
Activation Method
Templating Method
Structural Characteristics of Porous Carbons
Types of Adsorption Isotherms and Hysteresis Loops
Determinations of Surface Area and Pore Size Distribution
Fractal Characteristics of Porous Carbons
Molecular Probe Method Using Gas Adsorption
Image Analysis Method
Electrochemical Characteristics of Carbon-Based Porous Electrodes For Supercapacitor: The Uses of AC-Impedance Spectroscopy, Current Transient and Cyclic Voltammetry
General Theory of Electrochemical Behavior of Porous Electrodes
Effect of Geometric Heterogeneity on Ion Penetration into the Pores during Double-Layer Charging/Discharging
Effect of Surface Inhomogeneity on Ion Penetration into the Pores during Double-Layer Charging/Discharging
Concluding Remark
Notation
The Use of Graphs in the Study of Electrochemical Reaction Networks / Joseph D. Fehribach
Reaction Species Graphs
Kinetic Graphs
Bipartite Graphs
Reaction Mechanism Graphs
MCFC Cathodic Reactions
Peroxide Mechanism
Superoxide-Peroxide Mechanism
HER Reactions
Reaction Route Graphs
Discussion: Other Reaction Graphs
Approximate Analytical Solutions for Models of Three-Dimensional Electrodes By Adomian's Decomposition Method / Yan-Ping Sun
Adomian's Decomposition Method (ADM)
Example of Applications to Catalytic reactions
Model Solution
Catalyst Slab
Spherical Catalyst Pellet
Concentration Profiles and Effectiveness
Concentration Profiles
Effectiveness
Application to the Influence of Mass Transport in Electrocatalysts
Internal Diffusion and Film Mass Transport
Agglomerate Model of Electrocatalysis
Application to Models For Three-Dimentional Electrodes
The General Form of Model of Three-Dimension Electrodes
Porous Electrode Reactor
Packed-Bed Electrode Reactor
Simplification of Packed-Bed Electrode with a Low Conversion
Examples of Packed-Bed Electrodes applications
Electrochemical Reduction of Nitrobenzene in a Packed-Bed Electrode Reactor
Direct Electrochemical Oxidation of Propylene in a Sparged Packed-Bed Electrode Reactor
Two-Dimensional Model of Packed-Bed Electrodes
Acknowledgement
ADM's Nomenclature
Nomenclatures in this Paper
ADM Mathematica Codes / Appendix:
ADM to Solve One ODE
ADM to Solve the Coupled ODE's
Some Recent Studies in Ruthenium Electrochemistry and Electrocatalysis / N. S. Marinkovic ; M. B. Vukmirovic ; R. R. Adzic
Preparation of Well-Ordered Ru Single-Crystal Surfaces
Electrochemistry of Single-Crystal Ru surfaces
Voltammetry Characterization
Surface X-Ray Diffraction Study
Infrared Spectroscopy and Anion Adsorption
Polycrystalline Ru Electrode / (i):
Ru(0001) and Ru(1010) Single-Crystal Electrode Surfaces / (ii):
Surface-Oxide Formation
Gas-Phase Oxidation
Electrochemical Oxidation
Electrocatalysis on Ru Single-Crystals and Nanoparticle Surfaces
Hydrogen Oxidation and Evolution Reactions
CO Oxidation
Oxygen Reduction Reaction
Pt-Ru Fuel Cell Electrocatalysts
Pt Submonolayers on Ru Single-Crystal Surfaces
Adsorption Properties of Pt Submonolayers on Ru(0001)
Pt Deposition on Ru Nanoparticles
EXAFS and TEM Characterization
H[subscript 2]/CO Oxidation
Fuel Cell Tests / (iii):
High-Performance Electrodes for Medium-Temperature Solid Oxide Fuel Cells / Hiroyuki Uchida ; Masahiro Watanabe
Characteristics of SOFCs
Development of Medium-Temperature SOFCs
Design Concept of Catalyzed Reaction Layer for Medium-Temperature SOFC
Activation of Mixed-Conducting Ceria-Based Anode
Effect of Various Metal Catalysts Dispersed on Samaria-Doped Ceria
Effect of the Composition and Microstructure on the Performance of SDC Anodes
Activation of SDC Anode with Highly-Dispersed Ni Electrocatalysts
Activation of Mixed-Conducting Perovskite-Type Oxide Cathodes
La(Sr)MnO[subscript 3] Cathode with Highly Dispersed Pt Catalysts
La(Sr)CoO[subscript 3] Cathode with Ceria-Interlayer on Zirconia Electrolyte
Control of Microstructure of LSC Cathodes
Activation of the Optimized LSC Cathode by Loading nm-Sized Pt Catalysts
Effects of Ionic Conductivity of Zirconia Electrolytes on the Polarization Properties of Various Electrodes in SOFCs
Effect of [sigma subscript ion] on the Hydrogen Oxidation Reaction Rate at Porous Pt Anode
Effect of [sigma subscript ion] on Activities of Various Electrodes and the Reaction Mechanism
Electrochemical CO[subscript 2] Reduction on Metal Electrodes / Y. Hori
Fundamental Problems
Reactions Related with CO[subscript 2] Reduction
Electrochemical Equilibria
Equilibria of CO[subscript 2] Related Species in Aqueous Solution
Variation of pH at the Electrode During CO[subscript 2] Reduction
Problems Related with Experimental Procedures and Data Analysis
Difference Current Obtained from Voltammetric Measurements
Purity of the Electrolyte Solution
Overviews of Electrochemical Reduction of CO[subscript 2] at Metal Electrodes
Aqueous Solutions
Nonaqueous Solutions
Methanol, another Nonaqueous Solution
Electrochemical Reduction of CO[subscript 2] in High Concentration
CO[subscript 2] Reduction under Elevated Pressures
CO[subscript 2] Reduction Promoted by High Concentration
Electroactive Species in the Electrochemical Reduction of CO[subscript 2]
Deactivation of Electrocatalytic Activity of Metal Electrodes
Classification of Electrode Metals and Reaction Scheme
Classification of Electrode Metals and CO Selectivity
Electrode Potential of CO[subscript 2] Reduction at Various Metal Electrodes
Formation of CO[subscript 2 middle dot superscript -] Anion Radical and Further Reduction to HCOO[superscript -]
Formation of Adsorbed CO[subscript 2 middle dot superscript -] Leading to Further Reduction to CO or HCOO[superscript -]
Reaction Scheme in Nonaqueous Electrolyte
Electrochemical Reduction of CO[subscript 2] to CO at Selected Metal and Nonmetal Electrodes
CO Formation at Au, Ag, and Zn
Au
Ag
Zn
Platinum Group Metals
Pt
Pd
Other Platinum Group Metals
Ni and other CO Formation Metals
Non-metallic Electrode Materials for CO[subscript 2] Reduction
Mechanistic Studies of Electrochemical Reduction of CO[subscript 2] at Cu Electrode
Formation of CO as an Intermediate Species
CO[subscript 2] Reduction at Cu Electrode Affected by the Potential and the CO[subscript 2] Pressure
Electrolyte Solution, Anionic Species
Effects of Cationic Species in Electrolyte Solution
Reaction Mechanism at Cu Electrode
Surface Treatment, Alloying and Modification of Cu Electrode
CO[subscript 2] Reduction at Cu Single-Crystal Electrodes
Adsorption of CO on Cu Electrode: Voltammetric and Spectroscopic Studies
Attempts to Enhance the Transport Process in CO[subscript 2] Reduction
Elevated Pressure
Gas-Diffusion Electrode
Solid-Polymer Electrolytes
Three-Phase Electrodes
List of Abbreviations
Induced Codeposition of Alloys of Tungsten, Molybdenum and Rhenium with Transition Metals / Noam Eliaz ; Eliezer Gileadi
Metal Deposition as a Class of its Own
Redox Reactions
Metal Deposition and Dissolution
Specific Issues in Electrodeposition of Alloys
History
Special Considerations Related to Alloy Deposition
Anomalous Alloy Deposition
Possible Causes of Anomalous Alloy Deposition / (iv):
Induced Codeposition / (v):
Electroless Deposition of Alloys / (vi):
Case Studies
Tungsten Alloys Containing Ni, Co and Fe
Properties of Tungsten Alloys
Applications of Tungsten Alloys
Electrodeposition of Tungsten Alloys
New Interpretation of the Mechanism of Ni-W Codeposition
Molybdenum Alloys Containing Ni, Co and Fe
Properties of Molybdenum Alloys
Applications of Molybdenum Alloys
Electrodeposition of Molybdenum Alloys
Rhenium and its Alloys
Properties of Rhenium and its Alloys
Applications of Rhenium and its Alloys
Electrodeposition of Rhenium and its Alloys
List of Abbreviations and Symbols
Appendices
25 Years of the Scanning Tunneling Microscopy: 20 Years of Application of STM in Electrochemistry / Marek Szklarczyk ; Marcin Strawski ; Krzysztof Bienkowski
STM Landmarks
Solid-Vacuum Interface STM Investigations
STM Investigations in Air and in Liquid Environment: 20 Years in Electrochemical STM Probing
Imaging of Metals and Metallic Deposits
Imaging of Adsorbed Ions Adlattices
Imaging of Molecules
Imaging of Semiconductive Materials
Electrochemical Fabrication of Nanostructures: Nanolithography
Modern Applications of Electrochemical Technology / M. Schlesinger
LIGA, an Important Process in Micro-System Technology
Micro Systems
The LIGA Process
Microstructures Manufactured by the LIGA Process
The Sacrificial Layer Technique
Microstructures with Different Shapes in the Third Dimension
Applications in Semiconductor Technology
Cu Interconnections on Chips
Deposition of Cu Interconnections on Chips
Diffusion Barriers and Seed Layer
Super-Conformal Electrodeposition of Copper into Nanometer Vias and Trenches
Super-Conformal Electrodeposition
Mechanism of Super-Conformal Electrodeposition
Mathematical Modeling
Information Storage: Applications in the Fields of Magnetism and Microelectronic
Magnetic Information Storage
Read/Write Heads
High Frequency Magnetics
Spintronics
Applications in Medicine and Medical Devices
Background
Electrochemical Power Sources
Electrochemical Deposition in Medical Devices
Surface Electrochemistry in the Processing of Biomaterials
Materials Science of Biomaterials
Frontiers: Various Applications in the Field of Medicine
Preface
List of Contributors
Mathematical Modeling in Electrochemistry / Mordechay Schlesinger
High Precision Atomic Theory: Tests of Fundamental Understanding / G.W.F. Drake ; Qixue Wu ; Zheng Zhong
Modeling of Impedance of Porous Electrodes / Andrzej Lasia
Multiscale Mass Transport in Porous Silicon Gas Sensors / Peter A. Kottke ; Andrei G. Fedorov ; James L. Gole
Electrochemical Materials for PEM Fuel Cells: Insights from Physical Theory and Simulation / Michael H. Eikerling ; Kourosh Malek
Modeling of Catalyst Structure Degradation in PEM Fuel Cells / Jeremy P. Meyers
Modeling Water Management in Polymer-Electrolyte Fuel Cells / Adam Z. Weber ; Ryan Balliet ; Haluna P. Gunterman ; John Newman
Adaptive Characterization and Modeling of Electrochemical Energy Storage Devices for Hybrid Electric Vehicle Applications / Mark W. Verbrugge
Structure, Passivation and localized corrosion of metal surfaces / Vincent Maurice ; Philippe Marcus
Nucleation and Growth of Passive Films
Hydroxide Ion Adsorption and Growth of 2D Passive Layers
Copper
Silver
Nickel
Influence of 2D Passive Films on Dissolution
Structure of 3D Passive Films on Metals and Alloys
Crystalline Passive Films
Iron
Ageing Effects on Chromium-Rich Passive Films
Chromium
Stainless Steels
Dissolution in the Passive State
Nanostructure of Passive Film and Passivity Breakdown
Effect of Chlorides on Coalescence and Crystallization of the Passive Film
Breakdown at Oxide Grain Boundaries
Grain Boundary Model of Passivity Breakdown and Pit Initiation
Local Redistribution of the Potential Drop
Local Thinning of the Passive Film
Voiding at the Metal/Oxide Interface
Stress-Induced Fracture of the Passive Film
Anodic Oxide Films on Aluminum: their significance for corrosion Protection and Micro-and Nano-Technologies / Hideaki Takahashi ; Masatoshi Sakairi ; Tatsuya Kikuchi
Applications of Anodic Oxide Films
Structure and Properties of Oxide and Hydroxide Films
Pretreated-Surface Film
Thermal Oxide Film
Hydroxide Film
Barrier-Type Anodic Oxide Film (BAOF)
Porous Type Anodic Oxide Film (PAOF)
Structure
Growth under Steady Conditions
Growth under Transient Conditions
Changes in Film Structure by Combination of Treatments
Change of PAOF Structure by Heating, Boiling, and Anodizing in a Neutral Solution
Change in BAOF Structure by Heating, Boiling, and Anodizing in an Acid Solution
Change of the Structure of Thermal Oxide Films by Boiling, and Anodizing in a Neutral solution and in an Acid Solution
Changes in the Structure of Hydroxide Films by Heating and Anodizing in Acid and Neutral Solutions
Other Combination of Treatments
Role of Anodic Oxide Films in Corrosion Protection of Aluminum
Immersion of BAOF-Covered Aluminum in a Solution
Role of Anodic Oxide Films in Pitting Corrosion during Cathodic Polarization
Role of Anodic Oxide Films in the Corrosion of Aluminum Alloys in Alcohol at High Temperatures
Micro-and Nano-Technologies Based on Anodized Aluminum
Micro-Technologies with Laser Irradiation
Applications of Laser Irradiation Techniques
Printed Circuit Boards
Plastic Injection Molds
Electrochemical Micro-Reactor
Free-Standing Microstructures
Micro-Actuator
Printing Roll
Micro-and Nano-Patterning with AFM Probe Processing
Formation of Composite Oxide Films by the Combination of Anodizing with Other Coating Methods
Pore-Filling Method
Combination of Metal-Organic Chemical Vapor Deposition with Anodizing
Combination of Sol-Gel Dip Coating and Anodizing
Combination of Electrophoretic Sol-Gel Coating and Anodizing
Combination of Liquid Phase Deposition with Anodizing
Applications of Electrochemical Impedance Spectroscopy to Hydrogen Adsorption, Evolution and Absorption into Metals / A. Lasia1:
Electroless Deposition of Metals / D. Djokic2:
Towards a Computational Electrochemistry - a Kineticist's Perspective / L.K. Bieniasz3:
5.

図書

図書
ed. by George B. Butler and K. F. O'Driscoll
出版情報: New York : M. Dekker, 1967-  v. ; 23 cm
所蔵情報: loading…
6.

図書

図書
edited by Joseph O. Hirschfelder
出版情報: New York ; London ; Sydney : Interscience, c1967  xi, 643 p. ; 24 cm
シリーズ名: Advances in chemical physics / edited by I. Prigogine ; vol. 12
所蔵情報: loading…
7.

図書

図書
edited by Marshall C. Yovits
出版情報: Orlando, Fla. ; Boston ; Tokyo : Academic Press, c1960-  v. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Software Process Appraisal and Improvement: Models and Standards / M.C. Paulk
A Software Process Engineering Framework / J. Kontio
Gaining Business Value from IT Investments / P. Simmons
Reliability Measurement, Analysis, and Improvement for Large Software Systems / J. Tian
Role-Based Access Control / R.S. Sandhu
Multithreaded Systems / K.M. Kavi ; B. Lee ; A.R. Hurson
Coordination Models and Languages / G.A. Papadopoulos ; F. Arbab
Multidisciplinary Problem Solving Environments for Computational Science / E.N. Houstis ; J.R. Rice ; N. Ramakrishnan ; T. Drashansky ; S. Weerawarana ; A. Joshi ; C.E. Houstis
Author Index
Subject Index
Preface
Contributors
Software development productivity / K.D. Maxwell
Transformation-oriented programming: A development methodology for high assurance software / V.L. Winter ; S. Roach ; G. Wickstrom
Bounded model checking / A. Biere ; A. Cimatti ; E.M. Clarke ; O. Strichman ; Y. Zhu
Advances in GUI testing / A.F. Memon
Software inspections / M. Roper ; A. Dunsmore ; M. Wood
Software fault tolerance forestalls crashes: To err is human, to forgive is fault tolerant / L. Bernstein
Advances in the provisions of system and software security - Thirty years of progress / R.B. Vaughn
Designing Networked Handheld Devices to Enhance School Learning / Jeremy Roschelle ; Charles Patton ; Deborah Tatar
Interactive Explanatory and Descriptive Natural-Language based Dialogue for Intelligent Information Filtering / John Atkinson ; Anita Ferreira
A tour of language customization concepts / Colin Atkinson ; Thomas KÃ1/4hne
Advances in Business Transformation Technologies / Juhnyoung Lee
Phish Phactors: Offensive and Defensive Strategies / Hal Berghel ; James Carpinter ; Ju-Yeon Jo
Reflections on systems trustworthiness / Peter G. Neumann
Contents of Volumes in this series
Licensing and certification of software professionals / D.J. Bagert
Cognitive Hacking / G. Cybenko ; A. Giani ; P. Thompson
The digital detective: An introduction to digital forensics / W. Harrison
Survivability: Synergizing security and reliability / C.Cowan
Smartcards / K.M. Shelfer ; C.Corum ; J. Drew Procaccino ; J.Didier
Shotgun sequence assembly / M. Pop
Advances in large vocabulary continuous speech recognition / G. Zweig ; M. Picheny
Index
Evaluating software architectures / Roseanne Tesoriero Tvedt ; Patricia Costa ; Mikael Lindvall1:
Efficient architectural design of high performance microprocessors / Lieven Eeckhout ; Koen De Bosschere2:
Security issues and solutions in distributed heterogeneous mobile data systems / A. R. Hurson ; J. Ploskonka ; Y. Jiao ; H. Haridas3:
Disruptive technologies and their affect on global telecommunications / Stan McClellan ; Stephen Low ; Wai-Tian Tan4:
Ions, atoms, and bits: An architectural approach to quantum computing / Dean Copsey ; Mark Oskin ; Frederick T. Chong5:
Automatic Evaluation of Web Search Services / Abdur Chowdhury
Introduction / 0:
Relevance
A Brief History of Effectiveness Evaluations
Evaluation Metrics
Web Search Tasks
Estimating the Necessary Number of Queries
Automatic Web Search Evaluation / 6:
Automatic Evaluation Results / 7:
Intranet Site Search Evaluation / 8:
Conclusions and Future Work / 9:
Acknowledgements
References
Web Services / Sang Shin
Introduction on Web Services
Web Services Standards
Web Services Security
Identity Management Architecture
Business Web Services Standards: ebXML
Summary
A Protocol Layer Survey of Network Security / John V. Harrison
Overview of TCP/IP
Offensive Techniques
Defenses
A Forecast of the Future
Defensive Precautions
Conclusion
E-Service: The Revenue Expansion Path to E-Commerce Profitability / Roland T. Rust ; P.K. Kannan ; Anupama D. Ramachandran
Building on Customer Equity
Customer Issues in E-Service
Serving the Customer
Marketing to Computers
Discussion and Conclusion
Pervasive Computing: A Vision to Realize / Debashis Saha
Evolution of PerCom
PerCom Attributes
Functional Areas of PerCom
Harnessing Physical World
Major PerCom Projects
Open Source Software Development: Structural Tension in the American Experiment / Coskun Bayrak ; Chad Davis
Part I: The American Experiment
Part II: The Open Source Development Model
Open Societies: A Final Thought
Disability and Technology: Building Barriers or Creating Opportunities? / Peter Gregor ; David Sloan ; Alan F. Newell
Technology and the Digital Divide
Disabled People?
The Technical Benefits of Inclusive Design
Legislative Responsibilities
Accessible and Inclusive Design Practice
Support for Inclusive Design
Testing and Evaluation of Inclusive Design
Developments and Challenges
The Digital Divide Still Exists / 10:
Contents of Volumes in This Series
A Survey of Current Paradigms in Machine Translation / B.J. Dorr ; P.W. Jordan ; J.W. Benoit
Formality in Specification and Modeling: Developments in Software Engineering Practice / J.S. Fitzgerald
3-D Visualization of Software Structure / M.L. Staples ; J.M. Bieman
Using Domain Models for System Testing / A. von Mayrhauser ; R. Mraz
Exception-Handling Design Patterns / W.G. Bail
SIMD Machines--A Survey / N.B. Abu-Ghazaleh ; P.A. Wilsey
A Taxonomy of Distributed Real-Time Control Systems / J.R. Agre ; L.P. Clare ; S. Sastry
Program Understanding: Models and Experiments / A.M. Vans
Software Prototyping / A.M. Davis
Rapid Prototyping of Microelectronic Systems / A. Dollas ; J.D.S. Babcock
Cache Coherence in Multiprocessors: A Survey / M.S. Yousif ; M.J. Thazhuthaveetil ; C.R. Das
The Adequacy of Office Models / C.S. Amaravadi ; J.F. George ; O.R.L. Sheng ; J.F. Nunamaker
Chapter References
The State of Artificial Intelligence / Adrian A. Hopgood
Rule-Based Systems
Moving Beyond Rules
Intelligent Agents
Genetic Algorithms
Neural Networks
Hybrid Systems
Conclusions
Software Model Checking with Spin / Gerard J. Holzmann
Background
Finite Automata
Temporal Logic
LTL Model Checking
Model Extraction and Abstraction
Perspective
Early Cognitive Computer Vision / Jan-Mark Geusebroek
Visual Measurements
Invariance
Natural Image Statistics
Verification and Validation and Artificial Intelligence / Tim Menzies ; Charles Pecheur
AI Software Can Be Complex
Model-Based AI Systems
The Knowledge Level
AI Software Can Be Nondeterministic
Adaptive AI Systems
Indexing, Learning and Content-Based Retrieval for Special Purpose Image Databases / Mark J. Huiskes ; Eric J. Pauwels
Representation of Image Content: Feature Extraction
Detection of Salient Design Image Elements by Figure-Ground Segregation
MPEG-7 Description of Design Images
Inference and Learning for Relevance Feedback by Examples
Conclusion and Outlook
Defect Analysis: Basic Techniques for Management and Learning / David N. Card
Modeling for Quality Management
Monitoring Process Performance
Learning and Improvement
Summary and Conclusions
Function Points / Christopher J. Lokan
Albrecht/IFPUG Function Points
Experience with IFPUG Function Points
Mark II Function Points
Some Other Early Variations
COSMIC
Function Points for Object-Oriented Software
Function Point Standards
The Role of Mathematics in Computer Science and Software Engineering Education / Peter B. Henderson
Mystery Novels and John Wooden
Computer Science and Software Engineering
Foundational Mathematics
Models
General Mathematical Reasoning
Patterns, It Is All About Patterns
Inductive Thinking and Generalization
Declarative Versus Imperative Reasoning
Algorithmic Problem Solving
Recursive Thinking / 11:
Mathematical Induction / 12:
Why Mathematics? / 13:
Curricula Issues / 14:
Foundations of Computing-A First Course / 15:
CSE-113 Foundations of Computer Science I / 16:
Butler University, Foundations of Computing I / Appendix B:
Sample First Exam for Foundations of Computing I (100 minutes) / Appendix C:
Representative List Processing Lab Exercises Using Standard ML / Appendix D:
Solutions for Problems Cited / Appendix E:
On the nature and importance of archiving in the digital age / H.R. Tibbo
Preserving digital records and the life cycle of information / S. Chen
Managing historical XML data / S.S. Chawathe
Adding compression to next-generation text retrieval systems / N. Ziviani ; E. Silva de Moura
Are scripting languages any good? A validation of Perl, Python, Rexx, and Tcl against C, C++, and Java / L. Prechelt
Issues and approaches for developing lerner-centered technology / C. Quintana ; J. Krajcik ; E. Soloway
Personalizing interactions with information systems / S. Perugini
Architectures and Patterns for Developing High Performance, Real Time ORB Endsystems / D.C. Schmidt ; D.L. Levine ; C. Cleeland
Heterogeneous Data Access in a Mobile Environment--Issues and Solutions / J.B. Lim
The World Wide Web / H. Berghel ; D. Blank
Progress in Internet Security / R.J. Atkinson ; J.E. Klinker
Digital Libraries: Social Issues and Technological Advances / H. Chen ; A.L. Houston
Architectures For Mobile Robot Control / J.K. Rosenblatt ; J.A. Hendler
Natural Language Processing: A Humanndash;Computer Interaction Perspective / B.Z. Manaris
Cognitive Adaptive Computer Help (COACH): A Case Study / E.J. Selker
Cellular Automata Models of Self-Replicating Systems / J.A. Reggia ; H.-H. Chou ; J.D. Lohn
Ultrasound Visualization / T.R. Nelson
Patterns and System Development / B. Goldfedder
High Performance Digital Video Servers: Storage and Retrieval of Compressed Scalable Video / S. Paek ; S.-F. Chang
Software Acquisition: The Custom/Package and Insource/Outsource Dimensions / P. Nelson ; W. Richmond ; A. Seidman
Exposing Phylogenetic Relationships by Genome Rearrangement / Ying Chih Lin ; Chuan Yi TangChapter 1:
Models and Methods in Comparative Genomics / Guillaume Bourque ; LouXin ZhangChapter 2:
Translocation Distance: Algorithms and Complexity / Lusheng WangChapter 3:
Computational Grand Challenges in Assembling the Tree of Life: Problems and Solutions / David A. Bader ; Usman Roshan ; Alexandros StamatakisChapter 4:
Local Structure Comparison of Proteins / Jun Huan ; Jan Prins ; Wei WangChapter 5:
Peptide Identification via Tandem Mass Spectrometry / Xue Wu ; Nathan Edwards ; Chau-Wen TsengChapter 6:
Indexes
The Architecture of Efficient Multi-Core Processors: A Holistic Approach / Rakesh Kumar ; Dean M. Tullsen
Designing Computational Clusters for Performance and Power / Kirk W. Cameron ; Rong Ge ; Xizhou Feng
Compiler-Assisted Leakage Energy Reduction for Cache Memories / Wei Zhang
Mobile Games: Challenges and Opportunities / Paul Coulton ; Reuben Edwaerds ; Will Bamford ; Fadi Chehemi ; Paul Gilbertson ; Omer Rashid
Free/Open Source Software Development: Recent Research Results and Methods / Walt Scacchi
Contents Of Volumes in This Series
Broadcasting a Means to Disseminate Public Data in a Wireless Environment - Issues and Solutions / B.A. Shirazi
Programming Models and Synchronization Techniques for Disconnected Business Applications / A. Leff ; J.T. Rayfield
Academic Electronic Journals: Past, Present and Future / A. Hovav ; P. Gray
Web Testing for Reliability Improvement / L. Ma
Wireless Insecurities / M. Sthultz ; J. Uecker
The State of the Art in Digital Forensics / D. Forte
Calculating Software Process Improvement's Return on Investment / Rini van Solingen ; David F. Rico
Return-on-Investment for Analysing Cost and Benefits
Using Quantitative Models for SPI Decision Making
Using Quantitative Measurements for SPI Investment Evaluations
Background of the Quantitative Models
Quality Problem in Software Measurement Data / Pierre Rebours ; Taghi M. Khoshgoftaar
Noise-Handling Techniques
Ensemble-Partitioning Filter
Modeling Methodology
Empirical Evaluation
Requirements Management for Dependable Software Systems / William G. Bail
Dependability
Nature of Requirements
Categories of Requirements
Handling Requirements
Requirements Quality Attributes
Requirements and Dependability
Common Requirements Challenges
Mechanics of Managing Software Risk
Project Planning
Fundamentals of Risk
Sources of Risk
Handling Risks
The PERFECT Approach to Experience-Based Process Evolution / Brian A. Nejmeh ; William E. Riddle
Improvement Game Plans
Process Evolution
The PEDAL Framework
Describing Process Evolution Dynamics
Process Evolution Infrastructure
Value and Future Improvements
The Opportunities, Challenges, and Risks of High Performance Computing in Computational Science and Engineering / Douglass E. Post ; Richard P. Kendall ; Robert F. Lucas
Computational Science and Engineering Analysis
General Characteristics of a Large Scale Computational Simulation
FALCON: An Example of a Large-Scale Scientific Code Project
The Challenges Facing Computational Science and Engineering
A Comparative Case Study
Verification and Validation
Software Quality and Software Project Management
Conclusions and Path Forward
Programming Nanotechnology: Learning from Nature / Boonserm Kaewkamnerdpong ; Peter J. Bentley ; Navneet Bhalla
Development in Nanotechnology
Benefits of Computer Science for Nanotechnology
Swarm Intelligence
Perceptive Particle Swarm Optimisation
Perceptive Particle Swarm Optimisation for Nanotechnology
Self-Assembling Nanotechnology
Nanobiotechnology: An Engineer's Foray into Biology / Yi Zhao ; Xin Zhang
Nanofabrication
Nanobiotechnologies for Sensing and Actuating
Nanobiotechnology for Drug Delivery and Therapeutics
Concluding Remarks
Toward Nanometer-Scale Sensing Systems: Natural and Artificial Noses as Models for Ultra-Small, Ultra-Dense Sensing Systems / Brigitte M. Rolfe
The Physiology of the Sense of Smell
Electronic Noses: Chemical Sensing Systems
Nanosensors
Designing a Nanometer-Scale Nose-Like Sensing System
Acronyms
Simulation of Nanoscale Electronic Systems / Umberto Ravaioli
Simulation Hierarchy for Semiconductor Devices
Simulation Issues in Nanoscale Silicon Devices
Organic Molecular Devices
Simulation of Molecular Conduction
Carbon Nanotubes
Ionic Channels
Identifying Nanotechnology in Society / Charles Tahan
Definitions ad infinitum (and More Politics)
Perspectives from Science
List of Some Technical Terms
Further Reading
The Convergence of Nanotechnology, Policy, and Ethics / Erik Fisher
Converging Paths
From Convergence to Collaboration
DARPA's HPCS Program: History, Models, Tools, Languages / Jack Dongarra ; Robert Graybill ; William Harrod ; Robert Lucas ; Ewing Lusk ; Piotr Luszczek ; Janice McMahon ; Allan Snavely ; Jeffrey Vetter ; Katherine Yelick ; Sadaf Alam ; Roy Campbell ; Laura Carrington ; Tzu-Yi Chen ; Omid Khalili ; Jeremy Meredith ; Mustafa Tikir
Historical Background
Productivity Systems Modeling
Productivity Evaluation on Emerging Architectures
The DARPA HPCS Language Project
Research on Defining and Measuring Productivity
The HPC Challenge Benchmark Suite
Summary: The DARPA HPCS Program
Productivity in High-Performance Computing / Thomas Sterling ; Chirag Dekate
A General Formulation
Factors Determining HPC Productivity
A Special Theory of Productivity
A User-based Model of Productivity
Software Development & Productivity
Related Works
Performance Prediction and Ranking of Supercomputers / Roy L. Campbell, Jr. ; Mustafa M. Tikir
Methods for Predicting Performance
A Method for Weighting Benchmarks
Examples
Using End-to-End Runtimes
Using Basic Trace Data
Application-Independent Rankings
Acknowledgments
Sampled Processor Simulation: A Survey
Trace-Driven versus Execution-Driven Simulation
Sampled Simulation
Simulation Speed
Representative Sampling Units
Architecture State
Microarchitecture State
Case Studies
Distributed Sparse Matrices for Very High Level Languages / John R. Gilbert ; Steve Reinhardt ; Viral B. Shah
Sparse Matrices: A User's View
Data Structures and Storage
Operations on Distributed Sparse Matrices
SSCA #2 Graph Analysis Benchmark
Looking Forward: A Next-Generation Parallel Sparse Library
Bibliographic Snapshots of High-Performance/High-Productivity Computing / Myron Ginsberg
Computational Environments in Government, Academia and Industry
Computational Science Education (CSE)
Supercomputing Architecture
Some HPC Issues
Benchmarking Issues and Concerns
Acceleration Techniques for HPC Applications
The Race for Petaflop Computing
Influences of Floating-Point Arithmetic on Computational Results
Industrial HPC Progress
Access to On-Demand HPC
A Few HPC Videos
History of Computers, Electronic Commerce, and Agile Methods / D. F. Rico ; H. H. Sayani ; R. F. Field
Testing with Software Designs / A. A. Andrews ; A. Mahdian
Balancing Transparency, Efficiency, and Security in Pervasive Systems / M. Wenstrom ; E. Bentivegna
Computing with RFID: Drivers, Technology and Implications / G. Roussos
Medical Robotics and Computer-Integrated Interventional Medicine / R. H. Taylor ; P. Kazanzides
Data Hiding Tactics for Windows and Unix File Systems / David Hoelzer ; Michael Sthultz
Multimedia and Sensor Security / Anna Haµ
Email Spam Filtering / Enrique Puertas Sanz ; JosT Marfa G=mez Hidalgo ; JosT Carlos Cortizo PTrez
The Use of Simulation Techniques for Hybrid Software Cost Estimation and Risk Analysis / Michael KlSs ; Adam Trendowicz ; Axel Wickenkamp ; Jnrgen Mnnch ; Nahomi Kikuchi ; Yasushi Ishigai
An Environment for Conducting Families of Software Engineering Experiments / Lorin Hochstein ; Taiga Nakamura ; Forrest Shull ; Nico Zazworka ; Victor R. Basili ; Marvin V. Zelkowitz
Global Software Development: Origins, Practices, and Directions / James J. Cusick ; Alpana Prasad ; William M. Tepfenhart
The UK HPC Integration Market: Commodity-based Clusters / Christine A. Kitchen ; Martyn F. Guest
Elements of High Performance Reconfigurable Computing / Tom Van Court ; Martin C. Herbordt
Models and Metrics for Energy-Efficient Computing / Parthasarathy Ranganathan ; Suzanne Rivoire ; Justin Moore
The Emerging Landscape of Computer Performance Evaluation / JoAnn M. Paul ; Mwaffaq Otoom ; Marc Somers ; Sean Pieper ; Michael J. Schulte
Advances in web testing / Cyntrica Eaton ; Atif M. Memon
Information Sharing and Social Computing: Why, What, and Where? / Oded Nov
Information Sharing: Wikipedia
Photo Sharing: Flickr
Metainformation Sharing: Tags
Social Network Sites: Users and Uses / Mike Thelwall
Definition, History, and Typology
User Characteristics
Usage
Friendship
Friendship Issues
Privacy and Security
Language
Software Issues
Acknowledgment
Highly Interactive Scalable Online Worlds / Graham Morgan
Gaming Scenarios
Related Work
Core Problems
Conclusions and Further Work
The Future of Social Web Sites: Sharing Data and Trusted Applications with Semantics / Sheila Kinsella ; Alexandre Passant ; John G. Breslin ; Stefan Decker ; Ajit Jaokar
Social Web Sites and Approaches to Add Semantics
Producers of Social Semantic Data
Collectors of Social Semantic Data
Consumers of Social Semantic Data
Future Work
Semantic Web Services Architecture with Lightweight Descriptions of Services / Tomas Vitvar ; Jacek Kopecky ; Jana Viskova ; Adrian Mocan ; Mick Kerrigan ; Dieter Fensel
SWS Architecture
Model for Business Services
Service Execution Model
Implementation
Issues and Approaches for Web 2.0 Client Access to Enterprise Data / Avraham Leff ; James T. Rayfield
Enterprises and Web 2.0 Data Access
A Closer Look at Web 2.0 Client and Server Data-Access APIs
Web Content Filtering / José María Gómez Hidalgo ; Francisco Carrero García ; Manuel De Buenaga Rodríguez
Motivation and Applications
Web Filters Operation and Techniques
Text-Based Filtering
Image Processing Techniques
Evaluation of Web Filters
Attacks and Countermeasures
Review of Singular Projects
Conclusions and Future Trends
Photo Fakery and Forensics / Hany Farid
Photo Fakery
Photo Forensics
Discussion
Advances in Computer Displays / Jason Leigh ; Andrew Johnson ; Luc Renambot
Advances in Desktop Displays
Advances in Wall Displays
Advances in Portable Displays
Touch Interfaces
Advances in Stereoscopic Displays
Display Environments of the Future
Content Generation and delivery to Displays
Playing with All Senses: Human-Computer Interface Devices for Games / Jörn Loviscach
Typology
Buttons, Keys, and Keyboards
Mice, Joysticks, Faders, and Similar
Pen and Touch Input
Inertial Sensors
Cameras
Specific Position and Orientation Sensors
Displays
Audio Input
Audio Output
Tactile, Haptic, and Locomotion Interfaces
Kinetic Devices and Robots
Biosignal Sensors
A Status Report on the P Versus NP Question / Eric Allender
Prologue
What Is the "P = NP?" Problem?
Why Is the "P = NP?" Problem Important?
What Progress Has Been Made in the Past 30 Years?
Where Are We now? (Barriers to Progress)
Conclusions: What Would a Solution Mean?
Dynamically Typed Languages / Laurence Tratt
Defining Types
Disadvantages of Static Typing
History
Defining Features
Disadvantages of Dynamic Typing
Variations
The Future
Factors Influencing Software Development Productivity- State-of-the-Art and Industrial Experiences / Jürgen Münch
Design of the Study
Related Terminology
Overview of Factors Presented in Literature
Overview of Factors Indicated by Industrial Experiences
Detailed Comments on Selected Productivity Factors
Considering Productivity Factors in Practice
Evaluating the Modifiability of Software Architectural Designs / M. Omolade Saliu ; Günther Ruhe ; Christopher Ackermann
Evaluating Software Architectural Designs
Overview of the EBEAM
STAGE I: Evaluation of Design Characteristics
STAGE II: Evaluation of Architectural Designs
STAGE III: Overall Modifiability Evaluation
CASE STUDY I: The Application of EBEAM to TSAFE Designs
Empirical Validation
CASE STUDY II: The Application of EBEAM to CGS Designs
Applicability of the EBEAM Technique
UML Models for TSAFE Architectural Designs
The Common Law and Its Impact on the Internet / Robert Aalberts ; David Hames ; Percy Poon ; Paul D. Thistle
The Common Law in Action: Employer Liability to Third-Party Victims on the Internet
Why Doe Lost and Delfino Won-A Case of Risk Management
Search Engine Optimization-Black and White Hat Approaches / Ross A. Malaga
The SEO Process
Black Hat SEO
Legal and Ethical Considerations
Web Searching and Browsing: A Multilingual Perspective / Wingyan Chung
Literature Review
A Multilingual Perspective
Summary and Future Directions
Features for Content-Based Audio Retrieval / Dalibor Mitrović ; Matthias Zeppelzauer ; Christian Breiteneder
Audio Feature Design
A Novel Taxonomy for Audio Features
Audio Features
Related Literature
Multimedia Services over Wireless Metropolitan Area Networks / Kostas Pentikousis ; Jarno Pinola ; Esa Piri ; Pedro Neves ; Susana Sargento
WiMAX Overview
Multimedia over WiMAX Reference Scenarios
Advances in Telephony and the Emergence of Voice over IP
VoIP over WiMAX
Remote Surveillance and IPTV over WiMAX
Summary and Outlook
An Overview of Web Effort Estimation / Emilia Mendes
How to Measure a Technique's Prediction Accuracy?
Which Effort Estimation Technique to Use?
Web Effort Estimation Literature Survey
Communication Media Selection for Remote Interaction of Ad Hoc Groups / Fabio Calefato ; Filippo Lanubile
Task-Classification Frameworks
Group Research
CMC Theories
Development of a Comprehensive Theoretical Framework
Applications in Data-Intensive Computing / Anuj R. Shah ; Joshua N. Adkins ; Douglas J. Baxter ; William R. Cannon ; Daniel G. Chavarria-Miranda ; Sutanay Choudhury ; Ian Gorton ; Deborah K. Gracio ; Todd D. Halter ; Navdeep D. Jaitly ; John R. Johnson ; Richard T. Kouzes ; Matthew C. Macduff ; Andres Marquez ; Matthew E. Monroe ; Christopher S. Oehmen ; William A. Pike ; Chad Scherrer ; Oreste Villa ; Bobbie-Jo Webb-Robertson ; Paul D. Whitney ; Nino Zuljevic
Pitfalls and Issues of Manycore Programming / Ami Marowka
Illusion of Wireless Security / Alfred Loo
Brain-computer interfaces for the operation of robotic and prosthetic devices / Dennis J. McFarland ; Jonathan R. Wolpaw
The Tools Perspective on Software Reverse Engineering: Requirements, Construction and Evaluation / Holger M. Kienle ; Hausi A. Müller
Agile Software Development Methodologies and Practices / Laurie Williams
Agile Origins and Manifesto
Agile and Lean Principles
Agile Practices
Examples of Agile Software Development Methodologies
A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges / Arilo C. Dias-Neto ; Guilherme H. Travassos
Model-Based Testing
MBT Techniques: A Systematic Review
Challenges in Using MBT Techniques in Software Projects
Conclusions and Future Perspectives
Advances in Automated Model-Based System Testing of Software Applications with a GUI Front-End / Bao N. Nguyen
Running Example of GUI Application Under Test
Test-Case Generation Techniques
Empirical Knowledge Discovery by Triangulation in Computer Science / Ravi I. Singh ; James Miller
Objectification of Concepts in Computer Science
Triangulation: Introduction
Startight: Next-Generation Communication Services, Exchanges, and Global Facilities / Joe Mambretti ; Tom DeFanti ; Maxine D. Brown
Future Network Services and Facility Prototypes
Future Directions
Parameters Effecting 2D Barcode Scanning Reliability / Amit Grover ; Paul Braeckel ; Kevin Lindgren ; Dennis Cobb
Factors that Affect Barcode Scan Ability
Testing Methodology
Advances in Video-Based Human Activity Analysis: Challenges and Approaches / Pavan Turaga ; Rama Chellappa ; Ashok Veeraraghavan
Challenges
Applications
Feature Extraction
Models for Actions
Complex Activities
A Unified Approach for Recognizing Simple Actions and Complex Activities
Understanding the Space of Primitives
Complex Activity Models: Cascade of Dynamical Systems
More General Activity Models: Time-Varying Models
View and Rate Variations
The How's and Why's of Information Markets / Areej Yassin ; Alan Hevner (aic-10-22)
Measuring and Monitoring Technical Debt / Carolyn Seaman ; Yuepu Guo (aic-10-15)
A Taxonomy and Survey of Energy-Efficient Data Centers and Cloud Computing Systems / Anton Beloglazov ; Rajkumar Buyya ; Young Choon Lee ; Albert Zomaya (aic-10-10)
Applications of Mobile Agents in Wireless Networks and Mobile Computing / Sergio González-Valenzuela ; Min Chen ; Victor C.M. Leung (aic-10-12)
Virtual graphics for Broadcast Production / Graham Thomas (aic-10-8)
Advanced Applications of Virtual Reality / Jürgen P. Schulze ; Han Suk Kim ; Philip Weber ; Andrew Prudhomme ; Roger E. Bohn ; Maurizio Seracini ; Thomas A. DeFanti (aic-10-16 ; aic-10-23)
The State of the Art in Identity Theft
What Sets Identity Theft APart from Other Crimes
Statistical Data for Identity Theft and Associated Crimes
The Genesis of the Problem
How SSN Became the De Facto Primary Key for Most Databases
The Ubiquitous Use of Fungible Credentials
Phishing
Modus Operandi
Inadequate Credential Management Procedures
Strategies for Defeating Identity Thieves
An Overview of Steganography / Gary C. Kessler ; Chet Hosmer
Low-Tech Stego Methods
Digital Technology Basics
Steganography and Digital Carrier Files
Detecting Steganography
Steganography Detection Tools
Captchas: An Artificial Intelligence Application to Web Security / José María Gómez Hidalgo ; Gonzalo Alvarez
Types of Captchas
Evaluation of Captchas
Security and Attacks on Captchas
Alternatives to Captchas
Advances in Video-Based Biometrics / Rama Chelfappa
Video-Based Face
Video-Based Idenification Using Gait
Action Research Can Swing the Balance in Experimental Software Engineering / Paulo Sérgio Medeiros dos Santos ; Guilherme Horta Travassos
Action Research Overview
The Use of Action Research in Software Engineering: A Preliminary Survey?
Using Action Research in Software Engineering: An In Vivo Study
Applying Action Research to Software Engineering
Final Considerations
Functional and Nonfunctional Design Verification for Embedded Software Systems / Arnab Ray ; Rance Cleaveland ; Charles Shelton ; Chris Martin
Instrumentation-Based Verification
Quality Attribute-Based Reasoning
Integrated Functional and Nonfunctional Verification
Tool Support
Software Organizations and Test Process Development / Jussi Kasurinen
Model-Based GUI Testing: Case Smartphone Camera and Messaging Development / Rupesh Dev ; Antti Jääskeläinen ; Mika Katara
Model Transformation Specification and Design / K. Lano ; S. Kolahdouz-Rahimi
Advances on Improving Automation in Developer Testing / Xusheng Xiao ; Suresh Thummalapenta ; Tao Xie
Automated Interoperability Testing of Healthcare Information Systems / Diana Elena Vega ; Ina Schieferdecker
Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study / Fevzi Belli ; Mutlu Beyazit ; Nevin Güler
Deployable Capture/Replay Supported by Internal Messages / Steffen Herbold ; Uwe Bunting ; Jens Grabowski ; Stephan Waack
Combining Performance and Availability Analysis in Practice / Kishor Trivedi ; Ermeson Andrade ; Fumio Machida
Modeling, Analysis and Testing of System Vulnerabilities / Aditya P. Mathur ; Nimal Nissanke
System Dependability - Characterization and Benchmarking / Yves Crouzet ; Karama Kanoun
Pragmatic Directions in Engineering Secure Dependable Systems / M. Farrukh Khan ; Raymond A. Paul
Model-Based Testing: Achievements and Future Challenges / Michael Mlynarski ; Baris Güldali ; Stephan Weißleder ; Gregor Engels
Cloud Computing Uncovered: A Research Landscape / Mohammad Hamdaqa ; Ladan Tahvildari
Advances in User-session-based Testing of Web Applications / Sreedevi Sampath
Machine Learning and Event-Based Software Testing: Classifiers for Identifying Infeasible GUI Event Sequences / Robert Gove ; Jorge Faytong
A Framework for Detecting and Diagnosing Configuration Faults in Web Applications
Trends in Model-based GUI Testing / Stephan Arlt ; Cristiano Bertolini ; Simon Pahl ; Martin Schaf
Regression Testing in Software Product Line Engineering / Per Runeson ; Emelie Engstrom
Introduction and Preface / Sahra Sedigh ; Ali Hurson
Techniques to Measure, Model, and Manage Power / Bhavishya Goel ; Sally A. McKee ; Magnus Sjalander
Quantifying IT Energy-Efficiency / Florian Niedermeier ; Gergo Lovasz ; Hermann de Meer
State of the Art on Technology and Practices for Improving the Energy Efficiency of Data Storage / Marcos Dias de Assuncao ; Laurent Lefevre
Optical Interconnects for Green Computers and Data Centers / Shinji Tsuji ; Takashi Takemoto
Energy Harvesting for Sustainable Smart Spaces / Nga Dang ; Elaheh Bozorgzadeh ; Nalini Venkatasubramanian
How Elasticity Property Plays an Important Role in the Cloud: A Survey / M.A.N. Bikas ; A. Alourani ; M. Grechanik
Cloud Elasticity
Existing Cloud Elasticity Solutions
Existing Research Issues of Cloud Elasticity
How Elasticity Can Be Improved in the Cloud
About the Authors
Input-Sensitive Profiling: A Survey
Input-Sensitive Profiling Challenges
Recent Researches on Input-Sensitive Profiling
Recent Advances in Regression Testing Techniques / H. Do
About the Author
Coverage-Based Software Testing: Beyond Basic Test Requirements / W. Masri ; F.A. Zaraket
Definitions
Early Techniques: Basic Coverage Criteria
Early Techniques: Advanced Coverage Criteria
Early Techniques: Profiling for Basic Coverage
Efficient Profiling for Path Coverage
Test Case Generation for Path Coverage
Test Suite Minimization; Covering Complex tr's
Test Suite Minimization: Covering Combinations of Basic tr's
PBCOV: Property-Based Coverage Criterion
UCov: User-Defined Coverage Criterion
Contents of Volumes in this Series
Software Process Appraisal and Improvement: Models and Standards / M.C. Paulk
A Software Process Engineering Framework / J. Kontio
Gaining Business Value from IT Investments / P. Simmons
8.

図書

図書
Hass, Georg ; Francombe, Maurice H. ; Hoffman, Richard W. ; Vossen, John L.
出版情報: New York : Academic Press, 1963-  v. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Tetrahedrally-Bonded Materials / H.V. Nguyen ; I. An ; R. CollinsPart I:
Real-Time Spectroscopic Ellipsometry Studies of the Nucleation, Growth, and Optical Functions of Thin Films
Aluminum. P. Chindaudom and K. Vedam, Optical Characterization of Inhomogeneous / Part II:
Transparent Films on Transparent Substrates by Spectroscopic Ellipsometry / S. Trolier-McKinstry ; P. Chindaudom ; K. Vedam ; R.E. Newnham
Characterization of Ferroelectric Films by Spectroscopic Ellipsometry / A.N. Parikh ; D. Allara
Effects of Optical Anisotropy on Spectro-Ellipsometric Data for Thin Films and Surfaces
Chapter References
Author Index
Subject Index
Design of High- Density Plasma Sources for Materials Processing / M.A. Lieberman ; R.A. Gottscho
Electron Cyclotron Resonance Plasma Sources and Their Use in Plasma-Assisted Chemical Vapor Deposition of Thin Films / O.A. Popov
Unbalanced Magnetron Sputtering / S.L. Rohde
The Formation of Particles in Thin-Film Processing Plasmas / C. Steinbruchel
References
High Tc Superconducting Thin Films / N.G. Dhere
Lateral Diffusion and Electromigration in Metallic Thin Films / K.V. Reddy
Permanent Magnet Thin Films / F.J. Cadieu
Fracture and Cracking Phenomena in Thin Films Adhering to High-Elongation Substrates / P.H. Wojciechowski ; M.S. Mendolia
Each chapter includes references
Index
Magnetostatic Waves / J.D. Adam ; M.R. Daniel ; P. Emtage ; S.H. Talisa
Thin-Film Rare Earth-Transition Metal Alloys for Magneto-Optic Recording / B.S. Krusor ; G.A.N. Connell
New Quantum Structures / D.D. Coon ; K.M.S.V. Bandara
Fourier Transform Infrared Analysis of Thin Films / D.M. Back
Tetrahedrally-Bonded Materials / H.V. Nguyen ; I. An ; R. CollinsPart I:
Real-Time Spectroscopic Ellipsometry Studies of the Nucleation, Growth, and Optical Functions of Thin Films
Aluminum. P. Chindaudom and K. Vedam, Optical Characterization of Inhomogeneous / Part II:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼