Keyword:differential equation

Papers
Formalization of Transform Methods in Higher-Order Logic: a Survey Muhammad Ahmed and Adnan Rashid EasyChair Preprint no. 8009
Using the Graphcore IPU for Traditional HPC Applications Thorben Louw and Simon McIntosh-Smith EasyChair Preprint no. 4896
Petri nets and ODE as complementary tools in analysis of signaling pathways Daria Kogut, Kaja Gutowska, Aleksandra Poterała-Hejmo, Jarosław Śmieja, Dorota Formanowicz and Piotr Formanowicz In:Proceedings of 11th International Conference on Bioinformatics and Computational Biology