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…
51.

電子ブック
ＥＢ
51. Biomedical Engineering Systems and Technologies
Ana Fred, Joaquim Filipe, Hugo Gamboa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Personal Health: The New Paradigm to Make Sustainable the Health Care System / Vicente Traver ; Raquel Faubel
Health Informatics / Part I：
Registration and Fusion Techniques for Medical Images: Demonstration and Evaluation / Evanthia Faliagka ; George Matsopoulos ; Athanasios Tsakalidis ; John Tsaknakis ; Giannis Tzimas
Prediction of Pancreatic Cancer Survival through Automated Selection of Predictive Models / Stuart Floyd ; Carolina Ruiz ; Sergio A. Alvarez ; Jennifer Tseng ; Giles Whalen
Web of Active Documents: An Architecture for Flexible Electronic Patient Records / Federico Cabitza ; Iade Gesso
A Personalization Environment for Multi-version Clinical Guidelines / Fabio Grandi
Dynamic Routing Using Health Information Policy with Apache Camel / Edward Brown ; Jamie Goodyear
A Personal Health Record System for Emergency Case Management / Vassiliki Koufi ; Flora Malamateniou ; George Vassilacopoulos
A Method for Representing and Querying Temporal Information in OWL / Martin J. O'Connor ; Amar K. Das
Designing a Telemedical System for Cardiac Exercise Rehabilitation / Florian Klompmaker ; Clemens Busch ; Karsten Nebe ; Andreas Bleiker ; Detlev Willemsen
A Value and Model Driven Method for Patient Oriented KPI Design in Health Care / Erik Perjons ; Paul Johannesson
Biomedical Electronics and Devices / Part II：
Encapsulated Multi-vesicle Assemblies of Programmable Architecture: Towards Personalized Healthcare / Maik Hadorn ; Peter Eggenberger Hotz
Adaptive RBF-HMM Bi-Stage Classifier Applied to Brain Computer Interface / José Luis Martínez Pérez ; Antonio Barrientos Cruz
Thermal Characteristics of Microcantilever Biosensors / Mohd. Zahid Ansari ; Chongdu Cho
Prosodic Speech Restoration Device: Glottal Excitation Restoration Using a Multi-resolution Approach / Olaf Schleusing ; Rolf Vetter ; Philippe Renevey ; Jean-Marc Vesin ; Valérie Schweizer
An Investigation on ALD Thin Film Evanescent Waveguide Sensor for Biomedical Application / Agung Purniawan ; Paddy French ; Gregory Pandraud ; Pasqualina M. Sarro
Bio-inspired Systems and Signal Processing / Part III：
Probabilistic Patient Monitoring with Multivariate, Multimodal Extreme Value Theory / Samuel Hugueny ; David A. Clifton ; Lionel Tarassenko
Weighted SVMs and Feature Relevance Assessment in Supervised Heart Beat Classification / Gael de Lannoy ; Damien François ; Jean Delbeke ; Michel Verleysen
The Investigation and Clinical Significance of Resonance in the Heart Rate and Vascular Tone Baroreflexes / Evgeny G. Vaschillo ; Bronya Vaschillo ; Jennifer F. Buckman ; Robert J. Pandina ; Marsha E. Bates
Glottal Inverse Filtering of Speech Based on Homomorphic Prediction: A Cepstrum-Based Algorithm not Requiring Prior Detection of Either Pitch or Glottal Closure / Rubén Fraile ; Malte Kob ; Juana M. Gutiérrez-Arriola ; Nicolás Sáenz-Lechón ; J. Ignacio Godino-Llorente ; Víctor Osma-Ruiz
Texture Discrimination with Artificial Whiskers in the Robot-Rat Psikharpax / Steve N'Guyen ; Patrick Pirim ; Jean-Arcady Meyer
Heart Rate Variability and the Acceleration Plethysmogram Signals Measured at Rest / Mohamed Elgendi ; Mirjam Jonkman ; Friso DeBoer
Emotional Face Perception in Healthy Subjects and Parkinson's Disease: An Effective Connectivity Study / Elvis Lira da Silva ; Gabriela Castellano ; João Ricardo Sato ; Ellison Fernando Cardoso ; Edson Amaro
Biometric Authentication with Electroencephalograms: Evaluation of Its Suitability Using Visual Evoked Potentials / André Zúquete ; Bruno Quintela ; João Paulo Silva Cunha
Bioinformatics / Part IV：
Reconstructing the Phylogenetic Relationships of the Cyclophyllidean Cestodes: A Case Study Using ITS2 rDNA and Sequence-Structure Alignment / Veena Tandon ; Devendra Kumar Biswal ; Pramod Kumar Prasad ; Chenkual Malsawmtluangi
ReHap: A Framework for Single Individual Haplotyping from Next-Generation Sequencing Data / F. Geraci ; M. Pellegrini
Inference of Large Phytogenies Using Neighbour-Joining / Martin Simonsen ; Thomas Mailund ; Christian N.S. Pedersen
Prediction of Minimum Free Energy Structure for Simple Non-standard Pseudoknot / Thomas K.F. Wong ; S.M. Yiu
Intra- and Inter-Molecular Coevolution: The Case of HIV1 Protease and Reverse Transcriptase / Patrick Boba ; Philipp Weil ; Franziska Hoffgaard ; Kay Hamacher
Structured Output Prediction of Novel Enzyme Function with Reaction Kernels / Katja Astikainen ; Liisa Holm ; Esa Pitkänen ; Sandor Szedmak ; Juho Rousu
A Parallel Algorithm for Counting Subgraphs in Complex Networks / Pedro Ribeiro ; Fernando Silva ; Luís Lopes
Efficient Searching for Motifs in DNA Sequences Using Position Weight Matrices / Nikola Stojanovic
Author Index
Invited Paper
Personal Health: The New Paradigm to Make Sustainable the Health Care System / Vicente Traver ; Raquel Faubel
Health Informatics / Part I：
52.

電子ブック
ＥＢ
52. Analysis and Design of Advice
Ivan Jureta
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Coordination and Advice / 2：
When There Is None / 2.1：
From Division of Labor to Dependence on Advice / 2.2：
Autonomy and Coordination / 2.3：
Coordination Through Advice / 2.4：
Advice in Political Coordination / 2.5：
Dictatorship and Consent / 2.5.1：
Under Democracy / 2.5.2：
Advice and Meta-Advice in Politics / 2.5.3：
Advice in Economic Coordination / 2.6：
Central Planning / 2.6.1：
Market / 2.6.2：
Homo Follis / 2.7：
Conceptual Analysis of Advice / 3：
Rigorous Definition / 3.1：
Ostensive and Intensional Definitions / 3.1.1：
Primitive Terms / 3.1.2：
Criteria from Standard Theory / 3.1.3：
Signs to Objects and Back, via Concepts / 3.2：
Signs / 3.2.1：
Objects and Concepts / 3.2.2：
Relating Signs, Objects, and Concepts / 3.2.3：
Sings, Objects, and Concepts, in Advice / 3.2.4：
Ontology and Primitive Terms / 3.3：
Ontology in Philosophy / 3.3.1：
On the Engineering of Ontologies / 3.3.2：
Advice, Defined / 3.4：
Initial Ontological Commitments / 3.4.1：
Advice in Communication, Communication as Action / 3.4.2：
Essential Properties of and Identity Criteria for Advice / 3.4.3：
What Advice Is Not, but May Refer To / 3.4.4：
Relativist's Conceptual Analysis / 3.5：
Interpretation of Advice / 4：
Open Reference / 4.1：
Vague Advice / 4.2：
Referent Lost / 4.3：
Kinds of Advice / 5：
Classification from a Model of Choice / 5.1：
Perfect and Bounded Rational Choice / 5.2：
Ontology of Decision Analysis / 5.2.1：
Ontology of Choice in Organized Anarchies / 5.2.2：
Ontology of Intervowen Organisational Choice / 5.2.3：
Intolerance for Substitutes / 5.3：
Probability Intolerance / 5.3.1：
Utility Intolerance / 5.3.2：
Decision Information / 5.4：
Revealed Intentional States / 5.4.1：
Decision Information Ontology / 5.4.2：
Synthesis of the Decision Information Ontology / 5.4.3：
Taxonomy of Advice / 5.5：
Whose Explanations? / 5.5.1：
Specialization of the Concept of Advice / 5.5.2：
Reinterpreting Advice / 5.6：
Advisor's Problem and Its Solutions / 6：
Advice from Simple Explanations and Predictions / 6.1：
Models of Advice: An Overview / 6.2：
Introductory Example / 6.2.1：
Overview of the Framework for the Modeling of Advice / 6.2.2：
Modeling Language / 6.3：
AML2 / 6.3.1：
AML1 / 6.3.2：
AML / 6.3.3：
A-nets / 6.3.4：
Why the Interest in Structure? / 6.3.5：
Formulation of the Advisor's Problem / 6.4：
Solving the Advisor's Problem / 6.5：
Criteria for a Robust Solution / 6.6：
Criteria for a Clear Solution / 6.7：
Criteria from Empirical Evidence / 6.8：
Perspectives / 7：
References
Index
Introduction / 1：
Coordination and Advice / 2：
When There Is None / 2.1：
53.

電子ブック
ＥＢ
53. Voice over IP Security
Angelos D. Keromytis
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
目次情報: 続きを見る
Acronyms
Introduction / 1：
Motivation and Background / 1.1：
What This Book is About / 1.2：
Organization / 1.2.1：
Overview of VoIP Systems / 2：
Session Initiation Protocol / 2.1：
Unlicensed Mobile Access / 2.2：
Other VoIP Systems / 2.3：
Survey and Analysis of VoIP/IMS Vulnerabilities / 3：
Survey of Disclosed Vulnerabilities / 3.1：
Analysis of the Vulnerability Survey / 3.2：
Survey of VoIP Security Research Literature / 4：
Collection Methodology / 4.1：
Extended VoIPSA Classification / 4.2：
Survey of VoIP Security Research / 4.3：
VoIPSA-based Classification (111 items) / 4.3.1：
Additional Categories (134 items) / 4.3.2：
Comparative Analysis / 5：
Recommendations for Securing VoIP Systems / 5.1：
Conclusions / 6：
References
Acronyms
Introduction / 1：
Motivation and Background / 1.1：
54.

電子ブック
ＥＢ
54. Identity-Based Encryption
Sanjit Chatterjee, Palash Sarkar
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
55.

電子ブック
ＥＢ
55. Change Management for Semantic Web Services
Xumin Liu, Salman Akram, Athman Bouguettaya
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
56.

電子ブック
ＥＢ
56. Ranking Queries on Uncertain Data
Ming Hua, Jian Pei
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
57.

電子ブック
ＥＢ
57. Social Network Data Analytics
Charu C. Aggarwal, Charu C. Aggarwal
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
58.

電子ブック
ＥＢ
58. Handbook of Natural Language Processing and Machine Translation
Caitlin Christianson, John McCary Joseph Olive, Caitlin Christianson, John McCary, Joseph Olive
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
59.

電子ブック
ＥＢ
59. Social Media Modeling and Computing
Jiebo Luo, Susanne Boll, Dong Xu, Rong Jin, Irwin King Steven C.H. Hoi, Steven C. H. Hoi, Jiebo Luo
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
60.

電子ブック
ＥＢ
60. Analysis for Computer Scientists
Michael Oberguggenberger, Alexander Ostermann
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
61.

電子ブック
ＥＢ
61. Global Usability
Zhengjie Liu Ian Douglas, Ian Douglas, Zhengjie Liu
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
62.

