close
1.

電子ブック
ＥＢ
1. Advanced signal integrity for high-speed digital designs / (: electronic bk)
Stephen H. Hall, Howard L. Heck
出版情報: Hoboken, N.J. : Wiley : IEEE, 〓2009  1 online resource (xvii, 660 pages)
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
Introduction: The importance of signal integrity. / Chapter 1：
Computing Power: Past and Future / 1.1：
The problem / 1.2：
The Basics / 1.3：
A new realm of bus design / 1.4：
Scope / 1.5：
Summary / 1.6：
References / 1.7：
Electromagnetic Fundamentals for Signal Integrity. / Chapter 2：
Introduction / 2.1：
MaxwellÆs Equations / 2.2：
Common Vector Operators / 2.3：
Wave Propagation / 2.4：
Electrostatics / 2.5：
Magnetostatics / 2.6：
Power Flow and the Poynting Vector / 2.7：
Reflections of Electromagnetic Waves / 2.8：
Problems / 2.9：
Ideal Transmission Line Fundamentals. / Chapter 3：
Transmission Line Structures / 3.1：
Wave propagation on loss free transmission lines / 3.2：
Transmission line properties / 3.3：
Transmission line parameters for the loss free case / 3.4：
Transmission line reflections / 3.5：
Time domain Reflectometry / 3.6：
Crosstalk. / 3.7：
Mutual Inductance and Capacitance / 4.1：
Coupled Wave Equations / 4.2：
Coupled Line Analysis / 4.3：
Modal Analysis / 4.4：
Crosstalk Minimization / 4.5：
Non-ideal conductor models for transmission lines. / 4.6：
Signals propagating in an unbounded conductive media / 5.1：
Classic conductor model for transmission lines / 5.2：
Surface Roughness / 5.3：
Transmission line parameters with a non-ideal conductor / 5.4：
Electrical properties of dielectrics. / 5.5：
Polarization of dielectrics / 6.1：
Classification of dielectric materials / 6.2：
Frequency dependent dielectric behavior / 6.3：
Properties of a physical dielectric model / 6.4：
The fiber-weave effect / 6.5：
Environmental variation in dielectric behavior / 6.6：
Transmission line parameters for lossy dielectrics and realistic conductors / 6.7：
Differential signaling. / 6.8：
Removal of common mode noise / 7.1：
Differential Crosstalk / 7.2：
Virtual reference plane / 7.3：
Propagation of Modal Voltages / 7.4：
Common terminology / 7.5：
Drawbacks of differential signaling / 7.6：
Mathematical Requirements of Physical Channels. / 7.7：
Frequency domain effects in time domain simulations / 8.1：
Requirements for a physical Channel / 8.2：
Network Analysis for Digital Engineers. / 8.3：
High frequency voltage and current waves / 9.1：
Network Theory / 9.2：
Properties of Physical S-parameters / 9.3：
Topics in High-Speed Channel Modeling. / 9.4：
Creating a physical transmission line mode / 10.1：
Non-Ideal Return Paths / 10.2：
Vias / 10.3：
I/O Circuits and Models. / 10.4：
Push-Pull Transmitters / 11.1：
CMOS Receivers / 11.3：
ESD Protection Circuits / 11.4：
On-Chip Termination / 11.5：
Bergeron Diagrams / 11.6：
Open Drain Transmitters / 11.7：
Differential Current Mode Transmitters / 11.8：
Low Swing/Differential Receivers / 11.9：
IBIS Models / 11.10：
Equalization. / 11.11：
Continuous Time Linear Equalizers / 12.1：
Discrete Linear Equalizers / 12.3：
Decision Feedback Equalization / 12.4：
Modeling and Budgeting of Timing Jitter and Noise. / 12.5：
The Eye Diagram / 13.1：
Bit Error Rate / 13.2：
Jitter Sources and Budgets / 13.3：
Noise Sources and Budgets / 13.4：
Peak Distortion Analysis Methods / 13.5：
System Analysis Using Response Surface Modeling. / 13.6：
Case Study: 10 Gb/s differential PCB interface / 14.1：
RSM Construction by Least Squares Fitting / 14.3：
Measures of Fit / 14.4：
Significance Testing / 14.5：
Confidence Intervals / 14.6：
Sensitivity Analysis and Design Optimization / 14.7：
Defect Rate Prediction Using Monte Carlo Simulation / 14.8：
Additional RSM Considerations / 14.9：
Useful formulae, identities, units and constants / 14.10：
4-port Conversions between T and S-parameters / Appendix B：
Critical values of the F-statistic / Appendix C：
Critical values of the t-statistic. / Appendix D：
Derivation of the internal inductance using the Hilbert Transform / Appendix E：
Introduction: The importance of signal integrity
Electromagnetic Fundamentals for Signal Integrity
Maxwell's Equations
Ideal Transmission Line Fundamentals
Crosstalk
Non-ideal conductor models for transmission lines
Electrical properties of dielectrics
Differential signaling
Mathematical Requirements of Physical Channels
Network Analysis for Digital Engineers
Topics in High-Speed Channel Modeling
I/O Circuits and Models
Equalization
Modeling and Budgeting of Timing Jitter and Noise
Introduction: The Importance of Signal Integrity / 13<$$$>：
The Problem
A New Realm of Bus Design
Scope of the Book
Maxwell's Equations / 2：
Vector / 2.2.1：
Dot Product / 2.2.2：
Cross Product / 2.2.3：
Vector and Scalar Fields / 2.2.4：
Flux / 2.2.5：
Gradient / 2.2.6：
Divergence / 2.2.7：
Curl / 2.2.8：
Wave Equation / 2.3.1：
Relation Between E and H and the Transverse Electromagnetic Mode / 2.3.2：
Time-Harmonic Fields / 2.3.3：
Propagation of Time-Harmonic Plane Waves / 2.3.4：
Electrostatic Scalar Potential in Terms of an Electric Field / 2.4.1：
Energy in an Electric Field / 2.4.2：
Capacitance / 2.4.3：
Energy Stored in a Capacitor / 2.4.4：
Magnetic Vector Potential / 2.5.1：
Inductance / 2.5.2：
Energy in a Magnetic Field / 2.5.3：
Time-Averaged Values / 2.6.1：
Plane Wave Incident on a Perfect Conductor / 2.7.1：
Plane Wave Incident on a Lossless Dielectric / 2.7.2：
Ideal Transmission-Line Fundamentals / 3：
Transmission-Line Structures
Wave Propagation on Loss-Free Transmission Lines
Electric and Magnetic Fields on a Transmission Line / 3.2.1：
Telegrapher's Equations / 3.2.2：
Equivalent Circuit for the Loss-Free Case / 3.2.3：
Wave Equation in Terms of LC / 3.2.4：
Transmission-Line Properties
Transmission-Line Phase Velocity / 3.3.1：
Transmission-Line Characteristic Impedance / 3.3.2：
Effective Dielectric Permittivity / 3.3.3：
Simple Formulas for Calculating the Characteristic Impedance / 3.3.4：
Validity of the TEM Approximation / 3.3.5：
Transmission-Line Parameters for the Loss-Free Case
Laplace and Poisson Equations / 3.4.1：
Transmission-Line Parameters for a Coaxial Line / 3.4.2：
Transmission-Line Parameters for a Microstrip / 3.4.3：
Charge Distribution Near a Conductor Edge / 3.4.4：
Charge Distribution and Transmission-Line Parameters / 3.4.5：
Field Mapping / 3.4.6：
Transmission-Line Reflections
Transmission-Line Reflection and Transmission Coefficient / 3.5.1：
Launching an Initial Wave / 3.5.2：
Multiple Reflections / 3.5.3：
Lattice Diagrams and Over- or Underdriven Transmission Lines / 3.5.4：
Lattice Diagrams for Nonideal Topologies / 3.5.5：
Effect of Rise and Fall Times on Reflections / 3.5.6：
Reflections from Reactive Loads / 3.5.7：
Time-Domain Reflectometry
Measuring the Characteristic Impedance and Delay of a Transmission Line / 3.6.1：
Measuring Inductance and Capacitance of Reactive Structures / 3.6.2：
Understanding the TDR Profile / 3.6.3：
Mutual Inductance / 4：
Mutual Capacitance / 4.1.2：
Field Solvers / 4.1.3：
Wave Equation Revisited / 4.2.1：
Impedance and Velocity / 4.2.2：
Coupled Noise / 4.3.2：
Modal Decomposition / 4.4.1：
Modal Impedance and Velocity / 4.4.2：
Reconstructing the Signal / 4.4.3：
Modal Analysis of Lossy Lines / 4.4.4：
Nonideal Conductor Models / 5：
Signals Propagating in Unbounded Conductive Media
Propagation Constant for Conductive Media / 5.1.1：
Skin Depth / 5.1.2：
Classic Conductor Model for Transmission Lines
Dc Losses in Conductors / 5.2.1：
Frequency-Dependent Resistance in Conductors / 5.2.2：
Frequency-Dependent Inductance / 5.2.3：
Power Loss in a Smooth Conductor / 5.2.4：
Hammerstad Model / 5.3.1：
Hemispherical Model / 5.3.2：
Huray Model / 5.3.3：
Conclusions / 5.3.4：
Transmission-Line Parameters for Nonideal Conductors
Equivalent Circuit, Impedance, and Propagation Constant / 5.4.1：
Telegrapher's Equations for a Real Conductor and a Perfect Dielectric / 5.4.2：
Electrical Properties of Dielectrics / 6：
Polarization of Dielectrics
Electronic Polarization / 6.1.1：
Orientational (Dipole) Polarization / 6.1.2：
Ionic (Molecular) Polarization / 6.1.3：
Relative Permittivity / 6.1.4：
Classification of Dielectric Materials
Frequency-Dependent Dielectric Behavior
Dc Dielectric Losses / 6.3.1：
Frequency-Dependent Dielectric Model: Single Pole / 6.3.2：
Anomalous Dispersion / 6.3.3：
Frequency-Dependent Dielectric Model: Multipole / 6.3.4：
Infinite-Pole Model / 6.3.5：
Properties of a Physical Dielectric Model
Relationship Between ?' and ?" / 6.4.1：
Mathematical Limits / 6.4.2：
Fiber-Weave Effect
Physical Structure of an FR4 Dielectric and Dielectric Constant Variation / 6.5.1：
Mitigation / 6.5.2：
Modeling the Fiber-Weave Effect / 6.5.3：
Environmental Variation in Dielectric Behavior
Environmental Effects on Transmission-Line Performance / 6.6.1：
Modeling the Effect of Relative Humidity on an FR4 Dielectric / 6.6.2：
Transmission-Line Parameters for Lossy Dielectrics and Realistic Conductors
Telegrapher's Equations for Realistic Conductors and Lossy Dielectrics / 6.7.1：
Differential Signaling / 7：
Removal of Common-Mode Noise
Virtual Reference Plane
Common Terminology
Drawbacks of Differential Signaling
Mode Conversion / 7.6.1：
Reference / 7.6.2：
Mathematical Requirements for Physical Channels / 8：
Frequency-Domain Effects in Time-Domain Simulations
Linear and Time Invariance / 8.1.1：
Time- and Frequency-Domain Equivalencies / 8.1.2：
Frequency Spectrum of a Digital Pulse / 8.1.3：
System Response / 8.1.4：
Single-Bit (Pulse) Response / 8.1.5：
Requirements for a Physical Channel
Causality / 8.2.1：
Passivity / 8.2.2：
Stability / 8.2.3：
High-Frequency Voltage and Current Waves / 9：
Input Reflection into a Terminated Network / 9.1.1：
Input Impedance / 9.1.2：
Impedance Matrix / 9.2.1：
Scattering Matrix / 9.2.2：
ABCD Parameters / 9.2.3：
Cascading S-Parameters / 9.2.4：
Calibration and Deembedding / 9.2.5：
Changing the Reference Impedance / 9.2.6：
Multimode S-Parameters / 9.2.7：
Properties of Physical S-Parameters
Reality / 9.3.1：
Subjective Examination of S-Parameters / 9.3.3：
Creating a Physical Transmission-Line Model / 10：
Tabular Approach / 10.1.1：
Generating a Tabular Dielectric Model / 10.1.2：
Generating a Tabular Conductor Model / 10.1.3：
NonIdeal Return Paths
Path of Least Impedance / 10.2.1：
Transmission Line Routed Over a Gap in the Reference Plane / 10.2.2：
Via Resonance / 10.2.3：
Plane Radiation Losses / 10.3.2：
Parallel-Plate Waveguide / 10.3.3：
I/O Design Considerations / 11：
Operation / 11.2.1：
Linear Models / 11.2.2：
Nonlinear Models / 11.2.3：
Advanced Design Considerations / 11.2.4：
CMOS receivers
Modeling / 11.3.1：
Theory and Method / 11.3.3：
Limitations / 11.6.2：
Open-Drain Transmitters
Differential Current-Mode Transmitters / 11.7.1：
Low-Swing and Differential Receivers / 11.8.1：
Model Structure and Development Process / 11.9.1：
Generating Model Data / 11.10.2：
Differential I/O Models / 11.10.3：
Example of an IBIS File / 11.10.4：
Analysis and Design Background / 12：
Maximum Data Transfer Capacity / 12.1.1：
Linear Time-Invariant Systems / 12.1.2：
Ideal Versus Practical Interconnects / 12.1.3：
Equalization Overview / 12.1.4：
Continuous-Time Linear Equalizers
Passive CTLEs / 12.2.1：
Active CTLEs / 12.2.2：
Transmitter Equalization / 12.3.1：
Coefficient Selection / 12.3.2：
Receiver Equalization / 12.3.3：
Nonidealities in DLEs / 12.3.4：
Adaptive Equalization / 12.3.5：
Eye Diagram / 13：
Worst-Case Analysis / 13.2.1：
Bit Error Rate Analysis / 13.2.2：
Jitter Types and Sources / 13.3.1：
System Jitter Budgets / 13.3.2：
Noise Sources / 13.4.1：
Noise Budgets / 13.4.2：
Superposition and the Pulse Response / 13.5.1：
Worst-Case Bit Patterns and Data Eyes / 13.5.2：
Peak Distortion Analysis Including Crosstalk / 13.5.3：
System Analysis Using Response Surface Modeling / 13.5.4：
Model Design Considerations
Case Study: 10-Gb/s Differential PCB Interface
Residuals / 14.4.1：
Fit Coefficients / 14.4.2：
Model Significance: The F-Test / 14.5.1：
Parameter Significance: Individual t-Tests / 14.5.2：
Useful Formulas, Identities, Units, and Constants
Four-Port Conversions Between T- and S-Parameters
Critical Values of the F-Statistic
Critical Values of the T-Statistic
Causal Relationship Between Skin Effect Resistance and Internal Inductance for Rough Conductors
Spice Level 3 Model for 0.25 ?m MOSIS Process / Appendix F：
Index
Preface
Acknowledgments
Introduction: The importance of signal integrity. / Chapter 1：
2.

