Zobrazeno 1 - 10
of 2 810
pro vyhledávání: '"Michaliszyn A"'
Autor:
Michaliszyn, Jakub, Otop, Jan
Weighted automata is a basic tool for specification in quantitative verification, which allows to express quantitative features of analysed systems such as resource consumption. Quantitative specification can be assisted by automata learning as there
Externí odkaz:
http://arxiv.org/abs/2403.00390
Publikováno v:
Gut Pathogens, Vol 16, Iss 1, Pp 1-9 (2024)
Abstract Blastocystis sp. is one of the most frequently detected protozoa during stool specimen examination. In the last decade, the studies about the pathogenic potential of Blastocystis sp. have intensified. Additionally, treatment approaches again
Externí odkaz:
https://doaj.org/article/5720fa11b66e4eca9d28f056b4c0b74a
Autor:
Kot, Karolina1 (AUTHOR) karolina.kot@pum.edu.pl, Michaliszyn, Adam1 (AUTHOR), Kalisińska, Elżbieta1 (AUTHOR), Lepczyńska, Małgorzata2 (AUTHOR)
Publikováno v:
Gut Pathogens. 4/3/2024, Vol. 16 Issue 1, p1-9. 9p.
Autor:
Lancaster, Shaun T., Sahlin, Eskil, Oelze, Marcus, Ostermann, Markus, Vogl, Jochen, Laperche, Valérie, Touze, Solène, Ghestem, Jean-Philippe, Dalencourt, Claire, Gendre, Régine, Stammeier, Jessica, Klein, Ole, Pröfrock, Daniel, Košarac, Gala, Jotanovic, Aida, Bergamaschi, Luigi, Di Luzio, Marco, D’Agostino, Giancarlo, Jaćimović, Radojko, Eberhard, Melissa, Feiner, Laura, Trimmel, Simone, Rachetti, Alessandra, Sara-Aho, Timo, Roethke, Anita, Michaliszyn, Lena, Pramann, Axel, Rienitz, Olaf, Irrgeher, Johanna
Publikováno v:
In Waste Management 15 December 2024 190:496-505
Linear Temporal Logic (LTL) interpreted on finite traces is a robust specification framework popular in formal verification. However, despite the high interest in the logic in recent years, the topic of their quantitative extensions is not yet fully
Externí odkaz:
http://arxiv.org/abs/2007.01233
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 3 (September 20, 2021) lmcs:6091
We propose a new approach to querying graph databases. Our approach balances competing goals of expressive power, language clarity and computational complexity. A distinctive feature of our approach is the ability to express properties of minimal (e.
Externí odkaz:
http://arxiv.org/abs/2002.04460
Autor:
Aspiranti, Kathleen B.1 (AUTHOR) kaspiranti@uky.edu, Michaliszyn, Sara Fleet2 (AUTHOR), Dula, Mark E.3 (AUTHOR), Tischner, Clair1 (AUTHOR), Fedewa, Alicia L.1 (AUTHOR)
Publikováno v:
Psychology in the Schools. Nov2023, Vol. 60 Issue 11, p4545-4562. 18p.
Autor:
D'Agostino, Giancarlo, Oelze, Marcus, Vogl, Jochen, Ghestem, Jean-Philippe, Lafaurie, Nicolas, Klein, Ole, Pröfrock, Daniel, Di Luzio, Marco, Bergamaschi, Luigi, Jaćimović, Radojko, Oster, Caroline, Irrgeher, Johanna, Lancaster, Shaun T., Walch, Anna, Röthke, Anita, Michaliszyn, Lena, Pramann, Axel, Rienitz, Olaf, Sara-Aho, Timo, Cankur, Oktay
Publikováno v:
JAAS (Journal of Analytical Atomic Spectrometry); Nov2024, Vol. 39 Issue 11, p2809-2823, 15p
Autor:
Thomaz-Soccol, Vanete, Gonçalves, André Luiz, Baggio, Rafael Antunes, Bisetto Jr., Alceu, Celestino, Adão, Hospinal-Santiani, Manuel, de Souza, André, Michaliszyn, Mario Sergio, Borges, Marcelo Eduardo, Piechnik, Cláudio Adriano
Publikováno v:
In One Health December 2023 17
Autor:
Vanete Thomaz-Soccol, André Luiz Gonçalves, Rafael Antunes Baggio, Alceu Bisetto Jr., Adão Celestino, Manuel Hospinal-Santiani, André de Souza, Mario Sergio Michaliszyn, Marcelo Eduardo Borges, Cláudio Adriano Piechnik
Publikováno v:
One Health, Vol 17, Iss , Pp 100581- (2023)
The recent geographic spread of Leishmania infantum along the borders of Argentina, Brazil and Paraguay has been highlighted. In our previous study, Lutzomyia longipalpis was found in 55 of 123 patches surveyed, and in some patches, sandflies were fo
Externí odkaz:
https://doaj.org/article/22c02edf09494a2e8fe0a4a95fcef5e2