close
1.

電子ブック
ＥＢ
1. Human-Centered Visualization Environments
Andreas Kerren, Achim Ebert, Takeo Kanade, Jörg Meyer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
List of Contributors
Introduction to Human-Centered Visualization Environments / A. Kerren ; A. Ebert ; J. Meyer1：
Fundamental Principles and Methods / Part I：
Human-Centered Aspects / O. Kulyk ; R. Kosara ; J. Urquiza ; I. Wassink2：
Human-Centered Approach / 2.1：
Usability in Human-Centered Design / 2.2：
Defining Usability / 2.2.1：
Evaluating Usability / 2.2.2：
Improving Usability / 2.2.3：
Usability and Information Overload / 2.2.4：
User Aims and Requirements / 2.3：
Characteristics of Good Visualizations and User Interfaces / 2.3.1：
Essential Elements of Successful Visualization / 2.3.2：
Dimensions in Visualization / 2.3.3：
Steps in Visualization Design / 2.3.4：
The Design Cycle / 2.3.5：
User Analysis / 2.3.6：
User Requirements / 2.3.7：
Task Analysis / 2.3.8：
Task Modeling / 2.3.9：
Designing for and with Users / 2.3.10：
Evaluation of Visualization Environments / 2.4：
Human-Centered Evaluation in Visualization Practice / 2.4.1：
Evaluation Methods / 2.4.2：
Designing Experiments / 2.4.3：
Challenges in Evaluation of Collaborative Visualization Environments / 2.4.4：
User Studies and a Science of Visualization / 2.5：
Survey of Information Visualization Studies / 2.5.1：
The Future of User Studies / 2.5.2：
Chapter Notes / 2.6：
Interacting with Visualizations / W. Fikkert ; M. D'Ambros ; T. Bierz ; T.J. Jankun-Kelly3：
Interaction / 3.1：
Describing Interaction / 3.1.1：
Defining Interaction / 3.1.2：
Influences of Display Technologies / 3.2：
Survey of Display Technologies / 3.2.1：
Scales of Interaction / 3.2.2：
Display Interaction Modalities and Media / 3.2.3：
Interfaces and Usability for Novel Displays / 3.2.4：
Display Device Challenges in Visualization / 3.2.5：
Multimodal Interaction / 3.3：
Unimodality Versus Multimodality / 3.3.1：
Issues to Deal with in Multimodal Interaction / 3.3.2：
Myths of Multimodality / 3.3.3：
Survey of Enabling Technologies / 3.3.4：
Overview of Approaches to Multimodal Interaction / 3.3.5：
Enabling Multimodal Interaction / 3.3.6：
Visualizations in Multi-party Environments / 3.4：
Collaborating with Visualizations / 3.4.1：
Models for Distributed Collaborative Visualization / 3.4.2：
Evaluation Criteria / 3.4.3：
Survey of Collaborative Visualization Systems / 3.4.4：
Challenges for Multi-party Visualizations / 3.4.5：
Visual Representations / C. Gorg ; M. Pohl ; E. Qeli ; K. Xu3.5：
Perceptual and Cognitive Issues / 4.1：
The Visualization Process / 4.1.1：
Types of Data / 4.1.2：
Preattentive Processing / 4.1.3：
Information Visualization Criteria and Metaphors / 4.2：
Information Visualization Criteria / 4.2.1：
Metaphors / 4.2.2：
Multivariate Visualization Techniques / 4.3：
Low-Dimensional Data Visualization / 4.3.1：
Multidimensional Data Visualization / 4.3.2：
Usability Issues on Multidimensional Data Visualization / 4.3.3：
Graphs and Trees / 4.4：
Applications / 4.4.1：
Background / 4.4.2：
Aesthetics vs. Graph Readability / 4.4.3：
Layout vs. Graph Readability / 4.4.4：
Large Graphs / 4.4.5：
Integrated Graph Drawing / 4.4.6：
Labeling of Graphs / 4.4.7：
Multiple Views / 4.5：
Classification / 4.5.1：
The Design of Multiple Views / 4.5.2：
Comparison with Integrated Views / 4.5.3：
Challenges and Unsolved Problems / R.S. Laramee4.6：
Classification of Future Challenges and Unsolved Problems in Human-Centered Visualization / 5.1：
Human-Centered Challenges / 5.1.1：
Technical Challenges / 5.1.2：
Financial Challenges / 5.1.3：
Domain-Specific Visualization / 5.2：
Geographic Visualization / M. Nollenburg6：
Goals of Geovisualization / 6.1：
Driving Forces of Geovisualization / 6.2：
Cognitive Aspects / 6.3：
Visual Thinking / 6.3.1：
Graphic Variables / 6.3.2：
Visualization Methods and Techniques / 6.4：
Geospatial Data / 6.4.1：
2D Cartographic Visualization / G.4.2：
3D Cartographic Visualization / 6.4.3：
Visual Data Mining Tools / 6.4.4：
Animation / 6.4.5：
Spatio-Temporal Visualization / 6.4.6：
Interactive User Interfaces / 6.4.7：
Combining Visual and Computational Exploration / 6.4.8：
Geovisualization Tools / 6.5：
Usability of Geovisualization Systems / 6.6：
Involving Users in the Design of Geovisualizations / 6.6.1：
Results from User Studies / 6.6.2：
Geovisualization to Support Group Work / 6.6.3：
Algorithm Animation / A. Moreno6.7：
Overview / 7.1：
Users of Algorithm Animation / 7.2：
Taxonomies for Algorithm Animation Tools / 7.3：
Review of Tools and Their Evaluations / 7.4：
Concept Keyboards for Algorithm Visualization / 7.4.1：
Matrix and MatrixPro / 7.4.2：
Alvis and Alvis Live! / 7.4.3：
Alice / 7.4.4：
Jeliot 3/Jeliot 2000 / 7.4.5：
JHAVE / 7.4.6：
WinHipe / 7.4.7：
User Studies Compilation / 7.4.8：
Biomedical Information Visualization / M. Lungu7.5：
Phylogenetic Tree Visualization / 8.1：
Small Trees - Working in Euclidean Space / 8.1.1：
Large Trees - Using Focus and Context / 8.1.2：
Very Large Trees - Hyperbolic 3D Space / 8.1.3：
Discussion and Further Reading / 8.1.4：
Sequence Alignment / 8.2：
Sequence Logos / 8.2.1：
Editing and Visualizing Sequence Alignment: Jalview / 8.2.2：
Vista: Online Visualization of DNA Alignment / 8.2.3：
Sequence Walkers / 8.2.4：
Dot Plots / 8.2.5：
Arc Diagrams / 8.2.6：
Biochemical Network Analysis / 8.2.7：
Cytoscape / 8.3.1：
Biochemical Pathway Analysis / 8.3.2：
Layout for Large Biochemical Networks: LGL / 8.3.3：
Microarray Data Visualization / 8.3.4：
Tree View / 8.4.1：
Hierarchical Clustering Explorer / 8.4.2：
Evaluation of Microarray Visualization Tools / 8.4.3：
Medical Records Visualization / 8.5：
LifeLines: Visualizing Patient Temporal Data / 8.5.1：
The Cube: Multidimensional Analysis of Medical Records / 8.5.2：
Visualizing Medical Practice Guidelines and Protocols / 8.5.3：
Bibliography / 8.6：
Author Index
Index
Preface
List of Contributors
Introduction to Human-Centered Visualization Environments / A. Kerren ; A. Ebert ; J. Meyer1：
2.

電子ブック
ＥＢ
2. Grid Resource Management
Mumtaz Siddiqui, Thomas Fahringer, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Overview / Part I：
Introduction / 1：
Motivation / 1.1：
Collaboration Instead of Isolation / 1.1.1：
Discovery and Selection / 1.1.2：
Lifecycle Management / 1.1.3：
On-Demand Provisioning / 1.1.4：
Role of Planning / 1.1.5：
Service-Level Agreement / 1.1.6：
Optimized Resource Allocation / 1.1.7：
Synthesis and Aggregation / 1.1.8：
Grid Enablement / 1.1.9：
Portability / 1.1.10：
Semantics in the Grid / 1.1.11：
Research Goals / 1.2：
Automatic Resource Brokerage / 1.2.1：
Dynamic Registration and Automatic Deployment / 1.2.2：
Advance Reservation and Co-allocation / 1.2.3：
Capacity Management and Planning / 1.2.4：
Standard Adaptation / 1.2.5：
Organization / 1.3：
Part 1: Overview / 1.3.1：
Part 2: Brokerage / 1.3.2：
Part 3: Planning / 1.3.3：
Part 4: Semantics / 1.3.4：
Part 5: Conclusion / 1.3.5：
Appendices / 1.3.6：
Model / 2：
The Grid / 2.1：
Characteristics / 2.1.1：
Layers / 2.1.2：
Architectures / 2.1.3：
Resources and Applications / 2.2：
Activities / 2.2.1：
Workflows / 2.2.2：
Grid Node / 2.2.3：
Grid Operating Environment / 2.3：
Open Grid Services Architecture / 2.3.1：
WS-Resource Framework / 2.3.2：
Globus Toolkit / 2.3.3：
Askalon: A Grid Runtime Environment / 2.4：
Workflow Composition / 2.4.1：
Resource Management / 2.4.2：
Workflow Scheduling / 2.4.3：
Workflow Enactment / 2.4.4：
Performance Prediction and Analysis / 2.4.5：
Semantic Grid / 2.5：
Ontology / 2.5.1：
Web Ontology Language / 2.5.2：
Ontology Query Language / 2.5.3：
Provisioning / 2.6：
Allocation Negotiation / 2.6.2：
Capacity Planning / 2.6.3：
Manageability Models / 2.6.4：
Summary / 2.7：
Brokerage / Part II：
Grid Resource Management and Brokerage System / 3：
Architectural Overview / 3.1：
Node Management / 3.2.1：
Activity Management / 3.2.3：
Allocation Management / 3.2.4：
System Model / 3.3：
Resource Discoverer / 3.3.1：
Candidate Set Generator / 3.3.2：
Resource Synthesizer / 3.3.3：
Resource Selector / 3.3.4：
A Steady System with Proportional Distribution / 3.3.5：
Implementation / 3.4：
Customization / 3.4.1：
Superpeer / 3.4.2：
Experiments and Evaluation / 3.4.3：
Related Work / 3.6：
Grid Activity Registration, Deployment and Provisioning Framework / 3.7：
On-Demand Provisioning Motivation / 4.1：
An Example Using Bare Grid / 4.2.1：
GLARE-Based Solution / 4.2.2：
Activity Manager / 4.3：
Deployment Manager / 4.3.2：
Activity Type Registry / 4.3.3：
Activity Deployment Registry / 4.3.4：
Automatic Deployment Using Expect / 4.4：
Static and Dynamic Registration / 4.4.2：
Self-Management and Fault Tolerance / 4.4.3：
Planning / 4.5：
Allocation Management with Advance Reservation and Service-Level Agreement / 5：
Agreement / 5.1：
Agreement Lifecycle / 5.2.2：
Negotiation / 5.3：
Attentive Allocation / 5.3.1：
Progressive Allocation / 5.3.2：
Share-Based Allocation / 5.3.3：
Allocator / 5.4：
Co-allocator / 5.4.2：
Agreement Enforcement / 5.4.3：
Priority Provision / 5.4.4：
Standards Adaptation / 5.4.5：
Optimizing Multi-Constrained Allocations with Capacity Planning / 5.5：
Allocation Problem / 6.1：
Multi-Constrained Optimization / 6.2.2：
Negotiation Protocol / 6.3：
Allocation Offer Generation / 6.3.1：
Co-allocation Offer Generation / 6.3.2：
Contention Elimination / 6.3.3：
Cost Model / 6.3.4：
Semantics / 6.4：
Semantics in the Grid: Towards Ontology-Based Resource Provisioning / 7：
Describing Resources with Semantics / 7.1：
Concept Description / 7.2.1：
Architectural Extension / 7.3：
Resource Ontologies / 7.4：
Physical Resource Ontology / 7.4.1：
Resource Ensembles / 7.4.2：
Logical Resource Ontology / 7.4.3：
Discovering Resources with Semantics / 7.5：
Subsumption-Based Resource Matching / 7.6：
Evaluation / 7.7：
Subsumption: An Example / 7.7.1：
Semantics-Based Activity Synthesis: Improving On-Demand Provisioning and Planning / 7.8：
Synthesis Model / 8.1：
Ontology Rules / 8.3.1：
Activity Synthesis Problem / 8.3.2：
Applying Patterns for Activity Synthesis / 8.4：
Sequential Flow Patterns / 8.4.1：
Parallel Flow Patterns / 8.4.2：
Built-Ins and Constraints / 8.5：
Assumptions and Effects / 8.5.2：
Improving Capacity Planning / 8.6：
Discussion and Experiments / 8.7：
Conclusion / 8.8：
Resource Management Model / 9：
Towards Automatic Resource Management / 9.2：
Negotiation for Service-Level Agreement (SLA) / 9.3：
Multi-Constrained Optimization and Capacity Planning / 9.5：
Future Research / 9.6：
A Notations
References
Index
Overview / Part I：
Introduction / 1：
Motivation / 1.1：
3.

