Zobrazeno 1 - 10
of 419
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:
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
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.
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:
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
Autor:
Michaliszyn, Jakub, Otop, Jan
We present the first study of non-deterministic weighted automata under probabilistic semantics. In this semantics words are random events, generated by a Markov chain, and functions computed by weighted automata are random variables. We consider the
Externí odkaz:
http://arxiv.org/abs/1908.04625
Autor:
Michaliszyn, Jakub, Otop, Jan
Limit-average automata are weighted automata on infinite words that use average to aggregate the weights seen in infinite runs. We study approximate learning problems for limit-average automata in two settings: passive and active. In the passive lear
Externí odkaz:
http://arxiv.org/abs/1906.11104