電子ブック
ＥＢ
62. Introduction to Artificial Intelligence
Wolfgang Ertel
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
What Is Artificial Intelligence? / 1.1：
Brain Science and Problem Solving / 1.1.1：
The Turing Test and Chatterbots / 1.1.2：
The History of AI / 1.2：
The First Beginnings / 1.2.1：
Logic Solves (Almost) All Problems / 1.2.2：
The New Connection ism / 1.2.3：
Reasoning Under Uncertainty / 1.2.4：
Distributed, Autonomous and Learning Agents / 1.2.5：
AI Grows up / 1.2.6：
Agents / 1.3：
Knowledge-Based Systems / 1.4：
Exercises / 1.5：
Propositional Logic / 2：
Syntax / 2.1：
Semantics / 2.2：
Proof Systems / 2.3：
Resolution / 2.4：
Horn Clauses / 2.5：
Computability and Complexity / 2.6：
Applications and Limitations / 2.7：
First-order Predicate Logic / 2.8：
Equality / 3.1：
Quantifiers and Normal Forms / 3.3：
ProofCalculi / 3.4：
Resolution Strategies / 3.5：
Automated Theorem Provers / 3.5.2：
Mathematical Examples / 3.7：
Applications / 3.8：
Summary / 3.9：
Limitations of Logic / 3.10：
The Search Space Problem / 4.1：
Decidability and Incompleteness / 4.2：
The Flying Penguin / 4.3：
Modeling Uncertainty / 4.4：
Logic Programming with Prolog / 4.5：
Prolog Systems and Implementations / 5.1：
Simple Examples / 5.2：
Execution Control and Procedural Elements / 5.3：
Lists / 5.4：
Self-modifying Programs / 5.5：
A Planning Example / 5.6：
Constraint Logic Programming / 5.7：
Search, Games and Problem Solving / 5.8：
Uninformed Search / 6.1：
Breadth-First Search / 6.2.1：
Depth-First Search / 6.2.2：
Iterative Deepening / 6.2.3：
Comparison / 6.2.4：
Heuristic Search / 6.3：
Greedy Search / 6.3.1：
A-Search / 6.3.2：
Ida-Search / 6.3.3：
Empirical Comparison of the Search Algorithms / 6.3.4：
Games with Opponents / 6.3.5：
Minimax Search / 6.4.1：
Alpha-Beta-Pruning / 6.4.2：
Non-deterministic Games / 6.4.3：
Heuristic Evaluation Functions / 6.5：
Learning of Heuristics / 6.5.1：
State of the Art / 6.6：
Reasoning with Uncertainty / 6.7：
Computing with Probabilities / 7.1：
Conditional Probability / 7.1.1：
The Principle of Maximum Entropy / 7.2：
An Inference Rule for Probabilities / 7.2.1：
Maximum Entropy Without Explicit Constraints / 7.2.2：
Conditional Probability Versus Material Implication / 7.2.3：
MaxEnt-Systems / 7.2.4：
The Tweety Example / 7.2.5：
Lexmed, an Expert System for Diagnosing Appendicitis / 7.3：
Appendicitis Diagnosis with Formal Methods / 7.3.1：
Hybrid Probabilistic Knowledge Base / 7.3.2：
Application of Lexmed / 7.3.3：
Function of Lexmed / 7.3.4：
Risk Management Using the Cost Matrix / 7.3.5：
Performance / 7.3.6：
Application Areas and Experiences / 7.3.7：
Reasoning with Bayesian Networks / 7.4：
Independent Variables / 7.4.1：
Graphical Representation of Knowledge as a Bayesian Network / 7.4.2：
Conditional Independence / 7.4.3：
Practical Application / 7.4.4：
Software for Bayesian Networks / 7.4.5：
Development of Bayesian Networks / 7.4.6：
Semantics of Bayesian Networks / 7.4.7：
Machine Learning and Data Mining / 7.5：
Data Analysis / 8.1：
The Perceptron, a Linear Classifier / 8.2：
The Learning Rule / 8.2.1：
Optimization and Outlook / 8.2.2：
The Nearest Neighbor Method / 8.3：
Two Classes, Many Classes, Approximation / 8.3.1：
Distance Is Relevant / 8.3.2：
Computation Times / 8.3.3：
Summary and Outlook / 8.3.4：
Case-Based Reasoning / 8.3.5：
Decision Tree Learning / 8.4：
A Simple Example / 8.4.1：
Entropy as a Metric for Information Content / 8.4.2：
Information Gain / 8.4.3：
Application of C4.5 / 8.4.4：
Learning of Appendicitis Diagnosis / 8.4.5：
Continuous Attributes / 8.4.6：
PruningùCutting the Tree / 8.4.7：
Missing Values / 8.4.8：
Learning of Bayesian Networks / 8.4.9：
Learning the Network Structure / 8.5.l：
The Naive Bayes Classifier / 8:6：
Text Classification with Naive Bayes / 8.6.1：
Clustering / 8.7：
Distance Metrics / 8.7.1：
k-Means and the Em Algorithm / 8.7.2：
Hierarchical Clustering / 8.7.3：
Data Mining in Practice / 8.8：
The Data Mining Tool Knime / 8.8.1：
The Perceptron / 8.9：
Nearest Neighbor Method / 8.10.3：
Decision Trees / 8.10.4：
Data Mining / 8.10.5：
Neural Networks / 9：
From Biology to Simulation / 9.1：
The Mathematical Model / 9.1.1：
Hopfield Networks / 9.2：
Application to a Pattern Recognition Example / 9.2.1：
Analysis / 9.2.2：
Neural Associative Memory / 9.2.3：
Correlation Matrix Memory / 9.3.1：
The Pseudoinverse / 9.3.2：
The Binary Hebb Rule / 9.3.3：
A Spelling Correction Program / 9.3.4：
Linear Networks with Minimal Errors / 9.4：
Least Squares Method / 9.4.1：
Application to the Appendicitis Data / 9.4.2：
The Delta Rule / 9.4.3：
Comparison to the Perceptron / 9.4.4：
The Backpropagation Algorithm / 9.5：
Nettalk: A Network Learns to Speak / 9.5.1：
Learning of Heuristics for Theorem Provers / 9.5.2：
Problems and Improvements / 9.5.3：
Support Vector Machines / 9.6：
Backpropagation / 9.7：
Reinforcement Learning / 9.9.5：
The Task / 10.1：
Uninformed Combinatorial Search / 10.3：
Value Iteration and Dynamic Programming / 10.4：
A Learning Walking Robot and Its Simulation / 10.5：
Q-Learning / 10.6：
Q-Learning in a Nondeterministic Environment / 10.6.1：
Exploration and Exploitation / 10.7：
Approximation, Generalization and Convergence / 10.8：
Curse of Dimensionality / 10.9：
Solutions for the Exercises / 10.11：
First-Order Predicate Logic / 11.1：
Prolog / 11.4：
References / 11.6：
Index
Introduction / 1：
What Is Artificial Intelligence? / 1.1：
Brain Science and Problem Solving / 1.1.1：
63.

電子ブック
ＥＢ
63. Specification of Software Systems
V.S Alagar, K. Periyasamy
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
64.

電子ブック
ＥＢ
64. Computer Vision-Guided Virtual Craniofacial Surgery
Ananda S. Chowdhury, S. M. Bhandarkar, Suchendra M. Bhandarkar
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
65.

電子ブック
ＥＢ
65. Migratory Interactive Applications for Ubiquitous Environments
Fabio Patern?
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
66.

電子ブック
ＥＢ
66. Evolutionary Optimization: the ?GP toolkit
Ernesto Sanchez, Massimiliano Schillaci, Giovanni Squillero
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Evolutionary computation / 1：
Natural and artificial evolution / 1.1：
The classical paradigms / 1.2：
Genetic programming / 1.3：
Why yet another one evolutionary optimizer? / 2：
Background / 2.1：
Where to draw the lines / 2.2：
Individuals / 2.3：
Problem specification / 2.4：
Coding Techniques / 2.5：
The ?Gp architecture / 3：
Conceptual design / 3.1：
The evolutionary core / 3.2：
Evolutionary Operators / 3.2.1：
Population / 3.2.2：
The Evolutionary Cycle / 3.3：
Genetic operator selection / 3.3.1：
Parents selection / 3.3.2：
Offspring Generation / 3.3.3：
Individual Evaluation and Slaughtering / 3.3.4：
Termination and Aging / 3.3.5：
Advanced features / 4：
Self adaptation for exploration or exploitation / 4.1：
Self-adaptation inertia / 4.1.1：
Operator strength / 4.1.2：
Tournament size / 4.3.3：
Escaping local optimums / 4.2：
Operator activation probability / 4.2.1：
Tuning the elitism / 4.2.2：
Preserving diversity / 4.3：
Clone detection, scaling and extermination / 4.3.1：
Entropy and delta-entropy computation / 4.3.2：
Fitness holes
Population topology and multiple populations
Coping with the real problems / 4.4：
Parallel fitness evaluation / 4.4.1：
Multiple fitness / 4.4.2：
Performing an evolutionary run / 5：
Robot Pathfinder / 5.1：
?Gp Settings / 5.2：
Population Settings / 5.3：
Library of Constraints / 5.4：
Launching the experiment / 5.5：
?Gp Extractor / 5.6：
Command line syntax / 6：
Starting a run / 6.1：
Controlling messages to the user / 6.2：
Getting help and information / 6.3：
Controlling logging / 6.4：
Controlling recovery / 6.5：
Controlling evolution / 6.6：
Controlling evaluation / 6.7：
Syntax of the settings file / 7：
Syntax of the population parameters file / 7.1：
Strategy parameters / 8.1：
Base parameters / 8.1.1：
Parameters for self adaptation / 8.1.2：
Other parameters / 8.1.3：
Syntax of the external constraints file / 9：
Purposes of the constraints / 9.1：
Organization of constraints and hierarchy / 9.2：
Specifying the structure of the individual / 9.3：
Specifying the contents of the individual / 9.4：
Writing a compliant evaluator / 10：
Information from ?Gp to the fitness evaluator / 10.1：
Expected fitness format / 10.2：
Good Examples / 10.2.1：
Bad Examples / 10.2.2：
Implementation details / 11：
Design principles / 11.1：
Architectural choices / 11.2：
The Graph library / 11.2.1：
The Evolutionary Core library / 11.2.2：
Front end / 11.2.3：
Code organization and class model / 11.3：
Examples and applications / 12：
Classical one-max / 12.1：
Fitness evaluator / 12.1.1：
Constraints / 12.1.2：
Population settings / 12.1.3：
?Gp settings / 12.1.4：
Running / 12.1.5：
Values of parameters and their influence on the evolution: Arithmetic expressions / 13412.2：
De Jong 3 / 12.2.1：
De Jong 4-Modified / 12.2.2：
Carrom / 12.2.3：
Complex individuals' structures and evaluation: Bit-counting in Assembly / 12.3：
Assembly individuals representation / 12.3.1：
Evaluator / 12.3.2：
Argument and option synopsis / 12.3.3：
External constraints synopsis
References
Evolutionary computation / 1：
Natural and artificial evolution / 1.1：
The classical paradigms / 1.2：
67.

電子ブック
ＥＢ
67. Rigorous Software Development
Jos? Bacelar Almeida, Jos? Bacelar Almeida, Maria Jo?o Frade, Maria Jo?o Frade, Sim?o Melo de Sousa, Jorge Sousa Pinto
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
68.

電子ブック
ＥＢ
68. Introduction to the Theory of Programming Languages
Gilles Dowek, Jean-Jacques L?vy, Jean-Jacques L?vy
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
69.

電子ブック
ＥＢ
69. Proofs and Algorithms
Gilles Dowek
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
70.