電子ブック
ＥＢ
2. The three-body problem (: electronic bk)
Mauri Valtonen and Hannu Karttunen
出版情報: [Cambridge] : Cambridge University Press, 2009, c2010  1 online resource (x, 345 p.)
所蔵情報: loading…
目次情報: 続きを見る
Astrophysics and three-body problem / 1：
Newtonian mechanics / 2：
Two-body problem / 3：
Hamiltonian mechanics / 4：
The planar restricted circular three body problem and other special cases / 5：
Three-body scattering / 6：
Escape in the general three body problem / 7：
Scattering and capture in the general problem / 8：
Perturbations in hierarchical systems / 9：
Perurbations in strong three-body encounters / 10：
Some astrophysical problems / 11：
Preface
Astrophysics and the three-body problem
About the three-body problem / 1.1：
The three-body problem in astrophysics / 1.2：
Short period comets / 1.3：
Binary stars / 1.4：
Groups of galaxies / 1.5：
Binary black holes / 1.6：
Newton's laws / 2.1：
Inertial coordinate system / 2.2：
Equations of motion for N bodies / 2.3：
Gravitational potential / 2.4：
Constants of motion / 2.5：
The virial theorem / 2.6：
The Lagrange and Jacobi forms of the equations of motion / 2.7：
Constants of motion in the three-body problem / 2.8：
Moment of inertia / 2.9：
Scaling of the three-body problem / 2.10：
Integration of orbits / 2.11：
Dimensions and units of the three-body problem / 2.12：
Chaos in the three-body problem / 2.13：
Rotating coordinate system / 2.14：
Problems
The two-body problem
Equations of motion / 3.1：
Centre of mass coordinate system / 3.2：
Integrals of the equation of motion / 3.3：
Equation of the orbit and Kepler's first law / 3.4：
Kepler's second law / 3.5：
Orbital elements / 3.6：
Orbital velocity / 3.7：
True and eccentric anomalies / 3.8：
Mean anomaly and Kepler's equation / 3.9：
Solution of Kepler's equation / 3.10：
Kepler's third law / 3.11：
Position and speed as functions of eccentric anomaly / 3.12：
Hyperbolic orbit / 3.13：
Dynamical friction / 3.14：
Series expansions / 3.15：
Generalised coordinates / 4.1：
Hamiltonian principle / 4.2：
Variational calculus / 4.3：
Lagrangian equations of motion / 4.4：
Hamiltonian equations of motion / 4.5：
Properties of the Hamiltonian / 4.6：
Canonical transformations / 4.7：
Examples of canonical transformations / 4.8：
The Hamilton-Jacobi equation / 4.9：
Two-body problem in Hamiltonian mechanics: two dimensions / 4.10：
Two-body problem in Hamiltonian mechanics: three dimensions / 4.11：
Delaunay's elements / 4.12：
Hamiltonian formulation of the three-body problem / 4.13：
Elimination of nodes / 4.14：
Elimination of mean anomalies / 4.15：
The planar restricted circular three-body problem and other special cases
Coordinate frames / 5.1：
Jacobian integral / 5.2：
Lagrangian points / 5.4：
Stability of the Lagrangian points / 5.5：
Satellite orbits / 5.6：
The Lagrangian equilateral triangle / 5.7：
One-dimensional three-body problem / 5.8：
Scattering of small fast bodies from a binary / 6.1：
Evolution of the semi-major axis and eccentricity / 6.2：
Capture of small bodies by a circular binary / 6.3：
Orbital changes in encounters with planets / 6.4：
Inclination and perihelion distance / 6.5：
Large angle scattering / 6.6：
Changes in the orbital elements / 6.7：
Changes in the relative orbital energy of the binary / 6.8：
Escape in the general three-body problem
Escapes in a bound three-body system / 7.1：
A planar case / 7.2：
Escape velocity / 7.3：
Escaper mass / 7.4：
Angular momentum / 7.5：
Escape angle / 7.6：
Capture / 8.1：
Ejections and lifetime / 8.3：
Exchange and flyby / 8.4：
Rates of change of the binding energy / 8.5：
Collisions / 8.6：
Osculating elements / 9.1：
Lagrangian planetary equations / 9.2：
Three-body perturbing function / 9.3：
Doubly orbit-averaged perturbing function / 9.4：
Motions in the hierarchical three-body problem / 9.5：
Perturbations in strong three-body encounters
Perturbations of the integrals k and e / 10.1：
Binary evolution with a constant perturbing force / 10.2：
Slow encounters / 10.3：
Inclination dependence / 10.4：
Change in eccentricity / 10.5：
Stability of triple systems / 10.6：
Fast encounters / 10.7：
Average energy exchange / 10.8：
Binary black holes in centres of galaxies / 11.1：
The problem of three black holes / 11.2：
Satellite black hole systems / 11.3：
Three galaxies / 11.4：
Binary stars in the Galaxy / 11.5：
Evolution of comet orbits / 11.6：
References
Author index
Subject index
Astrophysics and three-body problem / 1：
Newtonian mechanics / 2：
Two-body problem / 3：
3.

