Items where Research Group is "Computational Biology

B

Bryant, David, Huber, Katharina T. ORCID: https://orcid.org/0000-0002-6368-7511, Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435 and Tupper, Paul F. (2023) Diversities and the generalized circumradius. Discrete and Computational Geometry, 70 (4). 1862–1883. ISSN 0179-5376

D

Daviaud, Laure and Purser, David (2023) The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Proceedings - Symposium on Logic in Computer Science . The Institute of Electrical and Electronics Engineers (IEEE). ISBN 9798350335873

Daviaud, Laure and Ryzhikov, Andrew (2023) Universality and Forall-Exactness of Cost Register Automata with Few Registers. In: 48th International Symposium on Mathematical Foundations of Computer Science. Leibniz International Proceedings in Informatics, LIPIcs, 272 . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 40:1-40:15. ISBN 9783959772921

Duncan, Anthony, Barry, Kerrie, Daum, Chris, Eloe-Fadrosh, Emiley, Roux, Simon, Schmidt, Katrin, Tringe, Susannah G., Valentin, Klaus U., Varghese, Neha, Salamov, Asaf, Grigoriev, Igor V., Leggett, Richard M., Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435 and Mock, Thomas ORCID: https://orcid.org/0000-0001-9604-0362 (2023) Dataset of 143 metagenome-assembled genomes from the Arctic and Atlantic Oceans, including 21 for eukaryotic organisms. Data in Brief, 47. ISSN 2352-3409

E

El-Naggar, Nadine, Ryzhikov, Andrew, Daviaud, Laure, Madhyastha, Pranava and Weyde, Tillman (2023) Formal and Empirical Studies of Counting Behaviour in ReLU RNNs. In: The 16th International Conference on Grammatical Inference. Proceedings of Machine Learning Research, 217 . UNSPECIFIED, pp. 199-222.

F

Francis, Andrew, Huber, Katharina T. ORCID: https://orcid.org/0000-0002-6368-7511, Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435 and Wu, Taoyang ORCID: https://orcid.org/0000-0002-2663-2001 (2023) Encoding and ordering X-cactuses. Advances in Applied Mathematics, 142. ISSN 0196-8858

G

Greenman, Chris D. (2023) Reaction diffusion systems and extensions of quantum stochastic processes. Journal of Physics A: Mathematical and Theoretical, 56 (23). ISSN 1751-8113

H

Hayward, Steven ORCID: https://orcid.org/0000-0001-6959-2604 (2023) A retrospective on the development of methods for the analysis of protein conformational ensembles. The Protein Journal, 42 (3). pp. 181-191. ISSN 1572-3887

Hellmuth, Marc, Huber, Katharina T. ORCID: https://orcid.org/0000-0002-6368-7511, Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435, Scholz, Guillaume E. and Stadler, Peter F. (2023) Injective split systems. Graphs and Combinatorics, 39 (4). ISSN 0911-0119

Huber, Katharina T. ORCID: https://orcid.org/0000-0002-6368-7511 and Maher, Liam J. (2023) Autopolyploidy, allopolyploidy, and phylogenetic networks with horizontal arcs. Bulletin of Mathematical Biology, 85 (5). ISSN 0092-8240

Huber, Katharina T. ORCID: https://orcid.org/0000-0002-6368-7511, Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435 and Spillner, Andreas (2023) Computing consensus networks for collections of 1-nested phylogenetic networks. Journal of Graph Algorithms and Applications, 27 (7). pp. 541-563. ISSN 1526-1719

K

Kaur, Gursharn, Choi, Kwok Pui and Wu, Taoyang ORCID: https://orcid.org/0000-0002-2663-2001 (2023) Distributions of cherries and pitchforks for the Ford model. Theoretical Population Biology, 149. pp. 27-38. ISSN 0040-5809

M

Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435 and Wu, Taoyang ORCID: https://orcid.org/0000-0002-2663-2001 (2023) Planar rooted phylogenetic networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 20 (2). pp. 1289-1297. ISSN 1545-5963

S

Seemann, Carsten R., Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435, Stadler, Peter F. and Hellmuth, Marc (2023) Planar median graphs and cubesquare-graphs. Discrete Applied Mathematics, 331. pp. 38-58. ISSN 0166-218X

T

Tansley, Connor, Houghton, James, Rose, Althea M. E., Witek, Bartosz, Payet, Rocky D., Wu, Taoyang ORCID: https://orcid.org/0000-0002-2663-2001 and Miller, J. Benjamin ORCID: https://orcid.org/0000-0003-0882-033X (2023) CIPK-B is essential for salt stress signalling in Marchantia polymorpha. New Phytologist, 237 (6). pp. 2210-2223. ISSN 0028-646X

V

van Iersel, Leo, Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435 and Murakami, Yukihiro (2023) Polynomial invariants for cactuses. Information Processing Letters, 182. ISSN 0020-0190

W

Winder, Johanna C. ORCID: https://orcid.org/0000-0002-7509-772X, Boulton, William, Salamov, Asaf, Eggers, Sarah Lena, Metfies, Katja, Moulton, Vincent ORCID: https://orcid.org/0000-0001-9371-6435 and Mock, Thomas ORCID: https://orcid.org/0000-0001-9604-0362 (2023) Genetic and structural diversity of prokaryotic ice-binding proteins from the central Arctic Ocean. Genes, 14 (2). ISSN 2073-4425

Y

Yan, Xia, Tang, Bozeng, Ryder, Lauren S., MacLean, Dan ORCID: https://orcid.org/0000-0003-1032-0887, Were, Vincent M., Eseola, Alice Bisola, Cruz-Mireles, Neftaly, Ma, Weibin, Foster, Andrew J., Osés-Ruiz, Miriam and Talbot, Nicholas J. ORCID: https://orcid.org/0000-0001-6434-7757 (2023) The transcriptional landscape of plant infection by the rice blast fungus Magnaporthe oryzae reveals distinct families of temporally co-regulated and structurally conserved effectors. Plant Cell, 35 (5). pp. 1360-1385. ISSN 1040-4651