Deciding if a Regular Language is Generated by a Splicing System

Deciding k-colourability of $P_5$-free graphs in polynomial time

Deciding Kleene Algebras in Coq

Deciding of HMM parameters based on number of critical points for gesture recognition from motion capture data

Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

Deciding Reachability for 3-Dimensional Multi-Linear Systems

Deciding regular grammar logics with converse through first-order logic

Deciding Regularity of Hairpin Completions of Regular Languages in Polynomial Time

Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete

Deciding security properties for cryptographic protocols. Application to key cycles

Deciding the finiteness of the number of simple permutations contained in a wreath-closed class is polynomial

Deciding the Value 1 Problem of Probabilistic Leaktight Automata

Deciding Unambiguity and Sequentiality starting from a Finitely Ambiguous Max-Plus Automaton

DECIGO and DECIGO pathfinder

Decimation-Enhanced Finite Alphabet Iterative Decoders for LDPC codes on the BSC

Decimeter-wave propagation through the circumsolar plasma with the Mars 2 probe

Decimetric radio emission of terrestrial space during a period of solar activity

Deciphering Ages of Impacted Basalts Using a Crystal Chemical-Ion Microprobe Approach. An Example Using the Apollo 17 Group D Basalt

Deciphering biodegradation effects on light hydrocarbons in crude oils using their stable carbon isotopic composition: A case study from the Gullfaks oil field, offshore Norway

Deciphering the Complexity of the Most Complex BAT AGN