close
1.

電子ブック
ＥＢ
1. Spyware and Adware
John Daniel Aycock
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
Getting There / 2：
Installation / 2.1：
Explicit, Voluntary Installation / 2.1.1：
Drive-by Downloads, User Involvement / 2.1.2：
Drive-by Downloads, No User Involvement / 2.1.3：
Installation via Malware / 2.1.4：
Startup / 2.2：
Application-Specific Startup / 2.2.1：
GUI Startup / 2.2.2：
System Startup / 2.2.3：
Kernel Startup / 2.2.4：
Defenses / 2.2.5：
Staying There / 3：
Avoiding Detection / 3.1：
Basic Detection Avoidance / 3.1.1：
Anti-Spyware / 3.1.2：
Advanced Detection Avoidance: Rootkits / 3.1.3：
Avoiding Uninstall / 3.2：
Passive Avoidance / 3.2.1：
Active Avoidance / 3.2.2：
Keylogging / 4：
User Space Keylogging / 4.1：
Polling / 4.1.1：
Event Copying / 4.1.2：
Event Monitoring / 4.1.3：
User Space Keylogging Defenses / 4.2：
Authentication / 4.3：
Phoning Home / 5：
Push vs. Pull / 5.1：
Finding Home / 5.2：
Steganography / 5.3：
Information Leaking Defenses / 5.4：
Advertising / 6：
Types of Advertisement / 6.1：
Banner Advertisement / 6.1.1：
Banner Advertisement with Pull-down Menu / 6.1.2：
Expandable Banner Advertisement / 6.1.3：
Pushdown Banner Advertisement / 6.1.4：
Pop-up Advertisement / 6.1.5：
Pop-under Advertisement / 6.1.6：
Floating Advertisement / 6.1.7：
Tear-back Advertisement / 6.1.8：
In-text Advertisement / 6.1.9：
Transition Advertisement / 6.1.10：
Video Advertisements / 6.1.11：
Intent and Content / 6.2：
Advertisement Implementation / 7：
Implementation Location / 7.1：
Implementation on the User Machine / 7.1.1：
Implementation in the Network / 7.1.2：
Implementation near the User Machine / 7.1.3：
Implementation on the Server / 7.1.4：
Choosing Keywords / 7.2：
Blocking Advertisements / 7.3：
Pop-up Blocking / 7.3.1：
General Advertisement Blocking / 7.3.2：
Blocker Evasion and Blocker Blocking / 7.3.3：
Tracking Users
Cookies / 8.1：
Other Browser-Related Tracking Methods / 8.1.1：
User Profiling / 8.2：
Cognitive Styles, Mood, and Personality / 8.2.1：
Future Actions / 8.2.2：
Demographic Information / 8.2.3：
Social Networks / 8.2.4：
Real World Activities / 8.2.5：
Physical of Location / 8.2.6：
Search Terms and keywords / 8.2.7：
Disinterests / 8.2.8：
Conclusion / 9：
References
Index
Introduction / 1：
Definitions and History / 1.1：
Motivation / 1.2：
2.

電子ブック
ＥＢ
2. Grids, Clouds and Virtualization
Massimo Cafaro, Giovanni Aloisio, Massimo Cafaro
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Playing with the Past
Erik Champion
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introducing Virtual Travel / 1：
Virtual Environments / 1.1：
Moving Past the Picture Frame / 1.2：
Being Not-There May Be More Achievable / 1.3：
Being Not-There May Safeguard the Place / 1.4：
Share by Being Not-There / 1.5：
The Implications for Virtual Travel / 1.6：
Learning via Virtual Travel / 1.7：
The Thorny Issue of Engagement / 1.8：
Four Major Problems / 1.9：
Virtual Reality and Cultural Significance / 1.10：
References
Technological Limitations / 2：
Lack of Widely Distributed Technology / 2.2：
Size, Speed and Rendering Issues / 2.3：
Lack of Meaningful Content / 2.4：
We Experience More than Tangible Objects / 2.5：
The World Is More than Visual Stimuli / 2.6：
Different People See Different Things / 2.7：
Personalization Is Missing / 2.8：
Lack of Contextual Evaluation / 2.9：
Summary of Implications for Virtual Environments / 2.10：
Virtual Places / 3：
Place in a Virtual Space / 3.1：
Experiential Types of Place / 3.2：
Place as Unique Experience / 3.2.1：
Sublime Places of Terror and Awe / 3.2.2：
Evocative and Atmospheric Place / 3.2.3：
Place as Stage and Playground / 3.2.4：
Place as Trace and Palimpsest / 3.2.5：
Requirements for Creating a Sense of Place / 3.3：
Place Requires Embodiment / 3.3.1：
Place Requires Paths and Centers / 3.3.2：
Response to Place Requires Ongoing Feedback / 3.3.3：
Place Requires Social 'Embeddedness' / 3.3.4：
Place Is Mark-Able / 3.3.5：
Evoking Place via Arts and Sciences / 3.4：
Architecture / 3.4.1：
Art and Artifacts / 3.4.2：
Literature / 3.4.3：
Film / 3.4.4：
Cultural Geography in Place and Culture / 3.4.5：
Cyberspace Critics and Criteria / 3.5：
Cyberspaces Lack Limits / 3.5.1：
Cyberspaces Lack 'Play' Through Objects / 3.5.2：
Cyberspaces Lack Life History / 3.5.3：
Cyberspace Concepts and Terminology / 3.6：
Suggestions for Creating Cyberplace / 3.6.1：
Three Types of Virtual Environments / 3.7：
Inert 'Explorative' Environments / 3.7.1：
Activity-Based Environments / 3.7.2：
Cultural or 'Hermeneutic' Environments / 3.7.3：
Matching Virtual Environments and Technologies / 3.8：
Terms / 3.9：
Summary of Place Theory / 3.10：
Cultural and Social Presence / 4：
Why Photorealism Does Not Convey Cultural Significance / 4.1：
Virtual Heritage Is Not Realism / 4.1.1：
Phobic Triggers and Experiential Realism / 4.1.2：
Archaeology and History Is Not Set in Concrete / 4.1.3：
Confusion over Cultural Presence / 4.2：
What Is Culture? / 4.3：
What Is a Culturally Significant Place? / 4.3.1：
How Culture Is Learnt / 4.3.2：
Social and Cultural Presence / 4.3.3：
Hermeneutic Richness, Cultural Agency / 4.4：
Culture in Virtual Worlds / 4.5：
Useful Cultural Presence / 4.6：
Summary of Cultural Presence Theory / 4.7：
Game-Style Interaction / 5：
Defining Games / 5.1：
Defining Game-Style Interaction / 5.2：
Useful Features of Games / 5.2.1：
Engaging Features of Games / 5.2.2：
Case Study: Heretic II / 5.3：
Dynamic Places / 5.4：
Dynamic Place Design: Unreal Palenque and Xibalba / 5.4.1：
Racing in a Tent: Spatial and Haptic Immersion / 5.4.2：
Constrained Tasks and Goals / 5.5：
Interaction Modes in Palenque Using Adobe Atmosphere / 5.5.1：
Constrained Tasks in Journey to the West / 5.5.2：
Social Agency: Avatars Agents and Actors / 5.6：
Agency in a Marco Polo Game / 5.6.1：
Artifacts / 5.7：
Mapping to Aid Navigation for Egyptian Mythology / 5.7.1：
Mapping Through Drawing / 5.7.2：
Game-Based Learning / 5.8：
Procedural Versus Prescriptive Learning / 5.8.1：
Game Genres and Cultural Learning / 5.9：
Snakes and Ladders / 5.9.1：
Different Perspectives per Player / 5.9.2：
Role Playing / 5.9.3：
The Spy Game / 5.9.4：
Issues of Time: Interaction Versus Historical Authenticity / 5.10：
Ancillary Non-celebrity Characters / 5.10.1：
Autonomous Action, Immutable Results / 5.10.2：
Groundhog Day / 5.10.3：
Possible Worlds / 5.10.4：
Diary of Emotional Development / 5.10.5：
Surfing Memetic Drift / 5.10.6：
Augment History with Real World / 5.10.7：
Augmented Cultural Exchange / 5.10.8：
Game-Based Evaluation / 5.10.9：
Summary of Games-Style Interaction / 5.12：
Playing with the Past / 6：
What Is Virtual Heritage? / 6.1：
The Problem of Culture / 6.2：
Virtual Heritage Case Studies / 6.3：
Art History in Online Worlds: Santa Maria, Italy / 6.3.1：
Virtual Forbidden City, China / 6.3.2：
Dordrecht Monastery, The Netherlands / 6.3.3：
Urban Design and Virtual Sambor, Cambodia / 6.3.4：
FAS Palace, Mesopotamia / 6.3.5：
Culture and History Inside a Game: Palestine and Italy / 6.3.6：
Virtual Egyptian Temple / 6.3.7：
Dome Visualization: Mawson's Hut, Antarctica / 6.3.8：
Heritage Tour: Macquarie Lighthouse, Australia / 6.3.9：
Panoramic Explorations: PLACE-Hampi, India / 6.3.10：
Performance and Archaeology: Spaces of Mjalnar, Malta / 6.3.11：
Summary / 6.4：
Augmenting the Present With the Past / 7：
What Is Augmented Reality? / 7.1：
Blends of Augmented Reality and Augmented Virtuality / 7.2：
Inserted Walk-About Reality, University of South Australia / 7.2.1：
Overlaid Walk-About Reality, Columbia University / 7.2.2：
Bubbled Reality Example 3: Mawson's Huts, Antarctica / 7.2.3：
Other Types of Mixed Reality / 7.3：
Data-Streamed Virtual Reality / 7.3.1：
Augmented Virtuality / 7.3.2：
Audio Augmented Reality / 7.3.3：
Participant and Audience-Augmented Virtuality / 7.3.4：
Augmented Reality and Virtual Heritage / 7.4：
Evaluating Virtual Heritage / 7.5：
Testing That Which Is Not Yet Fully Tested / 8.1：
Evaluating Cultural Learning / 8.2：
Virtual Heritage Evaluation / 8.3：
What Types of Evaluation Are There? / 8.4：
Expert Testing / 8.4.1：
Content and Media Comparison Studies / 8.4.2：
Physiological Testing / 8.4.3：
Task Performance / 8.4.4：
Surveys/Questionnaires / 8.4.5：
Ethnographic Evaluation / 8.4.6：
Evaluating Virtual Heritage Environments / 8.5：
Task Performance and Game Evaluation / 8.5.1：
Statistical Methods Suitable for Virtual Heritage Projects / 8.5.2：
Evaluation Case Study: Palenque / 8.6：
Pilot Study / 8.6.1：
Evaluation / 8.6.2：
Evaluation Questions / 8.6.3：
Schedule of Evaluation / 8.6.4：
Observations / 8.6.5：
Summary of Evaluation for Virtual Heritage / 8.7：
Conclusion / 9：
Cultural Understanding Through Digital Interactivity / 9.1：
Future Research / 9.2：
Index
Introducing Virtual Travel / 1：
Virtual Environments / 1.1：
Moving Past the Picture Frame / 1.2：
4.

電子ブック
ＥＢ
4. Unique Radio Innovation for the 21st Century
Damith C.; Sheng, Quan Z.; Zeadally, Sherali Ranasinghe, Damith C. Ranasinghe, Quan Z. Sheng, Sherali Zeadally
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Future of RFID / Part I：
The Next Generation of RFID Technology / Peter H. Cole ; Leigh H. Turner ; Zhonghao Hu ; Damith C. Ranasinghe
Breakthrough Towards the Internet of Things / Leonardo W. F. Chaves ; Zoltán Nochta
Threats to Networked RFID Systems / Aikaterini Mitrokotsa ; Michael Beye ; Pedro Peris-Lopez
Data Management / Part II：
Temporal and Location Based RFID Event Data Management and Processing / Fusheng Wang ; Peiya Liu
Event Management of RFID Data Streams: Fast Moving Consumer Goods Supply Chains / John P. T. Mo ; Xue Li
Semantic-Based RFID Data Management / Roberto De Virgilio ; Eugenio Di Sciascio ; Michele Ruta ; Floriano Scioscia ; Riccardo Torlone
RFID Data Cleaning for Shop Floor Applications / Holger Ziekow ; Lenka Ivantysynova ; Oliver Günter
Global Information Architectures and Systems / Part III：
Autonomous Control and the Internet of Things: Increasing Robustness, Scalability and Agility in Logistic Networks / Dieter Uckelmann ; M.-A. Isenberg ; M. Teucke ; H. Halfar ; B. Scholz-Reiter
A Design for Secure Discovery Services in the EPCglobal Architecture / José J. Cantero ; Miguel A. Guijarro ; Antonio Plaza ; Guillermo Arrebola ; Janie Baños
Evaluating Discovery Services Architectures in the Context of the Internet of Things / Elias Polytarchos ; Stelios Eliakis ; Dimitris Bochtis ; Katerina Pramatari
RFID-Enhanced Ubiquitous Knowledge Bases: Framework and Approach
RFID Middleware Systems: A Comparative Analysis / Nova Ahmed ; Umakishore Ramachandran
Innovative Applications / Part IV：
RFID in the Apparel Retail Industry: A Case Study from Galeria Kaufhof / Jasser Al-Kassab ; Philipp Blome ; Gerd Wolfram ; Frédéric Thiesse ; Elgar Fleisch
The Potential of RFID Technology in the Textile and Clothing Industry: Opportunities, Requirements and Challenges / Elena Legnani ; Sergio Cavalieri ; Roberto Pinto ; Stefano Dotti
A New Security Paradigm for Anti-Counterfeiting: Guidelines and an Implementation Roadmap / Mikko Lehtonen
Green Logistics Management / Yoon S. Chang ; Chang H. Oh
Object Oriented Business Process Modelling in RFID Applied Computing Environments / Xiaohui Zhao ; Chengfei Liu ; Tao Lin
Business and Investment / Part V：
Legal Regulation and Consumers: The RFID Industry's Perspective / Daniel Ronzani
Investment Evaluation of RFID Technology Applications: An Evolution Perspective / Andriana Dimakopoulou ; Angeliki Karagiannaki ; George Papadopoulos ; Antonis Paraskevopoulos
An Analysis of the Impact of RFID Technology on Inventory Systems / Yacine Rekik
Index
Future of RFID / Part I：
The Next Generation of RFID Technology / Peter H. Cole ; Leigh H. Turner ; Zhonghao Hu ; Damith C. Ranasinghe
Breakthrough Towards the Internet of Things / Leonardo W. F. Chaves ; Zoltán Nochta
5.

