Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Zuzana BILANOVA"'
Publikováno v:
Acta Electrotechnica et Informatica, Vol 19, Iss 4, Pp 3-7 (2020)
This paper describes the theoretical design and implementation of the semantic machine of transparent intensional logic. Transparent intensional logic is used for the logical-semantic analysis of natural language, which is performed in three steps -
Externí odkaz:
https://doaj.org/article/15ccc58609d04076bf72268ec17a1611
Publikováno v:
Journal of Information and Organizational Sciences, Vol 45, Iss 1, Pp 329-349 (2021)
Journal of Information and Organizational Sciences
Volume 45
Issue 1
Journal of Information and Organizational Sciences
Volume 45
Issue 1
Lossless data compression algorithms can use statistical redundancy to represent data using a fewer number of bits in comparison to the original uncompressed data. Run-Length Encoding (RLE) is one of the simplest lossless compression algorithms in te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3cab01b769959765c5f25bcf5c73eed5
https://doi.org/10.31341/jios.45.1.15
https://doi.org/10.31341/jios.45.1.15
Publikováno v:
2021 19th International Conference on Emerging eLearning Technologies and Applications (ICETA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66fa9dfaae9e1fea8c9816f116ecc20b
https://doi.org/10.1109/iceta54173.2021.9726594
https://doi.org/10.1109/iceta54173.2021.9726594
Publikováno v:
Acta Polytechnica Hungarica. 17:239-252
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d3b34561090b795f51c4a4656b90d40f
https://doi.org/10.12700/aph.17.6.2020.6.14
https://doi.org/10.12700/aph.17.6.2020.6.14
Publikováno v:
COMPUTING AND INFORMATICS; Vol. 39 No. 3 (2020): Computing and Informatics; 587-616
This paper deals with the issue of geometry representation of voxelized three-dimensional scenes using hierarchical data structures. These include pointerless Sparse Voxel Octrees that have no pointers on child nodes and allow a compact binary repres
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f492866a9c0a1a8aa4533c78430d4fff
https://doi.org/10.31577/cai_2020_3_587
https://doi.org/10.31577/cai_2020_3_587
Autor:
Zuzana Bilanova, Jan Perhac
Publikováno v:
2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA).
Teaching formal methods, especially semantics of programming languages is an important aspect of theoretical informatics. The learning process often includes a lot of mathematics and learning different notations, which appears to be very difficult fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aec6566fde6a5e910230cff6ea7b8e58
https://doi.org/10.1109/iceta51985.2020.9379205
https://doi.org/10.1109/iceta51985.2020.9379205
Publikováno v:
2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA).
The article aims to present modern approaches in the teaching of programming subjects, to evaluate how students perceive them and to assess whether the given methods objectively improve the level of knowledge acquired by students. This research was c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5dd2517086280f9714d449d1ad22af63
https://doi.org/10.1109/iceta51985.2020.9379234
https://doi.org/10.1109/iceta51985.2020.9379234
Publikováno v:
2020 IEEE 15th International Conference on Computer Sciences and Information Technologies (CSIT).
This paper describes the design, implementation and possibilities of using a new interpreter of resource-oriented logical formulas. Predicate linear logic is an apparatus that captures the dynamics of a changing world uniquely -resources are consumed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a4436bf29e03e1114e01c6d9a7559fe2
https://doi.org/10.1109/csit49958.2020.9321931
https://doi.org/10.1109/csit49958.2020.9321931
Autor:
Zuzana Bilanova, Jan Perhac
Publikováno v:
2020 IEEE 15th International Conference on Computer Sciences and Information Technologies (CSIT).
Curry–Howard–Lambek isomorphism defines a correspondence between at first sight different theories: Church's computational calculi (which is the foundation of functional programming paradigm), intuitionistic logic, and category theory. In this pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0aa82fad955b3ba14c455879b5cd2596
https://doi.org/10.1109/csit49958.2020.9322039
https://doi.org/10.1109/csit49958.2020.9322039
Publikováno v:
Mathematics, Vol 9, Iss 2290, p 2290 (2021)
Mathematics; Volume 9; Issue 18; Pages: 2290
Mathematics; Volume 9; Issue 18; Pages: 2290
Computer network security is an important aspect of computer science. Many researchers are trying to increase security using different methods, technologies, or tools. One of the most common practices is the deployment of an Intrusion Detection Syste
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::738fcbc90bafd4c2dea36324337527df
https://doi.org/10.3390/math9182290
https://doi.org/10.3390/math9182290