Publications
-
Recursion and Sequentiality in Categories of Sheaves
Cristina Matache‚ Sean K. Moss and Sam Staton
In CoRR. Vol. abs/2105.02156. 2021.
Details about Recursion and Sequentiality in Categories of Sheaves | BibTeX data for Recursion and Sequentiality in Categories of Sheaves | Link to Recursion and Sequentiality in Categories of Sheaves
-
Effect algebras‚ presheaves‚ non−locality and contextuality
Sam Staton and Sander Uijlen
In Inf. Comput.. Vol. 261. Pages 336–354. 2018.
Details about Effect algebras‚ presheaves‚ non−locality and contextuality | BibTeX data for Effect algebras‚ presheaves‚ non−locality and contextuality | DOI (10.1016/j.ic.2018.02.012) | Link to Effect algebras‚ presheaves‚ non−locality and contextuality
-
Universal Properties in Quantum Theory
Mathieu Huot and Sam Staton
In Peter Selinger and Giulio Chiribella, editors, Proceedings 15th International Conference on Quantum Physics and Logic‚ QPL 2018‚ Halifax‚ Canada‚ 3−7th June 2018. Vol. 287 of EPTCS. Pages 213–223. 2018.
Details about Universal Properties in Quantum Theory | BibTeX data for Universal Properties in Quantum Theory | DOI (10.4204/EPTCS.287.12) | Link to Universal Properties in Quantum Theory
-
Classical Control and Quantum Circuits in Enriched Category Theory
Mathys Rennela and Sam Staton
In Sam Staton, editor, Proceedings of the Thirty−Fourth Conference on the Mathematical Foundations of Programming Semantics‚ MFPS 2018‚ Dalhousie University‚ Halifax‚ Canada‚ June 6−9‚ 2018. Vol. 341 of Electronic Notes in Theoretical Computer Science. Pages 257–279. Elsevier. 2018.
Details about Classical Control and Quantum Circuits in Enriched Category Theory | BibTeX data for Classical Control and Quantum Circuits in Enriched Category Theory | DOI (10.1016/j.entcs.2018.03.027) | Link to Classical Control and Quantum Circuits in Enriched Category Theory
-
A monad for full ground reference cells
Ohad Kammar‚ Paul Blain Levy‚ Sean K. Moss and Sam Staton
In CoRR. Vol. abs/1702.04908. 2017.
Details about A monad for full ground reference cells | BibTeX data for A monad for full ground reference cells | Link to A monad for full ground reference cells
-
Models for Polymorphism over Physical Dimension
Robert Atkey‚ Neil Ghani‚ Fredrik Nordvall Forsberg‚ Timothy Revell and Sam Staton
In Thorsten Altenkirch, editor, 13th International Conference on Typed Lambda Calculi and Applications‚ TLCA 2015‚ July 1−3‚ 2015‚ Warsaw‚ Poland. Vol. 38 of LIPIcs. Pages 45–59. Schloss Dagstuhl − Leibniz−Zentrum für Informatik. 2015.
Details about Models for Polymorphism over Physical Dimension | BibTeX data for Models for Polymorphism over Physical Dimension | DOI (10.4230/LIPIcs.TLCA.2015.45) | Link to Models for Polymorphism over Physical Dimension
-
Neural Programmer−Interpreters
Scott Reed and Nando de Freitas
No. arXiv:1511.06279. 2015.
Details about Neural Programmer−Interpreters | BibTeX data for Neural Programmer−Interpreters | Link to Neural Programmer−Interpreters
-
Dueling Network Architectures for Deep Reinforcement Learning
Ziyu Wang‚ Nando de Freitas and Marc Lanctot
No. arXiv:1511.06581. 2015.
Details about Dueling Network Architectures for Deep Reinforcement Learning | BibTeX data for Dueling Network Architectures for Deep Reinforcement Learning | Link to Dueling Network Architectures for Deep Reinforcement Learning
-
Narrowing the Gap: Random Forests In Theory and In Practice
Misha Denil‚ David Matheson and Nando de Freitas
In International Conference on Machine Learning (ICML). 2014.
Details about Narrowing the Gap: Random Forests In Theory and In Practice | BibTeX data for Narrowing the Gap: Random Forests In Theory and In Practice | Download (pdf) of Narrowing the Gap: Random Forests In Theory and In Practice
-
Linear and Parallel Learning for Markov Random Fields
Yariv Dror Mizrahi‚ Misha Denil and Nando de Freitas
In International Conference on Machine Learning (ICML). 2014.
Details about Linear and Parallel Learning for Markov Random Fields | BibTeX data for Linear and Parallel Learning for Markov Random Fields | Download (pdf) of Linear and Parallel Learning for Markov Random Fields
-
An Algebraic Presentation of Predicate Logic − (Extended Abstract)
Sam Staton
In Frank Pfenning, editor, Foundations of Software Science and Computation Structures − 16th International Conference‚ FOSSACS 2013‚ Held as Part of the European Joint Conferences on Theory and Practice of Software‚ ETAPS 2013‚ Rome‚ Italy‚ March 16−24‚ 2013. Proceedings. Vol. 7794 of Lecture Notes in Computer Science. Pages 401–417. Springer. 2013.
Details about An Algebraic Presentation of Predicate Logic − (Extended Abstract) | BibTeX data for An Algebraic Presentation of Predicate Logic − (Extended Abstract) | DOI (10.1007/978-3-642-37075-5\_26) | Link to An Algebraic Presentation of Predicate Logic − (Extended Abstract)
-
Feedback from nature: an optimal distributed algorithm for maximal independent set selection
Alex Scott‚ Peter Jeavons and Lei Xu
In Panagiota Fatourou and Gadi Taubenfeld, editors, ACM Symposium on Principles of Distributed Computing‚ PODC '13‚ Montreal‚ QC‚ Canada‚ July 22−24‚ 2013. Pages 147−156. 2013.
Details about Feedback from nature: an optimal distributed algorithm for maximal independent set selection | BibTeX data for Feedback from nature: an optimal distributed algorithm for maximal independent set selection | DOI (10.1145/2484239.2484247)
-
An algebraic theory of complexity for discrete optimisation
David A. Cohen‚ Martin C. Cooper‚ Páidí Creed‚ Peter Jeavons and Stanislav Živný
In SIAM Journal on Computing. Vol. 42. No. 5. Pages 1915−1939. 2013.
Details about An algebraic theory of complexity for discrete optimisation | BibTeX data for An algebraic theory of complexity for discrete optimisation | DOI (10.1137/130906398) | Download (pdf) of An algebraic theory of complexity for discrete optimisation
-
Light Clustering for Dynamic Image Based Lighting
Sam Staton‚ Kurt Debattista‚ Thomas Bashford−Rogers and Alan Chalmers
In Hamish A. Carr and Silvester Czanner, editors, Theory and Practice of Computer Graphics‚ Rutherford‚ United Kingdom‚ 2012. Proceedings. Pages 17–24. Eurographics Association. 2012.
Details about Light Clustering for Dynamic Image Based Lighting | BibTeX data for Light Clustering for Dynamic Image Based Lighting | DOI (10.2312/LocalChapterEvents/TPCG/TPCG12/017-024) | Link to Light Clustering for Dynamic Image Based Lighting