電子ブック
ＥＢ
3. Dependency Structures and Lexicalized Grammars
Marco Kuhlmann, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Motivation / 1.1：
Dependency Structures / 1.1.1：
Generative Capacity and Non-projectivity / 1.1.2：
Lexicalized Grammars Induce Dependency Trees / 1.2：
Overview of the Book / 1.3：
Dependency Languages / 1.3.1：
Contributions / 1.3.3：
Preliminaries / 2：
Projective Dependency Structures / 3：
Projectivity / 3.1：
Projectivity in the Sense of Harper and Hays / 3.1.1：
Projectivity in the Sense of Lecerf and Ihm / 3.1.2：
Projectivity in the Sense of Fitialov / 3.1.3：
Related Work / 3.1.4：
Algebraic Framework / 3.2：
Tree Traversal Strategies / 3.2.1：
Traversal of Treelet-Ordered Trees / 3.2.2：
Order Annotations / 3.2.3：
Dependency Algebras / 3.2.4：
Algorithmic Problems / 3.3：
Encoding and Decoding / 3.3.1：
Testing whether a Dependency Structure Is Projective / 3.3.2：
Empirical Evaluation / 3.3.3：
The Projectivity Hypothesis / 3.4.1：
Experimental Setup / 3.4.2：
Results and Discussion / 3.4.3：
Dependency Structures of Bounded Degree / 3.4.4：
The Block-Degree Measure / 4.1：
Blocks and Block-Degree / 4.1.1：
A Hierarchy of Non-projective Dependency Structures / 4.1.2：
Traversal of Block-Ordered Trees / 4.1.3：
Segmented Dependency Structures / 4.2.2：
Dependency Structure Algebras / 4.2.3：
Encoding / 4.3：
Computing the Block-Degree of a Dependency Structure / 4.3.2：
Dependency Structures without Crossings / 4.4：
Weakly Non-projective Dependency Structures / 5.1：
Definition of Weak Non-projectivity / 5.1.1：
Relation to the Block-Degree Measure / 5.1.2：
Algebraic Opaqueness / 5.1.3：
Well-Nested Dependency Structures / 5.1.4：
Definition of Well-Nestedness / 5.2.1：
Non-crossing Partitions / 5.2.2：
Algebraic Characterization / 5.2.3：
Testing whether a Dependency Structure Is Well-Nested / 5.2.4：
Structures and Grammars / 5.2.5：
Context-Free Grammars / 6.1：
Definition / 6.1.1：
String Semantics / 6.1.2：
Linearization Semantics / 6.1.3：
Dependency Semantics / 6.1.4：
Linear Context-Free Rewriting Systems / 6.2：
Non-essential Concatenation Functions / 6.2.1：
Coupled Context-Free Grammars / 6.2.4：
Tree Adjoining Grammar / 6.3.1：
Regular Dependency Languages / 6.4.1：
Regular Sets of Dependency Structures / 7.1：
Algebraic Recognizability / 7.1.1：
Elementary Properties / 7.1.2：
Regular Term Grammars / 7.1.3：
Regular Dependency Grammars / 7.1.4：
Dependency Languages and Lexicalized Grammars / 7.1.5：
Pumping Lemmata / 7.2：
The Pumping Lemma for Regular Term Languages / 7.2.1：
Ogden's Lemma for Regular Term Languages / 7.2.2：
Constant Growth / 7.3：
Constant Growth and Semilinearity / 7.3.1：
Regular Term Languages are Semilinear / 7.3.2：
Generative Capacity and Parsing Complexity / 7.3.3：
Projection of String Languages / 8.1：
Labelled Dependency Structures / 8.1.1：
String-Generating Regular Dependency Grammars / 8.1.2：
String-Generative Capacity / 8.1.3：
String Languages and Structural Properties / 8.2：
Masked Strings / 8.2.1：
Enforcing a Given Block-Degree / 8.2.2：
Enforcing Ill-Nestedness / 8.2.3：
Hierarchies of String Languages / 8.2.4：
Parsing Complexity / 8.2.5：
Membership Problems / 8.3.1：
The Standard Membership Problem / 8.3.2：
The Uniform Membership Problem / 8.3.3：
Recognition of Well-Nested Languages / 8.3.4：
Conclusion / 8.3.5：
Main Contributions / 9.1：
Future Directions / 9.2：
Development of the Formalism / 9.2.1：
Linguistic Relevance / 9.2.2：
Applications to Parsing / 9.2.3：
An Algebraic Perspective on Grammar Formalisms / 9.2.4：
References
Index
Introduction / 1：
Motivation / 1.1：
Dependency Structures / 1.1.1：
4.

