Zobrazeno 1 - 10
of 7 089
pro vyhledávání: '"Passmore, A P"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Elena Lisá
Publikováno v:
Psychologie pro Praxi, Vol 52, Iss 2, Pp 77-78 (2018)
Book review: H. W. Goldstein, E. D. Pulakos, J. Passmore, C. Semedo (ed.),The Wiley Blackwell Handbook of the Psychology of Recruitment, Selection and Employee Retention. Chichester, Jonh Wiley & Sons 2017.
Externí odkaz:
https://doaj.org/article/3f043579d3eb48658baf505f02cd0541
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