電子ブック
ＥＢ
5. Problem Solving Handbook in Computational Biology and Bioinformatics
Alexander Dinghas, Cabiria Andreian Cazacu, Lenwood S. Heath, Rolf Herman Nevanlinna, Naren Ramakrishnan
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Sequences / Part I：
Modern BLAST Programs / Jian Ma ; Louxin Zhang
Introduction / 1：
Available Implementations / 2：
Algorithm Description / 3：
BLAST Statistics / 4：
Examples / 5：
Advanced Topics / 6：
Exercises / 7：
Further Reading / 8：
References
Practical Multiple Sequence Alignment / Tobias Rausch ; Knut Reinert
History of the Problem
Sequence Alignment Statistics / John L. Spouge
Dynamic Programming with Independent Random Inputs
The Extreme-Value Distributions for Maxima
The Poisson Approximation for Counting Rare Events
Pairwise Sequence Alignment
Islands in Local Alignment
The Finite-Size Correction in Gapped Local Alignment
The Independent Diagonals Approximation
The Combinatorial Approximation / 9：
Phylogenetics / Part II：
Practical Implications of Coalescent Theory / Paul Marjoram ; Paul Joyce
Introduction - What is the coalescent?
Motivating Problems
Implications of the Coalescent
Software Review
Exercises for the reader
Graph Model of Coalescence with Recombinations / Laxmi Parida
Random Graph Framework: Pedigree Graph
Pedigree Subgraphs
Unilinear Transmission: Monochromatic Subgraphs
Genetic Exchange Model: Mixed Subgraph
Topological definition of GMRCA: Least Common Ancestor with Ancestry (LCAA)
Discussion
Phylogenetic Trees From Sequences / Paul Ryvkin ; Li-San Wang
Basics
Sequence evolution
Distance-based phylogeny reconstruction
Maximum parsimony
Maximum likelihood
Multiple phylogenies: comparison, consensus, and confidence
Software
Further reading
Exercise
Evolutionary Phylogenetic Networks: Models and Issues / Luay Nakhleh
Phylogenetic Networks and the Trees Within
Optimization Criteria for Inferring and Evaluating Phylogenetic Networks
To Network, or Not to Network, That Is the Question
Genome Wide Association Studies / Paola Sebastiani ; Nadia Solovieff
An overview of population genetics
Genome-Wide Association Studies
Resources
Proteins: Structure, Function, and Biochemistry / Part III：
Novel Perspectives on Protein Structure Prediction / Bonnie Berger ; Jérôme Waldispühl
Modeling transmembrane β-barrel structure
Energy model
Algorithms
Applications
Sampling the local neighborhood of 3D structures
Stochastic Simulation for Biochemical Systems / Yang Cao
Networks / Part IV：
Cellular Response Networks / Christopher D. Lasher ; Christopher L. Poirel ; T. M. Murali
Algorithm Descriptions
Advanced Topics: Comparing Response Networks
Outlook and Further Reading
Identification of Modules in Protein-Protein Interaction Networks / Sinan Erten ; Mehmet Koyutürk
Biological Data Management and Mining / Part V：
Designing Microarray Experiments / Jacqui Milton ; Ling Wang
Designed experiments versus observational studies
Discovery of Differentially Expressed Genes
Building prognostic models
Running the experiment
Advanced topics and further reading
Matrix and Tensor Decompositions / Karthik Devarajan
Non-negative Matrix Factorization
Singular Value Decomposition
Other Matrix Decompositions
Comparison of the Methods
Tensor Decompositions
Concluding Remarks
Practical Applications of the Gene Ontology Resource / Rachael P. Huntley ; Emily C. Dimmer ; Rolf Apweiler
GO Annotations
Viewing the GO and its annotations
Use of GO in the literature
Popular methods for supplementing and grouping GO annotations
The effective use of GO for large-scale analyses
Index
Sequences / Part I：
Modern BLAST Programs / Jian Ma ; Louxin Zhang
Introduction / 1：
6.

電子ブック
ＥＢ
6. Recommender Systems Handbook
Francesco Ricci, Paul B. Kantor, Lior Rokach, Bracha Shapira
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Guide to Three Dimensional Structure and Motion Factorization
Guanghui Wang, Q. M. Jonathan Wu
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction to 3D Computer Vision / 1：
Introduction / 1.1：
Imaging Geometry and Camera Models / 1.2：
Camera Models / 1.2.1：
Single View Imaging Geometry / 1.2.2：
Single View Metrology and Reconstruction / 1.3：
Measurement on Space Planes / 1.3.1：
Camera Calibration from a Single View / 1.3.2：
Measurement in 3D Space / 1.3.3：
Examples of Single View Reconstruction / 1.3.4：
Two-View Geometry and 3D Reconstruction / 1.4：
Epipolar Geometry and Fundamental Matrix / 1.4.1：
Three Dimensional Reconstruction / 1.4.2：
Reconstruction of Structured Scenes from Two Images / 1.5：
Plane Detection Strategy / 1.5.1：
Camera Calibration and Reconstruction / 1.5.2：
Closure Remarks / 1.6：
Conclusion / 1.6.1：
Review Questions / 1.6.2：
References
Simplified Camera Projection Models / 2：
Affine Projection Model / 2.1：
Quasi-Perspective Projection / 2.3：
Error Analysis of Different Models / 2.3.1：
Experimental Evaluations / 2.4：
Imaging Errors / 2.4.1：
Influence of Imaging Conditions / 2.4.2：
Geometrical Properties of Quasi-Perspective Projection / 2.5：
One-View Geometrical Property / 3.1：
Two-View Geometrical Property / 3.3：
Fundamental Matrix / 3.3.1：
Plane Induced Homography / 3.3.2：
Computation with Outliers / 3.3.3：
3D Structure Reconstruction / 3.4：
Evaluations on Synthetic Data / 3.5：
Fundamental Matrix and Homography / 3.5.1：
Outlier Removal / 3.5.2：
Reconstruction Result / 3.5.3：
Evaluations on Real Images / 3.6：
Test on Stone Dragon Images / 3.6.1：
Test on Medusa Head Images / 3.6.2：
Introduction to Structure and Motion Factorization / 3.7：
Problem Definition / 4.1：
Structure and Motion Factorization of Rigid Objects / 4.3：
Rigid Factorization Under Orthographic Projection / 4.3.1：
Rigid Factorization Under Perspective Projection / 4.3.2：
Structure and Motion Factorization of Nonrigid Objects / 4.4：
Bregler's Deformation Model / 4.4.1：
Nonrigid Factorization Under Affine Models / 4.4.2：
Nonrigid Factorization Under Perspective Projection / 4.4.3：
Factorization of Multi-Body and Articulated Objects / 4.5：
Multi-Body Factorization / 4.5.1：
Articulated Factorization / 4.5.2：
Perspective 3D Reconstruction of Rigid Objects / 4.6：
Previous Works on Projective Depths Recovery / 5.1：
Epipolar Geometry Based Algorithm / 5.2.1：
Iteration Based Algorithm / 5.2.2：
Hybrid Projective Depths Recovery / 5.3：
Initialization and Optimization / 5.3.1：
Selection of Reference Frames / 5.3.2：
Camera Calibration and Euclidean Reconstruction / 5.4：
Camera Self-calibration / 5.4.1：
Euclidean Reconstruction / 5.4.2：
Outline of the Algorithm / 5.4.3：
Projective Depths Recovery / 5.5：
Calibration and Reconstruction / 5.5.2：
Evaluations on Real Sequences / 5.6：
Test on Model House Sequence / 5.6.1：
Test on Stone Post Sequence / 5.6.2：
Test on Medusa Head Sequence / 5.6.3：
Perspective 3D Reconstruction of Nonrigid Objects / 5.7：
Perspective Depth Scales and Nonrigid Factorization / 6.1：
Perspective Depth Scales / 6.2.1：
Nonrigid Affine Factorization / 6.2.2：
Perspective Stratification / 6.3：
Linear Recursive Estimation / 6.3.1：
Nonlinear Optimization Algorithm / 6.3.2：
Reconstruction Results / 6.4：
Convergence and Performance Comparisons / 6.4.2：
Experiments with Real Sequences / 6.5：
Test on Franck Sequence / 6.5.1：
Test on Scarf Sequence / 6.5.2：
Rotation Constrained Power Factorization / 6.6：
Power Factorization for Rigid Objects / 7.1：
Power Factorization for Nonrigid Objects / 7.3：
Initialization and Convergence Determination / 7.3.1：
Sequential Factorization / 7.3.3：
Reconstruction Results and Evaluations / 7.4：
Convergence Property / 7.4.2：
Test on Grid Sequence / 7.4.3：
Test on Quilt Sequence / 7.5.2：
Stratified Euclidean Reconstruction / 7.6：
Deformation Weight Constraint / 8.1：
Nonrigid Factorization / 8.2.1：
Geometrical Explanation / 8.2.2：
Affine Structure and Motion Recovery / 8.3：
Constrained Power Factorization / 8.3.1：
Initalization and Convergence Determination / 8.3.2：
Segmentation and Stratification / 8.4：
Deformation Detection Strategy / 8.4.1：
Stratification to Euclidean Space / 8.4.2：
Implementation Outline / 8.4.3：
Convergence Property and Segmentation / 8.5：
Test on Toy Sequence / 8.6：
Quasi-Perspective Factorization / 8.7：
Background on Factorization / 9.1：
Quasi-Perspective Rigid Factorization / 9.3：
Euclidean Upgrading Matrix / 9.3.1：
Algorithm Outline / 9.3.2：
Quasi-Perspective Nonrigid Factorization / 9.4：
Problem Formulation / 9.4.1：
Evaluation on Rigid Factorization / 9.4.2：
Evaluation on Nonrigid Factorization / 9.5.2：
Evaluations on Real Image Sequences / 9.6：
Test on Fountain Base Sequence / 9.6.1：
Projective Geometry for Computer Vision / 9.6.2：
2D Projective Geometry / A.1：
Points and Lines / A.1.1：
Conics and Duel Conics / A.1.2：
2D Projective Transformation / A.1.3：
3D Projective Geometry / A.2：
Points, Lines, and Planes / A.2.1：
Projective Transformation and Quadrics / A.2.2：
Matrix Decomposition / Appendix B：
Singular Value Decomposition / B.1：
Properties of SVD Decomposition / B.1.1：
Low-Rank Matrix Approximation / B.1.2：
QR and RQ Decompositions / B.2：
Symmetric and Skew-Symmetric Matrix / B.3：
Cross Product / B.3.1：
Cholesky Decomposition / B.3.2：
Extended Cholesky Decomposition / B.3.3：
Numerical Computation Method / Appendix C：
Linear Least Squares / C.1：
Full Rank System / C.1.1：
Deficient Rank System / C.1.2：
Nonlinear Estimation Methods / C.2：
Bundle Adjustment / C.2.1：
Newton Iteration / C.2.2：
Levenberg-Marquardt Algorithm / C.2.3：
Glossary
Index
Introduction to 3D Computer Vision / 1：
Introduction / 1.1：
Imaging Geometry and Camera Models / 1.2：
8.

電子ブック
ＥＢ
8. Handbook of Mobile Ad Hoc Networks for Mobility Models
Radhika Ranjan Roy
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Statistical Image Processing and Multidimensional Modeling
Paul Fieguth
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Preserving Privacy in Data Outsourcing
Sara Foresti
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Motivation / 1.1：
Contribution of the Book / 1.2：
Access Control Enforcement / 1.2.1：
Privacy Protection / 1.2.2：
Safe Data Integration / 1.2.3：
Organization of the Book / 1.3：
Overview of the State of the Art / 2：
Chapter Outline / 2.1：
Basic Scenario and Data Organization / 2.2：
Parties Involved / 2.2.1：
Data Organization / 2.2.2：
Interactions / 2.2.3：
Querying Encrypted Data / 2.3：
Bucket-Based Approach / 2.3.1：
Hash-Based Approach / 2.3.2：
B+ Tree Approach / 2.3.3：
Order Preserving Encryption Approaches / 2.3.4：
Other Approaches / 2.3.5：
Evaluation of Inference Exposure / 2.4：
Integrity of Outsourced Data / 2.5：
Privacy Protection of Databases / 2.6：
Access Control Enforcement in the Outsourcing Scenario / 2.7：
Chapter Summary / 2.8：
Selective Encryption to Enforce Access Control / 3：
Relational Model / 3.1：
Basic Concepts and Notation / 3.2.1：
Access Control and Encryption Policies / 3.3：
Access Control Policy / 3.3.1：
Encryption Policy / 3.3.2：
Token Management / 3.3.3：
Minimal Encryption Policy / 3.4：
Vertices and Edges Selection / 3.4.1：
Vertices Factorization / 3.4.2：
A2E Algorithm / 3.5：
Correctness and Complexity / 3.5.1：
Policy Updates / 3.6：
Grant and Revoke / 3.6.1：
Correctness / 3.6.2：
Two-Layer Encryption for Policy Outsourcing / 3.7：
Two-Layer Encryption / 3.7.1：
Policy Updates in Two-Layer Encryption / 3.8：
Over-encrypt / 3.8.1：
Protection Evaluation / 3.8.2：
Exposure Risk: Full_SEL / 3.9.1：
Exposure Risk: Delta_SEL / 3.9.2：
Design Considerations / 3.9.3：
Experimental Results / 3.10：
Combining Fragmentation and Encryption to Protect Data Privacy / 3.11：
Confidentiality Constraints / 4.1：
Fragmentation and Encryption for Constraint Satisfaction / 4.3：
Minimal Fragmentation / 4.4：
Maximal Visibility / 4.4.1：
Minimum Number of Fragments / 4.4.3：
Fragmentation Lattice / 4.4.4：
A Complete Search Approach to Minimal Fragmentation / 4.5：
Computing a Minimal Fragmentation / 4.5.1：
A Heuristic Approach to Minimize Fragmentation / 4.5.2：
Computing a Vector-minimal Fragmentation / 4.6.1：
Taking Attribute Affinity into Account / 4.6.2：
A Heuristic Approach to Maximize Affinity / 4.8：
Computing a Vector-minimal Fragmentation with the Affinity Matrix / 4.8.1：
Query Cost Model / 4.8.2：
A Heuristic Approach to Minimize Query Cost Execution / 4.10：
Computing a Vector-minimal Fragmentation with the Cost Function / 4.10.1：
Query Execution / 4.10.2：
Indexes / 4.12：
Distributed Query Processing under Safely Composed Permissions / 4.13：
Preliminary Concepts / 5.1：
Data Model / 5.2.1：
Distributed Query Execution / 5.2.2：
Security Model / 5.3：
Permissions / 5.3.1：
Relation Profiles / 5.3.2：
Graph-based Model / 5.4：
Authorized Views / 5.5：
Authorizing Permissions / 5.5.1：
Composition of Permissions / 5.5.2：
Algorithm / 5.5.3：
Safe Query Planning / 5.6：
Third Party Involvement / 5.6.1：
Build a Safe Query Plan / 5.7：
Conclusions / 5.8：
Summary of the Contributions / 6.1：
Future Work / 6.2：
References / 6.2.1：
Introduction / 1：
Motivation / 1.1：
Contribution of the Book / 1.2：
11.

