Zobrazeno 1 - 10
of 3 767
pro vyhledávání: '"Hahn E"'
We provide an overview of three different query languages whose objective is to specify properties on the highly popular formalisms of fault trees (FTs) and attack trees (ATs). These are BFL, a Boolean Logic for FTs, PFL, a probabilistic extension of
Externí odkaz:
http://arxiv.org/abs/2401.16015
Critical infrastructure systems - for which high reliability and availability are paramount - must operate securely. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs
Externí odkaz:
http://arxiv.org/abs/2309.09231
Publikováno v:
In: Chechik, M., Katoen, JP., Leucker, M. (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer, Cham
Safety-critical infrastructures must operate in a safe and reliable way. Fault tree analysis is a widespread method used for risk assessment of these systems: fault trees (FTs) are required by, e.g., the Federal Aviation Administration and the Nuclea
Externí odkaz:
http://arxiv.org/abs/2303.17314
Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required - among others - by the Federal Aviation Authority, the Nuclear Regulat
Externí odkaz:
http://arxiv.org/abs/2208.13424
Publikováno v:
International Journal of Rotating Machinery, Vol 10, Iss 6, Pp 425-431 (2004)
Externí odkaz:
https://doaj.org/article/ab8d7c7e2fc94114945f1f74f5a57b9d
We study the effect ionizing radiation has on light transmission in the wavelength range 190--1100~nm for a number of optically clear epoxies. We find that the transmittance of traditional, commercially available, optical epoxies show significant deg
Externí odkaz:
http://arxiv.org/abs/2007.02996
Recently, successful approaches have been made to exploit good-for-MDPs automata (B\"uchi automata with a restricted form of nondeterminism) for model free reinforcement learning, a class of automata that subsumes good for games automata and the most
Externí odkaz:
http://arxiv.org/abs/2001.05977
Autor:
Felsenstein, O., Peled, N., Hahn, E., Rockhill, A. P., Frank, D., Libster, A M., Nossenson, Y., Folsom, L., Gholipour, T., Macadams, K., Rozengard, N., Paulk, A. C., Dougherty, D., Cash, S. S., Widge, A. S., Hämäläinen, M., Stufflebeam, S.
Sophisticated visualization tools are essential for the presentation and exploration of human neuroimaging data. While two-dimensional orthogonal views of neuroimaging data are conventionally used to display activity and statistical analysis, three-d
Externí odkaz:
http://arxiv.org/abs/1912.10079
Autor:
De-Colle, C., Kirby, A., Russell, N., Shaitelman, S.F., Currey, A., Donovan, E., Hahn, E., Han, K., Anandadas, C.N., Mahmood, F., Lorenzen, E.L., van den Bongard, D., Groot Koerkamp, M.L., Houweling, A.C., Nachbar, M., Thorwarth, D., Zips, D.
Publikováno v:
In Clinical and Translational Radiation Oncology March 2023 39
Autor:
Maharaj, R., Jeena, L., Hahn, E., Black, J., Reynolds, S.J., Redd, A.D., Quinn, T.C., Hansoti, B.
Publikováno v:
In African Journal of Emergency Medicine December 2022 12(4):498-504