Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

The Algorithmic Structure of Group Strategyproof Budget-Balanced Cost-Sharing Mechanisms: Label: en
Markov Decision Processes with Multiple Objectives: Label: en
Weighted Picture Automata and Weighted Logics: Label: en
On the Accepting Power of 2-Tape Büchi Automata: Label: en
Invariants of Automatic Presentations and Semi-synchronous Transductions: Label: en
Theory and Application of Width Bounded Geometric Separator: Label: en
Grid Vertex-Unfolding Orthogonal Polyhedra: Label: en
Conflict-Free Colorings of Rectangles Ranges: Label: en
Combining Multiple Heuristics: Label: en
Oblivious Symmetric Alternation: Label: en
Exact Price of Anarchy for Polynomial Congestion Games: Label: en
Pay Today for a Rainy Day: Improved Approximation Algorithms for Demand-Robust Min-Cut and Shortest Path Problems: Label: en
Estimating Entropy and Entropy Norm on Data Streams: Label: en
The Number of Runs in a String: Improved Analysis of the Linear Upper Bound: Label: en
Quantum Algorithms for Matching and Network Flows: Label: en
Entanglement in Interactive Proof Systems with Binary Answers: Label: en
Kolmogorov Complexity with Error: Label: en
Complete Codes in a Sofic Shift: Label: en
Equivalence of $\mathbb{F}$ -Algebras and Cubic Forms: Label: en
On Critical Exponents in Fixed Points of Binary k-Uniform Morphisms: Label: en
Distribution-Sensitive Construction of Minimum-Redundancy Prefix Codes: Label: en
Amortized Rigidness in Dynamic Cartesian Trees: Label: en
External String Sorting: Faster and Cache-Oblivious: Label: en
Interprocedurally Analyzing Polynomial Identities: Label: en
Flat Holonomies on Automata Networks: Label: en
The Ubiquitous Digital Tree: Label: en
On the Complexity of the “Most General” Firing Squad Synchronization Problem: Label: en
Weighted Asynchronous Cellular Automata: Label: en
Constant-Depth Circuits for Arithmetic in Finite Fields of Characteristic Two: Label: en
Evaluating Monotone Circuits on Cylinders, Planes and Tori: Label: en
Datalog and Constraint Satisfaction with Infinite Templates: Label: en
Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games: Label: en
Energy-Efficient Algorithms for Flow Time Minimization: Label: en
Memoryless Facility Location in One Pass: Label: en
Optimal Node Routing: Label: en
Online Sorting Buffers on Line: Label: en
Generating Randomized Roundings with Cardinality Constraints and Derandomizations: Label: en
A Faster Algorithm for the Steiner Tree Problem: Label: en
Convergence of Autonomous Mobile Robots with Inaccurate Sensors and Movements: Label: en
Reliable Computations Based on Locally Decodable Codes: Label: en
DAG-Width and Parity Games: Label: en
Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games: Label: en
Generalized Modal Satisfiability: Label: en
Definability of Languages by Generalized First-Order Formulas over (N,+): Label: en
Nested Pebbles and Transitive Closure: Label: en
Linear Advice for Randomized Logarithmic Space: Label: en
Sparse Selfreducible Sets and Polynomial Size Circuit Lower Bounds: Label: en
Redundancy in Complete Sets: Label: en
Regular Expressions and NFAs Without ε-Transitions: Label: en
Regularity Problems for Visibly Pushdown Languages: Label: en