電子ブック
ＥＢ
11. Handbook of Open Source Tools
Sandeep Koranne
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. Web Mining and Social Networking
Guandong Xu, Lin Li, Yanchun Zhang
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Foundation / Part I：
Introduction / 1：
Background / 1.1：
Data Mining and Web Mining / 1.2：
Web Community and Social Network Analysis / 1.3：
Characteristics of Web Data / 1.3.1：
Web Community / 1.3.2：
Social Networking / 1.3.3：
Summary of Chapters / 1.4：
Audience of This Book / 1.5：
Theoretical Backgrounds / 2：
Web Data Model / 2.1：
Textual, Linkage and Usage Expressions / 2.2：
Similarity Functions / 2.3：
Correlation-based Similarity / 2.3.1：
Cosine-Based Similarity / 2.3.2：
Eigenvector, Principal Eigenvector / 2.4：
Singular Value Decomposition (SVD) of Matrix / 2.5：
Tensor Expression and Decomposition / 2.6：
Information Retrieval Performance Evaluation Metrics / 2.7：
Performance measures / 2.7.1：
Web Recommendation Evaluation Metrics / 2.7.2：
Basic Concepts in Social Networks / 2.8：
Basic Metrics of Social Network / 2.8.1：
Social Network over the Web / 2.8.2：
Algorithms and Techniques / 3：
Association Rule Mining / 3.1：
Association Rule Mining Problem / 3.1.1：
Basic Algorithms for Association Rule Mining / 3.1.2：
Sequential Pattern Mining / 3.1.3：
Supervised Learning / 3.2：
Nearest Neighbor Classifiers / 3.2.1：
Decision Tree / 3.2.2：
Bayesian Classifiers / 3.2.3：
Neural Networks Classifier / 3.2.4：
Unsupervised Learning / 3.3：
The k-Means Algorithm / 3.3.1：
Hierarchical Clustering / 3.3.2：
Density based Clustering / 3.3.3：
Semi-supervised Learning / 3.4：
Self-Training / 3.4.1：
Co-Training / 3.4.2：
Generative Models / 3.4.3：
Graph based Methods / 3.4.4：
Markov Models / 3.5：
Regular Markov Models / 3.5.1：
Hidden Markov Models / 3.5.2：
K-Nearest-Neighboring / 3.6：
Content-based Recommendation / 3.7：
Collaborative Filtering Recommendation / 3.8：
Memory-based collaborative recommendation / 3.8.1：
Model-based Recommendation / 3.8.2：
Social Network Analysis / 3.9：
Detecting Community Structure in Networks / 3.9.1：
The Evolution of Social Networks / 3.9.2：
Web Mining: Techniques and Applications / Part II：
Web Content Mining / 4：
Vector Space Model / 4.1：
Web Search / 4.2：
Activities on Web archiving / 4.2.1：
Web Crawling / 4.2.2：
Personalized Web Search / 4.2.3：
Feature Enrichment of Short Texts / 4.3：
Latent Semantic Indexing / 4.4：
Automatic Topic Extraction from Web Documents / 4.5：
Topic Models / 4.5.1：
Topic Models for Web Documents / 4.5.2：
Inference and Parameter Estimation / 4.5.3：
Opinion Search and Opinion Spam / 4.6：
Opinion Search / 4.6.1：
Opinion Spam / 4.6.2：
Web Linkage Mining / 5：
Web Search and Hyperlink / 5.1：
Co-citation and Bibliographic Coupling / 5.2：
Co-citation / 5.2.1：
Bibliographic Coupling / 5.2.2：
PageRank and HITS Algorithms / 5.3：
PageRank / 5.3.1：
HITS / 5.3.2：
Web Community Discovery / 5.4：
Bipartite Cores as Communities / 5.4.1：
Network Flow/Cut-based Notions of Communities / 5.4.2：
Web Community Chart / 5.4.3：
Web Graph Measurement and Modeling / 5.5：
Graph Terminologies / 5.5.1：
Power-law Distribution / 5.5.2：
Power-law Connectivity of the Web Graph / 5.5.3：
Bow-tie Structure of the Web Graph / 5.5.4：
Using Link Information for Web Page Classification / 5.6：
Using Web Structure for Classifying and Describing Web Pages / 5.6.1：
Using Implicit and Explicit Links for Web Page Classification / 5.6.2：
Web Usage Mining / 6：
Modeling Web User Interests using Clustering / 6.1：
Measuring Similarity of Interest for Clustering Web Users / 6.1.1：
Clustering Web Users using Latent Semantic Indexing / 6.1.2：
Web Usage Mining using Probabilistic Latent Semantic Analysis / 6.2：
Probabilistic Latent Semantic Analysis Model / 6.2.1：
Constructing User Access Pattern and Identifying Latent Factor with PLSA / 6.2.2：
Finding User Access Pattern via Latent Dirichlet Allocation Model / 6.3：
Latent Dirichlet Allocation Model / 6.3.1：
Modeling User Navigational Task via LDA / 6.3.2：
Co-Clustering Analysis of weblogs using Bipartite Spectral Projection Approach / 6.4：
Problem Formulation / 6.4.1：
An Example of Usage Bipartite Graph / 6.4.2：
Clustering User Sessions and Web Pages / 6.4.3：
Web Usage Mining Applications / 6.5：
Mining Web Logs to Improve Website Organization / 6.5.1：
Clustering User Queries from Web logs for Related Query / 6.5.2：
Using Ontology-Based User Preferences to Improve Web Search / 6.5.3：
Social Networking and Web Recommendation: Techniques and Applications / Part III：
Extracting and Analyzing Web Social Networks / 7：
Extracting Evolution of Web Community from a Series of Web Archive / 7.1：
Types of Changes / 7.1.1：
Evolution Metrics / 7.1.2：
Web Archives and Graphs / 7.1.3：
Evolution of Web Community Charts / 7.1.4：
Temporal Analysis on Semantic Graph using Three-Way Tensor Decomposition / 7.2：
Algorithms / 7.2.1：
Examples of Formed Community / 7.2.3：
Analysis of Communities and Their Evolutions in Dynamic Networks / 7.3：
Motivation / 7.3.1：
Algorithm / 7.3.2：
Community Discovery Examples / 7.3.4：
Socio-Sense: A System for Analyzing the Societal Behavior from Web Archive / 7.4：
System Overview / 7.4.1：
Web Structural Analysis / 7.4.2：
Web Temporal Analysis / 7.4.3：
Consumer Behavior Analysis / 7.4.4：
Web Mining and Recommendation Systems / 8：
User-based and Item-based Collaborative Filtering Recommender Systems / 8.1：
User-based Collaborative Filtering / 8.1.1：
Item-based Collaborative Filtering Algorithm / 8.1.2：
Performance Evaluation / 8.1.3：
A Hybrid User-based and Item-based Web Recommendation System / 8.2：
Problem Domain / 8.2.1：
Hybrid User and Item-based Approach / 8.2.2：
Experimental Observations / 8.2.3：
User Profiling for Web Recommendation Based on PLSA and LDA Model / 8.3：
Recommendation Algorithm based on PLSA Model / 8.3.1：
Recommendation Algorithm Based on LDA Model / 8.3.2：
Combing Long-Term Web Achieves and Logs for Web Query Recommendation / 8.4：
Combinational CF Approach for Personalized Community Recommendation / 8.5：
CCF: Combinational Collaborative Filtering / 8.5.1：
C-U and C-D Baseline Models / 8.5.2：
CCF Model / 8.5.3：
Conclusions / 9：
Summary / 9.1：
Future Directions / 9.2：
References
Foundation / Part I：
Introduction / 1：
Background / 1.1：
13.

電子ブック
ＥＢ
13. Genetic Programming Theory and Practice VIII
Trent McConaghy, Ekaterina Vladislavleva Rick Riolo, Trent McConaghy, Rick Riolo, Ekaterina Vladislavleva
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Computer Vision
Richard Szeliski
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Reframing Humans in Information Systems Development
Hannakaisa Isom?ki, Hannakaisa Isomaki, Samuli Pekkola
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction: Reframing Humans and Information Systems / Hannakaisa Isomäki ; Samuli Pekkola1：
Human Systems Analysis / Part I：
On the Emergence of Techno-Religious Spaces: Implications for Design and End Users / Heba El-Sayed ; Anita Greenhill ; Chris Westrup2：
Towards Lifeworld-Oriented Information Systems Development / Andrew Basden3：
Understanding the Business Client - Systems Developer Relationship: A Power Perspective / Bruce Rowlands4：
A Semiotic Analysis of Interactions Between End Users and Information Systems / Sheng-Cheng Huang ; Randolph G. Bias5：
Information Systems Development as an Intellectual Process: Designers' Perceptions of Users / 6：
Methodology / Part II：
Participatory Design in Information Systems Development / Keld Bødker ; Finn Kensing ; Jesper Simonsen7：
Reflecting, Tinkering, and Tailoring: Implications for Theories of Information System Design / Dirk Hovorka ; Matt Germonprez8：
Evolutionary Application Development: Tools to Make Tools and Boundary Crossing / Anders I. Mørch9：
Design Science Research for User-Centeredness / Juhani Iivari ; Netta Iivari10：
"20 Years a-Growing": Revisiting From Human Factors to Human Actors / Liam J. Bannon11：
Practice / Part III：
Three Levels of Failure: Analysing a Workflow Management System / Tom Gross12：
When and How Do We Become a "User"? / Katarina Lindblad-Gidlund13：
Use of Mobile IS: New Requirements for the IS Development Process / Bo Andersson ; Stefan Henningsson14：
Reframing Online Shopping Through Innovative and Organic User-Oriented Design / Gordon Fletcher15：
Stakeholder Involvement and Team Working in Systems Development Practice / Hilary Berger16：
Epilogue / 17：
Index
Introduction: Reframing Humans and Information Systems / Hannakaisa Isomäki ; Samuli Pekkola1：
Human Systems Analysis / Part I：
On the Emergence of Techno-Religious Spaces: Implications for Design and End Users / Heba El-Sayed ; Anita Greenhill ; Chris Westrup2：
16.

電子ブック
ＥＢ
16. Requirements Engineering
Elizabeth Hull, Jeremy Dick, Ken Jackson
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Introduction to Requirements / 1.1：
Introduction to Systems Engineering / 1.2：
Defining Requirements Engineering / 1.3：
Definition of a Requirement / 1.3.1：
Definition of a Stakeholder / 1.3.2：
Definition of Requirements Engineering / 1.3.3：
Requirements and Quality / 1.4：
Requirements and the Lifecycle / 1.5：
Requirements Tracing / 1.6：
Requirements and Modelling / 1.7：
Requirements and Testing / 1.8：
Requirements in the Problem and Solution Domains / 1.9：
How to Read this Book / 1.10：
A Generic Process for Requirements Engineering / 2：
Developing Systems / 2.1：
Generic Process Context / 2.3：
Input Requirements and Derived Requirements / 2.3.1：
Acceptance Criteria and Qualification Strategy / 2.3.2：
Generic Process Introduction / 2.4：
Ideal Development / 2.4.1：
Development in the Context of Change / 2.4.2：
Generic Process Information Model / 2.5：
Information Classes / 2.5.1：
Agreement State / 2.5.2：
Qualification State / 2.5.3：
Satisfaction State / 2.5.4：
Information Model Constraints / 2.5.5：
Generic Process Details / 2.6：
Agreement Process / 2.6.1：
Analyse and Model / 2.6.2：
Derive Requirements and Qualification Strategy Fig. 2.1.3 Portrays the Process for Deriving Requirements and Qualification Strategy / 2.6.3：
Summary / 2.7：
System Modelling for Requirements Engineering / 3：
Representations for Requirements Engineering / 3.1：
Data Flow Diagrams / 3.2.1：
Entity-Relationship Diagrams / 3.2.2：
Statecharts / 3.2.3：
Object-Oriented Approaches / 3.2.4：
Methods / 3.3：
Viewpoint Methods / 3.3.1：
Object-Oriented Methods / 3.3.2：
The UML Notation / 3.3.3：
Formal Methods / 3.3.4：
Writing and Reviewing Requirements / 3.4：
Requirements for Requirements / 4.1：
Structuring Requirements Documents / 4.3：
Key Requirements / 4.4：
Using Attributes / 4.5：
Ensuring Consistency Across Requirements / 4.6：
Value of a Requirement / 4.7：
The Language of Requirements / 4.8：
Requirement Boilerplates / 4.9：
Granularity of Requirements / 4.10：
Criteria for Writing Requirements Statements / 4.11：
Requirements Engineering in the Problem Domain / 4.12：
What is the Problem Domain? / 5.1：
Instantiating the Generic Process / 5.2：
Agree Requirements with Customer / 5.3：
Analyse & Model / 5.4：
Identify Stakeholders / 5.4.1：
Create Use Scenarios / 5.4.2：
Scoping the System / 5.4.3：
Derive Requirements / 5.5：
Define Structure / 5.5.1：
Capture Requirements / 5.5.2：
Define Acceptance Criteria / 5.5.3：
Define Qualification Strategy / 5.5.4：
Requirements Engineering in the Solution Domain / 5.6：
What is the Solution Domain / 6.1：
Engineering Requirements from Stakeholder Requirements to System Requirements / 6.2：
Producing the System Model / 6.2.1：
Creating System Models to Derive System Requirements / 6.2.2：
Banking Example / 6.2.3：
Car Example / 6.2.4：
Deriving Requirements from a System Model / 6.2.5：
Agreeing the System Requirements with the Design Team / 6.2.6：
Engineering Requirements from System Requirements to Subsystems / 6.3：
Creating a System Architecture Model / 6.3.1：
Deriving Requirements from an Architectural Design Model / 6.3.2：
Other Transformations Using a Design Architecture / 6.4：
Advanced Traceability / 6.5：
Elementary Traceability / 7.1：
Satisfaction Arguments / 7.3：
Requirements Allocation / 7.4：
Reviewing Traceability / 7.5：
The Language of Satisfaction Arguments / 7.6：
Rich Traceability Analysis / 7.7：
Rich Traceability for Qualification / 7.8：
Implementing Rich Traceability / 7.9：
Single-Layer Rich Traceability / 7.9.1：
Multi-Layer Rich Traceability / 7.9.2：
Design Documents / 7.10：
Metrics for Traceability / 7.11：
Breadth / 7.11.1：
Depth / 7.11.2：
Growth / 7.11.3：
Balance / 7.11.4：
Latent Change / 7.11.5：
Management Aspects of Requirements Engineering / 7.12：
Introduction to Management / 8.1：
Requirements Management Problems / 8.2：
Summary of Requirement Management Problems / 8.2.1：
Managing Requirements in an Acquisition Organisation / 8.3：
Planning / 8.3.1：
Monitoring / 8.3.2：
Changes / 8.3.3：
Supplier Organisations / 8.4：
Bid Management / 8.4.1：
Development / 8.4.2：
Product Organisations / 8.5：
DOORS: A Tool to Manage Requirements / 8.5.1：
The Case for Requirements Management / 9.1：
DOORS Architecture / 9.3：
Projects, Modules and Objects / 9.4：
DOORS Database Window / 9.4.1：
Formal Modules / 9.4.2：
Objects / 9.4.3：
Graphical Objects / 9.4.4：
Tables / 9.4.5：
History and Version Control / 9.5：
History / 9.5.1：
Baselining / 9.5.2：
Attributes and Views / 9.6：
Attributes / 9.6.1：
Views / 9.6.2：
Traceability / 9.7：
Links / 9.7.1：
Traceability Reports / 9.7.2：
Import and Export / 9.8：
UML Modelling with DOORS/Analyst / 9.9：
Bibliography / 9.10：
Index
Introduction / 1：
Introduction to Requirements / 1.1：
Introduction to Systems Engineering / 1.2：
17.