電子ブック
ＥＢ
3. Applications and Innovations in Intelligent Systems XVI
SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Tony Allen, Richard Ellis, Miltos Petridis, British Computer Society.
出版情報: Springer eBooks Computer Science , Springer London, 2009
所蔵情報: loading…
目次情報: 続きを見る
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
Routing in Wireless Sensor Networks
Geometric Routing in Wireless Sensor Networks
Cooperative Relaying in Wireless Sensor Networks
Data-Centricity in Wireless Sensor Networks
Congestion and Flow Control in Wireless Sensor Networks
Data Transport Control in Wireless Sensor Networks
Fault Tolerant Algorithms/Protocols in Wireless Sensor Networks
Self-organizing and Self-healing Schemes in Wireless Sensor Networks
Quality of Service in Wireless Sensor Networks
Embedded Operating Systems in Wireless Sensor Networks
Adaptive Distributed Resource Allocation for Sensor Networks
Scheduling Activities in Wireless Sensor Networks
Energy-Efficient Medium Access Control in Wireless Sensor Networks
Energy Efficient Resource Management Techniques in Wireless Sensor Networks
Transmission Power Control Aware MAC in Wireless Sensor Networks
Security in Wireless Sensor Networks
Key Management in Wireless Sensor Networks
Secure Data Aggregation in Wireless Sensor Networks
Wireless Multimedia Sensor Networks
Middleware for Wireless Sensor Networks
Wireless Mobile Sensor Networks: Protocols and Mobility Strategies Analysis Methods for Sensor Networks
Bio-inspired Communications in Wireless Sensor Networks
Mobile Ad Hoc and Sensor Systems for Global and Homeland Security Applications
Energy Efficient Information Processing in Wireless Sensor Networks
Topology Management for Wireless Sensor Networks
Coverage in Wireless Sensor Networks
4.