電子ブック
ＥＢ
70. Distributed Video Sensor Networks
Chinya V. Ravishankar, Amit K. Roy-Chowdhury, Hamid Aghajan, Demetri Terzopoulos Bir Bhanu, Hamid Aghajan, Bir Bhanu, Chinya V. Ravishankar, Amit K. Roy-Chowdhury, Demetri Terzopoulos
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Distributed Video Sensor Networks and Research Challenges / Part I：
Report on NSF/ARO/ONR Workshop on Distributed Camera Networks: Research Challenges and Future Directions / Bir Bhanu ; Amit Roy Chowdhury1：
Video Processing and Understanding / Part II：
Motion Analysis: Past, Present and Future / J.K. Aggarwal2：
Projective Joint Invariants for Matching Curves in Camera Networks / Raman Arora ; Charles R. Dyer3：
Multiple-View Object Recognition in Smart Camera Networks / Allen Y. Yang ; Subhransu Maji ; C. Mario Christoudias ; Trevor Darrell ; Jitendra Malik ; S. Shankar Sastry4：
A Comparison of Techniques for Camera Selection and Hand-Off in a Video Network / Yiming Li5：
Distributed Sensing and Processing for Multi-Camera Networks / Aswin C. Sankaranarayanan ; Rama Chellappa ; Richard G. Baraniuk6：
Tracking of Multiple Objects over Camera Networks with Overlapping and Non-overlapping Views / Jenq-Neng Hwang ; Victor Gau7：
Toward Robust Online Visual Tracking / Ming-Hsuan Yang ; Jeffrey Ho8：
Modeling Patterns of Activity and Detecting Abnormal Events with Low-Level Co-occurrences / Yannick Benezeth ; Pierre-Marc Jodoin ; Venkatesh Saligrama9：
Use of Context in Video Processing / Chen Wu ; Hamid Aghajan10：
Simulation, Graphics, Cognition and Video Networks / Part III：
Virtual Vision / Demetri Terzopoulos ; Faisal Z. Qureshi11：
Visualization and Programming Support for Video Sensor Networks with Application to Wireless and Physical Security / Azer Bestavros ; Michael J. Ocean12：
Simulating Human Activities for Synthetic Inputs to Sensor Systems / Jan M. Allbeck ; Norman I. Badler13：
Cognitive Sensor Networks / Thomas C. Henderson14：
Ubiquitous Displays: A Distributed Network of Active Displays / Aditi Majumder15：
Wireless Video Sensor Networks, Communications and Control / Part IV：
Research Challenges for Wireless Multimedia Sensor Networks / Tommaso Melodia ; Ian F. Akyildiz ; 23316：
Camera Control and Geo-Registration for Video Sensor Networks / James W. Davis ; 24717：
Persistent Observation of Dynamic Scenes in an Active Camera Network / Bi Song ; Chong Ding ; Amit Roy-Chowdhury ; Jay Farrell18：
Proactive PTZ Camera Control / 19：
Distributed Consensus Algorithms for Image-Based Localization in Camera Sensor Networks / Roberto Tron ; Andreas Terzis ; René Vidal20：
Conditional Posterior Cramér-Rao Lower Bound and its Applications in Adaptive Sensor Management / Ruixin Niu ; Long Zuo ; Engin Masazade ; Pramod K. Varshney21：
Distributed Embedded Cameras and Real-Time Video Analysis / Part V：
Video Web: Optimizing a Wireless Camera Network for Real-time Surveillance / Hoang Thanh Nguyen22：
Video Web Dataset for Multi-camera Activities and Non-verbal Communication / Giovanni Denina ; Ahmed Kamal ; Chinya Ravishankar ; Allen Ivers ; Brenda Varda23：
Wide-Area Persistent Airborne Video: Architecture and Challenges / Kannappan Palaniappan ; Raghuveer M. Rao ; Guna Seetharaman24：
Collaborative Face Recognition Using a Network of Embedded Cameras / Vinod Kulathumani ; Srikanth Parupati ; Arun Ross ; Raghavender Jillela25：
SATware: A Semantic Approach for Building Sentient Spaces / Daniel Massaguer ; Sharad Mehrotra ; Ronen Vaisenberg ; Nalini Venkatasubramanian26：
Applications of Distributed Video Networks / Part VI：
Video Analytics for Force Protection / Peter H. Tu ; Glen W. Brooksby ; Gianfranco Doretto ; Donald W. Hamilton ; Nils Krahnstoever27：
Recognizing Activity Structures in Massive Numbers of Simple Events Over Large Areas / Raymond D. Rimey28：
Distributed Sensor Networks for Visual Surveillance / Zeeshan Rasheed ; Khurram Shafique ; Li Yu ; Munwai Lee ; Krishnan Ramnath ; TeaEun Choe ; Omar Javed ; Niels Haering29：
Ascertaining Human Identity in Night Environments / T. Bourlai ; N. Kalka ; D. Cao ; B. Decann ; Z. Jafri ; F. Nicolo ; C. Whilelam ; J. Zuo ; D. Adjeroh ; B. Cukic ; J. Dawson ; L. Hornak ; A. Ross ; N.A. Schmid30：
Educational Opportunities and Curriculum Development / Part VII：
Educational Opportunities in Video Sensor Networks / 31：
Index
Distributed Video Sensor Networks and Research Challenges / Part I：
Report on NSF/ARO/ONR Workshop on Distributed Camera Networks: Research Challenges and Future Directions / Bir Bhanu ; Amit Roy Chowdhury1：
Video Processing and Understanding / Part II：
71.

電子ブック
ＥＢ
71. Rotation Transforms for Computer Graphics
John Vince
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
72.

電子ブック
ＥＢ
72. Introduction to Software Process Improvement
Gerard O'Regan
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
73.

電子ブック
ＥＢ
73. Automatic Digital Document Processing and Management
Stefano Ferilli
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
74.

電子ブック
ＥＢ
74. Designing Interfaces in Public Settings
Stuart Reeves
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
75.

電子ブック
ＥＢ
75. Information Retrieval Architecture and Algorithms
Gerald Kowalski
出版情報: Springer eBooks Computer Science , Springer US, 2011
所蔵情報: loading…
目次情報: 続きを見る
Information Retrieval System Functions / 1：
Introduction / 1.1：
Primary Information Retrieval Problems / 1.1.1：
Objectives of Information Retrieval System / 1.1.2：
Functional Overview of Information Retrieval Systems / 1.2：
Selective Dissemination of Information / 1.2.1：
Alerts / 1.2.2：
Items and Item Index / 1.2.3：
Indexing and Mapping to a Taxonomy / 1.2.4：
Understanding Search Functions / 1.3：
Boolean Logic / 1.3.1：
Proximity / 1.3.2：
Contiguous Word Phrases / 1.3.3：
Fuzzy Searches / 1.3.4：
Term Masking / 1.3.5：
Numeric and Date Ranges / 1.3.6：
Vocabulary Browse / 1.3.7：
Multimedia Search / 1.3.8：
Relationship to Database Management Systems / 1.4：
Digital Libraries and Data Warehouses / 1.5：
Processing Subsystem Overview / 1.6：
Summary / 1.7：
Exercises / 1.8：
Data Structures and Mathematical Algorithms / 2：
Data Structures / 2.1：
Introduction to Data Structures / 2.1.1：
Inverted File Structure / 2.1.2：
N-Gram Data Structures / 2.1.3：
PAT Data Structure / 2.1.4：
Signature File Structure / 2.1.5：
Hypertext and XML Data Structures / 2.1.6：
XML / 2.1.7：
Mathematical Algorithms / 2.2：
Bayesian Mathematics / 2.2.1：
Shannon's Theory of Information / 2.2.3：
Latent Semantic Indexing / 2.2.4：
Hidden Markov Models / 2.2.5：
Neural Networks / 2.2.6：
Support Vector Machines / 2.2.7：
Ingest / 2.3：
Introduction to Ingest / 3.1：
Item Receipt / 3.2：
Duplicate Detection / 3.3：
Item Normalization / 3.4：
Zoning and Creation of Processing Tokens / 3.5：
Stemming / 3.6：
Introduction to the Stemming Process / 3.6.1：
Porter Stemming Algorithm / 3.6.2：
Dictionary Look-Up Stemmers / 3.6.3：
Successor Stemmers / 3.6.4：
Conclusions on Stemming / 3.6.5：
Entity Processing / 3.7：
Entity Identification / 3.7.1：
Entity Normalization / 3.7.2：
Entity Resolution / 3.7.3：
Information Extraction / 3.7.4：
Categorization / 3.8：
Citational Metadata / 3.9：
Indexing / 3.10：
What is Indexing / 4.1：
History / 4.1.1：
Objectives / 4.1.2：
Manual Indexing Process / 4.2：
Scope of Indexing / 4.2.1：
Precoordination and Linkages / 4.2.2：
Automatic Indexing of Text / 4.3：
Statistical Indexing / 4.3.1：
Natural Language / 4.3.2：
Concept Indexing / 4.3.3：
Automatic Indexing of Multimedia / 4.4：
Introduction to Mutlimedia Indexing / 4.4.1：
Audio Indexing / 4.4.2：
Image Indexing / 4.4.3：
Video Indexing / 4.4.4：
Search / 4.5：
Similarity Measures and Ranking / 5.1：
Similarity Measures / 5.2.1：
Hidden Markov Models Techniques / 5.3：
Ranking Algorithms / 5.4：
Relevance Feedback / 5.5：
Selective Dissemination of Information Search / 5.6：
Weighted Searches of Boolean Systems / 5.7：
Multimedia Searching / 5.8：
Document and Term Clustering / 5.9：
Introduction to Clustering / 6.1：
Thesaurus Generation / 6.2：
Manual Clustering / 6.2.1：
Automatic Term Clustering / 6.2.2：
Item Clustering / 6.3：
Hierarchy of Clusters / 6.4：
Automatic Hierarchical Cluster Algorithms / 6.4.1：
Measure of Tightness for Cluster / 6.5：
Issues with Use of Hierarchical Cluster Algorithms / 6.6：
Information Presentation / 6.7：
Information Presentation Introduction / 7.1：
Presentation of the Hits / 7.2：
Sequential Listing of Hits / 7.2.1：
Cluster View / 7.2.2：
Network View / 7.2.3：
Timeline Presentation / 7.2.4：
Display of the Item / 7.3：
Indicating Search Terms in Display / 7.3.1：
Text Summarization / 7.3.2：
Collaborative Filtering / 7.4：
Page Ranking as Collaborative Filtering / 7.4.1：
Multimedia Presentation / 7.5：
Audio Presentation / 7.5.1：
Image Item Presentation / 7.5.2：
Video Presentation / 7.5.3：
Human Perception and Presentation / 7.6：
Introduction to Information Visualization / 7.6.1：
Cognition and Perception / 7.6.2：
Search Architecture / 7.7：
Index Search Optimization / 8.1：
Pruning the Index / 8.1.1：
Champion Lists / 8.1.2：
Text Search Optimization / 8.2：
Software Text Search Algorithms / 8.2.1：
Hardware Text Search Systems / 8.2.2：
GOOGLE Scalable Multiprocessor Architecture / 8.3：
Information System Evaluation / 8.4：
Introduction to Information System Evaluation / 9.1：
Measures Used in System Evaluations / 9.2：
Multimedia Information Retrieval Evaluation / 9.3：
Measurement Example: TREC Evolution / 9.4：
Bibliography / 9.5：
Index
Information Retrieval System Functions / 1：
Introduction / 1.1：
Primary Information Retrieval Problems / 1.1.1：
76.

電子ブック
ＥＢ
76. Explorations in Quantum Computing
Colin P. Williams
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Biology of liver metastases
Imaging of liver metastases (US, CT, MRI, PET, etc)
Surgery for colorectal liver metastases
Ablation therapies for colorectal liver metastases (cryo, RFA, microwave)
Chemotherapy for colorectal liver metastases (systemic, regional)
Biological therapies for colorectal liver metastases (targeted antibodies, gene therapy)
Multi-modality strategies for colorectal liver metastases
Neuroendocrine metastases (carcinoid, pancreatic)
GIST metastases
Liver metastases from other primary sites
Biology of liver metastases
Imaging of liver metastases (US, CT, MRI, PET, etc)
Surgery for colorectal liver metastases
77.