電子ブック
ＥＢ
17. Modeling in Systems Biology
Wolfgang Reisig, Falk Schreiber Ina Koch, Ina Koch, Wolfgang Reisig, Falk Schreiber
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Foundations / Part I：
Introduction / Ina Koch ; Falk Schreiber1：
Systems Biology / 1.1：
Models and Modeling / 1.2：
Analysis of Models / 1.2.1：
Model Development / 1.2.2：
Model Composition / 1.2.3：
Dynamic Behavior / 1.2.4：
Data Resources / 1.3：
Repositories of Gene Expression Data / 1.3.1：
Protein-Protein Interaction Databases / 1.3.2：
Pathway Databases / 1.3.3：
Visualization / 1.4：
Visualization Methods / 1.4.1：
Systems Biology Graphical Notation / 1.4.2：
Visualization Tools / 1.4.3：
Petri Nets in Biology / 1.5：
Motivation for Using Petri Nets / 1.5.1：
Problems / 1.5.2：
Biochemical Fundamentals / Tiina Liiving ; Syed M. Baker ; Björn H. Junker2：
Cell Biology / 2.1：
Cellular Organization / 2.1.1：
Mitochondria / 2.1.2：
Plastids / 2.1.3：
Metabolism / 2.2：
Metabolic Pathways and Networks / 2.2.1：
Metabolites / 2.2.2：
Enzymes / 2.2.3：
Enzyme Inhibition / 2.2.4：
Central Metabolic Pathways / 2.2.5：
Metabolic Networks / 2.2.6：
Regulation of Metabolism / 2.2.7：
Gene Expression / 2.3：
Transcription / 2.3.1：
Translation / 2.3.2：
Gene Regulation / 2.3.3：
Gene Regulatory Networks / 2.3.4：
Signal Transduction / 2.4：
Hormones and Other Signaling Molecules / 2.4.1：
Receptors / 2.4.2：
Petri Nets / Wolfgang Reisig2.5：
An Introductory Example / 3.1：
Models of Substances / 3.2.1：
Models of Reactions / 3.2.2：
Sequentially Composed Reactions / 3.2.3：
Quantitative Aspects / 3.2.4：
Alternative Composition / 3.2.5：
Modeling the Interface / 3.2.6：
Putting it All Together / 3.2.7：
The Static Structure of Petri Nets / 3.3：
Places / 3.3.1：
Transitions / 3.3.2：
Arcs / 3.3.3：
Markings / 3.3.4：
Static Net Structures / 3.3.5：
Dynamic Behavior of Petri Nets / 3.4：
Enabled Transitions / 3.4.1：
Steps / 3.4.2：
Step Sequences and Reachable Markings / 3.4.3：
The Role of Infinity / 3.4.4：
Analysis Techniques for Petri Nets / 3.5：
Important Properties / 3.5.1：
The Linear Algebra of Steps / 3.5.2：
The Matrix of a Petri Net / 3.5.3：
Place Invariants / 3.5.4：
Transition Invariants / 3.5.5：
Traps / 3.5.6：
Syphons / 3.5.7：
The Marking Graph / 3.5.8：
Concurrent Runs / 3.5.9：
Petri Nets as a Modeling Technique for Systems Biology / 3.6：
Discrete Steps / 3.6.1：
Local Cause and Effect / 3.6.2：
Invariance of Substance / 3.6.3：
Other Models of Dynamic Systems / 3.6.4：
References and Tools / 3.7：
Modeling Techniques / 3.8：
Discrete Modeling / Andrea Sackmann4：
Modeling Concepts / 4.1：
Qualitative Analysis / 4.2：
P-invariants / 4.3：
T-invariants / 4.4：
Feasible T-invariants / 4.4.1：
MCT-sets / 4.4.2：
T-clusters / 4.4.3：
Mauritius Maps / 4.4.4：
Related Work / 4.5：
Software / 4.6：
Modeling Genetic Regulatory Networks / Richard Banks ; Victor Khomenko ; L. Jason Steggles4.7：
Synchronous Models of GRNs / 5.1：
Constructing a Qualitative Petri Net Model / 5.2.1：
Tool Support / 5.2.2：
Case Study: Nutritional Stress Response in E. coli / 5.2.3：
Asynchronous Models of GRNs / 5.3：
Signal Transition Graphs and Speed-Independent Circuits / 5.3.1：
Refining Asynchronous Models of GRNs / 5.3.2：
Case Study: Lysis-Lysogeny Switch in Phage ? / 5.3.3：
Summary / 5.4：
Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling / Ayumu Saito ; Masao Nagasaki ; Hiroshi Matsuno ; Satoru Miyano5.6：
Pathway Modeling with Concept of Petri Net / 6.1：
Petri Net(PN) / 6.2.1：
Representation of Biological Pathway / 6.2.2：
Timed Petri Net (TPN) / 6.2.3：
Continuous Timed Petri Net (CTPN) / 6.2.4：
Hybrid Functional Petri Net with Extension / 6.3：
Modeling MicroRNAs Double-Negative Feedback Loop in Gustatory Neurons of C. elegans / 6.4：
Concluding Remarks / 6.5：
Stochastic Modeling / Ivan Mura6.6：
Basic Concepts / 7.1：
The Theoretical Basis of Stochastic Molecular Dynamics / 7.2.1：
SPN Modeling of Stochastic Molecular Dynamics / 7.2.2：
Beyond Pure Mass-Action / 7.2.3：
Methods to Determine SPN Evolution / 7.3：
Analytical and Numerical Approaches / 7.3.1：
Simulation Approaches / 7.3.2：
Examples of Modeling and Evaluation / 7.4：
A Biochemical Oscillator / 7.4.1：
A Protein Synthesis Network / 7.4.2：
A Gene Regulatory Network / 7.4.3：
Quantitative Analysis / Jörg Ackermann7.5：
Mass Action / 8.1：
Zero-Order Reactions / 8.2.1：
First-Order Reactions or Unimolecular Reactions / 8.2.2：
Second-Order Reactions or Bimolecular Reactions / 8.2.3：
Reversible Mass Action or Equilibrium Reactions / 8.2.4：
Example: A Simple Predator Prey Model / 8.2.5：
Steady States / 8.2.6：
Stability Analysis / 8.2.7：
Spatial Instability / 8.2.8：
Michaelis-Menten Kinetics / 8.3：
Enzyme Kinetics with Inhibitors / 8.3.1：
Hill Kinetics / 8.4：
Neutral Binding / 8.4.1：
Cooperative Binding / 8.4.2：
Continuous Versus Discrete Modeling / 8.5：
Stability Analysis of the Continuous Lotka-Volterra Model / 8.6.2：
Stability Analysis of the Discrete Lotka-Volterra Model / 8.6.3：
Fuzzy Modeling / Lukas Windhager ; Florian Erhard ; Ralf Zimmer8.6.4：
Methods and Concepts / 9.1：
Ordinary Logic Reasoning / 9.2.1：
Fuzzy Sets / 9.2.2：
Fuzzy Logic Reasoning / 9.2.3：
Application to Petri Nets / 9.2.4：
Results / 9.3：
Design Principles / 9.3.1：
PNMA / 9.3.2：
Parameter Estimation / 9.3.3：
Application / 9.3.4：
Common Network Motifs and Cell Cycle Model / 9.4：
Comparison of Fuzzy Logic to Multi-Class Discrete Logic / 9.4.2：
Classification of Gene Expression Data / 9.4.3：
Biochemical Applications / 9.5：
Topological Analysis of Metabolic and Regulatory Networks / Stefan Schuster10：
Modelling Steady States / 10.1：
Minimal T-invariants and Elementary Modes / 10.2.2：
Clustering of T-invariants / 10.2.3：
Definition and Biochemical Interpretation / 10.3：
Algorithms and Software Tools for Computing Minimal Invariants / 10.3.2：
Other Topological Properties / 10.4：
Related Work with Concrete Biological Examples / 10.5：
Conclusions / 10.6：
Analysis of Dynamical Models of Signaling Networks with Petri Nets and Dynamic Graphs / Simon Hardy ; Ravi Iyengar10.7：
From Ordinary Differential Equations to a Petri Net Model / 11.1：
From a Petri Net Model to an Interaction Graph / 11.2.2：
From an Interaction Graph to an Influence Graph / 11.2.3：
From an Influence Graph to Dynamic Graphs / 11.2.4：
Dynamic and Function of the Regulatory Motifs / 11.2.5：
Lifetime of the Regulatory Motifs / 11.3.2：
A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets / Claudine Chaouiya ; Hanna Klaudel ; Franck Poramereau11.4：
Logical Modeling of Regulatory Networks / 12.1：
Logical Regulatory Graphs (LRGs) / 12.2.1：
Logical Functions Representation Based on Decision Diagrams / 12.2.2：
State Transition Graphs Associated to LRGs / 12.2.3：
P/T Petri Net Representation / 12.3：
Tools Support / 12.3.1：
Related Works / 12.3.2：
Modules, Their Composition and High-Level Petri Net Representation / 12.4：
Interconnecting Logical Regulatory Modules / 12.4.1：
High-Level Petri Net Representation / 12.4.2：
Implementation / 12.4.3：
Modeling Interconnected LRMs Using High-Level Petri Nets / 12.5：
Interconnecting Occurrences of the Toy LRM / 12.5.1：
The Drosophila Segment-Polarity Module / 12.5.2：
A Case Study of HFPN Simulation: Finding Essential Roles of Ror Gene in the Interaction of Feedback Loops in Mammalian Circadian Clock / Natsumi Mitou ; Shin-Ichi T. Inouye12.6：
Modeling Molecular Circadian Oscillator in Mouse with Hybrid Functional Petri Net / 13.1：
Circadian Clock Oscillator with Five Genes / 13.2.1：
Construction of an HFPN Model / 13.2.2：
Effect of the Two Interlocked Loops in Circadian Gene Regulations in Mouse / 13.3：
A Problem of die Previous HFPN Model in an Oscillation Maintenance / 13.3.1：
Modification in Parameters for Constituting Interlocked Loops / 13.3.2：
Function of Ror in the Interlocked Model / 13.4：
Introduction of Ror / 13.4.1：
Inclusion of a Hypothetical Path: ROR Excites Bmal Only When PER/CRY Level Are Above the Threshold / 13.4.2：
Simulation for Rev-Erb Knockout Mice / 13.4.3：
Prediction of Network Structure / Annegret Wagler13.5：
Methods to Predict Network Structures / 14.1：
A General Combinatorial Reconstruction Approach / 14.2.1：
An Approach for die Case of Monotone Data / 14.2.2：
Results: A Reconstruction Algoridim / 14.3：
Exercises and Solutions / 14.4：
Glossary
References
Index
Foundations / Part I：
Introduction / Ina Koch ; Falk Schreiber1：
Systems Biology / 1.1：
18.

電子ブック
ＥＢ
18. The Seductive Computer
Derek Partridge
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
The Joy of Programming / Part I：
The Happy Hacker, Love at First Byte / 2：
The Reluctant Programmer / 3：
Cooking Up Programs / 4：
Recipes for What? / 5：
Programs: The Good, the Bad, and the Verified / 6：
Going to Ground with Symbols / 7：
Hooptedoodle 1 - The Proof of the Science is in the Pudding / 8：
The Soft Machine / 9：
Computers Only Do as They're Told / 10：
Hooptedoodle 2: Recursing Through Tescos / 11：
The Way of the Seducer / Part II：
Intimate Relationships of the Computational Kind / 12：
Programming with Flair / 13：
Hooptedoodle 3: The Seductive Gene / 14：
Runaway Programs: Dr Frankenstein's Predicament / 15：
Sneakaway Programs: Everybody's Predicament / 16：
Hooptedoodle 4: Bases for Data Security / 17：
The Roles of Software in Society / 18：
Pieces of Resistance / Part III：
Help from Within / 19：
A Moderately Stupid Assistant / 20：
Watching Programs Work / 21：
Classical Reconditioning: Doing What Happens Naturally / 22：
A Computer That Knows When It's Wrong / 23：
The End of the Affair / Part IV：
Analysis and Counselling / 24：
The Epilogic / 25：
Glossary
Index
Introduction / 1：
The Joy of Programming / Part I：
The Happy Hacker, Love at First Byte / 2：
19.

電子ブック
ＥＢ
19. Application and Multidisciplinary Aspects of Wireless Sensor Networks
Srdjan Krco, Veljko Milutinovic, Ivan Stojmenovic, Roman Trobec Liljana Gavrilovska, Liljana Gavrilovska, Srdjan Krco
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction: Bird's-Eye View of Wireless Sensor Networks / Aleksandar Crnjin1：
Basic Issues / Part I：
Sensors / Goran Rakocevic2：
Software Issues in Wireless Sensor Networks / 3：
Position-Based Routing Protocols for Ad Hoc Networks / Liana K. Qabajeh ; Laiha Mat Kiah ; Mohammad M. Qabajeh4：
Multidisciplinary Issues / Part II：
Sensor Networks' Integration / Szymon Fedor ; Alex Gluhak ; Srdjan Krco5：
Mobility Aspects in WSN / Aleksandra Mateska ; Liljana Gavrilovska ; Sotiris Nikoletseas6：
Modeling for Geo-Routing in Multi-Hop Wireless Networks / Adnan Khan ; Costas Constantinou ; Ivan Stojmenovic7：
Medical Applications of Wireless Sensor Networks: Who-Did-What / Stanislava Stankovic8：
Optimized Positioning of ECG Electrodes for WSN Applications / Ivan Tomašic ; Roman Trobec9：
Vehicular Sensor Networks: General Aspects and Implementation Issues / Vladimir Atanasovski10：
Case Studies / Part III：
FEEIT WSN Testbed: Effective System for Providing Emergency Situations' Prevention and Surveillance / 11：
ETF WSN Testbed: Practical Health Enhancing Application of Wireless Sensor Networks / Zoran Babovic ; Veljko Milutinovic12：
Birds of a Feather / Part IV：
Ubiquitous Sensor Networks / Zhilbert Tafa13：
eMuseum / Aleksandar corovic ; Bojan Imamovic ; Edin Kadric ; Lejla Kadric ; Nermin Lipa ; Selma Opanovic14：
The PAR Logistics Solver Problem / Gordana Nikolic ; Dario Zoric ; Alan Martinovic ; David Dubrovic15：
Wireless Sensor-Based Robot Control / Gyula Mester ; Istvan Matijevics ; Tamas Szepe ; Janos Simon16：
Index
Introduction: Bird's-Eye View of Wireless Sensor Networks / Aleksandar Crnjin1：
Basic Issues / Part I：
Sensors / Goran Rakocevic2：
20.

