Zobrazeno 1 - 10
of 2 839
pro vyhledávání: '"Passmore, A P"'
Autor:
Desmartin, Remi, Isac, Omri, Komendantskaya, Ekaterina, Stark, Kathrin, Passmore, Grant, Katz, Guy
Recent advances in the verification of deep neural networks (DNNs) have opened the way for broader usage of DNN verification technology in many application areas, including safety-critical ones. DNN verifiers are themselves complex programs that have
Externí odkaz:
http://arxiv.org/abs/2405.10611
Serial femtosecond X-ray crystallography (SFX) captures the structure and dynamics of biological macromolecules with high spatial and temporal resolutions. The ultrashort pulse produced by an X-ray free electron laser (XFEL) 'outruns' much of the rad
Externí odkaz:
http://arxiv.org/abs/2405.10298
Autor:
Passmore, Grant
Publikováno v:
EPTCS 393, 2023, pp. 151-160
We present a proof-producing integration of ACL2 and Imandra for proving nonlinear inequalities. This leverages a new Imandra interface exposing its nonlinear decision procedures. The reasoning takes place over the reals, but the proofs produced are
Externí odkaz:
http://arxiv.org/abs/2311.08861
Autor:
Varun Karnik, Sebastiano Maria Colombo, Leah Rickards, Silver Heinsar, Louise E. See Hoe, Karin Wildi, Margaret R. Passmore, Mahe Bouquet, Kei Sato, Carmen Ainola, Nicole Bartnikowski, Emily S. Wilson, Kieran Hyslop, Kris Skeggs, Nchafatso G. Obonyo, Charles McDonald, Samantha Livingstone, Gabriella Abbate, Andrew Haymet, Jae-Seung Jung, Noriko Sato, Lynnette James, Benjamin Lloyd, Nicole White, Chiara Palmieri, Mark Buckland, Jacky Y. Suen, David C. McGiffin, John F. Fraser, Gianluigi Li Bassi
Publikováno v:
Intensive Care Medicine Experimental, Vol 12, Iss 1, Pp 1-18 (2024)
Abstract Open-lung ventilation during cardiopulmonary bypass (CPB) in patients undergoing heart transplantation (HTx) is a potential strategy to mitigate postoperative acute respiratory distress syndrome (ARDS). We utilized an ovine HTx model to inve
Externí odkaz:
https://doaj.org/article/5ec2089cb8ca435584c95f51876bc537
Autor:
E. Passmore, A. K. L. Kwong, J. E. Olsen, A. L. Eeles, J. L. Y. Cheong, A. J. Spittle, G. Ball
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-11 (2024)
Abstract Over the first few months after birth, the typical emergence of spontaneous, fidgety general movements is associated with later developmental outcomes. In contrast, the absence of fidgety movements is a core feature of several neurodevelopme
Externí odkaz:
https://doaj.org/article/b7e45066bed24df3a7c4c8e6ce423072
Publikováno v:
Journal of Childhood, Education & Society, Vol 5, Iss 3, Pp 342-358 (2024)
Pretend play is crucial for developing communication and cognitive skills in preschool children. Targeted coaching during pretend play can effectively support family-centered practices and home-based assistance. This study employed a detailed collect
Externí odkaz:
https://doaj.org/article/afd41932254940ce924d29e5f71a1ed6
Autor:
Desmartin, Remi, Isac, Omri, Passmore, Grant, Stark, Kathrin, Katz, Guy, Komendantskaya, Ekaterina
Recent developments in deep neural networks (DNNs) have led to their adoption in safety-critical systems, which in turn has heightened the need for guaranteeing their safety. These safety properties of DNNs can be proven using tools developed by the
Externí odkaz:
http://arxiv.org/abs/2307.06299
Autor:
Nchafatso G. Obonyo, Sainath Raman, Jacky Y. Suen, Kate M. Peters, Minh-Duy Phan, Margaret R. Passmore, Mahe Bouquet, Emily S. Wilson, Kieran Hyslop, Chiara Palmieri, Nicole White, Kei Sato, Samia M. Farah, Lucia Gandini, Keibun Liu, Gabriele Fior, Silver Heinsar, Shinichi Ijuin, Sun Kyun Ro, Gabriella Abbate, Carmen Ainola, Noriko Sato, Brooke Lundon, Sofia Portatadino, Reema H. Rachakonda, Bailey Schneider, Amanda Harley, Louise E. See Hoe, Mark A. Schembri, Gianluigi Li Bassi, John F. Fraser
Publikováno v:
Intensive Care Medicine Experimental, Vol 12, Iss 1, Pp 1-20 (2024)
Abstract Background Escherichia coli is the most common cause of human bloodstream infections and bacterial sepsis/septic shock. However, translation of preclinical septic shock resuscitative therapies remains limited mainly due to low-fidelity of av
Externí odkaz:
https://doaj.org/article/c03348cdf8dc412a96c6356e9237ed0f
Autor:
Miranda Pallan, Marie Murphy, Breanna Morrison, Alice Sitch, Ashley Adamson, Suzanne Bartington, Alexandra Dobell, Rhona Duff, Emma Frew, Tania Griffin, Kiya Hurley, Emma Lancashire, Louise McLeman, Sandra Passmore, Irina Pokhilenko, Maisie Rowland, Vahid Ravaghi, Suzanne Spence, Peymane Adab
Publikováno v:
International Journal of Behavioral Nutrition and Physical Activity, Vol 21, Iss 1, Pp 1-16 (2024)
Abstract Background Many countries have introduced school food standards to improve the dietary intakes of school-aged children. England has school food standards (SFS) legislation in place but little is known about how well secondary schools comply
Externí odkaz:
https://doaj.org/article/235893337bb6478ab9fcf70b20524a12
Autor:
Nicole Robak, Elena Broeckelmann, Silvano Mior, Melissa Atkinson-Graham, Jennifer Ward, Muriel Scott, Steven Passmore, Deborah Kopansky-Giles, Patricia Tavares, Jean Moss, Jacqueline Ladwig, Cheryl Glazebrook, David Monias, Helga Hamilton, Donnie McKay, Randall Smolinski, Scott Haldeman, André Bussières
Publikováno v:
Implementation Science Communications, Vol 5, Iss 1, Pp 1-18 (2024)
Abstract Background Back pain is very common and a leading cause of disability worldwide. Due to health care system inequalities, Indigenous communities have a disproportionately higher prevalence of injury and acute and chronic diseases compared to
Externí odkaz:
https://doaj.org/article/f952a24c863f47f6b00f45269f3ae5ff