close
1.

図書

図書
Andrew S. Tanenbaum
出版情報: Englewood Cliffs ; London : Prentice-Hall, 1984  xiii, 465 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Computer Systems Organization / 1.1:
Structured Computer Organization
The Digital Logic Level / 3:
Languages, Levels, and Virtual Machines / 4:
The Microarchitecture Level
The Instruction Set Architecture Level / 1.1.2:
Contemporary Multilevel Machines
The Operating System Machine Level / 6:
Evolution of Multilevel Machines / 7:
The Assembly Language Level
Parallel Computer Architectures / 1.2:
Milestones in Computer Architecture
Reading List and Bibliography / 9:
The Zeroth Generation-Mechanical Computers (1642-1945) / Appendix A:
Binary Numbers
Floating-Point Numbers / 1.2.2:
The First Generation-Vacuum Tubes (1945-1955)
The Second Generation-Transistors (1955-1965) / 1.2.3:
The Third Generation-Integrated Circuits (1965-1980) / 1.2.4:
The Fourth Generation-Very Large Scale Integration (1980-?) / 1.2.5:
The Fifth Generation-Invisible Computers / 1.2.6:
The Computer Zoo / 1.3:
Technological and Economic Forces / 1.3.1:
The Computer Spectrum / 1.3.2:
Disposable Computers / 1.3.3:
Microcontrollers / 1.3.4:
Game Computers / 1.3.5:
Personal Computers / 1.3.6:
Servers / 1.3.7:
Collections of Workstations / 1.3.8:
Mainframes / 1.3.9:
Example Computer Families / 1.4:
Introduction to the Pentium 4 / 1.4.1:
Introduction to the UltraSPARC III / 1.4.2:
Introduction to the 8051 / 1.4.3:
Metric Units / 1.5:
Outline of This Book / 1.6:
Processors / 2.1:
CPU Organization / 2.1.1:
Instruction Execution / 2.1.2:
RISC versus CISC / 2.1.3:
Design Principles for Modern Computers / 2.1.4:
Instruction-Level Parallelism / 2.1.5:
Processor-Level Parallelism / 2.1.6:
Primary Memory / 2.2:
Bits / 2.2.1:
Memory Addresses / 2.2.2:
Byte Ordering / 2.2.3:
Error-Correcting Codes / 2.2.4:
Cache Memory / 2.2.5:
Memory Packaging and Types / 2.2.6:
Secondary Memory / 2.3:
Memory Hierarchies / 2.3.1:
Magnetic Disks / 2.3.2:
Floppy Disks / 2.3.3:
IDE Disks / 2.3.4:
SCSI Disks / 2.3.5:
RAID / 2.3.6:
CD-ROMs / 2.3.7:
CD-Recordables / 2.3.8:
CD-Rewritables / 2.3.9:
DVD / 2.3.10:
Blu-Ray / 2.3.11:
Input/Output / 2.4:
Buses / 2.4.1:
Terminals / 2.4.2:
Mice / 2.4.3:
Printers / 2.4.4:
Telecommunications Equipment / 2.4.5:
Digital Cameras / 2.4.6:
Character Codes / 2.4.7:
Summary / 2.5:
Gates and Boolean Algebra / 3.1:
Gates / 3.1.1:
Boolean Algebra / 3.1.2:
Implementation of Boolean Functions / 3.1.3:
Circuit Equivalence / 3.1.4:
Basic Digital Logic Circuits / 3.2:
Integrated Circuits / 3.2.1:
Combinational Circuits / 3.2.2:
Arithmetic Circuits / 3.2.3:
Clocks / 3.2.4:
Memory / 3.3:
Latches / 3.3.1:
Flip-Flops / 3.3.2:
Registers / 3.3.3:
Memory Organization / 3.3.4:
Memory Chips / 3.3.5:
RAMs and ROMs / 3.3.6:
CPU Chips and Buses / 3.4:
CPU Chips / 3.4.1:
Computer Buses / 3.4.2:
Bus Width / 3.4.3:
Bus Clocking / 3.4.4:
Bus Arbitration / 3.4.5:
Bus Operations / 3.4.6:
Example CPU Chips / 3.5:
The Pentium 4 / 3.5.1:
The UltraSPARC III / 3.5.2:
The 8051 / 3.5.3:
Example Buses / 3.6:
The ISA Bus / 3.6.1:
The PCI Bus / 3.6.2:
PCI Express / 3.6.3:
The Universal Serial Bus / 3.6.4:
Interfacing / 3.7:
I/O Chips / 3.7.1:
Address Decoding / 3.7.2:
An Example Microarchitecture / 3.8:
The Data Path / 4.1.1:
Microinstructions / 4.1.2:
Microinstruction Control: The Mic-1 / 4.1.3:
An Example Isa: IJVM / 4.2:
Stacks / 4.2.1:
The IJVM Memory Model / 4.2.2:
The IJVM Instruction Set / 4.2.3:
Compiling Java to IJVM / 4.2.4:
An Example Implementation / 4.3:
Microinstructions and Notation / 4.3.1:
Implementation of IJVM Using the Mic-1 / 4.3.2:
Design of the Microarchitecture Level / 4.4:
Speed versus Cost / 4.4.1:
Reducing the Execution Path Length / 4.4.2:
A Design with Prefetching: The Mic-2 / 4.4.3:
A Pipelined Design: The Mic-3 / 4.4.4:
A Seven-Stage Pipeline: The Mic-4 / 4.4.5:
Improving Performance / 4.5:
Branch Prediction / 4.5.1:
Out-of-Order Execution and Register Renaming / 4.5.3:
Speculative Execution / 4.5.4:
Examples of the Microarchitecture Level / 4.6:
The Microarchitecture of the Pentium 4 CPU / 4.6.1:
The Microarchitecture of the UltraSPARC-III Cu CPU / 4.6.2:
The Microarchitecture of the 8051 CPU / 4.6.3:
Comparison of the Pentium, Ultrasparc, and 8051 / 4.7:
Overview of the ISA Level / 4.8:
Properties of the ISA Level / 5.1.1:
Memory Models / 5.1.2:
Instructions / 5.1.3:
Overview of the Pentium 4 ISA Level / 5.1.5:
Overview of the UltraSPARC III ISA Level / 5.1.6:
Overview of the 8051 ISA Level / 5.1.7:
Data Types / 5.2:
Numeric Data Types / 5.2.1:
Nonnumeric Data Types / 5.2.2:
Data Types on the Pentium 4 / 5.2.3:
Data Types on the UltraSPARC III / 5.2.4:
Data Types on the 8051 / 5.2.5:
Instruction Formats / 5.3:
Design Criteria for Instruction Formats / 5.3.1:
Expanding Opcodes / 5.3.2:
The Pentium 4 Instruction Formats / 5.3.3:
The UltraSPARC III Instruction Formats / 5.3.4:
The 8051 Instruction Formats / 5.3.5:
Addressing / 5.4:
Addressing Modes / 5.4.1:
Immediate Addressing / 5.4.2:
Direct Addressing / 5.4.3:
Register Addressing / 5.4.4:
Register Indirect Addressing / 5.4.5:
Indexed Addressing / 5.4.6:
Based-Indexed Addressing / 5.4.7:
Stack Addressing / 5.4.8:
Addressing Modes for Branch Instructions / 5.4.9:
Orthogonality of Opcodes and Addressing Modes / 5.4.10:
The Pentium 4 Addressing Modes / 5.4.11:
The UltraSPARC III Addressing Modes / 5.4.12:
The 8051 Addressing Modes / 5.4.13:
Discussion of Addressing Modes / 5.4.14:
Instruction Types / 5.5:
Data Movement Instructions / 5.5.1:
Dyadic Operations / 5.5.2:
Monadic Operations / 5.5.3:
Comparisons and Conditional Branches / 5.5.4:
Procedure Call Instructions / 5.5.5:
Loop Control / 5.5.6:
The Pentium 4 Instructions / 5.5.7:
The UltraSPARC III Instructions / 5.5.9:
The 8051 Instructions / 5.5.10:
Comparison of Instruction Sets / 5.5.11:
Flow of Control / 5.6:
Sequential Flow of Control and Branches / 5.6.1:
Procedures / 5.6.2:
Coroutines / 5.6.3:
Traps / 5.6.5:
Interrupts
A Detailed Example: The Towers of Hanoi / 5.7:
The Towers of Hanoi in Pentium 4 Assembly Language / 5.7.1:
The Towers of Hanoi in UltraSPARC III Assembly Language / 5.7.2:
The IA-64 Architecture and the Itanium 2 / 5.8:
The Problem with the Pentium 4 / 5.8.1:
The IA-64 Model: Explicitly Parallel Instruction Computing / 5.8.2:
Reducing Memory References / 5.8.3:
Instruction Scheduling / 5.8.4:
Reducing Conditional Branches: Predication / 5.8.5:
Speculative Loads / 5.8.6:
Virtual Memory / 5.9:
Paging / 6.1.1:
Implementation of Paging / 6.1.2:
Demand Paging and the Working Set Model / 6.1.3:
Page Replacement Policy / 6.1.4:
Page Size and Fragmentation / 6.1.5:
Segmentation / 6.1.6:
Implementation of Segmentation / 6.1.7:
Virtual Memory on the Pentium 4 / 6.1.8:
Virtual Memory on the UltraSPARC III / 6.1.9:
Virtual Memory and Caching / 6.1.10:
Virtual I/O Instructions / 6.2:
Files / 6.2.1:
Implementation of Virtual I/O Instructions / 6.2.2:
Directory Management Instructions / 6.2.3:
Virtual Instructions for Parallel Processing / 6.3:
Process Creation / 6.3.1:
Race Conditions / 6.3.2:
Process Synchronization Using Semaphores / 6.3.3:
Example Operating Systems / 6.4:
Examples of Virtual Memory / 6.4.1:
Examples of Virtual I/O / 6.4.3:
Examples of Process Management / 6.4.4:
Introduction to Assembly Language / 6.5:
What Is an Assembly Language? / 7.1.1:
Why Use Assembly Language? / 7.1.2:
Format of an Assembly Language Statement / 7.1.3:
Pseudoinstructions / 7.1.4:
Macros / 7.2:
Macro Definition, Call, and Expansion / 7.2.1:
Macros with Parameters / 7.2.2:
Advanced Features / 7.2.3:
Implementation of a Macro Facility in an Assembler / 7.2.4:
The Assembly Process / 7.3:
Two-Pass Assemblers / 7.3.1:
Pass One / 7.3.2:
Pass Two / 7.3.3:
The Symbol Table / 7.3.4:
Linking and Loading / 7.4:
Tasks Performed by the Linker / 7.4.1:
Structure of an Object Module / 7.4.2:
Binding Time and Dynamic Relocation / 7.4.3:
Dynamic Linking / 7.4.4:
On-Chip Paralellism / 7.5:
On-Chip Multithreading / 8.1.1:
Single-Chip Multiprocessors / 8.1.3:
Coprocessors / 8.2:
Network Processors / 8.2.1:
Media Processors / 8.2.2:
Cryptoprocessors / 8.2.3:
Shared-Memory Multiprocessors / 8.3:
Multiprocessors vs. Multicomputers / 8.3.1:
Memory Semantics / 8.3.2:
UMA Symmetric Multiprocessor Architectures / 8.3.3:
NUMA Multiprocessors / 8.3.4:
COMA Multiprocessors / 8.3.5:
Message-Passing Multicomputers / 8.4:
Interconnection Networks / 8.4.1:
MPPs-Massively Parallel Processors / 8.4.2:
Cluster Computing / 8.4.3:
Communication Software for Multicomputers / 8.4.4:
Scheduling / 8.4.5:
Application-Level Shared Memory / 8.4.6:
Performance / 8.4.7:
Grid Computing / 8.5:
Suggestions for Further Reading / 8.6:
Introduction and General Works / 9.1.1:
Binary and Floating-Point Numbers / 9.1.2:
Assembly Language Programming / 9.1.10:
Alphabetical Bibliography / 9.2:
Finte-Precision Numbers / A:
Radix Number Systems / A.2:
Conversion From One Radix to Another / A.3:
Negative Binary Numbers / A.4:
Binary Arithmetic / A.5:
Principles of Floating Point / B:
IEEE Floating-Point Standard 754 / B.2:
Overview / C:
Assembly Language / C.1.1:
A Small Assembly Language Program / C.1.2:
The 8088 Processor / C.2:
The Processor Cycle / C.2.1:
The General Registers / C.2.2:
Pointer Registers / C.2.3:
Memory and Addressing / C.3:
Memory Organization and Segments / C.3.1:
The 8088 Instruction Set / C.3.2:
Move, Copy and Arithmetic / C.4.1:
Logical, Bit and Shift Operations / C.4.2:
Loop and Repetitive String Operations / C.4.3:
Jump and Call Instructions / C.4.4:
Subroutine Calls / C.4.5:
System Calls and System Subroutines / C.4.6:
Final Remarks on the Instruction Set / C.4.7:
The Assembler / C.5:
The ACK-Based Tutorial Assembler as88 / C.5.1:
Some Differences with Other 8088 Assemblers / C.5.3:
The Tracer / C.6:
Tracer Commands / C.6.1:
Getting Started / C.7:
Examples / C.8:
Hello World Example / C.8.1:
General Registers Example / C.8.2:
Call Command and Pointer Registers / C.8.3:
Debugging an Array Print Program / C.8.4:
Preface
Introduction / 1:
Computer Systems Organization / 1.1:
2.

図書

図書
edited by Martin Wirsing
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co., 1987  xii, 453 p. ; 24 cm
所蔵情報: loading…
3.

図書

図書
edited by Hermann A. Maurer
出版情報: Berlin : Springer-Verlag, 1980  ix, 684 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 71
所蔵情報: loading…
目次情報: 続きを見る
Preface
Fabrication / Part I:
Introduction / Chapter 1:
What are MEMS? / 1.1:
Why MEMS? / 1.2:
Low cost, redundancy and disposability / 1.2.1:
Favorable scalings / 1.2.2:
How are MEMS made? / 1.3:
Roadmap and perspective / 1.4:
Essay: The Role of Surface to Volume Atoms as Magnetic Devices Miniaturize
The substrate and adding material to it / Chapter 2:
The silicon substrate / 2.1:
Silicon growth / 2.2.1:
It's a crystal / 2.2.2:
Miller indices / 2.2.3:
It's a semiconductor / 2.2.4:
Additive technique: Oxidation / 2.3:
Growing an oxide layer / 2.3.1:
Oxidation kinetics / 2.3.2:
Additive technique: Physical vapor deposition / 2.4:
Vacuum fundamentals / 2.4.1:
Thermal evaporation / 2.4.2:
Sputtering / 2.4.3:
Other additive techniques / 2.5:
Chemical vapor deposition / 2.5.1:
Electrodeposition / 2.5.2:
Spin casting / 2.5.3:
Wafer bonding / 2.5.4:
Essay: Silicon Ingot Manufacturing
Creating and transferring patterns-Photolithography / Chapter 3:
Keeping it clean / 3.1:
Photoresist / 3.3:
Positive resist / 3.3.1:
Negative resist / 3.3.2:
Working with resist / 3.4:
Applying photoresist / 3.4.1:
Exposure and pattern transfer / 3.4.2:
Development and post-treatment / 3.4.3:
Masks / 3.5:
Resolution / 3.6:
Resolution in contact and proximity printing / 3.6.1:
Resolution in projection printing / 3.6.2:
Sensitivity and resist profiles / 3.6.3:
Modeling of resist profiles / 3.6.4:
Photolithography resolution enhancement technology / 3.6.5:
Mask alignment / 3.6.6:
Permanent resists / 3.7:
Essay: Photolithography-Past, Present and Future
Creating structures-Micromachining / Chapter 4:
Bulk micromachining processes / 4.1:
Wet chemical etching / 4.2.1:
Dry etching / 4.2.2:
Surface micromachining / 4.3:
Surface micromachining processes / 4.3.1:
Problems with surface micromachining / 4.3.2:
Lift-off / 4.3.3:
Process integration / 4.4:
A surface micromachining example / 4.4.1:
Designing a good MEMS process flow / 4.4.2:
Last thoughts / 4.4.3:
Essay: Introduction to MEMS Packaging
Solid mechanics / Chapter 5:
Fundamentals of solid mechanics / 5.1:
Stress / 5.2.1:
Strain / 5.2.2:
Elasticity / 5.2.3:
Special cases / 5.2.4:
Non-isotropic materials / 5.2.5:
Thermal strain / 5.2.6:
Properties of thin films / 5.3:
Adhesion / 5.3.1:
Stress in thin films / 5.3.2:
Peel forces / 5.3.3:
Applications / Part II:
Thinking about modeling / Chapter 6:
What is modeling? / 6.1:
Units / 6.2:
The input-output concept / 6.3:
Physical variables and notation / 6.4:
Preface to the modeling chapters / 6.5:
MEMS transducers-An overview of how they work / Chapter 7:
What is a transducer? / 7.1:
Distinguishing between sensors and actuators / 7.2:
Response characteristics of transducers / 7.3:
Static response characteristics / 7.3.1:
Dynamic performance characteristics / 7.3.2:
MEMS sensors: principles of operation / 7.4:
Resistive sensing / 7.4.1:
Capacitive sensing / 7.4.2:
Piezoelectric sensing / 7.4.3:
Resonant sensing / 7.4.4:
Thermoelectric sensing / 7.4.5:
Magnetic sensing / 7.4.6:
MEMS actuators: principles of operation / 7.5:
Capacitive actuation / 7.5.1:
Piezoelectric actuation / 7.5.2:
Thermo-mechanical actuation / 7.5.3:
Thermo-electric cooling / 7.5.4:
Magnetic actuation / 7.5.5:
Signal conditioning / 7.6:
A quick look at two applications / 7.7:
RF applications / 7.7.1:
Optical applications / 7.7.2:
Piezoresistive transducers / Chapter 8:
Modeling piezoresistive transducers / 8.1:
Bridge analysis / 8.2.1:
Relating electrical resistance to mechanical strain / 8.2.2:
Device case study: Piezoresistive pressure sensor / 8.3:
Capacitive transducers / Chapter 9:
Capacitor fundamentals / 9.1:
Fixed-capacitance capacitor / 9.2.1:
Variable-capacitance capacitor / 9.2.2:
An overview of capacitive sensors and actuators / 9.2.3:
Modeling a capacitive sensor / 9.3:
Capacitive half-bridge / 9.3.1:
Conditioning the signal from the half-bridge / 9.3.2:
Mechanical subsystem / 9.3.3:
Device case study: Capacitive accelerometer / 9.4:
Piezoelectric transducers / Chapter 10:
Modeling piezoelectric materials / 10.1:
Mechanical modeling of beams and plates / 10.3:
Distributed parameter modeling / 10.3.1:
Statics / 10.3.2:
Bending in beams / 10.3.3:
Bending in plates / 10.3.4:
Case study: Cantilever piezoelectric actuator / 10.4:
Thermal transducers / Chapter 11:
Basic heat transfer / 11.1:
Conduction / 11.2.1:
Convection / 11.2.2:
Radiation / 11.2.3:
Case study: Hot-arm actuator / 11.3:
Lumped element model / 11.3.1:
Distributed parameter model / 11.3.2:
FEA model / 11.3.3:
Essay: Effect of Scale on Thermal Properties
Introduction to microfluidics / Chapter 12:
Basics of fluid mechanics / 12.1:
Viscosity and flow regimes / 12.2.1:
Entrance lengths / 12.2.2:
Basic equations of fluid mechanics / 12.3:
Conservation of mass / 12.3.1:
Conservation of linear momentum / 12.3.2:
Conservation equations at a point: Continuity and Navier-Stokes equations / 12.3.3:
Some solutions to the Navier-Stokes equations / 12.4:
Couette flow / 12.4.1:
Poiseuille flow / 12.4.2:
Electro-osmotic flow / 12.5:
Electrostatics / 12.5.1:
Ionic double layers / 12.5.2:
Navier-Stokes with a constant electric field / 12.5.3:
Electrophoretic separation / 12.6:
Essay: Detection Schemes Employed in Microfluidic Devices for Chemical Analysis
Microfabrication laboratories / Part III:
Hot-arm actuator as a hands-on case study / Chapter 13:
Overview of fabrication of hot-arm actuators / 13.2:
Cleanroom safety and etiquette / 13.3:
Experiments / 13.4:
Wet oxidation of a silicon wafer / Experiment 1:
Photolithography of sacrificial layer / Experiment 2:
Depositing metal contacts with evaporation / Experiment 3:
Wet chemical etching of aluminum / Experiment 4:
Plasma ash release / Experiment 5:
Characterization of hot-arm actuators / Experiment 6:
Notation / Appendix A:
Periodic table of the elements / Appendix B:
The complimentary error function / Appendix C:
Color chart for thermally grown silicon dioxide / Appendix D:
Glossary
Subject Index
Preface
Fabrication / Part I:
Introduction / Chapter 1:
4.

