Assoc. Prof. Mgr. Radek Pelánek, Ph.D.

Photo not published

 

First pagePrevious page|1|2|Next pageLast page
found: 44 records, displayed 1 - 30

 
2015

PAPOUŠEK, Jan - PELÁNEK, Radek.
Impact of Adaptive Educational System Behaviour on Student Motivation. In Artificial Intelligence in Education. Madrid : Springer International Publishing, 2015. ISBN 978-3-319-19772-2, p. 348-357. 2015, Madrid.


more

 
2014

PELÁNEK, Radek.
A Brief Overview of Metrics for Evaluation of Student Models. In Proceedings of the Workshops held at Educational Data Mining 2014. Velká Británie : RWTH Aachen University, 2014. pp. 151-152.


more

 

PELÁNEK, Radek - PAPOUŠEK, Jan - STANISLAV, Vít.
Adaptive Practice of Facts in Domains with Varied Prior Knowledge. In Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). London, United Kingdom : International Educational Data Mining Society, 2014. ISBN 978-0-9839525-4-1, pp. 6-13. 2014, London, United Kingdom.


more

 

PELÁNEK, Radek.
Application of Time Decay Functions and the Elo System in Student Modeling. In Proceedings of the 7th International Conference on Educational Data Mining (EDM 2014). Vyd. 2014. London, United Kingdom : International Educational Data Mining Society, 2014. ISBN 978-0-9839525-4-1, pp. 21-27. 2014, London, United Kingdom.


more

 

NIŽNAN, Juraj - PELÁNEK, Radek - ŘIHÁK, Jiří.
Mapping Problems to Skills Combining Expert Opinion and Student Data. In Proceedings of MEMICS'14. Německo : Springer, 2014. ISBN 978-3-319-14895-3, pp. 113-124. 2014, ČR.


more

 

NIŽNAN, Juraj - PELÁNEK, Radek - ŘIHÁK, Jiří.
Using Problem Solving Times and Expert Opinion to Detect Skills. In Proceedings of the 7th International Conference on Educational Data Mining. London : International Educational Data Mining Society, 2014. ISBN 978-0-9839525-4-1, pp. 433-434. 2014, London.


more

 
2013

PELÁNEK, Radek - BOROŠ, Petr - NIŽNAN, Juraj - ŘIHÁK, Jiří.
Automatic Detection of Concepts from Problem Solving Times. In Artificial Intelligence in Education. USA : Springer, 2013. ISBN 978-3-642-39111-8, pp. 595-598. Memphis, TN, USA.


more

 

PELÁNEK, Radek - JARUŠEK, Petr - KLUSÁČEK, Matěj.
Modeling Students' Learning and Variability of Performance in Problem Solving. In Educational Data Mining. USA : International Educational Data Mining Society, 2013. ISBN 978-0-9839525-2-7, pp. 256-259.


more

 
2012

PELÁNEK, Radek - JARUŠEK, Petr.
A Web-Based Problem Solving Tool for Introductory Computer Science. In Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education. Vyd. New York. USA : ACM, 2012. ISBN 978-1-4503-1246-2, p. 371-371. 2012, Haifa, Izrael.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
Analysis of a simple model of problem solving times. In Proceeding ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems. Heidelberg : Springer Berlin / Heidelberg, 2012. ISBN 978-3-642-30949-6, pp. 379-388. 2012, Řecko.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
Modeling and Predicting Students Problem Solving Times. In Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science. Czech republic : Springer, 2012. ISBN 978-3-642-27659-0, pp. 637-648. 2012, Spindleruv mlyn.


more

 

book coverPELÁNEK, Radek.
Modelování a simulace komplexních systémů. Jak lépe porozumět světu. Vyd. 1. Brno : Masarykova univerzita, 2012. 236 pp. e-book. ISBN 978-80-210-5807-1.


more

 

PELÁNEK, Radek.
Programátorská cvičebnice: algoritmy v příkladech. Brno : Computer Press, 2012. 175 pp. ISBN 978-80-251-3751-2.


more

 
2011

