A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Experimental Biological Protocols with Formal Semantics
[chapter]
2018
Lecture Notes in Computer Science
Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for
doi:10.1007/978-3-319-99429-1_10
fatcat:yvmmeumrrneo3penpjkni7b4le