Zobrazeno 1 - 10
of 5 212
pro vyhledávání: '"STRIDE"'
In recent years, there has been an increased interest in tools that establish \emph{incorrectness} rather than correctness of program properties. In this work we build on this approach by developing a novel methodology to prove incorrectness of \emph
Externí odkaz:
http://arxiv.org/abs/2409.13896
Autor:
Michelle Banfield, Scott J Fitzpatrick, Heather Lamb, Melanie Giugni, Alison L Calear, Erin Stewart, Maree Pavloudis, Lucy Ellen, Ginny Sargent, Helen Skeat, Bronwen Edwards, Benn Miller, Amelia Gulliver, Louise A Ellis, Vida Bliokas, Purity Goj, Melissa Lee, Kelly Stewart, Glenda Webb, Merkitta Main, Carrie Lumby, Kelly Wells, Carolyn McKay, Philip J Batterham, Alyssa R Morse, Fiona Shand, Stride Safe Space Team
Publikováno v:
PLoS ONE, Vol 17, Iss 10, p e0272483 (2022)
IntroductionSafe spaces are an alternative to emergency departments, which are often unable to provide optimum care for people experiencing emotional distress and/or suicidal crisis. At present, there are several different safe space models being tri
Externí odkaz:
https://doaj.org/article/ca70018c41454d358d673b418f027398
Autor:
Reardon PJT, Parhizkar M, Harker AH, Browning RJ, Vassileva V, Stride E, Pedley RB, Edirisinghe M, Knowles JC
Publikováno v:
International Journal of Nanomedicine, Vol Volume 12, Pp 3913-3926 (2017)
Philip JT Reardon,1,* Maryam Parhizkar,2,* Anthony H Harker,3 Richard J Browning,4 Vessela Vassileva,5 Eleanor Stride,4 R Barbara Pedley,5 Mohan Edirisinghe,2 Jonathan C Knowles1 1Division of Biomaterials and Tissue Engineering, UCL Eastman Dental In
Externí odkaz:
https://doaj.org/article/c5577a17a8564e8d97fd258cd03393fe
Autor:
Joshua Owen, Ayele H. Negussie, Scott R. Burks, Jose Delgado, Andrew S. Mikhail, Jocelyne Rivera, William F. Pritchard, John W. Karanian, Eleanor Stride, Joseph A. Frank, Bradford J. Wood
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-11 (2024)
Abstract Transarterial chemoembolization (TACE) is an image-guided minimally invasive treatment for liver cancer which involves delivery of chemotherapy and embolic material into tumor-supplying arteries to block blood flow to a liver tumor and to de
Externí odkaz:
https://doaj.org/article/c9a49119fd1745cfbd2e2feef1e8a23f
Autor:
Thomas Quarmby, Annette Stride
Publikováno v:
Cogent Education, Vol 11, Iss 1 (2024)
Externí odkaz:
https://doaj.org/article/0dae8ffe2b33417599888c2b5f59b1bb
Autor:
Riemer, Kai, Toulemonde, Matthieu, Yan, Jipeng, Lerendegui, Marcelo, Stride, Eleanor, Weinberg, Peter D., Dunsby, Christopher, Tang, Meng-Xing
Perfusion by the microcirculation is key to the development, maintenance and pathology of tissue. Its measurement with high spatiotemporal resolution is consequently valuable but remains a challenge in deep tissue. Ultrasound Localization Microscopy
Externí odkaz:
http://arxiv.org/abs/2203.04263
Autor:
Trimpl, Michael J., Campbell, Sorcha, Panakis, Niki, Ajzensztejn, Daniel, Burke, Emma, Ellis, Shawn, Johnstone, Philippa, Doyle, Emma, Towers, Rebecca, Higgins, Geoffrey, Bernard, Claire, Hustinx, Roland, Vallis, Katherine A., Stride, Eleanor P.J., Gooding, Mark J.
Publikováno v:
In Radiotherapy and Oncology November 2024 200
Publikováno v:
In Ultrasound in Medicine & Biology October 2024 50(10):1573-1584