Zobrazeno 1 - 10
of 3 014
pro vyhledávání: '"Saville P"'
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:
Thomas J. Saville, Hayley Colton, Sheikh Jarju, Edwin P. Armitage, Sainabou Drammeh, Simon Tazzyman, Ya Jankey Jagne, Hadijatou J. Sallah, Elina Senghore, Cariad M. Evans, Thomas C. Darton, Thushan I. de Silva
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract Multiple respiratory viruses lead to high morbidity and mortality, yet global surveillance platforms focus primarily on seasonal influenza viruses. The COVID-19 pandemic and new RSV vaccines highlight the importance of a broader approach. Up
Externí odkaz:
https://doaj.org/article/1d26646ce43540f6993e365e6bfb01f0
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:
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:
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:
Monica Molano, Dorothy A. Machalek, Samuel Phillips, Grace Tan, Suzanne M. Garland, David Hawkes, Prisha Balgovind, Reza Haqshenas, Steve G. Badman, John Bolnga, Josephine Gabuzzi, Zure Kombati, Gloria M. Munnull, Julia ML. Brotherton, Marion Saville, John M. Kaldor, Pamela J. Toliman, Andrew J. Vallely, Gerald L. Murray
Publikováno v:
Tumour Virus Research, Vol 18, Iss , Pp 200288- (2024)
Global methylation analysis of gene promoters is promising for detection of high-grade squamous intraepithelial lesions or worse (HSIL+) in high-risk human papillomavirus (hrHPV)-positive women. However, diagnostic performance of methylation data at
Externí odkaz:
https://doaj.org/article/ac0c71d30e3949adb60b51b194c457ea
Autor:
Naomi M. Saville, Sanju Bhattarai, Santosh Giri, Suprich Sapkota, Joanna Morrison, Bibhu Thapaliya, Basudev Bhattarai, Samata Yadav, Abriti Arjyal, Andrew Copas, Hassan Haghparast-Bidgoli, Helen Harris-Fry, Reecha Piya, Sushil C. Baral, Sara L. Hillman
Publikováno v:
Frontiers in Nutrition, Vol 11 (2024)
IntroductionCounseling, together with iron and folic acid supplements, can improve hemoglobin levels in pregnant women, but few interventions have tested a virtual method of delivering counseling. We hypothesized that a virtual counseling interventio
Externí odkaz:
https://doaj.org/article/77089c3088004be9a06d9b2987c304b6
Autor:
Nicholas Derimow, Jake T. Benzing, Howie Joress, Austin McDannald, Ping Lu, Frank W. DelRio, Newell Moser, Matthew J. Connolly, Alec I. Saville, Orion L. Kafka, Chad Beamer, Ryan Fishel, Suchismita Sarker, Chris Hadley, Nik Hrabe
Publikováno v:
Materials & Design, Vol 247, Iss , Pp 113388- (2024)
This work investigated non-standard HIP cycles for PBF-L Ti-6Al-4V and characterized microstructure and tensile properties to compare between material that originated from the same build. For 920°C, faster cooling rates (100°C/min, 2000°C/min) wer
Externí odkaz:
https://doaj.org/article/2b11eda4ed2f415b89e341fb2a667af2