電子ブック
ＥＢ
20. Python Programming Fundamentals
Kent D. Lee
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
The Python Programming Language / 1.1：
Installing Python and Wing IDE 101 / 1.2：
Writing Your First Program / 1.3：
What is a Computer? / 1.4：
Binary Number Representation / 1.5：
What is a Programming Language? / 1.6：
Hexadecimal and Octal Representation / 1.7：
Writing Your Second Program / 1.8：
Syntax Errors / 1.9：
Types of Values / 1.10：
The Reference Type and Assignment Statements / 1.11：
Integers and Real Numbers / 1.12：
Strings / 1.13：
Integer to String Conversion and Back Again / 1.14：
Getting Input / 1.15：
Formatting Output / 1.16：
When Things Go Wrong / 1.17：
Review Questions / 1.18：
Exercises / 1.19：
Solutions to Practice Problems / 1.20：
Decision Making / 2：
Finding the Max of Three Integers / 2.1：
The Guess and Check Pattern / 2.2：
Choosing from a List of Alternatives / 2.3：
The Boolean Type / 2.4：
Short Circuit Logic / 2.5：
Comparing Floats for Equality / 2.6：
Exception Handling / 2.7：
Repetitive Tasks / 2.8：
Operators / 3.1：
Iterating Over a Sequence / 3.2：
Lists / 3.3：
The Guess and Check Pattern for Lists / 3.4：
Mutability of Lists / 3.5：
The Accumulator Pattern / 3.6：
Reading from and Writing to a File / 3.7：
Reading Records from a File / 3.8：
Using Objects / 3.9：
Constructors / 4.1：
Accessor Methods / 4.2：
Mutator Methods / 4.3：
Immutable Classes / 4.4：
Object-Oriented Programming / 4.5：
Working with XML Files / 4.6：
Extracting Elements from an XML File / 4.7：
Dictionaries / 4.8：
Getting at the Data in an XML File / 4.9：
Working with Time / 4.10：
Parallel Lists / 4.11：
Visualizing a Workout / 4.12：
Defining Functions / 4.13：
Why Write Functions? / 5.1：
Passing Arguments and Returning a Value / 5.2：
Scope of Variables / 5.3：
The Run-time Stack / 5.4：
Mutable Data and Functions / 5.5：
Predicate Functions / 5.6：
Top-Down Design / 5.7：
Bottom-Up Design / 5.8：
Recursive Functions / 5.9：
The Main Function / 5.10：
Keyword Arguments / 5.11：
Default Values / 5.12：
Functions with Variable Number of Parameters / 5.13：
Dictionary Parameter Passing / 5.14：
Event-Driven Programming / 5.15：
The Root Window / 6.1：
Menus / 6.2：
Frames / 6.3：
The Text Widget / 6.4：
The Button Widget / 6.5：
Creating a Reminder! / 6.6：
Finishing up the Reminder! Application / 6.7：
Label and Entry Widgets / 6.8：
Layout Management / 6.9：
Message Boxes / 6.10：
Defining Classes / 6.11：
Creating an Object / 7.1：
Inheritance / 7.2：
A Bouncing Ball Example / 7.3：
Polymorphism / 7.4：
Getting Hooked on Python / 7.5：
Integer Operators / 7.6：
Float Operators / Appendix B：
String Operators and Methods / Appendix C：
List Operators and Methods / Appendix D：
Dictionary Operators and Methods / Appendix E：
Turtle Methods / Appendix F：
TurtleScreen Methods / Appendix G：
The Reminder! Program / Appendix H：
The Bouncing Ball Program / Appendix I：
Glossary
References
Index
Introduction / 1：
The Python Programming Language / 1.1：
Installing Python and Wing IDE 101 / 1.2：
21.

電子ブック
ＥＢ
21. Model-Driven Risk Analysis
Mass Soldal Lund, Bjornar Solhaug, Ketil St?len
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Matters Computational
J?rg Arndt
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Deterministic Extraction from Weak Random Sources
Ariel Gabizon
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Organization of This Book / 1.1：
The Classical Story / 1.2：
Seeded Extractors / 1.2.1：
Deterministic Extraction for Restricted Classes / 1.2.2：
Other Motivations / 1.3：
Techniques - the Recycling Paradigm / 1.4：
A Simple Example / 1.4.1：
The General Principle and the Application for Affine Sources / 1.4.2：
The Recycling Paradigm in Bit-Fixing Sources / 1.4.3：
The Recycling Paradigm for Zero-Error Dispersers / 1.4.4：
What Else Is There in This Book? / 1.4.5：
Deterministic Extractors for Bit-Fixing Sources by Obtaining an Independent Seed / 2：
Bit-Fixing Sources / 2.1：
Our Results / 2.1.2：
Overview of Techniques / 2.1.3：
Outline / 2.1.4：
Preliminaries / 2.2：
Averaging Samplers / 2.2.1：
Probability Distributions / 2.2.2：
Obtaining an Independent Seed / 2.3：
Seed Obtainers and Their Application / 2.3.1：
Constructing Seed Obtainers / 2.3.2：
Extracting a Few Bits for Any k / 2.4：
Sampling and Partitioning with a Short Seed / 2.5：
A Seeded Bit-Fixing Source Extractor with a Short Seed / 2.6：
Deterministic Extractors for Bit-Fixing Sources / 2.7：
An Extractor for Large k (Proof of Theorem 2.1) / 2.7.1：
An Extractor for Small k (Proof of Theorem 2.2) / 2.7.2：
Discussion and Open Problems / 2.8：
Deterministic Extractors for Affine Sources over Large Fields / 3：
Affine Source Extractors / 3.1：
Previous Work / 3.1.2：
Extracting Many Bits from Lines / 3.2：
Linear Seeded Affine Source Extractors / 3.2.2：
Using the Correlated Randomness as a Seed / 3.2.3：
Characters of Finite Fields / 3.3：
Extracting One Bit from Lines / 3.4：
A Linear Seeded Extractor for Affine Sources / 3.5：
Composing Extractors / 3.7：
Putting It All Together / 3.8：
Extractors and Rank Extractors for Polynomial Sources / 4：
Rank Extractors / 4.1：
Extractors and Condensers for Polynomial Sources / 4.1.2：
Rank Versus Entropy - Weak Polynomial Sources / 4.1.3：
Organization / 4.1.4：
General Preliminaries / 4.2：
Polynomials over Finite Fields / 4.2.1：
The Number of Solutions to a System of Polynomial Equations / 4.2.3：
Algebraic Independence and Rank / 4.3：
An Explicit Rank Extractor / 4.4：
Preliminaries for the Proof of Theorem 4.4 / 4.4.1：
Proof of Theorem 4.4 / 4.4.2：
Extractors for Polynomial Sources / 4.5：
Preliminaries for the Proof of Theorem 4.5 / 4.5.1：
Proof of Theorem 4.5 / 4.5.2：
Improving the Output Length / 4.6：
Extractors for Weak Polynomial Sources / 4.7：
Proof of Theorem 4.9 / 4.7.1：
The Entropy of a Polynomial Mapping / 4.7.2：
Rank Extractors over the Complex Numbers / 4.8：
Increasing the Output Length of Zero-Error Dispersers / 4.9：
Randomness Extractors and Dispersers / 5.1：
Zero-Error Dispersers / 5.1.2：
Applications / 5.1.3：
A Composition Theorem / 5.1.5：
Strongly Hitting Dispersers / 5.3.1：
Zero-Error Dispersers for Multiple Independent Sources / 5.4：
Formal Definition of Multiple Independent Sources / 5.4.1：
A Subsource Hitter for 2-Sources / 5.4.2：
Zero-Error Dispersers for 2-Sources / 5.4.3：
Zero-Error Dispersers for O(1)-Sources / 5.4.4：
Rainbows and Implicit O(1) Probe Search / 5.4.5：
Zero-Error Dispersers for Bit-Fixing Sources / 5.5：
Zero-Error Dispersers for Affine Sources / 5.6：
Open Problems / 5.7：
Sampling and Partitioning / A：
Sampling Using l-wise Independence / A.1：
Sampling and Partitioning Using Fewer Bits / A.2：
Basic Notions from Algebraic Geometry / B：
Affine and Projective Varieties / B.1：
Varieties and Ideals / B.2：
The Dimension and Degree of a Variety / B.3：
The Projective Closure of an Affine Variety / B.4：
The Dimension of Intersections of Hypersurfaces / B.5：
The Degree of Intersections of Hypersurfaces / B.6：
Bombieri's Theorem / B.7：
Bibliography
Introduction / 1：
Organization of This Book / 1.1：
The Classical Story / 1.2：
24.

電子ブック
ＥＢ
24. The Future of Software Engineering
Sebastian Nanz, Sebastian Nanz
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
Design Patterns - Past, Present & Future (Abstract) / Erich Gamma
Evidential Authorization / Andreas Blass ; Yuri Gurevich ; Michat Moskal ; Itay Neeman
Engineering and Software Engineering / Michael Jackson
Tools and Behavioral Abstraction: A Direction for Software Engineering / K. Rustan M. Leino
Precise Documentation: The Key to Better Software / David Lorge Parnas
Empirically Driven Software Engineering Research (Abstract) / Dieter Rombach
Component-based Construction of Heterogeneous Real-time Systems in BIP (Abstract) / Joseph Sifakis
Computer Science: A Historical Perspective and a Current Assessment (Abstract) / Niklaus Wirth
Internet Evolution and the Role of Software Engineering / Pamela Zave
Mining Specifications: A Roadmap / Andreas Zeller
Afterword
Greetings to Bertrand on the Occasion of his Sixtieth Birthday / Tony Hoare
Some Future Software Engineering Opportunities and Challenges / Barry Boehm
Seamless Method- and Model-based Software and Systems Engineering / Manfred Broy
Logical Abstract Domains and Interpretations / Patrick Cousot ; Radhia Cousot ; Laurent Mauborgne
25.

電子ブック
ＥＢ
25. Service Engineering
Schahram Dustdar, Fei Li
出版情報: Springer eBooks Computer Science , Springer Vienna, 2011
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Machine Learning for Vision-Based Motion Analysis
Guoying Zhao, Li Cheng, Matti Pietik?inen Liang Wang, Li Cheng, Matti Pietik?inen, Liang Wang, Guoying Zhao
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Manifold Learning and Clustering/Segmentation / Part I：
Practical Algorithms of Spectral Clustering: Toward Large-Scale Vision-Based Motion Analysis / Tomoya Sakai ; Atsushi Imiya
Riemannian Manifold Clustering and Dimensionality Reduction for Vision-Based Analysis / Alvina Goh
Manifold Learning for Multi-dimensional Auto-regressive Dynamical Models / Fabio Cuzzolin
Tracking / Part II：
Mixed-State Markov Models in Image Motion Analysis / Tomás Crivelli ; Patrick Bouthemy ; Bruno Cernuschi Frías ; Jian-feng Yao
Learning to Detect Event Sequences in Surveillance Streams at Very Low Frame Rate / Paolo Lombardi ; Cristina Versino
Discriminative Multiple Target Tracking / Xiaoyu Wang ; Gang Hua ; Tony X. Han
A Framework of Wire Tracking in Image Guided Interventions / Peng Wang ; Andreas Meyer ; Terrence Chen ; Shaohua K. Zhou ; Dorin Comaniciu
Motion Analysis and Behavior Modeling / Part III：
An Integrated Approach to Visual Attention Modeling for Saliency Detection in Videos / Sunaad Nataraju ; Vineeth Balasubramanian ; Sethuraman Panchanathan
Video-Based Human Motion Estimation by Part-Whole Gait Manifold Learning / Guoliang Fan ; Xin Zhang
Spatio-Temporal Motion Pattern Models of Extremely Crowded Scenes / Louis Kratz ; Ko Nishino
Learning Behavioral Patterns of Time Series for Video-Surveillance / Nicoletta Noceti ; Matteo Santoro ; Francesca Odone
Gesture and Action Recognition / Part IV：
Recognition of Spatiotemporal Gestures in Sign Language Using Gesture Threshold HMMs / Daniel Kelly ; John McDonald ; Charles Markham
Learning Transferable Distance Functions for Human Action Recognition / Weilong Yang ; Yang Wang ; Greg Mori
Index
Manifold Learning and Clustering/Segmentation / Part I：
Practical Algorithms of Spectral Clustering: Toward Large-Scale Vision-Based Motion Analysis / Tomoya Sakai ; Atsushi Imiya
Riemannian Manifold Clustering and Dimensionality Reduction for Vision-Based Analysis / Alvina Goh
27.

電子ブック
ＥＢ
27. Research and Development in Intelligent Systems XXVII
Miltos Petridis, Adrian Hopgood Max Bramer, Max Bramer, Adrian Hopgood, Miltos Petridis
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Advances in Systems Safety
Tom Anderson Chris Dale, Tom Anderson, Chris Dale
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Information Systems Development
Shenghua Xu, Changxuan Wan, Yuansheng Zhong, Wita Wojtkowski, Gregory Wojtkowski, Henry Linger William Wei Song, Henry Linger, William Wei Song, Changxuan Wan, Gregory Wojtkowski, Wita Wojtkowski, Shenghua Xu, Yuansheng Zhong
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
目次情報: 続きを見る
Enterprise Systems - A Challenge for Future Research and Improved Practice / Part I：
CbSSDF and OWL-S: A Scenario-Based Solution Analysis and Comparison / Xiaofeng Du ; William Wei Song ; Malcom Munro
Enterprise Systems in a Service Science Context / Anders G. Nilsson
A Petri Net-Based Software Process Model for Developing Process-Oriented Information Systems / Yu Li ; Andreas Oberweis
Modern Enterprise Systems as Enablers of Agile Development / Odd Fredriksson ; Lennart Ljung
Patterns-Based IS Change Management in SMEs / Janis Makna ; Marite Kirikova
Applying Use Cases to Describe the Role of Standards in e-Health Information Systems / Emma Chávez ; Gavin Finnie ; Padmanabhan Krishnan
Discussion on Development Trend of Chinese Enterprises Information System / Xiao-hong Gan
Asymmetrical Effects of Using Positive and Negative Examples on Object Modeling / Narasimha Bolloju ; Christoph Schneider ; Doug Vogel
IS/IT Project Management / Part II：
A Social Contract for University-Industry Collaboration: A Case of Project-Based Learning Environment / Tero Vartiainen
Replacement of the Project Manager Reflected Through Activity Theory and Work-System Theory / Heli Aramo-Immonen ; Jari Jussila ; Maritta Pirhonen ; Kirsi Liikamaa
Integrating Environmental and Information Systems Management: An Enterprise Architecture Approach / Ovidiu Noran
Effective Monitoring and Control of Outsourced Software Development Projects / Laura Ponisio ; Peter Vruggink
Classification of Software Projects' Complexity / P. Fitsilis ; A. Kameas ; L. Anthopoulos
Application of Project Portfolio Management / Malgorzata Pankowska
Human-Computer Interaction and Knowledge Management / Part III：
Towards a Cost-Effective Evaluation Approach for Web Portal Interfaces / Andrina Granic ; Ivica Mitrovic ; Nikola Marangunic
IT Knowledge Requirements Identification in Organizational Networks: Cooperation Between Industrial Organizations and Universities / Peteris Rudzajs
A Knowledge Tree Model and Its Application for Continuous Management Improvement / Yun Lu ; Zhen-Qiang Bao ; Yu-Qin Zhao ; Yan Wang ; Gui-Jun Wang
On the Development of a User-Defined Quality Measurement Tool for XML Documents / Eric Pardede ; Tejasvi Gaur
The Paradox of "Structured" Methods for Software Requirements Management: A Case Study of an e-Government Development Project / Kieran Conboy ; Michael Lang
The Research for Knowledge Management System of Virtual Enterprise Based on Multi-agent / Yang Bo ; Shenghua Xu
Model-Driven Engineering in ISD / Part IV：
Problem-Solving Methods in Agent-Oriented Software Engineering / Paul Bogg ; Ghassan Beydoun ; Graham Low
MORPHEUS: A Supporting Tool for MDD / Elena Navarro ; Abel Gómez ; Patricio Letelier ; Isidro Ramos
Towards a Model-Driven Approach to Information System Evolution / Mohammed Aboulsamh ; Jim Davies
Open Design Architecture for Round Trip Engineering / Miroslav Belicák ; Jaroslav Pokorný ; Karel Richta
Quality Issues on Model-Driven Web Engineering Methodologies / F. J. Domínguez-Mayo ; M.J. Escalona ; M. Mejías
Measuring the Quality of Model-Driven Projects with NDT-Quality / J.J. Gutiérrez ; M. Pérez-Pérez ; A. Molina ; E. Martínez-Force ; F.J. Domínguez-Mayo
Aligning Business Motivations in a Services Computing Design / T. Roach ; G. Low ; J. D'Ambra
Information Systems for Service Marketing and e-Businesses / Part V：
CRank: A Credit Assessment Model in C2C e-Commerce / Zhiqiang Zhang ; Xiaoqin Xie ; Haiwei Pan ; Qilong Han
Towards Agent-Oriented Approach to a Call Management System / Amir Nabil Ashamalla
Design and Research on e-Business Platform Based on Agent / L.Z. Li ; L.X. Li
Research of B2B e-Business Application and Development Technology Based on SOA / Li Liang Xian
Dynamic Inventory Management with Demand Information Updating / Jian Liu ; Chunlin Luo
Analysis of Market Opportunities for Chinese Private Express Delivery Industry / Changbing Jiang ; Lijun Bai ; Xiaoqing Tong
Development of Information Systems for Creativity and Innovation / Part VI：
Explaining Change Paths of Systems and Software Development Practices / Kari Smolander ; Even Åby Larsen ; Tero Päivärinta
Designing a Study for Evaluating User Feedback on Predesign Models / Jürgen Vöhringer ; Peter Bellström ; Doris Gälle ; Christian Kop
Study on the Method of the Technology Forecasting Based on Conjoint Analysis / Jing-yi Miao ; Cheng-yu Liu ; Zhen-hua Sun
Towards a New Concept for Supporting Needy Children in Developing Countries - ICT Centres Integrated with Social Rehabilitation / Thérèse H. Nilsson
An Investigation of Agility Issues in Scrum Teams Using Agility Indicators / Minna Pikkarainen ; Xiaofeng Wang
The Influence of Short Project Timeframes on Web Development Practices: A Field Study
On Weights Determination in Ideal Point Multiattribute Decision-Making Model / Xin-Chang Wang ; Xin-Ying Xiao
Information Systems Engineering and Management / Part VII：
An Approach for Prioritizing Agile Practices for Adaptation / Gytenis Mikulenas ; Kestutis Kapocius
Effects of Early User-Testing on Software Quality - Experiences from a Case Study / John Sören Pettersson ; Jenny Nilsson
Development of Watch Schedule Using Rules Approach / Darius Jurkevicius ; Olegas Vasilecas
Priority-Based Constraint Management in Software Process Instantiation / Peter Killisperger ; Markus Stumptner ; Georg Peters ; Thomas Stückl
Adopting Quality Assurance Technology in Customer-Vendor Relationships: A Case Study of How Interorganizational Relationships Influence the Process / Lise Tordrup Heeager ; Gitte Tjørnehøj
A Framework for Decomposition and Analysis of Agile Methodologies During Their Adaptation
The Methodology Evaluation System can Support Software Process Innovation / Alena Buchalcevova
Index
Enterprise Systems - A Challenge for Future Research and Improved Practice / Part I：
CbSSDF and OWL-S: A Scenario-Based Solution Analysis and Comparison / Xiaofeng Du ; William Wei Song ; Malcom Munro
Enterprise Systems in a Service Science Context / Anders G. Nilsson
30.