電子ブック
ＥＢ
4. Semantic Techniques for the Web
François Bry, Takeo Kanade, Josef Kittler, Jan Maluszynski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1：
Introduction / 1.1：
Overview of Approaches / 1.2：
RDF and RDF Schema / 1.2.1：
The Web Ontology Language OWL / 1.2.2：
Rule Languages for Integration / 1.2.3：
Rule Interchange Format RIF / 1.2.4：
Approaches to Integration / 1.2.5：
Hybrid Rules and Ontologies in REWERSE / 1.3：
Extensions of Expressive Non-monotonic Logic Programs by DL-Programs and HEX-Programs / 1.3.1：
DL-Programs / 1.3.2：
HEX-Programs / 1.3.3：
Extensions of Well-Founded Semantics by Hybrid Well-Founded Semantics / 1.3.4：
Variants and Extensions of the Basic Formalisms / 1.4：
Probabilistic DL-Programs / 1.4.1：
Fuzzy DL-Programs / 1.4.2：
CQ-Programs / 1.4.3：
Conclusion / 1.5：
Four Lessons in Versatility or How Query Languages Adapt to the Web / François Bry ; Tim Furche ; Benedikt Linse ; Alexander Pohl ; Antonius Weinzierl ; Olga Yestekhina2：
Versatile Data / 2.1：
Extensible Markup Language (XML) / 2.2.1：
Resource Description Framework (RDF) / 2.2.2：
Versatile Queries / 2.3：
XML Queries-Examples and Patterns / 2.3.1：
RDF Queries-Examples and Patterns / 2.3.2：
Rules-Separation of Concern and Reasoning / 2.3.3：
State of the Art: The SPARQL Query Language and Its Extensions / 2.3.4：
Versatile Semantics / 2.4：
Simulation as Foundation for a Semantics of Versatile Queries / 2.4.1：
Rules with Negation and Versatile Queries: Local Stratification / 2.4.2：
Rules with Negation and Versatile Queries: Well-Founded Semantics / 2.4.3：
A Relational Semantics for Versatile Queries / 2.4.4：
Versatile Evaluation / 2.5：
Evaluating Queries: Structure Scaling with CIQCAG / 2.5.1：
Evaluating Rules: Subsumption under Rich Unification / 2.5.2：
Evolution and Reactivity in the Semantic Web / José Júlio Alferes ; Michael Eckert ; Wolfgang May2.6：
Starting Point and Related Work / 3.1：
Conceptualization of ECA Rules and Their Components: A General Framework for ECA Rules / 3.3：
The Rule Level / 3.3.1：
The Event Component / 3.3.2：
The Condition Component / 3.3.3：
The Action Component / 3.3.4：
Languages and Language Borders / 3.3.5：
Languages Types, Service Types, and Tasks / 3.3.6：
Architecture and Processing: Cooperation between Resources / 3.3.7：
The RDF Level: Language Elements and Their Instances as Resources / 3.3.8：
MARS Implementation / 3.3.9：
r3 Implementation / 3.3.10：
X Change-A Concrete Web-Based ECA Rule Language / 3.4：
Representing, Querying, and Constructing Web Data / 3.4.1：
Event-Condition-Action (ECA) Rules / 3.4.2：
Events / 3.4.3：
Conditions / 3.4.4：
Actions / 3.4.5：
Applications / 3.4.6：
Conclusions and Outlook / 3.5：
Rule-Based Policy Representations and Reasoning / Piero Andrea Bonatti ; Juri Luca De Coi ; Daniel Olmedilla ; Luigi Sauro4：
A Review of the State-of-the-Art in Policy Languages / 4.1：
Related Work / 4.2.1：
Background / 4.2.2：
Presentation of the Considered Policy Languages / 4.2.3：
Presentation of the Considered Criteria / 4.2.4：
Comparison / 4.2.5：
Discussion / 4.2.6：
A Framework for Semantic Web Policies / 4.3：
Policies as Semantic Markup in Protune / 4.3.1：
Negotiations / 4.3.2：
Protune's Policy Language and Framework / 4.3.3：
Explanations: Protune-X / 4.3.4：
The Engine / 4.3.5：
Demo: Policy-Driven Protection and Personalization of Web Content / 4.3.6：
Experimental Evaluation / 4.3.7：
Discussion and Conclusions / 4.3.8：
Component Models for Semantic Web Languages / Jakob Henriksson ; Uwe Aßmann5：
Composition Systems and Component Models / 5.1：
Web Query Language Xcerpt / 5.2.2：
Description Logics and OWL / 5.2.3：
State of the Art: Semantic Web Components and Invasive Software Component Models / 5.3：
Query Modularization / 5.3.1：
Ontology Modularization / 5.3.2：
Invasive Component Models in Software Engineering / 5.3.3：
Use-Cases: Components on the Web / 5.4：
Modular Xcerpt / 5.4.1：
Role Models as Ontology Components / 5.4.2：
Universal Component Models / 5.5：
Universal Grammar-Based Modularization (U-GBM) / 5.5.1：
Universal Invasive Software Composition (U-ISC) / 5.5.2：
Universal Syntactic Abstractions with Embedded ISC / 5.5.3：
Example Application: Modular Xcerpt / 5.6：
Conclusions / 5.7：
Controlled English for Reasoning on the Semantic Web / Norbert E. Fucks ; Kaarel Kaljurand ; Tobias Kuhn6：
Why Use Controlled Natural Languages for the Semantic Web? / 6.1：
Controlled Natural Languages: State of the Art / 6.2：
Attempto Controlled English (ACE) / 6.3：
Overview of Attempto Controlled English / 6.3.1：
From Attempto Controlled English to First-Order Logic / 6.3.2：
Attempto Parsing Engine (APE) / 6.3.3：
Fitting ACE into the Semantic Web / 6.4：
OWL and SWRL / 6.4.1：
AceRules: Rules in ACE / 6.4.2：
The Protune Policy Language / 6.4.3：
Other Web Languages / 6.4.4：
ACE Tools for the Semantic Web / 6.5：
Attempto Reasoner RACE / 6.5.1：
ACE View Ontology and Rule Editor / 6.5.2：
AceWiki: ACE in a Semantic Wiki / 6.5.3：
Protune / 6.5.4：
Semantic Search with GoPubMed / Andreas Doms ; Michael Schroeder6.6：
Biomedical Literature Search / 7.1：
Limits of Classical Search / 7.1.1：
Biomedical Search Engines / 7.1.2：
The Ontology-Based Search Paradigm / 7.1.3：
Answering Biomedical Questions / 7.2：
Characterization of Question Types / 7.2.1：
Using Background Knowledge to Answer Questions / 7.2.2：
Revealing Trends in the Literature / 7.3：
Important Topic: Apotosis / 7.3.1：
Important Topic: Endosome / 7.3.2：
Important Place: Dresden / 7.3.3：
Important Journal: Which Are the 10 Most Frequently Used GO Terms in Nature, Cell and Science? / 7.3.4：
20 Journals for the Molecular Biologist / 7.3.5：
Information Integration in Bioinformatics with Ontologies and Standards / Patrick Lambrix ; Lena Strömbäck ; He Tan7.4：
Resources / 8.1：
Data Sources / 8.2.1：
Ontologies / 8.2.2：
Standards / 8.2.3：
Integrating the Resources / 8.3：
Integration Model / 8.3.1：
Integration of Data Sources / 8.3.2：
Data Sources and Ontologies / 8.3.3：
Ontology Alignment / 8.3.4：
Integrating Standards / 8.3.5：
Connection between Standards and Other Resources / 8.3.6：
Author Index / 8.4：
Hybrid Reasoning with Rules and Ontologies / W&lslash;odzimierz Drabent ; Thomas Eiter ; Giovambattista Ianni ; Thomas Krennwallner ; Thomas Lukasiewicz ; Jan Ma&lslash;uszyński1：
Introduction / 1.1：
Overview of Approaches / 1.2：
5.

