Vývoj nových sémantických technológií vo vzdelávaní mladých IT expertov

Základné informácie

Tematická oblasť: komisia č. 2 pre nové technológie, metódy a formy vo vzdelávaní

Názov projektu (slovenský): Vývoj nových sémantických technológií vo vzdelávaní mladých IT expertov

Názov projektu (anglický): A development of the new semantic technologies in educating of young IT experts

Začiatok riešenia projektu: 2020

Koniec riešenia projektu: 2022

Stav projektu: Ukončený

Číslo projektu: 011TUKE-4/2020

Vedúci projektu: doc. Ing. William Steingartner, PhD.

Vysoká škola: Technická univerzita v Košiciach

Pracovisko: Fakulta elektrotechniky a informatiky

Finančná dotácia z MŠVVaŠ SR v rámci KEGA

	Finančná dotácia z MŠVVaŠ SR v rámci KEGA	Kapitálové výdavky v €
Čerpané za celé obdobie riešenia projektu	31 480,00	0,00

Zoznam výstupov projektu za celé obdobie riešenia

Publikačná činnosť

Kód kategórie	Konkrétny výstup, názov (ISBN, počet strán a i.)
ADM	Bilanová, Zuzana (40%); Perháč, Ján (40%); Chovancová, Eva (10%); Chovanec, Martin (10%): Logic Analysis of Natural Language Based on Predicate Linear Logic. Budapešt : ISSN 2064-2687
ADM	Mocinecová Karina, Steingartner W.: Software support for visualizing of the graph algorithms in a novel approach in educating of young IT experts, IPSI Transactions on Internet Research (TIR), Beograd, Serbia, July 2020, Volume 16, Number 2, ISSN 1820 - 4503
ADM	Olenčin Michal, Perháč Ján - Automated Hardening of a Linux Web Server, IPSI Transactions on Internet Research (TIR), IPSI Transactions on Internet Research (TIR), Beograd, Serbia, July 2020, Volume 16, Number 2, ISSN 1820 - 4503
ADC	Schreiner W., Steingartner W., Novitzká V. - A Novel Categorical Approach to Semantics of Relational First-Order Logic, Symmetry 2020, 12(10), 1584; https://doi.org/10.3390/sym12101584
AED	Stefányi, Tara (25%); Novitzká, Valerie (75%): Categorical model of simply-typed lambda-calculus with reference type. 2021 Košice : ISBN 978-80-553-3940-5
ADE	Novitzká Valerie (34%); Steingartner William (33%); Perháč Ján (33%): A Simple Categorical Model of Reference Type. IPSI Transactions on Advanced Research, Vol. 17, No. 1, January 2021, pp. 3-7.
ADC	Perháč Ján; Novitzká Valerie; Steingartner William; Bilanová Zuzana: Formal Model of IDS Based on BDI Logic, Mathematics 9, no. 18: 2290. https://doi.org/10.3390/math9182290
AFD	D. Gecášek, M. Solanik, J. Genči and Z. Bilanová, "Exploring the correlation between students' satisfaction and learning outcomes they achieved," 2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA), 2020, pp. 119-124, doi: 10.1109/ICETA51985.2020.9379234.
ADM	Teplická, Katarína (35%); Steingartner, William (30%); Kádárová, Jaroslava (30%); Hurná, Soňa (5%): Dashboards - effective instrument of decision in synergy with software support. Czestochowa : ISSN 2081-7452
ADE	Róbert Baraník, William Steingartner - Teaching Support for the Visualization of Selected Recursive Algorithms, IPSI Transactions on Advanced Research, Vol. 17, No.1, pp. 8-12, 2021
ADC	William Steingartner, Darko Galinec, Andrija Kozina - Threat defense: cyber deception approach and education for resilience in hybrid threats model, Symmetry, Vol. 13, No. 4, pp. 597, 2021
ADM	William Steingartner, Darko Galinec - Cyber Threats and Cyber Deception in Hybrid Warfare, Acta Polytechnica Hungarica: An international peer-reviewed scientific journal of Óbuda University, Hungarian Academy of Engineering and IEEE Hungary Section : journal of applied sciences. Budapest (Hungary): Óbudai Egyetem Vol. 18, No. 3 (2021), pp. 25-45
ADM	Jurij Mihelič, William Steingartner, Valerie Novitzká - A denotational semantics of a concatenativecompositional programming language, Acta Polytechnica Hungarica : An international peer-reviewed scientific journal of Óbuda University, Hungarian Academy of Engineering and IEEE Hungary Section: journal of applied sciences. Budapest (Hungary) : Óbudai Egyetem Vol. 18, No. 4 (2021), pp. 231-250
AFC	William Steingartner, Matúš Jankura, Davorka Radaković - Visualization of Formal Semantics - Possibilities of Attracting Formal Methods in Teaching, In: Sinteza 2021 - International Scientific Conference on Information Technology and Data Related Research, Belgrade, Singidunum University, Serbia, 2021, pp. 235-239. doi:10.15308/Sinteza-2021-235-239
AFC	William Steingartner, Valerie Novitzká - Natural Semantics for Domain-Specific Language. In: Bellatreche L. et al. (eds) New Trends in Database and Information Systems. ADBIS 2021. Communications in Computer and Information Science, vol 1450. Springer, Cham, 2021. https://doi.org/10.1007/978-3-030-85082-1_17
AFC	William Steingartner, Valerie Novitzká, Pavol Zorvan - Some modeling technologies in educating of young IT experts in the field of formal languages and their semantics, In: Central European Conference on Information and Intelligent Systems, 32nd International Conference, Varaždin, Croatia, 2021
AFD	Perháč J., Bilanová Z. - Another Tool for Structural Operational Semantics Visualization of Simple Imperative Language, In: ICETA 2020 : 18th IEEE International conference on emerging elearning technologies and applications : Information and communication technologies in learning (accepted 2020, published 2021)
AFD	Steingartner W. - Support for online teaching of the Semantics of Programming Languages course, In: ICETA 2020 : 18th IEEE International conference on emerging elearning technologies and applications : Information and communication technologies in learning (accepted 2020, published 2021)
AFC	Perháč J., Bilanová Z. - Categorical Model of Functional Language with Natural Numbers and Boolean Values, XV International Scientific and Technical Conference Computer Science and Information Technologies, Zbarazh Castle, Ukraine, 23-26 September, 2020 (accepted 2020, published 2021)
AFC	Bilanová Z., Perháč J., Hulič M. - A Modern Interpreter of Predicate Linear Logic Formulas, XV International Scientific and Technical Conference Computer Science and Information Technologies, Zbarazh Castle, Ukraine, 23-26 September, 2020 (accepted 2020, published 2021)
ADE	Bilanová Z., Madoš B. - Development of Intensional Logic Ideas in the Field of Logical Analysis of Natural Language: an Overview, IPSI Transactions on Advanced Research (TAR), Beograd, Serbia, Vol. 17, No. 1, January 2021, pp. 13-16, 2021
ADE	Bilanová Z., Madoš B. - From First-order Logic to Higher-order Logic in Terms of Logical Analysis of Natural Language, IPSI Transactions on Advanced Research (TAR), Beograd, Serbia, Vol. 17, No. 1, January 2021, pp. 17-21, 2021
ADE	Perháč J., Varchola P. - Interactive Learning Application for Teaching the Rusyn Language, IPSI Transactions on Advanced Research (TAR), Beograd, Serbia, Vol. 17, No. 1, January 2021, pp. 22-27
ADE	Perháč J., Havira M. - Securing Linux Server by Intrusion Detection System, IPSI Transactions on Advanced Research (TAR), Beograd, Serbia, Vol. 17, No. 1, January 2021, pp. 28-31
AFD	Jana Kravcová, William Steingartner, Hana Bučková: Software tool to support experiential teaching of selected methods of formal semantics, 2021 19th International Conference on Emerging eLearning Technologies and Applications (ICETA). November 11-12, 2021, IEEE, 2021.
AFD	Solanik Michal, Bilanová Zuzana, Gecášek Daniel, Genči Ján, Novák Dominik: Interactive web course for teaching system programming. 2021 19th International Conference on Emerging eLearning Technologies and Applications (ICETA). November 11-12, 2021, IEEE, 2021
ADM	Steingartner, William (100%): On some innovations in teaching the formal semantics using software tools. Open Computer Science. Vol. 11, No. 1, Varšava, 2021 : ISSN 2299-1093
V2	Steingartner, William (100%): Compiler Module of Abstract Machine Code for Formal Semantics Course. 2021 Danvers : ISBN 978-1-7281-8052-6
V2	Steingartner, William (100%): How information technologies can improve the educational process during the online teaching. 2021 Košice : ISBN 978-80-553-3886-6
V2	Radaković, Davorka (10%); Steingartner, William (90%): High school students` common errors in programming. 2022 Belgrade : ISBN 978-86-7912-800-3
V3	Novitzká, Valerie (45%); Steingartner, William (45%); Richnavská, Viktória (10%): Fuzzy Logic for Educational Purposes. Belehrad : ISSN 1820-4503
V2	Steingartner, William (45%); Novitzká, Valerie (45%); Baraník, Robert (10%): Abstract machine for operational semantics of domain-specific language, Modern Approaches in Data Engineering and Information System Design 2022 - ADBIS 2022, Torino, Italy
V2	Ján Perháč (70%); Michal Ferencsik (15%); Viktor Zhukovskyy (5%); Nataliia Zhukovska (5%); Serhii Shatnyi (5%): Visualization of Syntax and Semantics for Simple Functional Language of Natural Numbers and Boolean Values, 2022 IEEE 10th Jubilee International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC), 2022
V2	Vitalii Tsimbolynets (30%), Ján Perháč (70%): Visualization of imperative programs translation with Structural Operational Semantics, 2022 IEEE 16th International Scientific Conference on Informatics, 2022
V2	William Steingartner (80%), Darko Možnik (10%), Darko Galinec (10%): Disinformation Campaigns and Resilience in Hybrid Threats Conceptual Model, 2022 IEEE 16th International Scientific Conference on Informatics, 2022
V2	William Steingartner (80%), Richard Zsiga (10%), Davorka Radaković (10%): Natural semantics visualization for domain-specific language, 2022 IEEE 16th International Scientific Conference on Informatics, 2022
V2	Norbert Ferenčík (25%), Radovan Hudák (15%), Branko Štefanovič (15%), Miroslav Kohan (15%), Tomáš Breškovič (15%) and William Steingartner (15%): Polyamide 12 Pickling Equipment for 3D Printed Parts, 2022 IEEE 16th International Scientific Conference on Informatics, 2022
V2	Norbert Ferenčík (25%), Radovan Hudák (15%), Branko Štefanovič (15%), Miroslav Kohan (15%), Veronika Sedláková (15%) and William Steingartner (15%): Monitoring the Quality of Sleep Using a Smart Bracelet at Different Light Spectrum, 2022 IEEE 16th International Scientific Conference on Informatics, 2022
P1	William Steingartner (50%), Valerie Novitzká (50%): Metódy formálnej sémantiky programovacích jazykov, Technická univerzita v Košiciach, 2022, ISBN: 978-80-553-4182-8
P1	William Steingartner (100%): Operačná sémantika v praxi, Technická univerzita v Košiciach, 2022, ISBN: 978-80-553-4180-4

Ohlasy

Názov kategórie	Konkrétny názov
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Teplická, Katarína; Steingartner, William; Kádárová, Jaroslava; Hurná, Soňa: Dashboards - effective instrument of decision in synergy with software support.
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Bilanová, Zuzana - Perháč, Ján - Chovancová, Eva - Chovanec, Martin: Logic Analysis of Natural Language Based on Predicate Linear Logic.
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Threat Defense: Cyber Deception Approach and Education for Resilience in Hybrid Threats Model
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Cyber Threats and Cyber Deception in Hybrid Warfare
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	A Novel Categorical Approach to Semantics of Relational First-Order Logic
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Software Support for Visualizing of the Graph Algorithms in a Novel Approach in Educating of Young IT Experts
1 - citácie v zahraničných publikáciách registrované v citačných indexoch Web of Science a v databáze SCOPUS	Dashboards - Effective Instrument of Decision in Synergy with Software Support

Iné výstupy (napr. e-learning, webové stránky, virtuálne laboratórium, školenia, kurzy, workshop a pod.)

Názov výstupu	Opis výstupu	Link
Inovované súbory prednášok	Nové podklady k prednáškam - obnovené, rozšírené a doplnené slajdy. Materiály slúžia pre pedagógov zabezpečujúcich prednášky aj cvičenia a pre študentov ako pomôcka pri štúdiu literatúry.	interne v katedrovom moodle
Prototypy softvéru	Funkčné prototypy softvéru pre realizáciu niektorých sémantických metód (štrukturálna operačná sémantika, abstraktný stroj). Prototypy po testovaní budú slúžiť ako vzor pre návrh funkčných modulov v rámci prostredia.	nie je
Inovované súbory prednášok	Prepracované nové podklady k prednáškam - obnovené, rozšírené a doplnené slajdy. Opravené a doplnené materiály z predošlého roka. Materiály slúžia pre pedagógov zabezpečujúcich prednášky aj cvičenia a pre študentov ako pomôcka pri štúdiu literatúry.	interne v katedrovom moodle
Prototypy softvéru	Funkčné prototypy softvéru pre realizáciu niektorých sémantických metód (kategorická denotačná sémantika, koalgebraická operačná sémantika, emulátor výpočtov pre abstraktný stroj, generátor byte-kódu pre abstraktný stroj). Prototypy po testovaní budú slúžiť ako vzor pre návrh funkčných modulov v rámci prostredia.	nie je
Inovované súbory pre cvičenia	Nové podklady k vybraným cvičeniam - rešerš literatúry, praktické postupy, modelové riešené príklady. Materiály slúžia pre pedagógov zabezpečujúcich cvičenia a pre študentov ako pomôcka pri štúdiu problematiky.	interne v katedrovom moodle
Portál pre podporu výučby s interaktívnym softvérom	Webovský portál obsahujúci jednotlivé moduly pre podporu výučby sémantiky	spj.kpi.fei.tuke.sk
Portál pre podporu výučby s pracovnými listami	Webovský portál obsahujúci pracovné listy a podklady pre cvičenia a samostatnú prácu študentov	https://kurzy.kpi.fei.tuke.sk/spj/
Súbor inovovaných prednášok k predmetu	Repozitár s podkladmi a materiálmi pre prednášky	interne v katedrovom Moodle

Záverečné hodnotenie príslušnej komisie KEGA

Splnil ciele výborne.