PELÁNEK, Radek.
Difficulty Rating of Sudoku Puzzles by a Computational Model. In Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA : Association for the Advancement of Artificial Intelligence (AAAI), 2011. ISBN 978-1-57735-501-4, pp. 434-439. 2011, Palm Beach, Florida, USA.


more

 

book coverPELÁNEK, Radek.
Modelování a simulace komplexních systémů. Jak lépe porozumět světu. Vyd. 1. Brno : Masarykova univerzita, 2011. 236 pp. mimo edice. ISBN 978-80-210-5318-2.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
Problem Response Theory and its Application for Tutoring. In Proceedings of the 4th International Conference on Educational Data Mining. Eindhoven : International Conference on Educational Data Mining 2011, 2011. ISBN 978-90-386-2537-9, pp. 374-375. 2011, Eindhoven, Nizozemí.


more

 

JARUŠEK, Petr - PELÁNEK, Radek.
Problem Solving Tutor. 2011.


more

 

PELÁNEK, Radek - JARUŠEK, Petr.
What Determines Difficulty of Transport Puzzles?. In Twenty-Fourth International Florida Artificial Intelligence Research Society Conference. USA : Association for the Advancement of Artificial Intelligence (AAAI), 2011. ISBN 978-1-57735-501-4, pp. 428-433. 2011, Palm Beach, Florida, USA.


more

 
2010

JARUŠEK, Petr - PELÁNEK, Radek.
Analýza obtížnosti logických úloh na základě modelů lidského chování. In Kognice a umělý život X. Neuveden : Slezská univerzita v Opavě, 2010. ISBN 978-80-7248-589-5, pp. 171-176. 2010, Ostravice.


more

 

JARUŠEK, Petr - PELÁNEK, Radek.
Difficulty Rating of Sokoban Puzzle. In STAIRS 2010, Proceedings of the Fifth Starting AI Researchers' Symposium. Lisbon, Portugal : IOS Press BV, 2010. ISBN 978-1-60750-675-1, pp. 140-146. 16.8.2010, Lisbon.


more

 
2009

PELÁNEK, Radek - ROSECKÝ, Václav.
EMMA: Explicit Model Checking Manager (Tool Presentation). In Model Checking Software. Německo : Springer, 2009. ISBN 978-3-642-02651-5, pp. 169-173. 2009, Grenoble.


more

 
2008

PELÁNEK, Radek - ROSECKÝ, Václav - MORAVEC, Pavel.
Complementarity of Error Detection Techniques. In Parallel and Distributed Methods in verifiCation (PDMC 2008). Nizozemsko : Elsevier, 2008. 14 pp. 2008, Budapešť, Německo.


more

 

ŠIMEČEK, Pavel - PELÁNEK, Radek.
Estimating State Space Parameters. 2008.


more

 

PELÁNEK, Radek.
Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo : Springer, 2008. ISBN 3-642-03239-7, 15 pp. 2008, L'Aquila, Itálie.


more

 

PELÁNEK, Radek.
Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo : Springer, 2008. ISBN 978-3-540-79706-7, pp. 149-163. 2007, Berlín, Německo.


more

 

PELÁNEK, Radek.
Properties of State Spaces and Their Applications. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2008, vol. 10, no. 5, pp. 443-454.


more

 
2007

PELÁNEK, Radek.
BEEM: Benchmarks for Explicit Model Checkers. In Model Checking Software. Německo : Springer, 2007. ISBN 3-540-73369-8, pp. 263-267. 2007, Berlín, Německo.


more

 

PELÁNEK, Radek - PASAREANU, Corina - VISSER, Willem.
Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science, Germany, Technical University of Braunschweig, Germany. ISSN 1860-5974, 2007, vol. 3, no. 1, pp. 1-22.


more

 
2006

PELÁNEK, Radek - LARSEN, Kim G. - BEHRMANN, Gerd - BOUYER, Patricia.
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata. International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag GmbH, Germany. ISSN 1433-2779, 2006, vol. 8, no. 3, pp. 204-215.


more

 

PELÁNEK, Radek.
Reduction and Abstraction Techniques for Model Checking. Brno : Masarykova univerzita, 2006. 160 pp.


more

 
First pagePrevious page|1|2|Next pageLast page
found: 44 records, displayed 1 - 30