電子ブック
ＥＢ
77. Cooperative Work and Coordinative Practices
Kjeld Schmidt
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
78.

電子ブック
ＥＢ
78. Sketch-based Interfaces and Modeling
Faramarz Samavati Joaquim Jorge, Joaquim Armando Jorge, Faramarz Samavati
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Faramarz F. Samavati ; Luke Olsen ; Joaquim A. Jorge1：
Sketch-based Interfaces / Part I：
Multi-domain Hierarchical Free-Sketch Recognition Using Graphical Models / Christine Alvarado2：
Minimizing Modes for Smart Selection in Sketching/Drawing Interfaces / Eric Saund ; Edward Lank3：
Mathematical Sketching: An Approach to Making Dynamic Illustrations / Joseph J. La Viola Jr.4：
Pen-based Interfaces for Engineering and Education / Thomas F. Stahovich5：
Flexible Parts-based Sketch Recognition / Michiel van de Panne ; Dana Sharon6：
Sketch-based Retrieval of Vector Drawings / Manuel J. Fonseca ; Alfredo Ferreira7：
Sketch-based Modeling / Part II：
A Sketching Interface for Freeform 3D Modeling / Takeo Igarashi8：
The Creation and Modification of 3D Models Using Sketches and Curves / Andrew Nealen ; Marc Alexa9：
Sketch-based Modeling and Assembling with Few Strokes / Aaron Severn ; Joseph J. Cherlin ; Mario Costa Sousa10：
ShapeShop: Free-Form 3D Design with Implicit Solid Modeling / Ryan Schmidt ; Brian Wyvill11：
Inferring 3D Free-Form Shapes from Complex Contour Drawings / Olga Karpenko ; John F. Hughes12：
Dressing and Hair-Styling Virtual Characters from a Sketch / Levent Burak Kara ; Kenji Shimada ; Jamie Wither ; Marie-Paule Cani13：
Index
Introduction / Faramarz F. Samavati ; Luke Olsen ; Joaquim A. Jorge1：
Sketch-based Interfaces / Part I：
Multi-domain Hierarchical Free-Sketch Recognition Using Graphical Models / Christine Alvarado2：
79.

電子ブック
ＥＢ
79. Electronic Value Exchange
David L. Stearns, David Lawrence Stearns
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
80.

電子ブック
ＥＢ
80. Object-Oriented Analysis and Design
Sarnath Ramnath, Brahma Dathan
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
81.

電子ブック
ＥＢ
81. Theoretical Aspects of Distributed Computing in Sensor Networks
Sotiris Nikoletseas, Jos? D.P Rolim, Jos? D.P Rolim
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Challenges for Wireless Sensor Networks / Part I：
Composition and Scaling Challenges in Sensor Networks: An Interaction-Centric View / T. Abdelzaher11：
Models, Topology, Connectivity / Part II：
Scheduling and Power Assignments in the Physical Model / Alexander Fanghänel ; Berthold Vöcking2：
Maintaining Connectivity in Sensor Networks Using Directional Antennae / Evangelos Kranakis ; Danny Krizanc ; Oscar Morales3：
Optimal Placement of Ad Hoc Devices Under a VCG-Style Routing Protocol / Peter Widmayer ; Luzi Anderegg ; Stephan Eidenbenz ; Leon Peeters4：
Population Protocols and Related Models / Paul G. Spirakis5：
Theoretical Aspects of Graph Models for MANETs / Josep Díaz ; Dieter Mitsche ; Paolo Santi6：
Networked Distributed Source Coding / Shizheng Li ; Aditya Ramamoorthy7：
Localization, Time Synchronization, Coordination / Part III：
The Spatial Smoothing Method of Clock Synchronization in Wireless Networks / Arvind Giridhar ; P.R. Kumar8：
Algorithmic Aspects of Sensor Localization / Sajal K. Das ; Jing Wang ; R.K. Ghosh ; Rupert Reiger9：
Spatio-temporal Context in Wireless Sensor Networks / Anahit Martirosyan ; Azzedine Boukerche10：
Coordination Problems in Ad Hoc Radio Networks / Dariusz R. Kowalski
Data Propagation and Collection / Part IV：
Probabilistic Data Propagation in Wireless Sensor Networks / Sotiris Nikoletseas12：
Oblivious Routing for Sensor Network Topologies / Costas Busch ; Malik Magdon-Ismail ; Jing Xi13：
Scheduling Algorithms for Tree-Based Data Collection in Wireless Sensor Networks / Ozlem Durmaz Incel ; Amitabha Ghosh ; Bhaskar Krishnamachari14：
Position-Based Routing in Wireless Ad Hoc and Sensor Networks / Nathalie Mitton ; Tahiry Razafindralambo ; David Simplot-Ryl15：
Energy Optimization / Part V：
Energy-Balanced Data Propagation in Wireless Sensor Networks / Pierre Leone ; José D.P. Rolim16：
Dense, Concentric, and Non-uniform Multi-hop Sensor Networks / Alfredo Navarra ; Cristina M. Pinotti17：
Prolong the Lifetime of Wireless Sensor Networks Through Mobility: A General Optimization Framework / Jun Luo ; Liu Xiang18：
Mobility Management / Part VI：
Information Spreading in Dynamic Networks: An Analytical Approach / Andrea Clementi ; Francesco Pasquale19：
Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks / Shlomi Dolev ; Nir Tzachar20：
Computing by Mobile Robotic Sensors / Paola Flocchini ; Giuseppe Prencipe ; Nicola Santoro21：
Security Aspects / Part VII：
Security and Trust in Sensor Networks / Przemystaw Blas kiewicz ; Miroslaw Kutylowski22：
Key Management in Sensor Networks / Dahai Xu ; Jeffrey Dwoskin ; Jianwei Huang ; Tian Lan ; Ruby Lee ; Mung Chiang23：
Key Predistribution in Wireless Sensor Networks When Sensors Are Within Communication Range / Sushmita Ruj ; Amiya Nayak ; Ivan Stojmenovic24：
Tools, Applications, and Use Cases / Part VIII：
Realistic Applications for Wireless Sensor Networks / John A. Stankovic ; Anthony D. Wood ; Tian He25：
High-Level Application Development for Sensor Networks: Data-Driven Approach / Animesh Pathak ; Viktor K. Prasanna26：
Toward Integrated Real-World Sensing Environment Applications and Challenges / Srdjan Krco ; Konrad Wrona27：
Challenges for Wireless Sensor Networks / Part I：
Composition and Scaling Challenges in Sensor Networks: An Interaction-Centric View / T. Abdelzaher11：
Models, Topology, Connectivity / Part II：
82.

電子ブック
ＥＢ
82. Algorithms Unplugged
Berthold V?cking, Helmut Alt, Martin Dietzfelbinger, R?diger Reischuk, Christian Scheideler, Heribert Vollmer, Berthold V?cking, Dorothea Wagner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
83.

