close
1.

電子ブック
ＥＢ
1. Automata for Branching and Layered Temporal Structures
Gabriele Puppis, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
Words and Languages / 2.1.1：
Periodicity of Words / 2.1.2：
Word Automata / 2.1.3：
Time Granularities / 2.1.4：
The String-Based and Automaton-Based Approaches / 2.2：
The Granspec Formalism / 2.2.1：
From Granspecs to Single-String Automata / 2.2.2：
Counters and Multiple Transitions / 2.2.3：
The Logical Counterpart of RCSSA / 2.2.4：
Compact and Tractable Representations / 2.3：
Nested Repetitions of Words / 2.3.1：
Algorithms on NCSSA / 2.3.2：
Optimizing Representations / 2.3.3：
Reasoning on Sets of Granularities / 2.4：
Languages of Ultimately Periodic Words / 2.4.1：
Ultimately Periodic Automata / 2.4.2：
Algorithms on UPA / 2.4.3：
Applications to Time Granularity / 2.4.4：
Discussion / 2.5：
Tree Automata and Logics / 3：
Graphs and Trees / 3.1：
Tree Automata / 3.1.2：
Monadic Second-Order Logic / 3.1.3：
The Model Checking Problem / 3.1.4：
The Contraction Method for Tree Automata / 3.2：
Features and Types / 3.2.1：
Types and the Acceptance Problem / 3.2.2：
From Trees to Their Retractions / 3.2.3：
An Example / 3.2.4：
Tree Transformations / 3.3：
Tree Recolorings / 3.3.1：
Tree Substitutions / 3.3.2：
Tree Transducers / 3.3.3：
Inverse Substitutions / 3.3.4：
A Summary / 3.3.5：
The Class of Reducible Trees / 3.4：
Compositional Properties of Types / 3.4.1：
Closure Properties / 3.4.2：
Effectiveness of the Contraction Method / 3.5：
Reducible Trees and the Caucal Hierarchy / 3.5.1：
Two-Way Alternating Tree Automata / 3.5.2：
Morphic Trees / 3.5.3：
Layered Temporal Structures / 3.5.4：
Summary / 3.6：
Technical Proofs / A：
Proofs of Theorem 5 and Theorem 6 / A.l：
Proof of Theorem 8 / A.2：
Proof of Proposition 34 / A.3：
References
Notation
Index
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
2.

電子ブック
ＥＢ
2. Automata for Branching and Layered Temporal Structures
Gabriele Puppis, Takeo Kanade
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
Words and Languages / 2.1.1：
Periodicity of Words / 2.1.2：
Word Automata / 2.1.3：
Time Granularities / 2.1.4：
The String-Based and Automaton-Based Approaches / 2.2：
The Granspec Formalism / 2.2.1：
From Granspecs to Single-String Automata / 2.2.2：
Counters and Multiple Transitions / 2.2.3：
The Logical Counterpart of RCSSA / 2.2.4：
Compact and Tractable Representations / 2.3：
Nested Repetitions of Words / 2.3.1：
Algorithms on NCSSA / 2.3.2：
Optimizing Representations / 2.3.3：
Reasoning on Sets of Granularities / 2.4：
Languages of Ultimately Periodic Words / 2.4.1：
Ultimately Periodic Automata / 2.4.2：
Algorithms on UPA / 2.4.3：
Applications to Time Granularity / 2.4.4：
Discussion / 2.5：
Tree Automata and Logics / 3：
Graphs and Trees / 3.1：
Tree Automata / 3.1.2：
Monadic Second-Order Logic / 3.1.3：
The Model Checking Problem / 3.1.4：
The Contraction Method for Tree Automata / 3.2：
Features and Types / 3.2.1：
Types and the Acceptance Problem / 3.2.2：
From Trees to Their Retractions / 3.2.3：
An Example / 3.2.4：
Tree Transformations / 3.3：
Tree Recolorings / 3.3.1：
Tree Substitutions / 3.3.2：
Tree Transducers / 3.3.3：
Inverse Substitutions / 3.3.4：
A Summary / 3.3.5：
The Class of Reducible Trees / 3.4：
Compositional Properties of Types / 3.4.1：
Closure Properties / 3.4.2：
Effectiveness of the Contraction Method / 3.5：
Reducible Trees and the Caucal Hierarchy / 3.5.1：
Two-Way Alternating Tree Automata / 3.5.2：
Morphic Trees / 3.5.3：
Layered Temporal Structures / 3.5.4：
Summary / 3.6：
Technical Proofs / A：
Proofs of Theorem 5 and Theorem 6 / A.l：
Proof of Theorem 8 / A.2：
Proof of Proposition 34 / A.3：
References
Notation
Index
Introduction / 1：
Word Automata and Time Granularities / 2：
Background Knowledge / 2.1：
3.

電子ブック
ＥＢ
3. Grid Resource Management
Mumtaz Siddiqui, Thomas Fahringer, Takeo Kanade
出版情報: Springer eBooks Computer Science , 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：
4.

電子ブック
ＥＢ
4. 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：
5.

電子ブック
ＥＢ
5. Dependency Structures and Lexicalized Grammars
Marco Kuhlmann, Takeo Kanade
出版情報: Springer eBooks Computer Science , 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：
6.

