Zobrazeno 1 - 10
of 10 286
pro vyhledávání: '"A Saville"'
Autor:
Saville, Philip
Publikováno v:
In: Kobayashi, N., Worrell, J. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science, vol 14575. Springer, Cham
We give an exposition of the semantics of the simply-typed lambda-calculus, and its linear and ordered variants, using multi-ary structures. We define universal properties for multicategories, and use these to derive familiar rules for products, tens
Externí odkaz:
http://arxiv.org/abs/2405.01675
Autor:
Paquet, Hugo, Saville, Philip
Publikováno v:
EPTCS 397, 2023, pp. 190-209
Premonoidal categories and Freyd categories provide an encompassing framework for the semantics of call-by-value programming languages. Premonoidal categories are a weakening of monoidal categories in which the interchange law for the tensor product
Externí odkaz:
http://arxiv.org/abs/2312.14964
Autor:
Luke Saville, Li Wu, Jemaneh Habtewold, Yubo Cheng, Babita Gollen, Liam Mitchell, Matthew Stuart-Edwards, Travis Haight, Majid Mohajerani, Athanasios Zovoilis
Publikováno v:
Genome Biology, Vol 25, Iss 1, Pp 1-24 (2024)
Abstract Non-coding RNAs (ncRNAs) are frequently documented RNA modification substrates. Nanopore Technologies enables the direct sequencing of RNAs and the detection of modified nucleobases. Ordinarily, direct RNA sequencing uses polyadenylation sel
Externí odkaz:
https://doaj.org/article/ef41196265cf48b58037a41159a40c07
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-12 (2024)
Abstract Phytophthora infestans is a major oomycete plant pathogen, responsible for potato late blight, which led to the Irish Potato Famine from 1845–1852. Since then, potatoes resistant to this disease have been bred and deployed worldwide. Their
Externí odkaz:
https://doaj.org/article/316cf53eec3f4903965f3deed5186d6d
Autor:
Paquet, Hugo, Saville, Philip
We develop the theory of strong and commutative monads in the 2-dimensional setting of bicategories. This provides a framework for the analysis of effects in many recent models which form bicategories and not categories, such as those based on profun
Externí odkaz:
http://arxiv.org/abs/2304.11014
Autor:
Tourret, D., Klemm-Toole, J., Castellanos, A. Eres, Rodgers, B., Becker, G., Saville, A., Ellyson, B., Johnson, C., Milligan, B., Copley, J., Ochoa, R., Polonsky, A., Pusch, K., Haines, M. P., Fezzaa, K., Sun, T., Clarke, K., Babu, S., Pollock, T., Karma, A., Clarke, A.
Publikováno v:
Acta Materialia 250 (2023) 118858
Understanding rapid solidification behavior at velocities relevant to additive manufacturing (AM) is critical to controlling microstructure selection. Although in-situ visualization of solidification dynamics is now possible, systematic studies under
Externí odkaz:
http://arxiv.org/abs/2303.09137
Autor:
A Saville
Publikováno v:
South African Journal of Economic and Management Sciences, Vol 9, Iss 3, Pp 341-354 (2014)
Accounting numbers generally obey a mathematical law called Benford’s Law, and this outcome is so unexpected that manipulators of information generally fail to observe the law. Armed with this knowledge, it becomes possible to detect the occurrence
Externí odkaz:
https://doaj.org/article/4cab05877ad3493ba5cbf4835539850a
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-14 (2024)
Abstract Heavy metal (HM) pollution threatens human and ecosystem health. Current methods for remediating water contaminated with HMs are expensive and have limited effect. Therefore, bioremediation is being investigated as an environmentally and eco
Externí odkaz:
https://doaj.org/article/46ff4f0b73a5476e9111061b124367b6
Autor:
Louiza S. Velentzis, Sam Egger, Jo Waller, Chloe J. Jennett, Julia M.L. Brotherton, Megan A. Smith, Deborah Bateson, Caitlin Rogers, Amy Pagotto, Rachel Skinner, Natalie Taylor, Rhiannon Edge, Marion Saville, Karen Canfell
Publikováno v:
Preventive Medicine Reports, Vol 45, Iss , Pp 102849- (2024)
Objective: The coronavirus pandemic impacted health-seeking behaviour and access to primary care in Australia. We investigated factors associated with intention-to-attend and attendance of cervical screening during the pandemic, mainly in Victoria, A
Externí odkaz:
https://doaj.org/article/7174ac4241cd4e5cb4e8d2e1ee24e9e5
Autor:
Akanksha A. Marphatia, Naomi M. Saville, Dharma S. Manandhar, Mario Cortina-Borja, Jonathan C. K. Wells
Publikováno v:
PeerJ, Vol 12, p e17671 (2024)
Background Women’s underage marriage (
Externí odkaz:
https://doaj.org/article/49a3e0db827b4543be0a456074c93588