Data-driven memory-dependent abstractions of dynamical systems
Banse, A Romao, L Abate, A Jungers, R Proceedings of Machine Learning Research volume 211 891-902 (01 Jan 2023)
Quantitative Verification with Neural Networks
Abate, A Edwards, A Giacobbe, M Punchihewa, H Roy, D Leibniz International Proceedings in Informatics, LIPIcs volume 279 (01 Sep 2023)
Building an alliance to map global supply networks
Pichler, A Diem, C Brintrup, A Lafond, F Magerman, G Buiten, G Choi, T Carvalho, V Farmer, J Thurner, S Science volume 382 issue 6668 270-272 (20 Oct 2023)
Gap junctions in Turing-type periodic feather pattern formation
Tseng, C Woolley, T Jiang, T Wu, P Maini, P Widelitz, R Chuong, C volume 4 issue 04-21 2023.04.15.537019 (16 Apr 2023)
Investigating the dose-dependency of the midgut escape barrier using a mechanistic model of within-mosquito dengue virus population dynamics.
Johnson, R Stopard, I Byrne, H Armstrong, P Brackney, D Lambert, B bioRxiv (29 Sep 2023) https://www.ncbi.nlm.nih.gov/pubmed/37808804
Subscribe to