電子ブック
ＥＢ
83. A Developer�fs Guide to the Semantic Web
Liyang Yu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
A Web of Data: Toward the Idea of the Semantic Web / 1：
A Motivating Example: Data Integration on the Web / 1.1：
A Smart Data Integration Agent / 1.1.1：
Is Smart Data Integration Agent Possible? / 1.1.2：
The Idea of the Semantic Web / 1.1.3：
A More General Goal: A Web Understandable to Machines / 1.2：
How Do We Use the Web? / 1.2.1：
What Stops Us from Doing More? / 1.2.2：
Again, the Idea of the Semantic Web / 1.2.3：
The Semantic Web: A First Look / 1.3：
The Concept of the Semantic Web / 1.3.1：
The Semantic Web, Linked Data, and the Web of Data / 1.3.2：
Some Basic Things About the Semantic Web / 1.3.3：
Reference
The Building Block for the Semantic Web: RDF / 2：
RDF Overview / 2.1：
RDF in Official Language / 2.1.1：
RDF in Plain English / 2.1.2：
The Abstract Model of RDF / 2.2：
The Big Picture / 2.2.1：
Statement / 2.2.2：
Resource and Its Uri Name / 2.2.3：
Predicate and Its Uri Name / 2.2.4：
RDF Triples: Knowledge That Machine Can Use / 2.2.5：
RDF Literals and Blank Node / 2.2.6：
A Summary So Far / 2.2.7：
RDF Serialization: RDF/XML Syntax / 2.3：
The Big Picture: RDF Vocabulary / 2.3.1：
Basic Syntax and Examples / 2.3.2：
Other RDF Capabilities and Examples / 2.3.3：
Other RDF Sterilization Formats / 2.4：
Notation-3,Turtle, and N-Triples / 2.4.1：
Turtle Language / 2.4.2：
Fundamental Rules of RDF / 2.5：
Information Understandable by Machine / 2.5.1：
Distributed Information Aggregation / 2.5.2：
A Hypothetical Real-World Example / 2.5.3：
More About RDF / 2.6：
Dublin Core: Example of Pre-defined RDF Vocabulary / 2.6.1：
XML vs RDF? / 2.6.2：
Use an RDF Validator / 2.6.3：
Summary / 2.7：
Other RDF-Related Technologies: Microformats, RDFa, and Grddl / 3：
Introduction: Why Do We Need These? / 3.1：
Microformats / 3.2：
Microformats: The Big Picture / 3.2.1：
Microformats: Syntax and Examples / 3.2.2：
Microformats and RDF / 3.2.3：
RDFa / 3.3：
RDFa: The Big Picture / 3.3.1：
RDFa Attributes and RDFa Elements / 3.3.2：
RDFa: Rules and Examples / 3.3.3：
RDFa and RDF / 3.3.4：
Grddl / 3.4：
Grdll: The Big Picture / 3.4.1：
Using Grdll with Microformats / 3.4.2：
Using Grdll with RDFa / 3.4.3：
RDFs and Ontology / 3.5：
RDdfs Overview / 4.1：
RDFs in Plain English / 4.1.1：
RDFs in Official Language / 4.1.2：
RDFs + RDF: One More Step Toward Machine Readable / 4.2：
A Common Language to Share / 4.2.1：
Machine Inferencing Based on RDFs / 4.2.2：
RDFs Core Elements / 4.3：
The Big Picture: RDFs Vocabulary / 4.3.1：
Summary So Far / 4.3.2：
The Concept of Ontology / 4.4：
What Is Ontology? / 4.4.1：
The Benefits of Ontology / 4.4.2：
Building the Bridge to Ontology: Skos / 4.5：
Knowledge Organization Systems (Kos) / 4.5.1：
Thesauri vs. Ontologies / 4.5.2：
Filling the Gap: Skos / 4.5.3：
Another Look at Inferencing Based on RDF Schema / 4.6：
RDFs Ontology-Based Reasoning: Simple, Yet Powerful / 4.6.1：
Good, Better, and Best: More Is Needed / 4.6.2：
Owl: Web Ontology Language / 4.7：
OWL Overview / 5.1：
OWL in Plain English / 5.1.1：
OWL in Official Language: Owl 1 and Owl 2 / 5.1.2：
From Owl 1 to Owl 2 / 5.1.3：
Owl 1 and Owl 2: The Big Picture / 5.2：
Basic Notions: Axiom, Entity, Expression, and Idi Names / 5.2.1：
Basic Syntax Forms: Functional Style, RDF/XML Syntax, Manchester Syntax, and XML Syntax / 5.2.2：
Owl 1 Web Ontology Language / 5.3：
Defining Classes: The Basics / 5.3.1：
Defining Glasses: Localizing Global Properties / 5.3.2：
Defining Classes: Using Set Operators / 5.3.3：
Defining Classes: Using Enumeration Equivalent, and Disjoint / 5.3.4：
Our Camera Ontology So Far / 5.3.5：
Define Properties: The Basics / 5.3.6：
Defining Properties: Property Characteristics / 5.3.7：
Camera Ontology Written Using Owl 1 / 5.3.8：
Owl 2 Web Ontology Language / 5.4：
What Is New in Owl 2? / 5.4.1：
New Constructs for Common Patterns / 5.4.2：
Improved Expressiveness for Properties / 5.4.3：
Extended Support for Datatypes / 5.4.4：
Punning and Annotations / 5.4.5：
Other Owl 2 Features / 5.4.6：
Owl Constructs in Instance Documents / 5.4.7：
Owl 2 Profiles / 5.4.8：
Our Camera Ontology in Owl 2 / 5.4.9：
Sparql: Querying the Semantic Web / 5.5：
Sparql Overvie / 6.1：
Sparql in Official Language / 6.1.1：
Sparql in Plain English / 6.1.2：
Other Related Concepts: RDF Data Store, RDF Database, and Triple Store / 6.1.3：
Set up Joseki Sparql Endpoint / 6.2：
Sparql Query Language / 6.3：
Select Query / 6.3.1：
Construct Query / 6.3.3：
Describe Query / 6.3.4：
Ask Query / 6.3.5：
What Is Missing from Sparql? / 6.4：
SPARQL 1.1 / 6.5：
Introduction: What Is New? / 6.5.1：
Sparql 1.1 Query / 6.5.2：
Sparql 1.1 Update / 6.5.3：
Foff: Friend of a Friend / 6.6：
What Is Foaf and What It Does / 7.3：
Foaf in Plain English / 7.1.1：
Foaf in Official Language / 7.1.2：
Core Foaf Vocabulary and Examples / 7.2：
The Big Picture: Foaf Vocabulary / 7.2.1：
Core Terms and Examples / 7.2.2：
Create Your Foaf Document and Get into the Friend Circle
How Does the Circle Work? / 7.3.1：
Create Your Foaf Document / 7.3.2：
Get into the Circle: Publish Your Foaf Document / 7.3.3：
From Web Pages for Human Eyes to Web Pages for Machines / 7.3.4：
Semantic Markup: a Connection Between the Two Worlds / 7.4：
What Is Semantic Markup / 7.4.1：
Semantic Markup: Procedure and Example / 7.4.2：
Semantic Markup: Feasibility and Different Approaches / 7.4.3：
Semantic Markup at Work: Rich Snippets and SearchMonkey / 7.5：
Introduction / 8.1：
Prerequisite: How Does a Search Engine Work? / 8.1.1：
Rich Snippets and SearchMonkey / 8.1.2：
Rich Snippets by Google / 8.2：
What Is Rich Snippets: An Example / 8.2.1：
How Does It Work: Semantic Markup Using Microformats RDFa / 8.2.2：
Test It Out Yourself / 8.2.3：
SearchMonkey from Yahoo! / 8.3：
What Is SearchMonkey: An Example / 8.3.1：
How Does It Work: Semantic Markup Using Microformats/RDFa / 8.3.2：
Semantic Wiki / 8.3.3：
Introduction: From Wiki to Semantic Wiki / 9.1：
What Is a Wiki? / 9.1.1：
From Wiki to Semantic Wiki / 9.1.2：
Adding Semantics to Wiki Site / 9.2：
Namespace and Category System / 9.2.1：
Semantic Annotation in Semantic MediaWiki / 9.2.2：
Using the Added Semantics / 9.3：
Browsing / 9.3.1：
Wiki Site Semantic Search / 9.3.2：
Inferencing / 9.3.3：
Where Is the Semantics? / 9.4：
Swivt: an Upper Ontology for Semantic Wiki / 9.4.1：
Understanding Owl/RDF Exports / 9.4.2：
Importing Ontology: a Bridge to Outside World / 9.4.3：
The Power of the Semantic Web / 9.5：
Use Semantic MediaWiki to Build Your Own Semantic Wiki / 9.6：
DBpedia / 9.7：
Introduction to DBpedia / 10.1：
From Manual Markup to Automatic Generation of Annotation / 10.1.1：
From Wikipedia to DBpedia / 10.1.2：
The Look and Feel of DBpedia: Page Redirect / 10.1.3：
Semantics in DBpedia / 10.2：
Infobox Template / 10.2.1：
Creating DBpedia Ontology / 10.2.2：
Infobox Extraction Methods / 10.2.3：
Accessing DBpedia Dataset / 10.3：
Using Sparql to Query DBpedia / 10.3.1：
Direct Download of DBpedia Datasets / 10.3.2：
Access DBpedia as Linked Data / 10.3.3：
Linked Open Data / 10.4：
The Concept of Linked Data and Its Basic Rules / 11.1：
The Concept of Linked Data / 11.1.1：
How Big Is the Web of Linked Data and the Lod Project / 11.1.2：
The Basic Rules of Linked Data / 11.1.3：
Publishing RDF Data on the Web / 11.2：
Identifying Things with Uris / 11.2.1：
Choosing Vocabularies for RDF Data / 11.2.2：
Creating Links to Other RDF Data / 11.2.3：
Serving Information as Linked Data / 11.2.4：
The Consumption of Linked Data / 11.3：
Discover Specific Target on the Linked Data Web / 11.3.1：
Accessing the Web of Linked Data / 11.3.2：
Linked Data Application / 11.4：
Linked Data Application Example: Revyu / 11.4.1：
Web 2.0 Mashups vs. Linked Data Mashups / 11.4.2：
Building the Foundation for Development on the Semantic Web / 11.5：
Development Tools for the Semantic Web / 12.1：
Frameworks for the Semantic Web Applications / 12.1.1：
Reasoners for the Semantic Web Applications / 12.1.2：
Ontology Engineering Environments / 12.1.3：
Other Tools: Search Engines for the Semantic Web / 12.1.4：
Where to Find More? / 12.1.5：
Semantic Web Application Development Methodology / 12.2：
From Domain Models to Ontology-Driven Architecture / 12.2.1：
An Ontology Development Methodology Proposed by Noy and McGuinness / 12.2.2：
Jena: A Framework for Development on the Semantic Web / 12.3：
Jena: A Semantic Web Framework for Java / 13.1：
What Is Jena and What It Can Do for Us? / 13.1.1：
Getting Jena Package / 13.1.2：
Using Jena in Your Projects / 13.1.3：
Basic RDF Model Operations / 13.2：
Creating an RDF Model / 13.2.1：
Reading an RDF Model / 13.2.2：
Understanding an RDF Model / 13.2.3：
Handling Persistent RDF Models / 13.3：
From In-memory Model to Persistent Model / 13.3.1：
Setting Up MySql / 13.3.2：
Database-Backed RDF Models / 13.3.3：
Inferencing Using Jena / 13.4：
Jena Inferencing Model / 13.4.1：
Jena Inferencing Examples / 13.4.2：
Follow Your Nose: A Basic Semantic Web Agent / 13.5：
The Principle of Follow-Your-Nose Method / 14.1：
What Is Follow-Your-Nose Method? / 14.1.1：
Uri Declarations, Open Linked Data and Follow-Your-Nose Method / 14.1.2：
A Follow-Your-Nose Agent in Java / 14.2：
Building the Agent / 14.2.1：
Running the Agent / 14.2.2：
More Clues for Follow Your Nose / 14.2.3：
Can You Follow Your Nose on Traditional Web? / 14.2.4：
A Better Implementation of Follow-Your-Nose Agent: Using Sparql Queries / 14.3：
In-memory SPARQL Operation / 14.3.1：
Using SPARQL Endpoints Remotely / 14.3.2：
More Application Examples on the Semantic Web / 14.4：
Building Your Circle of Trust: A FOAF Agent You Can Use / 15.1：
Who Is on Your E-mail List? / 15.1.1：
The Basic Idea / 15.1.2：
Building the EmailAddressCollector Agent / 15.1.3：
Can You Do the Same for Traditional Web? / 15.1.4：
A ShopBot on the Semantic Web / 15.2：
A ShopBot We Can Have / 15.2.1：
A ShopBot We Really Want / 15.2.2：
Building Our ShopBot / 15.2.3：
Discussion: From Prototype to Reality / 15.2.4：
Index / 15.3：
A Web of Data: Toward the Idea of the Semantic Web / 1：
A Motivating Example: Data Integration on the Web / 1.1：
A Smart Data Integration Agent / 1.1.1：
84.

電子ブック
ＥＢ
84. Exploring the Grand Challenges for Next Generation E-Business
Raj Sharman, John Mylopoulos, T. S. Raghu, H. Raghav Rao
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
85.

電子ブック
ＥＢ
85. Information Systems Evolution
Pnina Soffer, John Mylopoulos, Erik Proper
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Managing Personal Information through Information Components / Stefania Leone ; Matthias Geel ; Moira C. Norrie
Exploiting Tag Clouds for Database Browsing and Querying / Corinne Müller
A Goal-Oriented Requirements Engineering Method for Business Processes / Ken Decreus ; Geert Poels
Foundations of a Reference Model for SOA Governance / Christian Ott ; Axel Korthaus ; Tilo Böhmann ; Michael Rosemann ; Helmut Krcmar
XES, XESame, and ProM 6 / H.M.W. Verbeek ; Joos C.A.M. Buijs ; Boudewijn F. van Dongen ; Wil M.P. van der Aalst
SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems / Linh Thao Ly ; David Knuplesch ; Stefanie Rinderle-Ma ; Kevin Göser ; Holger Pfeifer ; Manfred Reichert ; Peter Dadam
Decisions and Decision Requirements for Data Warehouse Systems / Naveen Prakash ; Deepika Prakash ; Daya Gupta
A Tool for Enterprise Architecture Analysis Using the PRM Formalism / Markus Buschle ; Johan Ullberg ; Ulrik Franke ; Robert Lagerström ; Teodor Sommestad
Programming Electronic Institutions with Utopia / Pierre Schmitt ; Cédric Bonhomme ; Jocelyn Aubert ; Benjamin Gâteau
A Lightweight Approach to Enterprise Architecture Modeling and Documentation / Sabine Buckl ; Florian Matthes ; Christian Neubert ; Christian M. Schweda
Towards Flexible Process Support on Mobile Devices / Rüdiger Pryss ; Julian Tiedeken ; Ulrich Kreher
A Mashup Tool for Collaborative Engineering of Service-Oriented Enterprise Documents / Nelly Schuster ; Raffael Stein ; Christian Zirpins
Robust and Flexible Error Handling in the AristaFlow BPM Suite / Andreas Lanz
The NORMA Software Tool for ORM 2 / Matthew Curland ; Terry Halpin
Alaska Simulator Toolset for Conducting Controlled Experiments on Process Flexibility / Barbara Weber ; Jakob Pinggera ; Stefan Zugal ; Werner Wild
Facing the Challenges of Genome Information Systems: A Variation Analysis Prototype / Ana M. Martínez ; Ainoha Martín ; Maria José Villanueva ; Francisco Valverde ; Ana M. Levin ; Oscar Pastor
GAMES: Green Active Management of Energy in IT Service Centres / Massimo Bertoncini ; Barbara Pernici ; Ioan Salomie ; Stefan Wesner
Modeling Deployment of Enterprise Applications / Susanne Patig
Closing the User-Centric Service Coordination Cycle by Means of Coordination Services / Hans Weigand ; Paul Johannesson ; Birger Andersson ; Maria Bergholtz ; Jeewanie Jayasinghe Arachchige
Author Index
Managing Personal Information through Information Components / Stefania Leone ; Matthias Geel ; Moira C. Norrie
Exploiting Tag Clouds for Database Browsing and Querying / Corinne Müller
A Goal-Oriented Requirements Engineering Method for Business Processes / Ken Decreus ; Geert Poels
86.

電子ブック
ＥＢ
86. Testbeds and Research Infrastructures. Development of Networks and Communities
Ozgur Akan, Paolo Bellavista, Jeffrey S. Chase, Jeffry S. Chase, Anastasius Gavras, Athanasius Gavras, Thomas Magedanz, Huu Thanh Nguyen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
87.