電子ブック
ＥＢ
6. 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：
7.

電子ブック
ＥＢ
7. Data Management in Cloud, Grid and P2P Systems
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Data Management in Cloud, Grid and P2P Systems
David Hutchison, Takeo Kanade, Farookh Khadeer Hussain, Franck Morvan, A. Min Tjoa
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Data Management in Grid and Peer-to-Peer Systems
Abdelkader Hameurlain, Takeo Kanade, Franck Morvan, A Min Tjoa
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Data Storage and Management
High Throughput Data-Compression for Cloud Storage / Bogdan Nicolae
Merging File Systems and Data Bases to Fit the Grid / Yves Denneulin ; Cyril Labbé ; Laurent d'Orazio ; Claudia Roncancio
Multidimensional Arrays for Warehousing Data on Clouds / Sandro Bimonte
Replication, Caching and Security
Continuous Timestamping for Efficient Replication Management in DHTs / Reza Akbarinia ; Mounir Tlili ; Esther Pacitti ; Patrick Valduriez ; Alexandre A.B. Lima
A Catalog-Based Caching Strategy for Structured P2P Systems / Mile Arnedo ; Maria del Pilar Villamil ; Ricardo Villanueva ; Harold Castro
Secure Routing Strategies in DHT-Based Systems
Data Placement and Performance Evaluation
Data Life Time for Different Placement Policies in P2P Storage Systems / Stéphane Caron ; Frédéric Giroire ; Dorian Mazauric ; Julian Monteiro ; Stéphane Pérennes
Performance Evaluation of WebRowSet Implementations / Alexander Wöhrer ; Thomas Lustig ; Peter Brezany
P2PIRB: Benchmarking Framework for P2PIR / Saloua Zammali ; Khedija Arour
Verification of General and Cyclic Covering Arrays Using Grid Computing / Himer Avila-George ; Jose Torres-Jimenez ; Vicente Hernández ; Nelson Rangel-Valdez
Data Stream Systems and Large Scale Distributed Applications
Scale Out Parallel and Distributed CDR Stream Analytics / Qiming Chen ; Meichun Hsu
A Wide Area Network Optimization Service for Effective Access to Heterogeneous DataGrid Infrastructures / Francesco Palmieri ; Silvio Pardi
A Profile-Based Aggregation Model in a Peer-To-Peer Information Retrieval System / Rim Mghirbi ; Yahya Slimani ; Bruno Defude
Author Index
Data Storage and Management
High Throughput Data-Compression for Cloud Storage / Bogdan Nicolae
Merging File Systems and Data Bases to Fit the Grid / Yves Denneulin ; Cyril Labbé ; Laurent d'Orazio ; Claudia Roncancio
10.

電子ブック
ＥＢ
10. Data Management in Grid and Peer-to-Peer Systems
Abdelkader Hameurlain, Takeo Kanade, Franck Morvan, A Min Tjoa
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Data Storage and Management
High Throughput Data-Compression for Cloud Storage / Bogdan Nicolae
Merging File Systems and Data Bases to Fit the Grid / Yves Denneulin ; Cyril Labbé ; Laurent d'Orazio ; Claudia Roncancio
Multidimensional Arrays for Warehousing Data on Clouds / Sandro Bimonte
Replication, Caching and Security
Continuous Timestamping for Efficient Replication Management in DHTs / Reza Akbarinia ; Mounir Tlili ; Esther Pacitti ; Patrick Valduriez ; Alexandre A.B. Lima
A Catalog-Based Caching Strategy for Structured P2P Systems / Mile Arnedo ; Maria del Pilar Villamil ; Ricardo Villanueva ; Harold Castro
Secure Routing Strategies in DHT-Based Systems
Data Placement and Performance Evaluation
Data Life Time for Different Placement Policies in P2P Storage Systems / Stéphane Caron ; Frédéric Giroire ; Dorian Mazauric ; Julian Monteiro ; Stéphane Pérennes
Performance Evaluation of WebRowSet Implementations / Alexander Wöhrer ; Thomas Lustig ; Peter Brezany
P2PIRB: Benchmarking Framework for P2PIR / Saloua Zammali ; Khedija Arour
Verification of General and Cyclic Covering Arrays Using Grid Computing / Himer Avila-George ; Jose Torres-Jimenez ; Vicente Hernández ; Nelson Rangel-Valdez
Data Stream Systems and Large Scale Distributed Applications
Scale Out Parallel and Distributed CDR Stream Analytics / Qiming Chen ; Meichun Hsu
A Wide Area Network Optimization Service for Effective Access to Heterogeneous DataGrid Infrastructures / Francesco Palmieri ; Silvio Pardi
A Profile-Based Aggregation Model in a Peer-To-Peer Information Retrieval System / Rim Mghirbi ; Yahya Slimani ; Bruno Defude
Author Index
Data Storage and Management
High Throughput Data-Compression for Cloud Storage / Bogdan Nicolae
Merging File Systems and Data Bases to Fit the Grid / Yves Denneulin ; Cyril Labbé ; Laurent d'Orazio ; Claudia Roncancio
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