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