@inproceedings{11869e131e834b3fa18d915c95820cbf,
title = "Biocharts: Unifying biological hypotheses with models and experiments",
abstract = "Understanding how biological systems develop and function remains one of the main open scientific challenges of our times. An improved quantitative understanding of biological systems, assisted by computational models is also important for future bioengineering and biomedical applications. We present a computational approach aimed towards unifying hypotheses with models and experiments, allowing to formally represent what a biological system does (specification) how it does it (mechanism) and systematically compare to data characterizing system behavior (experiments). We describe our Biocharts framework geared towards supporting this approach and illustrate its application in several biological domains including bacterial colony growth, developmental biology, and stem cell population dynamics.",
keywords = "Computational systems biology, Developmental biology, Stem cells, Temporal logic, Visual formalisms",
author = "Hillel Kugler",
year = "2013",
doi = "10.1109/escience.2013.41",
language = "אנגלית",
isbn = "9780768550831",
series = "Proceedings - IEEE 9th International Conference on e-Science, e-Science 2013",
publisher = "IEEE Computer Society",
pages = "317--325",
booktitle = "Proceedings - IEEE 9th International Conference on e-Science, e-Science 2013",
address = "ארצות הברית",
note = "9th IEEE International Conference on e-Science, e-Science 2013 ; Conference date: 22-10-2013 Through 25-10-2013",
}