電子ブック
ＥＢ
87. Advances in Computer Science and Information Technology
Brajesh Kumar Kaushik, Dhinaharan Nagamalai Natarajan Meghanathan, B.K Kaushik, Brajesh Kumar Kaushik, Natarajan Meghanathan, Dhinaharan Nagamalai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Distributed and Parallel Systems and Algorithms
Improved Ant Colony Optimization Technique for Mobile Adhoc Networks / Mano Yadav ; K. V. Arya ; Vinay Rishiwal
A Performance Comparison Study of Two Position-Based Routing Protocols and Their Improved Versions for Mobile Ad Hoc Networks / Natarajan Meghanathan
Privacy Preserving Naïve Bayes Classification Using Trusted Third Party Computation over Distributed Progressive Databases / Keshavamurthy B.N. ; Durga Toshniwal
Cluster Based Mobility Considered Routing Protocol for Mobile Ad Hoc Network / Soumyabrata Saha ; Rituparna Chaki
Speech Transaction for Blinds Using Speech-Text-Speech Conversions / Johnny Kanisha
Floating-Point Adder in Techology Driven High-Level Synthesis / M. Joseph ; Narasimha B. Bhat ; K. Chandra Sekaran
Differential Artificial Bee Colony for Dynamic Environment / Syed Raziuddin ; Syed Abdul Sattar ; Rajya Lakshmi ; Moin Parvez
FAM2BP: Transformation Framework of UML Behavioral Elements into BPMN Design Element / Jayeeta Chanda ; Ananya Kanjilal ; Sabnam Sengupta ; Swapan Bhattacharya
A Cross-Layer Framework for Adaptive Video Streaming over IEEE 802.11 Wireless Networks / Santhosha Rao ; M. Vijaykumar ; Kumara Shama
FIFO Optimization for Energy-Performance Trade-off in Mesh-of-Tree Based Network-on-Chip / Santanu Kundu ; T.V. Ramaswamy ; Santanu Chattopadhyay
Outliers Detection as Network Intrusion Detection System Using Multi Layered Framework / Nagaraju Devarakonda ; Srinivasulu Pamidi ; Valli Kumari V. ; Govardhan A.
A New Routing Protocol for Mobile Ad Hoc Networks / S. Rajeswari ; Y. Venkataramani
Remote-Memory Based Network Swap for Performance Improvement / Nirbhay Chandorkar ; Rajesh Kalmady ; Phool Chand ; Anup K. Bhattacharjee ; B.S. Jagadeesh
Collaborative Alert in a Reputation System to Alleviate Colluding Packet Droppers in Mobile Ad Hoc Networks / K. Gopalakrishnan ; V. Rhymend Uthariaraj
Secure Service Discovery Protocols for Ad Hoc Networks / Haitham Elwahsh ; Mohamed Hashem ; Mohamed Amin
Certificate Path Verification in Peer-to-Peer Public Key Infrastructures by Constructing DFS Spanning Tree / Balachandra ; Ajay Rao ; K.V. Prema
A Novel Deadlock-Free Shortest-Path Dimension Order Routing Algorithm for Mesh-of-Tree Based Network-on-Chip Architecture / Kanchan Manna ; Indranil Sen Gupta
2-D DOA Estimation of Coherent Wideband Signals Using L-Shaped Sensor Array / P.M. Swetha ; P. Palanisamy
An Approach towards Lightweight, Reference Based, Tree Structured Tree Synchronization in WSN / Surendra Rahamatkar ; Ajay Agarwal
Towards a Hierarchical Based Context Representation and Selection by Pruning Technique in a Pervasive Environment / B. Vanathi
An Analytical Model for Sparse and Dense Vehicular Ad hoc Networks / Sara Najafzadeh ; Norafida Ithnin ; Ramin Karimi
MIMO Ad Hoc Networks-Mutual Information and Channel Capacity / Chowdhuri Swati ; Mondal Arun Kumar ; P.K. Baneerjee
Optimization of Multimedia Packet Scheduling in Ad Hoc Networks Using Multi-Objective Genetic Algorithm / R. Muthu Selvi ; R. Rajaram
TRIDNT: Isolating Dropper Nodes with Some Degree of Selfishness in MANET / Ahmed M. Abd El-Haleem ; Ihab A. Ali ; Ibrahim I. Ibrahim ; Abdel Rahman H. El-Sawy
DSP/Image Processing/Pattern Recognition/ Multimedia
Physiologically Based Speech Synthesis Using Digital Waveguide Model / A.R. Patil ; V.T. Chavan
Improving the Performance of Color Image Watermarking Using Contourlet Transform / Dinesh Kumar ; Vijay Kumar
Face Recognition Using Multi-exemplar Discriminative Power Analysis / Ganesh Bhat ; K.K. Achary
Efficient Substitution-Diffusion Based Image Cipher Using Modified Chaotic Map / I. Shatheesh Sam ; P. Devaraj ; R.S. Bhuvaneswaran
Non Local Means Image Denoising for Color Images Using PCA / P.A. Shyjila ; M. Wilscy
An Iterative Method for Multimodal Biometric Face Recognition Using Speech Signal / M. Nageshkumar ; M.N. ShanmukhaSwamy
Quality Analysis of a Chaotic and Hopping Stream Based Cipher Image / G.A. Sathishkumar ; K. Bhoopathybagan ; N. Sriraam
Design Pattern Mining Using State Space Representation of Graph Matching / Manjari Gupta ; Rajwant Singh Rao ; Akshara Pande ; A.K. Tripathi
MST-Based Cluster Initialization for K-Means / Damodar Reddy ; Devender Mishra ; Prasanta K. Jana
Geometry and Skin Color Based Hybrid Approach for Face Tracking in Colour Environment / Mahesh Goyani ; Gitam Shikkenawis ; Brijesh Joshi
Performance Analysis of Block and Non Block Based Approach of Invisible Image Watermarking Using SVD in DCT Domain / Gunvantsinh Gohil
A Novel Topographic Feature Extraction Method for Indian Character Images / Soumen Bag ; Gaurav Harit
Comprehensive Framework to Human Recognition Using Palmprint and Speech Signal / Mahesh P.K. ; ShanmukhaSwamy M.N.
Logical Modeling and Verification of a Strength Based Multi-agent Argumentation Scheme Using NuSMV / Shravan Shetty ; H.S. Shashi Kiran ; Murali Babu Namala ; Sanjay Singh
Key Frame Detection Based Semantic Event Detection and Classification Using Heirarchical Approach for Cricket Sport Video Indexing / Mahesh M. Goyani ; Shreyash K. Dutta ; Payal Raj
Software Engineering
Towards a Software Component Quality Model / Nitin Upadhyay ; Bharat M. Despande ; Vishnu P. Agrawal
Colour Image Encryption Scheme Based on Permutation and Substitution Techniques / Narendra K. Pareek ; Vinod Patidar ; Krishan K. Sud
Deciphering the Main Research Themes of Software Validation - A Bibliographical Study / Tsung Teng Chen ; Yaw Han Chiu ; Yen Ping Chi
Toward a Comprehension View of Software Product Line / Sami Ouali ; Naoufel Kraiem ; Henda Ben Ghezala
Collecting the Inter Component Interactions in Multithreaded Environment / Arun Mishra ; Alok Chaurasia ; Pratik Bhadkoliya ; Arun Misra
On the Benefit of Quantification in AOP Systems - A Quantitative and a Qualitative Assessment / Kotrappa Sirbi ; Prakash Jayanth Kulkarni
Empirical Measurements on the Convergence Nature of Differential Evolution Variants / G. Jeyakumar ; C. Shanmugavelayutham
Database and Data Mining
An Intelligent System for Web Usage Data Preprocessing / V.V.R. Maheswara Rao ; V. Valli Kumari ; K.V.S.V.N. Raju
Discovery and High Availability of Services in Auto-load Balanced Clusters / Shakti Mishra ; Alok Mathur ; Harit Agarwal ; Rohit Vashishtha ; D.S. Kushwaha ; A.K. Misra
Bayes Theorem and Information Gain Based Feature Selection for Maximizing the Performance of Classifiers / Subramanian Appavu ; Ramasamy Rajaram ; M. Nagammai ; N. Priyanga ; S. Priyanka
Data Mining Technique for Knowledge Discovery from Engineering Materials Data Sets / Doreswamy ; K.S. Hemanth ; Channabasayya M. Vastrad ; S. Nagaraju
Mobile Database Cache Replacement Policies: LRU and PPRRP / Hariram Chavan ; Suneeta Sane
A Novel Data Mining Approach for Performance Improvement of EBGM Based Face Recognition Engine to Handle Large Database / Soma Mitra ; Suparna Parua ; Apurba Das ; Debasis Mazumdar
Efficient Density Based Outlier Handling Technique in Data Mining / Krishna Gopal Sharma ; Anant Ram ; Yashpal Singh
Hierarchical Clustering of Projected Data Streams Using Cluster Validity Index / Bharat Pardeshi
Non-Replicated Dynamic Fragment Allocation in Distributed Database Systems / Nilarun Mukherjee
Soft Computing (AI, Neural Networks, Fuzzy Systems, etc.)
A Comparative Study of Machine Learning Algorithms as Expert Systems in Medical Diagnosis (Asthma) / B.D.C.N. Prasad ; P.E.S.N. Krishna Prasad ; Yeruva Sagar
Stabilization of Large Scale Linear Discrete-Time Systems by Reduced Order Controllers / Sundarapandian Vaidyanathan ; Kavitha Madhavan
Hybrid Synchronization of Hyperchaotic Qi and Lü Systems by Nonlinear Control / Suresh Rasappan
An Intelligent Automatic Story Generation System by Revising Proppian's System / Jaya A. ; Uma G.V.
A Genetic Algorithm with Entropy Based Probabilistic Initialization and Memory for Automated Rule Mining / Saroj ; Kapila ; Kanika
Author Index
Distributed and Parallel Systems and Algorithms
Improved Ant Colony Optimization Technique for Mobile Adhoc Networks / Mano Yadav ; K. V. Arya ; Vinay Rishiwal
A Performance Comparison Study of Two Position-Based Routing Protocols and Their Improved Versions for Mobile Ad Hoc Networks / Natarajan Meghanathan
88.

電子ブック
ＥＢ
88. Advances in Networks and Communications
Brajesh Kumar Kaushik, Dhinaharan Nagamalai Natarajan Meghanathan, B.K Kaushik, Brajesh Kumar Kaushik, Natarajan Meghanathan, Dhinaharan Nagamalai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
89.