電子ブック
ＥＢ
30. Practical Studies in E-Government
Sa?d Assar, Sa?d Assar, Imed Boughzala, Isabelle Boydens
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Virtual Realities
Sabine Coquillart, Greg Welch Guido Brunnett, Guido Brunnett, Sabine Coquillart, Greg Welch, Gregory V. Welch
出版情報: Springer eBooks Computer Science , Springer Vienna, 2011
所蔵情報: loading…
目次情報: 続きを見る
Proposals for Future Virtual Environment Software Platforms / Anthony Steed1：
Augmented Reality 2.0 / Dieter Schmalstieg ; Tobias Langlotz ; Mark Billinghurst2：
Experiential Fidelity: Leveraging the Mind to Improve the VR Experience / Steffi Beckhaus ; Robert W. Lindeman3：
Social Gaming and Learning Applications: A Driving Force for the Future of Virtual and Augmented Reality? / Ralf Dörner ; Benjamin Lok ; Wolfgang Broll4：
[Virtual + 1]*Reality / 5：
Action Capture: A VR-Based Method for Character Animation / Bernhard Jung ; Heni Ben Amor ; Guido Heumer ; Arnd Vitzthum6：
Cloth Simulation Based Motion Capture of Dressed Humans / Nils Hasler ; Bodo Rosenhahn ; Hans-Peter Seidel7：
Remote 3D Medical Consultation / Greg Welch ; Diane H. Sonnenwald ; Henry Fuchs ; Bruce Cairns, M.D. ; Ketan Mayer-Patel ; Ruigang Yang ; Andrei State ; Herman Towles ; Adrian Ilie ; Srinivas Krishnan ; Hanna M. Söderholm8：
SEE MORE: Improving the Usage of Large Display Environments / Achim Ebert ; Hans Hagen ; Torsten Bierz ; Matthias Deller ; Peter-Scott Olech ; Daniel Steffen ; Sebastian Thelen9：
Inner Sphere Trees and Their Application to Collision Detection / Rene Weller ; Gabriel Zachmann10：
The Value of Constraints for 3D User Interfaces / Wolfgang Stuerzlinger ; Chadwick A. Wingrave11：
Evaluation of a Scalable In-Situ Visualization System Approach in a Parallelized Computational Fluid Dynamics Application / Sebastian Manten ; Michael Vetter ; Stephan Olbrich12：
Author Index
Subject Index
Proposals for Future Virtual Environment Software Platforms / Anthony Steed1：
Augmented Reality 2.0 / Dieter Schmalstieg ; Tobias Langlotz ; Mark Billinghurst2：
Experiential Fidelity: Leveraging the Mind to Improve the VR Experience / Steffi Beckhaus ; Robert W. Lindeman3：
32.

電子ブック
ＥＢ
32. Musical Performance
Guerino Mazzola
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Part I：
Introduction and Overview / 1：
List of Symbols / 2：
Short History of Performance Theory / 3：
The Philosophical Tradition / 3.1：
The Empirical Tradition / 3.2：
Oniontology / 4：
Realities / 4.1：
Communication / 4.2：
Semiotics / 4.3：
Embodiment / 4.4：
The Baboushka Principle / 4.5：
Topography of Performance / 4.6：
Semiotic Expressivity / 4.7：
Rhetorical Expressivity / 4.8：
CSI Anatomy / 4.9：
ISC Anatomy / 4.10：
Multi-agent Communication / 4.11：
The Performer's Balanced Dancing Presence / 4.12：
Structure Theory / Part II：
What Is Structure Theory? / 5：
Tempo Curves / 6：
What is Tempo? / 6.1：
Some Remarks on the History and Ethnography of Tempo / 6.1.1：
Calcuating Time from Tempo / 6.2：
Tuning, Intonation, and Dynamics / 7：
Tuning and Intonation / 7.1：
Dynamics / 7.2：
Combining Tempo, Tuning, and Dynamics / 8：
Articulation / 9：
General Performance Fields / 10：
Initial Sets / 10.1：
Measuring Performance Fields / 10.3：
The Category of Performance Cells and Hierarchies / 11：
Expressive Theory / Part III：
What Is Expressive Theory? / 12：
Experiments in Expressive Performance / 12.1：
Emotional Expression / 13：
What is Emotion? / 13.1：
Some Physiological Evidences / 13.2：
Manfred Clynes' Essentic Forms / 13.3：
Reinhard Kopiez' and Jörg Langner's Theory of Oscillating Systems / 13.4：
Anders Friberg's Feature-based Model / 13.5：
Alf Gabrielsson's Isomorphism / 13.6：
Gestural Expression / 14：
General Facts About Gesture Theory in Music / 14.1：
Roger Sessions: Gestures in Performance / 14.2：
Theodor Wiesengrund Adorno's Gesture Theory in Musical Reproduction / 14.3：
Renate Wieland's Gestural Piano Pedagogy / 14.4：
Manfred Clynes' Essentics as a Theory of Gestural Expressivity / 14.5：
Johan Sundberg, Neil P. McAgnus Todd: Mechanical Models of Gestures in Music / 14.6：
Guerino Mazzola and Stefan Müller: Modeling the Pianist's Hand / 14.7：
Modeling the Hand / 14.7.1：
Transforming Abstract Note Symbols into Symbolic Gestures / 14.7.2：
Deforming Symbolic Hand Gestures into Physically Valid Curves / 14.7.3：
A Mathematical Gesture Theory / 14.8：
Anders Friberg, Antoni Camurri et al.: Computer-aided Emotional Analysis of Performance / 14.9：
Analytical Expression / 15：
Adorno's Analytical Performance Study of Webern's First Bagatelle / 15.1：
Anders Friberg, Johan Sundberg, and Lars Frydén: Director Musices Performance Software / 15.2：
Guerino Mazzola and Oliver Zahorka: The Rubato Theory of Analytical Performance / 15.3：
Analytical Weights / 16：
Metrical Weights / 16.1：
Melodic Weights / 16.2：
Harmonic Weights / 16.3：
Primavista Weights / 16.4：
Shaping Operators / 17：
Are Lie Type Operators Universal? / 17.1：
Two Generic Models and the Challenge of Improvisation / 18：
The GERM Model / 18.1：
Todd's Generic Approach / 18.2：
The Challenge of Improvisation / 18.3：
Expansion of Improvisational Time-Spaces / 18.3.1：
The Analysis / 18.3.2：
String Quartet Theory / 19：
Historical and Theoretical Prerequisites / 19.1：
The General Plan / 19.2：
General Position for Performance: Four Examples / 19.2.1：
The Sound Space of the Violin Family / 19.3：
Notes in General Position / 19.4：
Performance of the String Quartet / 19.5：
Rubato: Model and Software / Part IV：
Performance Scores / 20：
Stemma Theory / 21：
Tempo Hierarchies in the presto® Software / 21.1：
The General Stemma Concept / 21.2：
The New Performance Rubette: Realtime, Openness, and Gesturality / 21.3：
Case Studies / 22：
Schumann's Träumerei: The First Performance Experiment with RUBATO® / 22.1：
Schumann's Kuriose Geschichte / 22.2：
Bach's Kunst der Fuge / 22.3：
Rhythmical Analysis / 22.3.1：
Motif Analysis / 22.3.2：
Target-driven vs. Experimental Stemma Constructions / 22.3.3：
Performance Setup / 22.3.4：
Construction of Third Performance Parcours / 22.3.5：
Final Discussion / 22.3.6：
Statistics / 23：
Hierarchical Decomposition of Weights / 23.1：
Inverse Performance / Part V：
What Is Inverse Performance Theory? / 24：
Technical Aspects / 24.1：
Reconstruction of the Performance Map from Recording Data / 24.1.1：
Reconstruction of the Stemma from the Performance Map / 24.1.2：
The Technical Setup / 25：
Schumann's Träumerei: Argerich vs. Horowitz / 26：
Rethinking Music Critique / 27：
Boiling Down Infinity / 27.1：
Glenn Gould's Politically Incorrect Performance / 27.2：
Epilogue / Part VI：
Summary of Performance Theory / 28：
Future Developments / 29：
References, Music Examples, Index / Part VII：
References
Music Examples
Index
Introduction / Part I：
Introduction and Overview / 1：
List of Symbols / 2：
33.

電子ブック
ＥＢ
33. Preference Learning
Johannes F?rnkranz, Johannes F?rnkranz, Eyke H?llermeier, Eyke H?llermeier
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Preference Learning: An Introduction / Johannes Fürnkranz ; Eyke Hüllermeier
A Preference Optimization Based Unifying Framework for Supervised Learning Problems / Fabio Aiolli ; Alessandro Sperduti
Label Ranking / Part I：
Label Ranking Algorithms: A Survey / Shankar Vembu ; Thomas Gärtner
Preference Learning and Ranking by Pairwise Comparison
Decision Tree Modeling for Ranking Data / Philip L.H. Yu ; Wai Ming Wan ; Paul H. Lee
Co-Regularized Least-Squares for Label Ranking / Evgeni Tsivtsivadze ; Tapio Pahikkala ; Jorma Boberg ; Tapio Salakoski ; Tom Heskes
Instance Ranking / Part II：
A Survey on ROC-Based Ordinal Regression / Willem Waegeman ; Bernard De Baets
Ranking Cases with Classification Rules / Jianping Zhang ; Jerzy W. Bala ; Ali Hadjarian ; Brent Han
Object Ranking / Part III：
A Survey and Empirical Comparison of Object Ranking Methods / Toshihiro Kamishima ; Hideto Kazawa ; Shotaro Akaho
Dimension Reduction for Object Ranking
Learning of Rule Ensembles for Multiple Attribute Ranking Problems / Krzysztof Dembczynski ; Wojciech Kotlowski ; Roman Slowinski ; Marcin Szelag
Preferences in Multi-Attribute Domains / Part IV：
Learning Lexicographic Preference Models / Fusun Yaman ; Thomas J. Walsh ; Michael L. Littman ; Marie desJardins
Learning Ordinal Preferences on Multiattribute Domains: The Case of CP-nets / Yann Chevaleyre ; Frédéric Koriche ; Jérome Lang ; Jérome Mengin ; Bruno Zanuttini
Choice-Based Conjoint Analysis: Classification vs. Discrete Choice Models / Joachim Giesen ; Klaus Mueller ; Bilyana Taneva ; Peter Zolliker
Learning Aggregation Operators for Preference Modeling / Vicenç Torra
Preferences in Information Retrieval / Part V：
Evaluating Search Engine Relevance with Click-Based Metrics / Filip Radlinski ; Madhu Kurup ; Thorsten Joachims
Learning SVM Ranking Functions from User Feedback Using Document Metadata and Active Learning in the Biomedical Domain / Robert Arens
Preferences in Recommender Systems / Part VI：
Learning Preference Models in Recommender Systems / Marco de Gemmis ; Leo Iaquinta ; Pasquale Lops ; Cataldo Musto ; Fedelucio Narducci ; Giovanni Semeraro
Collaborative Preference Learning / Alexandros Karatzoglou ; Markus Weimer
Discerning Relevant Model Features in a Content-Based Collaborative Recommender System / Alejandro Bellogín ; Iván Cantador ; Pablo Castells ; Álvaro Ortigosa
Subject Index
Author Index
Preference Learning: An Introduction / Johannes Fürnkranz ; Eyke Hüllermeier
A Preference Optimization Based Unifying Framework for Supervised Learning Problems / Fabio Aiolli ; Alessandro Sperduti
Label Ranking / Part I：
34.

