Остановите войну!
for scientists:
default search action
Radek Pelánek
- > Home > Persons > Radek Pelánek
Publications
- 2018
- [j10]Radek Pelánek, Jirí Rihák:
Analysis and design of mastery learning criteria. New Rev. Hypermedia Multim. 24(3): 133-159 (2018) - 2017
- [j8]Radek Pelánek, Jan Papousek, Jirí Rihák, Vít Stanislav, Juraj Niznan:
Elo-based learner modeling for the adaptive practice of facts. User Model. User Adapt. Interact. 27(1): 89-118 (2017) - [c48]Jirí Rihák, Radek Pelánek:
Measuring Similarity of Educational Items Using Data on Learners' Performance. EDM 2017 - [c47]Radek Pelánek, Jirí Rihák:
Experimental Analysis of Mastery Learning Criteria. UMAP 2017: 156-163 - [c45]Jan Papousek, Radek Pelánek:
Should We Give Learners Control Over Item Difficulty? UMAP (Adjunct Publication) 2017: 299-303 - [c44]Jan Papousek, Radek Pelánek:
Evaluation of Learners' Adjustment of Question Difficulty in Adaptive Practice of Facts. UMAP 2017: 379-380 - 2016
- [j5]Jan Papousek, Radek Pelánek, Vít Stanislav:
Adaptive Geography Practice Data Set. J. Learn. Anal. 3(2): 317-321 (2016) - [c43]Radek Pelánek, Jirí Rihák:
Properties and Applications of Wrong Answers in Online Educational Systems. EDM 2016: 466-471 - [c42]Jan Papousek, Vít Stanislav, Radek Pelánek:
Impact of Question Difficulty on Engagement and Learning. ITS 2016: 267-272 - [c41]Radek Pelánek, Jirí Rihák, Jan Papousek:
Impact of data collection on interpretation and evaluation of student models. LAK 2016: 40-47 - [c40]Jan Papousek, Vít Stanislav, Radek Pelánek:
Evaluation of an adaptive practice system for learning geography facts. LAK 2016: 134-142 - 2015
- [c39]Juraj Niznan, Jan Papousek, Radek Pelánek:
Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. AIED Workshops 2015 - [c38]Jan Papousek, Radek Pelánek:
Impact of Adaptive Educational System Behaviour on Student Motivation. AIED 2015: 348-357 - [c36]Juraj Niznan, Radek Pelánek, Jirí Rihák:
Student Models for Prior Knowledge Estimation. EDM 2015: 109-116 - [c33]Jan Papousek, Radek Pelánek, Jirí Rihák, Vít Stanislav:
An Analysis of Response Times in Adaptive Practice of Geography Facts. EDM 2015: 562-563 - 2014
- [c32]Jan Papousek, Radek Pelánek, Vít Stanislav:
Adaptive Practice of Facts in Domains with Varied Prior Knowledge. EDM 2014: 6-13 - [c29]Juraj Niznan, Radek Pelánek, Jirí Rihák:
Using Problem Solving Times and Expert Opinion to Detect Skills. EDM 2014: 433-434 - [c28]Juraj Niznan, Radek Pelánek, Jirí Rihák:
Mapping Problems to Skills Combining Expert Opinion and Student Data. MEMICS 2014: 113-124 - 2013
- [c27]Petr Boros, Juraj Niznan, Radek Pelánek, Jirí Rihák:
Automatic Detection of Concepts from Problem Solving Times. AIED 2013: 595-598 - 2009
- [c18]Radek Pelánek, Václav Rosecký:
EMMA: Explicit Model Checking Manager (Tool Presentation). SPIN 2009: 169-173 - 2008
- [c16]Radek Pelánek, Václav Rosecký, Pavel Moravec:
Complementarity of Error Detection Techniques. PDMC@ETAPS 2008: 51-65 - 2005
- [c11]Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim:
Enhancing random walk state space exploration. FMICS 2005: 98-105 - [c10]Pavel Krcál, Radek Pelánek:
On Sampled Semantics of Timed Systems. FSTTCS 2005: 310-321 - 2003
- [c4]Ivana Cerná, Radek Pelánek:
Relating Hierarchy of Temporal Properties to Model Checking. MFCS 2003: 318-327 - [c3]Ivana Cerná, Radek Pelánek:
Distributed Explicit Fair Cycle Detection (Set Based Approach). SPIN 2003: 49-73 - 2001
- [c2]Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection. FSTTCS 2001: 96-107 - [c1]Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek:
How to Employ Reverse Search in Distributed Single Source Shortest Paths. SOFSEM 2001: 191-200
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint