česky | in English
angličtina. Spojené státy.
Klíčová slova anglicky: Adaptive learning; Student modeling; Domain modeling; Trade-offs
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 22. 4. 2024 10:45.
angličtina. Spojené státy.
Klíčová slova anglicky: automated feedback, code quality, novice programmers, pep8, python, teaching
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 16. 8. 2024 08:34.
angličtina. Nizozemské království.
Klíčová slova anglicky: Response time; Student modeling; Personalization; Learning; Cheating
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 11. 4. 2024 10:32.
angličtina.
Klíčová slova anglicky: Recommender system; Education; Learning environment; Adaptive practice; Domain modeling
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 22. 4. 2024 10:39.
RIV/00216224:14330/23:00133816 Článek v odborném periodiku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: Skills; well-structured problems; taxonomy
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 18. 3. 2024 10:16.
RIV/00216224:14330/22:00125686 Článek v odborném periodiku. angličtina. Švýcarsko.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: terminology; educational technology; adaptivity; learning; student modeling
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 3. 2023 15:40.
RIV/00216224:14330/22:00127006 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: introductory programming; python; code quality; feedback
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:00.
RIV/00216224:14330/22:00124952 Článek v odborném periodiku. angličtina. Švýcarsko.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí) -- Čechák, Jaroslav (203 Česká republika, domácí)
Klíčová slova anglicky: adaptive learning; student modeling; difficulty; complexity
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 4. 2022 15:26.
RIV/00216224:14330/22:00124864 Článek v odborném periodiku. angličtina. Velká Británie a Severní Irsko.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: introductory programming; block-based programming; microworld; puzzle; difficulty; log analysis
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 25. 4. 2022 08:37.
RIV/00216224:14330/22:00128874 Článek v odborném periodiku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: taxonomy; data-driven techniques; defects; student modeling
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 13. 3. 2023 13:50.
RIV/00216224:14330/22:00128708 Článek v odborném periodiku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí) -- Kukučka, Adam (703 Slovensko, domácí)
Klíčová slova anglicky: learning environment; outliers; anomaly detection; interpretability; reliability; difficulty; content analysis; attention-worthiness
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 3. 2023 16:41.
RIV/00216224:14330/21:00124540 Článek v odborném periodiku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: difficulty; similarity; response time; temporal patterns; biases; cheating
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 15:09.
RIV/00216224:14330/21:00121881 Stať ve sborníku. angličtina. Švýcarsko.
Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: Additive factor model; Student modeling; Simulation; Model comparison
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:19.
RIV/00216224:14330/21:00122016 Stať ve sborníku. angličtina.
Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: item similarity; evaluation; generalizability
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2024 15:12.
RIV/00216224:14330/21:00121982 Stať ve sborníku. angličtina. Švýcarsko.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: interpretable clustering; pattern mining; introductory programming; problem solving
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:20.
RIV/00216224:14330/21:00121402 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: student modeling; skills; difficulties; validity; reliability; performance measures; problem solving; introductory programming
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:16.
RIV/00216224:14330/21:00123675 Kapitola resp. kapitoly v odborné knize. angličtina. Švýcarsko.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: exploratory data analysis; learning environment; heat map; dotted chart
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Tomáš Effenberger, Ph.D., učo 410350. Změněno: 12. 1. 2022 13:25.
RIV/00216224:14330/20:00118359 Článek v odborném periodiku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: adaptive learning; classification; framework; student modeling
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:55.
RIV/00216224:14330/20:00116670 Článek v odborném periodiku. angličtina. Švýcarsko.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
Klíčová slova anglicky: adaptive learning; student modeling; answer classification; response time
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:55.
RIV/00216224:14330/20:00115226 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Čechák, Jaroslav (203 Česká republika, domácí)
Klíčová slova anglicky: student modeling; learning curves; knowledge components; introductory programming
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:56.
RIV/00216224:14330/20:00116669 Stať ve sborníku. angličtina. Švýcarsko.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: adaptive learning; student modeling; intelligent tutoring systems; introductory programming
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:14.
RIV/00216224:14330/20:00118360 Stať ve sborníku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: trade-offs; scalability; methodology
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:56.
RIV/00216224:14330/20:00115525 Článek v odborném periodiku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: domain modeling; student modeling; adaptivity; scalability; knowledge component; system developoment
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:56.
RIV/00216224:14330/20:00115524 Článek v odborném periodiku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: educational items; adaptive learning systems; item similarity measures; computation pipeline
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 9. 2021 07:57.
angličtina. Spojené státy.
Klíčová slova anglicky: complexity measure; difficulty measure; problem sequencing; introductory programming; Python; block-based programming; turtle graphics
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Jaroslav Čechák, Ph.D., učo 410322. Změněno: 27. 8. 2019 07:59.
RIV/00216224:14330/19:00110476 Stať ve sborníku. angličtina. Švýcarsko.
Čechák, Jaroslav (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: intelligent tutoring system; data collection; explore-exploit tradeoff; simulation
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 12:41.
RIV/00216224:14330/19:00110491 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: problem difficulty; problem complexity; data collection bias; introductory programming; intelligent tutoring system
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 6. 2022 23:18.
RIV/00216224:14330/19:00110495 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: performance measures;introductory programming;student modeling
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 6. 2022 23:22.
RIV/00216224:14330/18:00104014 Článek v odborném periodiku. angličtina. Velká Británie a Severní Irsko.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: mastery learning; learner modelling; Bayesian knowledge tracing; exponential moving average
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 16. 4. 2019 12:06.
RIV/00216224:14330/18:00104015 Stať ve sborníku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: mastery learning; student modeling
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:33.
RIV/00216224:14330/18:00104016 Stať ve sborníku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: response time; wrong answer; student modeling
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:12.
RIV/00216224:14330/18:00104017 Stať ve sborníku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí) -- Vaněk, Matěj (203 Česká republika, domácí) -- Sassmann, Vojtěch (203 Česká republika, domácí) -- Gmiterko, Dominik (703 Slovensko, domácí)
Klíčová slova anglicky: similarity; programming
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:07.
RIV/00216224:14330/18:00104013 Článek v odborném periodiku. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: student modeling; evaluation; metrics; data; model comparison
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 2. 9. 2020 08:57.
RIV/00216224:14330/18:00104033 Stať ve sborníku. angličtina. Spojené státy.
Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: introductory programming; adaptive learning
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:11.
RIV/00216224:14330/17:00099575 Článek v odborném periodiku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: learner modeling; evaluation; adaptive learning
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 2. 9. 2020 08:56.
RIV/00216224:14330/17:00095908 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Papoušek, Jan (203 Česká republika, domácí) -- Řihák, Jiří (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí)
Klíčová slova anglicky: Learner modeling;Computerized adaptive practice;Elo rating system;Model evaluation;Factual knowledge
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 17:31.
RIV/00216224:14330/17:00099573 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: adaptive learning; difficulty
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 18. 5. 2018 04:35.
RIV/00216224:14330/17:00097866 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: mastery learning; learner modeling; Bayesian knowledge tracing; exponential moving average
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 16:41.
RIV/00216224:14330/17:00100554 Stať ve sborníku. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: AUC; evaluation; metrics; predictive accuracy; RMSE; student modeling
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 17:27.
Informatika. angličtina. Čína.
Klíčová slova anglicky: domain modeling; item similarity; similarity measures; simulated data; evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 1. 2018 08:06.
RIV/00216224:14330/17:00099574 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: adaptive learning; difficulty
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 18. 5. 2018 07:37.
RIV/00216224:14330/16:00091567 Článek v odborném periodiku. Informatika. angličtina. Austrálie.
Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí) -- Stanislav, Vít (203 Česká republika)
Klíčová slova anglicky: adaptive practice; geography; learning; student modelling
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 28. 3. 2017 08:54.
RIV/00216224:14330/16:00093977 Článek v odborném periodiku. Informatika. angličtina. Velká Británie a Severní Irsko.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Architectures for educational technology system; Interactive learning environments; Applications in subject areas; Student modeling
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 11. 1. 2023 09:24.
RIV/00216224:14330/16:00090423 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: attrition bias; computerized adaptive practice; engagement; evaluation; learning curve; survival analysis
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:17.
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: evaluation, engagement, learning curves, optimal difficulty
Změnil: RNDr. Jan Papoušek, Ph.D., učo 325494. Změněno: 9. 11. 2016 22:25.
Informatika. angličtina.
Klíčová slova anglicky: student modeling; domain modeling; response times; predictive accuracy; mathematics; education
Změnil: RNDr. Jiří Řihák, Ph.D., učo 255651. Změněno: 9. 11. 2016 11:06.
RIV/00216224:14330/16:00090424 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí) -- Papoušek, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: attition;bias;data sets;evaluation;parameter fitting;student modeling
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:24.
RIV/00216224:14330/16:00090426 Stať ve sborníku. Informatika. angličtina.
Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: evaluation; engagement; learning curves; optimal difficulty
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:27.
Informatika. angličtina. Spojené státy.
Klíčová slova anglicky: adaptive learning; student modeling; wrong answer; clustering; confusion
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Jiří Řihák, Ph.D., učo 255651. Změněno: 6. 8. 2017 11:23.
RIV/00216224:14330/16:00090587 Stať ve sborníku. Informatika. angličtina. Chorvatsko.
Řihák, Jiří (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: student modeling; domain modeling; response times; predictive accuracy; mathematics education
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:27.
RIV/00216224:14330/15:00083276 Stať ve sborníku. Informatika. angličtina. Španělsko.
Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Řihák, Jiří (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí)
Klíčová slova anglicky: response time; geography fact; student knowledge; adaptive practice; student modeling
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Jiří Řihák, Ph.D., učo 255651. Změněno: 10. 11. 2015 14:39.
RIV/00216224:14330/15:00083277 Stať ve sborníku. Informatika. angličtina.
Nižnan, Juraj (703 Slovensko, domácí) -- Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
Klíčová slova anglicky: student modeling; evaluation; simulated data; feedback
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:49.
RIV/00216224:14330/15:00083139 Stať ve sborníku. Informatika. angličtina. Španělsko.
Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: adaptive educational system; item difficulty; optimal challenge; experimental evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:10.
RIV/00216224:14330/15:00086954 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: student modeling; evaluation; metrics
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 2. 9. 2020 08:56.
RIV/00216224:14330/15:00087183 Stať ve sborníku. Informatika. angličtina. Španělsko.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: student modeling; human memory; evaluation
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:55.
RIV/00216224:14330/15:00086953 Článek v odborném periodiku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: student modeling; problem solving; time
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:57.
RIV/00216224:14330/15:00084612 Stať ve sborníku. Informatika. angličtina. Španělsko.
Řihák, Jiří (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí)
Klíčová slova anglicky: geography fact; prior student knowledge; adaptive practice; student modeling
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 31. 3. 2016 14:57.
RIV/00216224:14330/14:00079893 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: student modeling; evaluation; metrics
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:20.
Název anglicky: Adaptive Practice of Facts in Domains with Varied Prior Knowledge
RIV/00216224:14330/14:00076647 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí)
Klíčová slova anglicky: adaptive learning; student modeling; recommendation; prior knowledge
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:21.
Název česky: Využití funkcí časového poklesu a Elo systému při modelování studentů
Název anglicky: Application of Time Decay Functions and the Elo System in Student Modeling
RIV/00216224:14330/14:00079892 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: adaptive learning; student modeling; Elo rating system
Druh sborníku: předkonferenční sborník
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:21.
Název anglicky: Mapping Problems to Skills Combining Expert Opinion and Student Data
RIV/00216224:14330/14:00077301 Stať ve sborníku. Informatika. angličtina.
Nižnan, Juraj (703 Slovensko, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: Q-matrix; domain modeling; student modeling; problem solving; time; evaluation
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:22.
Název česky: Využití řešitelských času a názoru experta pro detekci dovedností
RIV/00216224:14330/14:00077270 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Nižnan, Juraj (703 Slovensko, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: Q-matrix; domain modeling; student modeling; problem solving; time; evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2015 22:22.
Název česky: Automatická detekce konceptů v datech o časech řešení problémů
Název anglicky: Automatic Detection of Concepts from Problem Solving Times
RIV/00216224:14330/13:00070141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Boroš, Petr (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
Klíčová slova anglicky: problem solving; concepts; student modeling
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 4. 2014 09:55.
Název česky: Modelování učení a variability výkonu studentů při řešení problémů
Název anglicky: Modeling Students' Learning and Variability of Performance in Problem Solving
RIV/00216224:14330/13:00070139 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí) -- Klusáček, Matěj (203 Česká republika, domácí)
Klíčová slova anglicky: problem solving; student modeling; learning
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 4. 2014 09:56.
Název anglicky: A Web-Based Problem Solving Tool for Introductory Computer Science
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: Problem solving; intelligent tutoring systems; computer science education
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 6. 12. 2012 09:10.
Název anglicky: Analysis of a simple model of problem solving times
RIV/00216224:14330/12:00057644 Stať ve sborníku. Informatika. angličtina. Česká republika.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: Problem solving; intelligent tutoring systems; item response theory.
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 13:14.
Název anglicky: Modeling and Predicting Students Problem Solving Times
RIV/00216224:14330/12:00057329 Stať ve sborníku. Informatika. angličtina. Česká republika.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: Problem solving; Modeling; Predicting
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 12:56.
Název česky: Modelování a simulace komplexních systémů. Jak lépe porozumět světu
Název anglicky: Modeling and simulation of complex systems
Teorie a systémy řízení. čeština. Česká republika.
Změnila: Mgr. Radka Vyskočilová, učo 2368. Změněno: 7. 9. 2012 13:54.
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 3. 4. 2013 15:25.
Název česky: Hodnocení obtížnosti Sudoku pomocí výpočetního modelu
RIV/00216224:14330/11:00049812 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: computational model; human problem solving; Sudoku; difficulty; evaluation
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 8. 6. 2012 10:31.
Název česky: Modelování a simulace komplexních systémů. Jak lépe porozumět světu
Název anglicky: Modeling and simulation of complex systems
Informatika. čeština. Česká republika.
Klíčová slova anglicky: modeling; complex systems; simulation; agent-based modeling; feedback; cellular automata; complex networks
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 11. 4. 2012 16:46.
Název anglicky: Problem Response Theory and its Application for Tutoring
RIV/00216224:14330/11:00049976 Stať ve sborníku. Informatika. angličtina. Česká republika.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: Problem response theory; problem solving Tutor
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 4. 2012 23:50.
RIV/00216224:14330/11:00050303 Software. Informatika. angličtina. Česká republika.
Jarušek, Petr (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: problem solving; intelligent tutoring system; education; logic; mathematics; programming; recommender system
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 13. 4. 2012 11:20.
Název česky: Co určuje obtížnost transportních úloh?
RIV/00216224:14330/11:00049813 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Jarušek, Petr (203 Česká republika, domácí)
Klíčová slova anglicky: computational model; human problem solving; transport puzzles; Sokoban; state spaces; difficulty; evaluation
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 8. 6. 2012 10:31.
Název česky: Analýza obtížnosti logických úloh na základě modelů lidského chování
Název anglicky: Application of computational models for difficulty rating of logic puzzles
RIV/00216224:14330/10:00044015 Stať ve sborníku. Informatika. čeština. Česká republika.
Jarušek, Petr (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: puzzles; well-structured problems; Sokoban; Sudoku; computational model
Druh sborníku: postkonferenční sborník
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 9. 1. 2012 15:23.
Název anglicky: Difficulty Rating of Sokoban Puzzle
RIV/00216224:14330/10:00044298 Stať ve sborníku. Informatika. angličtina. Česká republika.
Jarušek, Petr (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Sokoban; Difficulty rating; Puzzle; Computational model
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 9. 1. 2012 15:25.
Název česky: EMMA: Manažer explicitního ověřování modelů (prezentace nástroje)
Název anglicky: EMMA: Explicit Model Checking Manager (Tool Presentation)
RIV/00216224:14330/09:00065860 Stať ve sborníku. Informatika. angličtina. Francie.
Pelánek, Radek (203 Česká republika, garant, domácí) -- Rosecký, Václav (203 Česká republika)
Klíčová slova anglicky: model checking; evaluation; tool
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 05:53.
Název česky: Komplementarita technik pro detekci chyb
RIV/00216224:14330/08:00025027 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
Pelánek, Radek (203 Česká republika, garant) -- Rosecký, Václav (203 Česká republika) -- Moravec, Pavel (203 Česká republika)
Klíčová slova anglicky: model checking; evaluation; error detection
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:57.
Název česky: Odhadování parametrů stavových prostorů
Název anglicky: Estimating State Space Parameters
RIV/00216224:14330/08:00024337 Prezentace na konferencích. Informatika. angličtina. Maďarsko.
Šimeček, Pavel (203 Česká republika) -- Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: state space; state space size; estimation
Druh účasti: aktivní účast
Mezinárodní význam: ano
Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 25. 11. 2008 14:57.
Název česky: Boj se stavovou explozí: přehled a zhodnocení
RIV/00216224:14330/08:00025026 Stať ve sborníku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: model checking; state space explosion; review; evaluation; experience report
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:52.
Název česky: Klasifikace modelů a automatická verifikace
RIV/00216224:14330/08:00024587 Stať ve sborníku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: model checking; automated verification; state space
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:51.
Název česky: Vlastnosti stavových prostorů a jejich aplikace
RIV/00216224:14330/08:00025025 Článek v odborném periodiku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: state space; explicit model checking; graph; experimental evaluation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 14. 11. 2008 12:24.
Název česky: BEEM: sbírka příkladů pro explicitní ověřování modelů
RIV/00216224:14330/07:00020585 Stať ve sborníku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: model checking benchmarks
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:54.
Název česky: Predikátová abstrakce a zjemňování dolních aproximací
RIV/00216224:14330/07:00020179 Článek v odborném periodiku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:50.
Název česky: Využití horních a dolních mezí při zónových abstrakcích časových automatů
RIV/00216224:14330/06:00015564 Článek v odborném periodiku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant) -- Larsen, Kim G. (208 Dánsko) -- Behrmann, Gerd (208 Dánsko) -- Bouyer, Patricia (250 Francie)
Klíčová slova anglicky: model checking; timed automata; verification; abstraction; extrapolation
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:01.
Název česky: Redukční a abstrakční techniky pro ověřování modelu
Informatika. angličtina. Česká republika.
Klíčová slova anglicky: Ph.D. thesis, model checking, abstraction, state space explosion
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 10. 1. 2007 15:02.
Název česky: Generování testovacích vstupů pro kontejnery v Javě
RIV/00216224:14330/06:00015369 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
Klíčová slova anglicky: test input generation; java containers; state matching
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 7. 12. 2006 14:59.
Název česky: Konkrétní hledání s abstraktním sdružováním a zjemněním
RIV/00216224:14330/05:00012728 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
Klíčová slova anglicky: model checking; predicate abstraction; under-approximation
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
Název česky: Hlubší spojitosti mezi LTL a alternujícími automaty
RIV/00216224:14330/05:00012729 Stať ve sborníku. Informatika. angličtina. Francie.
Pelánek, Radek (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant)
Klíčová slova anglicky: LTL; alternating automata; model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 29. 3. 2010 12:50.
Název česky: Zlepšení prohledávání stavového prostoru náhodnou procházkou
RIV/00216224:14330/05:00012727 Stať ve sborníku. Informatika. angličtina. Portugalsko.
Pelánek, Radek (203 Česká republika, garant) -- Hanžl, Tomáš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Brim, Luboš (203 Česká republika)
Klíčová slova anglicky: random walk; state space exploration
Recenzováno: ano
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 21. 11. 2006 11:39.
Název česky: O diskrétní sémantice časových automatů
RIV/00216224:14330/05:00012726 Stať ve sborníku. Informatika. angličtina. Indie.
Pelánek, Radek (203 Česká republika, garant) -- Krčál, Pavel (203 Česká republika)
Klíčová slova anglicky: model checking; timed automata; non-emptiness problems; decidability
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 12:59.
Název česky: Generování testovacích vstupů s využitím abstrakce
RIV/00216224:14330/05:00013479 Stať ve sborníku. Informatika. angličtina. Spojené státy.
Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
Klíčová slova anglicky: test input generation; state space exploration; state matching
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 23. 6. 2009 13:07.
Název česky: Horní a dolní meze při analýze časových automatů s použitím zónové abstrakce
RIV/00216224:14330/04:00010716 Stať ve sborníku. Informatika. angličtina. Španělsko.
Pelánek, Radek (203 Česká republika, garant) -- Larsen, Kim G. (208 Dánsko) -- Behrmann, Gerd (208 Dánsko) -- Bouyer, Patricia (250 Francie)
Klíčová slova anglicky: model checking; timed automata; abstraction
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
Název česky: Typické strukturní vlastnosti stavových prostorů
RIV/00216224:14330/04:00010717 Stať ve sborníku. Informatika. angličtina. Německo.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: explicit model checking; state space exploration
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
RIV/00216224:14330/03:00008589 Stať ve sborníku. Informatika. angličtina. Německo.
Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
Klíčová slova anglicky: distributed model checking; cycle detection
Mezinárodní význam: ano
Recenzováno: ano
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:11.
Název anglicky: LTL Hierarchies and Model Checking
RIV/00216224:14330/03:00008596 Stať ve sborníku. Informatika. angličtina. Rakousko.
Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: LTL; model checking
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
RIV/00216224:14330/03:00008590 Stať ve sborníku. Informatika. angličtina. Německo.
Černá, Ivana (203 Česká republika, garant) -- Pelánek, Radek (203 Česká republika)
Klíčová slova anglicky: temporal logic; automata over infinite words; model checking
Mezinárodní význam: ano
Recenzováno: ano
Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:09.
Přír. čísla: 4200509002
RIV/00216224:14330/03:00008588 Stať ve sborníku. Informatika. angličtina. Německo.
Behrmann, Gerd (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Pelánek, Radek (203 Česká republika, garant)
Klíčová slova anglicky: explicit model checking; syntax analysis
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 21. 11. 2006 14:02.
Název anglicky: Distributed LTL Model-Checking Based on Negative Cycle Detection
RIV/00216224:14330/01:00004500 Stať ve sborníku. Počítačový hardware a software.
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 3. 12. 2001 14:07.
Přír. čísla: 4200507318
Název anglicky: Distributed LTL Model-Checking Based on Negative Cycle Detection
RIV/00216224:14330/01:00004501 Stať ve sborníku. Počítačový hardware a software.
Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 3. 12. 2001 14:07.
Přír. čísla: 4200507250