Your search
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
Topic
Results
8 resources-
Boutillier, P., Feret, J., Krivine, J., & Fontana, W. (n.d.). The Kappa Language and Kappa Tools, 52.
-
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
-
Danos, V., Feret, J., Fontana, W., Harmer, R., & Krivine, J. (2008). Rule-Based Modelling, Symmetries, Refinements. In J. Fisher (Ed.), Formal Methods in Systems Biology (pp. 103–122). Berlin, Heidelberg: Springer. https://doi.org/10/dc5k68
-
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
-
Fages, F. (2014). Cells as Machines: Towards Deciphering Biochemical Programs in the Cell. In R. Natarajan (Ed.), Distributed Computing and Internet Technology (pp. 50–67). Cham: Springer International Publishing. https://doi.org/10/ggdf96
-
Fages, F., Calzone, L., Chabrier-Rivier, N., & Soliman, S. (2006). Machine Learning Biochemical Networks from Temporal Logic Properties. In C. Priami & G. Plotkin (Eds.), Transactions on Computational Systems Biology VI (pp. 68–94). Berlin, Heidelberg: Springer. https://doi.org/10/dd8
-
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
-
Wilkinson, D. J. (2006). Stochastic Modelling for Systems Biology. CRC Press.
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
MACHINE LEARNING
- Machine Learning (1)
MODEL CHECKING AND STATE MACHINES
- Rewriting theory (6)
- Symbolic logic (4)
- Transition systems (7)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
Methodology
- Implementation (4)
Topic
- Abstract machines (2)
- Bayesian inference (1)
- Biology
- Classical ML (1)
- Implementation (4)
- Machine learning (1)
- Probabilistic programming (1)
- Rewriting theory (6)
- Symbolic logic (4)
- Systems biology
- Transition systems (1)
Resource type
- Book (1)
- Conference Paper (3)
- Journal Article (4)
Publication year
- Between 2000 and 2022 (7)
- Unknown (1)