図書

図書
edited by D. F. Gray and J. L. Linsky
出版情報: Berlin ; New York : Springer-Verlag, 1980  viii, 308 p. ; 25 cm
シリーズ名: Lecture notes in physics ; vol. 114
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Continuous-Rate Packet-Switched Networks / 1.1:
Tiered-Service Networks / 1.2:
Multi-Tiered Pricing Schemes / 1.3:
Theory / Part I:
The Directional p-Median Problem: Definition and Applications / 2:
The p-Median Problem / 2.1:
Continuous vs. Discrete Space / 2.1.1:
A New Notion of Distance: The Directional Distance Metric / 2.2:
Summary of Complexity Results / 2.3:
Applications / 2.4:
Bandwidth Tiered Service: Deterministic Demands / 3:
Bandwidth Tiered Service as a DPM1 Problem / 3.1:
A Linear Complexity Algorithm of DPM1 / 3.2:
Graph Representation of DPM1 / 3.2.1:
Monge Condition and Totally Monotone Matrices / 3.2.2:
Efficient Dynamic Programming Algorithm for DPM1 / 3.2.3:
Impact of Tiered Service on Network Resources / 3.3:
Joint Optimization of the Number and Magnitude of Service Tiers / 3.4:
Bandwidth Tiered Service: TDM Emulation / 4:
TDM Emulation As A Constrained DPM1 Problem / 4.1:
Optimal Solution to TDM-DPM1 for Fixed / 4.1.1:
The Behavior Of The TDM-DPM1 Objective Function / 4.1.2:
An Exhaustive Search Algorithm for TDM-DPM1 / 4.1.3:
Optimization Heuristics / 4.1.4:
Performance Evaluation / 4.2:
Algorithm Comparison / 4.2.1:
Impact on the Network Provider: Bandwidth Penalty Due to TDM Emulation / 4.2.2:
Impact on Users: Blocking Probability / 4.2.3:
Bandwidth Tiered Service: Stochastic Demands / 5:
The Stochastic Directional p-Median Problem / 5.1:
Optimal Solution Through Nonlinear Programming / 5.2:
Example: Solution for the Uniform Demand Distribution / 5.2.1:
Example: Solution for the Increasing Demand Distribution / 5.2.2:
An Efficient Approximate Solution / 5.3:
An Approximate Formulation of SDPM1 / 5.3.1:
Optimal Solution to Approximate-SDPM1 / 5.3.2:
Convergence of the Approximate Solution / 5.3.3:
Tiered Structures for Multiple Services / 6:
The Directional p-Median Problem on the Plane / 6.1:
Heuristic Algorithms for Discrete-PM2 / 6.2:
Effect of Distance Properties on Computational Effort / 6.2.1:
Teitz and Bart (TB) Vertex Substitution Heuristic / 6.2.2:
The Global/Regional Interchange Algorithm (GRIA) / 6.2.3:
Heuristic Concentration (HC) / 6.2.4:
A Decomposition Heuristic for DPM2 / 6.3:
Evaluation of the Decomposition Heuristic / 6.3.1:
The Class of Strictly Dominating Solutions for DPM2 / 6.4:
Economics / Part II:
Economic Model for Bandwidth Tiered Service / 7:
Pricing of Internet Services / 7.1:
The Network Context / 7.2:
Economic Model for Sizing of Service Tiers / 7.3:
Maximization of Expected Surplus / 7.3.1:
Solution Through Nonlinear Programming / 7.3.2:
Optimizing the Number of Service Tiers / 7.3.3:
Optimal Pricing Based on Nash Bargaining / 7.4:
The Single Tier Case / 7.4.1:
The Multiple Tier Case / 7.4.2:
Optimal Sizing of Service Tiers / 7.5:
Optimal Pricing of Service Tiers / 7.5.3:
Accounting for the Cost of Service Tiers / 7.5.4:
Service Tiering As A Market Segmentation Strategy / 8:
Economic Model of User Diversity / 8.1:
The Multiple Tier Case: Market Segmentation / 8.2:
The MAX-S Problem with Fixed Tiers / 8.3.1:
Approximate Solution to the MAX-S Problem / 8.3.2:
Tier Structure Comparison / 8.4:
Tiered Service Bundling Under Budget Constraints / 9:
Economic Model of Service Bundling / 9.1:
Approximate Solution to the MAX-ES-2D Problem / 9.2:
The Fixed Tier Case / 9.2.1:
Cost Minimization on an Indifference Curve / 9.2.2:
Joint Optimization of Service Tiers and Prices / 9.2.3:
Quality of Service (QoS) / 9.3:
Packet Scheduling / 10:
Scheduling Objectives and Requirements / 10.1:
Packet Scheduling Disciplines / 10.2:
Timestamp-Based Schedulers / 10.2.1:
Frame-Based Schedulers / 10.2.2:
Hybrid Schedulers / 10.2.3:
Tiered-Service Fair Queueing (TSFQ) / 11:
Logical Operation / 11.1:
Virtual Time Computation / 11.1.2:
Intra-Tier Scheduler: The Fixed-Size Packet Case / 11.2:
Queue Structure and Operation / 11.2.1:
Intra-Tier Scheduler: The Variable-Size Packet Case / 11.3:
Queue Structure and Operations / 11.3.1:
Packet Sorting Operations / 11.3.2:
Elimination of Packet Sorting Operations / 11.3.3:
Experimental Evaluation of TSFQ / 11.4:
Testbed and Experimental Setup / 11.4.1:
Performance Results / 11.4.2:
References
Index
Introduction / 1:
Continuous-Rate Packet-Switched Networks / 1.1:
Tiered-Service Networks / 1.2:
5.

図書

図書
introduction, text, translation and notes by S.D. Joshi and J.A.F. Roodbergen
出版情報: Pune : University of Poona, 1981  xxiv, 40, 191 p. ; 25 cm
シリーズ名: Publications of the Centre of Advanced Study in Sanskrit ; class C ; no. 14
所蔵情報: loading…
6.

図書

図書
introduction, text, translation and notes by S.D. Joshi and J.A.F. Roodbergen
出版情報: Pune : University of Poona, 1980  xxxiii, 26, 114 p. ; 25 cm
シリーズ名: Publications of the Centre of Advanced Study in Sanskrit ; class C ; no. 12
所蔵情報: loading…
7.

図書

図書
T.C. Hu
出版情報: Reading, MA : Addison-Wesley Pub. Co., c1982  292 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Shortest Paths / Chapter 1:
Graph terminology / 1.1:
Shortest path / 1.2:
Multiterminal shortest paths / 1.3:
Decomposition algorithm / 1.4:
Acyclic network / 1.5:
Shortest paths in a general network / 1.6:
Minimum spanning tree / 1.7:
Breadth-first-search and depth-first-search / 1.8:
Maximum flows / Chapter 2:
Maximum flow / 2.1:
Algorithms for max flows / 2.2:
Ford and Fulkerson / 2.2.1:
Karzanov's algorithm / 2.2.2:
MPM algorithms / 2.2.3:
Analysis of algorithms / 2.2.4:
Multi-terminal maximum flows / 2.3:
Realization / 2.3.1:
Analysis / 2.3.2:
Synthesis / 2.3.3:
Multi-commodity flows / 2.3.4:
Minimum cost flows / 2.4:
Applications / 2.5:
Sets of distinct representatives / 2.5.1:
PERT / 2.5.2:
Optimum communication spanning tree / 2.5.3:
Dynamic programming / Chapter 3:
Introduction / 3.1:
Knapsack problem / 3.2:
Two-dimensional knapsack problem / 3.3:
Minimum-cost alphabetic tree / 3.4:
Summary / 3.5:
Backtracking / Chapter 4:
Estimating the efficiency of backtracking / 4.1:
Branch and bound / 4.3:
Game-tree / 4.4:
Binary tree / Chapter 5:
Huffman's tree / 5.1:
Alphabetic tree / 5.3:
Hu-Tucker algorithm / 5.4:
Feasibility and optimality / 5.5:
Garsia and Wachs' algorithm / 5.6:
Regular cost function / 5.7:
T-ary tree and other results / 5.8:
Heuristic and near optimum / Chapter 6:
Greedy algorithm / 6.1:
Bin-packing / 6.2:
Job-scheduling / 6.3:
Job-scheduling (tree-constraints) / 6.4:
Matrix multiplication / Chapter 7:
Strassen's matrix multiplication / 7.1:
Optimum order of multiplying matrices / 7.2:
Partitioning a convex polygon / 7.3:
The heuristic algorithm / 7.4:
NP-complete / Chapter 8:
Polynomial algorithms / 8.1:
Nondeterministic algorithms / 8.3:
NP-complete problems / 8.4:
Facing a new problem / 8.5:
Local indexing algorithms / Chapter 9:
Mergers of algorithms / 9.1:
Maximum flows and minimum cuts / 9.2:
Maximum adjacency and minimum separation / 9.3:
Gomory-Hu tree / Chapter 10:
Tree edges and tree links / 10.1:
Contraction / 10.2:
Domination / 10.3:
Equivalent formulations / 10.4:
Optimum mergers of companies / 10.4.1:
Optimum circle partition / 10.4.2:
Extreme stars and host-feasible circles / 10.5:
The high-level approach / 10.6:
Chop-stick method / 10.7:
Relationship between phases / 10.8:
The staircase diagram / 10.9:
Complexity issues / 10.10:
Comments on Chapters 2, 5 & 6 / Appendix A:
Ancestor trees / A.1:
Minimum surface or plateau problem / A.2:
Comments on binary trees in chapter 5 / A.3:
A simple proof of the Hu-Tucker algorithm / A.3.1:
Binary search trees / A.3.2:
Binary search on a tape / A.3.3:
Comments on §6.2, bin-packing / A.4:
Network algebra / Appendix B:
Shortest Paths / Chapter 1:
Graph terminology / 1.1:
Shortest path / 1.2:
8.

図書

図書
[ред. Ю. С. Постнов ... [и др.]]
出版情報: Новосибирск : Изд-во "Наука" Сибирское отд-ние, 1982  2 v. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
1. Дореволюционный период
1. Dorevoli︠u︡t︠s︡ionnyĭ period
2. Советский период
2. Sovetskiĭ period
1. Дореволюционный период
1. Dorevoli︠u︡t︠s︡ionnyĭ period
2. Советский период
9.

図書

図書
Harold Abelson and Gerald Jay Sussman, with Julie Sussman ; foreword by Alan J. Perlis
出版情報: Cambridge, Mass. : MIT Press , New York : McGraw-Hill, c1985  xx, 542 p. ; 24 cm
シリーズ名: The MIT electrical engineering and computer science series
所蔵情報: loading…
目次情報: 続きを見る
Contents
Foreword
Preface to the Second Edition
Preface to the First Edition
Acknowledgments
Building Abstractions with Procedures / 1:
The Elements of Programming / 1.1:
Procedures and the Processes They Generate / 1.2:
Formulating Abstractions with Higher-Order Procedures / 1.3:
Building Abstractions with Data / 2:
Introduction to Data Abstraction / 2.1:
Hierarchical Data and the Closure Property / 2.2:
Symbolic Data / 2.3:
Multiple Representations for Abstract Data / 2.4:
Systems with Generic Operations / 2.5:
Modularity, Objects and State / 3:
Assignment and Local State / 3.1:
The Environmental Model of Evaluation / 3.2:
Modeling with Mutable Data / 3.3:
Concurrency: Time Is of the Essence / 3.4:
Streams / 3.5:
Metalinguistic Abstraction / 4:
The Metaciricular Evaluator / 4.1:
Variations on a Scheme--Lazy Evaluation / 4.2:
Variations on a Scheme--Nondeterministic Computing / 4.3:
Logic Programming / 4.4:
Computing with Register Machines / 5:
Designing Register Machines / 5.1:
A Register-Machine Simulator / 5.2:
Storage Allocation and Garbage Collection / 5.3:
The Explicit Control Evaluator / 5.4:
Compilation / 5.5:
References
List of Exercises
Index
Contents
Foreword
Preface to the Second Edition
10.

図書

図書
edited by A. Blaser
出版情報: Berlin ; New York : Springer-Verlag, 1980  xi, 599 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 81
所蔵情報: loading…
目次情報: 続きを見る
The International Landscape of Cyber Security / 1:
A Brief History of Global Responses to Cyber Threats / 2:
World Summit on the Information Society (WSIS) / 2.1:
Council of Europe Convention on Cybercrime / 2.2:
International Intergovernmental Organizations / 3:
United Nations (UN) / 3.1:
International Telecommunication Union (ITU) / 3.1.1:
ITU Telecommunication Standardization Sector (ITU-T) / 3.1.1.1:
ITU Telecommunication Development Sector (ITU-D) / 3.1.1.2:
ITU Radiocommunication Sector (ITU-R) / 3.1.1.3:
ITU Corporate Strategy Division (CSD) / 3.1.1.4:
WSIS Thematic Meeting on Countering Spam / 3.1.1.5:
World Trust Signatories Association (WTSA) / 3.1.1.6:
United Nations Office on Drugs and Crime (UNODC) / 3.1.2:
United Nations Office for Disarmament Affairs (UNODA) / 3.1.3:
Organisation for Economic Co-operation and Development (OECD) / 3.2:
North Atlantic Treaty Organization (NATO) / 3.3:
Group of Eight (G8) / 3.4:
World Customs Organization (WCO) / 3.5:
International Incident Response / 3.6:
G8 24/7 Network of Contacts for High-Tech Crime / 3.6.1:
International Law Enforcement Cooperation / 3.7:
International Criminal Police Organization (INTERPOL) / 3.7.1:
International Law Enforcement Telecommunications Seminar (ILETS) / 3.7.2:
Regional Intergovernmental Organizations / 4:
Europe / 4.1:
European Union (EU) / 4.1.1:
Council of Europe (COE) / 4.1.2:
Organization for Security and Co-operation in Europe (OSCE) / 4.1.3:
European Telecommunications Standards Institute (ETSI) / 4.1.4:
European Committee for Standardization (CEN) / 4.1.5:
ICTStandards Board (ICTSB) / 4.1.6:
European Network and Information Security Agency (ENISA) / 4.1.7:
European Incident Response / 4.1.8:
European Task Force on Computer Security Incident Response Teams (TF-CSIRT) / 4.1.8.1:
European Law Enforcement Cooperation / 4.1.9:
European Law Enforcement Organisation (Europol) / 4.1.9.1:
National Policing Improvement Agency (NPIA) / 4.1.9.2:
Asia-Pacific / 4.2:
Asia-Pacific Economic Cooperation (APEC) / 4.2.1:
Association of Southeast Asian Nations (ASEAN) / 4.2.2:
ASEAN Regional Forum (ARF) / 4.2.2.1:
ASEAN Telecommunications and IT Ministers (TELMIN) / 4.2.2.2:
Asia-Pacific Telecommunity (APT) / 4.2.3:
United Nations Economic and Social Commission for Asia and the Pacific (ESCAP) / 4.2.4:
China-Japan-Korea (CJK) / 4.2.5:
Asia-Pacific Incident Response / 4.2.6:
Asia Pacific Computer Emergency Response Team (APCERT) / 4.2.6.1:
Asia-Pacific Law Enforcement Cooperation / 4.2.7:
Americas / 4.3:
Organization of American States (OAS) / 4.3.1:
Inter-American Telecommunication Commission (CITEL) / 4.3.1.1:
Latin American Cooperation of Advanced Networks (CLARA) / 4.3.2:
CLARA Security Task Force (GT-Seg) / 4.3.2.1:
Americas Incident Response / 4.3.3:
Inter-American Committee Against Terrorism (CICTE) / 4.3.3.1:
CLARA Computer Security Incident Response Team (GT-CSIRT) / 4.3.3.2:
Americas Law Enforcement Cooperation / 4.3.4:
Group of Governmental Experts on Cyber-Crime / 4.3.4.1:
Private-Public and Non-Governmental Organizations (NGOs) / 5:
Advocacy Groups / 5.1:
Anti-Spam / 5.1.1:
Coalition Against Unsolicited Commercial Email (CAUCE) / 5.1.1.1:
London Action Plan (LAP) / 5.1.1.2:
Messaging Anti-Abuse Working Group (MAAWG) / 5.1.1.3:
Spamhaus Project / 5.1.1.4:
StopSpamAlliance (SSA) / 5.1.1.5:
The European Spambox Project (SPOTSPAM) / 5.1.1.6:
Anti-Phishing / 5.1.2:
Anti-Phishing Working Group (APWG) / 5.1.2.1:
Anti-Spyware / 5.1.3:
Anti-Spyware Coalition (ASC) / 5.1.3.1:
Anti-Botnets / 5.1.4:
International Botnet Task Force (BTF) / 5.1.4.1:
Incident Response / 5.2:
ComputerSecurity Incident Response Teams (CSIRTs) / 5.2.1:
Forum of Incident Response and Security Teams (FIRST) / 5.2.2:
Policy, Education, & Public Awareness / 5.3:
Authentication and Online Trust Alliance (AOTA) / 5.3.1:
Global Information Infrastructure Commission (GIIC) / 5.3.2:
International Chamber of Commerce (ICC) / 5.3.3:
International Federation for Information Processing (IFIP) / 5.3.4:
Open Information Systems Security Group (OISSG) / 5.3.5:
Society for the Policing of Cyberspace (POLCYB) / 5.3.6:
SysAdmin, Audit, Network, Security (SANS) Institute / 5.3.7:
World Information Technology and Services Alliance (WITSA) / 5.3.8:
Global Internet Project (GIP) / 5.3.8.1:
Research, Development, & Standardization / 5.4:
3rd Generation Partnership Project (3GPP) / 5.4.1:
Central and Eastern European Networking Association (CEENet) / 5.4.2:
Cooperative Association for Internet Data Analysis (CAIDA) / 5.4.3:
GSM Association (GSMA) / 5.4.4:
Institute of Electrical and Electronics Engineers (IEEE) / 5.4.5:
International Organization for Standardization (ISO) / 5.4.6:
Internet Engineering Task Force (IETF) / 5.4.7:
Internet Research Task Force (IRTF) / 5.4.8:
Internet Society (ISOC) / 5.4.9:
Organization for the Advancement of Structured Information Standards (OASIS) / 5.4.10:
Trans-European Research and Education and Education Networking Association (TERENA) / 5.4.11:
World Wide Web Consortium (W3C) / 5.4.12:
Making global cyberspace more secure...? / 6:
Further Analysis of Recent Advances in Cyber Security / 6.1:
Opportunities for Further Research / 6.2:
Abbreviations / Appendix A:
Convention on Cybercrime CETS No.: 185 / Appendix B:
Index
References
The International Landscape of Cyber Security / 1:
A Brief History of Global Responses to Cyber Threats / 2:
World Summit on the Information Society (WSIS) / 2.1:
11.

図書

図書
Richard F. Sincovec, Richard S. Wiener
出版情報: New York : Wiley, 1985  xxiii, 500 p. ; 25 cm
所蔵情報: loading…
12.

図書

図書
edited by P. Vincenzini
出版情報: Amsterdam ; New York : Elsevier , New York, N.Y. : distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1983  xi, 408 p. ; 25 cm
シリーズ名: Materials science monographs ; 17
所蔵情報: loading…
13.

図書

図書
edited by Alain Poli
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vi, 265 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 228
所蔵情報: loading…
14.

図書

図書
sponsored by Robotics International of SME
出版情報: Dearborn, Mich. : Robotics International of SME, c1985  2 v. ; 28 cm
所蔵情報: loading…
目次情報:
v. 1. Advancing applications
v. 2. Current issues, future concerns
v. 1. Advancing applications
v. 2. Current issues, future concerns
15.

図書

図書
Marshall, I. H. ed
出版情報: London ; New York : A. S. P., c1983  xv, 579 p. ; 23 cm
所蔵情報: loading…
16.

図書

図書
M. Gyssens, J. Paredaens, D. Van Gucht, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 409 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 326
所蔵情報: loading…
目次情報: 続きを見る
Contents: Invited Lectures.
Logic and Deductive Databases.
Complexity and Optimization.
Object Oriented Databases.
Data Models and Query Languages.
Dynamic Aspects of Databases.
Miscellaneous Topics.
Contents: Invited Lectures.
Logic and Deductive Databases.
Complexity and Optimization.
17.

図書

図書
author, G. Lennis Berlin
出版情報: Boca Raton, Fla. : CRC Press, c1980  3 v. ; 27 cm
所蔵情報: loading…
18.

図書

図書
edited by John R. Anderson and Michel Boudart
出版情報: Berlin ; Tokyo : Springer-Verlag, 1981-1996  11 v. ; 25 cm
所蔵情報: loading…
19.

図書

図書
José Luis Balcázar, Josep Díaz, Joaquim Gabarró
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988-c1990  2 v. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; v. 11, 22
所蔵情報: loading…
20.

図書

図書
edited by Michael I. Posner
出版情報: Cambridge, Mass. : The MIT Press, c1989  xiv, 888 p., [1] leaf of plates ; 27 cm
シリーズ名: Bradford book
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Preface: Learning Cognitive Science
Foundations of Cognitive Science / Herbert A. Simon ; Craig A. Kaplan1:
The Goals of Cognitive Science / 1.1:
The Principal Contributing Disciplines / 1.2:
The Architecture of Intelligent Systems / 1.3:
Two Approaches: Reasoning and Search / 1.4:
Methods of Cognitive Research / 1.5:
Invariance of the Laws of Cognition2 / 1.6:
Conclusion
Notes
References
Foundations
Computing in Cognitive Science / Zenon W. Pylyshyn2:
What is Computing? / 2.1:
Computational Methodologies in Cognitive Science: The High Road and the Low Road / 2.2:
Methodologies for Assessing Strong Equivalence / 2.3:
Conclusion: The Domain of Cognitive Science / 2.4:
Symbolic Architectures for Cognition / Allen Newell ; Paul S. Rosenbloom ; John E. Laird3:
The Role of the Architecture in Cognitive Science / 3.1:
Requirements on the Cognitive Architecture / 3.2:
The Nature of the Architecture / 3.3:
Example Architectures: Act* and Soar / 3.4:
The Uses of the Architecture / 3.5:
Conclusions / 3.6:
The Architecture of Mind: A Connectionist Approach / David E. Romelhart4:
Why Brain-Style Computation? / 4.1:
The State of the Art / 4.2:
Grammatical Theory / Thomas Wasow5:
Relevant Aspects of Formal Language Theory / 5.1:
Transformational Grammar / 5.2:
Major Schools of Generative Grammar / 5.3:
Model-Theoretic Semantics / John Barwise ; John Etchemendy5.4:
The Challenge of Semantics / 6.1:
Dimensions of Semantic Analysis / 6.2:
Designed Languages / 6.3:
Extensional Model-Theoretic Semantics / 6.4:
Other Approaches / 6.5:
Further Reading
Experimental Methods in Cognitive Science / Gordon H. Bower ; John P. Clapper7:
General Introduction / 7.1:
Experimental Methods I: Learning and Memory / 7.2:
Experimental Methods II: Language Processing / 7.3:
Concluding Comments / 7.4:
Brain and Cognition / Terrence J. Sejnowski ; Patricia Smith Churchland8:
Levels of Investigation / 8.1:
Anatomical and Physiological Techniques / 8.2:
General Neurobiological Constraints on Cognitive Mechanisms / 8.3:
Models / 8.4:
Selected Annotated Readings / 8.5:
Domains
Language Acquisition / Steven Pinker9:
The Importance of Understanding Language Acquisition / 9.1:
Language Acquisition and Cognitive Science / 9.2:
Input to Language Acquisition / 9.3:
Bootstrapping into Language / 9.4:
The Course of Language Acquisition / 9.5:
Causes of Developmental Changes / 9.6:
Reading / Alexander Pollatsek ; Keith Rayner9.7:
Visual Word Identification / 10.1:
Visual Processing in Reading Text / 10.2:
Word Identification in Context / 10.3:
Simulations of the Reading Process / 10.4:
Summary / 10.5:
Discourse / Barbara J. Gorsz ; Martha E. Pollack ; Candace L. Sidner11:
Early Approaches to Discourse Processing / 11.1:
Discourse Structure / 11.2:
Linguistic Indicators of Discourse Structure / 11.3:
Phrase-Level Phenomena / 11.4:
Plan Recognition / 11.5:
Mental Models / P. N. Johnson Laird12:
Perception as a Source of Mental Models / 12.1:
Mental Models of Discourse / 12.2:
Reasoning and Mental Models / 12.3:
Models as the Representation of Knowledge / 12.4:
A Critique of Mental Models / 12.5:
Note / 12.6:
Concepts and Induction / Edward E. Smith13:
The Basic Picture of Concepts and Categorization / 13.1:
Categorization and Induction / 13.2:
Problem Solving and Cognitive Skill Acquisition / Kurt VanLehn14:
Knowledge-Lean Problem Solving / 14.1:
Schema-Driven Problem Solving / 14.2:
Major Empirical Findings / 14.3:
The Computational Study of Vision / Ellen C. Hildreth ; Shimon Ullman14.4:
Introduction / 15.1:
Low-Level Vision / 15.2:
High-Level Vision / 15.3:
Visual Attention / Alan Allport16:
What Is Attention? What Is Attention For? / 16.1:
Attention and Limited Capacity / 16.2:
Neuropsychology of Spatial Attention / 16.3:
Toward a Computational Theory of Attention / 16.4:
Review / 16.5:
Concluding Remarks
Memory / Daniel L. Schacter17:
Approaches to Understanding Memory: Contrasting Viewpoints / 17.1:
Action / Michael I. Jordan ; David A. Rosenbaum17.2:
The Degrees-of-Freedom Problem / 18.1:
Serial Order / 18.2:
Learning / 18.3:
Toward an Integration / 18.4:
Geometrical and Mechanical Issues in Movement Planning and Control / E. Bizzi ; F. A. Mussa-Ivaldi18.5:
Hand versus Joint Coordinates in the Planning of Movements / 19.1:
The Problem of Dynamics in Natural and Artificial Systems / 19.2:
Muscle Mechanical Properties / 19.3:
Implications of the Virtual Trajectory and Generalization to Multijoint Posture and Movements / 19.4:
Analysis of Multijoint Posture and Movement / 19.5:
Assessment / 19.6:
Cultural Cognition / Roy G. D'Andracle20:
The Problem of Definition / 20.1:
Polysemy / 20.2:
Paradigmatic Classes / 20.3:
Taxonomy / 20.4:
More on Features / 20.5:
Cultural Models / 20.6:
Color / 20.7:
Emotion / 20.8:
Reasoning and Cultural Models / 20.9:
Final Remarks / 20.10:
Some Philosophical Issues in Cognitive Science: Qualia, Intentionality, and the Mind-Body Problem / Gilbert Harman21:
Mind-Body / 21.1:
Intentionality / 21.2:
Qualia / 21.3:
Subjective-Objective / 21.4:
Some Other Philosophical Issues / 21.5:
Author Index
Subject Index
Contributors
Preface: Learning Cognitive Science
Foundations of Cognitive Science / Herbert A. Simon ; Craig A. Kaplan1:
21.

図書

