Your search
Topic
Resource type
Publication year
Online resource
Results
7 resources-
Boutillier, P., Maasha, M., Li, X., Medina-Abarca, H. F., Krivine, J., Feret, J., … Fontana, W. (2018). The Kappa platform for rule-based modeling. Bioinformatics, 34(13), i583–i592. https://doi.org/10/gdrhw6
-
Fages, F., Martinez, T., Rosenblueth, D. A., & Soliman, S. (2018). Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. IEEE/ACM Trans. Comput. Biol. Bioinformatics, 15(4), 1138–1151. https://doi.org/10/ggdf94
-
Ehresmann, A. C., & Gomez-Ramirez, J. (2015). Conciliating neuroscience and phenomenology via category theory. Progress in Biophysics and Molecular Biology, 119(3), 347–359. https://doi.org/10/f75jzr
-
Tuyéras, R. (2018). Category theory for genetics II: genotype, phenotype and haplotype. ArXiv:1805.07004 [Math]. Retrieved from http://arxiv.org/abs/1805.07004
-
Tuyéras, R. (2018). Category theory for genetics I: mutations and sequence alignments. ArXiv:1805.07002 [Math]. Retrieved from http://arxiv.org/abs/1805.07002
-
Tuyéras, R. (2018). Category Theory for Genetics. ArXiv:1708.05255 [Math]. Retrieved from http://arxiv.org/abs/1708.05255
-
Fages, F., Calzone, L., & Soliman, S. (2006). BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics, 22(14), 1805–1807. https://doi.org/10/dfv
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (7)
- Neuroscience (1)
- Psychology (1)
MODEL CHECKING AND STATE MACHINES
- Rewriting theory (3)
- Symbolic logic (2)
- Transition systems (3)
PROGRAMMING LANGUAGES
Methodology
- Implementation (2)
- Sketchy (1)
Topic
- Abstract machines (1)
- Biology
- Emergence (1)
- Implementation (2)
- Neuroscience (1)
- Psychology (1)
- Rewriting theory (3)
- Sketchy (1)
- Symbolic logic (2)
- Systems biology (3)