Technical Reports

A list sorted by author - P

Karel Pala

e-mail:

pala(a)fi.muni.cz

home page:

https://www.fi.muni.cz/usr/pala/

Corpus-based Rules for Czech Verb Discontinuous Constituents

by Eva ®áèková, Karel Pala, This is an adapted version of the paper accepted for printing in the Proceedings of TSD`99. August 1999, 6 pages.

FIMU-RS-99-03. Abstract, Postscript, PDF.

DESAM - Approaches to Desambiguation

by Karel Pala, Pavel Rychlý, Pavel Smr¾, December 1997, 12 pages.

FIMU-RS-97-09. Abstract, Postscript, PDF.

Jan Papou¹ek

e-mail:

xpapous1(a)fi.muni.cz

telephone:

+420777231112

Evaluation of the Impact of Question Difficulty on Engagement and Learning

by Jan Papou¹ek, Vít Stanislav, Radek Pelánek, April 2016, 13 pages.

FIMU-RS-2016-02. Abstract, Postscript, PDF.

Ahmed Patel

e-mail:

apatel(a)cnds.ucd.ie

home page:

http://www.cs.ucd.ie/staff/apatel/default.htm

Application-Level Firewall Protection Profile for High Robustness Environments-Initial Considerations

by Mark Kelly, Václav Matyá¹, Ahmed Patel, April 2004, 43 pages.

FIMU-RS-2004-02. Abstract, Postscript, PDF.

Tomá¹ Pavelek

e-mail:

xpavelek(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~xpavelek

On Disambiguation in Czech Corpora

by Lubo¹ Popelínský, Tomá¹ Pavelek, Tomá¹ Ptáèník, October 2000, 26 pages.

FIMU-RS-2000-07. Abstract, Postscript, PDF.

Radek Pelánek

e-mail:

xpelanek(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~xpelanek

Evaluation of the Impact of Question Difficulty on Engagement and Learning

by Jan Papou¹ek, Vít Stanislav, Radek Pelánek, April 2016, 13 pages.

FIMU-RS-2016-02. Abstract, Postscript, PDF.

Human Problem Solving: Sudoku Case Study

by Radek Pelánek, A full version of a paper presented at the 24th Florida Artificial Intelligence Research Society Conference January 2011, 21 pages.

FIMU-RS-2011-01. Abstract, Postscript, PDF.

Human Problem Solving: Sokoban Case Study

by Petr Jaru¹ek, Radek Pelánek, April 2010, 25 pages.

FIMU-RS-2010-01. Abstract, Postscript, PDF.

Verification Manager: Automating the Verification Process

by Radek Pelánek, Václav Rosecký, March 2009, 17 pages.

FIMU-RS-2009-02. Abstract, Postscript, PDF.

Evaluation of State Caching and State Compression Techniques

by Radek Pelánek, Václav Rosecký, Jaroslav ©edìnka, February 2008, 19 pages.

FIMU-RS-2008-02. Abstract, Postscript, PDF.

Estimating State Space Parameters

by Radek Pelánek, Pavel ©imeèek, January 2008, 21 pages.

FIMU-RS-2008-01. Abstract, Postscript, PDF.

Web Portal for Benchmarking Explicit Model Checkers

by Radek Pelánek, October 2006, 39 pages.

FIMU-RS-2006-03. Abstract, Postscript, PDF.

Reachability Relations and Sampled Semantics of Timed Systems

by Pavel Krèál, Radek Pelánek, A full version of the paper presented at conference FSTTCS 2005. December 2005, 31 pages.

FIMU-RS-2005-09. Abstract, Postscript, PDF.

On-the-fly State Space Reductions

by Radek Pelánek, February 2005, 22 pages.

FIMU-RS-2005-03. Abstract, Postscript, PDF.

Deeper Connections between LTL and Alternating Automata

by Radek Pelánek, Jan Strejèek, September 2004, 26 pages.

FIMU-RS-2004-08. Abstract, Postscript, PDF.

Relating Hierarchy of Linear Temporal Properties to Model Checking

by Ivana Èerná, Radek Pelánek, April 2003, 18 pages.

FIMU-RS-2003-03. Abstract, Postscript, PDF.

Distributed Explicit Fair Cycle Detection: Set Based Approach

by Ivana Èerná, Radek Pelánek, December 2002, 24 pages.

FIMU-RS-2002-09. Abstract, Postscript, PDF.

How to Employ Reverse Search in Distributed Single Source Shortest Paths

by Lubo¹ Brim, Ivana Èerná, Pavel Krèál, Radek Pelánek, This is a full version of the paper presented at SOFSEM 2001. November 2001, 22 pages.

FIMU-RS-2001-09. Abstract, Postscript, PDF.

Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths

by Lubo¹ Brim, Ivana Èerná, Pavel Krèál, Radek Pelánek, This is a full version of the paper presented at FST&TCS 2001. May 2001, 19 pages.

FIMU-RS-2001-01. Abstract, Postscript, PDF.

Jaroslav Pelikán

e-mail:

pelikan(a)fi.muni.cz

home page:

https://www.fi.muni.cz/usr/pelikan/

Programmed Learning & Hypertext

by Jaroslav Pelikán, May 1998, 6 pages.

FIMU-RS-98-03. Abstract, Postscript, PDF.

Petr Peòáz

e-mail:

penaz(a)fi.muni.cz

home page:

www.teiresias.muni.cz

telephone:

+420-732873082

fax:

+420-549491120

Verbalizing Visual Data for the Blind: Towards a More Complex Graphical Ontology

by Petr Peòáz, December 2008, 18 pages.

FIMU-RS-2008-12. Abstract, Postscript, PDF.

Florent Peres

e-mail:

florent.peres(a)gmail.com

Dynamic maintenance of an accepting run

by Florent Peres, Ivana Èerná, August 2013, 46 pages.

FIMU-RS-2013-01. Abstract, Postscript, PDF.

Ondøej Peterka

e-mail:

ondrash(a)gmail.com

A Calculus of Coercive Subtyping

by Matej Kollár, Ondøej Peterka, Ondøej Ry¹avý, Libor ©karvada, November 2009, 17 pages.

FIMU-RS-2009-11. Abstract, Postscript, PDF.

Igor Peterlík

e-mail:

xpeterl(a)fi.muni.cz

home page:

https://www.fi.muni.cz/~xpeterl

Haptically Driven Travelling Through Conformational Space

by Igor Peterlík, Ale¹ Køenek, This report is an extended version of a~paper accepted for presentation at the First Joint Eurohaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, Pisa, Italy, 2005. January 2005, 22 pages.

FIMU-RS-2005-02. Abstract, Postscript, PDF.

Jaromír Plhák

e-mail:

xplhak(a)fi.muni.cz

Detection and Annotation of Graphical Objects in Raster Images within the GATE Project

by Ivan Kopeèek, Radek Oslej¹ek, Jaromír Plhák, Fedor Tir¹el, December 2008, 16 pages.

FIMU-RS-2008-10. Abstract, Postscript, PDF.

Lubo¹ Popelínský

e-mail:

popel(a)fi.muni.cz

home page:

https://www.fi.muni.cz/usr/popelinsky/

Proceedings of the Third Learning Language in Logic Workshop

by Lubo¹ Popelínský, Miloslav Nepil, September 2001, 66 pages.

FIMU-RS-2001-08. Abstract, Postscript, PDF.

On Disambiguation in Czech Corpora

by Lubo¹ Popelínský, Tomá¹ Pavelek, Tomá¹ Ptáèník, October 2000, 26 pages.

FIMU-RS-2000-07. Abstract, Postscript, PDF.

WiM: A Study on the Top-Down ILP Program

by Lubo¹ Popelínský, August 1995, 18 pages.

FIMU-RS-95-03. Abstract, Postscript, PDF.

On Biases in Inductive Data Engineering

by Jana Kuklová, Lubo¹ Popelínský, March 1995, 7 pages.

FIMU-RS-95-01. Abstract, Postscript, PDF.

Tomá¹ Ptáèník

e-mail:

ptacnik(a)fi.muni.cz

On Disambiguation in Czech Corpora

by Lubo¹ Popelínský, Tomá¹ Pavelek, Tomá¹ Ptáèník, October 2000, 26 pages.

FIMU-RS-2000-07. Abstract, Postscript, PDF.