電子ブック
ＥＢ
4. Constructing Ambient Intelligence
Heinz Gerh?user, Christos Efstratiou, Janina Heppner, J?rgen Hupp, J?rgen Hupp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Smart Design for Human Performance
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Intelligent Objects for the Internet of Things
Functional Requirements of a Middleware to Integrate Wireless Sensor Networks (WSN) into Smart Objects Applications / Fritz Meier
Scientific Workshop 4: The Internet of Things State-of-the-Art and Perspectives for Future Research / Dirk Liekenbrock
Scientific Workshop 4: Intelligent Objects for the Internet of Things: Internet of Things - Application of Sensor Networks in Logistics / Christian Flügel ; Volker Gehrmann
When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizen
New Tools for Mobiles and Handhelds Make Life Easier / Gerhard Baier ; Hellmut Beckstein
AmbiSense: Identifying and Locating Objects with Ambient Sensors / Christian Hoene
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Wiki-City - A City Interacts with Its Citizens / Steffen Meyer
Scientific Workshop 6: When Ambient Intelligence Meets Web 2.0: Seamless Localization Technologies in Cities / Thorsten Vaupel
Soprano, Persona, Netcarity & Mpower, Conjoint Workshop on Ambient-Assisted Living
Architectures and Platfroms for AMI: Workshop Summary Report / B.A. Farshchian ; E. Berg ; M. Divitini ; K. Doolin ; R. Pascotto
A Pervasive Environment Based on Personal Self-improving Smart Spaces / Michael Crotty ; Nich Taylor ; Howard Williams ; Korbinian Frank ; Ioanna Roussaki ; Mark Roddy
A Product Line Approach for Aml Environments / Jon Imanol Durán ; Josu Cobelo ; Joseba Laka
ASTRA Awareness Connectivity Platfrom Based on Service Oriented Concepts / Irene Mavrommati ; Ioannis Calemis
Mobile Ontology: Its Creation and Its Usage / Xiaomeng Su ; Stian Alapnes ; Mazen Malek Shiaa
Using Semantic Technology in Pervasive Service Platform / Xiaomeny Su ; Babak Farshchian ; Reidar Martin Svendsen ; Erik Berg
Realizing Context Aware Collaborations Using Grids / Stefan Wesner ; Georgina M. Gallizo ; Alexander Kipp ; Matthias Assel
Capturing Ambient Assisted Living Needs
Proceedings of AMI'08 Workshop: "Capturing Ambient Assisted Living Needs" / Arjan Geven ; Özge Subasi ; Cristina Buiza ; Marianna Obrist ; Wolfgang Reitberger ; Manfred Tscheligi
Author Index
Smart Design for Human Performance
Smart Design for Human Performance in the Office of the Future Requirements towards Services and Technical Advises for Tomorrows Office Work / Johannes Kriegel ; Franziska Jehle ; Christos Efstratiou ; Lambert Zaad ; Janina Heppner ; Jürgen Hupp
Intelligent Objects for the Internet of Things
5.