電子ブック
ＥＢ
5. Modular Algorithms in Symbolic Summation and Symbolic Integration
Jürgen Gerhard, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Overview / 2：
Outline / 2.1：
Statement of Main Results / 2.2：
References and Related Works / 2.3：
Open Problems / 2.4：
Technical Prerequisites / 3：
Subresultants and the Euclidean Algorithm / 3.1：
The Cost of Arithmetic / 3.2：
Change of Basis / 4：
Computing Taylor Shifts / 4.1：
Conversion to Falling Factorials / 4.2：
Fast Multiplication in the Falling Factorial Basis / 4.3：
Modular Squarefree and Greatest Factorial Factorization / 5：
Squarefree Factorization / 5.1：
Greatest Factorial Factorization / 5.2：
Modular Hermite Integration / 6：
Small Primes Modular Algorithm / 6.1：
Prime Power Modular Algorithm / 6.2：
Implementation / 6.3：
Computing All Integral Roots of the Resultant / 7：
Application to Hypergeometric Summation / 7.1：
Computing All Integral Roots Via Factoring / 7.2：
Application to Hyperexponential Integration / 7.3：
Modular LRT Algorithm / 7.4：
Modular Algorithms for the Gosper-PetkovÜek Form / 8：
Modular GP′-Form Computation / 8.1：
Polynomial Solutions of Linear First Order Equations / 9：
The Method of Undetermined Coefficients / 9.1：
Brent and Kung's Algorithm for Linear Differential Equations / 9.2：
Rothstein's SPDE Algorithm / 9.3：
The ABP Algorithm / 9.4：
A Divide-and-Conquer Algorithm: Generic Case / 9.5：
A Divide-and-Conquer Algorithm: General Case / 9.6：
Barkatou's Algorithm for Linear Difference Equations / 9.7：
Modular Algorithms / 9.8：
Modular Gosper and Almkvist & Zeilberger Algorithms / 10：
High Degree Examples / 10.1：
References
Index
Introduction / 1：
Overview / 2：
Outline / 2.1：
6.

