38 10 859 https://linen-dog.lnx.warwick.ac.uk/files/original/45951ad8d6a4ffb56a95d8a7e07a00e4.pdf 0a9a26c45cfa275279811ed45f7a5dfc Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Paper An academic paper Abstract The abstract of the paper Set theory defines much of today’s mathematics and should therefore define computer science in a similar way. Set-theoretic programming is one such way that fits computer science into a mathematical framework. This article introduces an implementation of a set-theoretical language (JMPL) as an efficient way to translate mathematical ideals to programming, while exploring relevant structure and design details. Meta Tags Meta tags #Computer Science #Set Theory #Set-theoretic Programming #Programming Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Subject The topic of the resource Set-theoretic programming Date A point or period of time associated with an event in the lifecycle of the resource 08/08/2025 Contributor An entity responsible for making contributions to the resource Joel Luckett Title A name given to the resource Implementation of a High-level Set Theoretic Programming Language https://linen-dog.lnx.warwick.ac.uk/files/original/2f16a0b34ed023903e8b40ac7513a275.pdf 7a4358cc8521c096c29a0a9aa25987e0 Academic Poster An academic poster Meta Tags Meta tags EEG, BCI, Machine Learning, ML , Classification, Real-time, robotics, computational neuroscience Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Implementing a Brain Computer Interface for a robotic arm Creator An entity primarily responsible for making the resource Amir Kirimi Contributor An entity responsible for making contributions to the resource Professor Magnus Richardson Subject The topic of the resource Computational Neuroscience https://linen-dog.lnx.warwick.ac.uk/files/original/133152c072f64ac6e84df6b8796fa849.pdf 01774b3157efed9e2f0f6ec1ffc210c8 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Poster An academic poster Abstract The abstract of the paper Improving Cosmic Ray Tagging Using Energy Deposition in Pandora Meta Tags Meta tags Physics, particles, neutrinos, pandora, DUNE, SBND, EPP, software, coding, C++, python Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Creator An entity primarily responsible for making the resource James Kimmins Contributor An entity responsible for making contributions to the resource John Marshall, Andy Chappell, Alex Wilkinson Subject The topic of the resource Neutrino Physics Title A name given to the resource Improving Cosmic Ray Tagging Using Energy Deposition in Pandora Date A point or period of time associated with an event in the lifecycle of the resource 2025 https://linen-dog.lnx.warwick.ac.uk/files/original/df8698c8a3b54d506310625757808337.pdf 093f9d86d06eea86b4b2260ac474e1a0 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Poster An academic poster Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Improving the Sensitivity of a Diamond Magnetometer Subject The topic of the resource Physics Creator An entity primarily responsible for making the resource Luis Munn Date A point or period of time associated with an event in the lifecycle of the resource 2022 diamond magnetometer NV centres sensitivity turbopump https://linen-dog.lnx.warwick.ac.uk/files/original/c989244d6f67a871c145af565460bc9d.pdf a75a61bc981e07279e396e5c7a4a529d Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Paper An academic paper Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource In Vivo and in Vitro Assays to Determine UBR7 in Association with sNASP and Histones H3/H4 Subject The topic of the resource Warwick Medical School Creator An entity primarily responsible for making the resource Nadya Sudirman, Ranudi Kudellage Date A point or period of time associated with an event in the lifecycle of the resource 2023 Biochemistry Chemistry DNA histones Medical School Nadya Sudirman Ranudi Kudellage https://linen-dog.lnx.warwick.ac.uk/files/original/8f115338bd4179e18937e255738b8c03.pdf 0d336b3a30c53ac855eb7403676c9089 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Social Sciences Subject The topic of the resource Social Sciences Academic Paper An academic paper Abstract The abstract of the paper This project studies the weak and strong cop numbers of Cayley graphs of finitely generated groups, with particular emphasis on methods for proving that the strong cop number is infinite. After reviewing several known results and techniques, we investigate a number of non-hyperbolic examples. For right-angled Artin groups, whose strong cop numbers are already determined by known results, we give a direct proof using explicit quasi-retractions onto ℤ². A novelty of this work is the proof that the discrete three-dimensional Heisenberg group H₃(ℤ) has infinite strong cop number. To show this, we introduce a weighted coordinate function comparable to the word metric and use the Heisenberg dilations to construct a sequence of quasi-homotheties. Motivated by this argument, we study a semidirect product ℤ³ ⋊ₐ ℤ and establish an analogous word-metric comparison, while the corresponding quasi-homothety problem is left open. Meta Tags Meta tags geometric group theory, cops and robbers, strong cop number, weak cop number, Cayley graphs, Heisenberg group, quasi-homothety, right-angled Artin groups Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Infinite Strong Cop Number of the Three-Dimensional Heisenberg Group Subject The topic of the resource Geometric group theory and coarse cops and robbers on Cayley graphs Date A point or period of time associated with an event in the lifecycle of the resource September 2026 Contributor An entity responsible for making contributions to the resource Dr Jerónimo García Mejía (URSS Supervisor) https://linen-dog.lnx.warwick.ac.uk/files/original/cb9f20e05ba32048997d33acda78d623.pdf 182d800b7fcf9ecc8faf73a068c4d3e0 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Poster An academic poster Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Influencing Norms in Congestion Games Subject The topic of the resource Computer Science Creator An entity primarily responsible for making the resource Avi Semler Date A point or period of time associated with an event in the lifecycle of the resource 2023 Avi Semler Computer Science congestion game graph learning Machine learning reinforcement simulation social transport https://linen-dog.lnx.warwick.ac.uk/files/original/ddde9f93828349de18b12b0beb542a6a.pdf 182d800b7fcf9ecc8faf73a068c4d3e0 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Poster An academic poster Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Influencing Norms in Congestion Games Subject The topic of the resource Computer Science Creator An entity primarily responsible for making the resource Avi Semler Date A point or period of time associated with an event in the lifecycle of the resource 2023 Avi Semler Computer Science congestion game Machine learning reinforcement learning simulation social graph transport https://linen-dog.lnx.warwick.ac.uk/files/original/f0261916b41d67f2c20a50832a728071.pdf 65eeb0ee98f9ffe572f022a622a294c7 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Poster An academic poster Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Inhomogeneities in Cervical Brachytherapy Treatment Planning Subject The topic of the resource Physics Creator An entity primarily responsible for making the resource Niamh O'Reilly Date A point or period of time associated with an event in the lifecycle of the resource 2023 Brachytherapy Medical Physics Niamh O'Reilly Physics Radiotherapy https://linen-dog.lnx.warwick.ac.uk/files/original/50ca95d2216f52046e9253585f3f9c1d.pdf ed0305f3bfc4afb5e8a177c7f81c8a26 Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Science, Engineering and Medicine Academic Poster An academic poster Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Insect Gustatory Receptors as Biosensors Subject The topic of the resource Life Sciences Creator An entity primarily responsible for making the resource Tamea Pilgrim Date A point or period of time associated with an event in the lifecycle of the resource 2022 Biosensors gustatory receptors Insects olfactory receptors