電子ブック
ＥＢ
34. Contextual Computing
Robert Porzel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Advanced Research on Electronic Commerce, Web Application, and Communication
Gang Shen, Xiong Huang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Research on Modeling and Simulation for IR Image of Star&Sky Background / Min Zhu ; Ming Guo ; YuJin Dai ; LiTing Wang
A Ray Casting Accelerated Method of Segmented Regular Volume Data
Design and Implementation of Service-Oriented Learning Resource Grid Demonstration System / Luo Zhong ; Li Yang ; Bo Zhu ; Huazhu Song
The Backup Battle of DTD and DTT in Digital Library / Li-zhen Shen
An Analysis Research about Accuracy and Efficiency of Grid DEM Interpolation / Haiyan Hu ; Yunlan Yang ; Zhenzhi Jiang ; Peng Han
Analysis of Human Resources Management Strategy in China Electronic Commerce Enterprises / Fang Shao
Analysis Model of Cooperatively Technical Innovation Risk / Changhui Yang
A Fast Antenna Selection Algorithm Based on Dissimilarity Coefficient in MIMO System / ZhiBin Xie ; Shu Juan Liu ; YuBo Tian ; PeiYu Yan
Non-coherent Underwater Communication Algorithm Based on CCK Coding / Wei Su ; Wenhui Liu
An Improved MFAC Algorithm and Simulation Research Based on Generalized Pan-Model / Xun Li ; Ni Zhao
An Improving FSOA Optimization by Using Orthogonal Transform / Yong Wang ; Deniu He ; Yijun Guan ; Juanwen Luo
Commercial Credit Value Evaluation and Illustration Analysis on Internet / Yun Jiang ; Huaping Gong
Analysis of Informationization Construction of Business Financial Management under the Network Economy / Yahui Dong ; Pengwei Zhang ; Wei Li
Research on the Problem and Countermeasures of Group-Buying / Limin Cheng
Strategies on the Implementation of China's Logistics Information Network / Xuwen Guo
Research on the Rationality of China Telecom Price Cap Regulation / Ye Wang ; Yuchen Miao
A Study on Standard Competition with Network Effect Based on Evolutionary Game Model / Bingdong Wang ; Kangning Li
The Research of Road Traffic Based on Floating Car Data / Junyou Zhang ; Meng Jian ; Rui Tang
Analysis of Impact of Highly-Available Archetypes on Robotics / Haibo Zhu
Using Capacitance Sensor to Identify the Appearance Parameters of Slub Yarn / Hanming Lv ; Chongqi Ma
Research and Design on Component-Based Product Quality Tracking System / Youxin Meng ; Xinli Wu ; Yuzhong Ding
Research on Adaptive De-noising Technique for Time-Domain Reflectometry Signal Based on Wavelet Analysis / Jianhui Song ; Yang Yu ; Liang Chen
TDR Cable Length Measurement Model Based on Neural Network
Research on Colorful Trademark Images Retrieval Based on Multi-feature Combination and User Feedback / Fucheng You ; Yingjie Liu
Research on a New Key-Frame Extraction Algorithm of Printing Video / FuCheng You ; YuJie Chen
An Improved Sanitizing Mechanism Based on Heuristic Constraining Method / Jan-Min Chen
Time Interval Analysis on Price Prediction in Stock Market Based on General Regression Neural Networks / Hongjie Xing
The System Dynamics Analysis on the Evolvement of Mechanism of Convention and Exhibition Industry / Xin-ju Wu ; Ming-jun Sun
Economic Observation in 3Q E-business FightùAccording to Analysis of Resource Allocation and Contract / RuiHu Kuang ; Zeming Chen ; JuChi Kuang
Investigation on Color Quantization Algorithm of Color Image / Yueqiu Jiang ; Yang Wang ; Lei Jin ; Hongwei Gao ; Kunlei Zhang
Study on the Method for Removing Boundary Burr Based on Relevance of Chain Code / Ping Wang ; Xiaojing Liu
Investigation and Application of Feature Extraction Based on Rough Set Theory / Zhi-hang Tang ; Jing Zhang ; Rong-jun Li
Improved ZigBee Network Routing Algorithm Based on LEACH / Yawei Zhao ; Guohua Zhang ; Zhongwu Xia ; Xinhua Li
Fast Monte Carlo Localization for Mobile Robot / Peixin Sun ; Jie Niu ; Xiaodong Zang
Neural Network Expert System in the Application of Tower Fault Diagnosis / Xiaoyang Liu ; Zhiyong Tao ; Zhenlian Zhao
An Improved Circuit Design for PFC Based on One-Cycle Control / Rui Hu ; Xuchen Lv ; Weiping Xiao
Research of Rough Cognitive Map Model / Zhang Chunying ; Liu Lu ; Ouyang Dong ; Liang Ruitao
Development and Analysis of Unified Simulation Model for Space Vector PWM Strategies / Guoqiang Chen ; Zhihong Wu ; Yuan Zhu
A Clock Fingerprints-Based Approach for Wireless Transmitter Identification / Caidan Zhao ; Liang Xie ; Lianfen Huang ; Yan Yao
Analysis on Realization of Sequential Queue / Min Wang
Estimation of Low Efficiency Circulation Layers by Fuzzy Comprehensive Judgment Method / Erlong Yang
Set Pair Social Network Analysis Model and Information Mining
A Privacy Access Control Framework for Web Services Collaboration with Role Mechanisms / Linyuan Liu ; Zhiqiu Huang ; Haibin Zhu
Modeling and Simulations on the Intramural Thermoelectric Generator of Lower-Re-fluid / Zheng Zhang ; Ding Zheng ; Yushan Chen
The Technology of Extracting Content Information from Web Page Based on DOM Tree / Dingrong Yuan ; Zhuoying Mo ; Bing Xie ; Yangcai Xie
Addendum Surface Design Based on the Parametric Method / Kan Hu ; Chi Di
Calculations of Stainless Steel-Aluminum Alloy Clad Forming Limit / Hongwei Liu ; Peng Zhang
Analysis on Causes of Employees' Damaged Rights in Perspective of Property Rights / Xiuzhi Zheng ; Lijie Lin
FEM Realization of Laser Curve Bending Process
Implementation of Electronic Workflow Systems in Higher Education Institutions: Issues and Challenges / K.S. Cheung
Design of Flat Screen Printing Machine Controller Network Based on ZigBee Technology / Xiaohua Wang ; Daixian Zhu
Study on Collaborative SCM of Construction Enterprises Based on Information-Sharing / Lianyue Wang
The Research on the Loan-to-Value of Inventory Pledge Loan Based Upon the Unified Credit Mode / Yang Peng
QoS Multicast Routing Optimization Algorithm Based on Hybrid Algorithm / Dejia Shi ; Jing He ; Li Wang
Centrality Measures in Telecommunication Network / Baozhu He ; Zhen He
How to Make Students Feel Happy in the Course of Aerobics / Yuezhi Wang
Design of Solar Street Lamp Control System Based on MPPT / Fengying Cut
Knowledge Operation Capability Evaluation Model and Strategic Orientation of Supply Chain: Exploratory Research Based on View of Ecology / Wen-Yong Zhou ; Ze-Qian Song
Quantitative Analysis on the Inter-provincial Distribution of Major Public Goods' Expenditure in ChinaùBased on the Data for 2007 / Hengbo Zhao
The System of Simulation and Multi-objective Optimization for the Roller Kilin / He Huang ; Xishen Chen ; Wugang Li ; Zhuoqiu Li
Computer Simulation for the Determination of Optimal South Window Overhang Dimension / Jian Yao
Reliability Design to Circuit System in Hard Target Smart Fuze / Bo Li ; Ya Zhang
Study on the Reliability Data Analysis Method for Electric Fuze / Jianjun Xu ; Zhijun Wang
Application on Internet of Things Technology Using in Library Management / Xueqing Liu ; Wenwen Sheng
Observability of Multi-rate Networked Control Systems with Short Time Delay / Qixin Zhu
A Hybrid TDOA/RSS Localization Algorithm Based on UWB Ranging in Underground Mines / Da-man Zhu ; Kechu Yi
Spectrum Handover Mechanism Based on Channel Scheduling in Cognitive Radio Networks / Bin Ma ; Xianzhong Xie
Design of Ontology-Based Sharing Mechanism for Web Services Recommendation Learning Environment / Hong-Ren Chen
Face Image Gender Recognition Based on Gabor Transform and SVM / ChunJuan Yan
Unsupervised Posture Modeling Based on Spatial-Temporal Movement Features
Customer Loyalty and Customer Relationship Management / Min Li ; Xiaojing Jiao ; Ruijin Zhou
A New Method to Web Knowledge Searching and Organizating / Shengqi Li
Research on the Wireless Sensor Networks Applied in the Battlefield Situation Awareness System / Guan Hua ; Yan-Xiao Li ; Xiao-Mei Yan
Study of ZigBee Wireless Communication Network Based on SPCE061A / Dejie Song ; Boxue Tan ; Juncheng Liu
Author Index
Research on Modeling and Simulation for IR Image of Star&Sky Background / Min Zhu ; Ming Guo ; YuJin Dai ; LiTing Wang
A Ray Casting Accelerated Method of Segmented Regular Volume Data
Design and Implementation of Service-Oriented Learning Resource Grid Demonstration System / Luo Zhong ; Li Yang ; Bo Zhu ; Huazhu Song
36.

電子ブック
ＥＢ
36. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Christian Herde
出版情報: Springer eBooks Computer Science , Vieweg+Teubner, 2011
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Advanced Research on Electronic Commerce, Web Application, and Communication
Gang Shen, Xiong Huang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Technology Systems and Management
Ketan Shah, V. R. Lakshmi Gorty, Ajay Phirke
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Software and Data Technologies
Jos? Cordeiro, AlpeshKumar Ranchordas, Boris Shishkov
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. e-Business and Telecommunications
Mohammad S. Obaidat, Joaquim Filipe
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Engineering Methods in the Service-Oriented Context
Jolita Ralyt?, R?becca Deneck?re, Isabelle Mirbel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote Talks
An Assessment of Method Engineering / Naveen Prakash
Application of Method Engineering Principles in Practice: Lessons Learned and Prospects for the Future / Marko Bajec
Situated Method Engineering
Incremental Method Engineering for Process Improvement - A Case Study
Design Solution Analysis for the Construction of Situational Design Methods / Robert Winter
A Method Base for Enterprise Architecture Management / Sabine Buckl ; Florian Matthes ; Christian M. Schweda
Method Engineering Foundations
Towards the Use of Granularity Theory for Determining the Size of Atomic Method Fragments for Use in Situational Method Engineering / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
A Method Assessment Framework / Tom McBride
Towards Common Ground in SME: An Ontology of Method Descriptors / Adrian Iacovelli ; Carine Souveyet
Customized Methods
Towards a Method for Service Design / Olga Levina ; Trung Nguyen Thanh ; Oliver Holschke ; Jannis Rake-Revelant
A Case Study for Improving a Collaborative Design Process / Sophie Dupuy-Chessa ; Nadine Mandran ; Guillaume Godet-Bar ; Dominique Rieu
Incorporating Model-Driven Techniques into Requirements Engineering for the Service-Oriented Development Process / Grzegorz Loniewski ; Ausias Armesto ; Emilio Insfran
Tools for Method Engineering
The Online Method Engine: From Process Assessment to Method Execution / Kevin Vlaanderen ; Inge van de Weerd ; Sjaak Brinkkemper
A Deductive View on Process-Data Diagrams / Manfred A. Jeusfeld
Turning Method Engineering Support into Reality / Mario Cervera ; Manoli Albert ; Victoria Torres ; Vicente Pelechano
New Trends to Build Methods
Towards a Method for Engineering Social Web Services / Zakaria Maamar ; Noura Faci ; Leandro Krug Wives ; Hamdi Yahyaoui ; Hakim Hacid
Developing Families of Method-Oriented Architecture / Mohsen Asadi ; Bardia Mohabbati ; Dragan Gaševic ; Ebrahim Bagheri
Agile Service Development: A Rule-Based Method Engineering Approach / Stijn Hoppenbrouwers ; Martijn Zoet ; Johan Versendaal
Method Engineering for Services
Bridging the Gap between Business Processes and Service Composition through Service Choreographies / Mario Cortes Cornax
Towards Construction of Situational Methods for Service Identification / René Börner
An MDA Method for Service Modeling by Formalizing REA and Open-edi Business Frameworks with SBVR / Jelena Zdravkovic ; Iyad Zikra ; Tharaka Ilayperuma
A Scenario-Based Governance Method for Coordination of Service Life Cycles / Sietse Overbeek ; Marijn Janssen ; Yao-Hua Tan
Author Index
Keynote Talks
An Assessment of Method Engineering / Naveen Prakash
Application of Method Engineering Principles in Practice: Lessons Learned and Prospects for the Future / Marko Bajec
42.

電子ブック
ＥＢ
42. Agents and Artificial Intelligence
Joaquim Filipe, Ana Fred, Bernadette Sharp
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Creating and Exploiting a Hybrid Knowledge Base for Linked Data / Zareen Syed ; Tim Finin
Artificial Intelligence / Part I：
Language Support to XML Data Mining: A Case Study / Andrea Romei ; Franco Turini
Improved Door Detection Fusing Camera and Laser Rangefinder Data with AdaBoosting / Jens Hensler ; Michael Blaich ; Oliver Bittel
Combining Color and Spatial Color Distribution Information in a Fuzzy Rule Based Compact Composite Descriptor / Savvas A. Chatzichristofis ; Yiannis S. Boutalis ; Mathias Lux
Towards Min Max Generalization in Reinforcement Learning / Raphael Fonteneau ; Susan A. Murphy ; Louis Wehenkel ; Damien Ernst
Designing an Epigenetic Approach in Artificial Life: The EpiAL Model / Jorge A.B. Sousa ; Ernesto Costa
A Spontaneous Topic Change of Dialogue for Conversational Agent Based on Human Cognition and Memory / Sungsoo Lim ; Keunhyun Oh ; Sung-Bae Cho
Clustering Data with Temporal Evolution: Application to Electrophysiological Signals / Liliana A.S. Medina ; Ana L.N. Fred
Agents / Part II：
MASITS Methodology Supported Development of Agent Based Intelligent Tutoring System MIPITS / Egons Lavendelis ; Janis Grundspenkis
A 3D Indoor Pedestrian Simulator Using an Enhanced Floor Field Model / Chulmin Jun ; Hyeyoung Kim
Toward a Self-adaptive Multi-Agent System to Control Dynamic Processes / Sylvain Videau ; Carole Bernon ; Pierre Glize
The Provider Rating Agreement Pattern for Solving the Provider Selection Problem / José Javier Durán ; Carlos A. Iglesias
Advanced Scheduling Techniques with the Pliant System for High-Level Grid Brokering / József Dániel Dombi ; Attila Kertész
Predictive Learning from Demonstration / Erik A. Billing ; Thomas Hellström ; Lars-Erik Janlert
ISReal: A Platform for Intelligent Simulated Realities / Stefan Nesbigall ; Stefan Warwas ; Patrick Kapahnke ; René Schubotz ; Matthias Klusch ; Klaus Fischer ; Philipp Slusallek
Auction Design and Performance: An Agent-Based Simulation with Endogenous Participation / Atakelty Hailu ; John Rolfe ; Jill Windle ; Romy Greiner
A Framework for the Development and Maintenance of Adaptive, Dynamic, Context-Aware Information Services / Manel Palau ; Ignasi Gómez-Sebastià ; Luigi Ceccaroni ; Javier Vázquez-Salceda ; Juan Carlos Nieves
Decision Making in Complex Systems with an Interdisciplinary Approach / Marina V. Sokolova ; Antonio Fernández-Caballero ; Francisco J. Gómez
Author Index
Invited Paper
Creating and Exploiting a Hybrid Knowledge Base for Linked Data / Zareen Syed ; Tim Finin
Artificial Intelligence / Part I：
43.

