Pristupačnost
Machine Learning for Adaptive Accessible User Interfaces: Overview and Applications
A Sentiment Analysis Model Based on User Experiences of Dubrovnik on the Tripadvisor Platform
Analysis of e-Learning System Usage Before and After the COVID-19 Pandemic
A Sentiment Analysis Model Based on User Experiences of Dubrovnik on the Tripadvisor Platform
Organizing online exams during the COVID-19 pandemic
Towards Automated Assessment Generation in e- Learning Systems Using Combinatorial Testing and Formal Concept Analysis
Automated simulation and verification of process models discovered by process mining
Improved Visualization of Frequent Itemset Relationships Using the Minimal Spanning Tree Algorithm
Automated analysis of e-learning web applications
Automatic extraction of learning concepts from exam query repositories
Modeling constraint satisfaction problem with model checker
Annotating Exam Questions Through Automatic Learning Concept Classification
Discovering e-Learning Process Models from Counterexamples
Osnove elektrotehnike - Upute za laboratorijske vježbe
Assessment Process Synthesis for Adaptive E- learning Systems
Prilagodba elektroenergetskih sustava novim suvremenim uvjetima rada
Automated Generation of Questions for Basic Electrical Engineering Education
University Social Network Benefits Analysis and Proposed Framework
Exam questions consistency checking
Discovering Process Model from Incomplete Log using Process Mining
Nuklearne elektrane s torijskim reaktorom
Formal Concept Analysis – Overview and Applications
Using Formal Concept Analysis for student assessment
Computer in Testing the Fundamentals of Electrical Engineering at the University of Zagreb Faculty of Electrical Engineering and Computing
Nastava
Sveučilišni preddiplomski
- Osnove elektrotehnike (Predavanja, Laboratorijske vježbe)
- Osnove elektrotehnike (Predavanja, Laboratorijske vježbe)
- Projekt E (Predavanja)
- Projekt R (Predavanja)
- Elektromagnetska polja (Laboratorijske vježbe)
Sveučilišni diplomski
- Formalna verifikacija programske potpore (Nositelj)
- Formalne metode za verifikaciju i sintezu programskih sustava (Nositelj)
- Formalne metode za verifikaciju i sintezu programskih sustava (Nositelj)
- Diplomski projekt (Predavanja)
- Mentorski seminar (Predavanja)
Poslijediplomski doktorski
- Analiza i sinteza sustava u stvarnom vremenu (Nositelj)
- Formalizmi u telekomunikacijama (Nositelj)
Kompetencije
-
Computers and information processing
Computer aided engineering Computer aided instruction Learning management systems Data processing Database machines -
Education
Educational technology Computer aided instruction Learning management systems Courseware Electronic learning Engineering education -
Systems engineering and theory
System verification System testing Model checking -
Communications technology
Semantic Web Web 2.0 Telecommunications -
Computational and artificial intelligence
Knowledge based systems Knowledge engineering Learning automata Machine learning -
Mathematics
Formal concept analysis