56 citations · 70 across the 6 of their papers we have counts for
7 papers
The Geometry of the space of Discrete Coalescent Trees
Lena Collienne, Kieran Elmes, Mareike Fischer +2
Computational inference of dated evolutionary histories relies upon various hypotheses about RNA, DNA, and protein sequence mutation rates. Using mutation rates to infer these date…
Computing nearest neighbour interchange distances between ranked phylogenetic trees
Lena Collienne, Alex Gavryushkin
Many popular algorithms for searching the space of leaf-labelled trees are based on tree rearrangement operations. Under any such operation, the problem is reduced to searching a g…
Potassium carbonate under pressure: common structural trend for alkaline carbonates and binary compounds
Pavel N. Gavryushkin, Anna Y. Likhacheva, Zakhar I. Popov +5
The behaviour of alkaline carbonates at high pressure is poorly understood. Indeed, theoretical and experimental investigations of general trends of pressure induced structural cha…
Decidable models of small theories
Alex Gavryushkin
Many counterexamples are known in the class of small theories due to Goncharov and Millar. The prime model of a decidable small theory is not necessarily decidable. The saturated m…
Unbiased crystal structure prediction of NiSi under high pressure
Pavel N. Gavryushkin, Zakhar I. Popov, Konstantin D. Litasov +1
Based on the unbiased structure prediction, we showed that the stable form of NiSi compound under the pressure of 100 and 200 GPa is the Pmmn-structure. Furthermore, we discovered…
Dynamic Algorithms for Interval Scheduling on a Single Machine
Alex Gavryushkin, Bakhadyr Khoussainov, Mikhail Kokho +1
We investigate dynamic algorithms for the interval scheduling problem. Our algorithm runs in amortised time for query operation and for insertion and rem…
The space of ultrametric phylogenetic trees
Alex Gavryushkin, Alexei J. Drummond
The reliability of a phylogenetic inference method from genomic sequence data is ensured by its statistical consistency. Bayesian inference methods produce a sample of phylogenetic…