電子ブック
ＥＢ
6. Variations on Constants
Markus Müller-Olm, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
Flow Graphs / 2.1.1：
May- and Must-Constants / 2.1.2：
Weakened Constant Detection Problems / 2.1.3：
Classes of Integer Constants / 2.1.4：
Known Results / 2.2：
New Undecidability Results / 2.3：
New Intractability Results / 2.4：
Summary / 2.5：
Deciding Constants by Effective Weakest Preconditions / 3：
Presburger and Polynomial Constants / 3.1：
Presburger-Constant Detection at a Glance / 3.2：
A Generic Algorithm / 3.3：
Detection of Presburger Constants / 3.4：
A Primer on Computable Ideal Theory / 3.5：
Zeros / 3.6：
Substitution / 3.6.3：
Projection / 3.6.4：
Detection of Polynomial Constants / 3.7：
Conclusion / 3.8：
Limits of Parallel Flow Analysis / 4：
A Motivating Example / 4.1：
Parallel Programs / 4.2：
Interprocedural Copy-Constant Detection / 4.3：
Two-Counter Machines / 4.3.1：
Constructing a Program / 4.3.2：
Correctness of the Reduction / 4.3.3：
Intraprocedural Copy-Constant Detection / 4.4：
Copy-Constant Detection in Loop-Free Programs / 4.5：
Beyond Fork/Join Parallelism / 4.6：
Owicki/Gries-Style Program Proofs / 4.7：
Correctness of the Reduction in Section 4.3 / 4.8：
Enriching the Program / 4.8.1：
The Proof Outlines / 4.8.2：
Interference Freedom / 4.8.3：
Correctness of the Reduction in Section 4.4 / 4.9：
An Auxiliary Predicate / 4.9.1：
Proof Outline for Main / 4.9.3：
Parallel Flow Graphs / 4.9.6：
Operational Semantics / 5.1：
Atomic Runs / 5.3：
The Run Sets of Ultimate Interest / 5.4：
The Constraint Systems / 5.5：
Same-Level Runs / 5.5.1：
Inverse Same-Level Runs / 5.5.2：
Two Assumptions and a Simple Analysis / 5.5.3：
Reaching Runs / 5.5.4：
Terminating Runs / 5.5.5：
Bridging Runs / 5.5.6：
The General Case / 5.5.7：
Discussion / 5.6：
Non-atomic Execution / 6：
Modeling Non-atomic Execution by Virtual Variables / 6.1：
The Domain of Non-atomic Run Sets / 6.2：
Base Statements / 6.3.1：
Sequential Composition / 6.3.2：
Interleaving Operator / 6.3.3：
Pre-operator / 6.3.4：
Post-operator / 6.3.5：
Dependence Traces / 6.4：
Transparency and Dependences / 7.1：
Implication Order / 7.2：
Subsumption Order / 7.4：
A Lattice of Antichains / 7.5：
Short Dependence Traces / 7.6：
The Abstract Domain / 7.7：
Interleaving / 7.8：
Complementary Dependence Traces / 7.11.1：
Soundness Lemmas / 7.11.2：
Completeness Lemmas / 7.11.4：
Proof of Theorem 7.11.1 / 7.11.5：
Base Edges / 7.12：
Running Time / 7.13：
Detecting Copy Constants and Eliminating Faint Code / 7.14：
Copy-Constant Detection / 8.1：
Faint-Code Elimination / 8.2：
Complexity in the Non-atomic Scenario / 8.3：
The SAT-reduction / 9.1：
Towards Stronger Lower Bounds / 9.2：
Assignment Statements That Propagate Twice / 9.2.1：
Propagating Runs of Exponential Length / 9.2.2：
Future Research / 9.3：
A Primer on Constraint-Based Program Analysis / A：
References
Introduction / 1：
A Hierarchy of Constants / 2：
A Taxonomy of Constants / 2.1：
7.

