34 10 760 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/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/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 https://linen-dog.lnx.warwick.ac.uk/files/original/48a190dfaa9e481013e9d2c023ff442f.pdf 5ebab902fd2d7916bf6e5018cda1a243 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 Integer Solutions on Cubic Surfaces Subject The topic of the resource Mathematics Creator An entity primarily responsible for making the resource William Fuller Date A point or period of time associated with an event in the lifecycle of the resource 08/11/23 Diophantine Equations Number Theory python William Fuller https://linen-dog.lnx.warwick.ac.uk/files/original/20f44481540bfea9f39f9f941751576e.pdf 39b00fa5e617862cf208dfb9184b3b9e 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 How does intention cause action? An answer popular in both philosophy and folk psychology is that an intention supports action planning if directed towards the future and triggers the execution of its specified action if directed towards the present. This paper argues that this answer fails to capture how intention, as a mental state, transits into bodily movements that constitute or bring the action about with its specified side effects. Based on a recently proposed framework of the theory of intention – the Hierarchical Theory of Intention of just one kind – this paper develops a nuanced account of the relationship between intention and action, in which present-directedness is a necessary but insufficient criterion. Developing this account will also reinforce the advantage of the Hierarchical Theory over mainstream philosophical theories of intention that distinguish between intentions of two different kinds. Meta Tags Meta tags Philosophy, Philosophy of Action, Intention 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 How does intention cause action? Contributor An entity responsible for making contributions to the resource Prof. Stephen Butterfill Title A name given to the resource Intention and Action: A Nuanced View with the Hierarchical Theory Creator An entity primarily responsible for making the resource Hesper Cheung