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
11.

電子ブック
ＥＢ
11. Incentives, Overlays, and Economic Traffic Control
Burkhard Stiller, Tobias Ho?feld, Takeo Kanade, George D. Stamoulis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
An Incentive-Based Approach to Traffic Management for Peer-to-Peer Overlays / Konstantin Pussep ; Sergey Kuleshov ; Christian Gro? ; Sergios Soursos
Quantifying Operational Cost-Savings through ALTO-Guidance for P2P Live Streaming / Jan Seedorf ; Saverio Niccolini ; Martin Stiemerling ; Ettore Ferranti ; Rolf Winter
Overlay Connection Usage in BitTorrent Swarms / Simon Oechsner ; Frank Lehrieder ; Dirk Staehle
Evaluations and Estimations
Implementation and Performance Evaluation of the re-ECN Protocol / Mirja Kühlewind ; Michael Scharf
Estimating AS Relationships for Application-Layer Traffic Optimization / Hirochika Asai ; Hiroshi Esaki
Mobile Internet in Stereo: An End-to-End Scenario / Henna Warma ; Tapio Levä ; Lars Eggert ; Heikki Hämmäinen ; Jukka Manner
Short Papers
A Study of Non-neutral Networks with Usage-Based Prices / Eitan Altman ; Pierre Bernhard ; Stephane Caron ; George Kesidis ; Julio Rojas-Mora ; Sulan Wong
Stability of Alliances between Service Providers / Hélène Le Cadre
Business-Driven QoS Management of B2C Web Servers / Grazyna Suchacka ; Leszek Borzemski
The Applicability of Context-Based Multicast - A Shopping Centre Scenario / Thomas Wozniak ; Katarina Stanoevska-Slabeva ; Diogo Gomes ; Hans D. Schotten
Author Index
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
12.

電子ブック
ＥＢ
12. Incentives, Overlays, and Economic Traffic Control
Burkhard Stiller, Tobias Hoßfeld, Takeo Kanade, George D. Stamoulis
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
An Incentive-Based Approach to Traffic Management for Peer-to-Peer Overlays / Konstantin Pussep ; Sergey Kuleshov ; Christian Gro? ; Sergios Soursos
Quantifying Operational Cost-Savings through ALTO-Guidance for P2P Live Streaming / Jan Seedorf ; Saverio Niccolini ; Martin Stiemerling ; Ettore Ferranti ; Rolf Winter
Overlay Connection Usage in BitTorrent Swarms / Simon Oechsner ; Frank Lehrieder ; Dirk Staehle
Evaluations and Estimations
Implementation and Performance Evaluation of the re-ECN Protocol / Mirja Kühlewind ; Michael Scharf
Estimating AS Relationships for Application-Layer Traffic Optimization / Hirochika Asai ; Hiroshi Esaki
Mobile Internet in Stereo: An End-to-End Scenario / Henna Warma ; Tapio Levä ; Lars Eggert ; Heikki Hämmäinen ; Jukka Manner
Short Papers
A Study of Non-neutral Networks with Usage-Based Prices / Eitan Altman ; Pierre Bernhard ; Stephane Caron ; George Kesidis ; Julio Rojas-Mora ; Sulan Wong
Stability of Alliances between Service Providers / Hélène Le Cadre
Business-Driven QoS Management of B2C Web Servers / Grazyna Suchacka ; Leszek Borzemski
The Applicability of Context-Based Multicast - A Shopping Centre Scenario / Thomas Wozniak ; Katarina Stanoevska-Slabeva ; Diogo Gomes ; Hans D. Schotten
Author Index
Keynote
Socio-economic Challenges for the Internet of the Future: The Case of Congestion Control / Costas Courcoubetis
P2P and Overlay Management
13.

電子ブック
ＥＢ
13. Research in Cryptology
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
Breaking DVB-CSA / Erik Tews ; Julian Wälde ; Michael Weiner
On the Role of Expander Graphs in Key Predistribution Schemes for Wireless Sensor Networks / Michelle Kendall ; Keith M. Martin
Γ-MAC[H, P] - A New Universal MAC Scheme / Ewan Fleischmann ; Christian Forler ; Stefan Lucks
New Universal Hash Functions / Aysajan Abidin ; Jan-Åke Larsson
Cryptanalysis of TWIS Block Cipher / Onur Koçak ; Nese Öztop
RSA Vulnerabilities with Small Prime Difference / Marián Kühnel
Combining Multiplication Methods with Optimized Processing Sequence for Polynomial Multiplier in GF(2k) / Zoya Dyka ; Peter Langendoerfer ; Frank Vater
Author Index
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
14.

電子ブック
ＥＢ
14. Research in Cryptology
David Hutchison, Takeo Kanade, Josef Kittler, Stefan Lucks
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
Breaking DVB-CSA / Erik Tews ; Julian Wälde ; Michael Weiner
On the Role of Expander Graphs in Key Predistribution Schemes for Wireless Sensor Networks / Michelle Kendall ; Keith M. Martin
Γ-MAC[H, P] - A New Universal MAC Scheme / Ewan Fleischmann ; Christian Forler ; Stefan Lucks
New Universal Hash Functions / Aysajan Abidin ; Jan-Åke Larsson
Cryptanalysis of TWIS Block Cipher / Onur Koçak ; Nese Öztop
RSA Vulnerabilities with Small Prime Difference / Marián Kühnel
Combining Multiplication Methods with Optimized Processing Sequence for Polynomial Multiplier in GF(2k) / Zoya Dyka ; Peter Langendoerfer ; Frank Vater
Author Index
Broadcast Attacks against Code-Based Schemes / Robert Niebuhr ; Pierre-Louis Cayrel
On the Security of Hummingbird-2 against Side Channel Cube Attacks / Xinxin Fan ; Guang Gong
Full Lattice Basis Reduction on Graphics Cards / Timo Bartkewitz ; Tim Güneysu
15.

電子ブック
ＥＢ
15. Mechanisms for Autonomous Management of Networks and Services
Burkhard Stiller, Takeo Kanade, Filip Turck
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
Modeling User Behavior in P2P Live Video Streaming Systems through a Bayesian Network / Ihsan Ullah ; Grégory Bonnet ; Guillaume Doyen ; Dominique Gaïti
OMAN - A Management Architecture for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
Towards a P2P-Based Deployment of Network Management information / Rafik Makhloufi
Autonomous Management
On the Combined Behavior of Autonomous Resource Management Agents / Siri Fagernes ; Alva L. Couch
Autonomous Resource-Aware Scheduling of Large-Scale Media Workflows / Stein Desmet ; Bruno Volckaert ; Filip De Turck
An Autonomic Testing Framework for IPv6 Configuration Protocols / Sheila Becker ; Humberto Abdelnur ; Radu State ; Thomas Engel
PhD Workshop: Overlays and Non-conventional Network Infrastructures
Researching Multipath TCP Adoption / Henna Warma ; Heikki Hämmäinen
Report- and Reciprocity-Based Incentive Mechanisms for Live and On-Demand P2P Video Streaming / Fabio Victora Hecht ; Burkhard Stiller
Model-Driven Service Level Management / Anacleto Correia ; Fernando Brito e Abreu
Managing Risks at Runtime in VoIP Networks and Services / Oussema Dabbebi ; Remi Badonnel ; Olivier Festor
Towards Dynamic and Adaptive Resource Management for Emerging Networks / Daphné Tuncer ; Marinos Charalambides ; George Pavlou
tAdaptive Underwater Acoustic Communications / Anuj Sehgal ; Jürgen Schönwälder
Short Papers
Probabilistic Fault Diagnosis in the MAGNETO Autonomic Control Loop / Pablo Arozarena ; Raquel Toribio ; Jesse Kielthy ; Kevin Quinn ; Martin Zach
Modelling Cloud Computing Infrastructure / Marianne Hickey ; Maher Rahmouni
Towards an Autonomic Network Architecture for Self-healing in Telecommunications Networks / Jingxian Lu ; Christophe Dousson ; Benoit Radier ; Francine Krief
LearnIT: Enhanced Search and Visualization of IT Projects / Claudio Bartolini
Strategies for Network Resilience: Capitalising on Policies / Paul Smith ; Alberto Schaeffer-Filho ; Azman Ali ; Marcus Schöller ; Nizar Kheir ; Andreas Mauthe ; David Hutchison
Management Mechanisms
Automatic Link Numbering and Source Routed Multicast / Visa Holopainen ; Raimo Kantola ; Taneli Taira ; Olli-Pekka Lamminen
Mining NetFlow Records for Critical Network Activities / Shaonan Wang ; Mohamed Ourdane
Implementation of a Stream Based IP Flow Record Query Language / Kaloyan Kanev ; Nikolay Melnikov
PhD Workshop: Security, Network Monitoring, and Analysis
Towards Flexible and Secure Distributed Aggregation / Kristján Valur Jónsson ; Mads F. Dam
Intrusion Detection in SCADA Networks / Rafael Ramos Regis Barbosa ; Aiko Pras
Cybermetrics: User Identification through Network Flow Analysis
Distributed Architecture for Real-time Traffic Analysis / Cristian Morariu
Scalable Service Performance Monitoring / Idilio Drago
Author Index
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
16.

電子ブック
ＥＢ
16. Algorithms and Computation
Otfried Cheong, Kyung-Yong Chwa, Takeo Kanade, Kunsoo Park
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Regular Labelings and Geometric Structures (Abstract) / David Eppstein
Algorithmic Aspects of Secure Computation and Communication (Abstract) / Matt Franklin
Approximation Algorithm I / Session 1A：
Faster Algorithms for Feedback Arc Set Tournament, Kemeny Rank Aggregation and Betweenness Tournament / Marek Karpinski ; Warren Schudy
A 3/2-Approximation Algorithm for Generalized Steiner Trees in Complete Graphs with Edge Lengths 1 and 2 / Piotr Berman ; Alexander Zelikovsky
Approximate Periodicity / Amihood Amir ; Estrella Eisenberg ; Avivit Levy
Approximating the Average Stretch Factor of Geometric Graphs / Siu-Wing Cheng ; Christian Knauer ; Stefan Langerman ; Michiel Smid
Complexity I / Session 1B：
Satisfiability with Index Dependency / Hongyu Liang ; Jing He
Anonymous Fuzzy Identity-Based Encryption for Similarity Search / David W. Cheung ; Nikos Mamoulis ; W.K. Wong ; S.M. Yiu ; Ye Zhang
Improved Randomized Algorithms for 3-SAT / Kazuo Iwama ; Kazuhisa Seto ; Tadashi Takai ; Suguru Tamaki
Quantum Counterfeit Coin Problems / Harumichi Nishimura ; Rudy Raymond ; Junichi Teruyama
Data Structure and Algorithm I / Session 2A：
Priority Range Trees / Michael T. Goodrich ; Darren Strash
Should Static Search Trees Ever Be Unbalanced? / Prosenjit Bose ; Karim Douïeb
Levelwise Mesh Sparsification for Shortest Path Quaries / Yuichiro Miyamoto ; Takeaki Uno ; Mikio Kubo
Unit-Time Predecessor Queries on Massive Data Sets / Andrej Brodnik ; John Iacono
Combinatorial Optimization / Session 2B：
Popularity at Minimum Cost / Telikepalli Kavitha ; Meghana Nasre ; Prajakta Nimbhorkar
Structural and (Complexity Aspects of Line Systems of Graphs / Jozef Jirásek ; Pavel Klavík
Neighbor Systems, Jump Systems, and Bisubmodular Polyhedra / Akiyoshi Shioura
Generating Trees on Multisets / Bingbing Zhuang ; Hiroshi Nagamochi
Graph Algorithm I / Session 3A：
Seidel Minor, Permutation Graphs and Combinatorial Properties / Vincent Limouzy
Simultaneous Interval Graphs / Krishnam Raju Jampani ; Anna Lubiw
Unbalanced Graph Partitioning / Angsheng Li ; Peng Zhang
On the Intersection of Tolerance and Cocomparability Graphs / George B. Mertzios ; Shmuel Zaks
Flows in One-Crossing-Minor-Free Graphs / Erin Chambers
Complexity II / Session 3B：
Computing Sparse Multiples of Polynomials / Jin-Yi Cai ; Sangxia Huang ; Pinyan Lu ; Mark Giesbrecht ; Daniel S. Roche ; Hrushikesh Tilak
Fractal Parallelism: Solving SAT in Bounded Space and Time / Denys Duchier ; Jérôme Durand-Lose ; Maxime Senot
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity / Hugo Férée ; Emmanuel Hianry ; Mathieu Hoyrup ; Romain Péchoux
New Upper Bounds on the Average PTF Density of Boolean Functions / Kazuyuki Amano
Computational Geometry I / Session 4A：
An Optimal Algorithm for Computing Angle-Constrained Spanners / Paz Carmi
Approximating Minimum Bending Energy Path in a Simple Corridor / Jinhui Xu ; Lei Xu ; Yulai Xie
Graph Coloring I / Session 4B：
Analysis of an Iterated Local Search Algorithm for Vertex Coloring / Dirk Sudholt ; Christine Zarges
Bounded Max-colorings of Graphs / Evripidis Bampis ; Alexander Kononov ; Giorgio Lucarelli ; Ioannis Milis
Fixed Parameter Tractability / Session 5A：
Parameterized Algorithms for Boxicity / Abhijin Adiga ; Rajesh Chitnis ; Saket Saurabh
On Tractable Cases of Target Set Selection / André Nichterlein ; Rolf Niedermeier ; Johannes Uhlmann ; Mathias Weller
Combining Two Worlds: Parameterised Approximation for Vertex Cover / Ljiljana Brankovic ; Henning Fernau
Listing All Maximal Cliques in Sparse Graphs in Near-Optimal Time / Maarten Löffler
Optimization / Session 5B：
Lower Bounds for Howard's Algorithm for Finding Minimum Mean-Cost Cycles / Thomas Dueholm Hansen ; Uri Zwick
Solving Two-Stage Stochastic Steiner Tree Problems by Two-Stage Branch-and-Cut / Immanuel Bomze ; Markus Chimani ; Michael Jünger ; Ivana Ljubic ; Petra Mutzel ; Bernd Zey
An Optimal Algorithm for Single Maximum Coverage Location on Trees and Related Problems / Joachim Spoerhase
A Faster Algorithm for the Maximum Even Factor Problem / Maxim A. Babenko
Author Index
Invited Talks
Regular Labelings and Geometric Structures (Abstract) / David Eppstein
Algorithmic Aspects of Secure Computation and Communication (Abstract) / Matt Franklin
17.

電子ブック
ＥＢ
17. Algorithms and Computation
Otfried Cheong, Kyung-Yong Chwa, Takeo Kanade, Kunsoo Park
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Regular Labelings and Geometric Structures (Abstract) / David Eppstein
Algorithmic Aspects of Secure Computation and Communication (Abstract) / Matt Franklin
Approximation Algorithm I / Session 1A：
Faster Algorithms for Feedback Arc Set Tournament, Kemeny Rank Aggregation and Betweenness Tournament / Marek Karpinski ; Warren Schudy
A 3/2-Approximation Algorithm for Generalized Steiner Trees in Complete Graphs with Edge Lengths 1 and 2 / Piotr Berman ; Alexander Zelikovsky
Approximate Periodicity / Amihood Amir ; Estrella Eisenberg ; Avivit Levy
Approximating the Average Stretch Factor of Geometric Graphs / Siu-Wing Cheng ; Christian Knauer ; Stefan Langerman ; Michiel Smid
Complexity I / Session 1B：
Satisfiability with Index Dependency / Hongyu Liang ; Jing He
Anonymous Fuzzy Identity-Based Encryption for Similarity Search / David W. Cheung ; Nikos Mamoulis ; W.K. Wong ; S.M. Yiu ; Ye Zhang
Improved Randomized Algorithms for 3-SAT / Kazuo Iwama ; Kazuhisa Seto ; Tadashi Takai ; Suguru Tamaki
Quantum Counterfeit Coin Problems / Harumichi Nishimura ; Rudy Raymond ; Junichi Teruyama
Data Structure and Algorithm I / Session 2A：
Priority Range Trees / Michael T. Goodrich ; Darren Strash
Should Static Search Trees Ever Be Unbalanced? / Prosenjit Bose ; Karim Douïeb
Levelwise Mesh Sparsification for Shortest Path Quaries / Yuichiro Miyamoto ; Takeaki Uno ; Mikio Kubo
Unit-Time Predecessor Queries on Massive Data Sets / Andrej Brodnik ; John Iacono
Combinatorial Optimization / Session 2B：
Popularity at Minimum Cost / Telikepalli Kavitha ; Meghana Nasre ; Prajakta Nimbhorkar
Structural and (Complexity Aspects of Line Systems of Graphs / Jozef Jirásek ; Pavel Klavík
Neighbor Systems, Jump Systems, and Bisubmodular Polyhedra / Akiyoshi Shioura
Generating Trees on Multisets / Bingbing Zhuang ; Hiroshi Nagamochi
Graph Algorithm I / Session 3A：
Seidel Minor, Permutation Graphs and Combinatorial Properties / Vincent Limouzy
Simultaneous Interval Graphs / Krishnam Raju Jampani ; Anna Lubiw
Unbalanced Graph Partitioning / Angsheng Li ; Peng Zhang
On the Intersection of Tolerance and Cocomparability Graphs / George B. Mertzios ; Shmuel Zaks
Flows in One-Crossing-Minor-Free Graphs / Erin Chambers
Complexity II / Session 3B：
Computing Sparse Multiples of Polynomials / Jin-Yi Cai ; Sangxia Huang ; Pinyan Lu ; Mark Giesbrecht ; Daniel S. Roche ; Hrushikesh Tilak
Fractal Parallelism: Solving SAT in Bounded Space and Time / Denys Duchier ; Jérôme Durand-Lose ; Maxime Senot
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity / Hugo Férée ; Emmanuel Hianry ; Mathieu Hoyrup ; Romain Péchoux
New Upper Bounds on the Average PTF Density of Boolean Functions / Kazuyuki Amano
Computational Geometry I / Session 4A：
An Optimal Algorithm for Computing Angle-Constrained Spanners / Paz Carmi
Approximating Minimum Bending Energy Path in a Simple Corridor / Jinhui Xu ; Lei Xu ; Yulai Xie
Graph Coloring I / Session 4B：
Analysis of an Iterated Local Search Algorithm for Vertex Coloring / Dirk Sudholt ; Christine Zarges
Bounded Max-colorings of Graphs / Evripidis Bampis ; Alexander Kononov ; Giorgio Lucarelli ; Ioannis Milis
Fixed Parameter Tractability / Session 5A：
Parameterized Algorithms for Boxicity / Abhijin Adiga ; Rajesh Chitnis ; Saket Saurabh
On Tractable Cases of Target Set Selection / André Nichterlein ; Rolf Niedermeier ; Johannes Uhlmann ; Mathias Weller
Combining Two Worlds: Parameterised Approximation for Vertex Cover / Ljiljana Brankovic ; Henning Fernau
Listing All Maximal Cliques in Sparse Graphs in Near-Optimal Time / Maarten Löffler
Optimization / Session 5B：
Lower Bounds for Howard's Algorithm for Finding Minimum Mean-Cost Cycles / Thomas Dueholm Hansen ; Uri Zwick
Solving Two-Stage Stochastic Steiner Tree Problems by Two-Stage Branch-and-Cut / Immanuel Bomze ; Markus Chimani ; Michael Jünger ; Ivana Ljubic ; Petra Mutzel ; Bernd Zey
An Optimal Algorithm for Single Maximum Coverage Location on Trees and Related Problems / Joachim Spoerhase
A Faster Algorithm for the Maximum Even Factor Problem / Maxim A. Babenko
Author Index
Invited Talks
Regular Labelings and Geometric Structures (Abstract) / David Eppstein
Algorithmic Aspects of Secure Computation and Communication (Abstract) / Matt Franklin
18.

電子ブック
ＥＢ
18. Mechanisms for Autonomous Management of Networks and Services
Burkhard Stiller, Takeo Kanade, Filip Turck, Filip De Turck, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
Modeling User Behavior in P2P Live Video Streaming Systems through a Bayesian Network / Ihsan Ullah ; Grégory Bonnet ; Guillaume Doyen ; Dominique Gaïti
OMAN - A Management Architecture for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
Towards a P2P-Based Deployment of Network Management information / Rafik Makhloufi
Autonomous Management
On the Combined Behavior of Autonomous Resource Management Agents / Siri Fagernes ; Alva L. Couch
Autonomous Resource-Aware Scheduling of Large-Scale Media Workflows / Stein Desmet ; Bruno Volckaert ; Filip De Turck
An Autonomic Testing Framework for IPv6 Configuration Protocols / Sheila Becker ; Humberto Abdelnur ; Radu State ; Thomas Engel
PhD Workshop: Overlays and Non-conventional Network Infrastructures
Researching Multipath TCP Adoption / Henna Warma ; Heikki Hämmäinen
Report- and Reciprocity-Based Incentive Mechanisms for Live and On-Demand P2P Video Streaming / Fabio Victora Hecht ; Burkhard Stiller
Model-Driven Service Level Management / Anacleto Correia ; Fernando Brito e Abreu
Managing Risks at Runtime in VoIP Networks and Services / Oussema Dabbebi ; Remi Badonnel ; Olivier Festor
Towards Dynamic and Adaptive Resource Management for Emerging Networks / Daphné Tuncer ; Marinos Charalambides ; George Pavlou
tAdaptive Underwater Acoustic Communications / Anuj Sehgal ; Jürgen Schönwälder
Short Papers
Probabilistic Fault Diagnosis in the MAGNETO Autonomic Control Loop / Pablo Arozarena ; Raquel Toribio ; Jesse Kielthy ; Kevin Quinn ; Martin Zach
Modelling Cloud Computing Infrastructure / Marianne Hickey ; Maher Rahmouni
Towards an Autonomic Network Architecture for Self-healing in Telecommunications Networks / Jingxian Lu ; Christophe Dousson ; Benoit Radier ; Francine Krief
LearnIT: Enhanced Search and Visualization of IT Projects / Claudio Bartolini
Strategies for Network Resilience: Capitalising on Policies / Paul Smith ; Alberto Schaeffer-Filho ; Azman Ali ; Marcus Schöller ; Nizar Kheir ; Andreas Mauthe ; David Hutchison
Management Mechanisms
Automatic Link Numbering and Source Routed Multicast / Visa Holopainen ; Raimo Kantola ; Taneli Taira ; Olli-Pekka Lamminen
Mining NetFlow Records for Critical Network Activities / Shaonan Wang ; Mohamed Ourdane
Implementation of a Stream Based IP Flow Record Query Language / Kaloyan Kanev ; Nikolay Melnikov
PhD Workshop: Security, Network Monitoring, and Analysis
Towards Flexible and Secure Distributed Aggregation / Kristján Valur Jónsson ; Mads F. Dam
Intrusion Detection in SCADA Networks / Rafael Ramos Regis Barbosa ; Aiko Pras
Cybermetrics: User Identification through Network Flow Analysis
Distributed Architecture for Real-time Traffic Analysis / Cristian Morariu
Scalable Service Performance Monitoring / Idilio Drago
Author Index
Keynote
Facing Complexity in Systems Management / Metin Feridun
P2P-Based Systems
19.

電子ブック
ＥＢ
19. Formal Methods for Components and Objects
Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Takeo Kanade, Michael Leuschel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; María Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
20.

電子ブック
ＥＢ
20. Managing the Dynamics of Networks and Services
Isabelle Chrisment, R?mi Badonnel, Alva Couch, Takeo Kanade, Martin Waldburger
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Security Management
Cleaning Your House First: Shifting the Paradigm on How to Secure Networks / Jérôme François ; Giovane C.M. Moura ; Aiko Pras
Efficient Distributed Signature Analysis / Michael Vogel ; Sebastian Schmerl ; Hartmut König
Econometric Feedback for Runtime Risk Management in VoIP Architectures / Oussema Dabbebi ; Rémi Badonnel ; Olivier Festor
Finding and Analyzing Evil Cities on the Internet / Matthijs G.T. van Polen
PhD Workshop: Autonomic Network and Service Management
Autonomous Service Composition in Symbiotic Network / Tim De Pauw ; Filip De Turck ; Veerle Ongenae
An SLA Support System for Cloud Computing / Guilherme Sperb Machado ; Burkhard Stiller
Autonomic Management for Personalized Handover Decisions in Heterogeneous Wireless Networks / Joon-Myung Kang ; James Won-Ki Hong
Optimising P2P Overlays for Pervasive Environments / Fei Peng ; Apostolos Malatras
Towards Vulnerability Prevention in Autonomic Networks and Systems / Martín Barrère ; Rémì Badonnel
Autonomous Platform for Life-Critical Decision Support in the ICU / Kristof Steurbaut
Policy Management
Policy-Based Pricing for Heterogeneous Wireless Access Networks / Javier Baliosian ; Joan Serrat ; Matias Richart ; Juan Saavedra ; Mariela Borba ; Jose Luis Melus
Decision Engine for SIP Based Dynamic Call Routing / Sajjad Ali Musthaq ; Christophe Lohr ; Annie Gravey
Support Technologies
Evaluation of the Resource Requirements of SNMP Agents on Constrained Devices / Siarhei Kuryla ; Jürgen Schönwälder
Carrier Ethernet OAM: An Overview and Comparison to IP OAM / Rick Hofstede ; Idilio Drago ; Giovane C.M. Mourn
P2P and Aggregation Schemes
Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services / Ying Qiao ; Gregor von Bochmann
On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
Impact of Dynamics on Situated and Global Aggregation Schemes / Rafik Makhloufi ; Guillaume Doyen ; Grégory Bonnet ; Dominique Gaïti
PhD Workshop: Monitoring and Security
Towards Self-Adaptive Monitoring Framework For Integrated Management / Audrey Moui ; Thierry Desprats
A Novel Approach to Support the Visual Exploration and Management of Heterogeneous Home Area Network Devices and Services / Yuqian Song ; Owen Conlan
Estimating Bandwidth Requirements Using Flow-Level Measurements / Ricardo de O. Schmidt
Using of Time Characteristics in Data Flow for Traffic Classification / Pavel Piskac ; Jiri Novotny
Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems / Shahriar Bijani ; David Robertson
Author Index
Security Management
Cleaning Your House First: Shifting the Paradigm on How to Secure Networks / Jérôme François ; Giovane C.M. Moura ; Aiko Pras
Efficient Distributed Signature Analysis / Michael Vogel ; Sebastian Schmerl ; Hartmut König
21.

電子ブック
ＥＢ
21. Formal Methods for Components and Objects
Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Takeo Kanade, Michael Leuschel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
Verification of Context-Dependent Channel-Based Service Models / Natallia Kokash ; Christian Krause ; Erik P. de Vink
The CREDO Project
The Credo Methodology (Extended Version) / Immo Grabe ; Mohammad Mahdi Jaghoori ; Joachim Klein ; Sascha Klüppelholz ; Andries Stam ; Christel Baier ; Tobias Blechmann ; Bernhard K. Aichernig ; Frank de Boer ; Andreas Griesmayer ; Einar Broch Johnsen ; Marcel Kyas ; Wolfgang Leister ; Rudolf Schlatte ; Martin Steffen ; Simon Tschirner ; Liang Xuedong ; Wang Yi
The DEPLOY Project
Guided Formal Development: Patterns for Modelling and Refinement / Alexei Iliasov ; Elena Troubitsyna ; Linas Laibinis ; Alexander Romanovsky
Applying Event-B Atomicity Decomposition to a Multi Media Protocol / Asieh Salehi Fathabadi ; Michael Butler
The FM-SOA Working Group
Abstract Certification of Global Non-interference in Rewriting Logic / Mauricio Alba-Castro ; María Alpuente ; Santiago Escobar
The HATS Project
Interleaving Symbolic Execution and Partial Evaluation / Richard Bubel ; Reiner Hähnle ; Ran Ji
The INESS Project
The Use of Model Transformation in the INESS Project / Osmar M. dos Santos ; Jim Woodcock ; Richard F. Paige ; Steve King
Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study / Frank P.M. Stappers ; Michel A. Reniers ; Jan Friso Groote
The MOGENTES Project
Mapping UML to Labeled Transition Systems for Test-Case Generation: A Translation via Object-Oriented Action Systems / Willibald Krenn ; Rupert Schlick
Mutation-Based Test Case Generation for Simulink Models / Angelo Brillout ; Nannan He ; Michele Mazzucchi ; Daniel Kroening ; Mitra Purandare ; Philipp Rümmer ; Georg Weissenbacher
Model-Based Mutation Testing of Hybrid Systems / Harald Brandl ; Elisabeth Jöbstl
The PROTEST Project
Property-Based Testing - The ProTest Project / John Derrick ; Neil Walkinshaw ; Thomas Arts ; Clara Benac Earle ; Francesco Cesarini ; Lars-Ake Fredlund ; Victor Gulias ; John Hughes ; Simon Thompson
Incrementally Discovering Testable Specifications from Program Executions
The QUASIMODO Project
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata / Alexandre David ; Kim G. Larsen ; Axel Legay ; Ulrik Nyman ; Andrzej Wasowski
The How and Why of Interactive Markov Chains / Holger Hermanns ; Joost-Pieter Katoen
Author Index
The BIONETS Project
A Framework for Reasoning on Component Composition / Ludovic Henrio ; Florian Kammüller ; Muhammad Uzair Khan
The COMPAS Project
22.

電子ブック
ＥＢ
22. Managing the Dynamics of Networks and Services
Isabelle Chrisment, Rémi Badonnel, Alva Couch, Takeo Kanade, Martin Waldburger
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Security Management
Cleaning Your House First: Shifting the Paradigm on How to Secure Networks / Jérôme François ; Giovane C.M. Moura ; Aiko Pras
Efficient Distributed Signature Analysis / Michael Vogel ; Sebastian Schmerl ; Hartmut König
Econometric Feedback for Runtime Risk Management in VoIP Architectures / Oussema Dabbebi ; Rémi Badonnel ; Olivier Festor
Finding and Analyzing Evil Cities on the Internet / Matthijs G.T. van Polen
PhD Workshop: Autonomic Network and Service Management
Autonomous Service Composition in Symbiotic Network / Tim De Pauw ; Filip De Turck ; Veerle Ongenae
An SLA Support System for Cloud Computing / Guilherme Sperb Machado ; Burkhard Stiller
Autonomic Management for Personalized Handover Decisions in Heterogeneous Wireless Networks / Joon-Myung Kang ; James Won-Ki Hong
Optimising P2P Overlays for Pervasive Environments / Fei Peng ; Apostolos Malatras
Towards Vulnerability Prevention in Autonomic Networks and Systems / Martín Barrère ; Rémì Badonnel
Autonomous Platform for Life-Critical Decision Support in the ICU / Kristof Steurbaut
Policy Management
Policy-Based Pricing for Heterogeneous Wireless Access Networks / Javier Baliosian ; Joan Serrat ; Matias Richart ; Juan Saavedra ; Mariela Borba ; Jose Luis Melus
Decision Engine for SIP Based Dynamic Call Routing / Sajjad Ali Musthaq ; Christophe Lohr ; Annie Gravey
Support Technologies
Evaluation of the Resource Requirements of SNMP Agents on Constrained Devices / Siarhei Kuryla ; Jürgen Schönwälder
Carrier Ethernet OAM: An Overview and Comparison to IP OAM / Rick Hofstede ; Idilio Drago ; Giovane C.M. Mourn
P2P and Aggregation Schemes
Using Diffusive Load Balancing to Improve Performance of Peer-to-Peer Systems for Hosting Services / Ying Qiao ; Gregor von Bochmann
On the Dimensioning of an Aggregation Service for P2P Service Overlay Networks / Adriano Fiorese ; Paulo Simões ; Fernando Boavida
Impact of Dynamics on Situated and Global Aggregation Schemes / Rafik Makhloufi ; Guillaume Doyen ; Grégory Bonnet ; Dominique Gaïti
PhD Workshop: Monitoring and Security
Towards Self-Adaptive Monitoring Framework For Integrated Management / Audrey Moui ; Thierry Desprats
A Novel Approach to Support the Visual Exploration and Management of Heterogeneous Home Area Network Devices and Services / Yuqian Song ; Owen Conlan
Estimating Bandwidth Requirements Using Flow-Level Measurements / Ricardo de O. Schmidt
Using of Time Characteristics in Data Flow for Traffic Classification / Pavel Piskac ; Jiri Novotny
Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems / Shahriar Bijani ; David Robertson
Author Index
Security Management
Cleaning Your House First: Shifting the Paradigm on How to Secure Networks / Jérôme François ; Giovane C.M. Moura ; Aiko Pras
Efficient Distributed Signature Analysis / Michael Vogel ; Sebastian Schmerl ; Hartmut König
23.

電子ブック
ＥＢ
23. Declarative Agent Languages and Technologies VIII
Andrea Omicini, Takeo Kanade, Sebastian Sardina, Wamberto Vasconcelos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets / Gauvain Bourgne ; Katsumi Inoue
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
24.

電子ブック
ＥＢ
24. Declarative Agent Languages and Technologies VIII
Andrea Omicini, Takeo Kanade, Sebastian Sardina, Wamberto Vasconcelos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets / Gauvain Bourgne ; Katsumi Inoue
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
25.

電子ブック
ＥＢ
25. Algorithmic Aspects in Information and Management
Bo Chen, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Comparison of Two Algorithms for Computing Page Importance / Yuting Liu ; Zhi-Ming Ma
The Invisible Hand for Risk Averse Investment in Electricity Generation / Daniel Ralph ; Yves Smeers
Efficient Algorithms for the Prize Collecting Steiner Tree Problems with Interval Data / E. Álvarez-Miranda ; A. Candia ; X. Chen ; X. Hu ; B. Li
The (K, k)-Capacitated Spanning Tree Problem / Esther M. Arkin ; Nili Guttmann-Beck ; Refael Hassin
Optimal Algorithms for the Economic Lot-Sizing Problem with Multi-supplier / Qing-Guo Bai ; Jian-Teng Xu
Synthetic Road Networks / Reinhard Bauer ; Marcus Krug ; Sascha Meinert ; Dorothea Wagner
Computing Exact and Approximate Nash Equilibria in 2-Player Games / Vittorio Bitò ; Angela Fanelli
Where Would Refinancing Preferences Go? / Yajun Chai ; Bo Liu
Approximating Maximum Edge 2-Coloring in Simple Graphs / Zhi-Zhong Chen ; Sayuri Konno ; Yuki Matsushita
A Linear Kernel for Co-Path/Cycle Packing / Michael Fellows ; Bin Fu ; Haitao Jiang ; Yang Liu ; Lusheng Wang ; Binhai Zhu
A VaR Algorithm for Warrants Portfolio / Jun Dai ; Liyun Ni ; Xiangrong Wang ; Weizhong Chen
Some Results on Incremental Vertex Cover Problem / Wenqiang Dai
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction / Christian Ernst ; Changxing Dong ; Gerold Jäger ; Dirk Richter ; Paul Molitor
Point Location in the Continuous-Time Moving Network / Chenglin Fan ; Jun Luo
Coordinated Scheduling of Production and Delivery with Production Window and Delivery Capacity Constraints / Yumei Huo ; Hairong Zhao
On the Approximability of the Vertex Cover and Related Problems / Xiucui Guan ; Binwu Zhang ; Qiaoming Han ; Abraham P. Punnen
Feasibility Testing for Dial-a-Ride Problems / Dag Haugland ; Sin C. Ho
Indexing Similar DNA Sequences / Songbo Huang ; T. W. Lam ; W. K. Sung ; S.L. Tom ; S.M. Yiu
Online Scheduling on Two Uniform Machines to Minimize the Makespan with a Periodic Availability Constraint / Ming Liu ; Chengbin Chu ; Yinfeng Xu ; Lu Wang
A New Smoothing Newton Method for Symmetric Cone Complementarity Problems / Lixia Liu ; Sanyang Liu
Approximation Algorithms for Scheduling with a Variable Machine Maintenance / Wenchang Luo ; Lin Chen ; Guochuan Zhang
Bounded Parallel-Batch Scheduling on Unrelated Parallel Machines / Cuixia Miao ; Yuzhong Zhang ; Chengfei Wang
Exact Algorithms for Coloring Graphs While Avoiding Monochromatic Cycles / Fabrice Talla Nobibon ; Cor Hurkens ; Roel Leus ; Frits C.R. Spieksma
Randomized Approaches for Nearest Neighbor Search in Metric Space When Computing the Pairwise Distance Is Extremely Expensive / Yong Yang ; Guohui Lin
A Primal-Dual Approximation Algorithm for the k-Level Stochastic Facility Location Problem / Zhen Wang ; Donglei Du ; Dachuan Xu
Optimal Semi-online Scheduling Algorithms on Two Parallel Identical Machines under a Grade of Service Provision / Yong Wu ; Qifan Yang
Varieties of Regularities in Weighted Sequences / Hui Zhang ; Qing Guo ; Cosias S. Iliopoulos
Online Uniformly Inserting Points on Grid / Yong Zhang ; Zhuo Chang ; Francis Y.L. Chin ; Hing-Fung Ting ; Yung H. Tsin
Kernelization for Cycle Transversal Problems / Ge Xia
Online Splitting Interval Scheduling on m Identical Machines / Feifeng Zheng ; E. Zhang
Extended Tabu Search on Fuzzy Traveling Salesman Problem in Multi-criteria Analysis / Yujun Zheng
Efficient Exact and Approximate Algorithms for the Complement of Maximal Strip Recovery
Author Index
Comparison of Two Algorithms for Computing Page Importance / Yuting Liu ; Zhi-Ming Ma
The Invisible Hand for Risk Averse Investment in Electricity Generation / Daniel Ralph ; Yves Smeers
Efficient Algorithms for the Prize Collecting Steiner Tree Problems with Interval Data / E. Álvarez-Miranda ; A. Candia ; X. Chen ; X. Hu ; B. Li
26.

電子ブック
ＥＢ
26. Theory and Applications of Satisfiability Testing ? SAT 2010
Ofer Strichman, Takeo Kanade, Stefan Szeider
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / Part 1：
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference / Yehuda Naveh
Exact Algorithms and Complexity / Ramamohan Paturi
Regular Papers / Part 2：
Improving Stochastic Local Search for SAT with a New Probability Distribution / Adrian Balint ; Andreas Fröhlich
Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas / Eli Ben-Sasson ; Jan Johannsen
Proof Complexity of Propositional Default Logic / Olaf Beyersdorff ; Arne Meier ; Sebastian Müller ; Michael Thomas ; Heribert Vollmer
Automated Testing and Debugging of SAT and QBF Solvers / Robert Brummayer ; Florian Lonsing ; Armin Biere
Rewriting (Dependency-) Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN / Uwe Bubeck ; Hans Kleine Büning
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT / Carsten Fuhs ; Peter Schneider-Kamp
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning / Enrico Giunchiglia ; Paolo Marin ; Massimo Narizzano
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold / Yacine Boufkhad ; Thomas Hugel
Symmetry and Satisfiability: An Update / Hadi Katebi ; Karem A. Sakallah ; Igor L. Markov
A Non-prenex, Non-clausal QBF Solver with Game-State Learning / William Klieber ; Samir Sapra ; Sicun Gao ; Edmund Clarke
SAT Solving with Reference Points / Stephan Kottler
Integrating Dependency Schemes in Search-Based QBF Solvers
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF / Kazuhisa Makino ; Suguru Tamaki ; Masaki Yamamoto
Improving Unsatisfiability-Based Algorithms for Boolean Optimization / Vasco Manquinho ; Ruben Martins ; Inês Lynce
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs / Christian Miller ; Stefan Kupferschmid ; Matthew Lewis ; Bernd Becker
Statistical Methodology for Comparison of SAT Solvers / Mladen Nikolic
On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem / Denis Pankratov ; Allan Borodin
The Seventh QBF Solvers Evaluation (QBFEVAL'10) / Claudia Peschiera ; Luca Pulina ; Armando Tacchella ; Oliver Kullmann
Complexity Results for Linear XSAT-Problems / Stefan Porschen ; Tatjana Schmidt ; Ewald Speckenmeyer
Bounds on Threshold of Regular Random k-SAT / Vishwambhar Rathi ; Erik Aurell ; Lars Rasmussen ; Mikael Skoglund
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT / Dave A.D. Tompkins ; Holger H. Hoos
Short Papers / Part 3：
Improved Local Search for Circuit Satisfiability / Anton Belov ; Zbigniew Stachniak
A System for Solving Constraint Satisfaction Problems with SMT / Miquel Bofil ; Josep Suy ; Mateu Villaret
Two Techniques for Minimizing Resolution Proofs / Scott Cotton
On Moderately Exponential Time for SAT / Evgeny Dantsin ; Alexander Wolpert
Minimising Deterministic Büchi Automata Precisely Using SAT Solving / Rüdiger Ehlers
Exploiting Circuit Representations in QBF solving / Alexandra Goultiaeva ; Fahiem Bacchus
Reconstructing Solutions after Blocked Clause Elimination / Matti Järvisalo
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search / Lukas Kroc ; Ashish Sabharwal ; Bart Selman
Green-Tao Numbers and SAT
Exact MinSAT Solving / Chu Min Li ; Felip Manyà ; Zhe Quan ; Zhu Zhu
Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable / William Matthews
Assignment Stack Shrinking / Alexander Nadel ; Vadim Ryuchin
Simple but Hard Mixed Horn Formulas / Gayathri Namasivayam ; Miroslaw Truszczynski
Zero-One Designs Produce Small Hard SAT Instances / Allen Van Gelder ; Ivor Spence
Author Index
Invited Talks / Part 1：
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference / Yehuda Naveh
Exact Algorithms and Complexity / Ramamohan Paturi
27.

電子ブック
ＥＢ
27. Computational Intelligence Methods for Bioinformatics and Biostatistics
Francesco Masulli, Takeo Kanade, Leif E. Peterson, Roberto Tagliaferri
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tools for Bioinformatics
The ImmunoGrid Simulator: How to Use It / Francesco Pappalardo ; Mark Halling-Brown ; Marzio Pennisi ; Ferdinando Chiacchio ; Clare E. Sansom ; Adrian J. Shepherd ; David S. Moss ; Santo Motta ; Vladimir Brusic
Improving Coiled-Coil Prediction with Evolutionary Information / Piero Fariselli ; Lisa Bartoli ; Rita Casadio
Intelligent Text Processing Techniques for Textual-Profile Gene Characterization / Floriana Esposito ; Marenglen Biba ; Stefano Ferilli
SILACAnalyzer - A Tool for Differential Quantitation of Stable Isotope Derived Data / Lars Nilse ; Marc Sturm ; David Trudgian ; Mogjiborahman Salek ; Paul F.G. Sims ; Kathleen M. Carroll ; Simon J. Hubbard
Gene Expression Analysis
Non-parametric MANOVA Methods for Detecting Differentially Expressed Genes in Real-Time RT-PCR Experiments / Niccoló Bassani ; Federico Ambrogi ; Roberta Bosotti ; Matteo Bertolotti ; Antonella Isacchi ; Elia Biganzoli
In Silico Screening for Pathogenesis Related-2 Gene Candidates in Vigna Unguiculata Transcriptome / Ana Carolina Wanderley-Nogueira ; Nina da Mota Soares-Cavalcanti ; Luis Carlos Belarmino ; Adriano Barbosa-Silva ; Ederson Akio Kido ; Semiramis Jamil Hadad do Monte ; Valesca Pandolfi ; Tercilio Calsa-Junior ; Ana Maria Benko-Iseppon
Penalized Principal Component Analysis of Microarray Data / Vladimir Nikulin ; Geoffrey J. McLachlan
An Information Theoretic Approach to Reverse Engineering of Regulatory Gene Networks from Time-Course Data / Pietro Zoppoli ; Sandro Morganella ; Michele Ceccarelli
New Perspectives in Bioinformatics
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks / Gilles Bernot ; Jean-Paul Comet
Predicting Protein-Protein Interactions with K-Nearest Neighbors Classification Algorithm / Mario R. Guarracino ; Adriano Nebbia
Simulations of the EGFR - KRAS - MAPK Signalling Network in Colon Cancer. Virtual Mutations and Virtual Treatments with Inhibitors Have More Important Effects Than a 10 Times Range of Normal Parameters and Rates Fluctuations / Nicoletta Castagnino ; Lorenzo Tortolina ; Roberto Montagna ; Raffaele Pesenti ; Anahi Balbi ; Silvio Parodi
Special Session on "Using Game-Theoretical Tools in Bioinformatics"
Basics of Game Theory for Bioinformatics / Fioravante Patrone
Microarray Data Analysis via Weighted Indices and Weighted Majority Games / Roberto Lucchetti ; Paola Radrizzani
Special Session on "Combining Bayesian and Machine Learning Approaches in Bioinformatics: State of Art and Future Perspectives"
Combining Replicates and Nearby Species Data: A Bayesian Approach / Claudia Angelini ; Italia De Feis ; Viet Anh Nguyen ; Richard van der Wath ; Pietro Liò
Multiple Sequence Alignment with Genetic Algorithms / Marco Botta ; Guido Negro
Special Session on "Data Clustering and Bioinformatics" (DCB 2009)
Multiple Clustering Solutions Analysis through Least-Squares Consensus Algorithms / Loredana Murino ; Ida Bifulco ; Giancarlo Raiconi ; Roberto Tagliaferri
Projection Based Clustering of Gene Expression Data / Sotiris K. Tasoulis ; Vassilis P. Plagianakos ; Dimitris K. Tasoulis
Searching a Multivariate Partition Space Using MAX-SAT / Silvia Liverani ; James Cussens ; Jim Q. Smith
A Novel Approach for Biclustering Gene Expression Data Using Modular Singular Value Decomposition / V.N. Manjunath Aradhya ; Francesco Masulli ; Stefano Rovetta
Special Session on "Intelligent Systems for Medical Decisions Support" (ISMDS 2009)
Using Computational Intelligence to Develop Intelligent Clinical Decision Support Systems / Alexandru G. Floares
Different Methodologies for Patient Stratification Using Survival Data / Ana S. Fernandes ; Davide Bacciu ; Ian H. Jarman ; Terence A. Etchells ; José M. Fonseca ; Paulo J.G. Lisboa
3-D Mouse Brain Model Reconstruction from a Sequence of 2-D Slices in Application to Allen Brain Atlas / Anton Osokin ; Dmitry Vetrov ; Dmitry Kropotov
A Proposed Knowledge Based Approach for Solving Proteomics Issues / Antonino Fiannaca ; Salavatore Gaglio ; Massimo La Rosa ; Daniele Peri ; Riccardo Rizzo ; Alfonso Urso
Author Index
Tools for Bioinformatics
The ImmunoGrid Simulator: How to Use It / Francesco Pappalardo ; Mark Halling-Brown ; Marzio Pennisi ; Ferdinando Chiacchio ; Clare E. Sansom ; Adrian J. Shepherd ; David S. Moss ; Santo Motta ; Vladimir Brusic
Improving Coiled-Coil Prediction with Evolutionary Information / Piero Fariselli ; Lisa Bartoli ; Rita Casadio
28.

電子ブック
ＥＢ
28. Electronic Government and the Information Systems Perspective
Kim Normann Andersen, Tom M. Engers, Enrico Francesconi, ?ke Gr?nlund, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
E-Government Services Analysis
Stakeholders' Views on Government Enterprise Architecture: Strategic Goals and New Public Services / Katja Penttinen ; Hannakaisa Isomäki
An Investigation into Critical Determinants of e-Government Implementation in the Context of a Developing Nation / Nahid Rashid ; Shams Rahman
"What We Cannot Speak about We Must Pass over in Silence" - (In)correctly Arguing and Comparing the Costs of IT Investments in Public Sector / Samuli Pekkola ; Kimmo Wideroos
Decision Support Tools
Small-Area Population Projections - A Key Element in Knowledge Based e-Governance / Henning Sten Hansen
From Policy-Making Statements to First-Order Logic / Adam Wyner ; Tom van Engers ; Kiavash Bahreini
A Fuzzy Recommender System for eElections / Luis Terán ; Andreas Meier
Invited Talk
Web 2.0 Creates a New Government / Roland Traunmüller
ICT in E-Government (I)
Elements of Comprehensive Assessments of IT Infrastructure Projects in the Austrian Ministry of Finance / Edward W.N. Bernroider ; Stefan Koch ; Volker Stix
Updating Official Publications to the Web 3.0: A Quantum Leap in e-Gov Transparency and Citizen Participation Is on Sight / Francisco-Javier García-Marco
One Inch Wide and One Inch Deep: The Role of Policies in Shaping the Adoption of Open Standards and Software in Government / Kim Normann Andersen ; Daniel Veit ; Rony Medaglia ; Helle Zinner Henriksen
Information Modelling and Integration
Facilitating E-Government Services through SDIs, an Application for Water Abstractions Authorizations / Migul ángel Latre ; Francisco J. Lopez-Pellicer ; Javier Nogueras-Iso ; Rubé Béjar ; Pedro R. Muro-Medrano
Towards Interoperability: An Architecture for Pan-European eID-Based Authenation Services / Arne Tauber ; Bernd Zwattendorfer ; Thomas Zefferer ; Yasmin Mazhari ; Eleftherios Chamakiotis
E-Government Services and Web 2.0 (I)
SocialSupervisor: A Geographically Enhanced Social Content Site to Supervise Public Works / Luciana Cavalcante de Menezes ; Hugo Feitosa de Figueirêdo ; Ricardo Madeira Fernandes ; Tiago Eduardo da Silva ; Cláudio de Souza Baptista
Transforming the Greek e-Government Environment towards the e-Gov 2.0 Era / Prokopios Drogkaris ; Stefanos Gritzalis ; Costas Lambrinoudakis
E-Government Services Design, Implementation and Monitoring
Geographic e-Services Development through Product-Line Engineering and Standardization / Agustina Buccella ; Alejandra Cechich
Governmeter: Monitoring Government Performance: A Web Based Application Proposal / Artur Afonso Sousa ; Pedro Agante ; Luís Borges Gouveia
ICT in E-Government (II)
Policy Incentives for Innovation Diffusion: An Agent-Based Simulation / Enrich Ferro ; Brunella Caroleo ; Marco Cantamessa ; Maur Leo
E-Government Services Using Customer Index Knowledge / Sung Ho Ha ; Min Jung Lee
The Bangladesh National Biometric Database: A Transferable Success? / M. Sirajul Islam ; Åke Grönlund
E-Government Services and Web 2.0 (II)
E-Government and Geographical Information Based Collaboration Patterns / Lise Schrøder ; Line Hvingel
Participatory Design of Public Sector Services / Alan Hartman ; Anshu N. Jain ; Jay Ramanathan ; Antonis Ramfos ; Willem-Jan Van der Heuvel ; Christian Zirpins ; Stefan Tai ; Yannis Charalabidis ; A. Pasic ; T. Johannessen ; T. Grønsund
Public Safety Mashups to Support Policy Makers / Sunil Choenni ; Erik Leertouwer
Knowledge Management
Intellectual Capital Management Using Knowledge Scorecards: The Austrian National Defence Academy Showcase / Johannes Göllner ; Klaus Mak ; Robert Woitsch
Deploying a Semantically-Enabled Content Management System in a State University / Maria Befa ; Efstratios Kontopoulos ; Nick Bassiliades ; Christos Berberidis ; Ioannis Vlahavas
Author Index
E-Government Services Analysis
Stakeholders' Views on Government Enterprise Architecture: Strategic Goals and New Public Services / Katja Penttinen ; Hannakaisa Isomäki
An Investigation into Critical Determinants of e-Government Implementation in the Context of a Developing Nation / Nahid Rashid ; Shams Rahman
29.

電子ブック
ＥＢ
29. Algorithmic Game Theory
Spyros Kontogiannis, Takeo Kanade, Elias Koutsoupias, Paul G. Spirakis, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
Nash Equilibria in Fisher Market
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Complexity of Safe Strategic Voting / Noam Hazon ; Edith Elkind
Bottleneck Congestion Games with Logarithmic Price of Anarchy / Rajgopal Kannan ; Costas Busch
Single-Parameter Combinatorial Auctions with Partially Public Valuations / Chinmay Karande ; Lei Wang
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms / Volodymyr Kuleshov ; Adrian Vetta
Braess's Paradox for Flows over Time / Martin Macko ; Kate Larson ; Eubos Steskal
The Price of Anarchy in Network Creation Games Is (Mostly) Constant / Matús Mihalák ; Jan Christoph Schlegel
Truthful Fair Division / Elchanan Mossel ; Omer Tamuz
No Regret Learning in Oligopolies: Cournot vs. Bertrand / Uri Nadav ; Georgios Piliouras
On the Complexity of Pareto-optimal Nash and Strong Equilibria / Martin Hoefer ; Alexander Skopalik
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties / Vijay V. Vazirani
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games / Bart de Keijzer ; Guido Schäfer ; Orestis A. Telelis
Minimal Subsidies in Expense Sharing Games / Reshef Meir ; Yoram Bachrach ; Jeffrey S. Rosenschein
Author Index
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
30.

電子ブック
ＥＢ
30. Communication Technologies for Vehicles
Thomas Strang, Andreas Festag, Takeo Kanade, Rashid Mehmood, Cristina Rico Garcia, Matthias R?ckl, Alexey Vinel
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
Rail Track
An Experimental Study of Multi-radio Platform Coexistence in the 5 GHz Band for Railway Applications / Jorge Higuera ; Elli Kartsakli ; Carlos Collado ; José M. González-Arbesú ; Luis Alonso ; José Luis Valenzuela ; Andres Laya ; Enrique Flores ; Isabel Navarro ; Raquel Martínez ; Jesús Gonzalez ; José Hierro ; Adrian Vlad
Train Tracking and Shadowing Estimation Based on Received Signal Strength / Hadi Noureddine ; Damien Castelain ; Ramesh Pyndiah
Delivering Broadband Internet Access for High Speed Trains Passengers Using an Innovative Network Mobility Solution / Bernadette Villeforceix
Measurement and Analysis of the Direct Train to Train Propagation Channel in the 70 cm UHF-Band / Andreas Lehner ; Cristina Rico García ; Thomas Strang ; Oliver Heirich
WiMaX'ble Pervasive Cloud - Empowering Next Generation Intelligent Railway Infrastructure / Subrahmanya Venkata Radha Krishna Rao ; Vivek Diwanji
The MIH (Media Independent Handover) Contribution to Mobility Management in a Heterogeneous Railway Communication Context: A IEEE802.11/802.16 Case Study / Marina Aguado ; Jasone Astorga ; Jon Matias ; Maider Huarte
Multiple Description Coding and Scalable Video Coding Combined with Multiple Input Multiple Output Techniques: Two Strategies to Enhance Train to wayside Video Transmissions in Tunnels / Imade Fahd Eddine Fatani ; Yann Cocheril ; Crépin Nsiaia ; Marion Berbineau ; François-Xavier Coudoux ; Marie Zwingelstein-Colin ; Patrick Corlay
Road Track
VANET Architectures and Protocol Stacks: A Survey / Sajjad Akbar Mohammad ; Asim Rasheed ; Amir Qayyum
Behavior Specification of a Red-Light Violation Warning Application - An Approach for Specifying Reactive Vehicle-2-X Communication Applications / Sebastian Röglinger ; Christian Facchi
Wireless ProtocoI Design for a Cooperative Pedestrian Protection System / Dirk Lill ; Manuel Schappacher ; Shohidul Islam ; Axel Sikora
A Vehicular Mobility Model Based on Real Traffic Counting Data / Yoann Pigné ; Grégoire Danoy ; Pascal BoUvry
Driver-Centric VANET Simulation / Pedro Gomes ; Cristina Olaverri-Monreal ; Michel Ferreira ; Luís Damas
Simulative Evaluation of the Potential of Car2X-Communication in Terms of Efficiency / Benno Schweiger ; Philipp Ehnert ; Johann Schlichter
Perfonnance Study of an In-Car Switched Ethernet Network without Prioritization / Hyung-Taek Lim ; Kay Weckemann ; Daniel Herrscher
Degradation of Communication Range in VANETs Caused by Interference 2.0 - Real-World Experiment / Robert K. Schmidt ; Bernhard Kloiber ; Florian Schüttler ; Thomas Sterang
Real-World Measurements of Non-Line-Of-Sight Reception Quality for 5.9GHz IEEE 802.111' at Intersections / Thomas Mangel ; Matthias Michl ; Oliver Klemp ; Hannes Hartenstein
Interoperability Testing Suite for C2X Communication Components / Fabian de Ponte Müller ; Juan María Reveriego Sierra ; Matthias Röckl
Towards Standardization of In-Cal Sensors / Zubair Nabi ; Atif Alvi ; Rashid Mehmood
Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates / Muhammad Sabir Idrees ; Hendrik Schweppe ; Yues Roudier ; Marko Wolf ; Dirk Scheuermann ; Olaf Hennzger
Author Index
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
Rail Track
31.

電子ブック
ＥＢ
31. Information and Communications Security
Miguel Soriano, Takeo Kanade, Javier L?pez, Sihan Qing
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cryptographic Hash Functions: Theory and Practice (Invited Talk) / Bart Preneel
Access Control / Session 1A：
Rewriting of SPARQL/Update Queries for Securing Data Access / Said Oulmakhzoune ; Nora Cuppens-Boulahia ; Frederic Cuppens ; Stephane Morucci
Fine-Grained Disclosure of Access Policies / Claudio Agostino Ardagna ; Sabrina De Capitani di Vimercati ; Sara Foresti ; Gregory Neven ; Stefano Paraboschi ; Franz-Stefan Preiss ; Pierangela Samarati ; Mario Verdicchio
Public Key Cryptography and Cryptanalysis / Session 1B：
Manger's Attack Revisited / Falko Strenzke
Horizontal Correlation Analysis on Exponentiation / Christophe Clavier ; Benoit Feix ; Georges Gagnerot ; Mylène Roussellet ; Vincent Verneuil
Threshold Public-Key Encryption with Adaptive Security and Short Ciphertexts / Bo Qin ; Qianhong Wu ; Lei Zhang ; Josep Domingo-Ferrer
Security in Distributed and Mobile Systems / Session 1C：
A Trust-Based Robust and Efficient Searching Scheme for Peer-to-Peer Networks / Jaydip Sen
CUDACS: Securing the Cloud with CUDA-Enabled Secure Virtualization / Flavio Lombardi ; Roberto Di Pietro
SEIP: Simple and Efficient Integrity Protection for Open Mobile Platforms / Xinwen Zhang ; Jean-Pierre Seifert ; Onur Aciiçmez
Securing Mobile Access in Ubiquitous Networking via Non-roaming Agreement Protocol / Talal Alharbi ; Abdullah Almuhaideb ; Phu Dung Le
Compromise-Resilient Anti-jamming for Wireless Sensor Networks / Xuan Jiang ; Wenhui Hu ; Sencun Zhu ; Guohong Cao
Cryptanalysis / Session 1D：
On Practical Second-Order Power Analysis Attacks for Block Ciphers / Renato Menicocci ; Andrea Simonetti ; Giuseppe Scotti ; Alessandro Trifiletti
Consecutive S-Box Lookups: A Timing Attack on SNOW 3G / Billy Bob Brumley ; Risto M. Hakala ; Kaisa Nyberg ; Sampo Sovio
Authentication / Session 2A：
Efficient Authentication for Mobile and Pervasive Computing / Basel Alomair ; Radha Poovendran
Security Enhancement and Modular Treatment towards Authenticated Key Exchange / Jiaxin Pan ; Libin Wang ; Changshe Ma
Federated Secret Handshakes with Support for Revocation / Alessandro Sorniotti ; Refik Molva
Fair Exchange Protocols / Session 2B：
An Agent-Mediated Fair Exchange Protocol / Gerard Draper-Gil ; Jianying Zhou ; Josep Lluís Ferrer-Gomila
A New Method for Formalizing Optimistic Fair Exchange Protocols / Ming Chen ; Kaigui Wu ; Jie Xu ; Pan He
Unconditionally Secure First-Price Auction Protocols Using a Multicomponent Commitment Scheme / Mehrdad Nojoumian ; Douglas R. Stinson
Anonymity and Privacy / Session 2C：
Proving Coercion-Resistance of Scantegrity II / Ralf Küsters ; Tomasz Truderung ; Andreas Vogt
Anonymity and Verifiability in Voting: Understanding (Un)Linkability / Lucie Langer ; Hugo Jonker ; Wolter Pieters
A Secure and Practical Approach for Providing Anonymity Protection for Trusted Platforms / Kurt Dietrich ; Johannes Winter
Time Warp: How Time Affects Privacy in LBSs / Luciana Marconi ; Bruno Crispo ; Mauro Conti
Software Security / Session 2D：
Return-Oriented Rootkit without Returns (on the x86) / Ping Chen ; Xiao Xing ; Bing Mao ; Li Xie
Experimental Threat Model Reuse with Misuse Case Diagrams / Jostein Jensen ; Inger Anne Tøndel ; Per Håkon Meland
Automatically Generating Patch in Binary Programs Using Attribute-Based Taint Analysis / Kai Chen ; Yifeng Lian ; Yingjun Zhang
Proxy Cryptosystems / Session 3A：
Identity-Based Proxy Cryptosystems with Revocability and Hierarchical Confidentialities / Lihua Wang ; Licheng Wang ; Masahiro Mambo ; Eiji Okamoto
Ciphertext Policy Attribute-Based Proxy Re-encryption / Song Luo ; Jianbin Hu ; Zhong Chen
Intrusion Detection Systems / Session 3B：
Hybrid Detection of Application Layer Attacks Using Markov Models for Normality and Attacks / Rolando Salazar-Hernández ; Jesús E. Díaz-Verdejo
A Trust-Based IDS for the AODV Protocol / Mohamed Ali Ayachi ; Christophe Bidan ; Nicolas Prigent
IDS Alert Visualization and Monitoring through Heuristic Host Selection / Hadi Shiravi ; Ali Shiravi ; Ali A. Ghorbani
A Two-Tier System for Web Attack Detection Using Linear Discriminant Method / Zhiyuan Tan ; Aruna Jamdagni ; Xiangjian He ; Priyadarsi Nanda ; Ren Ping Liu ; Wenjing Jia ; Wei-chang Yeh
Author Index
Cryptographic Hash Functions: Theory and Practice (Invited Talk) / Bart Preneel
Access Control / Session 1A：
Rewriting of SPARQL/Update Queries for Securing Data Access / Said Oulmakhzoune ; Nora Cuppens-Boulahia ; Frederic Cuppens ; Stephane Morucci
32.

電子ブック
ＥＢ
32. Structural Information and Communication Complexity
Adrian Kosowski, Takeo Kanade, Masafumi Yamashita
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Random Walks, Interacting Particles, Dynamic Networks: Randomness Can Be Helpful / Colin Cooper
SINR Maps: Properties and Applications / David Peleg
Survey Talk
A Survey on Some Recent Advances in Shared Memory Models / Sergio Rajsbaum ; Michel Raynal
Fault Tolerance
Consensus vs. Broadcast in Communication Networks with Arbitrary Mobile Omission Faults / Emmanuel Godard ; Joseph Peters
Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing (Extended Abstract) / Heinrich Moser ; Ulrich Schmid
Self-stabilizing Hierarchical Construction of Bounded Size Clusters / Alain Bui ; Simon Clavière ; Ajoy K. Datta ; Lawrence L. Larmore ; Devan Sohier
The Universe of Symmetry Breaking Tasks / Damien Imbs
Routing
Determining the Conditional Diagnosability of k-Azy n-Cubes under the MM* Model / Sun-Yuan Hsieh ; Chi-Ya Kao
Medium Access Control for Adversarial Channels with Jamming / Lakshmi Anantharamu ; Bogdan S. Chlebus ; Dariusz R. Kowalski ; Mariusz A. Rokicki
Full Reversal Routing as a Linear Dynamical System / Bernadette Charron-Bost ; Matthias Függer ; Jennifer L. Welch ; Josef Widder
Partial is Full
Mobile Agents/Robots (I)
Convergence with Limited Visibility by Asynchronous Mobile Robots / Branislav Katreniak
Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally / Philipp Brandes ; Bastian Degener ; Barbara Kempkes ; Friedhelm Meyer auf der Heide
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection / Sayaka Kamei ; Anissa Lamani ; Fukuhito Ooshita ; Sèbastien Tixeuil
Mobile Agents/Robots (II)
Gathering Asynchronous Oblivious Agents with Local Vision in Regular Bipartite Graphs / Samuel Guilbault ; Andrzej Pelc
Gathering of Six Robots on Anonymous Symmetric Rings / Gianlorenzo D'Angela ; Gabriele Di Stefano ; Alfredo Navarra
Tight Bounds for Scattered Black Hole Search in a Ring / Jèrèmie Chalopin ; Shantanu Das ; Arnaud Labourel ; Euripides Markou
Improving the Optimal Bounds for Black Hole Search in Rings / Balasingham Balamohan ; Paola Flocchini ; Ali Miri ; Nicola Santoro
Probabilistic Methods
The Cover Times of Random Walks on Hypergraphs / Alan Freeze ; Tomasz Radzik
Routing in Carrier-Based Mobile Networks / Bronislava Brejová ; Stefan Dobrev ; Rastislav Královic ; Tomáš Vinar
On the Performance of a Retransmission-Based Synchronizer / Thomas Nowak ; Alexander Kö?ler
Distributed Algorithms on Graphs
Distributed Coloring Depending on the Chromatic Number or the Neighborhood Growth / Johannes Schneider ; Roger Wattenhofer
Multiparty Equality Function Computation in Networks with Point-to-Point Links / Guanfeng Liang ; Nitin Vaidya
Network Verification via Routing Table Queries / Evangelos Bampas ; Davide Bilò ; Guido Drovandi ; Luciano Gualà ; Ralf Klasing ; Guido Proietti
Social Context Congestion Games / Vittorio Bilò ; Alessandro Celi ; Michele Flammini ; Vasco Gallotti
Ad-hoc Networks
Network Synchronization and Localization Based on Stolen Signals / Christian Schindelhauer ; Zvi Latker ; Johannes Wendeberg
Optimal Time Data Gathering in Wireless Networks with Omni-Directional Antennas / Jean-Claude Bermond ; Luisa Gargano ; Stephane Per?nnes ; Adele A. Rescigno ; Ugo Vaccaro
Author Index
Invited Talks
Random Walks, Interacting Particles, Dynamic Networks: Randomness Can Be Helpful / Colin Cooper
SINR Maps: Properties and Applications / David Peleg
33.

電子ブック
ＥＢ
33. Algorithmic Game Theory
Spyros Kontogiannis, Takeo Kanade, Elias Koutsoupias, Paul G. Spirakis, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
Nash Equilibria in Fisher Market
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Complexity of Safe Strategic Voting / Noam Hazon ; Edith Elkind
Bottleneck Congestion Games with Logarithmic Price of Anarchy / Rajgopal Kannan ; Costas Busch
Single-Parameter Combinatorial Auctions with Partially Public Valuations / Chinmay Karande ; Lei Wang
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms / Volodymyr Kuleshov ; Adrian Vetta
Braess's Paradox for Flows over Time / Martin Macko ; Kate Larson ; Eubos Steskal
The Price of Anarchy in Network Creation Games Is (Mostly) Constant / Matús Mihalák ; Jan Christoph Schlegel
Truthful Fair Division / Elchanan Mossel ; Omer Tamuz
No Regret Learning in Oligopolies: Cournot vs. Bertrand / Uri Nadav ; Georgios Piliouras
On the Complexity of Pareto-optimal Nash and Strong Equilibria / Martin Hoefer ; Alexander Skopalik
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties / Vijay V. Vazirani
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games / Bart de Keijzer ; Guido Schäfer ; Orestis A. Telelis
Minimal Subsidies in Expense Sharing Games / Reshef Meir ; Yoram Bachrach ; Jeffrey S. Rosenschein
Author Index
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
34.

電子ブック
ＥＢ
34. Algorithmic Aspects in Information and Management
Bo Chen, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Comparison of Two Algorithms for Computing Page Importance / Yuting Liu ; Zhi-Ming Ma
The Invisible Hand for Risk Averse Investment in Electricity Generation / Daniel Ralph ; Yves Smeers
Efficient Algorithms for the Prize Collecting Steiner Tree Problems with Interval Data / E. Álvarez-Miranda ; A. Candia ; X. Chen ; X. Hu ; B. Li
The (K, k)-Capacitated Spanning Tree Problem / Esther M. Arkin ; Nili Guttmann-Beck ; Refael Hassin
Optimal Algorithms for the Economic Lot-Sizing Problem with Multi-supplier / Qing-Guo Bai ; Jian-Teng Xu
Synthetic Road Networks / Reinhard Bauer ; Marcus Krug ; Sascha Meinert ; Dorothea Wagner
Computing Exact and Approximate Nash Equilibria in 2-Player Games / Vittorio Bitò ; Angela Fanelli
Where Would Refinancing Preferences Go? / Yajun Chai ; Bo Liu
Approximating Maximum Edge 2-Coloring in Simple Graphs / Zhi-Zhong Chen ; Sayuri Konno ; Yuki Matsushita
A Linear Kernel for Co-Path/Cycle Packing / Michael Fellows ; Bin Fu ; Haitao Jiang ; Yang Liu ; Lusheng Wang ; Binhai Zhu
A VaR Algorithm for Warrants Portfolio / Jun Dai ; Liyun Ni ; Xiangrong Wang ; Weizhong Chen
Some Results on Incremental Vertex Cover Problem / Wenqiang Dai
Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction / Christian Ernst ; Changxing Dong ; Gerold Jäger ; Dirk Richter ; Paul Molitor
Point Location in the Continuous-Time Moving Network / Chenglin Fan ; Jun Luo
Coordinated Scheduling of Production and Delivery with Production Window and Delivery Capacity Constraints / Yumei Huo ; Hairong Zhao
On the Approximability of the Vertex Cover and Related Problems / Xiucui Guan ; Binwu Zhang ; Qiaoming Han ; Abraham P. Punnen
Feasibility Testing for Dial-a-Ride Problems / Dag Haugland ; Sin C. Ho
Indexing Similar DNA Sequences / Songbo Huang ; T. W. Lam ; W. K. Sung ; S.L. Tom ; S.M. Yiu
Online Scheduling on Two Uniform Machines to Minimize the Makespan with a Periodic Availability Constraint / Ming Liu ; Chengbin Chu ; Yinfeng Xu ; Lu Wang
A New Smoothing Newton Method for Symmetric Cone Complementarity Problems / Lixia Liu ; Sanyang Liu
Approximation Algorithms for Scheduling with a Variable Machine Maintenance / Wenchang Luo ; Lin Chen ; Guochuan Zhang
Bounded Parallel-Batch Scheduling on Unrelated Parallel Machines / Cuixia Miao ; Yuzhong Zhang ; Chengfei Wang
Exact Algorithms for Coloring Graphs While Avoiding Monochromatic Cycles / Fabrice Talla Nobibon ; Cor Hurkens ; Roel Leus ; Frits C.R. Spieksma
Randomized Approaches for Nearest Neighbor Search in Metric Space When Computing the Pairwise Distance Is Extremely Expensive / Yong Yang ; Guohui Lin
A Primal-Dual Approximation Algorithm for the k-Level Stochastic Facility Location Problem / Zhen Wang ; Donglei Du ; Dachuan Xu
Optimal Semi-online Scheduling Algorithms on Two Parallel Identical Machines under a Grade of Service Provision / Yong Wu ; Qifan Yang
Varieties of Regularities in Weighted Sequences / Hui Zhang ; Qing Guo ; Cosias S. Iliopoulos
Online Uniformly Inserting Points on Grid / Yong Zhang ; Zhuo Chang ; Francis Y.L. Chin ; Hing-Fung Ting ; Yung H. Tsin
Kernelization for Cycle Transversal Problems / Ge Xia
Online Splitting Interval Scheduling on m Identical Machines / Feifeng Zheng ; E. Zhang
Extended Tabu Search on Fuzzy Traveling Salesman Problem in Multi-criteria Analysis / Yujun Zheng
Efficient Exact and Approximate Algorithms for the Complement of Maximal Strip Recovery
Author Index
Comparison of Two Algorithms for Computing Page Importance / Yuting Liu ; Zhi-Ming Ma
The Invisible Hand for Risk Averse Investment in Electricity Generation / Daniel Ralph ; Yves Smeers
Efficient Algorithms for the Prize Collecting Steiner Tree Problems with Interval Data / E. Álvarez-Miranda ; A. Candia ; X. Chen ; X. Hu ; B. Li
35.

電子ブック
ＥＢ
35. Proceedings of the Third international conference on Algorithmic game theory
Spyros Kontogiannis, Takeo Kanade, Elias Koutsoupias, Paul G. Spirakis, Association for Computing Machinery-Digital Library., Paul Spirakis
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
Nash Equilibria in Fisher Market
Partition Equilibrium Always Exists in Resource Selection Games / Elliot Anshelevich ; Bugra Caskurlu ; Ameya Hate
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics / Vincenzo Auletta ; Diodato Ferraioli ; Francesco Pasquale ; Giuseppe Persiano
Pareto Efficiency and Approximate Pareto Efficiency in Routing and Load Balancing Games / Yonatan Aumann ; Yair Dombb
On Nash-Equilibria of Approximation-Stable Games / Pranjal Awasthi ; Maria-Florina Balcan ; Avrim Blum ; Or Sheffet ; Santosh Vempala
Improved Lower Bounds on the Price of Stability of Undirected Network Design Games / Vittorio Bilò ; Ioannis Caragiannis ; Angelo Fanelli ; Gianpiero Monaco
On the Rate of Convergence of Fictitious Play / Felix Brandt ; Felix Fischer ; Paul Harrenstein
On Learning Algorithms for Nash Equilibria / Constantinos Daskalakis ; Rafael Frongillo ; Christos H. Papadimitriou ; George Pierrakos ; Gregory Valiant
On the Structure of Weakly Acyclic Games / Alex Fabrikant ; Aaron D. Jaggard ; Michael Schapira
A Direct Reduction from k-Player to 2-Player Approximate Nash Equilibrium / Uriel Feige ; Inbal Talgam-Cohen
Responsive Lotteries / Moshe Tennenholtz
On the Existence of Optimal Taxes for Network Congestion Games with Heterogeneous Users / Dimitris Fotakis ; George Karakostas ; Stavros G. Kolliopoulos
Computing Stable Outcomes in Hedonic Games / Martin Gairing ; Rahul Savani
A Perfect Price Discrimination Market Model with Production, and a (Rational) Convex Program for It / Gagan Goel ; Vijay Vazirani
The Computational Complexity of Trembling Hand Perfection and Other Equilibrium Refinements / Kristoffer Arnsfelt Hansen ; Peter Bro Miltersen ; Troels Bjerre Sørensen
Complexity of Safe Strategic Voting / Noam Hazon ; Edith Elkind
Bottleneck Congestion Games with Logarithmic Price of Anarchy / Rajgopal Kannan ; Costas Busch
Single-Parameter Combinatorial Auctions with Partially Public Valuations / Chinmay Karande ; Lei Wang
On the Efficiency of Markets with Two-Sided Proportional Allocation Mechanisms / Volodymyr Kuleshov ; Adrian Vetta
Braess's Paradox for Flows over Time / Martin Macko ; Kate Larson ; Eubos Steskal
The Price of Anarchy in Network Creation Games Is (Mostly) Constant / Matús Mihalák ; Jan Christoph Schlegel
Truthful Fair Division / Elchanan Mossel ; Omer Tamuz
No Regret Learning in Oligopolies: Cournot vs. Bertrand / Uri Nadav ; Georgios Piliouras
On the Complexity of Pareto-optimal Nash and Strong Equilibria / Martin Hoefer ; Alexander Skopalik
2-Player Nash and Nonsymmetric Bargaining Games: Algorithms and Structural Properties / Vijay V. Vazirani
On the Inefficiency of Equilibria in Linear Bottleneck Congestion Games / Bart de Keijzer ; Guido Schäfer ; Orestis A. Telelis
Minimal Subsidies in Expense Sharing Games / Reshef Meir ; Yoram Bachrach ; Jeffrey S. Rosenschein
Author Index
When the Players are not Expectation Maximizers (Invited Talk) / Amos Fiat ; Christos Papadimitriou
How Do You Like Your Equilibrium Selection Problems? Hard, or Very Hard? (Invited Talk) / Paul W. Goldberg
A Simplex-Like Algorithm for Fisher Markets / Bharat Adsul ; Ch. Sobhan Babu ; Jugal Garg ; Ruta Mehta ; Milind Sohoni
36.

電子ブック
ＥＢ
36. Electronic Government and the Information Systems Perspective
Kim Normann Andersen, Tom M. Engers, Enrico Francesconi, Åke Grönlund, Takeo Kanade, Tom M. van Engers
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
E-Government Services Analysis
Stakeholders' Views on Government Enterprise Architecture: Strategic Goals and New Public Services / Katja Penttinen ; Hannakaisa Isomäki
An Investigation into Critical Determinants of e-Government Implementation in the Context of a Developing Nation / Nahid Rashid ; Shams Rahman
"What We Cannot Speak about We Must Pass over in Silence" - (In)correctly Arguing and Comparing the Costs of IT Investments in Public Sector / Samuli Pekkola ; Kimmo Wideroos
Decision Support Tools
Small-Area Population Projections - A Key Element in Knowledge Based e-Governance / Henning Sten Hansen
From Policy-Making Statements to First-Order Logic / Adam Wyner ; Tom van Engers ; Kiavash Bahreini
A Fuzzy Recommender System for eElections / Luis Terán ; Andreas Meier
Invited Talk
Web 2.0 Creates a New Government / Roland Traunmüller
ICT in E-Government (I)
Elements of Comprehensive Assessments of IT Infrastructure Projects in the Austrian Ministry of Finance / Edward W.N. Bernroider ; Stefan Koch ; Volker Stix
Updating Official Publications to the Web 3.0: A Quantum Leap in e-Gov Transparency and Citizen Participation Is on Sight / Francisco-Javier García-Marco
One Inch Wide and One Inch Deep: The Role of Policies in Shaping the Adoption of Open Standards and Software in Government / Kim Normann Andersen ; Daniel Veit ; Rony Medaglia ; Helle Zinner Henriksen
Information Modelling and Integration
Facilitating E-Government Services through SDIs, an Application for Water Abstractions Authorizations / Migul ángel Latre ; Francisco J. Lopez-Pellicer ; Javier Nogueras-Iso ; Rubé Béjar ; Pedro R. Muro-Medrano
Towards Interoperability: An Architecture for Pan-European eID-Based Authenation Services / Arne Tauber ; Bernd Zwattendorfer ; Thomas Zefferer ; Yasmin Mazhari ; Eleftherios Chamakiotis
E-Government Services and Web 2.0 (I)
SocialSupervisor: A Geographically Enhanced Social Content Site to Supervise Public Works / Luciana Cavalcante de Menezes ; Hugo Feitosa de Figueirêdo ; Ricardo Madeira Fernandes ; Tiago Eduardo da Silva ; Cláudio de Souza Baptista
Transforming the Greek e-Government Environment towards the e-Gov 2.0 Era / Prokopios Drogkaris ; Stefanos Gritzalis ; Costas Lambrinoudakis
E-Government Services Design, Implementation and Monitoring
Geographic e-Services Development through Product-Line Engineering and Standardization / Agustina Buccella ; Alejandra Cechich
Governmeter: Monitoring Government Performance: A Web Based Application Proposal / Artur Afonso Sousa ; Pedro Agante ; Luís Borges Gouveia
ICT in E-Government (II)
Policy Incentives for Innovation Diffusion: An Agent-Based Simulation / Enrich Ferro ; Brunella Caroleo ; Marco Cantamessa ; Maur Leo
E-Government Services Using Customer Index Knowledge / Sung Ho Ha ; Min Jung Lee
The Bangladesh National Biometric Database: A Transferable Success? / M. Sirajul Islam ; Åke Grönlund
E-Government Services and Web 2.0 (II)
E-Government and Geographical Information Based Collaboration Patterns / Lise Schrøder ; Line Hvingel
Participatory Design of Public Sector Services / Alan Hartman ; Anshu N. Jain ; Jay Ramanathan ; Antonis Ramfos ; Willem-Jan Van der Heuvel ; Christian Zirpins ; Stefan Tai ; Yannis Charalabidis ; A. Pasic ; T. Johannessen ; T. Grønsund
Public Safety Mashups to Support Policy Makers / Sunil Choenni ; Erik Leertouwer
Knowledge Management
Intellectual Capital Management Using Knowledge Scorecards: The Austrian National Defence Academy Showcase / Johannes Göllner ; Klaus Mak ; Robert Woitsch
Deploying a Semantically-Enabled Content Management System in a State University / Maria Befa ; Efstratios Kontopoulos ; Nick Bassiliades ; Christos Berberidis ; Ioannis Vlahavas
Author Index
E-Government Services Analysis
Stakeholders' Views on Government Enterprise Architecture: Strategic Goals and New Public Services / Katja Penttinen ; Hannakaisa Isomäki
An Investigation into Critical Determinants of e-Government Implementation in the Context of a Developing Nation / Nahid Rashid ; Shams Rahman
37.

電子ブック
ＥＢ
37. Communication Technologies for Vehicles
Thomas Strang, Andreas Festag, Takeo Kanade, Rashid Mehmood, Cristina Rico Garcia, Matthias Röckl, Alexey Vinel
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
Rail Track
An Experimental Study of Multi-radio Platform Coexistence in the 5 GHz Band for Railway Applications / Jorge Higuera ; Elli Kartsakli ; Carlos Collado ; José M. González-Arbesú ; Luis Alonso ; José Luis Valenzuela ; Andres Laya ; Enrique Flores ; Isabel Navarro ; Raquel Martínez ; Jesús Gonzalez ; José Hierro ; Adrian Vlad
Train Tracking and Shadowing Estimation Based on Received Signal Strength / Hadi Noureddine ; Damien Castelain ; Ramesh Pyndiah
Delivering Broadband Internet Access for High Speed Trains Passengers Using an Innovative Network Mobility Solution / Bernadette Villeforceix
Measurement and Analysis of the Direct Train to Train Propagation Channel in the 70 cm UHF-Band / Andreas Lehner ; Cristina Rico García ; Thomas Strang ; Oliver Heirich
WiMaX'ble Pervasive Cloud - Empowering Next Generation Intelligent Railway Infrastructure / Subrahmanya Venkata Radha Krishna Rao ; Vivek Diwanji
The MIH (Media Independent Handover) Contribution to Mobility Management in a Heterogeneous Railway Communication Context: A IEEE802.11/802.16 Case Study / Marina Aguado ; Jasone Astorga ; Jon Matias ; Maider Huarte
Multiple Description Coding and Scalable Video Coding Combined with Multiple Input Multiple Output Techniques: Two Strategies to Enhance Train to wayside Video Transmissions in Tunnels / Imade Fahd Eddine Fatani ; Yann Cocheril ; Crépin Nsiaia ; Marion Berbineau ; François-Xavier Coudoux ; Marie Zwingelstein-Colin ; Patrick Corlay
Road Track
VANET Architectures and Protocol Stacks: A Survey / Sajjad Akbar Mohammad ; Asim Rasheed ; Amir Qayyum
Behavior Specification of a Red-Light Violation Warning Application - An Approach for Specifying Reactive Vehicle-2-X Communication Applications / Sebastian Röglinger ; Christian Facchi
Wireless ProtocoI Design for a Cooperative Pedestrian Protection System / Dirk Lill ; Manuel Schappacher ; Shohidul Islam ; Axel Sikora
A Vehicular Mobility Model Based on Real Traffic Counting Data / Yoann Pigné ; Grégoire Danoy ; Pascal BoUvry
Driver-Centric VANET Simulation / Pedro Gomes ; Cristina Olaverri-Monreal ; Michel Ferreira ; Luís Damas
Simulative Evaluation of the Potential of Car2X-Communication in Terms of Efficiency / Benno Schweiger ; Philipp Ehnert ; Johann Schlichter
Perfonnance Study of an In-Car Switched Ethernet Network without Prioritization / Hyung-Taek Lim ; Kay Weckemann ; Daniel Herrscher
Degradation of Communication Range in VANETs Caused by Interference 2.0 - Real-World Experiment / Robert K. Schmidt ; Bernhard Kloiber ; Florian Schüttler ; Thomas Sterang
Real-World Measurements of Non-Line-Of-Sight Reception Quality for 5.9GHz IEEE 802.111' at Intersections / Thomas Mangel ; Matthias Michl ; Oliver Klemp ; Hannes Hartenstein
Interoperability Testing Suite for C2X Communication Components / Fabian de Ponte Müller ; Juan María Reveriego Sierra ; Matthias Röckl
Towards Standardization of In-Cal Sensors / Zubair Nabi ; Atif Alvi ; Rashid Mehmood
Secure Automotive On-Board Protocols: A Case of Over-the-Air Firmware Updates / Muhammad Sabir Idrees ; Hendrik Schweppe ; Yues Roudier ; Marko Wolf ; Dirk Scheuermann ; Olaf Hennzger
Author Index
Keynote
Requirements for Wireless Technology on Rolling Stock / Uwe Kucharzyk
Rail Track
38.

電子ブック
ＥＢ
38. Computational Intelligence Methods for Bioinformatics and Biostatistics
Francesco Masulli, Takeo Kanade, Leif E. Peterson, Roberto Tagliaferri, Leif Peterson
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tools for Bioinformatics
The ImmunoGrid Simulator: How to Use It / Francesco Pappalardo ; Mark Halling-Brown ; Marzio Pennisi ; Ferdinando Chiacchio ; Clare E. Sansom ; Adrian J. Shepherd ; David S. Moss ; Santo Motta ; Vladimir Brusic
Improving Coiled-Coil Prediction with Evolutionary Information / Piero Fariselli ; Lisa Bartoli ; Rita Casadio
Intelligent Text Processing Techniques for Textual-Profile Gene Characterization / Floriana Esposito ; Marenglen Biba ; Stefano Ferilli
SILACAnalyzer - A Tool for Differential Quantitation of Stable Isotope Derived Data / Lars Nilse ; Marc Sturm ; David Trudgian ; Mogjiborahman Salek ; Paul F.G. Sims ; Kathleen M. Carroll ; Simon J. Hubbard
Gene Expression Analysis
Non-parametric MANOVA Methods for Detecting Differentially Expressed Genes in Real-Time RT-PCR Experiments / Niccoló Bassani ; Federico Ambrogi ; Roberta Bosotti ; Matteo Bertolotti ; Antonella Isacchi ; Elia Biganzoli
In Silico Screening for Pathogenesis Related-2 Gene Candidates in Vigna Unguiculata Transcriptome / Ana Carolina Wanderley-Nogueira ; Nina da Mota Soares-Cavalcanti ; Luis Carlos Belarmino ; Adriano Barbosa-Silva ; Ederson Akio Kido ; Semiramis Jamil Hadad do Monte ; Valesca Pandolfi ; Tercilio Calsa-Junior ; Ana Maria Benko-Iseppon
Penalized Principal Component Analysis of Microarray Data / Vladimir Nikulin ; Geoffrey J. McLachlan
An Information Theoretic Approach to Reverse Engineering of Regulatory Gene Networks from Time-Course Data / Pietro Zoppoli ; Sandro Morganella ; Michele Ceccarelli
New Perspectives in Bioinformatics
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks / Gilles Bernot ; Jean-Paul Comet
Predicting Protein-Protein Interactions with K-Nearest Neighbors Classification Algorithm / Mario R. Guarracino ; Adriano Nebbia
Simulations of the EGFR - KRAS - MAPK Signalling Network in Colon Cancer. Virtual Mutations and Virtual Treatments with Inhibitors Have More Important Effects Than a 10 Times Range of Normal Parameters and Rates Fluctuations / Nicoletta Castagnino ; Lorenzo Tortolina ; Roberto Montagna ; Raffaele Pesenti ; Anahi Balbi ; Silvio Parodi
Special Session on "Using Game-Theoretical Tools in Bioinformatics"
Basics of Game Theory for Bioinformatics / Fioravante Patrone
Microarray Data Analysis via Weighted Indices and Weighted Majority Games / Roberto Lucchetti ; Paola Radrizzani
Special Session on "Combining Bayesian and Machine Learning Approaches in Bioinformatics: State of Art and Future Perspectives"
Combining Replicates and Nearby Species Data: A Bayesian Approach / Claudia Angelini ; Italia De Feis ; Viet Anh Nguyen ; Richard van der Wath ; Pietro Liò
Multiple Sequence Alignment with Genetic Algorithms / Marco Botta ; Guido Negro
Special Session on "Data Clustering and Bioinformatics" (DCB 2009)
Multiple Clustering Solutions Analysis through Least-Squares Consensus Algorithms / Loredana Murino ; Ida Bifulco ; Giancarlo Raiconi ; Roberto Tagliaferri
Projection Based Clustering of Gene Expression Data / Sotiris K. Tasoulis ; Vassilis P. Plagianakos ; Dimitris K. Tasoulis
Searching a Multivariate Partition Space Using MAX-SAT / Silvia Liverani ; James Cussens ; Jim Q. Smith
A Novel Approach for Biclustering Gene Expression Data Using Modular Singular Value Decomposition / V.N. Manjunath Aradhya ; Francesco Masulli ; Stefano Rovetta
Special Session on "Intelligent Systems for Medical Decisions Support" (ISMDS 2009)
Using Computational Intelligence to Develop Intelligent Clinical Decision Support Systems / Alexandru G. Floares
Different Methodologies for Patient Stratification Using Survival Data / Ana S. Fernandes ; Davide Bacciu ; Ian H. Jarman ; Terence A. Etchells ; José M. Fonseca ; Paulo J.G. Lisboa
3-D Mouse Brain Model Reconstruction from a Sequence of 2-D Slices in Application to Allen Brain Atlas / Anton Osokin ; Dmitry Vetrov ; Dmitry Kropotov
A Proposed Knowledge Based Approach for Solving Proteomics Issues / Antonino Fiannaca ; Salavatore Gaglio ; Massimo La Rosa ; Daniele Peri ; Riccardo Rizzo ; Alfonso Urso
Author Index
Tools for Bioinformatics
The ImmunoGrid Simulator: How to Use It / Francesco Pappalardo ; Mark Halling-Brown ; Marzio Pennisi ; Ferdinando Chiacchio ; Clare E. Sansom ; Adrian J. Shepherd ; David S. Moss ; Santo Motta ; Vladimir Brusic
Improving Coiled-Coil Prediction with Evolutionary Information / Piero Fariselli ; Lisa Bartoli ; Rita Casadio
39.

電子ブック
ＥＢ
39. Theory and Applications of Satisfiability Testing – SAT 2010
Ofer Strichman, Takeo Kanade, Stefan Szeider, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks / Part 1：
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference / Yehuda Naveh
Exact Algorithms and Complexity / Ramamohan Paturi
Regular Papers / Part 2：
Improving Stochastic Local Search for SAT with a New Probability Distribution / Adrian Balint ; Andreas Fröhlich
Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas / Eli Ben-Sasson ; Jan Johannsen
Proof Complexity of Propositional Default Logic / Olaf Beyersdorff ; Arne Meier ; Sebastian Müller ; Michael Thomas ; Heribert Vollmer
Automated Testing and Debugging of SAT and QBF Solvers / Robert Brummayer ; Florian Lonsing ; Armin Biere
Rewriting (Dependency-) Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN / Uwe Bubeck ; Hans Kleine Büning
Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT / Carsten Fuhs ; Peter Schneider-Kamp
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning / Enrico Giunchiglia ; Paolo Marin ; Massimo Narizzano
Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold / Yacine Boufkhad ; Thomas Hugel
Symmetry and Satisfiability: An Update / Hadi Katebi ; Karem A. Sakallah ; Igor L. Markov
A Non-prenex, Non-clausal QBF Solver with Game-State Learning / William Klieber ; Samir Sapra ; Sicun Gao ; Edmund Clarke
SAT Solving with Reference Points / Stephan Kottler
Integrating Dependency Schemes in Search-Based QBF Solvers
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF / Kazuhisa Makino ; Suguru Tamaki ; Masaki Yamamoto
Improving Unsatisfiability-Based Algorithms for Boolean Optimization / Vasco Manquinho ; Ruben Martins ; Inês Lynce
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs / Christian Miller ; Stefan Kupferschmid ; Matthew Lewis ; Bernd Becker
Statistical Methodology for Comparison of SAT Solvers / Mladen Nikolic
On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem / Denis Pankratov ; Allan Borodin
The Seventh QBF Solvers Evaluation (QBFEVAL'10) / Claudia Peschiera ; Luca Pulina ; Armando Tacchella ; Oliver Kullmann
Complexity Results for Linear XSAT-Problems / Stefan Porschen ; Tatjana Schmidt ; Ewald Speckenmeyer
Bounds on Threshold of Regular Random k-SAT / Vishwambhar Rathi ; Erik Aurell ; Lars Rasmussen ; Mikael Skoglund
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT / Dave A.D. Tompkins ; Holger H. Hoos
Short Papers / Part 3：
Improved Local Search for Circuit Satisfiability / Anton Belov ; Zbigniew Stachniak
A System for Solving Constraint Satisfaction Problems with SMT / Miquel Bofil ; Josep Suy ; Mateu Villaret
Two Techniques for Minimizing Resolution Proofs / Scott Cotton
On Moderately Exponential Time for SAT / Evgeny Dantsin ; Alexander Wolpert
Minimising Deterministic Büchi Automata Precisely Using SAT Solving / Rüdiger Ehlers
Exploiting Circuit Representations in QBF solving / Alexandra Goultiaeva ; Fahiem Bacchus
Reconstructing Solutions after Blocked Clause Elimination / Matti Järvisalo
An Empirical Study of Optimal Noise and Runtime Distributions in Local Search / Lukas Kroc ; Ashish Sabharwal ; Bart Selman
Green-Tao Numbers and SAT
Exact MinSAT Solving / Chu Min Li ; Felip Manyà ; Zhe Quan ; Zhu Zhu
Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable / William Matthews
Assignment Stack Shrinking / Alexander Nadel ; Vadim Ryuchin
Simple but Hard Mixed Horn Formulas / Gayathri Namasivayam ; Miroslaw Truszczynski
Zero-One Designs Produce Small Hard SAT Instances / Allen Van Gelder ; Ivor Spence
Author Index
Invited Talks / Part 1：
The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference / Yehuda Naveh
Exact Algorithms and Complexity / Ramamohan Paturi
40.

電子ブック
ＥＢ
40. Structural Information and Communication Complexity
Adrian Kosowski, Takeo Kanade, Masafumi Yamashita, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Random Walks, Interacting Particles, Dynamic Networks: Randomness Can Be Helpful / Colin Cooper
SINR Maps: Properties and Applications / David Peleg
Survey Talk
A Survey on Some Recent Advances in Shared Memory Models / Sergio Rajsbaum ; Michel Raynal
Fault Tolerance
Consensus vs. Broadcast in Communication Networks with Arbitrary Mobile Omission Faults / Emmanuel Godard ; Joseph Peters
Reconciling Fault-Tolerant Distributed Algorithms and Real-Time Computing (Extended Abstract) / Heinrich Moser ; Ulrich Schmid
Self-stabilizing Hierarchical Construction of Bounded Size Clusters / Alain Bui ; Simon Clavière ; Ajoy K. Datta ; Lawrence L. Larmore ; Devan Sohier
The Universe of Symmetry Breaking Tasks / Damien Imbs
Routing
Determining the Conditional Diagnosability of k-Azy n-Cubes under the MM* Model / Sun-Yuan Hsieh ; Chi-Ya Kao
Medium Access Control for Adversarial Channels with Jamming / Lakshmi Anantharamu ; Bogdan S. Chlebus ; Dariusz R. Kowalski ; Mariusz A. Rokicki
Full Reversal Routing as a Linear Dynamical System / Bernadette Charron-Bost ; Matthias Függer ; Jennifer L. Welch ; Josef Widder
Partial is Full
Mobile Agents/Robots (I)
Convergence with Limited Visibility by Asynchronous Mobile Robots / Branislav Katreniak
Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally / Philipp Brandes ; Bastian Degener ; Barbara Kempkes ; Friedhelm Meyer auf der Heide
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection / Sayaka Kamei ; Anissa Lamani ; Fukuhito Ooshita ; Sèbastien Tixeuil
Mobile Agents/Robots (II)
Gathering Asynchronous Oblivious Agents with Local Vision in Regular Bipartite Graphs / Samuel Guilbault ; Andrzej Pelc
Gathering of Six Robots on Anonymous Symmetric Rings / Gianlorenzo D'Angela ; Gabriele Di Stefano ; Alfredo Navarra
Tight Bounds for Scattered Black Hole Search in a Ring / Jèrèmie Chalopin ; Shantanu Das ; Arnaud Labourel ; Euripides Markou
Improving the Optimal Bounds for Black Hole Search in Rings / Balasingham Balamohan ; Paola Flocchini ; Ali Miri ; Nicola Santoro
Probabilistic Methods
The Cover Times of Random Walks on Hypergraphs / Alan Freeze ; Tomasz Radzik
Routing in Carrier-Based Mobile Networks / Bronislava Brejová ; Stefan Dobrev ; Rastislav Královic ; Tomáš Vinar
On the Performance of a Retransmission-Based Synchronizer / Thomas Nowak ; Alexander Kö?ler
Distributed Algorithms on Graphs
Distributed Coloring Depending on the Chromatic Number or the Neighborhood Growth / Johannes Schneider ; Roger Wattenhofer
Multiparty Equality Function Computation in Networks with Point-to-Point Links / Guanfeng Liang ; Nitin Vaidya
Network Verification via Routing Table Queries / Evangelos Bampas ; Davide Bilò ; Guido Drovandi ; Luciano Gualà ; Ralf Klasing ; Guido Proietti
Social Context Congestion Games / Vittorio Bilò ; Alessandro Celi ; Michele Flammini ; Vasco Gallotti
Ad-hoc Networks
Network Synchronization and Localization Based on Stolen Signals / Christian Schindelhauer ; Zvi Latker ; Johannes Wendeberg
Optimal Time Data Gathering in Wireless Networks with Omni-Directional Antennas / Jean-Claude Bermond ; Luisa Gargano ; Stephane Per?nnes ; Adele A. Rescigno ; Ugo Vaccaro
Author Index
Invited Talks
Random Walks, Interacting Particles, Dynamic Networks: Randomness Can Be Helpful / Colin Cooper
SINR Maps: Properties and Applications / David Peleg
41.

電子ブック
ＥＢ
41. Information and Communications Security
Miguel Soriano, Takeo Kanade, Javier López, Sihan Qing
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Cryptographic Hash Functions: Theory and Practice (Invited Talk) / Bart Preneel
Access Control / Session 1A：
Rewriting of SPARQL/Update Queries for Securing Data Access / Said Oulmakhzoune ; Nora Cuppens-Boulahia ; Frederic Cuppens ; Stephane Morucci
Fine-Grained Disclosure of Access Policies / Claudio Agostino Ardagna ; Sabrina De Capitani di Vimercati ; Sara Foresti ; Gregory Neven ; Stefano Paraboschi ; Franz-Stefan Preiss ; Pierangela Samarati ; Mario Verdicchio
Public Key Cryptography and Cryptanalysis / Session 1B：
Manger's Attack Revisited / Falko Strenzke
Horizontal Correlation Analysis on Exponentiation / Christophe Clavier ; Benoit Feix ; Georges Gagnerot ; Mylène Roussellet ; Vincent Verneuil
Threshold Public-Key Encryption with Adaptive Security and Short Ciphertexts / Bo Qin ; Qianhong Wu ; Lei Zhang ; Josep Domingo-Ferrer
Security in Distributed and Mobile Systems / Session 1C：
A Trust-Based Robust and Efficient Searching Scheme for Peer-to-Peer Networks / Jaydip Sen
CUDACS: Securing the Cloud with CUDA-Enabled Secure Virtualization / Flavio Lombardi ; Roberto Di Pietro
SEIP: Simple and Efficient Integrity Protection for Open Mobile Platforms / Xinwen Zhang ; Jean-Pierre Seifert ; Onur Aciiçmez
Securing Mobile Access in Ubiquitous Networking via Non-roaming Agreement Protocol / Talal Alharbi ; Abdullah Almuhaideb ; Phu Dung Le
Compromise-Resilient Anti-jamming for Wireless Sensor Networks / Xuan Jiang ; Wenhui Hu ; Sencun Zhu ; Guohong Cao
Cryptanalysis / Session 1D：
On Practical Second-Order Power Analysis Attacks for Block Ciphers / Renato Menicocci ; Andrea Simonetti ; Giuseppe Scotti ; Alessandro Trifiletti
Consecutive S-Box Lookups: A Timing Attack on SNOW 3G / Billy Bob Brumley ; Risto M. Hakala ; Kaisa Nyberg ; Sampo Sovio
Authentication / Session 2A：
Efficient Authentication for Mobile and Pervasive Computing / Basel Alomair ; Radha Poovendran
Security Enhancement and Modular Treatment towards Authenticated Key Exchange / Jiaxin Pan ; Libin Wang ; Changshe Ma
Federated Secret Handshakes with Support for Revocation / Alessandro Sorniotti ; Refik Molva
Fair Exchange Protocols / Session 2B：
An Agent-Mediated Fair Exchange Protocol / Gerard Draper-Gil ; Jianying Zhou ; Josep Lluís Ferrer-Gomila
A New Method for Formalizing Optimistic Fair Exchange Protocols / Ming Chen ; Kaigui Wu ; Jie Xu ; Pan He
Unconditionally Secure First-Price Auction Protocols Using a Multicomponent Commitment Scheme / Mehrdad Nojoumian ; Douglas R. Stinson
Anonymity and Privacy / Session 2C：
Proving Coercion-Resistance of Scantegrity II / Ralf Küsters ; Tomasz Truderung ; Andreas Vogt
Anonymity and Verifiability in Voting: Understanding (Un)Linkability / Lucie Langer ; Hugo Jonker ; Wolter Pieters
A Secure and Practical Approach for Providing Anonymity Protection for Trusted Platforms / Kurt Dietrich ; Johannes Winter
Time Warp: How Time Affects Privacy in LBSs / Luciana Marconi ; Bruno Crispo ; Mauro Conti
Software Security / Session 2D：
Return-Oriented Rootkit without Returns (on the x86) / Ping Chen ; Xiao Xing ; Bing Mao ; Li Xie
Experimental Threat Model Reuse with Misuse Case Diagrams / Jostein Jensen ; Inger Anne Tøndel ; Per Håkon Meland
Automatically Generating Patch in Binary Programs Using Attribute-Based Taint Analysis / Kai Chen ; Yifeng Lian ; Yingjun Zhang
Proxy Cryptosystems / Session 3A：
Identity-Based Proxy Cryptosystems with Revocability and Hierarchical Confidentialities / Lihua Wang ; Licheng Wang ; Masahiro Mambo ; Eiji Okamoto
Ciphertext Policy Attribute-Based Proxy Re-encryption / Song Luo ; Jianbin Hu ; Zhong Chen
Intrusion Detection Systems / Session 3B：
Hybrid Detection of Application Layer Attacks Using Markov Models for Normality and Attacks / Rolando Salazar-Hernández ; Jesús E. Díaz-Verdejo
A Trust-Based IDS for the AODV Protocol / Mohamed Ali Ayachi ; Christophe Bidan ; Nicolas Prigent
IDS Alert Visualization and Monitoring through Heuristic Host Selection / Hadi Shiravi ; Ali Shiravi ; Ali A. Ghorbani
A Two-Tier System for Web Attack Detection Using Linear Discriminant Method / Zhiyuan Tan ; Aruna Jamdagni ; Xiangjian He ; Priyadarsi Nanda ; Ren Ping Liu ; Wenjing Jia ; Wei-chang Yeh
Author Index
Cryptographic Hash Functions: Theory and Practice (Invited Talk) / Bart Preneel
Access Control / Session 1A：
Rewriting of SPARQL/Update Queries for Securing Data Access / Said Oulmakhzoune ; Nora Cuppens-Boulahia ; Frederic Cuppens ; Stephane Morucci
42.

電子ブック
ＥＢ
42. Reconfigurable Computing: Architectures, Tools and Applications
Phaophak Sirisuk, Hideharu Amano, Tarek El-Ghazawi, Takeo Kanade, Fearghal Morgan
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes (Abstracts)
High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors for Tera-Scale Multi-core Microprocessors / Ram Krishnamurthy
Process Variability and Degradation: New Frontier for Reconfigurable / Peter Y.K. Cheung
Towards Analytical Methods of FPGA Architecture Investigation / Steven J.E. Wilton
Architectures 1 / Session 1：
Generic Systolic Array for Run-Time Scalable Cores / Andrés Otero ; Yana E. Krasteva ; Eduardo de la Torre ; Teresa Riesgo
Virtualization within a Parallel Array of Homogeneous Processing Units / Marc Stöttinger ; Alexander Biedermann ; Sorin Alexander Huss
Feasibility Study of a Self-healing Hardware Platform / Michael Reibel Boesen ; Pascal Schleuniger ; Jan Madsen
Applications 1 / Session 2：
Application-Specific Signatures for Transactional Memory in Soft Processors / Martin Labrecque ; Mark Jeffrey ; J. Gregory Steffan
Towards Rapid Dynamic Partial Reconfiguration in Video-Based Driver Assistance Systems / Christopher Claus ; Rehan Ahmed ; Florian Altenried ; Walter Stechele
Parametric Encryption Hardware Design / Adrien Le Masle ; Wayne Luk ; Jared Eldredge ; Kris Carver
Architectures 2 / Weibo Pan ; William MarnaneSession 3：
Application Specific FPGA Using Heterogeneous Logic Blocks / Husain Parvez ; Zied Marrakchi ; Habib Mehrez
Reconfigurable Communication Networks in a Parametric SIMD Parallel System on Chip / Mouna Baklouti ; Philippe Marquet ; Jean Luc Dekeyser ; Mohamed Abid
A Dedicated Reconfigurable Architecture for Finite State Machines / Johann Glaser ; Markus Damm ; Jan Haase ; Christoph Grimm
MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation Environment / Daisaku Seto ; Minoru Watanabe
Applications 2 / Session 4：
An FPGA Accelerator for Hash Tree Generation in the Merkle Signature Scheme / Abdulhadi Shoufan
A Fused Hybrid Floating-Point and Fixed-Point Dot-Product for FPGAs / Antonio Roldao Lopes ; George A. Constantinides
Optimising Memory Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods / David Boland
Design of a Financial Application Driven Multivariate Gaussian Random Number Generator for an FPGA / Chalermpol Saiprasert ; Christos-Savvas Bouganis
Design Tools 1 / Session 5：
3D Compaction: A Novel Blocking-Aware Algorithm for Online Hardware Task Scheduling and Placement on 2D Partially Reconfigurable Devices / Thomas Marconi ; Yi Lu ; Koen Bertels ; Georgi Gaydadjiev
TROUTE: A Reconfigurability-Aware FPGA Router / Karel Bruneel ; Dirk Stroobandt
Space and Time Sharing of Reconfigurable Hardware for Accelerated Parallel Processing / Esam El-Araby ; Vikram K. Narayana ; Tarek El-Ghazawi
Routing-Aware Application Mapping Considering Steiner Points for Coarse-Grained Reconfigurable Architecture / Ganghee Lee ; Seokhyun Lee ; Kiyoung Choi ; Nikil Dutt
Design Tools 2 / Session 6：
Design Automation for Reconfigurable Interconnection Networks / Hongbing Fan ; Yu-Liang Wu ; Chak-Chung Cheung
A Framework for Enabling Fault Tolerance in Reconfigurable Architectures / Kostas Siozios ; Dimitrios Soudris ; Dionisios Pnevmatikatos
QUAD-A Memory Access Pattern Analyser / S. Arash Ostadzadeh ; Roel J. Meeuws ; Carlo Galuzzi
Hierarchical Loop Partitioning for Rapid Generation of Runtime Configurations / Siew-Kei Lam ; Yun Deng ; Jian Hu ; Xilong Zhou ; Thambipillai Srikanthan
Applications 3 / Session 7：
Reconfigurable Computing and Task Scheduling for Active Storage Service Processing / Yu Zhang ; Dan Feng
A Reconfigurable Disparity Engine for Stereovision in Advanced Driver Assistance Systems / Mehdi Darouich ; Stephane Guyetant ; Dominique Lavenier
A Modified Merging Approach for Datapath Configuration Time Reduction / Mahmood Fazlali ; Ali Zakerolhosseini
Posters
Reconfigurable Computing Education in Computer Science
Hardware Implementation of the Orbital Function for Quantum Chemistry Calculations / Maciej Wielgosz ; Ernest Jamro ; Pawel Russek ; Kazimierz Wiatr
Reconfigurable Polyphase Filter Bank Architecture for Spectrum Sensing / Suhaib A. Fahmy ; Linda Doyle
Systolic Algorithm Mapping for Coarse Grained Reconfigurable Array Architectures / Kunjan Patel ; C.J. Bleakley
A GMM-Based Speaker Identification System on FPGA / Phak Len Eh Kan ; Tim Allen ; Steven F. Quigley
An FPGA-Based Real-Time Event Sampler / Niels Penneman ; Luc Perneel ; Martin Timmerman ; Bjorn De Sutter
A Performance Evaluation of CUBE: One-Dimensional 512 FPGA Cluster / Masato Yoshimi ; Yuri Nishikawa ; Mitsunori Miki ; Tomoyuki Hiroyasu ; Hideharu Amano ; Oskar Mencer
An Analysis of Delay Based PUF Implementations on FPGA / Sergey Morozov ; Abhranil Maiti ; Patrick Schaumont
Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable Processor / Kazuya Tanigawa ; Ken'ichi Umeda ; Tetsuo Hironaka
FPGA Implementation of QR Decomposition Using MGS Algorithm / Akkarat Boonpoonga ; Sompop Janyavilas ; Phaophak Sirisuk ; Monai Krairiksh
Memory-Centric Communication Architecture for Reconfigurable Computing / Kyungwook Chang
Integrated Design Environment for Reconfigurable HPC / Lilian Janin ; Shoujie Li ; Doug Edwards
Architecture-Aware Custom Instruction Generation for Reconfigurable Processors / Alok Prakash ; Amit Kumar Singh
Cost and Performance Evaluation of a Noise Filter for Partitioning in Co-design Methodologies / Victoria Rodellar ; Elvira Martínez de Icaya ; Francisco Díaz ; Virginia Peinado
Towards a Tighter Integration of Generated and Custom-Made Hardware / Harald Devos ; Wim Meeus
Pipelined Microprocessors Optimization and Debugging / Bijan Alizadeh ; Amir Masoud Gharehbaghi ; Masahiro Fujita
Author Index
Keynotes (Abstracts)
High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors for Tera-Scale Multi-core Microprocessors / Ram Krishnamurthy
Process Variability and Degradation: New Frontier for Reconfigurable / Peter Y.K. Cheung
43.

電子ブック
ＥＢ
43. Reconfigurable Computing: Architectures, Tools and Applications
Phaophak Sirisuk, Hideharu Amano, Tarek El-Ghazawi, Takeo Kanade, Fearghal Morgan
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynotes (Abstracts)
High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors for Tera-Scale Multi-core Microprocessors / Ram Krishnamurthy
Process Variability and Degradation: New Frontier for Reconfigurable / Peter Y.K. Cheung
Towards Analytical Methods of FPGA Architecture Investigation / Steven J.E. Wilton
Architectures 1 / Session 1：
Generic Systolic Array for Run-Time Scalable Cores / Andrés Otero ; Yana E. Krasteva ; Eduardo de la Torre ; Teresa Riesgo
Virtualization within a Parallel Array of Homogeneous Processing Units / Marc Stöttinger ; Alexander Biedermann ; Sorin Alexander Huss
Feasibility Study of a Self-healing Hardware Platform / Michael Reibel Boesen ; Pascal Schleuniger ; Jan Madsen
Applications 1 / Session 2：
Application-Specific Signatures for Transactional Memory in Soft Processors / Martin Labrecque ; Mark Jeffrey ; J. Gregory Steffan
Towards Rapid Dynamic Partial Reconfiguration in Video-Based Driver Assistance Systems / Christopher Claus ; Rehan Ahmed ; Florian Altenried ; Walter Stechele
Parametric Encryption Hardware Design / Adrien Le Masle ; Wayne Luk ; Jared Eldredge ; Kris Carver
Architectures 2 / Weibo Pan ; William MarnaneSession 3：
Application Specific FPGA Using Heterogeneous Logic Blocks / Husain Parvez ; Zied Marrakchi ; Habib Mehrez
Reconfigurable Communication Networks in a Parametric SIMD Parallel System on Chip / Mouna Baklouti ; Philippe Marquet ; Jean Luc Dekeyser ; Mohamed Abid
A Dedicated Reconfigurable Architecture for Finite State Machines / Johann Glaser ; Markus Damm ; Jan Haase ; Christoph Grimm
MEMS Dynamic Optically Reconfigurable Gate Array Usable under a Space Radiation Environment / Daisaku Seto ; Minoru Watanabe
Applications 2 / Session 4：
An FPGA Accelerator for Hash Tree Generation in the Merkle Signature Scheme / Abdulhadi Shoufan
A Fused Hybrid Floating-Point and Fixed-Point Dot-Product for FPGAs / Antonio Roldao Lopes ; George A. Constantinides
Optimising Memory Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods / David Boland
Design of a Financial Application Driven Multivariate Gaussian Random Number Generator for an FPGA / Chalermpol Saiprasert ; Christos-Savvas Bouganis
Design Tools 1 / Session 5：
3D Compaction: A Novel Blocking-Aware Algorithm for Online Hardware Task Scheduling and Placement on 2D Partially Reconfigurable Devices / Thomas Marconi ; Yi Lu ; Koen Bertels ; Georgi Gaydadjiev
TROUTE: A Reconfigurability-Aware FPGA Router / Karel Bruneel ; Dirk Stroobandt
Space and Time Sharing of Reconfigurable Hardware for Accelerated Parallel Processing / Esam El-Araby ; Vikram K. Narayana ; Tarek El-Ghazawi
Routing-Aware Application Mapping Considering Steiner Points for Coarse-Grained Reconfigurable Architecture / Ganghee Lee ; Seokhyun Lee ; Kiyoung Choi ; Nikil Dutt
Design Tools 2 / Session 6：
Design Automation for Reconfigurable Interconnection Networks / Hongbing Fan ; Yu-Liang Wu ; Chak-Chung Cheung
A Framework for Enabling Fault Tolerance in Reconfigurable Architectures / Kostas Siozios ; Dimitrios Soudris ; Dionisios Pnevmatikatos
QUAD-A Memory Access Pattern Analyser / S. Arash Ostadzadeh ; Roel J. Meeuws ; Carlo Galuzzi
Hierarchical Loop Partitioning for Rapid Generation of Runtime Configurations / Siew-Kei Lam ; Yun Deng ; Jian Hu ; Xilong Zhou ; Thambipillai Srikanthan
Applications 3 / Session 7：
Reconfigurable Computing and Task Scheduling for Active Storage Service Processing / Yu Zhang ; Dan Feng
A Reconfigurable Disparity Engine for Stereovision in Advanced Driver Assistance Systems / Mehdi Darouich ; Stephane Guyetant ; Dominique Lavenier
A Modified Merging Approach for Datapath Configuration Time Reduction / Mahmood Fazlali ; Ali Zakerolhosseini
Posters
Reconfigurable Computing Education in Computer Science
Hardware Implementation of the Orbital Function for Quantum Chemistry Calculations / Maciej Wielgosz ; Ernest Jamro ; Pawel Russek ; Kazimierz Wiatr
Reconfigurable Polyphase Filter Bank Architecture for Spectrum Sensing / Suhaib A. Fahmy ; Linda Doyle
Systolic Algorithm Mapping for Coarse Grained Reconfigurable Array Architectures / Kunjan Patel ; C.J. Bleakley
A GMM-Based Speaker Identification System on FPGA / Phak Len Eh Kan ; Tim Allen ; Steven F. Quigley
An FPGA-Based Real-Time Event Sampler / Niels Penneman ; Luc Perneel ; Martin Timmerman ; Bjorn De Sutter
A Performance Evaluation of CUBE: One-Dimensional 512 FPGA Cluster / Masato Yoshimi ; Yuri Nishikawa ; Mitsunori Miki ; Tomoyuki Hiroyasu ; Hideharu Amano ; Oskar Mencer
An Analysis of Delay Based PUF Implementations on FPGA / Sergey Morozov ; Abhranil Maiti ; Patrick Schaumont
Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable Processor / Kazuya Tanigawa ; Ken'ichi Umeda ; Tetsuo Hironaka
FPGA Implementation of QR Decomposition Using MGS Algorithm / Akkarat Boonpoonga ; Sompop Janyavilas ; Phaophak Sirisuk ; Monai Krairiksh
Memory-Centric Communication Architecture for Reconfigurable Computing / Kyungwook Chang
Integrated Design Environment for Reconfigurable HPC / Lilian Janin ; Shoujie Li ; Doug Edwards
Architecture-Aware Custom Instruction Generation for Reconfigurable Processors / Alok Prakash ; Amit Kumar Singh
Cost and Performance Evaluation of a Noise Filter for Partitioning in Co-design Methodologies / Victoria Rodellar ; Elvira Martínez de Icaya ; Francisco Díaz ; Virginia Peinado
Towards a Tighter Integration of Generated and Custom-Made Hardware / Harald Devos ; Wim Meeus
Pipelined Microprocessors Optimization and Debugging / Bijan Alizadeh ; Amir Masoud Gharehbaghi ; Masahiro Fujita
Author Index
Keynotes (Abstracts)
High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors for Tera-Scale Multi-core Microprocessors / Ram Krishnamurthy
Process Variability and Degradation: New Frontier for Reconfigurable / Peter Y.K. Cheung
44.

電子ブック
ＥＢ
44. Parameterized and Exact Computation
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata
Contracting Graphs to Paths and Trees / Pinar Heggernes ; Pim van 't Hof ; Benjamin Lévêque ; Daniel Lokshtanov ; Christophe Paul
Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach ; Marcin Kaminski ; Daniël Paulusma ; Dimitrios M. Thilikos
Planar Disjoint-Paths Completion / Isolde Adler ; Stavros G. Kolliopoulos
Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke
New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev
Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim ; Ryan Williams
On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M.P. Jansen ; Stefan Kratsch
Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender
On the Hardness of Losing Width / Saket Saurabh
Safe Approximation and Its Relation to Kernelization / Jiong Guo ; Iyad Kanj
Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup
Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern ; Sepp Hartung ; Frank Kammer ; Rolf Niedermeier ; Mathias Weller
Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma ; Viresh Patel
Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold ; Sadia Sharmin ; Jan Arne Telle ; Martin Vatshelle
Parameterized Maximum Path Coloring / Michael Lampis
On Cutwidth Parameterized by Vertex Cover / Marcl Pilipczuk
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian
Author Index
On Multiway Cut Parameterized above Lower Bounds / Marek Cygan ; Marcin Pilipczuk ; Michal Pilipczuk ; Jakub Onufry Wojtaszczyk
Parameterized Complexity of Firefighting Revisited / Fedor V. Fomin ; Erik Jan van Leeuwen
Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang ; Yong Zhang
45.

電子ブック
ＥＢ
45. Distributed Applications and Interoperable Systems
Frank Eliassen, Takeo Kanade, R?diger Kapitza, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
Grid Computing
Validating Evolutionary Algorithms on Volunteer Computing Grids / Travis Desell ; Malik Magdon-Ismail ; Boleslaw Szymanski ; Carlos A. Varela ; Heidi Newberg ; David P. Anderson
A Reconfiguration Language for Virtualized Grid Infrastructures / Rémy Pottier ; Marc Léger ; Jean-Marc Menaud
Sensor Networks
Distributed Object-Oriented Programming with RFID Technology / Andoni Lombide Carreton ; Kevin Pinte ; Wolfgang De Meuter
WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet / Jeisa P.O. Domingues ; Antonio V.L. Damaso ; Nelson S. Rosa
Context Awareness
Structured Context Prediction: A Generic Approach / Matthias Meiners ; Sonja Zaplata ; Winfried Lamersdorf
Service Orientation
Experiments in Model Driven Composition of User Interfaces / Audrey Occello ; Cedric Joffroy ; Anne-Marie Dery-Pinna
Service Discovery in Ubiquitous Feedback Control Loops / Lionel Seinturier ; Pierre Carton
Distributed Fault Tolerant Controllers
QoS Self-configuring Failure Detectors for Distributed Systems / Alirio Santos de Sá ; Raimundo José de Araújo Macêdo
Cloud and Cluster Computing / Leonardo Mostarda ; Rudi Ball ; Naranker Dulay
Automatic Software Deployment in the Azure Cloud / Jacek Cala ; Paul Watson
G2CL: A Generic Group Communication Layer for Clustered Applications / Leandro Sales ; Henrique Teófilo ; Nabor C. Mendonça
Adaptive and (Re)configurable Systems
Dynamic Composition of Cross-Organizational Features in Distributed Software Systems / Stefan Walraven ; Bert Lagaisse ; Eddy Truyen ; Wouter Joosen
Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices
Collaborative Systems
gradienTv. Market-Based P2P Live Media Streaming on the Gradient Overlay / Amir H. Payberah ; Jim Dowling ; Fatemeh Rahimian ; Seif Haridi
Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search / Pascal Felber ; Peter Kropf ; Lorenzo Leonini ; Toan Luu ; Martin Rajman ; Etienne Riviére
Author Index
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
46.

電子ブック
ＥＢ
46. Databases in Networked Information Systems
Shinji Kikuchi, Subhash Bhalla, Takeo Kanade, Shelly Sachdeva
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Networked Information Systems: Infrastructure
Data Management Challenges in Cloud Computing Infrastructures / Divyakant Agrawal ; Amr El Abbadi ; Shyam Antony ; Sudipto Das
Managing Dynamic Mixed Workloads for Operational Business Intelligence / Harumi Kuno ; Umeshwar Dayal ; Janet L. Wiener ; Kevin Wilkinson ; Archana Ganapathi ; Stefan Krompass
A Study on Workload Imbalance Issues in Data Intensive Distributed Computing / Sven Groot ; Kazuo Goda ; Masaru Kitsuregawa
Information Extraction Real-Time Processing and DW2.0 in Operational Business Intelligence / Malu Castellanos ; Song Wang ; Gupta Chetan
On Realizing Quick Compensation Transactions in Cloud Computing / Shinji Kikuchi
Optimization of Query Processing with Cache Conscious Buffering Operator / Yoshishige Tsuji ; Hideyuki Kawashima ; Ikuo Takeuchi
Access to Information Resources
Usability Confinement of Server Reactions: Maintaining Inference-Proof Client Views by Controlled Interaction Execution / Joachim Biskup
AccKW: An Efficient Access Control Scheme for Keyword-Based Search over RDBMS / Vikram Goyal ; Ashish Sureka ; Sangeeta Lal
Information and Knowledge Management Systems
Social Intelligence Design for Knowledge Circulation / Toyoaki Nishida
Agent-Based Active Information Resource and Its Applications / Tetsuo Kinoshita
Semantic Interoperability in Healthcare Information for EHR Databases / Shelly Sachdeva ; Subhash Bhalla
Adaptive Integration of Distributed Semantic Web Data / Steven Lynden ; Isao Kojima ; Akiyoshi Matono ; Yusuke Tanimura
Managing Groups and Group Annotations in MADCOW / Danilo Avola ; Paolo Bottoni ; Marco Laureti ; Stefano Levialdi ; Emanuele Panizzi
Semantic Network Closure Structures in Dual Translation of Stochastic Languages / Lukás Pichl
Information Extraction from Data Resources
VisTree: Generic Decision Tree Inducer and Visualizer / Vasudha Bhatnagar ; Eman Zaman ; Yayati Rajpal ; Manju Bhardwaj
Semantics Extraction from Social Computing: A Framework of Reputation Analysts on Buzz Marketing Sites / Takako Hashimoto ; Yukari Shirota
An Approach to Extract Special Skills to Improve the Performance of Resume Selection / Sumit Maheshwari ; Abhishek Sainani ; P. Krishna Reddy
EcoBroker: An Economic Incentive-Based Brokerage Model for Efficiently Handling Multiple-Item Queries to Improve Data Availability via Replication in Mobile-P2P Networks / Anirban Mondal ; Kuldeep Yadav ; Sanjay Kumar Madria
Interface Tailoring by Exploiting Temporality of Attributes for Small Screens / M. Kumara Swamy ; R. Uday Kiran ; M. Venugopal Reddy
Geo-spatial Decision Making
Towards K-Nearest Neighbor Search in Time-Dependent Spatial Network Databases / Ugur Demiryurek ; Farnoush Banaei-Kashani ; Cyrus Shahabi
Spatial Query Processing Based on Uncertain Location Information / Yoshiharu Ishikawa
Skyline Sets Query and Its Extension to Spatio-temporal Databases / Yasuhiko Morimoto ; Md. Anisuzzaman Siddique
Implementation of Geographic Search Methods for Lunar Objects / Junya Terazono
Author Index
Networked Information Systems: Infrastructure
Data Management Challenges in Cloud Computing Infrastructures / Divyakant Agrawal ; Amr El Abbadi ; Shyam Antony ; Sudipto Das
Managing Dynamic Mixed Workloads for Operational Business Intelligence / Harumi Kuno ; Umeshwar Dayal ; Janet L. Wiener ; Kevin Wilkinson ; Archana Ganapathi ; Stefan Krompass
47.

電子ブック
ＥＢ
47. Future Multimedia Networking
Sherali Zeadally, Eduardo Cerqueira, Mar??lia Curado, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Quality of Service (QoS) and Quality of Experience (QoE) Management in Content Centric Networks
A QoE Fuzzy Routing Protocol for Wireless Mesh Networks / Rafael Gomes ; Waldir Junior ; Eduardo Cerqueira ; Antonio Abelem
Multimedia Sharing over the Internet from a Mobile Phone / Rui Trindade ; Paulo Correia ; Miguel Santos
Over Provisioning-Centric QoS-Routing Mechanism for the Communication Paradigm of Future Internet 4WARD Proposal / Augusto Neto ; Sérgio Figueiredo ; Rui Aguiar ; Leandro Marçal ; Leandro Freitas
Video Quality Assessment in Future Multimedia Networking
QoE as a Function of Frame Rate and Resolution Changes / Lucjan Janowski ; Piotr Romaniak
How to Build an Objective Model for Packet Loss Effect on High Definition Content Based on SSIM and Subjective Experiments
An Edge-Preserving Motion-Compensated Approach for Video Deinterlacing / Daulet Zhanguzin ; Maria Trocan ; Beata Mikovicova
Video Distribution in Future Multimedia Networking
Recording and Playout of Multimedia Conferencing Sessions: A Standard Approach / Alessandro Amirante ; Tobia Castaldi ; Lorenzo Miniero ; Simon Pietro Romano
Personalized TV Service through Employing Context-Awareness in IPTV/IMS Architecture / Songbo Song ; Hassnaa Moustafa ; Hossam Afifi
Extended UpnP Multimedia Content Delivery with an HTTP Proxy / OLiver Dugeon ; Mohamed Mahdi ; Rémi Bars ; Romain Carbou
Demonstration on Future Multimedia Networking
Abare: A Coordinated and Autonomous Framework for Deployment and Management of Wireless Mesh Networks / Billy Pinheiro ; Vagner Nascimento ; Waldir Moreira ; Antônio Abelém
CAPIRE: A Context-Aware Points of Interest REcognition System Using a CBIR Approach / Irene Minetti ; Silvana Dellepiane ; Massimo Valla
Determining Qos in the Video Telephony Service in an IP Environment / Christian Hoppe ; Tadeus Uhl ; Krzysztof Nowicki
Strategies for Planning Large Capillarity Broadband Networks Based on ADSL2+ Technology: A Case of Study for QoS-Aware Triple Play Services / Diego L. Cardoso ; Adamo L. Santana ; Carlos R.L. Francês
Efficient Transmission of 3D Video Using MPEG-4 AVC/H.264 Compression Technology / Marek Domanski ; Krzysztof Klimaszewski ; Olgierd Stankiewicz ; Jakub Stankowski ; Krzysztof Wegner
Session Level Analysis of P2P Television Traces / Arkadiusz Biernacki ; Udo R. Krieger
A Software Architecture for Adapting Virtual Reality Content to Mobile Devices / José Barbosa Dias Júnior ; Marlus Dias Silva ; Luiz Fernando Braga Lope ; Eduardo Filgueiras Damasceno ; Alexandre Cardoso ; Edgard Afonso Lamounier Júnior
Author Index
Quality of Service (QoS) and Quality of Experience (QoE) Management in Content Centric Networks
A QoE Fuzzy Routing Protocol for Wireless Mesh Networks / Rafael Gomes ; Waldir Junior ; Eduardo Cerqueira ; Antonio Abelem
Multimedia Sharing over the Internet from a Mobile Phone / Rui Trindade ; Paulo Correia ; Miguel Santos
48.

電子ブック
ＥＢ
48. Unconventional Computation
Cristian S. Calude, Masami Hagiya, Takeo Kanade, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
A Computational Journey into Nonlinearity / Françoise Chatelin
Computable Scientists, Uncomputable World (Abstract) / José Félix Costa
Regular Contributions
Finite State Transducers with Intuition / Ruben Agadzanyan ; Rusinš Freivalds
Reversibility and Determinism in Sequential Multiset Rewriting / Artiom Alhazov ; Rudolf Freund ; Kenichi Morita
Synchronization in P Modules / Michael J. Dinneen ; Yun-Bum Kim ; Radu Nicolescu
On Universality of Radius 1/2 Number-Conserving Cellular Automata / Katsunobu Imai
DNA Origami as Self-assembling Circuit Boards / Kyoung Nan Kim ; Koshala Sarveswaran ; Lesli Mark ; Marya Lieberman
Tug-of-War Model for Multi-armed Bandit Problem / Song-Ju Kim ; Masashi Aono ; Masahiko Hara
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter / Chris Lovell ; Gareth Jones ; Steve R. Gunn ; Klaus-Peter Zauner
Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345 / Genaro J. Martínez ; Andrew Adamatzky ; Maurice Margenstern
Solving Partial Differential Equation via Stochastic Process / Jun Ohkubo
Postselection Finite Quantum Automata / Oksana Scegulnaja-Dubrovska ; Lelde Lace
A New Representation of Chaitin ? Number Based on Compressible Strings / Kohtaro Tadaki
Quantum Query Algorithms for Conjunctions / Alina Vasilieva ; Taisia Mischenko-Slatenkova
Universal Continuous Variable Quantum Computation in the Micromaser / Rob C. Wagner ; Mark S. Everitt ; Viv M. Kendon ; Martin L. Jones
Quantum Computation with Devices Whose Contents Are Never Read / Abuzer Yakaryilmaz ; A. C. Cem Say
The Extended Glider-Eater Machine in the Spiral Rule / Liang Zhang
Posters
Formalizing the Behavior of Biological Processes with Mobility / Bogdan Aman ; Gabriel Ciobanu
Quantum Finite State Automata over Infinite Words / Ilze Dzelme-Berzina
A Geometrical Allosteric DNA Switch / Anthony J. Genot ; Jon Bath ; Andrew J. Turberfield
Properties of "Planar Binary (Butchi Number)" / Yuuki Iwabuchi ; Junichi Akita
Characterising Enzymes for Information Processing: Microfluidics for Autonomous Experimentation / Hywel Morgan
Inference with DNA Molecules / Alfonso Rodríguez-Patón ; José María Larrea ; Iñaki Sainz de Murieta
A Network-Based Computational Model with Learning / Hideaki Suzuki ; Hiroyuki Ohsaki ; Hidefumi Sawai
Image Processing with Neuron-Like Branching Elements (POSTER) / Hisako Takigawa-Imamura ; Ikuko N. Motoike
Author Index
Invited Talks
Computations Inspired from the Brain / Shun-ichi Amari
Algebras and Languages for Molecular Programming / Luca Cardelli
49.

電子ブック
ＥＢ
49. Privacy in Statistical Databases
Josep Domingo-Ferrer, Takeo Kanade, Emmanouil Magkos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Tabular Data Protection
Privacy Disclosure Analysis and Control for 2D Contingency Tables Containing Inaccurate Data / Bing Liang ; Kevin Chiew ; Yingjiu Li ; Yanjiang Yang
A Tool for Analyzing and Fixing Infeasible RCTA Instances / Jordi Castro ; José A. González
Branch-and-Cut versus Cut-and-Branch Algorithms for Cell Suppression / Juan-José Salazar-González
Data Swapping for Protecting Census Tables / Natalie Shlomo ; Caroline Tudor ; Paul Groom
Eliminating Small Cells from Census Counts Tables: Some Considerations on Transition Probabilities / Sarah Giessing ; Jörg Höhne
Three Ways to Deal with a Set of Linked SBS Tables Using ?-ARGUS / Peter-Paul de Wolf ; Anco Hundepool
Microdata Protection
IPUMS-International Statistical Disclosure Controls: 159 Census Microdata Samples in Dissemination, 100+ in Preparation / Robert McCaa ; Steven Ruggles ; Matt Sobek
Uncertainty for Anonymity and 2-Dimensional Range Query Distortion / Spyros Sioutas ; Emmanouil Magkos ; Ioannis Karydis ; Vassilios S. Verykios
PRAM Optimization Using an Evolutionary Algorithm / Jordi Marés ; Vicenç Torra
Multiplicative Noise Protocols / Anna Oganian
Measurement Error and Statistical Disclosure Control
Semantic Microaggregation for the Anonymization of Query Logs / Arnau Erola ; Jordi Castellà-Roca ; Guillermo Navarro-Arribas
Data Environment Analysis and the Key Variable Mapping System / Mark Elliot ; Susan Lomax ; Elaine Mackey ; Kingsley Purdam
Synthetic Data
Using Support Vector Machines for Generating Synthetic Datasets / Jörg Drechsler
Synthetic Data for Small Area Estimation / Joseph W. Sakshaug ; Trivellore E. Raghunathan
Disclosure Risk of Synthetic Population Data with Application in the Case of EU-SILC / Matthias Templ ; Andreas Alfons
Differential Privacy
Differential Privacy and the Risk-Utility Tradeoff for Multi-dimensional Contingency Tables / Stephen E. Fienberg ; Alessandro Rinaldo ; Xiaolin Yang
Does Differential Privacy Protect Terry Gross' Privacy? / Krish Muralidhar ; Rathindra Sarathy
Some Additional Insights on Applying Differential Privacy for Numeric Data
On-Line Databases and Remote Access
Remote Data Access and the Risk of Disclosure from Linear Regression: An Empirical Study / Philipp Bleninger ; Gerd Ronning
The Microdata Analysis System at the U.S. Census Bureau / Jason Lucero ; Laura Zayatz
Establishing an Infrastructure for Remote Access to Microdata at Eurostat / Wolf Heinrich Reuter ; Jean-Marc Museux
Privacy-Preserving Protocols
Coprivacy: Towards a Theory of Sustainable Privacy / Josep Domingo-Ferrer
Privacy-Preserving Record Linkage / Rob Hall
Legal Issues
Strategies to Achieve SDC Harmonisation at European Level: Multiple Countries, Multiple Files, Multiple Surveys / Daniela Ichim ; Luisa Franconi
Author Index
Tabular Data Protection
Privacy Disclosure Analysis and Control for 2D Contingency Tables Containing Inaccurate Data / Bing Liang ; Kevin Chiew ; Yingjiu Li ; Yanjiang Yang
A Tool for Analyzing and Fixing Infeasible RCTA Instances / Jordi Castro ; José A. González
50.

電子ブック
ＥＢ
50. Multilingual and Multimodal Information Access Evaluation
Maristella Agosti, Nicola Ferro, Takeo Kanade, Carol Peters, Maarten Rijke, Alan Smeaton
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Keynote Addresses
IR between Science and Engineering, and the Role of Experimentation / Norbert Fuhr
Retrieval Evaluation in Practice / Ricardo Baeza-Yates
Resources, Tools, and Methods
A Dictionary- and Corpus-Independent Statistical Lemmatizer for Information Retrieval in Low Resource Languages / Aki Loponen ; Kalervo Järvelin
A New Approach for Cross-Language Plagiarism Analysis / Rafael Corezola Pereira ; Viviane P. Moreira ; Renata Galante
Creating a Persian-English Comparable Corpus / Homa Baradaran Hashemi ; Azadeh Shakery ; Heshaam Faili
Experimental Collections and Datasets (1)
Validating Query Simulators: An Experiment Using Commercial Searches and Purchases / Bouke Huurnink ; Katja Hofmann ; Maarten de Rijke ; Marc Bron
Using Parallel Corpora for Multilingual (Multi-document) Summarisation Evaluation / Marco Turchi ; Josef Steinberger ; Mijail Kabadjov ; Ralf Steinberger
Experimental Collections and Datasets (2)
MapReduce for Information Retrieval Evaluation: "Let's Quickly Test This on 12 TB of Data" / Djoerd Hiemstra ; Claudia Hauff
Which Log for Which Information? Gathering Multilingual Data from Different Log File Types / Maria Gäde ; Vivien Petras ; Juliane Stiller
Evaluation Methodologies and Metrics (1)
Examining the Robustness of Evaluation Metrics for Patent Retrieval with Incomplete Relevance Judgements / Walid Magdy ; Gareth J.F. Jones
On the Evaluation of Entity Profiles / Krisztian Balog ; Toine Bogers ; Antal van den Bosch
Evaluation Methodologies and Metrics (2)
Evaluating Information Extraction / Andrea Esuli ; Fabrizio Sebastiani
Tie-Breaking Bias: Effect of an Uncontrolled Parameter on Information Retrieval Evaluation / Guillaume Cabanac ; Gilles Hubert ; Mohand Boughanem ; Claude Chrisment
Automated Component-Level Evaluation: Present and Future / Allan Hanbury ; Henning Müller
Panels
The Four Ladies of Experimental Evaluation / Donna Harman ; Noriko Kando ; Mounia Lalmas ; Carol Peters
A PROMISE for Experimental Evaluation / Martin Braschler ; Khalid Choukri ; Nicola Ferro ; Jussi Karlgren ; Emanuele Pianta ; Giuseppe Santucci
Author Index
Keynote Addresses
IR between Science and Engineering, and the Role of Experimentation / Norbert Fuhr
Retrieval Evaluation in Practice / Ricardo Baeza-Yates
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