電子ブック
ＥＢ
89. Advanced Computing
Brajesh Kumar Kaushik, Dhinaharan Nagamalai Natarajan Meghanathan, B.K Kaushik, Brajesh Kumar Kaushik, Natarajan Meghanathan, Dhinaharan Nagamalai
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Soft Computing (AI, Neural Networks, Fuzzy Systems, etc.)
Analysis of the Severity of Hypertensive Retinopathy Using Fuzzy Logic / Aravinthan Parthibarajan ; Gopalakrishnan Narayanmurthy ; Arun Srinivas Parthibarajan ; Vigneswaran Narayanamurthy
An Intelligent Network for Offline Signature Verification Using Chain Code / Minal Tomar ; Pratibha Singh
An Improved and Adaptive Face Recognition Method using Simplified Fuzzy ARTMAP / Antu Annam Thomas ; M. Wilscy
An Automatic Evolution of Rules to Identify Students' Multiple Intelligence / Kunjal Mankad ; Priti Srinivas Sajja ; Rajendra Akerkar
A Survey on Hand Gesture Recognition in Context of Soft Computing / Ankit Chaudhary ; J. L. Raheja ; Karen Das ; Sonia Raheja
Handwritten Numeral Recognition Using Modified BP ANN Structure / Amit Choudhary ; Rahul Rishi ; Savita Ahlawat
Expert System for Sentence Recognition / Bipul Pandey ; Anupam Shukla ; Ritu Tiwari
RODD: An Effective Reference-Based Outlier Detection Technique for Large Datasets / Monowar H. Bhuyan ; D. K. Bhattacharyya ; J. K. Kalita
Distributed and Parallel Systems and Algorithms
A Review of Dynamic Web Service Composition Techniques / Demian Antony D'Mello ; V. S. Ananthanarayana ; Supriya Salian
Output Regulation of Arneodo-Coullet Chaotic System / Sundarapandian Vaidyanathan
A High-Speed Low-Power Low-Latency Pipelined ROM-Less DDFS / Indranil Hatai ; Indrajit Chakrabarti
A Mathematical Modeling of Exceptions in Healthcare Workflow / Sumagna Patnaik
Functional Based Testing in Web Services Integrated Software Applications / Selvakumar Ramachandran ; Lavanya Santapoor ; Haritha Rayudu
Design and Implementation of a Novel Distributed Memory File System / Urvashi Karnani ; Rajesh Kalmady ; Phool Chand ; Anup Bhattacharjee ; B. S. Jagadeesh
Decentralized Dynamic Load Balancing for Multi Cluster Grid Environment / Malarvizhi Nandagopal ; V. Rhymend Uthariaraj
Adoption of Cloud Computing in e-Governance / Rama Krushna Das ; Sachidananda Patnaik ; Ajita Kumar Misro
Efficient Web Logs Stair-Case Technique to Improve Hit Ratios of Caching / Khushboo Hemnani ; Dushyant Chawda ; Bhupendra Verma
A Semantic Approach to Design an Intelligent Self Organized Search Engine for Extracting Information Relating to Educational Resources / B. Saleena ; S. K. Srivatsa ; M. Chenthil Kumar
Cluster Bit Collision Identification for Recognizing Passive Tags in RFID System / Katheeja Parveen ; Sheik Abdul Khader ; Munir Ahamed Rabbani
Integration Testing of Multiple Embedded Processing Components / Hara Gopal Mani Pakala ; K. V. S. V. N. Raju ; Ibrahim Khan
Security and Information Assurance
A New Defense Scheme against DDoS Attack in Mobile Ad Hoc Networks / S.A. Arunmozhi ; Y. Venkataramani
A Model for Delegation Based on Authentication and Authorization / Coimbatore Chandersekaran ; William R. Simpson
Identification of Encryption Algorithm Using Decision Tree / R. Manjula ; R. Anitha
A Novel Mechanism for Detection of Distributed Denial of Service Attacks / Jaydip Sen
Authenticating and Securing Mobile Applications Using Microlog / Siddharth Gupta ; Sunil Kumar Singh
Assisting Programmers Resolving Vulnerabilities in Java Web Applications / Pranjal Bathia ; Bharath Reddy Beerelli ; Marc-André Laverdiére
Estimating Strength of a DDoS Attack Using Multiple Regression Analysis / B. B. Gupta ; P. K. Agrawal ; R. C. Joshi ; Manoj Misra
A Novel Image Encryption Algorithm Using Two Chaotic Maps for Medical Application / G. A. Sathishkumar ; K. Bhoopathybagan ; N. Sriraam ; SP. Venkatachalam ; R. Vignesh
Chest X-Ray Analysis for Computer-Aided Diagnostic / Kim Le
Overcoming Social Issues in Requirements Engineering / Sandhyarani Dodda
Ad Hoc and Ubiquitous Computing
Range-Free Localization for Air-Dropped WSNs by Filtering Neighborhood Estimation Improvements / Eva M. García ; Aurelio Bermúdez ; Rafael Casado
Evolution of Various Controlled Replication Routing Schemes for Opportunistic Networks / Hemal Shah ; Yogeshwar P. Kosta
Collaborative Context Management and Selection in Context Aware Computing / B. Vanathi
Privacy Preservation of Stream Data Patterns Using Offset and Trusted Third Party Computation in Retail-Shop Market Basket Analysis / Keshavamurthy B. N. ; Durga Toshniwal
Wireless Ad Hoc Networks and Sensor Networks
Application of Euclidean Distance Power Graphs in Localization of Sensor Networks / G. N. Purohit ; Seema Verma ; Usha Sharma
A New Protocol to Secure AODV in Mobile AdHoc Networks / Avinash Krishnan ; Aishwarya Manjunath ; Geetha J. Reddy
Spelling Corrector for Indian Languages / K. V. N. Sunitha ; A. Sharada
Voltage Collapse Based Critical Bus Ranking / Shobha Shankar ; T. Ananthapadmanabha
Multiplexer Based Circuit Synthesis with Area-Power Trade-Off / Sambhu Nath Pradhan ; Santanu Chattopadhyay
Exergaming - New Age Gaming for Health, Rehabilitation and Education / Ankit Kamal
Inclusion/Exclusion Protocol for RFID Tags / Selwyn Piramuthu
Min Max Threshold Range (MMTR) Approach in Palmprint Recognition / Jyoti Malik ; G. Sainarayanan ; Ratna Dahiya
Power and Buffer Overflow Optimization in Wireless Sensor Nodes / Gauri Joshi ; Sudhanshu Dwivedi ; Anshul Goel ; Jaideep Mulherkar ; Prabhat Ranjan
Web Log Data Analysis and Mining / L. K. Joshila Grace ; V. Maheswari ; Dhinaharan Nagamalai
Steganography Using Version Control System / Vaishali S. Tidake ; Sopan A. Talekar
Author Index
Soft Computing (AI, Neural Networks, Fuzzy Systems, etc.)
Analysis of the Severity of Hypertensive Retinopathy Using Fuzzy Logic / Aravinthan Parthibarajan ; Gopalakrishnan Narayanmurthy ; Arun Srinivas Parthibarajan ; Vigneswaran Narayanamurthy
An Intelligent Network for Offline Signature Verification Using Chain Code / Minal Tomar ; Pratibha Singh
90.

電子ブック
ＥＢ
90. Intelligent Computing and Information Science
Ran Chen, Ran Chen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
91.

電子ブック
ＥＢ
91. Intelligent Computing and Information Science
Ran Chen, Ran Chen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
92.

電子ブック
ＥＢ
92. Computer and Computing Technologies in Agriculture IV
Daoliang Li, Yingyi Chen, Yande Liu
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
93.

電子ブック
ＥＢ
93. Evaluations of Process Modeling Grammars
Jan Recker, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Foundations / Part I：
Introduction / 1：
Motivation / 1.1：
Problem Statement / 1.2：
Organization of This Book / 1.3：
Background / 2：
Conceptual Modeling / 2.1：
Process Modeling / 2.2：
Process Modeling Quality / 2.3：
The Business Process Modeling Notation / 2.4：
Summary / 2.5：
Quality Evaluations of Process Modeling Grammars / Part II：
Ontological Analysis / 3：
Approach / 3.1：
Application / 3.2：
Findings / 3.3：
Qualitative Analysis / 4：
Quantitative Analysis / 4.1：
Finale / 5.1：
Closure / 6：
Reprise / 6.1：
Contributions / 6.2：
Implications / 6.3：
Outlook / 6.4：
References
Appendix
Semi-structured Interview Protocol / Appendix A：
Final Survey Instrument / Appendix B：
Foundations / Part I：
Introduction / 1：
Motivation / 1.1：
94.

