Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
differential equation
Publications
Formalization of Transform Methods in Higher-Order Logic: a Survey
Muhammad Ahmed
and
Adnan Rashid
EasyChair Preprint 8009
Using the Graphcore IPU for Traditional HPC Applications
Thorben Louw
and
Simon McIntosh-Smith
EasyChair Preprint 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
Copyright © 2012-2024 easychair.org. All rights reserved.