Zriadenie Fakulty informatiky a informačných technológií - FIIT STU

Annual report 2009 41−Lulčo, Michal: Usage of the JAPE Software to Proof Formulas in Sententional andPredicate Logic. May 2008. Supervisor: V. Kvasnička− Macko, Michal: Optimization of Decision Tree Topology. May 2009.Supervisor: P. Angelovič−Majzúnová, Petra: System for the Support of Building and Administering ExamSchedule. May 2009. Supervisor: M. Galbavý− Mego, Marek: Remote Supervision above the Remote Desktop. May 2009.Supervisor: B. Steinmüller−−−−−−−−Mikuška, Peter: Supporting System for Term Timetables. May 2009. Supervisor:M. GalbavýMindek, Peter: Interactive Browsing of Multimedia Content in 3D Space.May 2009. Supervisor: P. KapecMurányi, Ján: Forensic Tools for Collecting Digital Evidence in WindowsEnvironment. May 2009. Supervisor: L. HudecOndrášek, Maroš: The Tool for Visual Debugging Programs Written in LuaProgramming Language. May 2009. Supervisor: P. DrahošPalo, Dušan: Interactive Presentation of Complex Graphs in Virtual Reality.May 2009. Supervisor: M. ŠperkaPaulovič, Aurel: Interactive Forums with Utilization of Modern Web Technology(e.g. Ajax, Flex, etc.). May 2009. Supervisor: P. DrahošPavlík, Adam: Visualization of Human eye with Light Refraction in the Lens.May 2009. Supervisor: P. DrahošPerdík, Pavol: Interactive Forums with Utilization of Modern Web Technology(e.g. Ajax, Flex, etc.). May 2009. Supervisor: P. Drahoš− Prílepok, Dušan: Application for Mobile Devices. May 2008.Supervisor: M. Čerňanský− Spusta, Juraj: Variable Length Markov Models. May 2009.Supervisor: M. Čerňanský−−Szadvári, Jozef: Security in Databases. May 2009. Supervisor: J. ParízkováŠopinec, Róbert: Virtual Presentation of Art. May 2009. Supervisor: J. Štefanovič− Tomašovič, Tomáš: Databases for Embedded Systems. May 2009.Supervisor: J. Parízková−Torda, Dušan: Nine Queens and Pawn: Optimalization of Relative Position.May 2009. Supervisor: J. Pospíchal− Turza, Stanislav: Source Code Metrics Measurement. May 2008.Supervisor: P. Kapec− Ukrop, Jakub: Constraints in Force-Directed Graph Visualization. May 2009.Supervisor: P. Kapec−Zámečník, Daniel: Coat of Arms Editor. May 2009. Supervisor: M. Makula