Your search
Resource type
Publication year
Results
89 resources-
Rutten, J. J. M. M. (2000). Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1), 3–80. https://doi.org/10/fqrjpn
-
McCullagh, P. (2002). What is a statistical model? The Annals of Statistics, 30(5), 1225–1310. https://doi.org/10/bkts3m
-
Abramsky, S., Haghverdi, E., & Scott, P. (2002). Geometry of Interaction and Linear Combinatory Algebras. Mathematical. Structures in Comp. Sci., 12(5), 625–665. https://doi.org/10/fcsmhm
-
Desharnais, J., Edalat, A., & Panangaden, P. (2002). Bisimulation for Labelled Markov Processes. Information and Computation, 179(2), 163–193. https://doi.org/10/fmp9vd
-
Bartels, F., Sokolova, A., & de Vink, E. (2003). A hierarchy of probabilistic system types. Electronic Notes in Theoretical Computer Science, 82(1), 57–75. https://doi.org/10/d7kq38
-
Philipona, D., O’Regan, J., & Nadal, J.-P. (2003). Is There Something Out There? Inferring Space from Sensorimotor Dependencies. Neural Computation, 15, 2029–2049. https://doi.org/10/frg7gs
-
Ehrhard, T., & Regnier, L. (2003). The differential lambda-calculus. Theoretical Computer Science, 309(1), 1–41. https://doi.org/10/bf3b8v
-
Lack, S., & Sobociński, P. (2005). Adhesive and quasiadhesive categories. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 39(3), 511–545. https://doi.org/10/fntwvv
-
van Breugel, F., Mislove, M., Ouaknine, J., & Worrell, J. (2005). Domain theory, testing and simulation for labelled Markov processes. Theoretical Computer Science, 333(1), 171–197. https://doi.org/10/ft9vc5
-
Varacca, D., & Winskel, G. (2006). Distributing probability over non-determinism. Mathematical Structures in Computer Science, 16(01), 87. https://doi.org/10/czs9sx
-
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
-
Ehrhard, T., & Regnier, L. (2006). Differential interaction nets. Theoretical Computer Science, 364(2), 166–195. https://doi.org/10/bg5g4b
-
Fiore, M., Gambino, N., Hyland, M., & Winskel, G. (2008). The cartesian closed bicategory of generalised species of structures. Journal of the London Mathematical Society, 77(1), 203–220. https://doi.org/10/bd2mr9
-
Brown, R., & Porter, T. (2008). Category Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience. ArXiv:Math/0306223. Retrieved from http://arxiv.org/abs/math/0306223
-
Tix, R., Keimel, K., & Plotkin, G. (2009). Semantic Domains for Combining Probability and Non-Determinism. Electronic Notes in Theoretical Computer Science, 222, 3–99. https://doi.org/10/d9hwq7
-
Keimel, K., & Plotkin, G. d. (2009). Predicate Transformers for Extended Probability and Non-determinism. Mathematical. Structures in Comp. Sci., 19(3), 501–539. https://doi.org/10/bkvgqc
-
Blute, R., Ehrhard, T., & Tasson, C. (2010). A convenient differential category. ArXiv:1006.3140 [Cs, Math]. Retrieved from http://arxiv.org/abs/1006.3140
-
Ehrhard, T., & Danos, V. (2011). Probabilistic coherence spaces as a model of higher-order probabilistic computation. Information and Computation, 209(6), 966–991. https://doi.org/10/ctfch6
-
Sokolova, A. (2011). Probabilistic systems coalgebraically: A survey. Theoretical Computer Science, 412(38), 5095–5110. https://doi.org/10/frbx24
-
Ehresmann, A. C. (2012). MENS, an Info-Computational Model for (Neuro-)cognitive Systems Capable of Creativity. Entropy, 14, 1703–1716. https://doi.org/10/ggdf9t
Explore
BIOLOGY, NEUROSCIENCE & PSYCHOLOGY
- Biology (11)
- Neuroscience (9)
- Psychology (3)
CATEGORICAL LOGIC
- Effectus theory (8)
- Linear logic (11)
DIFFERENTIAL CALCULUS
- Differentiation (14)
MACHINE LEARNING
- Machine Learning (27)
MODEL CHECKING AND STATE MACHINES
- Coalgebras (5)
- Rewriting theory (5)
- Symbolic logic (5)
- Transition systems (13)
PROBABILITY & STATISTICS
PROGRAMMING LANGUAGES
- Programming language theory (34)
- Type theory (4)
Methodology
- Compendium (1)
- Implementation (13)
- Sketchy (6)
Topic
- Abstract machines (6)
- Adversarial attacks (5)
- Algebra (2)
- Automatic differentiation (6)
- Bayesian inference (6)
- Bayesianism (10)
- Biology (7)
- Categorical ML (7)
- Categorical probability theory (13)
- Classical ML (11)
- Coalgebras (5)
- Coherence spaces (2)
- Compendium (1)
- Denotational semantics (12)
- Differential Linear Logic (6)
- Differentiation (14)
- Effectus theory (8)
- Emergence (4)
- Game semantics (1)
- Implementation (10)
- Interactive semantics (2)
- Linear logic (10)
- Machine learning (19)
- Neuroscience (8)
- Powerdomains (3)
- Probabilistic programming (15)
- Probabilistic transition systems (4)
- Programming language theory (19)
- Psychology (3)
- Purely theoretical (5)
- Rewriting theory (5)
- Semantics (5)
- Sketchy (4)
- Statistical learning theory (1)
- Symbolic logic (5)
- Systems biology (3)
- Topological data analysis (4)
- Transition systems (5)
- Type theory (1)