- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Jacobs, B.P.F."
Now showing items 1-50 of 250
-
Medical research, Big Data and the need for privacy by design Jacobs, B. ; Popma, J.A.M.2019, Article / Letter to editor (Big Data & Society, vol. 6, iss. 1, (2019), pp. 1-5) -
Causal Inference by String Diagram Surgery Jacobs, B. ; Zanasi, Fabio; Kissinger, A.2019, Article in monograph or in proceedings (Bojanczyk, M. (ed.), Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, pp. 313-329)
-
-
Contextual Identity in Practice Attribute-based Authentication and Signing on Smartphones Badarinath Hampiholi, B.2019, Dissertation
-
-
-
-
Disintegration and Bayesian inversion via string diagrams Cho, K.; Jacobs, Bart2019, Article / Letter to editor (Mathematical Structures in Computer Science, vol. 29, iss. 7, (2019), pp. 938-971) -
The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule 2019, Article / Letter to editor (The Journal of Artificial Intelligence Research, vol. 65, (2019), pp. 783-806)
-
-
Netwerk KLM, Shell en Schiphol was onbeveiligd Modderkolk, G.; Jacobs, B.P.F.2019, Contribution for newspaper or weekly magazine (De Volkskrant, 28 september 2019, pp. 6-7)
-
The security of access to accounts under the PSD2 2019, Article / Letter to editor (Computer Law & Security Review, vol. 35, iss. 1, (2019), pp. 29-41)
-
The Personalized Parkinson Project: examining disease progression through broad biomarkers in early Parkinson's disease Bloem, B.R. ; Marks, W.J.; Silva de Lima, A.L.; Kuijf, M.L.; Laar, T. van; Jacobs, B.P.F. ; Verbeek, M.M. ; Warrenburg, B.P.C. van de ; Evers, L.J.W.; Hout, J. in't; Zande, T.T. van de; Kapur, R.; Meinders, M.J. et al.2019, Article / Letter to editor (BMC Neurology, vol. 19, (2019), article 160)
sine al.
-
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 2019, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 347, (2019), pp. 143-160)
-
Een blockchain aan je been 2018, Article / Letter to editor (Surf. Magazine over ICT voor het Hoger Onderwijs en Onderzoek, vol. 2018, iss. 1, (2018), pp. 07)
-
De toegang tot betaalrekeningen onder PSD2 2018, Article / Letter to editor (Ondernemingsrecht, vol. 2018, iss. 5, (2018), pp. 228-238)
-
-
Lower and Upper Conditioning in Quantum Bayesian Theory 2018, Article / Letter to editor (Electronic Proceedings in Theoretical Computer Science, vol. 287, (2018), pp. 225-238)
-
A Type Theory for Probabilistic and Bayesian Reasoning Adams, R.; Jacobs, B.2018, Article in monograph or in proceedings (Uustalu, T. (ed.), TYPES 2015: 21st International Conference on Types for Proofs and Programs, pp. 1:1-1:34)
-
Steps and Traces Jacobs, B. ; Levy, P.; Rot, J.2018, Article in monograph or in proceedings (Cirstea, C. (ed.), Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised Selected Papers, pp. 122-143)
-
A Note on Distances between Probabilistic and Quantum distributions 2018, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 336, (2018), pp. 173-187)
-
Learning to Coordinate Heerdt, G. Ter; Jacobs, B. ; Kappé, T.; Silva, A.2018, Article in monograph or in proceedings (Boer, F. de; Bonsangue, M.; Rutten, J. (ed.), It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, pp. 139-159)
-
From probability monads to commutative effectuses 2018, Article / Letter to editor (Journal of Logical and Algebraic Methods in Programming, vol. 94, (2018), pp. 200-237)
-
-
Attribute-based Authentication and Signing with IRMA, Summer School on real-world crypto and privacy 2018, Conference lecture
-
Pas op met het uitwisselen van data, want het kostbaarste dat we hebben staat op het spel: onszelf 2018, Contribution for newspaper or weekly magazine (Trouw, 12 juni 2018, pp. 8-11)
-
A Recipe for State-and-Effect Triangles 2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 2, (2017), pp. 1-26)
-
Hyper Normalisation and Conditioning for Discrete Probability Distributions 2017, Article / Letter to editor (Logical Methods in Computer Science, vol. 13, iss. 3, (2017), pp. 1-29)
-
-
Polymorphic Encryption and Pseudonymisation in Identity Management and Medical Research 2017, Article / Letter to editor (Nieuw Archief voor Wiskunde, vol. 18, iss. 3, (2017), pp. 168-172)
-
A Formal Semantics of Influence in Bayesian Reasoning Jacobs, B. ; Zanasi, F.2017, Article in monograph or in proceedings (Larsen, K.G. (ed.), MFCS 2017: 42nd International Symposium on Mathematical Foundations of Computer Science, pp. 21:1-21:14)
-
The EfProb Library for Probabilistic Calculations Cho, K.; Jacobs, B.2017, Article in monograph or in proceedings (Bonchi, F. (ed.), CALCO 2017: 7th Conference on Algebra and Coalgebra in Computer Science, June 12-16, 2017 - Ljubljana, Slovenia, pp. 25:1-25:8)
-
Vertrouwen en Authenticatie 2017, Part of book or chapter of book (Bartels, S.; Jansen, C.; Schuijling, B. (ed.), Vertrouwen in het burgelijke recht. Liber amicorum prof. mr. S.C.J.J. Kortmann, pp. 239-245)
-
Quantum effect logic in cognition 2017, Article / Letter to editor (Journal of Mathematical Psychology, vol. 81, iss. December, (2017), pp. 1-10)
-
Security and Privacy via Cryptography Having your cake and eating it too Lueks, W.2017, Dissertation
-
-
Zonder privacy is er geen vrijheid 2017, Contribution for newspaper or weekly magazine (Trouw, 22 april 2017, pp. 14-18)
-
Kijk uit, nepnieuws! 2017, Contribution for newspaper or weekly magazine (Trouw, 14 januari 2017, pp. 4-9)
-
Select while you collect : Over de voorgestelde interceptiebevoegdheden voor inlichtingen- en veiligheidsdiensten 2016, Article / Letter to editor (Nederlands Juristenblad, vol. 2016, iss. 4, (2016), pp. 256-261)
-
The Fall of a Tiny Star 2016, Part of book or chapter of book (Ryan, A.P.Y.; Naccache, D.; Quisquater, J.-J. (ed.), The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday, pp. 69-87)
-
The expectation monad in quantum foundations Jacobs, B. ; Mandemaker, J.J.; Furber, R.2016, Article / Letter to editor (Information and Computation, vol. 250, iss. October, (2016), pp. 87-114)
-
Aftercare for the Internet of Things 2016, Article / Letter to editor (Csr Magazine, vol. 2, iss. 2, (2016), pp. 61-62)
-
-
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)
-
Relating operator spaces via adjunctions Jacobs, B. ; Mandemaker, J.J.2016, Part of book or chapter of book (Chubb, J.; Eskandarian, A.; Harizanov, V. (ed.), Logic and Algebraic Structures in Quantum Computing, pp. 123-150)
-
Effectuses from Monads 2016, Article / Letter to editor (Electronic Notes in Theoretical Computer Science, vol. 325, (2016), pp. 169-183)
-
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings Jacobs, B. ; Löding, C.2016, Article in monograph or in proceedings (Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings)
-
Healthiness from Duality Hino, W.; Kobayashi, H.; Hasuo, I. ; Jacobs, B.2016, Article in monograph or in proceedings (Koskinen, E. (ed.), LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 682-691)
Now showing items 1-50 of 250
Search Repository
Browse
-
All of Repository
Upload Full Text