図書
John McMurry
出版情報: Monterey, Calif. : Brooks/Cole, c1986  xix, 493, [16] p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
A Note for Students
Structure and Bonding; Acids and Bases / 1:
Atomic Structure / 1.1:
Electron Configuration of Atoms / 1.2:
Development of Chemical Bonding Theory / 1.3:
The Nature of Chemical Bonds / 1.4:
Forming Covalent Bonds: Valence Bond Theory / 1.5:
Hybridization: sp[superscript 3] Orbitals and the Structure of Methane / 1.6:
Hybridization: sp[superscript 3] Orbitals and the Structure of Ethane / 1.7:
Hybridization: sp[subscript 2] Orbitals and the Structure of Ethylene / 1.8:
Hybridization: sp Orbitals and the Structure of Acetylene / 1.9:
Polar Covalent Bonds: Electronegativity / 1.10:
Acids and Bases: The Bronsted--Lowry Definition / 1.11:
Acids and Bases: The Lewis Definition / 1.12:
The Nature of Organic Compounds: Alkanes / 2:
Functional Groups / 2.1:
Alkanes and Alkyl Groups: Isomers / 2.2:
Naming Branched-Chain Alkanes / 2.3:
Properties of Alkanes / 2.4:
Conformations of Ethane / 2.5:
Drawing Chemical Structures / 2.6:
Cycloalkanes / 2.7:
Cis--Trans Isomerism in Cycloalkanes / 2.8:
Conformations of Some Cycloalkanes / 2.9:
Axial and Equatorial Bonds in Cyclohexane / 2.10:
Conformational Mobility of Cyclohexane / 2.11:
The Nature of Organic Reactions: Alkenes / 3:
Naming Alkenes / 3.1:
Electronic Structure of Alkenes / 3.2:
Cis--Trans Isomers of Alkenes / 3.3:
Sequence Rules: The E,Z Designation / 3.4:
Kinds of Organic Reactions / 3.5:
How Reactions Occur: Mechanisms / 3.6:
The Mechanism of an Organic Reaction: Addition of HCl to Ethylene / 3.7:
Describing a Reaction: Reaction Energy Diagrams and Transition States / 3.8:
Describing a Reaction: Intermediates / 3.9:
Reactions of Alkenes and Alkynes / 4:
Addition of HX to Alkenes: Hydrohalogenation / 4.1:
Orientation of Alkene Addition Reactions: Markovnikov's Rule / 4.2:
Carbocation Structure and Stability / 4.3:
Addition of H[subscript 2]O to Alkenes: Hydration / 4.4:
Addition of X[subscript 2] to Alkenes: Halogenation / 4.5:
Addition of H[subscript 2] to Alkenes: Hydrogenation / 4.6:
Oxidation of Alkenes: Hydroxylation and Cleavage / 4.7:
Biological Addition Reactions of Alkenes / 4.8:
Addition of Radicals to Alkenes: Polymers / 4.9:
Conjugated Dienes / 4.10:
Stability of Allylic Carbocations: Resonance / 4.11:
Drawing and Interpreting Resonance Forms / 4.12:
Alkynes and Their Reactions / 4.13:
Aromatic Compounds / 5:
Structure of Benzene: The Kekule Proposal / 5.1:
Structure of Benzene: The Resonance Proposal / 5.2:
Naming Aromatic Compounds / 5.3:
Electrophilic Aromatic Substitution Reactions: Bromination / 5.4:
Other Electrophilic Aromatic Substitution Reactions / 5.5:
The Friedel--Crafts Alkylation and Acylation Reactions / 5.6:
Substituent Effects in Electrophilic Aromatic Substitution / 5.7:
An Explanation of Substituent Effects / 5.8:
Oxidation and Reduction of Aromatic Compounds / 5.9:
Polycyclic Aromatic Hydrocarbons / 5.10:
Organic Synthesis / 5.11:
Stereochemistry / 6:
Stereochemistry and the Tetrahedral Carbon / 6.1:
The Reason for Handedness in Molecules: Chirality / 6.2:
Optical Activity / 6.3:
Specific Rotation / 6.4:
Pasteur's Discovery of Enantiomers / 6.5:
Sequence Rules for Specifying Configuration / 6.6:
Diastereomers / 6.7:
Meso Compounds / 6.8:
Molecules with More Than Two Stereocenters / 6.9:
Racemic Mixtures and the Resolution of Enantiomers / 6.10:
Physical Properties of Stereoisomers / 6.11:
A Brief Review of Isomerism / 6.12:
Chirality in Nature / 6.13:
Alkyl Halides / 7:
Naming Alkyl Halides / 7.1:
Preparing Alkyl Halides / 7.2:
Reactions of Alkyl Halides: Grignard Reagents / 7.3:
Nucleophilic Substitution Reactions / 7.4:
The S[subscript N]2 Reaction / 7.5:
The S[subscript N]1 Reaction / 7.6:
Eliminations: The E2 Reaction / 7.7:
Eliminations: The E1 Reaction / 7.8:
A Summary of Reactivity: S[subscript N]1, S[subscript N]2, E1, E2 / 7.9:
Substitution Reactions in Living Organisms / 7.10:
Alcohols, Phenols, and Ethers / 8:
Naming Alcohols, Phenols, and Ethers / 8.1:
Properties of Alcohols, Phenols, and Ethers: Hydrogen Bonding / 8.2:
Properties of Alcohols and Phenols: Acidity / 8.3:
Synthesis of Alcohols / 8.4:
Reactions of Alcohols / 8.5:
Synthesis and Reactions of Phenols / 8.6:
Synthesis and Reactions of Ethers / 8.7:
Cyclic Ethers: Epoxides / 8.8:
Thiols and Sulfides / 8.9:
Aldehydes and Ketones: Nucleophilic Addition Reactions / 9:
The Nature of Carbonyl Compounds / 9.1:
Naming Aldehydes and Ketones / 9.2:
Synthesis of Aldehydes and Ketones / 9.3:
Oxidation of Aldehydes / 9.4:
Nucleophilic Addition Reactions of Aldehydes and Ketones: Reduction / 9.5:
Nucleophilic Addition of Water: Hydration / 9.6:
Nucleophilic Addition of Alcohols: Acetal Formation / 9.7:
Nucleophilic Addition of Amines: Imine Formation / 9.8:
Nucleophilic Addition of Grignard Reagents: Alcohol Formation / 9.9:
Conjugate Nucleophilic Addition Reactions / 9.10:
Some Biological Nucleophilic Addition Reactions / 9.11:
Carboxylic Acids and Derivatives / 10:
Naming Carboxylic Acids and Derivatives / 10.1:
Occurrence and Properties of Carboxylic Acids / 10.2:
Synthesis of Carboxylic Acids / 10.3:
Nucleophilic Acyl Substitution Reactions / 10.4:
Reactions of Carboxylic Acids / 10.5:
Chemistry of Acid Halides / 10.6:
Chemistry of Acid Anhydrides / 10.7:
Chemistry of Esters / 10.8:
Chemistry of Amides / 10.9:
Chemistry of Nitriles / 10.10:
Polymers from Carbonyl Compounds: Nylons and Polyesters / 10.11:
Carbonyl Alpha-Substitution Reactions and Condensation Reactions / 11:
Keto--Enol Tautomerism / 11.1:
Reactivity of Enols: The Mechanism of Alpha-Substitution Reactions / 11.2:
Alpha Halogenation of Aldehydes and Ketones / 11.3:
Acidity of Alpha Hydrogen Atoms: Enolate Ion Formation / 11.4:
Reactivity of Enolate Ions / 11.5:
Alkylation of Enolate Ions / 11.6:
Carbonyl Condensation Reactions / 11.7:
Condensations of Aldehydes and Ketones: The Aldol Reaction / 11.8:
Dehydration of Aldol Products: Synthesis of Enones / 11.9:
Condensations of Esters: The Claisen Condensation Reaction / 11.10:
Biological Carbonyl Reactions / 11.11:
Amines / 12:
Naming Amines / 12.1:
Structure and Properties of Amines / 12.2:
Basicity of Amines / 12.3:
Synthesis of Amines / 12.4:
Reactions of Amines / 12.5:
Heterocyclic Amines / 12.6:
Alkaloids: Naturally Occurring Amines / 12.7:
Structure Determination / 13:
Infrared Spectroscopy and the Electromagnetic Spectrum / 13.1:
Infrared Spectroscopy of Organic Molecules / 13.2:
Ultraviolet Spectroscopy / 13.3:
Interpreting Ultraviolet Spectra: The Effect of Conjugation / 13.4:
Nuclear Magnetic Resonance Spectroscopy / 13.5:
The Nature of NMR Absorptions / 13.6:
Chemical Shifts / 13.7:
Chemical Shifts in [superscript 1]H NMR Spectra / 13.8:
Integration of [superscript 1]H NMR Spectra: Proton Counting / 13.9:
Spin--Spin Splitting in [superscript 1]H NMR Spectra / 13.10:
Uses of [superscript 1]H NMR Spectra / 13.11:
[superscript 13]C NMR Spectroscopy / 13.12:
Biomolecules: Carbohydrates / 14:
Classification of Carbohydrates / 14.1:
Configurations of Monosaccharides: Fischer Projections / 14.2:
D,L Sugars / 14.3:
Configurations of Aldoses / 14.4:
Cyclic Structures of Monosaccharides: Hemiacetal Formation / 14.5:
Monosaccharide Anomers: Mutarotation / 14.6:
Reactions of Monosaccharides / 14.7:
Polysaccharides / 14.9:
Other Important Carbohydrates / 14.10:
Cell-Surface Carbohydrates and Carbohydrate Vaccines / 14.11:
Biomolecules: Amino Acids, Peptides, and Proteins / 15:
Structures of Amino Acids / 15.1:
Isoelectric Points / 15.2:
Peptides and Proteins / 15.3:
Covalent Bonding in Peptides / 15.4:
Peptide Structure Determination: Amino Acid Analysis / 15.5:
Peptide Sequencing: The Edman Degradation / 15.6:
Peptide Synthesis / 15.7:
Classification of Proteins / 15.8:
Protein Structure / 15.9:
Enzymes / 15.10:
How Do Enzymes Work? Citrate Synthase / 15.11:
Biomolecules: Lipids and Nucleic Acids / 16:
Lipids / 16.1:
Fats and Oils / 16.2:
Soaps / 16.3:
Phospholipids / 16.4:
Steroids / 16.5:
Nucleic Acids and Nucleotides / 16.6:
Structure of DNA / 16.7:
Base Pairing in DNA: The Watson--Crick Model / 16.8:
Nucleic Acids and Heredity / 16.9:
Replication of DNA / 16.10:
Structure and Synthesis of RNA: Transcription / 16.11:
RNA and Protein Biosynthesis: Translation / 16.12:
Sequencing DNA / 16.13:
The Polymerase Chain Reaction / 16.14:
The Organic Chemistry of Metabolic Pathways / 17:
An Overview of Metabolism and Biochemical Energy / 17.1:
Catabolism of Fats: [beta]-Oxidation Pathway / 17.2:
Catabolism of Carbohydrates: Glycolysis / 17.3:
The Citric Acid Cycle / 17.4:
Catabolism of Proteins: Transamination / 17.5:
The Organic Chemistry of Metabolic Pathways: A Summary / 17.6:
Appendixes
Nomenclature of Polyfunctional Organic Compounds / A:
Glossary / B:
Answers to Selected In-Chapter Problems / C:
Index
Preface
A Note for Students
Structure and Bonding; Acids and Bases / 1:
22.

図書

図書
Katherine Gruber and Karin E. Koek, editors, Susan M. Boyles and Michael A. Paré, associate editors
出版情報: Detroit, Mich. : Gale Research Co., c1986-  v. <20,22-23,25-28 > ; 29 cm
シリーズ名: Encyclopedia of associations ; v. 4
所蔵情報: loading…
23.

図書

図書
Harry F. Davis
出版情報: New York : Dover Publications, 1989, c1963  xii, 403 p. ; 22 cm
所蔵情報: loading…
目次情報: 続きを見る
Linear Spaces / 1:
Functions / 1.1:
Vectors / 1.2:
Finite-dimensional Linear Spaces / 1.3:
Infinite-dimensional Linear Spaces / 1.5:
Orthogonal Functions / 2:
Inner Products / 2.1:
Orthogonal Functions and Vectors / 2.2:
Orthogonal Sequences / 2.3:
Differential Operators / 2.4:
Integral Operators / 2.5:
Convolution and the Dirichlet Kernel / 2.6:
Fourier Series / 3:
Motivation / 3.1:
Definitions / 3.2:
Examples of Trigonometric Series / 3.3:
Sine and Cosine Series / 3.4:
The Gibbs Phenomenon / 3.5:
Local Convergence of Fourier Series / 3.6:
Uniform Convergence / 3.7:
Convergence of Fourier Series / 3.8:
Divergent Series / 3.9:
Generalized Functions / 3.10:
Practical Remarks / 3.11:
Legendre Polynomials and Bessel Functions / 4:
Partial Differential Equations / 4.1:
The Intuitive Meaning of the Laplacian Operator / 4.2:
Legendre Polynomials / 4.3:
Laplace's Equation in Spherical Coordinates / 4.4:
Spherical Harmonics / 4.5:
Bessel Functions / 4.6:
Heat and Temperature / 5:
Theory of Heat Conduction / 5.1:
Temperature of Plates / 5.2:
Temperature of Solids / 5.3:
Harmonic Functions / 5.4:
Existence Theorems / 5.5:
Heat Flow / 5.6:
Waves and Vibrations, Harmonic Analysis / 6:
The Vibrating String / 6.1:
The One-dimensional Wave Equation / 6.2:
The Weighted String / 6.3:
String with Variable Tension and Density / 6.4:
Vibrating Membranes / 6.5:
Waves in Two and Three Dimensions / 6.6:
The Fourier Integral / 6.7:
Algebraic Concepts in Analysis Supplementary / 6.8:
Exercises
Appendix
Functions on Groups
Answers and Notes
Index
Linear Spaces / 1:
Functions / 1.1:
Vectors / 1.2:
24.

図書

図書
edited by Van C. Gessel, Tomone Matsumoto
出版情報: Tokyo : Kodansha International, c1985  2 v. (428 p.) ; 22 cm
所蔵情報: loading…
25.

図書

図書
R.L. Constable, S.D. Johnson, C.D. Eichenlaub
出版情報: Berlin ; New York : Springer-Verlag, 1982  x, 292 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 135
所蔵情報: loading…
26.

図書

図書
出版情報: New York : Wiley, c1986  2 v. ; 24 cm.
所蔵情報: loading…
目次情報:
v. 1. Statics
v. 2. Dynamics
v. 1. Statics
v. 2. Dynamics
27.

図書

図書
editors, W. T. Ziemba, S. L. Schwartz, Ernest Koenigsberg
出版情報: Boston : M. Nijhoff, c1980  2 v. ; 24 cm
所蔵情報: loading…
目次情報:
v. 1. Specialized energy policy models
v. 2. Integrative energy policy models
v. 1. Specialized energy policy models
v. 2. Integrative energy policy models
28.

図書

図書
edited by Gloria Norris
出版情報: New York : New American Library, 1989  375 p. ; 21 cm
シリーズ名: A Plume book
所蔵情報: loading…
29.

図書

図書
Michael A. Arbib
出版情報: New York, N.Y. : Wiley, c1989  xiv, 458 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Brain, Behavior and Metaphor
Action Coding and Neural Networks
Systems and Adaptation
Cooperative Computation
Schema Theory
Neural Control of Movement
Vision and Visuomotor Coordination
Memory and Learning
Where Do We Go from Here?
Notes
References
Indexes
Brain, Behavior and Metaphor
Action Coding and Neural Networks
Systems and Adaptation
30.

図書

図書
K.U. Ingard
出版情報: Cambridge ; New York : Cambridge University Press, 1988  xiv, 595 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Oscillations / Part 1:
Review of elementary concepts and examples / 1:
Introduction / 1.1:
Harmonic motion defined / 1.2:
The mass--spring oscillator / 1.3:
Examples of harmonic motion / 1.4:
The two-body oscillator. Reduced mass / 1.5:
Two-dimensional oscillator / 1.6:
Nonlinear oscillations / 1.7:
Forced harmonic motion / 1.8:
Free damped motion / 1.9:
Problems
The complex amplitude / 2:
A review of complex numbers / 2.1:
Euler's formula / 2.2:
The complex amplitude of a harmonic function / 2.3:
Discussion / 2.4:
Examples
Forced oscillations and frequency response / 3:
Electro-mechanical analogies / 3.1:
Frequency response / 3.2:
Impedance and admittance / 3.3:
Power transfer / 3.4:
Sources of vibration / 3.5:
Fourier analysis / 3.6:
Arbitrary driving force / 3.8:
Free oscillations and impulse response / 4:
Free oscillations / 4.1:
Impulse response / 4.2:
Response to an arbitrary driving force / 4.3:
Transition to steady state / 4.4:
Coupled oscillators / 4.5:
Free motion. Normal modes / 5.1:
Weakly coupled oscillators. Beats / 5.3:
Orthogonality. Configuration space / 5.4:
Unequal coupled oscillators / 5.6:
Waves / Part 2:
Fundamentals of waves / 6:
What is a wave? / 6.1:
Description of waves (kinematics) / 6.2:
Dynamics. Field equations / 6.3:
Harmonic waves and complex amplitude equations / 6.4:
Examples of waves / 6.5:
Simple demonstrations / 6.6:
Wave power / 6.7:
Wave pulse / 6.8:
Waves in two and three dimensions / 6.9:
Wave reflection, transmission, and absorption / 7:
Wave reflection at a junction / 7.1:
Energy absorption at a termination / 7.2:
Wave reflection and elastic collisions / 7.3:
Resonances and normal modes / 8:
Forced harmonic waves / 8.1:
Forced harmonic motion of the real mass-spring oscillator / 8.2:
Free oscillations and normal modes / 8.3:
Normal mode expansion. Fourier series / 8.4:
Continuous harmonic force distribution / 8.5:
Normal modes in two and three dimensions / 8.6:
Density of normal modes / 8.7:
Electromagnetic waves / 9:
Review of units / 9.1:
EM waves on a cable reconsidered / 9.2:
Maxwell's equations / 9.3:
Plane EM waves / 9.4:
Generation of EM waves / 9.5:
Polarization / 9.6:
Dispersion of EM waves / 9.7:
Acoustic waves in fluids / 10:
Description of fluid motion / 10.1:
Fluid equations / 10.2:
Acoustic field equations / 10.3:
Spherical waves / 10.4:
The acoustic spectrum / 10.5:
Measurements / 10.6:
Wave interference and diffraction / 11:
Interference of two plane waves / 11.1:
Interference of waves from an array of sources / 11.2:
Continuous source distribution / 11.3:
Diffraction / 11.4:
Diffraction limited resolution / 11.5:
Coherence and incoherence / 11.6:
Refraction and reflection / 12:
Trace velocity and Snell's law / 12.1:
Acoustic reflection and transmission coefficients / 12.2:
EM reflection and transmission coefficients / 12.3:
Total reflection / 12.4:
Refraction in a moving medium / 12.5:
Inhomogeneous medium / 12.6:
The Doppler effect / 13:
Mechanical waves / 13.1:
Periodic structures. Dispersion / 13.2:
Wave transmission on a mass-spring lattice / 14.1:
Wave packet and group velocity / 14.2:
Wave impedance and energy flow / 14.3:
Wave attenuation / 14.4:
Normal modes of a one-dimensional lattice / 14.5:
General motion and impulse response of a periodic lattice / 14.6:
Wave guides and cavities / 15:
Propagating and decaying waves / 15.1:
Acoustic waves in a rectangular wave guide / 15.2:
EM waves in a rectangular wave guide / 15.3:
Normal modes in a rectangular cavity / 15.4:
Matter waves / 16:
Review / 16.1:
Free particle wave function / 16.2:
The Uncertainty Principle / 16.3:
Effect of potential. Barrier penetration / 16.4:
Refraction of matter waves / 16.5:
Stationary states. Schroedinger equation / 16.6:
Special Topics / Part 3:
Radiation and scattering / 17:
Sound radiation from a pulsating sphere / 17.1:
Multipole sources / 17.2:
Nonuniform spherical source. Spherical harmonics / 17.3:
Radiation from a continuous source distribution / 17.4:
Huygens' principle and scattering / 17.5:
Acoustic scattering / 17.6:
Electromagnetic scattering / 17.7:
Surface waves on a liquid / 18:
Waves on shallow water / 18.1:
Surface tension / 18.2:
Waves on deep water. Effect of surface tension / 18.3:
Effect of viscosity / 18.4:
Thermal ripples and Brillouin scattering / 18.5:
Liquid-liquid interface. Critical phenomenon / 18.6:
Plasma oscillations and hydromagnetic waves / 19:
The plasma state / 19.1:
Longitudinal waves. (Plasma oscillations) / 19.2:
Transverse waves. (Hydromagnetic or Alfven waves) / 19.3:
Waves in solids / 20:
Longitudinal waves in a rod / 20.1:
Shear waves / 20.2:
Wave reflection. Energy considerations / 20.3:
Bending waves on a plate / 20.4:
Displacement, deformation, and rotation / 20.5:
Stress-strain relation / 20.6:
Relations between elastic constants / 20.7:
Longitudinal and transverse waves / 20.8:
Wave conversion / 20.9:
The Rayleigh wave / 20.10:
Seismology / 20.11:
Feedback oscillations / 21:
The frequency equation / 21.1:
Valve instability / 21.2:
Instability of a vortex sheet / 21.3:
Whistles and wind instruments / 21.4:
Lasers / 21.5:
Heat maintained oscillations. The Rijke tube / 21.6:
Index
Preface
Oscillations / Part 1:
Review of elementary concepts and examples / 1:
31.

図書

