Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Michal Mrena"'
Publikováno v:
SoftwareX, Vol 26, Iss , Pp 101715- (2024)
Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation. A very effective representation is decision diagra
Externí odkaz:
https://doaj.org/article/f21d7dc2326344f980cdb6f830a02b1d
Publikováno v:
2022 IEEE 16th International Scientific Conference on Informatics (Informatics).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5cf572ef05fd949e778a9349b4185ef
https://doi.org/10.1109/informatics57926.2022.10083495
https://doi.org/10.1109/informatics57926.2022.10083495
Autor:
Michal Mrena, Miroslav Kvassay
Publikováno v:
2022 IEEE 16th International Scientific Conference on Informatics (Informatics).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5661a71c2279fc43168290fd72375f4
https://doi.org/10.1109/informatics57926.2022.10083458
https://doi.org/10.1109/informatics57926.2022.10083458
Autor:
Nika Kvassayova, Maria Bendikova, Jan Horvath, Miroslav Kvassay, Sergey Stankevich, Michal Mrena
Publikováno v:
2022 20th International Conference on Emerging eLearning Technologies and Applications (ICETA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::562e01578760f02a8c39a25ec232776b
https://doi.org/10.1109/iceta57911.2022.9974701
https://doi.org/10.1109/iceta57911.2022.9974701
Publikováno v:
New Advances in Dependability of Networks and Systems ISBN: 9783031067457
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fbe99f517d27f559d8d802d73fafc438
https://doi.org/10.1007/978-3-031-06746-4_17
https://doi.org/10.1007/978-3-031-06746-4_17
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_________::bd7412dc22dda1266ed27488b259f73d
https://doi.org/10.1109/idaacs53288.2021.9660940
https://doi.org/10.1109/idaacs53288.2021.9660940
Autor:
Miroslav Kvassay, Michal Mrena
Publikováno v:
IDT
A Binary Decision Diagram (BDD) is a data structure that can be used for efficient representation of Boolean functions. It allows storing a Boolean function of many variables and manipulating with it. For a given Boolean function, a BDD can be create
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::27506f2d3c0c4a4d7b02489115565aae
https://doi.org/10.1109/idt52577.2021.9497593
https://doi.org/10.1109/idt52577.2021.9497593
Publikováno v:
2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA).
Reliability belongs to key characteristics of most technical, as well as, non-technical systems. Therefore, its evaluation should be one of the principal skills of graduates of technically oriented study programs, such as mechanical engineering, elec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de6997e6307e443423573e2648e46792
https://doi.org/10.1109/iceta51985.2020.9379170
https://doi.org/10.1109/iceta51985.2020.9379170
Publikováno v:
2019 International Conference on Information and Digital Technologies (IDT).
A priority queue belongs to most useful abstract data types. It plays a key role in graph algorithms, such as Dijkstra’s or Prim’s algorithm, in data mining algorithms, such as OPTICS, in discrete-event simulation, or in CPU scheduling. Various i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a12c051ee8d4b39a7c734a28874fa90
https://doi.org/10.1109/dt.2019.8813457
https://doi.org/10.1109/dt.2019.8813457
This book offers insight into the current issues of the merger between reliability engineering and computational intelligence. The intense development of information technology allows for designing more complex systems as well as creating more detail