Automata, Languages, and Programming [[electronic resource] ] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXI, 1111 p. 78 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-662-47672-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio of Reordering Buffer Management with Non-uniform Costs -- Serving in the Dark Should Be Done Non-uniformly -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources -- Limitations of Algebraic Approaches to Graph Isomorphism Testing -- Fully Dynamic Matching in Bipartite Graphs -- Feasible Interpolation for QBF Resolution Calculi -- Simultaneous Approximation of Constraint Satisfaction Problems -- Design of Dynamic Algorithms via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint Satisfaction Problems over the Integers with Successor -- Hardness Amplification and the Approximate Degree of Constant-Depth Circuits -- Algorithms and Complexity for Turaev-Viro Invariants -- Big Data on the Rise? – Testing Monotonicity of Distributions -- Unit Interval Editing Is Fixed-Parameter Tractable -- Streaming Algorithms for Submodular Function Maximization -- Multilinear Pseudorandom Functions -- Zero-Fixing Extractors for Sub-Logarithmic Entropy -- Interactive Proofs with Approximately Commuting Provers -- Popular Matchings with Two-Sided Preferences and One-Sided Ties -- Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity -- On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols -- Scheduling Bidirectional Traffic on a Path -- On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace -- On Planar Boolean CSP -- On Temporal Graph Exploration -- Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation -- A (1+e)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs -- Lower Bounds for the Graph Homomorphism Problem -- Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree -- Relative Discrepancy Does not Separate Information and Communication Complexity -- A Galois Connection for Valued Constraint Languages of Infinite Size -- Approximately Counting H Colourings Is #BIS-Hard -- Taylor Polynomial Estimator for Estimating Frequency Moments -- ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria -- Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets -- Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search -- Optimal Encodings for Range Top-k, Selection, and Min-Max -- 2-Vertex Connectivity in Directed Graphs -- Ground State Connectivity of Local Hamiltonians -- Uniform Kernelization Complexity of Hitting Forbidden Minors -- Counting Homomorphisms to Square-Free Graphs, Modulo 2 -- Approximately Counting Locally-Optimal Structures -- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths -- Hollow Heaps -- Linear-Time List Recovery of High-Rate Expander Codes -- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time -- Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs -- Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities -- Local Reductions -- Query Complexity in Expectation -- Near-Linear Query Complexity for Graph Inference -- A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set -- Finding a Path in Group-Labeled Graphs with Two Labels Forbidden -- Lower Bounds for Sums of Powers of Low Degree Univariates -- Approximating CSPs Using LP Relaxation -- Comparator Circuits over Finite Bounded Posets -- Algebraic Properties of Valued Constraint Satisfaction Problem -- Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic -- On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy -- Replacing Mark Bits with Randomness in Fibonacci Heaps -- A PTAS for the Weighted Unit Disk Cover Problem -- Approximating the Expected Values for Combinatorial Optimization Problems Over Stochastic Points -- Deterministic Truncation of Linear Matroids -- Linear Time Parameterized Algorithms for Subset Feedback Vertex Set -- An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains -- Amplification of One-Way Information Complexity via Codes and Noise Sensitivity -- A (2+e)-Approximation Algorithm for the Storage Allocation Problem -- Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons with Holes -- An Improved Private Mechanism for Small Databases -- Binary Pattern Tile Set Synthesis Is NP-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity -- Condensed Unpredictability -- Sherali-Adams Relaxations for Valued CSPs -- Two-Sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm -- The Simultaneous Communication of Disjointness with Applications to Data Streams -- An Improved Combinatorial Algorithm for Boolean Matrix Multiplication. |
Record Nr. | UNISA-996216374303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automata, Languages, and Programming [[electronic resource] ] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXIX, 717 p. 65 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-662-47666-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards the Graph Minor Theorems for Directed Graphs -- Automated Synthesis of Distributed Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance Circuits for Trees and Treelike Instances -- Language Emptiness of Continuous-Time Parametric Timed Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation -- On Reducing Linearizability to State Reachability -- The Complexity of Synthesis from Probabilistic Components -- Edit Distance for Pushdown Automata -- Solution Sets for Equations over Free Groups Are EDT0L Languages -- Limited Set Quantifiers over Countable Linear Orderings -- Reachability Is in DynFO -- Natural Homology -- Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree Transducers with Origin -- Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words -- The Odds of Staying on Budget -- From Sequential Specifications to Eventual Consistency -- Fixed-Dimensional Energy Games Are in Pseudo-Polynomial Time -- An Algebraic Geometric Approach to Nivat’s Conjecture -- Nominal Kleene Coalgebra -- On Determinisation of Good-for-Games Automata -- Owicki-Gries Reasoning for Weak Memory Models -- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire Category Quantifier in Monadic Second Order Logic -- Liveness of Parameterized Timed Networks -- Symmetric Strategy Improvement -- Effect Algebras, Presheaves, Non-locality and Contextuality -- On the Complexity of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded Clique-Width -- An Approach to Computing Downward Closures -- How Much Lookahead Is Needed to Win Infinite Games? -- Symmetric Graph Properties Have Independent Edges -- Polylogarithmic-Time Leader Election in Population Protocols -- Core Size and Densification in Preferential Attachment Networks -- Maintaining Near-Popular Matchings -- Ultra-Fast Load Balancing on Scale-Free Networks -- Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms -- The Range of Topological Effects on Communication -- Secretary Markets with Local Information -- A Simple and Optimal Ancestry Labeling Scheme for Trees -- Interactive Communication with Unknown Noise Rate -- Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs -- A Unified Framework for Strong Price of Anarchy in Clustering Games -- On the Diameter of Hyperbolic Random Graphs -- Tight Bounds for Cost-Sharing in Weighted Congestion Games -- Distributed Broadcast Revisited: Towards Universal Optimality -- Selling Two Goods Optimally -- Adaptively Secure Coin-Flipping, Revisited -- Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem -- Normalization Phenomena in Asynchronous Networks -- Broadcast from Minicast Secure Against General Adversaries. |
Record Nr. | UNISA-996216374503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXI, 1111 p. 78 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-662-47672-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio of Reordering Buffer Management with Non-uniform Costs -- Serving in the Dark Should Be Done Non-uniformly -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources -- Limitations of Algebraic Approaches to Graph Isomorphism Testing -- Fully Dynamic Matching in Bipartite Graphs -- Feasible Interpolation for QBF Resolution Calculi -- Simultaneous Approximation of Constraint Satisfaction Problems -- Design of Dynamic Algorithms via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint Satisfaction Problems over the Integers with Successor -- Hardness Amplification and the Approximate Degree of Constant-Depth Circuits -- Algorithms and Complexity for Turaev-Viro Invariants -- Big Data on the Rise? – Testing Monotonicity of Distributions -- Unit Interval Editing Is Fixed-Parameter Tractable -- Streaming Algorithms for Submodular Function Maximization -- Multilinear Pseudorandom Functions -- Zero-Fixing Extractors for Sub-Logarithmic Entropy -- Interactive Proofs with Approximately Commuting Provers -- Popular Matchings with Two-Sided Preferences and One-Sided Ties -- Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity -- On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols -- Scheduling Bidirectional Traffic on a Path -- On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace -- On Planar Boolean CSP -- On Temporal Graph Exploration -- Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation -- A (1+e)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs -- Lower Bounds for the Graph Homomorphism Problem -- Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree -- Relative Discrepancy Does not Separate Information and Communication Complexity -- A Galois Connection for Valued Constraint Languages of Infinite Size -- Approximately Counting H Colourings Is #BIS-Hard -- Taylor Polynomial Estimator for Estimating Frequency Moments -- ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria -- Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets -- Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search -- Optimal Encodings for Range Top-k, Selection, and Min-Max -- 2-Vertex Connectivity in Directed Graphs -- Ground State Connectivity of Local Hamiltonians -- Uniform Kernelization Complexity of Hitting Forbidden Minors -- Counting Homomorphisms to Square-Free Graphs, Modulo 2 -- Approximately Counting Locally-Optimal Structures -- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths -- Hollow Heaps -- Linear-Time List Recovery of High-Rate Expander Codes -- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time -- Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs -- Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities -- Local Reductions -- Query Complexity in Expectation -- Near-Linear Query Complexity for Graph Inference -- A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set -- Finding a Path in Group-Labeled Graphs with Two Labels Forbidden -- Lower Bounds for Sums of Powers of Low Degree Univariates -- Approximating CSPs Using LP Relaxation -- Comparator Circuits over Finite Bounded Posets -- Algebraic Properties of Valued Constraint Satisfaction Problem -- Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic -- On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy -- Replacing Mark Bits with Randomness in Fibonacci Heaps -- A PTAS for the Weighted Unit Disk Cover Problem -- Approximating the Expected Values for Combinatorial Optimization Problems Over Stochastic Points -- Deterministic Truncation of Linear Matroids -- Linear Time Parameterized Algorithms for Subset Feedback Vertex Set -- An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains -- Amplification of One-Way Information Complexity via Codes and Noise Sensitivity -- A (2+e)-Approximation Algorithm for the Storage Allocation Problem -- Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons with Holes -- An Improved Private Mechanism for Small Databases -- Binary Pattern Tile Set Synthesis Is NP-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity -- Condensed Unpredictability -- Sherali-Adams Relaxations for Valued CSPs -- Two-Sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm -- The Simultaneous Communication of Disjointness with Applications to Data Streams -- An Improved Combinatorial Algorithm for Boolean Matrix Multiplication. |
Record Nr. | UNINA-9910484058703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XXXIX, 717 p. 65 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science Computer networks Information storage and retrieval systems Application software Computer science—Mathematics Discrete mathematics Theory of Computation Computer Communication Networks Information Storage and Retrieval Computer and Information Systems Applications Discrete Mathematics in Computer Science |
ISBN | 3-662-47666-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Towards the Graph Minor Theorems for Directed Graphs -- Automated Synthesis of Distributed Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance Circuits for Trees and Treelike Instances -- Language Emptiness of Continuous-Time Parametric Timed Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation -- On Reducing Linearizability to State Reachability -- The Complexity of Synthesis from Probabilistic Components -- Edit Distance for Pushdown Automata -- Solution Sets for Equations over Free Groups Are EDT0L Languages -- Limited Set Quantifiers over Countable Linear Orderings -- Reachability Is in DynFO -- Natural Homology -- Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree Transducers with Origin -- Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words -- The Odds of Staying on Budget -- From Sequential Specifications to Eventual Consistency -- Fixed-Dimensional Energy Games Are in Pseudo-Polynomial Time -- An Algebraic Geometric Approach to Nivat’s Conjecture -- Nominal Kleene Coalgebra -- On Determinisation of Good-for-Games Automata -- Owicki-Gries Reasoning for Weak Memory Models -- On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension -- Compressed Tree Canonization -- Parsimonious Types and Non-uniform Computation -- Baire Category Quantifier in Monadic Second Order Logic -- Liveness of Parameterized Timed Networks -- Symmetric Strategy Improvement -- Effect Algebras, Presheaves, Non-locality and Contextuality -- On the Complexity of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded Clique-Width -- An Approach to Computing Downward Closures -- How Much Lookahead Is Needed to Win Infinite Games? -- Symmetric Graph Properties Have Independent Edges -- Polylogarithmic-Time Leader Election in Population Protocols -- Core Size and Densification in Preferential Attachment Networks -- Maintaining Near-Popular Matchings -- Ultra-Fast Load Balancing on Scale-Free Networks -- Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms -- The Range of Topological Effects on Communication -- Secretary Markets with Local Information -- A Simple and Optimal Ancestry Labeling Scheme for Trees -- Interactive Communication with Unknown Noise Rate -- Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs -- A Unified Framework for Strong Price of Anarchy in Clustering Games -- On the Diameter of Hyperbolic Random Graphs -- Tight Bounds for Cost-Sharing in Weighted Congestion Games -- Distributed Broadcast Revisited: Towards Universal Optimality -- Selling Two Goods Optimally -- Adaptively Secure Coin-Flipping, Revisited -- Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem -- Normalization Phenomena in Asynchronous Networks -- Broadcast from Minicast Secure Against General Adversaries. |
Record Nr. | UNINA-9910484058603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Structural Information and Communication Complexity [[electronic resource] ] : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings / / edited by Magnús M. Halldórsson |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XX, 372 p. 59 illus.) |
Disciplina | 004.36 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer networks Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Computer Communication Networks Discrete Mathematics in Computer Science Data Science |
ISBN | 3-319-09620-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Algorithmic Aspects of Resource Management in the Cloud -- From Turing to the Clouds (On the Computability Power of Distributed Systems) -- Communication Complexity Lower Bounds in Distributed Message-Passing -- Biological Distributed Computing -- Distributed Algorithmic Foundations of Dynamic Networks -- Best Student Paper -- The Beachcombers' Problem: Walking and Searching with Mobile Robots -- Shared Memory and Multiparty Communication -- Reliable Shared Memory Abstractions on Top of Asynchronous t-Resilient Byzantine Message-passing Systems -- Distributed Transactional Contention Management as the Traveling Salesman Problem -- The complexity gap between consensus and safe-consensus (Extended Abstract) -- The simultaneous number-in-hand communication model for networks: private coins, public coins and determinism -- Network Optimization -- Approximation of the Degree-Constrained Minimum Spanning Hierarchies -- Secluded Path via Shortest Path -- CONGEST Algorithms and Lower Bounds -- Distributed Approximation of Minimum Routing Cost Trees -- Randomized Lower Bound for Distributed Spanning-Tree Verification.-Lessons from the Congested Clique Applied to MapReduce -- Wireless networks -- Oblivious Rendezvous in Cognitive Radio Networks -- Local Broadcasting with Arbitrary Transmission Power in the SINR Model -- Aggregation and Creation Games in Networks -- Continuous Aggregation in Dynamic Ad-Hoc Networks -- Network Creation Games with Traceroute-Based Strategies -- Patrolling and Barrier Coverage.-Patrolling by Robots Equipped with Visibility -- Distributed Barrier Coverage with Relocatable Sensors -- Exploration -- Exploration of Constantly Connected Dynamic Graphs Based on Cactuses -- How Many Ants Does It Take To Find the Food? -- What Do We Need to Know to Elect in Networks with Unknown Participants? -- Rendezvous.-Rendezvous of Distance-aware Mobile Agents in Unknown Graphs -- Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks -- Mobile Agents.-Move-optimal partial gathering of mobile agents in asynchronous trees -- A Recursive Approach to Multi-Robot Exploration of Trees.-Improved Periodic Data Retrieval in Asynchronous Rings with a Faulty Host. |
Record Nr. | UNISA-996198267803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Structural Information and Communication Complexity : 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings / / edited by Magnús M. Halldórsson |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XX, 372 p. 59 illus.) |
Disciplina | 004.36 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer networks Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Computer Communication Networks Discrete Mathematics in Computer Science Data Science |
ISBN | 3-319-09620-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Algorithmic Aspects of Resource Management in the Cloud -- From Turing to the Clouds (On the Computability Power of Distributed Systems) -- Communication Complexity Lower Bounds in Distributed Message-Passing -- Biological Distributed Computing -- Distributed Algorithmic Foundations of Dynamic Networks -- Best Student Paper -- The Beachcombers' Problem: Walking and Searching with Mobile Robots -- Shared Memory and Multiparty Communication -- Reliable Shared Memory Abstractions on Top of Asynchronous t-Resilient Byzantine Message-passing Systems -- Distributed Transactional Contention Management as the Traveling Salesman Problem -- The complexity gap between consensus and safe-consensus (Extended Abstract) -- The simultaneous number-in-hand communication model for networks: private coins, public coins and determinism -- Network Optimization -- Approximation of the Degree-Constrained Minimum Spanning Hierarchies -- Secluded Path via Shortest Path -- CONGEST Algorithms and Lower Bounds -- Distributed Approximation of Minimum Routing Cost Trees -- Randomized Lower Bound for Distributed Spanning-Tree Verification.-Lessons from the Congested Clique Applied to MapReduce -- Wireless networks -- Oblivious Rendezvous in Cognitive Radio Networks -- Local Broadcasting with Arbitrary Transmission Power in the SINR Model -- Aggregation and Creation Games in Networks -- Continuous Aggregation in Dynamic Ad-Hoc Networks -- Network Creation Games with Traceroute-Based Strategies -- Patrolling and Barrier Coverage.-Patrolling by Robots Equipped with Visibility -- Distributed Barrier Coverage with Relocatable Sensors -- Exploration -- Exploration of Constantly Connected Dynamic Graphs Based on Cactuses -- How Many Ants Does It Take To Find the Food? -- What Do We Need to Know to Elect in Networks with Unknown Participants? -- Rendezvous.-Rendezvous of Distance-aware Mobile Agents in Unknown Graphs -- Rendezvous of Heterogeneous Mobile Agents in Edge-weighted Networks -- Mobile Agents.-Move-optimal partial gathering of mobile agents in asynchronous trees -- A Recursive Approach to Multi-Robot Exploration of Trees.-Improved Periodic Data Retrieval in Asynchronous Rings with a Faulty Host. |
Record Nr. | UNINA-9910484856403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Structural Information and Communication Complexity [[electronic resource] ] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers / / edited by Guy Even, Magnús M. Halldórsson |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XIII, 340 p. 54 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer networks Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Computer Communication Networks Discrete Mathematics in Computer Science Data Science |
ISBN | 3-642-31104-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465334403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|