Coaching the coaches: exploring the effectiveness of the ‘Move Well Be strong’ youth injury prevention programme for grassroot coaches and PE teachers

Autor: J. D. Hughes, F. Ayala, W. M. Roberts, K. Wing, M. B. A. De Ste Croix

Publikováno v: Annals of Medicine, Vol 56, Iss 1 (2024)

Introduction Coaches play a major role in developing movement in their performers, especially at grassroots levels. However, there are significant knowledge gaps amongst grassroots coaches and physical education (PE) teachers regarding movement compe

Externí odkaz: https://doaj.org/article/cc0e0579b6274724b41050b3d4258b32

Non-stationarity driven by long-term change in catchment storage: possibilities and implications

Autor: J. D. Hughes, J. Vaze

Publikováno v: Proceedings of the International Association of Hydrological Sciences, Vol 371, Pp 7-12 (2015)

"Non-stationarity" with reference to hydrology is a term applied to many situations (Milly et al., 2008). While climate change non-stationarity is often examined, these effects can provide a test for assumptions of runoff generation process implie

Externí odkaz: https://doaj.org/article/8368469c825740d59d6fee54471fc9f0

Combinatorial Proofs and Decomposition Theorems for First-order Logic

Autor: Jui-Hsuan Wu, Dominic J. D. Hughes, Lutz Straßburger

Publikováno v: LICS
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, Italy. pp.1-13, ⟨10.1109/LICS52264.2021.9470579⟩

We uncover a close relationship between combinatorial and syntactic proofs for first-order logic (without equality). Whereas syntactic proofs are formalized in a deductive proof system based on inference rules, a combinatorial proof is a syntax-free

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c06f8822791a98127c3f2cf9572a688
http://arxiv.org/abs/2104.13124

Intuitionistic proofs without syntax

Autor: Dominic J. D. Hughes, Lutz StraBburger, Willem Heijltjes

Publikováno v: Heijltjes, W, Hughes, D & Strassburger, L 2019, Intuitionistic proofs without syntax . in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 . Annual Symposium on Logic in Computer Science, vol. 2019-June, IEEE, pp. 1-13, Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, 24/06/19 . https://doi.org/10.1109/LICS.2019.8785827
LICS 2019-34th Annual ACM/IEEE Symposium on Logic in Computer Science
LICS 2019-34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-13, ⟨10.1109/LICS.2019.8785827⟩
LICS

International audience; We present Intuitionistic Combinatorial Proofs (ICPs), a concrete geometric semantics of intuitionistic logic based on the principles of the second author's classical Com-binatorial Proofs. An ICP naturally factorizes into a l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1538af7a00d52acc9ad495dde8091c1d
https://purehost.bath.ac.uk/ws/files/194174544/icp.pdf

Unification nets: canonical proof net quantifiers

Autor: Dominic J. D. Hughes

Publikováno v: LICS

Proof nets for MLL (unit-free Multiplicative Linear Logic) are concise graphical representations of proofs which are canonical in the sense that they abstract away syntactic redundancy such as the order of non-interacting rules. We argue that Girard'

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3c22e49f023e256e7280c82e6614d8b
http://arxiv.org/abs/1802.03224