電子ブック
ＥＢ
43. Enterprise Information Systems
Joaquim Filipe, Jos? Cordeiro, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Enterprise Information System Trends / David L. Olson ; Subodh Kesharwani
Non-Euclidean Problems in Pattern Recognition Related to Human Expert Knowledge / Robert P. W. Duin
Databases and Information Systems Integration / Part I：
Multi-flow Optimization via Horizontal Message Queue Partitioning / Matthias Boehm ; Dirk Habich ; Wolfgang Lehner
Workflow Management Issues in Virtual Enterprise Networks / André Kolell ; Jeewani Anupama Ginige
An XML-Based Streaming Concept for Business Process Execution / Steffen Preissler
A Framework to Assist Environmental Information Processing / Yuan Lin ; Christelle Pierkot ; Isabelle Mougenot ; Jean-Christophe Desconnets ; Thérèse Libourel
Using Visualization and a Collaborative Glossary to Support Ontology Conceptualization / Elis C. Montoro Hernandes ; Deysiane Sande ; Sandra Fabbri
A Strategy to Support Software Planning Based on Piece of Work and Agile Paradigm / Arnaldo Sanchez ; Renan Montebelo ; Elis Montoro Hernandes
Evaluating the Quality of Free/Open Source Systems: A Case Study / Lerina Aversano ; Maria Tortorella
Business Object Query Language as Data Access API in ERP Systems / Vadym Borovskiy ; Wolfgang Koch ; Alexander Zeier
Artificial Intelligence and Decision Support Systems / Part II：
Knowledge-Based Engineering Template Instances Update Support / Olivier Kuhn ; Thomas Dusch ; Parisa Ghodous ; Pierre Collet
Coordinating Evolution: An Open, Peer-to-Peer Architecture for a Self-adapting Genetic Algorithm / Nikolaos Chatzinikolaou
CONTASK: Context-Sensitive Task Assistance in the Semantic Desktop / Heiko Maus ; Sven Schwarz ; Jan Haas ; Andreas Dengel
Support for Ontology Evolution in the Trend Related Industry Sector / Jessica Huster
Extracting Trustworthiness Tendencies Using the Frequency Increase Metric / Joana Urbano ; Ana Paula Rocha ; Eugénio Oliveira
FONTE: A Protégé Plug-in for Engineering Complex Ontologies / Jorge Santos ; Luís Braga ; Anthony G. Cohn
An Advice System for Consumer's Law Disputes / Nuno Costa ; Davide Carneiro ; Paulo Novais ; Diovana Barbieri ; Francisco Andrade
SACMiner: A New Classification Method Based on Statistical Association Rules to Mine Medical Images / Carolina Y.V. Watanabe ; Marcela X. Ribeiro ; Caetano Traina ; Agma J.M. Traina
A Hierarchical Approach for the Offline Handwritten Signature Recognition / Rodica Potolea ; Ioana Barbantan ; Camelia Lemnaru
Meta-learning Framework for Prediction Strategy Evaluation / Silviu Cacoveanu
Information Systems Analysis and Specification / Part III：
Process Mining for Job Nets in Integrated Enterprise Systems / Shinji Kikuchi ; Yasuhide Matsumoto ; Motomitsu Adachi ; Shingo Moritomo
Identifying Ruptures in Business-IT Communication through Business Models / Juliana Jansen Ferreira ; Renata Mendes de Araujo ; Fernanda Araujo Baião
A Business Process Driven Approach to Manage Data Dependency Constraints / Joe Y.-C. Lin ; Shazia Sadiq
Using Cases, Evidences and Context to Support Decision Making / Expedito Carlos Lopes ; Vaninha Vieira ; Ana Carolina Salgado ; Ulrich Schiel
An Adaptive Optimisation Method for Automatic Lightweight Ontology Extraction / Fabio Clarizia ; Luca Greco ; Paolo Napoletano
Automating the Variability Management, Customization and Deployment of Software Processes: A Model-Driven Approach / Fellipe Araújo Aleixo ; Marília Aranha Freire ; Wanderson Câmara dos Santos ; Uirá Kulesza
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes / Luis E. Mendoza Morales ; Manuel I. Capel Tuñón ; María A. Pérez
From Coding to Automatic Generation of Legends in Visual Analytics / Guillaume Artignan ; Mountaz Hascoët
Software Agents and Internet Computing / Part IV：
Improving QoS Monitoring Based on the Aspect-Orientated Paradigm / Mario Freitas da Silva ; Itana Maria de Souza Gimenes ; Marcelo Fantinato ; Maria Beatriz Felgar de Toledo ; Alessandro Fabricio Garcia
Directed Retrieval and Extraction of High-Quality Product Specifications / Maximilian Walther ; Ludwig Hähne ; Daniel Schuster ; Alexander Schill
Using XML Schema Subtraction to Compress Electronic Payment Messages / Stefan Böttcher ; Rita Hartel ; Christian Messinger
Enhancing the Selection of Web Sources: A Reputation Based Approach / Donato Barbagallo ; Cinzia Cappiello ; Chiara Francalanci ; Maristella Matera
Simulation Management for Agent-Based Distributed Systems / Ante Vilenica ; Winfried Lamersdorf
Human-Computer Interaction / Part V：
Developing Analytical GIS Applications with GEO-SPADE: Three Success Case Studies / Slava Kisilevich ; Daniel Keim ; Amit Lasry ; Leon Bam ; Lior Rokach
BioStories: Dynamic Multimedia Environments Based on Real-Time Audience Emotion Assessment / Vasco Vinhas ; Luís Paulo Reis
A Framework Based on Ajax and Semiotics to Build Flexible User Interfaces / Frederico José Fortuna ; Rodrigo Bonacin ; Maria Cecília Calani Baranauskas
A Chat Interface Using Standards for Communication and e-Learning in Virtual Worlds / Samuel Cruz-Lara ; Tarik Osswald ; Jordan Guinaud ; Nadia Bellalem ; Lotfi Bellalem ; Jean-Pierre Camal
Prospecting an Inclusive Search Mechanism for Social Network Services / Júlio Cesar dos Reis
Towards Authentication via Selected Extraction from Electronic Personal Histories / Ann Nosseir ; Sotirios Terzis
Search in Context / Hadas Weinberger
A Virtual Collaborative Environment Helps University Students to Learn Maths / Araceli Queiruga-Dios ; Ascensión Hernández-Encinas ; Isabel Visus-Ruiz ; Ángel Martín del Rey
Author Index
Invited Papers
Enterprise Information System Trends / David L. Olson ; Subodh Kesharwani
Non-Euclidean Problems in Pattern Recognition Related to Human Expert Knowledge / Robert P. W. Duin
44.

電子ブック
ＥＢ
44. Information Technology and Managing Quality Education
Arthur Tatnall, Omponye Coach Kereteletswe, Adrie Visscher
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Managing Quality Education - Identifying the Learning Needs of the Individual, Then Satisfying Them / Don Passey
Value Chain of Technology in Higher Education Institutions: From IT Resources to Technological Performance / Jacques Bulchand-Gidumal ; Santiago Melián-González ; Javier Osorio-Acosta
Using Information Technology to Promote Thinking / Maree A. Skillen
Age, Gender and Culture as Correlates of Use of Knowledge Management Systems in Makerere University / F.E.K. Bakkabulindi ; B. Sekabembe
Managing the Online Student Experience: An Ecological Model / Bill Davey ; Arthur Tatnall
Using Open Source Software for Improving Dialog in Computer Science Education - Case Mozambique University / Nicholas B. Mavengere ; Mikko J. Ruohonen
A Baseline for a School Management Information System / Alan Strickley
Implementation of the Technological Plan for Education in Portugal, a School Perspective / António Castro ; Leonel Santos
In Search of a Conceptual Framework for the Capacities of University ITEM / Ronald Bisaso
Bridging the Knowledge Gap for African Researchers through Open Access Publishing: The Case of African Higher Education Research Online (AHERO) / Beatrice Sekabembe ; Jude Ssempebwa
Moving towards 2020: A Tentative Approach to ITEM / Javier Osorio ; Jacques Bulchand
Innovation or Renovation? The Management of Strategic and Adoption Decisions within a University / Arthur Tainall ; Karen Manning
The 'Educational Lot' for Young People Who Are NEET: Quality Management and Roles of Management Information Systems
Emerging Issues in the Utilization of Synchronous ICT in the Delivery of Distance Education at Public Universities in Uganda / Rita Nankanja
eLearning Attitudes in Botswana's Private Sector / Paul T. Nleya
Using Information Technology in Education to Manage a Professional Learning Community (PLC)
Does personality Type affect Teachers' Information Systems Utilization in Pedagogy? The Makerere University Lecturers' Experience / David Kabugo
Optimization Technique for Implementation of Blended Learning in Constrained Low Bandwidth Environment / Nazir Ahmad Suhail ; Jude Lubega
The GES Connect Digitally Programme: Shaping Parental Engagement through Technology / Tim Spiers
A Comparative Study of Access to Web-Enabled Services in Botswana and the UK: Issues, Obstacles and Solutions / Moses Mmileng Moreri ; Maubrey Russ Pitso
Justification of ICT Expenditure: Input and Outputs / Omponye Kereteletswe ; Antonio Castro ; Maipelo Molebatsi ; Marcos Maedza
Online Learning Features and Factors in Getting the Blend Right / Sethunya P. Kgaodi ; Letlhogonolo Moaneng ; Godfrey S. Kalanke ; Ramaraju Gavarraju ; Prince O. Marokane ; Selefo Sabone
Author Index
Managing Quality Education - Identifying the Learning Needs of the Individual, Then Satisfying Them / Don Passey
Value Chain of Technology in Higher Education Institutions: From IT Resources to Technological Performance / Jacques Bulchand-Gidumal ; Santiago Melián-González ; Javier Osorio-Acosta
Using Information Technology to Promote Thinking / Maree A. Skillen
45.

電子ブック
ＥＢ
45. Enterprise Interoperability
Marten Sinderen, Pontus Johnson, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynotes
On Challenges in Enterprise Systems Management and Engineering for the Networked Enterprise of the Future / Andreas Friesen
Research Roadmap for Future Internet Enterprise Systems / Gérald Santucci
Full Papers
A Manufacturing Core Concepts Ontology for Product Lifecycle Interoperability / Zahid Usman ; Robert Ian Marr Young ; Nitishal Chungoora ; Claire Palmer ; Keith Case ; Jenny HardingSession 1：
A Construction Approach of Model Transformation Rules Based on Rough Set Theory / Jin Li ; Dechen Zhan ; Lanshun Nie ; Xiaofei Xu
Third Party User Interaction Control in SIP Networks / Ivaylo Atanasov ; Evelina Pencheva
A Process Interoperability Method for SMEs / Cuiling Liu ; Chengwei Yang ; Shijun Liu ; Lei Wu ; Xiangxu MengSession 2：
A Modeling Language for Interoperability Assessments / Johan Ullberg ; Pontus Johnson ; Markus Buschle
Development of Innovative Services Enhancing Interoperability in Cross-Organizational Business Processes / Stefan Huber ; Cyril Carrez ; Hannes Suttner
An Approach for Interoperability Requirements Specification and Verification / Sihem Mallek ; Nicolas Daclin ; Vincent ChapurlatSession 3：
On the Move to Business-Driven Alignment of Service Monitoring Requirements / Patrício de Alencar Silva ; Hans Weigand
A Trust Model for Services in Federated Platforms / Francisco Javier Nieto
Towards Pragmatic Interoperability in the New Enterprise - A Survey of Approaches / Camlon H. Asuncion ; Marten van SinderenSession 4：
Contexts for Concepts: Information Modeling for Semantic Interoperability / Paul Oude Luttighuis ; Roel Stap ; Dick Quartel
Anatomy of the Unified Enterprise Modelling Ontology / Andreas L. Opdahl
Model-Driven Development of Service Compositions for Enterprise Interoperability / Ravi Khadka ; Brahmananda Sapkota ; Luís Ferreira Pires ; Slinger JansenSession 5：
A Data-Centric Approach for Privacy-Aware Business Process Enablement / Stuart Short ; Samuel Paul Kaluvuri
Agent-Supported Collaboration and Interoperability for Networked Enterprises / Ingo Zinnikus ; Xiaoqi Cao ; Klaus Fischer
Author Index
Keynotes
On Challenges in Enterprise Systems Management and Engineering for the Networked Enterprise of the Future / Andreas Friesen
Research Roadmap for Future Internet Enterprise Systems / Gérald Santucci
46.

電子ブック
ＥＢ
46. Computer Networks and Information Technologies
Vinu V. Das, Yogesh Chaba, Janahanlal Stephen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
47.

電子ブック
ＥＢ
47. Digital Forensics and Cyber Crime
Ibrahim Baggili, Paolo Bellavista
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. Human-Robot Personal Relationships
Maarten H. Lamers, Paolo Bellavista, Fons J. Verbeek
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Loving Machines: Theorizing Human and Sociable-Technology Interaction / Glenda Shaw-Garlock
Towards a Sociological Understanding of Robots as Companions / Ellen van Oost ; Darren Reed
The Development of an Online Research Tool to Investigate Children's Social Bonds with Robots / Dana Nathalie Veenstra ; Vanessa Evers
Spatial Sounds (lOOdB at lOOkm/h) in the Context of Human Robot Personal Relationships / Edwin van der Heide
Interaction between Task Oriented and Affective Information Processing in Cognitive Robotics / Pascal Haazebroek ; Saskia van Dantzig ; Bernhard Hommel
Children's Perception and Interpretation of Robots and Robot Behaviour / Sajida Bhamjee ; Frances Griffiths ; Julie Palmer
Can Children Have a Relationship with a Robot? / Tanya N. Beran ; Alejandro Ramirez-Serrano
From Speech to Emotional Interaction: EmotiRob Project / Marc Le Tallec ; Sébastien Saint-Aimé ; Céline Jost ; Jeanne Villaneau ; Jean-Yves Antoine ; Sabine Letellier-Zarshenas ; Brigitte Le-Pévédic ; Dominique Duhaut
Investigation on Requirements of Robotic Platforms to Teach Social Skills to Individuals with Autism / Chris Nikolopoulos ; Deitra Kuester ; Mark Sheehanr ; Sneha Dhanya
"Adventures of Harvey" - Use, Acceptance of and Relationship Building with a Social Robot in a Domestic Environment / Tineke Klamer ; Somaya Ben Allouch ; Dirk Heylen
The Potential of Socially Assistive Robotics in Care for Elderly, a Systematic Review / Roger Bemelmans ; Gert Jan Gelderblom ; Pieter Jonker ; Luc de Witte
The Yume Project: Artists and Androids / Michael Honeck ; Yan Lin ; David Teot ; Ping Li ; Christine M. Barnes
Digital Adultery "Meta-Anon Widows," Real-World Divorce, and the Need for a Virtual Sexual Ethic / William David Spencer
Modeling Mixed Groups of Humans and Robots with Reflexive Game Theory / Sergey Tarasenko
A Design Process for Lovotics / Hooman Aghaebrahimi Samani ; Adrian David Cheok ; Mili John Tharakan ; Jeffrey Koh ; Newton Fernando
Talking to Robots: On the Linguistic Construction of Personal Human-Robot Relations / Mark Coeckelbergh
Using Empathy to Improve Human-Robot Relationships / André Pereira ; Iolanda Leite ; Samuel Mascarenhas ; Carlos Martinho ; Ana Paiva
Author Index
Loving Machines: Theorizing Human and Sociable-Technology Interaction / Glenda Shaw-Garlock
Towards a Sociological Understanding of Robots as Companions / Ellen van Oost ; Darren Reed
The Development of an Online Research Tool to Investigate Children's Social Bonds with Robots / Dana Nathalie Veenstra ; Vanessa Evers
49.

電子ブック
ＥＢ
49. Energy-Efficient Computing and Networking
Nikos Hatziargyriou, Paolo Bellavista, Aris Dimeas, Thomai Tomtsi, Anke Weidlich
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. Knowledge Discovery, Knowlege Engineering and Knowledge Management
Ana Fred, Jan L. G. Dietz, Joaquim Filipe, Kecheng Liu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