Decentralized sequential change detection using physical layer fusion

Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis

Decentralized Traffic Management Strategies for Sensor-Enabled Cars

Decentralized Two-Hop Opportunistic Relaying With Limited Channel State Information

Deceptiveness and Neutrality - the ND family of fitness landscapes

Decidability and Shortest Strings in Formal Languages

Decidability and Universality in Symbolic Dynamical Systems

Decidability Classes for Mobile Agents Computing

Decidability of Existence and Construction of a Complement of a given Function

Decidability of higher-order matching

Decidability of the Equivalence of Multi-Letter Quantum Finite Automata

Decidability of the interval temporal logic ABBar over the natural numbers

Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations

Decidability properties for fragments of CHR

Decidable Expansions of Labelled Linear Orderings

Decidable Problems for Probabilistic Automata on Infinite Words

Deciding Entailment of Implications with Support and Confidence in Polynomial Space

Deciding first order logic properties of matroids

Deciding first-order properties of locally tree-decomposable structures

Deciding Graph MSO Properties: Has it all been told already?