Search results
From MaRDI portal
- Giry Monad (Extended Abstract) 2008-05-27 Paper Stochastic Relations 2007-10-05 Paper Kleisli morphisms and randomized congruences for the Giry monad 2007-09-03...10 bytes (19 words) - 20:23, 11 December 2023
- of twisted quiver bundles with relations 2020-01-08 Paper Erratum to: ``Monads for framed sheaves on Hirzebruch surfaces 2018-03-29 Paper Hilbert schemes...10 bytes (17 words) - 03:03, 12 December 2023
- de/entity/Q5207055 2020-01-03 Paper Codensity Lifting of Monads and its Dual 2018-11-02 Paper The Giry monad is not strong for the canonical symmetric monoidal...10 bytes (16 words) - 18:25, 6 October 2023
- intersections 2011-05-24 Paper Modules over monads and initial semantics 2010-04-22 Paper Modules over Monads and Linearity 2009-03-10 Paper A Theory for...10 bytes (17 words) - 09:29, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4989404 2021-05-25 Paper Probabilistic Monads, Domains and Classical Information 2021-04-27 Paper Enriching a Linear/Non-linear...10 bytes (18 words) - 00:43, 11 December 2023
- package in Macaulay2 2022-05-12 Paper Characteristic Dependence of Syzygies of Random Monomial Ideals 2022-03-15 Paper Generalizations of Stillman’s Conjecture...10 bytes (16 words) - 09:05, 6 October 2023
- 2018-09-26 Paper Quantitative Algebraic Reasoning 2018-04-23 Paper Dijkstra monads for free 2017-10-20 Paper https://portal.mardi4nfdi.de/entity/Q2980964 2017-05-08...10 bytes (19 words) - 00:56, 10 December 2023
- Paper Higgs varieties and fundamental groups 2018-04-27 Paper Erratum to: ``Monads for framed sheaves on Hirzebruch surfaces 2018-03-29 Paper Hilbert schemes...10 bytes (17 words) - 20:18, 8 December 2023
- nonstandard treatment of options driven by poisson processes 1994-11-22 Paper Random relaxed controls and partially observed stochastic systems 1994-03-01 Paper...10 bytes (18 words) - 18:49, 12 December 2023
- Publication Date of Publication Type A monad for randomized algorithms 2018-04-23 Paper...10 bytes (16 words) - 19:53, 24 September 2023
- numerical semigroups and uniqueness of the Frobenius element 2019-11-07 Paper Random fields and the enumerative geometry of lines on real and complex hypersurfaces...10 bytes (16 words) - 20:41, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q5854732 2021-03-17 Paper Heterogeneous binary random-access lists 2020-05-26 Paper Verified timing transformations in synchronous...10 bytes (16 words) - 19:42, 24 September 2023
- Publication Date of Publication Type Smart Choices and the Selection Monad 2023-08-26 Paper Reasoning about cryptographic protocols in the spi calculus...10 bytes (17 words) - 00:56, 10 December 2023
- Ulrich complexity 2017-11-21 Paper Syzygies, finite length modules, and random curves 2017-04-11 Paper Matrix factorizations and families of curves of...10 bytes (19 words) - 15:47, 11 December 2023
- translations in the Enriched Effect Calculus 2012-10-22 Paper Measure, randomness and sublocales 2012-09-26 Paper Constructive toposes with countable sums...10 bytes (18 words) - 17:19, 11 December 2023
- information 2020-01-21 Paper A semantics for nabla 2019-10-09 Paper Formal ball monads 2019-07-17 Paper https://portal.mardi4nfdi.de/entity/Q5742874 2019-05-08...10 bytes (18 words) - 11:54, 6 October 2023
- second order 2018-02-14 Paper Central limit theorem for random walks in doubly stochastic random environment: \(\mathcal{H}_{-1}\) suffices 2018-02-14 Paper...10 bytes (16 words) - 08:10, 7 October 2023
- precondition semantics from monads enriched with order 2015-11-10 Paper Generic Weakest Precondition Semantics from Monads Enriched with Order 2015-09-11...10 bytes (16 words) - 08:07, 7 October 2023
- embedding problem 2020-09-03 Paper Scattered sentences have few separable randomizations 2020-07-17 Paper On Supra-SIM Sets of Natural Numbers 2020-07-03 Paper...10 bytes (16 words) - 09:29, 25 September 2023
- practical context-free languages 2017-10-23 Paper Generating constrained random data with uniform distribution 2017-10-23 Paper Quick specifications for...10 bytes (17 words) - 11:26, 6 October 2023