Zobrazeno 1 - 10
of 302
pro vyhledávání: '"D Stoller"'
Autor:
Scott D. Stoller
Publikováno v:
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f533bfc03a982b458b3b3298a46b9c0d
https://doi.org/10.1145/3589608.3593816
https://doi.org/10.1145/3589608.3593816
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.
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:615-640
Neural state classification (NSC) is a recently proposed method for runtime predictive monitoring of hybrid automata (HA) using deep neural networks (DNNs). NSC trains a DNN as an approximate reachability predictor that labels an HA state x as positi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1fe5bf148c9bed2d612d3fcd8e93d51a
https://doi.org/10.1007/s10009-021-00623-1
https://doi.org/10.1007/s10009-021-00623-1
Publikováno v:
The Journal of Heart and Lung Transplantation. 42:S432
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68501905ecd166ce417beddc8de0baef
https://doi.org/10.1016/j.healun.2023.02.1214
https://doi.org/10.1016/j.healun.2023.02.1214
Autor:
M. Urban, A. Castleberry, J. Um, D. Stoller, S. Lundgren, M. Hyden, M. Moody, K. Oreschak, B. Lowes
Publikováno v:
The Journal of Heart and Lung Transplantation. 42:S431
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6bbf318d93deee69774ebffa0050d60
https://doi.org/10.1016/j.healun.2023.02.1211
https://doi.org/10.1016/j.healun.2023.02.1211
Autor:
M. Hofmeyer, G. Haas, E. Kransdorf, G. Ewald, A. Morris, A. Owens, B. Lowes, D. Stoller, W. Tang, S. Garg, B. Trachtenberg, P. Shah, S. Pamboukian, N. Sweitzer, M. Wheeler, J. Wilcox, S. Katz, S. Pan, J. Jimenez, F. Smart, J. Wang, S. Gottlieb, D. Judge, C. Moore, G. Huggins, E. Jordan, D. Kinnamon, H. Ni, R.E. Hershberger
Publikováno v:
The Journal of Heart and Lung Transplantation. 42:S176
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5f844d0ac9273975e1f09e4daf9adc28
https://doi.org/10.1016/j.healun.2023.02.1674
https://doi.org/10.1016/j.healun.2023.02.1674
Publikováno v:
The Journal of Heart and Lung Transplantation. 42:S193
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81cc24f5a0ee0081017f1a3c3eb03530
https://doi.org/10.1016/j.healun.2023.02.426
https://doi.org/10.1016/j.healun.2023.02.426
Publikováno v:
The Journal of Heart and Lung Transplantation. 42:S433
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::36cfe0a779883bf6c94716a74ed7e53f
https://doi.org/10.1016/j.healun.2023.02.1216
https://doi.org/10.1016/j.healun.2023.02.1216
Publikováno v:
Runtime Verification ISBN: 9783031171956
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b88943e64927326c7b750a2ad7550d39
https://doi.org/10.1007/978-3-031-17196-3_6
https://doi.org/10.1007/978-3-031-17196-3_6
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ed17d7d1aadb25711dd690d6fef7502
https://doi.org/10.1007/978-3-031-19759-8_7
https://doi.org/10.1007/978-3-031-19759-8_7