SK
EN
Vývoj nových sémantických technológií vo vzdelávaní mladých IT expertov
Basic informations
Thematic area: komisia č. 2 pre nové technológie, metódy a formy vo vzdelávaní
Project name (Slovak): Vývoj nových sémantických technológií vo vzdelávaní mladých IT expertov
Project name (English): A development of the new semantic technologies in educating of young IT experts
Start of project: 2020
End of project: 2022
Condition of project: Ukončený
Project number: 011TUKE-4/2020
Project leader: doc. Ing. William Steingartner, PhD.
University: Technická univerzita v Košiciach
Department: Fakulta elektrotechniky a informatiky
Financial grant of MŠVVandŠ SR within KEGA
| Financial grant of MŠVVandŠ SR within KEGA | Capital expenditures in € | |
|---|---|---|
| Pumped for the entire period of the project | 31 480,00 | 0,00 |
List of project outcomes for the entire solution
Publishing activity
| Category code | Specific output, name (ISBN, number of pages 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 |
Replications
| Category Name | Specific name |
|---|---|
| 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 |
Other outcomes (eg e-learning, websites, virtual laboratory, training, courses, workshops and the like.)
| Output name | Description of output | 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 |
Final evaluation of the commission KEGA
Splnil ciele výborne.