Zobrazeno 1 - 10
of 177
pro vyhledávání: '"Toth, Tamás"'
Publikováno v:
In Veterinary Parasitology: Regional Studies and Reports November 2024 56
Publikováno v:
In Journal of Informetrics May 2024 18(2)
Autor:
Tóth, Tamás, Tóth, Miklós Tamás, Abonyi-Tóth, Zsolt, Silva, Vanessa, Poeta, Patricia, Sipos, Mihály, Juhász, Alexandra
Publikováno v:
In Veterinary and Animal Science September 2023 21
Autor:
Yan, Mi, MacDonald, Jonathan C., Reaume, Chris T., Cobb, Wesley, Toth, Tamas, Karthigan, Sarah S.
Publikováno v:
The 1st International Workshop on Artificial Intelligence of Things at KDD 2019
Recently developed machine learning techniques, in association with the Internet of Things (IoT) allow for the implementation of a method of increasing oil production from heavy-oil wells. Steam flood injection, a widely used enhanced oil recovery te
Externí odkaz:
http://arxiv.org/abs/1908.11319
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 253, 2017, pp. 75-91
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the mode
Externí odkaz:
http://arxiv.org/abs/1708.07224
Publikováno v:
EPTCS 245, 2017, pp. 31-45
Statecharts are frequently used as a modeling formalism in the design of state-based systems. Formal verification techniques are also often applied to prove certain properties about the behavior of the system. One of the most efficient techniques for
Externí odkaz:
http://arxiv.org/abs/1703.07350
Autor:
Gonczi, Lorant, Szanto, Kata, Farkas, Klaudia, Molnar, Tamas, Szamosi, Tamas, Schafer, Eszter, Golovics, Petra A., Barkai, Laszlo, Lontai, Livia, Lovasz, Barbara, Juhasz, Mark, Patai, Arpad, Sarang, Krisztina, Vincze, Aron, Sarlos, Patricia, Farkas, Alexandra, Dubravcsik, Zsolt, Toth, Tamas G., Miheller, Pal, Ilias, Akos, Lakatos, Peter L.
Publikováno v:
In Digestive and Liver Disease February 2022 54(2):207-213
Autor:
Takács, Judit, Tóth, Tamás P.
Publikováno v:
The Hungarian Historical Review, 2021 Jan 01. 10(2), 267-300.
Externí odkaz:
https://www.jstor.org/stable/27115451
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.