Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Agnieszka M. Zbrzezny"'
Publikováno v:
Sensors, Vol 22, Iss 23, p 9552 (2022)
Metric temporal logic (MTL) is a popular real-time extension of linear temporal logic (LTL). This paper presents a new simple SAT-based bounded model-checking (SAT-BMC) method for MTL interpreted over discrete infinite timed models generated by discr
Externí odkaz:
https://doaj.org/article/9f0f34a4772e4440a652c03f86691fd1
Autor:
Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski
Publikováno v:
Sensors, Vol 21, Iss 9, p 3055 (2021)
For many years various types of devices equipped with sensors have guaranteed proper work in a huge amount of machines and systems. For the proper operation of sensors, devices, and complex systems, we need secure communication. Security protocols (S
Externí odkaz:
https://doaj.org/article/e4f6a24bac9848488d45bf0e86a182b9
Publikováno v:
Journal of Clinical Medicine; Volume 12; Issue 10; Pages: 3587
This article provides a comprehensive and up-to-date overview of the repositories that contain color fundus images. We analyzed them regarding availability and legality, presented the datasets’ characteristics, and identified labeled and unlabeled
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dddea022bf7eecc46d207612c2170d2e
https://doi.org/10.3390/jcm12103587
https://doi.org/10.3390/jcm12103587
Publikováno v:
Journal of Clinical Medicine. 12:3266
The artificial intelligence (AI) systems used for diagnosing ophthalmic diseases have significantly progressed in recent years. The diagnosis of difficult eye conditions, such as cataracts, diabetic retinopathy, age-related macular degeneration, glau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6572cf27e73e0a2ba20c0544a1c4a2ac
https://doi.org/10.3390/jcm12093266
https://doi.org/10.3390/jcm12093266
Publikováno v:
National Information Processing Institute
The paper presents a novel method for the verification of security protocols’ (SPs)time properties. The new method uses a translation to satisfiability modulo theories (SMT) problem. In our approach, we model protocol users’ behaviours using netw
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c1c0ec8b420611b0b72d7390d273b529
https://doi.org/10.1093/jigpal/jzaa062
https://doi.org/10.1093/jigpal/jzaa062
Publikováno v:
2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e52621e94212c5e314c9a66f56290381
https://doi.org/10.1109/idaacs53288.2021.9660937
https://doi.org/10.1109/idaacs53288.2021.9660937
Autor:
Emanuele La Malfa, Marta Kwiatkowska, Nicola Paoletti, Rhiannon Michelmore, Agnieszka M. Zbrzezny
Publikováno v:
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
IJCAI
IJCAI
We build on abduction-based explanations for ma-chine learning and develop a method for computing local explanations for neural network models in natural language processing (NLP). Our explanations comprise a subset of the words of the in-put text th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09bf569b77d4473d4c62eccc5a6ee6da
https://doi.org/10.24963/ijcai.2021/366
https://doi.org/10.24963/ijcai.2021/366
Publikováno v:
PDCAT
This paper presents our next research related to the use of SMT techniques for the analysis of security protocols. The behaviours of users and their changing knowledge during an investigated protocol executions are modelled as networks of communicati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c10d84153cf0d633ef60087ff5de688
https://doi.org/10.1109/pdcat46702.2019.00065
https://doi.org/10.1109/pdcat46702.2019.00065
Publikováno v:
Scopus-Elsevier
We investigate an optimal cost reachability problem for weighted timed automata, and we use a translation to SMT to solve the problem. In particular, we show how to find a run of length k ∈ IN that starts at the initial state and terminates at a st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a158a7847e947b544f39534dd44defa3
https://doi.org/10.3233/fi-2017-1527
https://doi.org/10.3233/fi-2017-1527
Autor:
Agnieszka M. Zbrzezny
Publikováno v:
Technical Sciences. 2:131-147
We compare two SAT-based bounded model checking algorithms for the properties expressed in the existential fragment of a soft real-time computation tree logic (RTECTL) and in the existential fragment of computation tree logic (ECTL). To this end, we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66b12b845e523dea80f5e6b1811f2827
https://doi.org/10.31648/ts.5147
https://doi.org/10.31648/ts.5147