電子ブック
ＥＢ
7. OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Setting the Stage for Open Mathematical Documents / Part I：
Document Markup for the Web / 1：
Structure vest. Appearance in Markup / 1.1：
Markup for the World Wide Web / 1.2：
XML, the eXtensible Markup Language / 1.3：
Markup for Mathematical Knowledge / 2：
Mathematical Objects and Formulae / 2.1：
Mathematical Texts and Statements / 2.2：
Large-Scale Structure and Context in Mathematics / 2.3：
Open Mathematical Documents / 3：
A Brief History of the OMDoc Format / 3.1：
Three Levels of Markup / 3.2：
Situating the OMDoc Format / 3.3：
The Future: An Active Web of (Mathematical) Knowledge / 3.4：
An OMDoc Primer / Part II：
Textbooks and Articles / 4：
Minimal OMDoc Markup / 4.1：
Structure and Statements / 4.2：
Marking up the Formulae / 4.3：
Full Formalization / 4.4：
OpenMath Content Dictionaries / 5：
Structured and Parametrized Theories / 6：
A Development Graph for Elementary Algebra / 7：
Courseware and the Narrative/Content Distinction / 8：
A Knowledge-Centered View / 8.1：
A Narrative-Structured View / 8.2：
Choreographing Narrative and Content OMDoc / 8.3：
Summary / 8.4：
Communication Between Systems / 9：
The OMDoc Document Format / Part III：
OMDoc as a Modular Format / 10：
The OMDoc Namespaces / 10.1：
Common Attributes in OMDoc / 10.2：
Document Infrastructure / 11：
The Document Root / 11.1：
Metadata / 11.2：
Document Comments / 11.3：
Document Structure / 11.4：
Sharing Document Parts / 11.5：
The Dublin Core Elements (Module DC) / 12：
Roles in Dublin Core Elements / 12.2：
Managing Rights / 12.3：
Inheritance of Metadata / 12.4：
Mathematical Objects / 13：
OpenMath / 13.1：
Content MathML / 13.2：
Representing Types in Content-MathML and OpenMath / 13.3：
Semantics of Variables / 13.4：
Legacy Representation for Migration / 13.5：
Mathematical Text / 14：
Multilingual Mathematical Vernacular / 14.1：
Formal Mathematical Properties / 14.2：
Text Fragments and Their Rhetoric/Mathematical Roles / 14.3：
Phrase-Level Markup of Mathematical Vernacular / 14.4：
Technical Terms / 14.5：
Rich Text Structure / 14.6：
Mathematical Statements / 15：
Types of Statements in Mathematics / 15.1：
Theory-Constitutive Statements in OMDoc / 15.2：
The Unassuming Rest / 15.3：
Mathematical Examples in OMDoc / 15.4：
Inline Statements / 15.5：
Theories as Structured Contexts / 15.6：
Abstract Data Types / 16：
Representing Proofs / 17：
Proof Structure / 17.1：
Proof Step Justifications / 17.2：
Scoping and Context in a Proof / 17.3：
Formal Proofs as Mathematical Objects / 17.4：
Complex Theories / 18：
Inheritance via Translations / 18.1：
Postulated Theory Inclusions / 18.2：
Local/Required Theory Inclusions / 18.3：
Induced Assertions / 18.4：
Development Graphs / 18.5：
Notation and Presentation / 19：
Styling OMDoc Elements / 19.1：
A Restricted Style Language / 19.2：
Notation of Symbols / 19.3：
Presenting Bound Variables / 19.4：
Auxiliary Elements / 20：
Non-XML Data and Program Code in OMDoc / 20.1：
Applets and External Objects in OMDoc / 20.2：
Exercises / 21：
Document Models for OMDoc / 22：
XML Document Models / 22.1：
The OMDoc Document Model / 22.2：
OMDoc Sub-Languages / 22.3：
OMDoc Applications, Tools, and Projects / Part IV：
OMDoc Resources / 23：
The OMDoc Web Site, Wiki, and Mailing List / 23.1：
The OMDoc Distribution / 23.2：
The OMDoc Bug Tracker / 23.3：
An XML Catalog for OMDoc / 23.4：
External Resources / 23.5：
Validating OMDoc Documents / 24：
Validation with Document Type Definitions / 24.1：
Validation with RelaxNG Schemata / 24.2：
Validation with XML Schema / 24.3：
Transforming OMDoc / 25：
Extracting and Linking XSLT Templates / 25.1：
Interfaces for Systems / 25.2：
Presenting OMDoc to Humans / 25.3：
Applications and Projects / 26：
Introduction / 26.1：
QMath Parser / 26.2：
Sentido Integrated Environment / 26.3：
MBase / 26.4：
A Search Engine for Mathematical Formulae / 26.5：
Semantic Interrelation and Change Management / 26.6：
MathDox / 26.7：
ActiveMath / 26.8：
Authoring Tools for ActiveMath / 26.9：
SWiM - An OMDoc-Based Semantic Wiki / 26.10：
Induction Challenge Problems / 26.11：
Maya / 26.12：
Hets / 26.13：
CPoint / 26.14：
Stex: A Latex-Based Workflow for OMDoc / 26.15：
An Emacs Mode for Editing OMDoc Documents / 26.16：
Converting Mathematica Notebooks to OMDoc / 26.17：
Standardizing Context in System Interoperability / 26.18：
Proof Assistants in Scientific Editors / 26.19：
VeriFun / 26.20：
Appendix / Part V：
Changes to the Specification / A：
Changes from 1.1 to 1.2 / A.1：
Changes from 1.0 to 1.1 / A.2：
Quick-Reference / B：
Table of Attributes / C：
The RelaxNG Schema for OMDoc / D：
The Sub-language Drivers / D.1：
Common Attributes / D.2：
Module MOBJ: Mathematical Objects and Text / D.3：
Module MTXT: Mathematical Text / D.4：
Module DOC: Document Infrastructure / D.5：
Module DC: Dublin Core Metadata / D.6：
Module ST: Mathematical Statements / D.7：
Module ADT: Abstract Data Types / D.8：
Module PF: Proofs and Proof objects / D.9：
Module CTH: Complex Theories / D.10：
Module RT: Rich Text Structure / D.11：
Module EXT: Applets and Non-XML Data / D.12：
Module PRES: Adding Presentation Information / D.13：
Module QUIZ: Infrastructure for Assessments / D.14：
The RelaxNG Schemata for Mathematical Objects / E：
The RelaxNG Schema for OpenMath / E.1：
The RelaxNG Schema for MathML / E.2：
Bibliography
Index
Setting the Stage for Open Mathematical Documents / Part I：
Document Markup for the Web / 1：
Structure vest. Appearance in Markup / 1.1：
8.

