A practical parameterised algorithm for the individual haplotyping problem MLF.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 851, doi. 10.1017/S096012951000023X
- Publication type:
- Article
Works matching IS 09601295 AND DT 2010 AND VI 20 AND IP 5
Results: 12
1
2
A separation between divergence and Holevo information for ensembles.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 977, doi. 10.1017/S0960129510000289
- Publication type:
- Article
3
Connection between logical and algebraic approaches to concurrent systems.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 915, doi. 10.1017/S0960129510000253
- Publication type:
- Article
4
The computational SLR: a logic for reasoning about computational indistinguishability.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 951, doi. 10.1017/S0960129510000265
- Publication type:
- Article
5
Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008-2009).
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 705, doi. 10.1017/S0960129510000277
- Publication type:
- Article
6
Axiomatic semantics of projection temporal logic programs.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 865, doi. 10.1017/S0960129510000241
- Publication type:
- Article
7
Diamond embeddings into the enumeration degrees.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 799, doi. 10.1017/S0960129510000216
- Publication type:
- Article
8
Tilings: simulation and universality.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 813, doi. 10.1017/S0960129510000228
- Publication type:
- Article
9
Bounded minimalisation and bounded counting in argument-bounded idc's.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 753, doi. 10.1017/S0960129510000198
- Publication type:
- Article
10
Weak bisimulations for the Giry monad.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 781, doi. 10.1017/S0960129510000204
- Publication type:
- Article
11
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 723, doi. 10.1017/S0960129510000186
- Publication type:
- Article
12
Quantitative aspects of speed-up and gap phenomena.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 5, p. 707, doi. 10.1017/S0960129510000174
- Publication type:
- Article