図書
Alan Gibbons, Wojciech Rytter
出版情報: Cambridge [Cambridgeshire] : Cambridge University Press, c1988  viii, 259 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
The model of parallel computation / 1.1:
Some general algorithmic techniques / 1.2:
Reducing the number of processors / 1.3:
Examples of fast parallel computations on vectors and lists / 1.4:
Bibliography
Graph algorithms / 2:
Parallel computations on trees / 2.1:
Paths, spanning trees, connected components and blocks / 2.2:
Eulerian circuits and maximal matchings / 2.3:
Colouring of graphs / 2.4:
Bibliographic notes
Expression evaluation / 3:
Constructing the expression tree / 3.1:
A parallel pebble game with applications to expression evaluation / 3.2:
An optimal parallel algorithm for expression evaluation / 3.3:
The optimal parallel transformation of regular expressions to non-deterministic finite automata / 3.4:
Evaluation of generalised expressions: straight-line programs / 3.5:
More efficient algorithms for dynamic programming / 3.6:
A more algebraic point of view: a method of simultaneous substitutions / 3.7:
Parallel recognition and parsing of context-free languages / 4:
Parallel recognition of general context-free languages / 4.1:
Parallel recognition of unambiguous context-free languages / 4.2:
Parallel parsing of general context-free languages / 4.3:
Optimal parallel recognition and parsing of bracket languages / 4.4:
Optimal parallel recognition of input-driven languages / 4.5:
Fast parallel sorting / 5:
Batcher's sorting networks / 5.1:
Cole's optimal parallel merge sort / 5.2:
A theoretical optimal sorting network: Paterson's version of the algorithm of Ajtai, Komlos and Szemeredi / 5.3:
Parallel string matching / 6:
Analysis of the text / 6.1:
Preprocessing the pattern / 6.2:
Complexity of the whole pattern-matching algorithm / 6.3:
P-completeness: hardly parallelisable problems / 7:
A first P-complete problem / 7.1:
A selection of P-complete problems / 7.2:
Index of definitions, techniques and algorithms
Preface
Introduction / 1:
The model of parallel computation / 1.1:
32.

図書

図書
Nationale Forschungs- und Gedenkstätten der klassischen deutschen Literatur in Weimar, Goethe- und Schiller-Archiv. ; [Herausgeber, Karl-Heinz Hahn ; Redaktor, Irmtraut Schmid]
出版情報: Weimar : H. Böhlau, 1980-  v. ; 25 cm
所蔵情報: loading…
33.

図書

図書
IFIP Working Conference on Command Languages, Berchtesgaden, West Germany, 10-14 September 1979 ; organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing ; edited by David Beech
出版情報: Amsterdam ; New York : North-Holland Pub. Co. , New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980  viii, 424 p. ; 23 cm
所蔵情報: loading…
34.

図書

図書
Margaret Labash Young, editor
出版情報: Detroit, Mich. : Gale Research Co., c1987  2 v. (1670 p.) ; 29 cm
所蔵情報: loading…
35.

図書

図書
Martin Schechter
出版情報: New York : North Holland, c1981  xx, 324 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
A Message to the Reader
List of Symbols
One-Dimensional Motion / Chapter 1.:
Position / 1.1.:
Mathematical Expectation / 1.2.:
Momentum / 1.3.:
Energy / 1.4.:
Observables / 1.5.:
Operators / 1.6.:
Functions of Observables / 1.7.:
Self-Adjoint Operators / 1.8.:
Hilbert Space / 1.9.:
The Spectral Theorem / 1.10.:
Exercises
The Spectrum / Chapter 2.:
The Resolvent / 2.1.:
Finding the Spectrum / 2.2.:
The Position Operator / 2.3.:
The Momentum Operator / 2.4.:
The Energy Operator / 2.5.:
The Potential / 2.6.:
A Class of Functions / 2.7.:
The Spectrum of H / 2.8.:
The Essential Spectrum / Chapter 3.:
An Example / 3.1.:
A Calculation / 3.2.:
Finding the Eigenvalues / 3.3.:
The Domain of H / 3.4.:
Back to Hilbert Space / 3.5.:
Compact Operators / 3.6.:
Relative Compactness / 3.7.:
Proof of Theorem 3.7.5 / 3.8.:
The Negative Eigenvalues / Chapter 4.:
The Possibilities / 4.1.:
Forms Extensions / 4.2.:
The Remaining Proofs / 4.3.:
Negative Eigenvalues / 4.4.:
Existence of Bound States / 4.5.:
Existence of Infinitely Many Bound States / 4.6.:
Existence of Only a Finite Number of Bound States / 4.7.:
Another Criterion / 4.8.:
Estimating the Spectrum / Chapter 5.:
Introduction / 5.1.:
Some Crucial Lemmas / 5.2.:
A Lower Bound for the Spectrum / 5.3.:
Lower Bounds for the Essential Spectrum / 5.4.:
An Inequality / 5.5.:
Bilinear Forms / 5.6.:
Intervals Containing the Essential Spectrum / 5.7.:
Coincidence of the Essential Spectrum with an Interval / 5.8.:
The Harmonic Oscillator / 5.9.:
The Morse Potential / 5.10.:
Scattering Theory / Chapter 6.:
Time Dependence / 6.1.:
Scattering States / 6.2.:
Properties of the Wave Operators / 6.3.:
The Domains of the Wave Operators / 6.4.:
Local Singularities / 6.5.:
Long-Range Potentials / Chapter 7.:
The Coulomb Potential / 7.1.:
Some Examples / 7.2.:
The Estimates / 7.3.:
The Derivatives of V(x) / 7.4.:
The Relationship Between X[subscript t] and V(x) / 7.5.:
An Identity / 7.6.:
The Reduction / 7.7.:
Mollifiers / 7.8.:
Time-Independent Theory / Chapter 8.:
The Resolvent Method / 8.1.:
The Theory / 8.2.:
A Simple Criterion / 8.3.:
The Application / 8.4.:
Completeness / Chapter 9.:
Definition / 9.1.:
The Abstract Theory / 9.2.:
Some Identities / 9.3.:
Another Form / 9.4.:
The Unperturbed Resolvent Operator / 9.5.:
The Perturbed Operator / 9.6.:
Analytic Dependence / 9.7.:
Projections / 9.9.:
An Analytic Function Theorem / 9.10.:
The Combined Results / 9.11.:
Absolute Continuity / 9.12.:
The Intertwining Relations / 9.13.:
Strong Completeness / 9.14.:
The More Difficult Problem / 10.1.:
The Technique / 10.2.:
Verification for the Hamiltonian / 10.4.:
An Extension / 10.5.:
The Principle of Limiting Absorption / 10.6.:
Oscillating Potentials / Chapter 11.:
A Surprise / 11.1.:
The Hamiltonian / 11.2.:
A Variation / 11.3.:
Examples / 11.5.:
Eigenfunction Expansions / Chapter 12.:
The Usefulness / 12.1.:
The Problem / 12.2.:
Operators on L[superscript p] / 12.3.:
Weighted L[superscript p]-Spaces / 12.4.:
Extended Resolvents / 12.5.:
The Formulas / 12.6.:
Some Consequences / 12.7.:
Summary / 12.8.:
Restricted Particles / Chapter 13.:
A Particle Between Walls / 13.1.:
The Energy Levels / 13.2.:
Compact Resolvents / 13.3.:
One Opaque Wall / 13.4.:
Scattering on a Half-Line / 13.5.:
The Spectral Resolution for the Free Particle on a Half-Line / 13.6.:
Hard-Core Potentials / Chapter 14.:
Local Absorption / 14.1.:
The Modified Hamiltonian / 14.2.:
The Resolvent Operator for H[subscript 1] / 14.3.:
The Wave Operators W[subscript plus or minus] (H[subscript 1] H[subscript 0]) / 14.4.:
Propagation / 14.5.:
Proof of Theorem 14.5.1 / 14.6.:
Completeness of the Wave Operators W[subscript plus or minus], (H[subscript 1] H[subscript 0]) / 14.7.:
The Wave Operators W[subscript plus or minus] (H, H[subscript 1]) / 14.8.:
A Regularity Theorem / 14.9.:
A Family of Spaces / 14.10.:
The Invariance Principle / Chapter 15.:
A Simple Result / 15.1.:
Trace Class Operators / 15.3.:
The Abstract Theorem / 16.1.:
Hilbert--Schmidt Operators / 16.2.:
The Fourier Transform / 16.4.:
Exercises A
Exercises B / Appendix B.:
Holder's Inequality and Banach Space / Appendix C.:
Bibliography
Index
Preface
Acknowledgments
A Message to the Reader
36.

図書

図書
edited by Stanley I. Greenspan, George H. Pollock
出版情報: Madison, Conn. : International Universities Press, c1989-  v. ; 24 cm
所蔵情報: loading…
37.

図書

図書
edited by Daniel Teichroew and Gabor David
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  x, 616 p. ; 23 cm
所蔵情報: loading…
38.

図書

図書
edited by J. Bormann
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983  viii, 251 p. ; 23 cm
所蔵情報: loading…
39.

図書

図書
David Gilbarg, Neil S. Trudinger
出版情報: Berlin ; New York : Springer-Verlag, 1983  xiii, 513 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; 224
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Chapter 1:
Linear Equations / Part I:
Laplace''s Equation / Chapter 2:
The Mean Value Inequalities / 2.1:
Maximum and Minimum Principle / 2.2:
The Harnack Inequality / 2.3:
Green''s Representation / 2.4:
The Poisson Integral / 2.5:
Convergence Theorems / 2.6:
Interior Estimates of Derivatives / 2.7:
The Dirichlet Problem; the Method of Subharmonic Functions / 2.8:
CapacityProblems / 2.9:
The Classical Maximum Principle / Chapter 3:
The Weak Maximum Principle / 3.1:
The Strong Maximum Principle / 3.2:
Apriori Bounds / 3.3:
Gradient Estimates for Poisson''s Equation / 3.4:
A Harnack Inequality / 3.5:
Operators in Divergence FormNotesProblems / 3.6:
Poisson''s Equation and Newtonian Potential / Chapter 4:
H+ lder Continuity / 4.1:
The Dirichlet Problem for Poisson''s Equation / 4.2:
H+ lder Estimates for the Second Derivatives / 4.3:
Estimates at the Boundary / 4.4:
H+ lder Estimates for the First DerivativesNotes Problems / 4.5:
Banach and Hilbert Spaces / Chapter 5:
The Contraction Mapping / 5.1:
The Method of Cintinuity / 5.2:
The Fredholm Alternative / 5.3:
Dual Spaces and Adjoints / 5.4:
Hilbert Spaces / 5.5:
The Projection Theorem / 5.6:
The Riesz Representation Theorem / 5.7:
The Lax-Milgram Theorem / 5.8:
The Fredholm Alternative in Hilbert Spaces / 5.9:
Weak CompactnessNotesProblems / 5.10:
Classical Solutions; the Schauder Approach / Chapter 6:
The Schauder Interior Estimates / 6.1:
Boundary and Global Estimates / 6.2:
The Dirichlet Problem / 6.3:
Interior and Boundary Regularity / 6.4:
An Alternative Approach / 6.5:
Non-Uniformly Elliptic Equations / 6.6:
Other Boundary Conditions; the Obliue Derivative Problem / 6.7:
Appendix 1: Interpolation Inequalities / 6.8:
Appendix 2: Extension LemmasNotesProblems / 6.9:
Sobolev Spaces / Chapter 7:
L^p spaces / 7.1:
Regularization and Approximation by Smooth Functions / 7.2:
Weak Derivatives / 7.3:
The Chain Rule / 7.4:
The W^(k,p) Spaces / 7.5:
Density Theorems / 7.6:
Imbedding Theorems / 7.7:
Potential Estimates and Imbedding Theorems / 7.8:
The Morrey and John-Nirenberg Estimes / 7.9:
Compactness Results / 7.10:
Difference Quotients / 7.11:
Extension and InterpolationNotesProblems / 7.12:
Generalized Solutions and Regularity / Chapter 8:
Solvability of the Dirichlet Problem / 8.1:
Diferentiability of Weak Solutions / 8.3:
Global Regularity / 8.4:
Global Boundedness of Weak Solutions / 8.5:
Local Properties of Weak Solutions / 8.6:
Local Estimates at the Boundary / 8.7:
H+ lder Estimates for the First Derivatives / 8.11:
The Eigenvalue ProblemNotesProblems / 8.12:
Strong Solutions / Chapter 9:
Maximum Princiles for Strong Solutions / 9.1:
L^p Estimates: Preliminary Analysis / 9.2:
The Marcinkiewicz Interpolation Theorem / 9.3:
The Calderon-Zygmund Inequality / 9.4:
L^p Estimates / 9.5:
A Local Maximum Principle / 9.6:
H+ lder and Harnack Estimates / 9.8:
Local Estimates at the BoundaryNotesProblems / 9.9:
Quasilinear Equations / Part II:
Maximum and Comparison Principles / Chapter 10:
The Comparison Principle / 10.1:
Maximum Principles / 10.2:
A Counterexample / 10.3:
Comparison Principles for Divergence Form Operators / 10.4:
Maximum Principles for Divergence Form Operators Notes Problems / 10.5:
Topological Fixed Point Theorems and Their Application / Chapter 11:
The Schauder Fixes Point Theorem / 11.1:
The Leray-Schauder Theorem: a Special Case / 11.2:
An Application / 11.3:
The Leray-Schauder Fixed Point Theorem / 11.4:
Variational ProblemsNotes / 11.5:
Equations in Two Variables / Chapter 12:
Quasiconformal Mappings / 12.1:
h+ lder Gradient Estimates for Linear Equations / 12.2:
The Dirichlet Problem for Uniformly Elliptic Equations / 12.3:
Non-Uniformly Elliptic EquationsNotesProblems / 12.4:
H+ lder Estimates for the Gradient / Chapter 13:
Equations of Divergence Form / 13.1:
Equations of General Form; the Interior Estimate / 13.2:
Equations of General Form; the Boundary Estimate / 13.4:
Application to the Dirichlet ProblemNotes / 13.5:
Boundary Gradient Estimates / Chapter 14:
General Domains / 14.1:
Convex Domains / 14.2:
Boundary Curvature Conditions / 14.3:
Non-Existence Results / 14.4:
Continuity Estimates / 14.5:
Appendix: Boundary Curvature and the Distance FunctionNotesProblems / 14.6:
Introduction / Chapter 1:
Linear Equations / Part I:
Laplace''s Equation / Chapter 2:
40.

図書

図書
edited by A.M. Naveira, A. Ferrández and F. Mascaró
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  viii, 306 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1209
所蔵情報: loading…
41.

図書

図書
M. Wirsing, J.A. Bergstra, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989-c1991  2 v. ; 25 cm
シリーズ名: Lecture notes in computer science ; 394, 490
所蔵情報: loading…
42.

図書

図書
金井隆編著
出版情報: 東京 : 秀和システムトレーディング, 1985.2  276p ; 21cm
所蔵情報: loading…
43.

図書

図書
坂本浩著
出版情報: 東京 : 日本ソフトバンク, 1989  冊 ; 21cm
所蔵情報: loading…
44.

図書