電子ブック
ＥＢ
5. Declarative Agent Languages and Technologies VI
Matteo Baldoni, M. Birna Riemsdijk, J?rg Siekmann, Tran Cao Son, Michael Winikoff
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; Antônio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter Novák ; Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak
Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini
Inductive Negotiation in Answer Set Programming / Chiaki Sakama
Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin
Author Index
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti
Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield
6.

電子ブック
ＥＢ
6. Distributed Computing and Internet Technology
Manish Parashar, Sanjeev K. Aggarwal, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Entertainment Computing - ICEC 2008
Scott M. Stevens, Takeo Kanade, Shirley J. Saldamarco
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Gesture-Based Human-Computer Interaction and Simulation
Miguel Sales Dias, Rafael Bastos, Sylvie Gibet, Takeo Kanade, Marcelo M. Wanderley
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Analysis and Synthesis of Gesture
Gesture Recognition Based on Elastic Deformation Energies / Radu-Daniel Vatavu ; Laurent Grisoni ; Stefan-Gheorghe Pentiuc
Approximation of Curvature and Velocity for Gesture Segmentation and Synthesis / Sylvie Gibet ; Pierre-Francois Marteau
Motion Primitives and Probabilistic Edit Distance for Action Recognition / Preben Fihl ; Michael B. Holte ; Thomas B. Moeslund
Theoretical Aspects of Gestural Communication and Interaction
On the Parametrization of Clapping / Herwin van Welbergen ; Zsofia Ruttkay
Improving the Believability of Virtual Characters Using Qualitative Gesture Analysis / Barbara Mazzarino ; Manuel Peinado ; Ronan Boulic ; Gualtiero Volpe ; Marcelo M. Wanderley
A Method for Selection of Optimal Hand Gesture Vocabularies / Helman Stern ; Juan Wachs ; Yael Edan
Vision-Based Gesture Recognition
Person-Independent 3D Sign Language Recognition / Jeroen F. Lichtenauer ; Gineke A. ten Holt ; Marcel J.T. Reinders ; Emile A. Hendriks
Skin Color Profile Capture for Scale and Rotation Invariant Hand Gesture Recognition / Rafael Bastos ; Miguel Sales Dias
Robust Tracking for Processing of Videos of Communication's Gesture / Frederick Gianni ; Christophe Collet ; Patrice Dalle
Representation of Human Postures for Vision-Based Gesture Recognition in Real-Time / Antoni Jaume-i-Capo ; Javier Varona ; Francisco J. Perales
Enhancing a Sign Language Translation System with Vision-Based Features / Philippe Dreuw ; Daniel Stein ; Hermann Ney
Sign Language Processing
Generating Data for Signer Adaptation / Chunli Wang ; Xilin Chen ; Wen Gao
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures / Alexis Heloir
Sequential Belief-Based Fusion of Manual and Non-manual Information for Recognizing Isolated Signs / Oya Aran ; Thomas Burger ; Alice Caplier ; Lale Akarun
Gesture Modelling for Linguistic Purposes / Guillaume J.-L. Olivrin
Gesturing with Tangible Interfaces and in Virtual and Augmented Reality
Automatic Classification of Expressive Hand Gestures on Tangible Acoustic Interfaces According to Laban's Theory of Effort / Antonio Camurri ; Corrado Canepa ; Simone Ghisio
Implementing Distinctive Behavior for Conversational Agents / Maurizio Mancini ; Catherine Pelachaud
Using Hand Gesture and Speech in a Multimodal Augmented Reality Environment / Joao Fernandes ; Joao Tavares ; Pedro Santos
A Virtual Reality-Based Framework for Experiments on Perception of Manual Gestures / Sebastian Ullrich ; Jakob T. Valvoda ; Marc Wolter ; Gisela Fehrmann ; Isa Werth ; Ludwig Jaeger ; Torsten Kuhlen
Processing Iconic Gestures in a Multimodal Virtual Construction Environment / Christian Frohlich ; Peter Biermann ; Marc E. Latoschik ; Ipke Wachsmuth
Analysis of Emotional Gestures for the Generation of Expressive Copying Behaviour in an Embodied Agent / Ginevra Castellano
Gestures to Intuitively Control Large Displays / Wim Fikkert ; Paul van der Vet ; Han Rauwerda ; Timo Breit ; Anton Nijholt
Gesture for Music and Performing Arts
Geometry and Effort in Gestural Renderings of Musical Sound / Rolf Inge Godoy
String Bowing Gestures at Varying Bow Stroke Frequencies: A Case Study / Nicolas Rasamimanana ; Delphine Bernardin ; Marcelo Wanderley ; Frederic Bevilacqua
Gesture Control of Sound Spatialization for Live Musical Performance / Mark T. Marshall ; Joseph Malloch
Validation of an Algorithm for Segmentation of Full-Body Movement Sequences by Perception: A Pilot Experiment / Donald Glowinski ; Carlo Chiorri
Gesture for Therapy and Rehabilitation
Signs Workshop: The Importance of Natural Gestures in the Promotion of Early Communication Skills of Children with Developmental Disabilities / Ana Margarida P. Almeida ; Teresa Condeco ; Fernando Ramos ; Alvaro Sousa ; Luisa Cotrim ; Sofia Macedo ; Miguel Palha
The Ergonomic Analysis of the Workplace of Physically Disabled Individuals / Matthieu Aubry ; Frederic Julliard
Gesture in Mobile Computing and Usability Studies
Mnemonical Body Shortcuts for Interacting with Mobile Devices / Tiago Guerreiro ; Ricardo Gamboa ; Joaquim Jorge
The Effects of the Gesture Viewpoint on the Students' Memory of Words and Stories / Giorgio Merola
Author Index
Analysis and Synthesis of Gesture
Gesture Recognition Based on Elastic Deformation Energies / Radu-Daniel Vatavu ; Laurent Grisoni ; Stefan-Gheorghe Pentiuc
Approximation of Curvature and Velocity for Gesture Segmentation and Synthesis / Sylvie Gibet ; Pierre-Francois Marteau
9.

