Zobrazeno 1 - 10
of 623
pro vyhledávání: '"Sidoruk A"'
Autor:
Kurpiewski, Damian, Jamroga, Wojciech, Maśko, Łukasz, Mikulski, Łukasz, Pazderski, Witold, Penczek, Wojciech, Sidoruk, Teofil
Publikováno v:
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022, 531--556
Formal verification of multi-agent systems is hard, both theoretically and in practice. In particular, studies that use a single verification technique typically show limited efficiency, and allow to verify only toy examples. Here, we propose some ne
Externí odkaz:
http://arxiv.org/abs/2310.15789
Autor:
Daniel Petrič, Klára Mikulová, Alexandra Bombárová, Dominika Batťányi, Klaudia Čobanová, Pavel Kopel, Anna Łukomska, Piotr Pawlak, Pola Sidoruk, Szymon Kotwica, Adam Cieslak, Zora Váradyová
Publikováno v:
BMC Veterinary Research, Vol 20, Iss 1, Pp 1-13 (2024)
Abstract Background Zinc nanoparticles (NPs) are characterized by high bioavailability, small size, and high absorbability. The purpose of this experiment was to determine the effect of Zn-NP feed supplementation on ruminal fermentation, microbiota,
Externí odkaz:
https://doaj.org/article/23cbcc421c5e48bba9958becbc169ab4
Autor:
Arias, Jaime, Olarte, Carlos, Petrucci, Laure, Maśko, Łukasz, Penczek, Wojciech, Sidoruk, Teofil
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing co
Externí odkaz:
http://arxiv.org/abs/2305.04616
We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, i.e., STCTL is interpreted over networ
Externí odkaz:
http://arxiv.org/abs/2302.13405
Social Explainable AI (SAI) is a new direction in artificial intelligence that emphasises decentralisation, transparency, social context, and focus on the human users. SAI research is still at an early stage. Consequently, it concentrates on deliveri
Externí odkaz:
http://arxiv.org/abs/2302.01063
Autor:
Agnieszka Gierczak-Pachulska, Michał Kaza, Katarzyna Jarus-Dziedzic, Olga Czerepow-Bielik, Agnieszka Segiet-Święcicka, Grzegorz Huszcza, Katarzyna Sidoruk, Daniel Rabczenko, Piotr J. Rudzki
Publikováno v:
Acta Poloniae Pharmaceutica, Vol 81, Iss 1, Pp 97-108 (2024)
Rivaroxaban is an oral anticoagulant that is a selective, direct factor Xa inhibitor. It is used to prevent thrombotic events of atherosclerotic etiology and to prevent stroke and peripheral embolism in adult patients with nonvalvular atrial fibrilla
Externí odkaz:
https://doaj.org/article/316b5d2cc8424ab39a49b99e3bb9ff89
Autor:
Barszcz, Agnieszka A., Sidoruk, Marcin
Publikováno v:
In Food Control October 2024 164
Autor:
Hawryluk-Sidoruk, Monika, Raczkiewicz, Monika, Krasucka, Patrycja, Duan, Wenyan, Mašek, Ondřej, Zarzycki, Robert, Kobyłecki, Rafał, Pan, Bo, Oleszczuk, Patryk
Publikováno v:
In Chemical Engineering Journal 1 February 2024 481
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing co
Externí odkaz:
http://arxiv.org/abs/2101.06838
Publikováno v:
Water, Vol 16, Iss 11, p 1573 (2024)
Heavy metals play a crucial role in the environment due to their toxicity, persistence, and bioaccumulation ability, which can lead to severe ecological and health risks. This study aimed to investigate the impact of urbanization and agricultural pra
Externí odkaz:
https://doaj.org/article/b5b07467b3104ae6b1f8faed22e35f23