図書
James W. Nilsson
出版情報: Reading, Mass. : Addison-Wesley, c1986  xviii, 860 p. ; 25 cm
シリーズ名: Addison-Wesley series in electrical engineering
所蔵情報: loading…
目次情報: 続きを見る
List of Examples
Preface
Circuit Variables / Chapter 1:
Electrical Engineering: An Overview / 1.1:
The International System of Units / 1.2:
Circuit Analysis: An Overview / 1.3:
Voltage and Current / 1.4:
The Ideal Basic Circuit Element / 1.5:
Power and Energy / 1.6:
Summary
Problems
Circuit Elements / Chapter 2:
Practical Perspective: Electrical Safety
Voltage and Current Sources / 2.1:
Electrical Resistance (Ohm's Law) / 2.2:
Construction of a Circuit Model / 2.3:
Kirchhoff's Laws / 2.4:
Analysis of a Circuit Containing Dependent Sources / 2.5:
Simple Resistive Circuits / Chapter 3:
Practical Perspective: A Rear Window Defroster
Resistors in Series / 3.1:
Resistors in Parallel / 3.2:
The Voltage-Divider and Current-Divider Circuits / 3.3:
Voltage Division and Current Division / 3.4:
Measuring Voltage and Current / 3.5:
Measuring Resistance-The Wheatstone Bridge / 3.6:
Delta-to-Wye (Pi-to-Tee) Equivalent Circuits / 3.7:
Techniques of Circuit Analysis / Chapter 4:
Practical Perspective: Circuits with Realistic Resistors
Terminology / 4.1:
Introduction to the Node-Voltage Method / 4.2:
The Node-Voltage Method and Dependent Sources / 4.3:
The Node-Voltage Method: Some Special Cases / 4.4:
Introduction to the Mesh-Current Method / 4.5:
The Mesh-Current Method and Dependent Sources / 4.6:
The Mesh-Current Method: Some Special Cases / 4.7:
The Node-Voltage Method Versus the Mesh-Current Method / 4.8:
Source Transformations / 4.9:
Thevenin and Norton Equivalents / 4.10:
More on Deriving a Thevenin Equivalent / 4.11:
Maximum Power Transfer / 4.12:
Superposition / 4.13:
The Operational Amplifier / Chapter 5:
Practical Perspective: Strain Gages
Operational Amplifier Terminals / 5.1:
Terminal Voltages and Currents / 5.2:
The Inverting-Amplifier Circuit / 5.3:
The Summing-Amplifier Circuit / 5.4:
The Noninverting-Amplifier Circuit / 5.5:
The Difference-Amplifier Circuit / 5.6:
A More Realistic Model for the Operational Amplifier / 5.7:
Inductance, Capacitance, and Mutual Inductance / Chapter 6:
Practical Perspective: Proximity Switches
The Inductor / 6.1:
The Capacitor / 6.2:
Series-Parallel Combinations of Inductance and Capacitance / 6.3:
Mutual Inductance / 6.4:
A Closer Look at Mutual Inductance / 6.5:
Response of First-Order RL and RC Circuits / Chapter 7:
Practical Perspective: A Flashing Light Circuit
The Natural Response of an RL Circuit / 7.1:
The Natural Response of an RC Circuit / 7.2:
The Step Response of RL and RC Circuits / 7.3:
A General Solution for Step and Natural Responses / 7.4:
Sequential Switching / 7.5:
Unbounded Response / 7.6:
The Integrating Amplifier / 7.7:
Natural and Step Responses of RLC Circuits / Chapter 8:
Practical Perspective: An Ignition Circuit
Introduction to the Natural Response of a Parallel RLC Circuit / 8.1:
The Forms of the Natural Response of a Parallel RLC Circuit / 8.2:
The Step Response of a Parallel RLC Circuit / 8.3:
The Natural and Step Response of a Series RLC Circuit / 8.4:
A Circuit with Two Integrating Amplifiers / 8.5:
Sinusoidal Steady-State Analysis / Chapter 9:
Practical Perspective: A Household Distribution Circuit
The Sinusoidal Source / 9.1:
The Sinusoidal Response / 9.2:
The Phasor / 9.3:
The Passive Circuit Elements in the Frequency Domain / 9.4:
Kirchoff's Laws in the Frequency Domain / 9.5:
Series, Parallel, and Delta-to-Wye Simplifications / 9.6:
Source Transformations and Thevenin-Norton Equivalent Circuits / 9.7:
The Node-Voltage Method / 9.8:
The Mesh-Current Method / 9.9:
The Transformer / 9.10:
The Ideal Transformer / 9.11:
Phasor Diagrams / 9.12:
Sinusoidal Steady-State Power Calculations / Chapter 10:
Practical Perspective: Heating Appliances
Instantaneous Power / 10.1:
Average and Reactive Power / 10.2:
The rms Value and Power Calculations / 10.3:
Complex Power / 10.4:
Power Calculations / 10.5:
Balanced Three-Phase Circuits / 10.6:
Practical Perspective: Transmission and Distribution of Electric Power
Balanced Three-Phase Voltages / 11.1:
Three-Phase Voltage Sources / 11.2:
Analysis of the Wye-Wye Circuit / 11.3:
Analysis of the Wye-Delta Circuit / 11.4:
Power Calculations in Balanced Three-Phase Circuits / 11.5:
Measuring Average Power in Three-Phase Circuits / 11.6:
Introduction to the Laplace Transform / Chapter 12:
Definition of the Laplace Transform / 12.1:
The Step Function / 12.2:
The Impulse Function / 12.3:
Functional Transforms / 12.4:
Operational Transforms / 12.5:
Applying the Laplace Transform / 12.6:
Inverse Transforms / 12.7:
Poles and Zeros of F(s) / 12.8:
Initial- and Final-Value Theorems / 12.9:
The Laplace Transform in Circuit Analysis / Chapter 13:
Practical Perspective: Surge Suppressors
Circuit Elements in the s Domain / 13.1:
Circuit Analysis in the s Domain / 13.2:
Applications / 13.3:
The Transfer Function / 13.4:
The Transfer Function in Partial Fraction Expansions / 13.5:
The Transfer Function and the Convolution Integral / 13.6:
The Transfer Function and the Steady-State Sinusoidal Response / 13.7:
The Impulse Function in Circuit Analysis / 13.8:
Introduction to Frequency Selective Circuits / Chapter 14:
Practical Perspective: Pushbutton Telephone Circuits
Some Preliminaries / 14.1:
Low-Pass Filters / 14.2:
High-Pass Filters / 14.3:
Bandpass Filters / 14.4:
Bandreject Filters / 14.5:
Active Filter Circuits / Chapter 15:
Practical Perspective: Bass Volume Control
First-Order Low-Pass and High-Pass Filters / 15.1:
Scaling / 15.2:
Op Amp Bandpass and Bandreject Filters / 15.3:
Higher Order Op Amp Filters / 15.4:
Narrowband Bandpass and Bandreject Filters / 15.5:
Fourier Series / Chapter 16:
Fourier Series Analysis: An Overview / 16.1:
The Fourier Coefficients / 16.2:
The Effect of Symmetry on the Fourier Coefficients / 16.3:
An Alternative Trigonometric Form of the Fourier Series / 16.4:
An Application / 16.5:
Average-Power Calculations with Periodic Functions / 16.6:
The rms Value of a Periodic Function / 16.7:
The Exponential Form of the Fourier Series / 16.8:
Amplitude and Phase Spectra / 16.9:
The Fourier Transform / Chapter 17:
The Derivation of the Fourier Transform / 17.1:
The Convergence of the Fourier Integral / 17.2:
Using Laplace Transforms to Find Fourier Transforms / 17.3:
Fourier Transforms in the Limit / 17.4:
Some Mathematical Properties / 17.5:
Circuit Applications / 17.6:
Parseval's Theorem / 17.8:
Two-Port Circuits / Chapter 18:
The Terminal Equations / 18.1:
The Two-Port Parameters / 18.2:
Analysis of the Terminated Two-Port Circuit / 18.3:
Interconnected Two-Port Circuits / 18.4:
The Solution of Linear Simultaneous Equations / Appendix A:
Preliminary Steps / A.1:
Cramer's Method / A.2:
The Characteristic Determinant / A.3:
The Numerator Determinant / A.4:
The Evaluation of a Determinant / A.5:
Matrices / A.6:
Matrix Algebra / A.7:
Identity, Adjoint, and Inverse Matrices / A.8:
Partitioned Matrices / A.9:
Complex Numbers / A.10:
Notation / B.1:
The Graphical Representation of a Complex Number / B.2:
Arithmetic Operations / B.3:
Useful Identities / B.4:
The Integer Power of a Complex Number / B.5:
The Roots of a Complex Number / B.6:
More on Magnetically Coupled Coils and Ideal Transformers / Appendix C:
Equivalent Circuits for Magnetically Coupled Coils / C.1:
The Need for Ideal Transformers in the Equivalent Circuits / C.2:
The Decibel / Appendix D:
Bode Diagrams / Appendix E:
Real, First-Order Poles and Zeros / E.1:
Straight-Line Amplitude Plots / E.2:
More Accurate Amplitude Plots / E.3:
Straight-Line Phase Angle Plots / E.4:
Bode Diagrams: Complex Poles and Zeros / E.5:
Amplitude Plots / E.6:
Correcting Straight-Line Amplitude Plots / E.7:
Phase Angle Plots / E.8:
An Abbreviated Table of Trigonometric Identities / Appendix F:
An Abbreviated Table of Integrals / Appendix G:
Answers to Selected Problems / Appendix H:
Index
List of Examples
Preface
Circuit Variables / Chapter 1:
45.

図書

図書
Eric Rasmusen
出版情報: Oxford ; New York : B. Blackwell, 1989  352 p. ; 26 cm
所蔵情報: loading…
目次情報: 続きを見る
List of Figures
List of Tables
List of Games
Preface
Contents and Purpose
Changes in the Second Edition, 1994
Changes in the Third Edition, 2001
Changes in the Fourth Edition, 2006
Using the Book
The Level of Mathematics
Other Books
Contact Information
Acknowledgements
Introduction
History
Game Theory's Method
Exemplifying Theory
This Book's Style
Notes
Game Theory / Part 1:
The Rules of the Game / 1:
Definitions / 1.1:
Dominated and Dominant Strategies: The Prisoner's Dilemma / 1.2:
Iterated Dominance: The Battle of the Bismarck Sea / 1.3:
Nash Equilibrium: Boxed Pigs, the Battle of the Sexes, and Ranked Coordination / 1.4:
Focal Points / 1.5:
Problems
Classroom Game: Fisheries (polished)
Information / 2:
The Strategic and Extensive Forms of a Game / 2.1:
Information Sets / 2.2:
Perfect, Certain, Symmetric, and Complete Information / 2.3:
The Harsanyi Transformation and Bayesian Games / 2.4:
An Example: The Png Settlement Game / 2.5:
Classroom Game: Bayes' Rule at the Bar (in between)
Mixed and Continuous Strategies / 3:
Mixed Strategies: The Welfare Game / 3.1:
The Payoff-equating Method and Games of Timing / 3.2:
Mixed Strategies with General Parameters and N Players: The Civic Duty Game / 3.3:
Randomizing Is Not Always Mixing: The Auditing Game / 3.4:
Continuous Strategies: The Cournot Game / 3.5:
Continuous Strategies: The Bertrand Game, Strategic Complements, and Strategic Substitutes / 3.6:
Existence of Equilibrium / 3.7:
Classroom Game: The War of Attrition (polished)
Dynamic Games with Symmetric Information / 4:
Subgame Perfectness / 4.1:
An Example of Perfectness: Entry Deterrence I / 4.2:
Credible Threats, Sunks Costs, and the Open-set Problem in the Game of Nuisance Suits / 4.3:
Recoordination to Pareto-dominant Equilibria in Subgames: Pareto Perfection / 4.4:
Classroom Game: U.S. Air for Sale (polished)
Reputation and Repeated Games with Symmetric Information / 5:
Finitely Repeated Games and the Chainstore Paradox / 5.1:
Infinitely Repeated Games, Minimax Punishments, and the Folk Theorem / 5.2:
Reputation: The One-sided Prisoner's Dilemma / 5.3:
Product Quality in an Infinitely Repeated Game / 5.4:
Markov Equilibria and Overlapping Generations: Customer Switching Costs / 5.5:
Evolutionary Equilibrium: The Hawk-Dove Game / 5.6:
Classroom Game: The Repeated Prisoner's Dilemma (in between)
Dynamic Games with Incomplete Information / 6:
Perfect Bayesian Equilibrium: Entry Deterrence II and III / 6.1:
Refining Perfect Bayesian Equilibrium in the Entry Deterrence and PhD Admissions Games / 6.2:
The Importance of Common Knowledge: Entry Deterrence IV and V / 6.3:
Incomplete Information in the Repeated Prisoner's Dilemma: The Gang of Four Model / 6.4:
The Axelrod Tournament / 6.5:
Credit and the Age of the Firm: The Diamond Model / 6.6:
Classroom Game: The Repeated Prisoner's Dilemma under Incomplete Information (improveable)
Asymmetric Information / Part 2:
Moral Hazard: Hidden Actions / 7:
Categories of Asymmetric Information Models / 7.1:
A Principal-Agent Model: The Production Game / 7.2:
The Incentive Compatibility and Participation Constraints / 7.3:
Optimal Contracts: The Broadway Game / 7.4:
Classroom Game: Moral Hazard Contracts Game (improveable)
Further Topics in Moral Hazard / 8:
Efficiency Wages / 8.1:
Tournaments / 8.2:
Institutions and Agency Problems / 8.3:
Renegotiation: The Repossession Game / 8.4:
State-space Diagrams: Insurance Games I and II / 8.5:
Joint Production by Many Agents: The Holmstrom Teams Model / 8.6:
The Multitask Agency Problem / 8.7:
Classroom Game: Lobbying Teams (polished)
Adverse Selection / 9:
Introduction: Production Game VI / 9.1:
Adverse Selection under Certainty: Lemons I and II / 9.2:
Heterogeneous Tastes: Lemons Il and IV / 9.3:
Adverse Selection under Uncertainty: Insurance Game III / 9.4:
Market Microstructure / 9.5:
A Variety of Applications / 9.6:
Adverse Selection and Moral Hazard Combined: Production Game VII / 9.7:
Classroom Game: Adverse Selection in Stock Sales (improveable)
Mechanism Design and Postcontractual Hidden Knowledge / 10:
Mechanisms, Unravelling, Cross Checking, and the Revelation Principle / 10.1:
Myerson Mechanism Design / 10.2:
An Example of Postcontractual Hidden Knowledge: The Salesman Game / 10.3:
The Groves Mechanism / 10.4:
Price Discrimination / 10.5:
Rate-of-return Regulation and Government Procurement / 10.6:
Classroom Game: Regulatory Ratcheting (improveable)
Signaling / 11:
The Informed Player Moves First: Signalling / 11.1:
Variants on the Signalling Model of Education / 11.2:
General Comments on Signalling in Education / 11.3:
The Informed Player Moves Second: Screening / 11.4:
Two Signals: The Game of Underpricing New Stock Issues / 11.5:
Signal Jamming and Limit Pricing / 11.6:
Countersignalling / 11.7:
Classroom Game: Signalling Marriageability (improveable)
Applications / Part 3:
Bargaining / 12:
The Basic Bargaining Problem: Splitting a Pie / 12.1:
The Nash Bargaining Solution / 12.2:
Alternating Offers over Finite Time / 12.3:
Alternating Offers over Infinite Time / 12.4:
Incomplete Information / 12.5:
Setting Up a Way to Bargain: the Myerson-Satterthwaite Model / 12.6:
Classroom Game: Labor Bargaining (polished)
Auctions / 13:
Values Private and Common, Continuous and Discrete / 13.1:
Optimal Strategies under Different Rules in Private-value Auctions / 13.2:
Revenue Equivalence, Risk Aversion, and Uncertainty / 13.3:
Reserve Prices and the Marginal Revenue Approach / 13.4:
Common-value Auctions and the Winner's Curse / 13.5:
Asymmetric Equilibria, Affiliation, and Linkage: The Wallet Game / 13.6:
Classroom Game: Auctions (polished)
Pricing / 14:
Quantities as Strategies: Cournot Equilibrium Revisited / 14.1:
Capacity Constraints: The Edgeworth Paradox / 14.2:
Location Models / 14.3:
Comparative Statics and Supermodular Games / 14.4:
Vertical Differentiation / 14.5:
Durable Monopoly / 14.6:
Classroom Game: The Kleit Oligopoly Game (polished)
Mathematical Appendix
Notation / A.1:
The Greek Alphabet / A.2:
Glossary / A.3:
Formulas and Functions / A.4:
Probability Distributions / A.5:
Supermodularity / A.6:
Fixed Point Theorems / A.7:
Genericity / A.8:
Discounting / A.9:
Risk / A.10:
References and Name Index
Subject Index
List of Figures
List of Tables
List of Games
46.

図書

図書
Ronald L. Panton
出版情報: New York : Wiley, c1984  xv, 780 p. ; 25 cm
シリーズ名: A Wiley-Interscience publication
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preface to the Second Edition
Preface to the First Edition
Continuum Mechanics / 1:
Continuum Assumption / 1.1:
Fundamental Concepts, Definitions, and Laws / 1.2:
Space and Time / 1.3:
Density, Velocity, and Internal Energy / 1.4:
Interface between Phases / 1.5:
Conclusions / 1.6:
Problems
Thermodynamics / 2:
Systems, Properties, and Processes / 2.1:
Independent Variables / 2.2:
Temperature and Entropy / 2.3:
Fundamental Equations of Thermodynamics / 2.4:
Euler's Equation for Homogeneous Functions / 2.5:
Gibbs-Duhem Equation / 2.6:
Intensive Forms of Basic Equations / 2.7:
Dimensions of Temperature and Entropy / 2.8:
Working Equations / 2.9:
Ideal Gas / 2.10:
Incompressible Substance / 2.11:
Vector Calculus and Index Notation / 2.12:
Index National Rules / 3.1:
Definition of Vectors and Tensors / 3.2:
Special Symbols and Isotropic Tensors / 3.3:
Direction Cosines and the Law of Cosines / 3.4:
Algebra with Vectors / 3.5:
Symmetric and Antisymmetric Tensors / 3.6:
Algebra with Tensors / 3.7:
Vector Cross-Product / 3.8:
Alternative Definitions of Vectors and Tensors / 3.9:
Principal Axes and Values / 3.10:
Derivative Operations on Vector Fields / 3.11:
Integral Formulas of Gauss and Stokes / 3.12:
Leibnitz's Theorem / 3.13:
Kinematics of Local Fluid Motion / 3.14:
Lagrangian Viewpoint / 4.1:
Eulerian Viewpoint / 4.2:
Substantial Derivative / 4.3:
Decomposition of Motion / 4.4:
Elementary Motions in a Linear Shear Flow / 4.5:
Proof of Vorticity Characteristics / 4.6:
Rate-of-Strain Characteristics / 4.7:
Rate of Expansion / 4.8:
Streamline Coordinates / 4.9:
Basic Laws / 4.10:
Continuity Equation / 5.1:
Momentum Equation / 5.2:
Surface Forces / 5.3:
Stress Tensor Derivation / 5.4:
Interpretation of the Stress Tensor Components / 5.5:
Pressure and Viscous Stress Tensor / 5.6:
Differential Momentum Equation / 5.7:
Moment of Momentum, Angular Momentum, and Symmetry of T[subscript ij] / 5.8:
Energy Equation / 5.9:
Mechanical and Thermal Energy Equations / 5.10:
Energy Equation with Temperature as the Dependent Variable / 5.11:
Second Law of Thermodynamics / 5.12:
Integral Form of the Continuity Equation / 5.13:
Integral Form of the Momentum Equation / 5.14:
Momentum Equation for a Deformable Particle of Variable Mass / 5.15:
Energy Equation in Integral Form / 5.16:
Jump Equations at Interfaces / 5.17:
Newtonian Fluids and the Navier-Stokes Equations / 5.18:
Newton's Viscosity Law / 6.1:
Molecular Model of Viscous Effects / 6.2:
Non-Newtonian Liquids / 6.3:
No-Slip Condition / 6.4:
Fourier's Heat Conduction Law / 6.5:
Navier-Stokes Equations / 6.6:
Some Incompressible Flow Patterns / 6.7:
Pressure-Driven Flow in a Slot / 7.1:
Mechanical Energy, Head Loss, and Bernoulli Equations / 7.2:
Plane Couette Flow / 7.3:
Pressure-Driven Flow in a Slot with a Moving Wall / 7.4:
Double Falling Film on a Wall / 7.5:
Outer Solution for Rotary Viscous Coupling / 7.6:
Rayleigh Problem / 7.7:
Dimensional Analysis / 7.8:
Measurement and Dimensions / 8.1:
Variables and Functions / 8.2:
Pi Theorem and Its Application / 8.3:
Pump or Blower Analysis: Use of Extra Assumptions / 8.4:
Number of Primary Dimensions / 8.5:
Proof of Bridgman's Equation / 8.6:
Proof of the Pi Theorem / 8.7:
Dynamic Similarity / 8.8:
Similarity with Geometric Distortion / 8.9:
Nondimensional Formulation of Physical Problems / 8.10:
Compressible Flow / 8.11:
Compressible Couette Flow: Adiabatic Wall / 9.1:
Flow with Power Law Transport Properties / 9.2:
Inviscid Compressible Waves: Speed of Sound / 9.3:
Incompressible Flow / 9.4:
Characterization / 10.1:
Incompressible Flow as Low-Mach-Number Flow with Adiabatic Walls / 10.2:
Nondimensional Problem Statement / 10.3:
Characteristics of Incompressible Flow / 10.4:
Splitting the Pressure into Kinetic and Hydrostatic Parts / 10.5:
Mathematical Aspects of the Limit Process M[superscript 2] to 0 / 10.6:
Invariance of Incompressible Flow Equations under Unsteady Motion / 10.7:
Low-Mach-Number Flows with Constant-Temperature Walls / 10.8:
Energy Equation Paradox / 10.9:
Some Solutions of the Navier-Stokes Equations / 10.10:
Pressure-Driven Flow in Tubes of Various Cross Sections: Elliptical Tube / 11.1:
Flow in a Rectangular Tube / 11.2:
Channel with Longitudinal Ribs / 11.3:
Stokes's Oscillating Plate / 11.4:
Wall under an Oscillating Free Stream / 11.5:
Transient for a Stokes Oscillating Plate / 11.6:
Flow in a Slot with a Steady and Oscillating Pressure Gradient / 11.7:
Decay of an Ideal Line Vortex (Oseen Vortex) / 11.8:
Plane Stagnation-Point Flow (Hiemenz Flow) / 11.9:
Burgers Vortex / 11.10:
Complete Solution for Rotary Coupling / 11.11:
Von Karman Viscous Pump / 11.12:
Streamfunctions and the Velocity Potential / 11.13:
Streamlines / 12.1:
Streamfunction for Plane Flows / 12.2:
Flow in a Slot with Porous Walls / 12.3:
Streamlines and Streamsurfaces for a Three-Dimensional Flow / 12.4:
Vector Potential and the E[superscript 2] Operator / 12.5:
Velocity Potential and the Unsteady Bernoulli Equation / 12.6:
Flow Caused by a Sphere with Variable Radius / 12.7:
Vorticity Dynamics / 12.8:
Vorticity / 13.1:
Kinematic Results Concerning Vorticity / 13.2:
Vorticity Equation / 13.3:
Vorticity Diffusion / 13.4:
Vorticity Intensification by Straining Vortex Lines / 13.5:
Hill's Spherical Vortex / 13.6:
Production of Vorticity at a Stationary Wall / 13.7:
Production of Vorticity at a Translating Wall / 13.8:
Helmholtz's Laws for Inviscid Flow / 13.9:
Kelvin's Theorem / 13.10:
Inviscid Motion of Point Vortices / 13.11:
Reconnection of Vortex Lines / 13.12:
Development of Typical Vorticity Distributions / 13.13:
Vortex Breakdown / 13.14:
Flows at Moderate Reynolds Numbers / 13.15:
Some Unusual Flow Patterns / 14.1:
Entrance Flows / 14.2:
Entrance Flow into a Cascade of Plates: Computer Solution by the Streamfunction-Vorticity Method / 14.3:
Entrance Flow into a Cascade of Plates: Pressure Solution / 14.4:
Entrance Flow into a Cascade of Plates: Results / 14.5:
Flow around a Circular Cylinder / 14.6:
Jeffrey-Hamel Flow in a Wedge / 14.7:
Limiting Cases for Re to 0 and Re to -[infinity] / 14.8:
Asymptotic Analysis Methods / 14.9:
Oscillation of a Gas Bubble in a Liquid / 15.1:
Order Symbols, Gauge Functions, and Asymptotic Expansions / 15.2:
Inviscid Flow over a Wavy Wall / 15.3:
Nonuniform Expansions: Friedrich's Problem / 15.4:
Matching Process: Van Dyke's Rule / 15.5:
Composite Expansions / 15.6:
Characteristics of Overlap Regions / 15.7:
Lagerstrom's Problems / 15.8:
Characteristics of High-Reynolds-Number Flows / 15.9:
Physical Motivation / 16.1:
Inviscid Main Flows: Euler Equations / 16.2:
Pressure Changes in Steady Flows: Bernoulli Equations / 16.3:
Boundary Layers / 16.4:
Kinematic Decomposition of Flow Fields / 16.5:
General Approach / 17.1:
Helmholtz's Decomposition / 17.2:
Line Vortex and Vortex Sheet / 17.3:
Complex Lamellar Decomposition / 17.4:
Ideal Flows in a Plane / 17.5:
Problem Formulation for Plane Ideal Flows / 18.1:
Simple Plane Flows / 18.2:
Line Source and Line Vortex / 18.3:
Flow over a Nose or a Cliff / 18.4:
Doublets / 18.5:
Cylinder in a Stream / 18.6:
Cylinder with Circulation in a Uniform Stream / 18.7:
Lift and Drag on Two-Dimensional Shapes / 18.8:
Magnus Effect / 18.9:
Conformal Transformations / 18.10:
Joukowski Transformation: Airfoil Geometry / 18.11:
Kutta Condition / 18.12:
Flow over a Joukowski Airfoil: Airfoil Lift / 18.13:
Numerical Method for Airfoils / 18.14:
Actual Airfoils / 18.15:
Schwarz-Christoffel Transformation / 18.16:
Diffuser or Contraction Flow / 18.17:
Gravity Waves in Liquids / 18.18:
Axisymmetric and Three-Dimensional Ideal Flows / 18.19:
General Equations and Characteristics of Three-Dimensional Ideal Flows / 19.1:
Swirling Flow Turned into an Annulus / 19.2:
Flow over a Weir / 19.3:
Point Source / 19.4:
Rankine Nose Shape / 19.5:
Experiments on the Nose Drag of Slender Shapes / 19.6:
Flow from a Doublet / 19.7:
Flow over a Sphere / 19.8:
Kinetic Energy / 19.9:
Wake Drag of Bodies / 19.10:
Induced Drag: Drag due to Lift / 19.11:
Lifting Line Theory / 19.12:
Added Mass of Accelerating Bodies / 19.13:
Blasius Flow over a Flat Plate / 19.14:
Displacement Thickness / 20.2:
Von Karman Momentum Integral / 20.3:
Von Karman-Pohlhausen Approximate Method / 20.4:
Falkner-Skan Similarity Solutions / 20.5:
Arbitrary Two-Dimensional Layers: Crank-Nicolson Difference Method / 20.6:
Vertical Velocity / 20.7:
Joukowski Airfoil Boundary Layer / 20.8:
Boundary Layer on a Bridge Piling / 20.9:
Boundary Layers Beginning at Infinity / 20.10:
Plane Boundary Layer Separation / 20.11:
Axisymmetric Boundary Layers / 20.12:
Jets / 20.13:
Far Wake of Nonlifting Bodies / 20.14:
Free Shear Layers / 20.15:
Unsteady and Erupting Boundary Layers / 20.16:
Entrance Flow into a Cascade / 20.17:
Three-Dimensional Boundary Layers / 20.18:
Boundary Layer with a Constant Transverse Pressure Gradient / 20.19:
Howarth's Stagnation Point / 20.20:
Three-Dimensional Separation / 20.21:
Flows at Low Reynolds Numbers / 20.22:
General Relations for Re to 0: Stokes's Equations / 21.1:
Global Equations for Stokes Flow / 21.2:
Streamfunction for Plane and Axisymmetric Flows / 21.3:
Internal Flows: Plane / 21.4:
Internal Flows: Three-Dimensional and Axisymmetric / 21.5:
Local Flows: Plane (Moffatt Vortices) / 21.6:
Local Flows: Axisymmetric / 21.7:
External Flow: Sphere in a Uniform Stream / 21.8:
Composite Expansion for Flow over a Sphere / 21.9:
Stokes Flow near a Circular Cylinder / 21.10:
Axisymmetric Particles / 21.11:
Oseen's Equations / 21.12:
Interference Effects / 21.13:
Lubrication Approximation / 21.14:
Basic Characteristics: Channel Flow / 22.1:
Flow in a Channel with a Porous Wall / 22.2:
Reynolds Equation for Bearing Theory / 22.3:
Slipper Pad Bearing / 22.4:
Squeeze-Film Lubrication: Viscous Adhesion / 22.5:
Journal Bearing / 22.6:
Surface Tension Effects / 22.7:
Interface Concepts and Laws / 23.1:
Statics: Plane Interfaces / 23.2:
Statics: Cylindrical Interfaces / 23.3:
Statics: Attached Bubbles and Drops / 23.4:
Constant-Tension Flows: Bubble in Infinite Stream / 23.5:
Constant-Tension Flows: Capillary Waves / 23.6:
Moving Contact Lines / 23.7:
Constant-Tension Flows: Coating Flows / 23.8:
Marangoni Flow / 23.9:
Introduction to Microflows / 23.10:
Molecules / 24.1:
Continuum Description / 24.2:
Compressible Flows in Long Channels / 24.3:
Simple Solutions with Slip / 24.4:
Gases / 24.5:
Couette Flow in Gases / 24.6:
Poiseuille Flow in Gases / 24.7:
Gas Flow over a Sphere / 24.8:
Liquid Flows in Tubes and Channels / 24.9:
Liquid Flows near Walls / 24.10:
Introduction to Stability and Transition / 24.11:
Linear Stability and Normal Modes as Perturbations / 25.1:
Kelvin-Helmholtz Inviscid Shear Layer Instability / 25.2:
Stability Problem for Nearly Parallel Viscous Flows / 25.3:
Orr-Sommerfeld Equation / 25.4:
Inviscid Stability of Nearly Parallel Flows / 25.5:
Viscous Stability of Nearly Parallel Flows / 25.6:
Experiments on Blasius Boundary Layers / 25.7:
Transition, Secondary Instability, and Bypass / 25.8:
Spatially Developing Open Flows / 25.9:
Transition in Free Shear Flows / 25.10:
Poiseuille and Plane Couette Flows / 25.11:
Inviscid Instability of Flows with Curved Streamlines / 25.12:
Taylor Instability of Couette Flow / 25.13:
Stability of Regions of Concentrated Vorticity / 25.14:
Other Instabilities: Taylor, Curved Pipe, Capillary Jets, and Gortler / 25.15:
Introduction to Turbulent Flows / 25.16:
Types of Turbulent Flows / 26.1:
Characteristics of Turbulent Flows / 26.2:
Reynolds Decomposition / 26.3:
Reynolds Stress / 26.4:
Free Turbulence: Plane Shear Layers / 26.5:
Free Turbulence: Turbulent Jet / 26.6:
Bifurcating and Blooming Jets / 26.7:
Correlations of Fluctuations / 26.8:
Mean and Turbulent Kinetic Energy / 26.9:
Energy Cascade: Kolmogorov Scales and Taylor Microscale / 26.10:
Wall Turbulence: Channel Flow Analysis / 26.11:
Wall Layers: Experiments and Empirical Correlation / 26.12:
Turbulent Structures / 26.13:
Properties of Fluids / 26.14:
Differential Operations in Cylindrical and Spherical Coordinates / B:
Basic Equations in Rectangular, Cylindrical, and Spherical Coordinates / C:
Streamfunction Relations in Rectangular, Cylindrical, and Spherical Coordinates / D:
Computer Code for Entrance Flow into a Cascade / E:
Computer Code for Boundary Layer Analysis / F:
Preface
Preface to the Second Edition
Preface to the First Edition
47.

図書

図書
edited by Thomas Beth
出版情報: Berlin : Springer-Verlag, 1983  viii, 402 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 149
所蔵情報: loading…
48.

図書

図書
Werner Müller
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  ix, 158 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1244
所蔵情報: loading…
49.

図書

図書
G. Cohen, P. Godlewski, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  xiv, 196 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 311
所蔵情報: loading…
50.

図書

図書
John Denis Sargan ; edited with an introduction by Esfandiar Maasoumi
出版情報: Cambridge ; New York : Cambridge University Press, 1988  2 v. ; 24 cm
所蔵情報: loading…
51.

図書

図書
edited by D. Butković, H. Kraljević, and S. Kurepa
出版情報: Berlin ; New York : Springer-Verlag, 1982  ix, 239 p. ; 24 cm
シリーズ名: Lecture notes in mathematics ; 948
所蔵情報: loading…
52.

図書

図書
Harald Stumpf
出版情報: Braunschweig : F. Vieweg, c1983  2 v. (xii, 826 p.) ; 23 cm
所蔵情報: loading…
53.

図書

図書
William R. Tanner, editor
出版情報: Dearborn, Mich. : Robotics International of SME, Society of Manufacturing Engineers, Marketing Services Dept., c1981  2 v. ; 29 cm
所蔵情報: loading…
54.

図書

図書
Martin Shubik
出版情報: Cambridge, Mass. : MIT Press, c1984  viii, 744 p. ; 24 cm
所蔵情報: loading…
55.

図書

図書
J.H. Davenport (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  viii, 499 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 378
所蔵情報: loading…
56.

図書

図書
G. Cohen, J. Wolfmann, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  ix, 327 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 388
所蔵情報: loading…
57.

図書

図書
edited by Alan L. Selman
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  vi, 400 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 223
所蔵情報: loading…
58.

図書

図書
by F. R. Ruckdeschel
出版情報: Peterborough, N.H. : BYTE/McGraw-Hill, c1981  2 v. ; 25 cm
所蔵情報: loading…
59.

図書

図書
editor-in-chief, Leonard R. Johnson ; associate editors, James Christensen ... [et al.]
出版情報: New York : Raven Press, c1981  2 v. ; 28 cm
所蔵情報: loading…
60.

図書

図書
editor, H. Haken
出版情報: Berlin ; New York : Springer-Verlag, 1981  viii, 275 p. ; 25 cm
シリーズ名: Springer series in synergetics ; v. 11
所蔵情報: loading…
61.

図書

図書
辻瑆, 中山純著
出版情報: 東京 : 放送大学教育振興会 , 東京 : 日本放送出版協会(発売), 1985-1990  7冊 ; 21cm
シリーズ名: 放送大学教材 ; 32017-1-8511,32017-1-8512, 32030-1-8511,32046-1-8611,32052-1-8611,32081-1-9011,32098-1-9011
所蔵情報: loading…
62.

図書

図書
I. Lasiecka, R. Triggiani, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  viii, 400 p. ; 25 cm
シリーズ名: Lecture notes in control and information sciences ; 97
所蔵情報: loading…
63.

図書

図書
James M. Ethridge, Cecilia Ann Marlow, editor
出版情報: Detroit : Information Enterprises : distributed by Gale Research Co., [1980]-  v. ; 29 cm
所蔵情報: loading…
64.

図書

図書
Karin E. Koek and Susan Boyles Martin, editors ; Michael A. Paré, associate editor
出版情報: Detroit : Gale Research Company, c1988  v. ; 29 cm
所蔵情報: loading…
65.

図書

図書
edited by D. Bjørner
出版情報: Berlin ; New York : Springer-Verlag, 1980  xi, 566 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 86
所蔵情報: loading…
66.

図書

図書
[edited by] Forrest L. Carter
出版情報: New York : M. Dekker, 1982, c1987  v. ; 24 cm
所蔵情報: loading…
67.

図書

図書
edited by S. Graffi
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  viii, 272 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1159
所蔵情報: loading…
68.

図書

図書
edited by S. Albeverio, Ph. Blanchard and L. Streit
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 359 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1250
所蔵情報: loading…
69.

図書

図書
edited by B. Grigelionis ; [organized by Institute of Mathematics and Cybernetics of the Lithuanian Academy of Sciences and the Steklov Mathematical Institute of the Academy of Sciences of the USSR]
出版情報: Berlin ; New York : Springer-Verlag, 1980  ix, 363 p. ; 24 cm
シリーズ名: Lecture notes in control and information sciences ; 25
所蔵情報: loading…
70.

図書

図書
J. van Leeuwen (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vii, 428 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 312
所蔵情報: loading…
71.

図書

図書
edited by Abbe Mowshowitz
出版情報: Amsterdam ; New York : North-Holland Pub. Co. ; sole destributors for the U.S.A. and Canada, Elsevier Noth-Holland, 1980-  viii, 305 p. ; 23 cm
所蔵情報: loading…
72.

図書

図書
edited by K. Itô and T. Hida
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  222 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1203
所蔵情報: loading…
73.

図書

図書
R. Kh. Zeytounian
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986-c1987  2 v. ; 25 cm
シリーズ名: Lecture notes in physics ; 245,276
所蔵情報: loading…
74.

図書

図書
edited by E. Balslev
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  222 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1218
所蔵情報: loading…
75.

図書

図書
Peter Whittle
出版情報: Chichester ; New York : Wiley, c1982-83  2 v. ; 24 cm
シリーズ名: Wiley series in probability and mathematical statistics ; . Applied probability and statistics
所蔵情報: loading…
76.

図書

図書
H. Djidjev (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 308 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 401
所蔵情報: loading…
77.

図書

図書
Feynman, Leighton, Sands
出版情報: Redwood, City, Calif. : Addison-Wesley, c1989  3 v. ; 29 cm
所蔵情報: loading…
78.

図書

図書
M.P. Chytil, L. Janiga, V. Koubek (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 562 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 324
所蔵情報: loading…
79.

図書

図書
sponsored by Robotics International of SME
出版情報: Dearborn, Mich. : Society of Manufacturing Engineers, c1984  2 v. ; 28 cm
所蔵情報: loading…
目次情報:
v. 1. Applications for today
v. 2. Future considerations
v. 1. Applications for today
v. 2. Future considerations
80.

図書

図書
Rolf T. Nossum (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 233 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 345 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contents: Fundamental Mechanisms for Artificial Intelligence Programming Languages - An Introduction.
Advanced Topics in Automated Deduction.
Qualitative Reasoning.
Knowledge Acquisition for Expert Systems.
Fundamental Mechanisms in Machine Learning and Inductive Inference: Part 2.
Topics in Planning.
Natural Language Systems.
Contents: Fundamental Mechanisms for Artificial Intelligence Programming Languages - An Introduction.
Advanced Topics in Automated Deduction.
Qualitative Reasoning.
81.

図書

図書
G. Carlsson ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  ix, 456 p. ; 25 cm
シリーズ名: Lecture notes in mathematics ; 1370
所蔵情報: loading…
82.

図書

図書
Erika Mann ; herausgegeben von Anna Zanco Prestel
出版情報: München : Edition Spangenberg, c1984-c1985  2 v. ; 21 cm
所蔵情報: loading…
83.

図書

図書
editors, S. Boffi, C. Ciofi degli Atti & M.M. Giannini
出版情報: Singapore ; Philadelphia : World Scientific, c1985  xi, 622 p. ; 23 cm
所蔵情報: loading…
84.

図書

図書
Marvin Minsky ; illustrations by Juliana Lee
出版情報: New York ; Tokyo : Simon and Schuster, c1986  339 p. ; 29 cm
所蔵情報: loading…
目次情報: 続きを見る
PROLOGUE / 1:
The Agents of The Mind / 1.1:
The Mind and The Brain / 1.2:
The Society of Mind / 1.3:
The World of Blocks / 1.4:
Common Sense / 1.5:
Agents and AGencies / 1.6:
Wholes and Parts / 2:
Components and Connections / 2.1:
Novelists and REductionists / 2.2:
Parts and Wholes / 2.3:
Holes and Parts / 2.4:
Easy Things are Hard / 2.5:
Are People Mchines? / 2.6:
Conflict and Compromise / 3:
Conflict
Noncompromise
Hierarchies
HEterarchies
DEstructiveness
Pain and Pleasure Simplified
The Self / 4:
One Self or Many? / 4.1:
The Soul / 4.3:
The Conservative Self / 4.4:
Exploitation / 4.5:
Self-Control / 4.6:
Long-Range PLans / 4.7:
Ideals / 4.8:
INdividuality / 5:
CIrcular Causality / 5.1:
Unanswerable Questions / 5.2:
The Remote-Control Self / 5.3:
Personal Identity / 5.4:
Fashion and Style / 5.5:
Traits / 5.6:
Permanent Identity / 5.7:
Insight and Introspection / 6:
Consciousness / 6.1:
Signals and Signs / 6.2:
Thought-Experiments / 6.3:
B-Brains / 6.4:
Frozen Reflection / 6.5:
Momentary Mental Time / 6.6:
THE CAUSAL NOW / 6.7:
THINKING WITHOUT THINKING / 6.8:
HEADS IN THE CLOUDS / 6.9:
Worlds out of Mind / 6.10:
In-Sight / 6.11:
Internal Communication / 6.12:
Self-Knowledge is Dangerous / 6.13:
Confusion / 6.14:
Problems and Goals / 7:
Intelligence / 7.1:
Uncommon Sense / 7.2:
The Puzzle Principle / 7.3:
Problem Solving / 7.4:
Learning and Memory / 7.5:
Reinforcement and Reward / 7.6:
Local Responsibility / 7.7:
Difference-Engines / 7.8:
Intentions / 7.9:
Genius / 7.10:
A Theory of Memory / 8:
K-Lines: A Theory of Memory / 8.1:
RE-Membering / 8.2:
Mental States and Dispositions / 8.3:
Partial Mental States / 8.4:
Level-Bands / 8.5:
Levels / 8.6:
Fringes / 8.7:
Societies of Memories / 8.8:
Knowledge-Trees / 8.9:
Levels and Classifications / 8.10:
Layers of Societies / 8.11:
Summaries / 9:
Wanting and Liking / 9.1:
Gerrymandering / 9.2:
Learning From Failure / 9.3:
Enjoying Discomfort / 9.4:
Papert's Principle / 10:
Piaget's Experiments / 10.1:
Reasoning about Amounts / 10.2:
Priorities / 10.3:
The Society-of-More / 10.4:
About Piaget's Experiments / 10.6:
The Concept of Concept / 10.7:
Education and Development / 10.8:
Learning a Hierarchy / 10.9:
the Shape of Space / 11:
Seeing Red / 11.1:
The Shape of Space / 11.2:
Nearnesses / 11.3:
Innate Geography / 11.4:
Sensing Similarities / 11.5:
The Centered Self / 11.6:
Predestined Learning / 11.7:
Half-Brains / 11.8:
Dumbbell Theories / 11.9:
Learning Meaning / 12:
A Block-Arch Scenario / 12.1:
Uniframes / 12.2:
Structure and Function / 12.4:
The Functions of Structures / 12.5:
Accumulation / 12.6:
Accumulation Strategies / 12.7:
Problems Of Disunity / 12.8:
The Exception Principle / 12.9:
How Towers Work / 12.10:
How Causes Work / 12.11:
Meaning and Definition / 12.12:
Bridge-Definitions / 12.13:
Seeing and Believing / 13:
Reformulation / 13.1:
Boundaries / 13.2:
Children's Drawing-Frames / 13.3:
Learning A Script / 13.5:
The Frontier Effect / 13.6:
Duplications / 13.7:
Using Reformulations / 14:
The Body-Support Concept / 14.2:
Means and Ends / 14.3:
Seeing Squares / 14.4:
Brainstorming / 14.5:
The Investment Principle / 14.6:
Parts and Holes / 14.7:
The Power of Negative Thinking / 14.8:
The Interaction-Square / 14.9:
Consciousness and Memory / 15:
Momentary Mental State / 15.1:
Self-Examination / 15.2:
Memory / 15.3:
Memories Of Memories / 15.4:
The Immanence Illusion / 15.5:
Many Kinds Of Memory / 15.6:
Memory Rearrangements / 15.7:
Anatomy Of Memory / 15.8:
Interruption And Recovery / 15.9:
Losing Track / 15.10:
The Recursion Principle / 15.11:
Emotion / 16:
Mental Growth / 16.1:
Mental Proto-Specialists / 16.3:
Cross-Exclusion / 16.4:
Avalanche Effects / 16.5:
Motivation / 16.6:
Stimulus Vs. Simulus / 16.7:
Infant Emotions / 16.9:
Adult Emotions / 16.10:
Development

PROLOGUE / 1:
The Agents of The Mind / 1.1:
The Mind and The Brain / 1.2:
85.

図書

図書
dargestellt von Hilde Höllerer-März, Roland Ottenbreit und Christoph Wetzel ; unter Mitarbeit von Reinhold Erz und Gerhard Wiese
出版情報: Salzburg : Andreas, c1980  2 v. (624 p.) ; 24 cm
シリーズ名: Die Grossen Klassiker ; Bd. 5-6
所蔵情報: loading…
86.

図書

図書
International Congress on the Chemistry of Cement
出版情報: Paris : Editions Septima, 1980  v. ; 28 cm
所蔵情報: loading…
87.

図書

図書
出版情報: New York : Elsevier, c1988  2 v. ; 28 cm.
所蔵情報: loading…
88.

図書

図書
International Congress of Mathematicians
出版情報: Helsinki : ICM, 1980  2 v. (1022 p.) ; 25 cm
所蔵情報: loading…
89.

図書

図書
edited by J. Szejtli
出版情報: Dordrecht, Holland ; Boston : D. Reidel , Hingham, MA : Distributors for the U.S.A. and Canada, Kluwer Boston, c1982  xiii, 543 p. ; 25 cm
シリーズ名: Advances in inclusion science
所蔵情報: loading…
90.

図書

図書
Karl Petersen
出版情報: Cambridge [Cambridgeshire] : Cambridge University Press, 1983  xi, 329 p. ; 24 cm
シリーズ名: Cambridge studies in advanced mathematics ; 2
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction and preliminaries / 1:
The basic questions of ergodic theory / 1.1:
The basic examples / 1.2:
Hamiltonian dynamics / A.:
Stationary stochastic processes / B.:
Bernoulli shifts / C.:
Markov shifts / D.:
Rotations of the circle / E.:
Rotations of compact abelian groups / F.:
Automorphisms of compact groups / G.:
Gaussian systems / H.:
Geodesic flows / I.:
Horocycle flows / J.:
Flows and automorphisms on homogeneous spaces / K.:
The basic constructions / 1.3:
Factors
Products
Skew products
Flow under a function
Induced transformations
Inverse limits
Natural extensions
Some useful facts from measure theory and functional analysis / 1.4:
Change of variables
Proofs by approximation
Measure algebras and Lebesgue spaces
Conditional expectation
The Spectral Theorem
Topological groups, Haar measure, and character groups
The fundamentals of ergodic theory / 2:
The Mean Ergodic Theorem / 2.1:
The Pointwise Ergodic Theorem / 2.2:
Recurrence / 2.3:
Ergodicity / 2.4:
Strong mixing / 2.5:
Weak mixing / 2.6:
More about almost everywhere convergence / 3:
More about the Maximal Ergodic Theorem / 3.1:
Positive contractions
The maximal equality
Sign changes of the partial sums
The Dominated Ergodic Theorem and its converse
More about the Pointwise Ergodic Theorem / 3.2:
Maximal inequalities and convergence theorems
The speed of convergence in the Ergodic Theorem
Differentiation of integrals and the Local Ergodic Theorem / 3.3:
The Martingale convergence theorems / 3.4:
The maximal inequality for the Hilbert transform / 3.5:
The ergodic Hilbert transform / 3.6:
The filling scheme / 3.7:
The Chacon-Ornstein Theorem / 3.8:
More about recurrence / 4:
Construction of eigenfunctions / 4.1:
Existence of rigid factors
Almost periodicity
Construction of the eigenfunction
Some topological dynamics / 4.2:
Topological ergodicity and mixing
Equicontinuous and distal cascades
Uniform distribution mod 1
Structure of distal cascades
The Szemeredi Theorem / 4.3:
Furstenberg's approach to the Szemeredi and van der Waerden Theorems
Topological multiple recurrence, van der Waerden's Theorem, and Hindman's Theorem
Weak mixing implies weak mixing of all orders along multiples
Outline of the proof of the Furstenberg-Katznelson Theorem
The topological representation of ergodic transformations / 4.4:
Preliminaries
Recurrence along IP-sets
Perturbation to uniformity
Uniform polynomials
Conclusion of the argument
Two examples / 4.5:
Metric weak mixing without topological strong mixing
A prime transformation
Entropy / 5:
Entropy in physics, information theory, and ergodic theory / 5.1:
Physics
Information theory
Ergodic theory
Information and conditioning / 5.2:
Generators and the Kolmogorov-Sinai Theorem / 5.3:
More about entropy / 6:
More examples of the computation of entropy / 6.1:
Entropy of an automorphism of the torus
Entropy of a skew product
Entropy of an induced transformation
The Shannon-McMillan-Breiman Theorem / 6.2:
Topological entropy / 6.3:
Introduction to Ornstein Theory / 6.4:
Finitary coding between Bernoulli shifts / 6.5:
Sketch of the proof
Reduction to the case of a common weight
Framing the code
What to put in the s
Sociology
Construction of the isomorphism
References
Index
Preface
Introduction and preliminaries / 1:
The basic questions of ergodic theory / 1.1:
91.

図書

図書
Clifton J. [i.e. G.] Bergeron, Subhash H. Risbud
出版情報: Columbus, Ohio : American Ceramic Society, c1984  viii, 158 p. ; 29 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Thermodynamics and Phase Equilibria
Systems, Phases, and Components
Equilibrium
The Phase Rule
The One-Component System
LeChatelier's Principle
The Water System
Hypothetical Systems
The Silica System
The Titania and Zirconia Systems
The Carbon System
Problems
Bibliography and Supplementary Reading
The Two-Component System
The Binary Eutectic
Intermediate Compounds
Solid Solution
Liquid Immiscibility
Structural Consideration of Liquid Immiscibility
The System Al2O3-SiO2
The System CaO-SiO2
Determination of Phase Equilibria Diagrams
Experimental Methods
Thermodynamic Calculations and Estimations
Hypothetical Binary Systems, Phase Analysis
Hypothetical Binary Systems
Phase Analysis Diagrams
Ternary Systems
Method of Determining Composition
Isoplethal Studies in Ternary Systems
Alkemade Lines
Composition Triangles
Isothermal Sections
System with a Binary Compound Melting Incongruently
Peritectic and Eutectic Reactions during Cooling
Resorption during Cooling
Composition on an Alkemade Line
Phase Transformations
Decomposition of a Binary Compound Having a Phase Field in the Ternary System
Intermediate Ternary Compounds
Complex Cooling Paths
Ternary Solid Solution
Ternary System with Two Solid-Solution Phases
System MgO-"FeO"-SiO2
System MgO-Al2O3-SiO2
System Na2O-CaO-SiO2
Nonequilibrium Phases and Reactions
Reactions during Heating
Suppression of an Intermediate Compound
Glass Formation and Transformation Curves
Metastable Immiscibility
Solid Solutions
Quaternary Systems
System Representation
Determination of Phase Relations
Appendices
Reactive Atomic Weights
Molecular Weights of Oxides
Melting Points of Metal Oxides
Nonoxide Ceramic Systems
Introduction
Thermodynamics and Phase Equilibria
Systems, Phases, and Components
92.

図書

図書
A.G. Hamilton
出版情報: Cambridge [Eng.] ; New York : Cambridge University Press, 1988  viii, 228 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Informal statement calculus / 1:
Statements and connectives / 1.1:
Truth functions and truth tables / 1.2:
Rules for manipulation and substitution / 1.3:
Normal forms / 1.4:
Adequate sets of connectives / 1.5:
Arguments and validity / 1.6:
Formal statement calculus / 2:
The formal system L / 2.1:
The Adequacy Theorem for L / 2.2:
Informal predicate calculus / 3:
Predicates and quantifiers / 3.1:
First order languages / 3.2:
Interpretations / 3.3:
Satisfaction, truth / 3.4:
Skolemisation / 3.5:
Formal predicate calculus / 4:
The formal system K[subscript se] / 4.1:
Equivalence, substitution / 4.2:
Prenex form / 4.3:
The Adequacy Theorem for K / 4.4:
Models / 4.5:
Mathematical systems / 5:
Introduction / 5.1:
First order systems with equality / 5.2:
The theory of groups / 5.3:
First order arithmetic / 5.4:
Formal set theory / 5.5:
Consistency and models / 5.6:
The Godel Incompleteness Theorem / 6:
Expressibility / 6.1:
Recursive functions and relations / 6.3:
Godel numbers / 6.4:
The incompleteness proof / 6.5:
Computability, unsolvability, undecidability / 7:
Algorithms and computability / 7.1:
Turing machines / 7.2:
Word problems / 7.3:
Undecidability of formal systems / 7.4:
Countable and uncountable sets / Appendix:
Hints and solutions to selected exercises
References and further reading
Glossary of symbols
Index
Preface
Informal statement calculus / 1:
Statements and connectives / 1.1:
93.

図書

図書
[花園天皇著] ; 村田正志校訂
出版情報: 東京 : 続群書類従完成会, 1982.2-1986.12  3冊 ; 22cm
シリーズ名: 史料纂集 ; [古記録編] [62], [66], 80
所蔵情報: loading…
94.

図書

図書
佐野敏一, 高木宣昭, 竹内守共著
出版情報: 東京 : オーム社, 1987  2冊 ; 22cm
シリーズ名: 絵とき電子回路シリーズ ; 2-3
所蔵情報: loading…
95.

図書

図書
edited by R.W. Lewis, K. Morgan, O.C. Zienkiewicz
出版情報: Chichester [Eng.] : J. Wiley, c1981-1985  3 v. ; 24 cm
シリーズ名: Wiley series in numerical methods in engineering
A Wiley-Interscience publication
所蔵情報: loading…
96.

図書

図書
editor, Donald M. Ginsberg
出版情報: Singapore ; Teaneck : World Scientific, c1989-c1996  5 v. ; 23 cm
所蔵情報: loading…
97.

図書

図書
日外アソシエーツ株式会社編
出版情報: 東京 : 日外アソシエーツ , 東京 : 紀伊國屋書店 (発売), 1984.10-1994.6  7冊 ; 22cm
シリーズ名: 現代日本文学綜覧シリーズ ; 4, 12
所蔵情報: loading…
98.

図書

図書
edited by W.Y. Cheung
出版情報: New York ; Tokyo : Academic Press, 1980-1987  v. ; 24 cm
シリーズ名: Molecular biology : an international series of monographs and textbooks
所蔵情報: loading…
目次情報:
v. 1. Calmodulin
v. 1. Calmodulin
99.

図書

図書
edited by G.C. van der Veer ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  269 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 178
所蔵情報: loading…
100.

図書

図書
F. Ehlotzky (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 288 p. ; 25 cm
シリーズ名: Lecture notes in physics ; 282
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