電子ブック
ＥＢ
9. High Performance Embedded Architectures and Compilers
Andr?? Seznec, Joel Emer, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Logic and Its Applications
R. Ramanujam, Takeo Kanade, Sundar Sarukkai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem
Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré
Some Second Order Set Theory (Invited Talk) / Joel David Hamkins
Connection Matrices for MSOL-Definable Structural Invariants (Invited Talk) / Johann Makowsky
Knowledge, Games and Tales from the East (Invited Talk) / Rohit Parikh
A Para Consistent Fuzzy Logic (Invited Talk) / Esko Turunen
From Philosophical to Industrial Logics (Invited Talk) / Moshe Y. Vardi
Game Quantification Patterns / Dietmar Berwanger ; Sophie Pinchinat
Extensive Questions: From Research Agendas to Interrogative Strategies / Emmanuel J. Genot
An Analytic Logic of Aggregation / Patrick Girard ; Jeremy Seligman
Instantial Relevance in Polyadic Inductive Logic / Jürgen Landes ; Jeff Paris ; Alena Vencouská
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic / Yoshihiro Maruyama
A General Setting for the Pointwise Investigation of Determinacy / Yurii Khomskii
A Two-Dimensional Hybrid Logic of Subset Spaces / Yi N. Wang
A Unified Framework for Certificate and Compilation for QBF / Igor Stéphan ; Benoit Da Mota
Towards Decidability of Conjugacy of Pairs and Triples / Benny George Kenkireth ; Samrith Ram
Gautama - Ontology Editor Based on Nyaya Logic / G.S. Mahalakshmi ; T. V. Geetha ; Arun Kumar ; Dinesh Kumar ; S. Manikandan
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming
The Art of Non-asserting: Dialogue with N&abar;g&abar;rjuna / Marie-Hélène Gorisse
Author Index
Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem
Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré
Some Second Order Set Theory (Invited Talk) / Joel David Hamkins
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