電子ブック
ＥＢ
8. Web and Wireless Geographical Information Systems
W2GIS 2005, Takeo Kanade, Ki-Joune Li, Christelle Vangenot, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Algorithms for Sensor and Ad Hoc Networks
Dorothea Wagner, Takeo Kanade, Roger Wattenhofer, Roger Peter Wattenhofer, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
目次情報: 続きを見る
Preface
Applications of Sensor Networks / H.-J. Hof1：
Introduction / 1.1：
Current Hardware Platforms / 1.2：
Upcoming Applications / 1.4：
Chapter Notes / 1.5：
Modeling Sensor and Ad Hoc Networks / F. Schuh2：
Distributed Algorithms / 2.1：
Communication / 2.3：
Energy / 2.4：
Mobility / 2.5：
Clustering / T. Moscibroda2.6：
Models / 3.1：
Clustering Algorithms for Unit Disk Graphs / 3.3：
Clustering Algorithms for General Graphs / 3.4：
Conclusionsand Open Problems / 3.5：
MAC Layer and Coloring / S. Mecke3.6：
Algorithms for Vertex Coloring / 4.1：
Conclusion / 4.3：
Topology Control / K. Buchin ; M. Buchin4.4：
Quality Criteria / 5.1：
Locally Defined Geometric Graphs and Further Proximity Graphs / 5.3：
Localized Algorithms / 5.4：
Interference and Signal-to-Noise-Ratio / A. Kröller5.5：
Interference Models / 6.1：
Low-Interference Topologies / 6.3：
Topology Scheduling / 6.4：
Flow and Path Scheduling / 6.5：
Lower Bounds / Z. Benenson6.6：
A Lower Boundon3-Coloringa Ring / 7.1：
Locally Checkable Labelings / 7.3：
Minimum-Weight Spanning Trees / 7.4：
Facility Location / C. Frank7.5：
Problem Definition / 8.1：
Centralized Approximations / 8.3：
Simple Distributed Approximation / 8.4：
Fast Distributed Approximation / 8.5：
Discussionand Outlook / 8.6：
Geographic Routing / A. Zollinger8.7：
Related Work / 9.1：
Models and Preliminaries / 9.3：
Greedy Routing / 9.4：
Routing with Faces / 9.5：
A Lower Bound / 9.6：
Combining Greedy and Face Routing / 9.7：
Compact Routing / M. Dom9.8：
Definitions / 10.1：
Overview / 10.3：
Algorithms / 10.4：
Pseudo Geometric Routing for Sensor Networks / O. Landsiedel10.5：
Routing Algorithmsfor Sensor Networks / 11.1：
Virtual Coordinate Based Routing / 11.3：
Beacon Vector Routing / 11.4：
Algorithmic View / 11.5：
Minimal Range Assignments for Broadcasts / C. Gunia11.6：
The Algorithm RAPMST and Its Analysis / 12.1：
Distributed Computation of an MST / 12.3：
Further Advances / 12.4：
Conclusion and Open Questions / 12.5：
Data Gathering in Sensor Networks / L. Scharf12.6：
Network Model / 13.1：
Minimum Energy Data Gathering / 13.3：
Maximum Lifetime Data Gathering / 13.4：
Location Services / B. Fabian ; M. Fischmann ; S.F. Gürses13.5：
Grid Location Service (GLS) / 14.1：
Locality-Aware Location Service (LLS) / 14.3：
Mobility-Aware Location Service (MLS) / 14.4：
Outlook / 14.5：
Positioning / D. Fleischer ; C. Pich14.6：
Hardness Results / 15.1：
Security / E.-O. Blaß15.3：
Symmetric Key Distribution / 16.1：
Public-Key Distribution / 16.3：
Open Questions / 16.4：
Trust Mechanisms and Reputation Systems / E. Buchmann16.5：
General Trust Models / 17.1：
Reputation-Based Trust Protocols in Ad Hoc Networks / 17.3：
Open Problems / 17.4：
Selfish Agents and Economic Aspects / 17.5：
Mechanism Design / 18.1：
Unicast in Selfish Networks / 18.3：
Multicast in Selfish Networks / 18.5：
Time Synchronization / M. Busse ; T. Streichert18.6：
Time Synchronization Approaches / 19.1：
Synchronizing Clocks in the Presence of Faults / 19.3：
Theoretical Bounds for Clock Synchronization and Ordering ofEvents / 19.4：
Gradient Clock Synchronization / 19.5：
Bibliography / 19.6：
Author Index
Subject Index
Preface
Applications of Sensor Networks / H.-J. Hof1：
Introduction / 1.1：
10.

電子ブック
ＥＢ
10. Data Management in Grids
Jean-Marc Pierson, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