電子ブック
ＥＢ
94. Advances in Computing, Communication and Control
Srija Unnikrishnan, Deepak Bhoir, Sunil Surve
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Computing
Modified Trivial Rejection Criteria in Cohen-Sutherland Line Clipping Algorithm / Jeet Kumar ; Ashish Awasthi
Greedy Views Selection Using Size and Query Frequency / T. V. Vijay Kumar ; Mohammad Haider
Quantum-Inspired Differential Evolution on Bloch Coordinates of Qubits / Ankit Pat ; Ashish Ranjan Hota ; Avneet Singh
Extending Speech-Act Based Communication to Enable Argumentation in Cognitive Agents / Punam Bedi ; Pooja Vashisth
Medical Diagnosis Using Generic Intelligent Agents / Mukesh Kumar
Computational Modeling and Dynamical Analysis of Genetic Networks with Frbpn-Algorithm / Raed I. Hamed
A Petri Net-Fuzzy Predication Approach for Confidence Value of Called Genetic Bases
Textural Feature Based Image Classification Using Artificial Neural Network / Salavi Rashmi ; Sohani Mandar
Data-Warehousing Applications in Manufacturing Industry-Applicable Solutions and Challenges Faced / Goparaju V. Ramesh ; Sattiraju N. Rao ; Mogalla Shashi
Application of Clustering in Virtual Stock Market / Kavita M. Gawande ; Sangita C. Patil
Distribution of Loads and Setting of Distribution Sub Station Using Clustering Technique / Shabbiruddin ; Chakravorty Sandeep
Landscape of Web Search Results Clustering Algorithms / Ujwala Bharambe ; Archana Kale
An Improved K-Means Clustering Approach for Teaching Evaluation / Oswal Sangita ; Jagli Dhanamma
Consensus Based Dynamic Load Balancing for a Network of Heterogeneous Workstations / Janhavi Baikerikar ; Sunil Surve ; Sapna Prabhu
An Effective Way to Hide the Secret Audio File Using High Frequency Manipulation / Mahendra Kumar Pandey ; Girish Parmar ; Sanjay Patsariya
Web Usage Mining: An Implementation View / Sathya Babu Korra ; Saroj Kumar Panigrahy ; Sanjay Kumar Jena
A Genetic Algorithm Way of Solving RWA Problem in All Optical WDM Networks / Ravi Sankar Barpanda ; Ashok Kumar Turuk ; Bibhudatta Sahoo ; Banshidhar Majhi
Working of Web Services Using BPEL Workflow in SOA / Aarti M. Karande ; Vaibhav N. Chunekar ; B.B. Meshram
A Meta Search Approach to Find Similarity between Web Pages Using Different Similarity Measures / Jaskirat Singh
Cost Estimation for Distributed Systems Using Synthesized Use Case Point Model / Subhasis Dash ; Arup Abhinna Acharya
Comparative Approach to Cloud Security Models / Temkar Rohini
Development of Agile Security Framework Using a Hybrid Technique for Requirements Elicitation / Sonia ; Archana Singhal
Accuracy Comparison of Predictive Algorithms of Data Mining: Application in Education Sector / Mamta Sharma ; Monali Mavani
Orchestrator Model for System Security / Aradhana Goutam ; Rajkamal ; Maya Ingle
Communication
Performance Analysis of Interleave Division Multiple Access Scheme with Different Coding Techniques / Paru wasthi ; Sarita Singh ; Bhadauria ; Madhuri Mishra
Channel Assignment to Minimize Interference in Multiradio Wireless Mesh Networks / S. Sekhar Babu ; V. Sumalatha
IEC 61850: Goose Messaging Implementation for MPR / Hemalata M. Shingate ; Srija Unnikrishnan ; Sudarshan Rao
Performance Analysis of Energy Efficient Routing Algorithms for Adhoc Network / Dhiraj Nitnaware ; Ajay Verma
ECG Signal Compression Using Different Techniques / K. Ranjeet ; A. Kumar ; R.K. Pandey
Efficient Content Based Video Retrieval for Animal Videos / Vijay Katkar ; Amit Barve
Data Randomization for Synchronization in OFDM System / Rakhi Thakur ; Kavita Khare
Split Step Method in the Analysis and Modeling of Optical Fiber Communication System / Saroja V. Siddamal ; R.M. Banakar ; B.C. Jinaga
Performance Analysis of MIMO-Space-Time Trellis Code System over Fading Channels / Sandeep Bhad ; A.S. Hiwale
Modeling Performance Evaluation of Reinforcement Learning Based Routing Algorithm for Scalable Non-cooperative Ad-hoc Environment / Shrirang Ambaji Kulkarni ; G. Raghavendra Rao
SRPV: A Speedy Routing Protocol for VANET / Suparna DasGupta ; Rituparna Chaki
Simultaneous Multiple Link/Node Failure Handling for Different Service-Paths in MPLS Networks / Shah Rinku ; Chatterjee Madhumita
Energy-Efficient Multilevel Clustering in Heterogeneous Wireless Sensor Networks / Vivek Katiyar ; Narottam Chand ; Surender Soni
Anomaly Detection in Ethernet Networks Using Self Organizing Maps / Jyoti Ranjan Mahapatra ; Jignyanshu Mohanty
A Heuristic Multi Criteria Routing Protocol in Wireless Sensor Networks / Alireza Shams Shafigh ; Marjan Niyati
Framework and Implimentation of an Agent Based Congestion Control Technique for Mobile Ad-hoc Network / Sarita Singh Bhadauria ; Vishnu Kumar Sharma
A Hybrid Algorithm for Satellite Image Classification / Samiksha Goel ; Arpita Sharma ; V.K. Panchal
An Image Authentication Technique in Frequency Domain Using Secure Hash Algorithm (FDSHA) / Amitava Nag ; Debasish Biswas ; Soumadip Ghosh ; Sushanta Biswas ; Debasree Sarkar ; Partha Pratim Sarkar
A Robust and Fast Text Extraction in Images and Video Frames / Anubhav Kumar ; Awanish Kr. Kaushik ; R.L. Yadav ; Anuradha
A Chip-Based Watermarking Framework for Color Image Authentication for Secured Communication / Soumik Das ; Pradosh Banerjee ; Monalisa Banerjee ; Atal Chaudhuri
An Image Decomposition Parallel Approach to Train Flann for an Adaptive Filter / Manoj Kumar Mishra ; Nachiketa Tarasia ; Bivsa Ranjan Parida ; Sarita Das
Palette based Technique for Image Steganography / Anuradha Lamgunde ; Achana Kale
Bilingual Malayalam - English OCR System Using Singular Values and Frequency Capture Approach / Bindu A. Thomas ; C.R. Venugopal
Minimization of Handoff Failure and Cellular Traffic by Introducing IEEE 802.11b WLAN Router in the Handoff Region / Tapas Jana ; Joydeep Banerjee ; Indranil Chakroborty ; Tara Sankar Patra ; Debabrata Sarddar ; M.K. Naskar ; Utpal Biswas
Design of GSM Based Auto-responder for Educational Institute / D.D. Vyas ; H.N. Pandya
Minimization of Handoff Latency by Area Comparison Method Using GPS Based Map / Subhojit Banerjee ; Souvik Kumar Mitra ; M.K Naskar
Scalable Distributed Diagnosis Algorithm for Wireless Sensor Networks / Arunanshu Mahapatro ; Pabitra Mohan Khilar
Comparison of Routing Protocols for MANET and Performance Analysis of DSR Protocol / Parma Nand ; S.C. Sharma
Transmitter Based Capacity Enhancement with Cross-Layer Design Approach for IEEE 802.11 Ad-hoc Networks / Satish Ket ; R.N. Awale
Wireless Sensor Network Using Bluetooth / Omkar Javeri ; Amutha Jeyakumar
A Performance of Security Aspect in WiMAX Physical Layer with Different Modulation Schemes / Rakesh Kumar Jha ; Suresh Limkarl ; Upena D. Dalal
CE-OFDM: A PAPR Reduction Technique / R.S. Chaudhari ; A.M. Deshmukh
Initializing Cluster Center for K-Means Using Biogeography Based Optimization / Vijay Kumar ; Jitender Kumar Chhabra ; Dinesh Kumar
Implementation of Parallel Image Processing Using NVIDIA GPU Framework / Brijmohan Daga ; Avinash Bhute ; Ashok Ghatol
Control
Toggle Coverage for ALU Using VHDL / D. Venkat Reddy ; Ch.D.V. Paradesi Rao ; E.G. Rajan
Design and Implementation of Voltage Control Oscillator (VCO) Using 180nm Technology / M.R. Halesh ; K.R. Rasane ; H. Rohini
Design of Robust PID Controller for Flexible Transmission System Using Quantitative Feedback Theory (QFT) / Mukesh D. Patil ; Kausar R. Kothawale
Flatness Based Formation Control of Non Holonomic Vehicle / Ch. Venkatesh ; Sunil K. Suve ; N.M. Singh
High Performance Tracking Controller for the Class of Uncertain Discrete-Time System with Input Delay / Deepti Khimani ; Machhindranath Patil
Implementation of Controller Area Network (CAN) Bus (Building Automation) / S. Ashtekar Shweta ; D. Patil Mukesh ; B. Nade Jagdish
DXCCII-Based Mixed-Mode Electronically Tunable Quadrature Oscillator with Grounded Capacitors / Mohd. Samar Ansari ; Sumit Sharma
Stereo Matching for 3D Building Reconstruction / Gaurav Gupta ; R. Balasubramanian ; M.S. Rawat ; R. Bhargava ; B. Gopala Krishna
Fingerprint Identification Using Sectionized Walsh Transform of Row and Column Mean / H.B. Kekre ; Tanuja K. Sarode ; Rekha Vig
Author Index
Computing
Modified Trivial Rejection Criteria in Cohen-Sutherland Line Clipping Algorithm / Jeet Kumar ; Ashish Awasthi
Greedy Views Selection Using Size and Query Frequency / T. V. Vijay Kumar ; Mohammad Haider
95.

電子ブック
ＥＢ
95. New Frontiers in Information and Software as Services
Divyakant Agrawal, K. Sel?uk Candan, Wen-Syan Li, John Mylopoulos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Service Design
Study of Software as a Service Support Platform for Small and Medium Businesses / Chang-Jie Guo ; Wei Sun ; Zhong-Bo Jiang ; Ying Huang ; Bo Gao ; Zhi-Hu Wang
Design Patterns for Cloud Services / Jinquan Dai ; Bo Huang
Service Security
Secure Data Management Service on? Cloud Computing Infrastructures / Divyakant Agrawal ; Amr El Abbadi ; Fatih Emekci ; Ahmed Metwally ; Shiyuan Wang
Security Plans for SaaS / Marco D. Aime ; Antonio Lioy ; Paolo C. Pomi ; Marco Vallini
Service Optimization
Runtime Web-Service Workflow Optimization / Radu Sion ; Junichi Tatemura
Adaptive Parallelization of Queries Calling Dependent Data Providing Web Services / Manivasakan Sabesan ; Tore Risch
Data-Utility Sensitive Query Processing on Server Clusters to Support Scalable Data Analysis Services / Renwei Yu ; Mithila Nagendra ; Parth Nagarkar ; K. Selçuk Candan ; Jong Wook Kim
Multi-query Evaluation over Compressed XML Data in DaaS / Xiaoling Wang ; Aoying Zhou ; Juzhen He ; Wilfred Ng ; Patrick Hung
The HiBench Benchmark Suite: Characterization of the MapReduce-Based Data Analysis / Shengsheng Huang ; Jie Huang ; Tao Xie
Multi-tenancy and Service Migration
Enabling Migration of Enterprise Applications in SaaS via Progressive Schema Evolution / Jianfeng Yan ; Bo Zhang
Towards Analytics-as-a-Service Using an In-Memory Column Database / Jan Schaffner ; Benjamin Eckart ; Christian Schwarz ; Jan Brunnert ; Dean Jacobs ; Alexander Zeier
What Next?
At the Frontiers of Information and Software as Services / Wen-Syan Li ; Thomas Phan ; Minqi Zhou
Author Index
Service Design
Study of Software as a Service Support Platform for Small and Medium Businesses / Chang-Jie Guo ; Wei Sun ; Zhong-Bo Jiang ; Ying Huang ; Bo Gao ; Zhi-Hu Wang
Design Patterns for Cloud Services / Jinquan Dai ; Bo Huang
96.

電子ブック
ＥＢ
96. The Concrete Tetrahedron
Manuel Kauers, Hoon Hong, Peter Paule
出版情報: Springer eBooks Computer Science , Springer Vienna, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Selection Sort and Quicksort / 1.1：
Recurrence Equations / 1.2：
Symbolic Sums / 1.3：
Generating Functions / 1.4：
Asymptotic Estimates / 1.5：
The Concrete Tetrahedron / 1.6：
Problems / 1.7：
Formal Power Series / 2：
Basic Facts and Definitions / 2.1：
Differentiation and Division / 2.2：
Sequences of Power Series / 2.3：
The Transfer Principle / 2.4：
Multivariate Power Series / 2.5：
Truncated Power Series / 2.6：
Polynomials / 2.7：
Polynomials as Power Series / 3.1：
Polynomials as Sequences / 3.2：
The Tetrahedron for Polynomials / 3.3：
Polynomials as Solutions / 3.4：
Polynomials as Coefficients / 3.5：
Applications / 3.6：
C-Finite Sequences / 3.7：
Fibonacci Numbers / 4.1：
Recurrences with Constant Coefficients / 4.2：
Closure Properties / 4.3：
The Tetrahedron for C-finite Sequences / 4.4：
Systems of C-finite Recurrences / 4.5：
Hypergeometric Series / 4.6：
The Binomial Theorem / 5.1：
The Tetrahedron for Hypergeometric Sequences / 5.2：
Indefinite Summation / 5.4：
Definite Summation / 5.5：
Algebraic Functions / 5.6：
Catalan Numbers / 6.1：
Puiseux Series and the Newton Polygon / 6.2：
The Tetrahedron for Algebraic Functions / 6.4：
Holonomic Sequences and Power Series / 6.6：
Harmonic Numbers / 7.1：
Equations with Polynomial Coefficients / 7.2：
Generalized Series Solutions / 7.3：
Closed Form Solutions / 7.4：
The Tetrahedron for Holonomic Functions / 7.5：
Appendix / 7.6：
Basic Notions and Notations / A.l：
Basic Facts from Computer Algebra / A.2：
A Collection of Formal Power Series Identities / A.3：
Closure Properties at One Glance / A.4：
Software / A.5：
Solutions to Selected Problems / A.6：
Bibliographic Remarks / A.7：
References
Subject Index
Introduction / 1：
Selection Sort and Quicksort / 1.1：
Recurrence Equations / 1.2：
97.

電子ブック
ＥＢ
97. From Snapshots to Social Media - The Changing Picture of Domestic Photography
Risto Sarvas, Frohlich David, David M. Frohlich
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Domestic Photography and Technological Paths / 2：
What IS Domestic Photography? / 2.1：
The Practice: Constructing Positive Images / 2.1.1：
The Technology: Capturing and Creating an Image / 2.1.2：
The Business: Camera, Film. and Service / 2.1.3：
Technological Paths in Domestic Photography / 2.2：
The Cyclical Evolution of Technology / 2.2.1：
Technological Paths / 2.2.2：
Three Technological Paths in Domestic Photography / 2.2.3：
References
The Portrait Path (ca. 1830s-1890s) / 3：
The Invention of Photography in the 1830s / 3.1：
Competing Technical Processes / 3.1.1：
Selling Portraits and Landscapes / 3.1.2：
Cartes / 3.2：
Introduction / 1：
Domestic Photography and Technological Paths / 2：
What IS Domestic Photography? / 2.1：
98.

電子ブック
ＥＢ
98. Guide to Assembly Language
James T. Streib
出版情報: Springer eBooks Computer Science , Springer London, 2011
所蔵情報: loading…
99.

電子ブック
ＥＢ
99. Data Driven e-Science
International Symposium on Grid Computing, Simon C. Lin, Eric Yen
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
100.

電子ブック
ＥＢ
100. Service Composition for the Semantic Web
Brahim Medjahed, Athman Bouguettaya
出版情報: Springer eBooks Computer Science , Springer New York, 2011
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