Search

Filters

Use filters to refine the search results.

Current Filters:



New Filters:

Showing 23 out of a total of 23 results. (0.023 seconds)

Now showing items 1-23 of 23

Export Results

Sort Options:
Results Per Page:
- 50
- 100
- 150
- 200

Neural Nets via Forward State Transformation and Backward Loss Transformation

Jacobs, B. ; Sprunger, D.

2019, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 347, (2019), pp. 161-177)
Learning along a Channel: the Expectation part of Expectation-Maximisation

Jacobs, B.

2019, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 347, (2019), pp. 143-160)
Classical Control and Quantum Circuits in Enriched Category Theory

Rennela, M.; Staton, Sam

2018, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 336, (2018), pp. 257-279)
A Note on Distances between Probabilistic and Quantum distributions

Jacobs, Bart

2018, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 336, (2018), pp. 173-187)
A Predicate/State Transformer Semantics for Bayesian Learning

Jacobs, B. ; Zanasi, F.

2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 325, (2016), pp. 185-200)
Effectuses from Monads

Jacobs, B.

2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 325, (2016), pp. 169-183)
Preface: RAC 2016 - Resource Aware Computing

Eekelen, M.C.J.D. van ; Eder, K.

2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 330, (2016), pp. 1-3)
RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016

Eekelen, M.C.J.D. van ; Eder, K.

2016, Article in monograph or in proceedings (RAC 2016 - Resource Aware Computing, Eindhoven, 2 April 2016, pp. 1-46)
The Algebra of Partial Equivalence Relations

Zanasi, F.

2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 325, iss. October, (2016), pp. 313-333)
An Effect-theoretic Account of Lebesgue Integration

Jacobs, B. ; Westerbaan, B.E.

2015, Article in monograph or in proceedings (Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands, pp. 239-253)
Complete positivity and natural representation of quantum computations

Staton, S.; Rennela, M.P.A.

2015, Article in monograph or in proceedings (Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, Nijmegen, Netherlands, 22-25 June 2015, pp. 369-385)
Freyd categories are Enriched Lawvere Theories

Staton, S.

2014, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 303, iss. 0, (2014), pp. 197-206)
Proceedings of the 30th conference on Mathematical Foundations of Programming Semantics ( MFPS XXX) : Preface

Jacobs, B. ; Silva, A.; Staton, S.

2014, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 308, iss. October, (2014), pp. 1-2)
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras

Rennela, M.P.A.

2014, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 308, iss. 0, (2014), pp. 289-307)
Quantum logic in dagger kernel categories

Heunen, C. ; Jacobs, B.

2011, Article in monograph or in proceedings (Coecke, B.; Panangaden, P.; Selinger, P. (ed.), Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009), pp. 79-103)
Preface

Jacobs, B.P.F. ; Niqui, M. ; Rutten, J. ; Silva, A.

2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 264, iss. 2, (2010), pp. 1-2)
From coalgebraic to monoidal traces

Jacobs, B.

2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 264, iss. 2, (2010), pp. 125-140)
Coalgebraic representation theory of fractals

Hasuo, I. ; Jacobs, B. ; Niqui, M.

2010, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 265, iss. C, (2010), pp. 351-368)
CMCS 2010 : Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science

Jacobs, B.P.F. ; Niqui, M. ; Rutten, J.J.M.M. ; Silva, A.

2010, Article in monograph or in proceedings (Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science (CMCS 2010), pp. 1-198)
Coalgebraic trace semantics for combined possibilitistic and probabilistic systems

Jacobs, B.P.F.

2008, Article in monograph or in proceedings (Adámek, J.; Kupke, C. (ed.), Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008), pp. 131-152)
Inferring Static Non-monotone Size-aware Types Through Testing

Kesteren, Ron van ; Shkaravska, O. ; Eekelen, M.C.J.D. van

2008, Article in monograph or in proceedings (Echahed, R. (ed.), Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), pp. 45-63)
Semimodule Enrichment

Heunen, Chris

2008, Article in monograph or in proceedings (Mislove, M.; Bauer, A. (ed.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV), Philadelphia, PA, USA, 22-25 May 2008, pp. 193-208)
Preface: Volume 11

Jacobs, B.P.F. ; Moss, L.; Reichel, H.; Rutten, J.

1998, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 11, (1998), pp. 259)

Now showing items 1-23 of 23

Radboud Repository

Search

Showing 23 out of a total of 23 results. (0.023 seconds)

Explore

Author

Document type

Date Issued

Journal

Departments

Browse

All of Repository