http://dev.dai.fmph.uniba.sk/api.php?action=feedcontributions&feedformat=atom&user=Simko 2026-04-13T21:36:34Z Príspevky používateľa MediaWiki 1.26.2 http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/sk&diff=14195 2015-09-23T11:25:55Z

<p>Simko: </p> <hr /> <div>{{Osoba<br /> | fullname = Ing. Alexander Šimko PhD.<br /> | caption = Alexander Šimko<br /> | image = simko.jpg<br /> | section = Oddelenie umelej inteligencie<br /> | position = odborný asistent<br /> | phone = <br /> | room = I6<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ domovská stránka]<br /> | info = <br /> <br /> === Výučba ===<br /> * Databázy (1)<br /> <br /> === Výskum ===<br /> * reprezentácia znalostí<br /> * logické programovanie<br /> * usudzovanie s preferenciami<br /> <br /> === Publikácie ===<br /> * [http://dai.fmph.uniba.sk/~simko/ viď domovská stránka]<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=14194 2015-09-23T11:21:21Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko PhD.<br /> | caption = Alexander Šimko<br /> | image = simko.jpg<br /> | section = Section of Artificial Intelligence<br /> | position = assistant professor<br /> | phone = <br /> | room = I6<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ homepage]<br /> | info = <br /> <br /> === Teaching ===<br /> * Databases (1)<br /> <br /> === Research ===<br /> * Knowledge representation<br /> * Logic programming<br /> * Reasoning with preferences<br /> <br /> === Publications ===<br /> * [http://dai.fmph.uniba.sk/~simko/ see homepage]<br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=13323 2015-05-28T16:42:36Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko PhD.<br /> | caption = Alexander Šimko<br /> | image = simko.jpg<br /> | section = Section of Artificial Intelligence<br /> | position = assistant professor<br /> | phone = <br /> | room = I6<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ homepage]<br /> | info = <br /> <br /> === Teaching ===<br /> * [[Introduction_to_Computer_Logic|Introduction to Computational Logic]]<br /> * [[Database_Systems_Implementation|Database Systems Implementation]]<br /> * [[Programming_4|Programming 4]]<br /> <br /> === Research ===<br /> * Knowledge representation<br /> * Logic programming<br /> * Reasoning with preferences<br /> <br /> === Publications ===<br /> * [http://dai.fmph.uniba.sk/~simko/ see homepage]<br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/sk&diff=13322 2015-05-28T16:42:17Z

<p>Simko: </p> <hr /> <div>{{Osoba<br /> | fullname = Ing. Alexander Šimko PhD.<br /> | caption = Alexander Šimko<br /> | image = simko.jpg<br /> | section = Oddelenie umelej inteligencie<br /> | position = odborný asistent<br /> | phone = <br /> | room = I6<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ domovská stránka]<br /> | info = <br /> <br /> === Výučba ===<br /> * [[Introduction_to_Computer_Logic|Úvod do výpočtovej logiky]]<br /> * [[Database_Systems_Implementation|Implementácia databázových systémov]]<br /> * [[Programming_4|Programovanie 4]]<br /> <br /> === Výskum ===<br /> * reprezentácia znalostí<br /> * logické programovanie<br /> * usudzovanie s preferenciami<br /> <br /> === Publikácie ===<br /> * [http://dai.fmph.uniba.sk/~simko/ viď domovská stránka]<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/sk&diff=12921 2015-02-21T16:14:26Z

<p>Simko: </p> <hr /> <div>{{Osoba<br /> | fullname = Ing. Alexander Šimko Phd.<br /> | caption = Alexander Šimko<br /> | image = simko.jpg<br /> | section = Oddelenie umelej inteligencie<br /> | position = odborný asistent<br /> | phone = <br /> | room = I6<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ domovská stránka]<br /> | info = <br /> <br /> === Výučba ===<br /> * [[Introduction_to_Computer_Logic|Úvod do výpočtovej logiky]]<br /> * [[Database_Systems_Implementation|Implementácia databázových systémov]]<br /> * [[Programming_4|Programovanie 4]]<br /> <br /> === Výskum ===<br /> * reprezentácia znalostí<br /> * logické programovanie<br /> * usudzovanie s preferenciami<br /> <br /> === Publikácie ===<br /> * [http://dai.fmph.uniba.sk/~simko/ viď domovská stránka]<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=12920 2015-02-21T16:12:29Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko Phd.<br /> | caption = Alexander Šimko<br /> | image = simko.jpg<br /> | section = Section of Artificial Intelligence<br /> | position = assistant professor<br /> | phone = <br /> | room = I6<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ homepage]<br /> | info = <br /> <br /> === Teaching ===<br /> * [[Introduction_to_Computer_Logic|Introduction to Computational Logic]]<br /> * [[Database_Systems_Implementation|Database Systems Implementation]]<br /> * [[Programming_4|Programming 4]]<br /> <br /> === Research ===<br /> * Knowledge representation<br /> * Logic programming<br /> * Reasoning with preferences<br /> <br /> === Publications ===<br /> * [http://dai.fmph.uniba.sk/~simko/ see homepage]<br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Simko.jpg&diff=12919 2015-02-21T16:11:12Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=12918 2015-02-21T16:09:29Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = Section of Artificial Intelligence<br /> | position = assistant professor<br /> | phone = <br /> | room = I6<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ homepage]<br /> | info = <br /> <br /> === Teaching ===<br /> * [[Introduction_to_Computer_Logic|Introduction to Computational Logic]]<br /> * [[Database_Systems_Implementation|Database Systems Implementation]]<br /> * [[Programming_4|Programming 4]]<br /> <br /> === Research ===<br /> * Knowledge representation<br /> * Logic programming<br /> * Reasoning with preferences<br /> <br /> === Publications ===<br /> * [http://dai.fmph.uniba.sk/~simko/ see homepage]<br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=KR_Seminar&diff=12733 2014-12-10T10:19:20Z

<p>Simko: </p> <hr /> <div>The regular bi-weekly seminar of the [[KR Group]] headed by [http://ii.fmph.uniba.sk/~sefranek/ Ján Šefránek] on '''TBA''' in room '''TBA'''. General subject of the seminar are interesting and relevant research issues in Knowledge Representation. The group members report their recent research results.<br /> <br /> Everyone is welcome, including students. See also [http://wiki.ii.fmph.uniba.sk/w?title=KR_Seminar#Rules the rules].<br /> <br /> ==Upcoming Talks==<br /> <br /> {{Event<br /> | when = 12th December 2014, 10:00<br /> | where = TBA<br /> | type = seminar<br /> | who = Alexander Šimko<br /> | what = Logic Programming with Preferences on Rules<br /> | link =<br /> }}<br /> We will talk about logic programming under the answer set semantics extended with preferences on rules. First, we will concentrate on principles, key properties, that one can expect a semantics for logic programs with preferences to satisfy. We will show connections between the principles and evaluate existing semantics w.r.t. principles. Then we will focus on understanding preferences as a mechanism for encoding exceptions between rules, and express requirements on semantics for such understading of preferences in terms of presented principles. We wil conclude that none of the existing semantics satisfies the requirement. Finally we will present a semantics that satisfies all the requirements.<br /> <br /> <br /> {{Event<br /> | when = 22 October 2013<br /> | where = I-7<br /> | type = seminar<br /> | who = Alexander Šimko<br /> | what = Logic Programming with Preferences<br /> | link =<br /> }}<br /> <br /> {{Event<br /> | when = 2 December 2013<br /> | where = TBA<br /> | type = seminar<br /> | who = Ján Kľuka<br /> | what = Higher-Order Description Logics<br /> | link =<br /> }}<br /> <br /> ==Past Talks==<br /> <br /> {{Event<br /> | when = 22 May 2013<br /> | where = I-7<br /> | type = seminar<br /> | who = Ján Šefránek<br /> | what = Argumentation semantics and update semantics<br /> | link =<br /> }}<br /> <br /> {{Event<br /> | when = 7 May 2013<br /> | where = I-7<br /> | type = seminar<br /> | who = Ján Šefránek<br /> | what = Nonmonotonic Modal Logic<br /> | link =<br /> }}<br /> <br /> {{Event<br /> | when = 19 April 2013<br /> | where = I-9<br /> | type = seminar<br /> | who = Igor Sedlár<br /> | what = Modal Logic 2<br /> | link =<br /> }}<br /> {{Event<br /> | when = 5 April 2013<br /> | where = I-9<br /> | type = seminar<br /> | who = Igor Sedlár<br /> | what = Modal Logic<br /> | link =<br /> }}<br /> {{Event<br /> | when = 20 March 2013<br /> | where = M II<br /> | type = seminar<br /> | who = Michal Vince<br /> | what = Lightweight Communication Platform<br /> | link =<br /> }}<br /> {{Event<br /> | when = 5 March 2013<br /> | where = I-9<br /> | type = seminar<br /> | who = Martin Baláž, Jozef Frtús<br /> | what = Structured Argumentation Frameworks<br /> | link =<br /> }}<br /> {{Event<br /> | when = 8 December 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Martin Baláž<br /> | what = Well-Supported Models of MDLP<br /> | link =<br /> }}<br /> {{Event<br /> | when = 18 August 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Martin Homola<br /> | what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation (2)<br /> | link =<br /> }}<br /> {{Event<br /> | when = 28 July 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Jozef Šiška<br /> | what = Modular declarative knowledge representation in computer games.<br /> | link =<br /> }}<br /> {{Event<br /> | when = 21 July 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Martin Homola<br /> | what = Towards Distributed Tableaux Reasoning in DDL with Increased Subsumption Propagation<br /> | link =<br /> }}<br /> {{Event<br /> | when = 14 July 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Ján Kľuka<br /> | what = On Declarative Programming, Theorem Proving, and Program Transformation<br /> | link =<br /> }}<br /> {{Event<br /> | when = 30 June 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Martin Baláž<br /> | what = Semantics for Multidimensional Dynamic Logic Programs, Differences and Common Principles<br /> | link =<br /> }}<br /> {{Event<br /> | when = 9 June 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Jan Sefranek<br /> | what = Selection of Prefered Answer Sets<br /> | link =<br /> }}<br /> {{Event<br /> | when = 19 May 2008 14:00 (moved from 12th May)<br /> | where = I-9<br /> | type = seminar<br /> | who = Michal Malý<br /> | what = Cognitive Assembler<br /> | link = http://mmm.ii.fmph.uniba.sk/kognitivny_assembler.pdf<br /> }}<br /> {{Event<br /> | when = 05 May 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Peter Klimo<br /> | what = Using Evolp for Representation of Beliefs and Goals in BDI architecture<br /> | link =<br /> }}<br /> {{Event<br /> | when = 28 April 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Juraj Frank and Martin Homola<br /> | what = Ontology-driven Categorization of Blog Postings<br /> | link = <br /> }}<br /> {{Event<br /> | when = 21 April 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Martin Homola<br /> | what = Subsumption Propagation in Distributed Description Logic<br /> | link = <br /> }}<br /> {{Event<br /> | when = 14 April 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Martin Baláž<br /> | what = Defeasible Logic Programming and its Relation with Answer Set Programming<br /> | link = <br /> }}<br /> {{Event<br /> | when = 31 March 2008 14:00<br /> | where = I-9<br /> | type = seminar<br /> | who = Jozef Šiška<br /> | what = Employing Logic Programming in Computer Games<br /> | link = <br /> }}<br /> <br /> ==Rules==<br /> <br /> To ensure regular weekly seminar talks, there is one simple rule for the KR Group members: If no talk is scheduled, this obligation goes to that KR Group member who has done the most past talk.</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11361 2013-05-13T16:48:01Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.<br /> # Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.<br /> # Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> * [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]<br /> * [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]<br /> * [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]<br /> * [[File:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf]]<br /> * [[File:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf]]<br /> * [[File:KRR2013-Lecture-9-NMR-characterization.pdf]]<br /> * [[File:KRR2013-Lecture-10-Induction.pdf]]<br /> <br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> * [[File:Cv05lp.pdf‎]]<br /> * [[File:Cv06defl.pdf‎]]<br /> * [[File:Cv08as.pdf‎]]<br /> * [[File:Cv09nn.pdf]]<br /> * [[File:Cv10pi.pdf]]<br /> * [[File:Cv11ab.pdf]]<br /> <br /> There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv11ab.pdf&diff=11360 2013-05-13T16:47:46Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11351 2013-05-07T08:26:16Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.<br /> # Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.<br /> # Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> * [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]<br /> * [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]<br /> * [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]<br /> * [[File:KRR2013-Lecture-7-Reasoning-with-Incomplete-Knowledge.pdf]]<br /> * [[File:KRR2013-Lecture-8-Reasoning-with-Inconsistent-Knowledge.pdf]]<br /> * [[File:KRR2013-Lecture-9-NMR-characterization.pdf]]<br /> * [[File:KRR2013-Lecture-10-Induction.pdf]]<br /> <br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> * [[File:Cv05lp.pdf‎]]<br /> * [[File:Cv06defl.pdf‎]]<br /> * [[File:Cv08as.pdf‎]]<br /> * [[File:Cv09nn.pdf]]<br /> * [[File:Cv10pi.pdf]]<br /> <br /> There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv10pi.pdf&diff=11350 2013-05-07T08:25:51Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv09nn.pdf&diff=11347 2013-05-06T09:21:21Z

<p>Simko: uploaded a new version of &quot;File:Cv09nn.pdf&quot;</p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11321 2013-04-29T17:00:12Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.<br /> # Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.<br /> # Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> * [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]<br /> * [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]<br /> * [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]<br /> <br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> * [[File:Cv05lp.pdf‎]]<br /> * [[File:Cv06defl.pdf‎]]<br /> * [[File:Cv08as.pdf‎]]<br /> * [[File:Cv09nn.pdf]]<br /> <br /> There was a problem with the second quiz. You can find a correct solution in [[File:R02riesenie.pdf]].</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11320 2013-04-29T16:57:01Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.<br /> # Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.<br /> # Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> * [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]<br /> * [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]<br /> * [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]<br /> <br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> * [[File:Cv05lp.pdf‎]]<br /> * [[File:Cv06defl.pdf‎]]<br /> * [[File:Cv08as.pdf‎]]<br /> * [[File:Cv09nn.pdf]]<br /> <br /> S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv09nn.pdf&diff=11319 2013-04-29T16:56:37Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11305 2013-04-25T07:22:57Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> Following references cover the course content extensively and in further details. You're not expected to study all references listed here start-to-end, instead see references in lecture slides where to get more information on a given subject.<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: [http://www.dis.uniroma1.it/~rosati/publications/Calvanese-etal-KR-98.pdf Description logic framework for information integration]. In: KR 1998, Morgan Kaufmann 1998.<br /> # Calvanese, D., Lenzerini, M., Nardi, D.: [http://web.inf.unibz.it/~calvanese/papers/calv-lenz-nard-JAIR-99.pdf Unifying class-based representation formalisms]. J. Artif. Intell. Res. (JAIR) 11, 199-240, 1999.<br /> # Catarci, T., Lenzerini, M,: [http://disi.unitn.it/~p2p/RelatedWork/Matching/62257.pdf Representing and using interschema knowledge in cooperative information systems]. Int. J. Cooperative Inf. Syst. 2(4), 375-398, 1993.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> * [[File:KRR2013-Lecture-4-Relations-btwn-DB-schemas.pdf]]<br /> * [[File:KRR2013-Lecture-5-Deductive-Databases.pdf]]<br /> * [[File:KRR2013-Lecture-6-Hypothetical-Reasoning.pdf]]<br /> <br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> * [[File:Cv05lp.pdf‎]]<br /> * [[File:Cv06defl.pdf‎]]<br /> * [[File:Cv08as.pdf‎]]<br /> <br /> S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv08as.pdf&diff=11304 2013-04-25T07:21:08Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv06defl.pdf&diff=11303 2013-04-25T07:20:01Z

<p>Simko: uploaded a new version of &quot;File:Cv06defl.pdf&quot;</p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv06defl.pdf&diff=11269 2013-04-08T14:09:45Z

<p>Simko: uploaded a new version of &quot;File:Cv06defl.pdf&quot;</p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11240 2013-03-25T11:17:58Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> * [[File:Cv05lp.pdf‎]]<br /> * [[File:Cv06defl.pdf‎]]<br /> <br /> S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv06defl.pdf&diff=11239 2013-03-25T11:17:35Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11238 2013-03-25T09:59:48Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> * [[File:Cv05lp.pdf‎]]<br /> <br /> S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv05lp.pdf&diff=11237 2013-03-25T09:59:08Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11191 2013-03-12T09:00:14Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> == Prerequisites ==<br /> <br /> It is vital, that you have some prior knowledge about First Order Logic, Description Logics, and Logic Programs (especially ASP). If you passed [[Course_CompLog|Computational Logic]] before, you should be just fine. If you need to refresh your knowledge here, you can either look at the [[Course_CompLog#Lecture_Slides|slides]] from Computational Logic, or in the recommended literature as listed below.<br /> <br /> ==Literature==<br /> <br /> # Baader et al.: [http://www.cambridge.org/gb/knowledge/isbn/item5010366/ The Description Logic Handbook: Theory, Implementation and Applications.] Oxford University Press, 2nd ed., 2003.<br /> # Šefránek, J.:[http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Inteligencia ako výpočet.] IRIS, 2000.<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> The [http://wiki.matfyz.sk/KRR2013_Projekty project assignment] can now be found in the student's wiki.<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> * [[File:Cv04ers2dl2.pdf‎]]<br /> <br /> S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv04ers2dl2.pdf&diff=11190 2013-03-12T08:59:40Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11151 2013-03-05T12:51:37Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> ==Literature==<br /> <br /> # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> TBA<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> <br /> S druhou rozcvičkou boli trochu problémy, hlavne v korektnom zápise sledu argumentov. Jeden z môžných dôkazov nájdete v [[File:R02riesenie.pdf]]<br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> &lt;!-- Archived 2011/2012<br /> <br /> Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Jozef Frtús<br /> <br /> *Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/<br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc]<br /> <br /> ==Literature==<br /> <br /> # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 15<br /> *Exam: 40<br /> *Project: 30<br /> *Labs: 10<br /> *TOTAL: 95<br /> *BONUS: 10<br /> <br /> Evaluation scale:<br /> <br /> * 84 and more: A<br /> * 75 and more: B<br /> * 66 and more: C<br /> * 57 and more: D<br /> * 48 and more: E<br /> <br /> == Project ==<br /> <br /> The task of the project is to propose and describe a scenario for an application<br /> of ambient intelligence based on knowledge representation formalisms and reasoning. Project will be submitted in three phases, each has separate deadline:<br /> <br /> * Phase 1 - scenario description: 23 March<br /> * Phase 2 - initial formalization: 27 April<br /> * Phase 3 - final formalization: &lt;strike&gt;25 May&lt;/strike&gt; 25 June (or the day your examination period ends for the finishing students)<br /> <br /> Please upload your outputs for each phase here: http://wiki.matfyz.sk/KRR2012_Projekty<br /> <br /> IMPORTANT: Basic information about Ambient Intelligence and three demo scenarios are described in: [[http://ii.fmph.uniba.sk/~sefranek/kri/bikakis-dke09.pdf Distributed Defeasible Reasoning in Ambient Intelligence]] by Bikakis et al.<br /> <br /> An example of a successful project by Michal Antonič: http://ii.fmph.uniba.sk/~sefranek/kri/antonic_rzai_projekt.pdf<br /> <br /> === Project Evaluation ===<br /> <br /> '''Phase 1 Scenario:'''<br /> * description of an intelligent application/device together with the situation (background) in which it will be used <br /> * purpose of the application device: what problem it will solve, or what task it will fulfill<br /> * informal example of how the problem/task will be solved, showing how reasoning will be used <br /> <br /> '''Phases 2 and 3:'''<br /> * specification of the formalism that will be used<br /> * list of symbols with intuitive description of their meanings (i.e., what values they represent in the scenario)<br /> * formalization of the knowledge base: facts, rules, logic programs, etc. that will be needed to solve the problem, achieve the intelligent behavior described in the scenario<br /> * problem solution: formal solution of the problem using reasoning with your knowledge base in the selected formalism<br /> <br /> Hints: <br /> * link the described formal knowledge base and solution with the respective part of the scenario in where this is informally described<br /> * the formalization can address a suitable part of the informal scenario only, and the informal scenario can be modified if needed, but this must be explained in your document<br /> * for Phase 2 the main part of the score is for formalization of the knowledge base, while in Phase 3 it is for the formal solution of the problem<br /> --&gt;</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:R02riesenie.pdf&diff=11150 2013-03-05T12:50:49Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11149 2013-03-04T15:58:09Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> ==Literature==<br /> <br /> # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> TBA<br /> <br /> == Lecture Slides ==<br /> <br /> * [[File:KRR2013-Lecture-1-intro.pdf]]<br /> * [[File:KRR2013-Lecture-2-DL.pdf]]<br /> * [[File:KRR2013-Lecture-3-ER-vs-DL.pdf]]<br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf]]<br /> * [[File:Cv02dl.pdf]]<br /> * [[File:Cv03ers2dl.pdf]]<br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> &lt;!-- Archived 2011/2012<br /> <br /> Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Jozef Frtús<br /> <br /> *Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/<br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc]<br /> <br /> ==Literature==<br /> <br /> # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 15<br /> *Exam: 40<br /> *Project: 30<br /> *Labs: 10<br /> *TOTAL: 95<br /> *BONUS: 10<br /> <br /> Evaluation scale:<br /> <br /> * 84 and more: A<br /> * 75 and more: B<br /> * 66 and more: C<br /> * 57 and more: D<br /> * 48 and more: E<br /> <br /> == Project ==<br /> <br /> The task of the project is to propose and describe a scenario for an application<br /> of ambient intelligence based on knowledge representation formalisms and reasoning. Project will be submitted in three phases, each has separate deadline:<br /> <br /> * Phase 1 - scenario description: 23 March<br /> * Phase 2 - initial formalization: 27 April<br /> * Phase 3 - final formalization: &lt;strike&gt;25 May&lt;/strike&gt; 25 June (or the day your examination period ends for the finishing students)<br /> <br /> Please upload your outputs for each phase here: http://wiki.matfyz.sk/KRR2012_Projekty<br /> <br /> IMPORTANT: Basic information about Ambient Intelligence and three demo scenarios are described in: [[http://ii.fmph.uniba.sk/~sefranek/kri/bikakis-dke09.pdf Distributed Defeasible Reasoning in Ambient Intelligence]] by Bikakis et al.<br /> <br /> An example of a successful project by Michal Antonič: http://ii.fmph.uniba.sk/~sefranek/kri/antonic_rzai_projekt.pdf<br /> <br /> === Project Evaluation ===<br /> <br /> '''Phase 1 Scenario:'''<br /> * description of an intelligent application/device together with the situation (background) in which it will be used <br /> * purpose of the application device: what problem it will solve, or what task it will fulfill<br /> * informal example of how the problem/task will be solved, showing how reasoning will be used <br /> <br /> '''Phases 2 and 3:'''<br /> * specification of the formalism that will be used<br /> * list of symbols with intuitive description of their meanings (i.e., what values they represent in the scenario)<br /> * formalization of the knowledge base: facts, rules, logic programs, etc. that will be needed to solve the problem, achieve the intelligent behavior described in the scenario<br /> * problem solution: formal solution of the problem using reasoning with your knowledge base in the selected formalism<br /> <br /> Hints: <br /> * link the described formal knowledge base and solution with the respective part of the scenario in where this is informally described<br /> * the formalization can address a suitable part of the informal scenario only, and the informal scenario can be modified if needed, but this must be explained in your document<br /> * for Phase 2 the main part of the score is for formalization of the knowledge base, while in Phase 3 it is for the formal solution of the problem<br /> --&gt;</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv03ers2dl.pdf&diff=11148 2013-03-04T15:56:59Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Course_KRR&diff=11126 2013-02-27T16:43:26Z

<p>Simko: </p> <hr /> <div>Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Alexander Šimko<br /> <br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0Ai_OUoCwIBGsdGpwY19IZ2JJSHNRTTgtSXN6ZXBTb0E&amp;usp=sharing Google Doc]<br /> <br /> == Course outline ==<br /> <br /> * From databases to KR&amp;amp;R<br /> * From deduction to hypothetical reasoning<br /> * Preferences<br /> * Knowledge revision<br /> * Induction<br /> * Abduction<br /> <br /> ==Literature==<br /> <br /> # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 10 <br /> *Exam: 30 (min 10)<br /> *Project: 25 (min 10)<br /> *Labs: 10 (min 3)<br /> *TOTAL: 75<br /> <br /> Evaluation scale:<br /> <br /> * 67 and more: A<br /> * 59 and more: B<br /> * 52 and more: C<br /> * 45 and more: D<br /> * 39 and more: E<br /> <br /> == Project ==<br /> <br /> TBA<br /> <br /> == Lecture Slides ==<br /> <br /> TBA<br /> <br /> == Labs ==<br /> <br /> * [[File:Cv01dopyty.pdf|test]]<br /> * [[File:Cv02dl.pdf|test]]<br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> <br /> &lt;!-- Archived 2011/2012<br /> <br /> Knowledge Representation and Reasoning (course homepage)<br /> <br /> *Lectures: Martin Baláž, Martin Homola<br /> *Labs: Jozef Frtús<br /> <br /> *Labs info: https://www.dai.fmph.uniba.sk/~frtus/kri/<br /> *Evaluation: [https://docs.google.com/spreadsheet/ccc?key=0AnoXnHbSHpPudHFJemVVWWpXaWw1bmN4VExxVjZtNWc Google Doc]<br /> <br /> ==Literature==<br /> <br /> # [http://www.ii.fmph.uniba.sk/~sefranek/kniha/temp/fasada.pdf Šefránek, J. (2000). Inteligencia ako výpočet (p. 430). IRIS.]<br /> <br /> == Evaluation ==<br /> <br /> Evaluation points:<br /> <br /> *Midterm: 15<br /> *Exam: 40<br /> *Project: 30<br /> *Labs: 10<br /> *TOTAL: 95<br /> *BONUS: 10<br /> <br /> Evaluation scale:<br /> <br /> * 84 and more: A<br /> * 75 and more: B<br /> * 66 and more: C<br /> * 57 and more: D<br /> * 48 and more: E<br /> <br /> == Project ==<br /> <br /> The task of the project is to propose and describe a scenario for an application<br /> of ambient intelligence based on knowledge representation formalisms and reasoning. Project will be submitted in three phases, each has separate deadline:<br /> <br /> * Phase 1 - scenario description: 23 March<br /> * Phase 2 - initial formalization: 27 April<br /> * Phase 3 - final formalization: &lt;strike&gt;25 May&lt;/strike&gt; 25 June (or the day your examination period ends for the finishing students)<br /> <br /> Please upload your outputs for each phase here: http://wiki.matfyz.sk/KRR2012_Projekty<br /> <br /> IMPORTANT: Basic information about Ambient Intelligence and three demo scenarios are described in: [[http://ii.fmph.uniba.sk/~sefranek/kri/bikakis-dke09.pdf Distributed Defeasible Reasoning in Ambient Intelligence]] by Bikakis et al.<br /> <br /> An example of a successful project by Michal Antonič: http://ii.fmph.uniba.sk/~sefranek/kri/antonic_rzai_projekt.pdf<br /> <br /> === Project Evaluation ===<br /> <br /> '''Phase 1 Scenario:'''<br /> * description of an intelligent application/device together with the situation (background) in which it will be used <br /> * purpose of the application device: what problem it will solve, or what task it will fulfill<br /> * informal example of how the problem/task will be solved, showing how reasoning will be used <br /> <br /> '''Phases 2 and 3:'''<br /> * specification of the formalism that will be used<br /> * list of symbols with intuitive description of their meanings (i.e., what values they represent in the scenario)<br /> * formalization of the knowledge base: facts, rules, logic programs, etc. that will be needed to solve the problem, achieve the intelligent behavior described in the scenario<br /> * problem solution: formal solution of the problem using reasoning with your knowledge base in the selected formalism<br /> <br /> Hints: <br /> * link the described formal knowledge base and solution with the respective part of the scenario in where this is informally described<br /> * the formalization can address a suitable part of the informal scenario only, and the informal scenario can be modified if needed, but this must be explained in your document<br /> * for Phase 2 the main part of the score is for formalization of the knowledge base, while in Phase 3 it is for the formal solution of the problem<br /> --&gt;</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv02dl.pdf&diff=11125 2013-02-27T16:40:24Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Cv01dopyty.pdf&diff=11124 2013-02-27T16:32:03Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=10186 2012-07-06T10:48:06Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I11<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ Alexander Šimko]<br /> | info = <br /> <br /> === Teaching ===<br /> [[Introduction_to_Computer_Logic|Introduction to Computational Logic]]<br /> <br /> === Research ===<br /> * Knowledge representation<br /> * Logic programming<br /> * Reasoning with preferences<br /> <br /> === Publications ===<br /> available in the [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?skin=epc database of publications]<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/sk&diff=10185 2012-07-06T10:44:54Z

<p>Simko: </p> <hr /> <div>{{Osoba<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = <br /> | position = doktorand<br /> | phone = <br /> | room = I11<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = [http://dai.fmph.uniba.sk/~simko/ Alexander Šimko]<br /> | info = <br /> <br /> === Výučba ===<br /> [[Introduction_to_Computer_Logic|Úvod do výpočtovej logiky]]<br /> <br /> === Výskum ===<br /> * reprezentácia znalostí<br /> * logické programovanie<br /> * usudzovanie s preferenciami<br /> <br /> === Publikácie ===<br /> dostupné v [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?skin=epc databáze publikačnej činnosti]<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Vypocet_stabilnych_modelov_logickeho_programu_cez_volunteer_computing&diff=8989 2011-10-24T07:45:31Z

<p>Simko: Created page with &quot;&lt;small&gt;(Zadanie bakalárskej práce, naspäť na zoznam bakalárskych prác)&lt;/small&gt; Úlohou bakalarskej práce je naštudovať platformu pre volu…&quot;</p> <hr /> <div>&lt;small&gt;(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])&lt;/small&gt;<br /> <br /> Úlohou bakalarskej práce je naštudovať platformu pre volunteer computing (napr. BOINC) a v nej implementovať distribuovaný výpočet stabilných modelov logického programu. To, ako výpočet distribuovať sa dozviete.</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Topics_for_Bachelor_Theses/sk&diff=8986 2011-10-24T07:41:57Z

<p>Simko: </p> <hr /> <div>= Zoznam tém pre bakalárske práce =<br /> <br /> [http://ii.fmph.uniba.sk/zui/bakalarky.php Export to XLS] (autor skriptu: [[Michal Certicky|Michal Čertický]])<br /> <br /> Na tejto stránke je '''orientačný''' zoznam v súčasnosti ponúkaných tém pre bakalárske práce.<br /> Témy sú zoradené podľa zamerania a školiteľov.<br /> Napriek názoru Mgr. RNDr. M. Baláža sa '''pozrite aj do systému AIS2''', pretože tam nájdete aj konkrétne vypísané témy, na ktoré sa hneď môžete prihlásiť.<br /> <br /> Prosím preštudujte si aj stránky <br /> <br /> *[[Recommendations_for_students_of_Bachelor_program_in_Applied_Informatics|Bakalársky program Aplikovaná informatika, odporúčania pre študentov]]<br /> * [[Recommendation for Writing Bachelor and Diploma Theses|Odporúčania k písaniu bakalárskych a diplomových prác]]<br /> * [[Bachelor seminar|Bakalársky seminár]]<br /> <br /> == Aplikované témy ==<br /> <br /> * &lt;font color=red&gt;Nové:&lt;/font&gt; Zaujímavé témy pre aplikovaných informatikov ponúkajú kolegovia z katedry experimentálnej fyziky, konatky: Peter Papp, Michal Matejka, Juraj Országh, miestnosť F2-77, F2-54, e-mail: papp, matejka, orszagh [[Image:zavinac.gif]] fmph.uniba.sk<br /> <br /> * [[Martin Balaz|Martin Baláž]], balaz[[Image:zavinac.gif|@]]ii.fmph.uniba.sk<br /> ** [[GPS software pre mobil|GPS software pre mobil]]<br /> <br /> * Peter Fabo, fabo[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> ** [[fabo3temy|3 témy]]<br /> <br /> * [[Pavel Petrovic|Pavel Petrovič]], petrovic [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** konkrétne webové aplikácie, ktoré potrebujeme - Research Desktop, Lamsfet, Centrobot Portal, príp. podľa dohody<br /> <br /> * [[Maria Markosova|Mária Markošová]], markosova [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** [[BakTema Tvorba prikladov na cvicenia z Evolucnych algoritmov|Tvorba príkladov na cvičenia z Evolučných algoritmov]]<br /> ** [[BakTema Tvorba prikladov na cvicenia z Umelej inteligencie 1|Tvorba príkladov na cvičenia z Umelej inteligencie 1]]<br /> ** [[BakTema Analyza roznych typov sieti pomocou dostupneho softveru|Analýza rôznych typov sietí pomocou dostupného softvéru]]<br /> ** [[BakTema Tvorba softveru na vytvaranie dynamickych sieti|Tvorba softvéru na vytváranie dynamických sietí ]]<br /> <br /> * [[Martin Cajagi|Martin Čajági]], cajagi [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** [[BakTema Rozsirenie a uprava simulacneho softvaru pre tvorbu dynamickych sieti|Rozšírenie a úprava simulačného softvéru na tvorbu dynamických sietí]]<br /> ** [[BakTema Optimalizovane vystupy pre NAViGaTOR |Optimalizované výstupy pre NAViGaTOR ]]<br /> <br /> * [[Andrej Lucny|Andrej Lúčny]], lucny [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema CIE1976|Farebný model CIE L*a*b* 1976]]<br /> ** [[BakTema cube4D|Vizualizácia štvorrozmernej kocky]]<br /> ** [[BakTema impainting|Techniky odstraňovania poškodenia obrazu.]]<br /> ** [[BakTema LA recognition|Použitie lineárnej algebry v rozpoznávaní objektov na obraze]]<br /> ** [[BakTema Image Saliency|Využitie fázového spektra obrazu pre detekciu vyčnievajúcich objektov]]<br /> <br /> * [[Jan Kluka|Ján Kľuka]], kluka [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema Uzivatelsky privetive zalohovanie a obnova dat v Linuxe|Užívateľsky prívetivé zálohovanie a obnova dát v Linuxe]]<br /> <br /> * [[Peter Klimo|Peter Klimo]], klimo [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** [[BakTema Cvicenia z C|Cvičenia z C++ založené na návrhovom vzore Test Drive Development]](obsadené)<br /> <br /> * [[Igor Farkas|Igor Farkaš]], farkas [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema BCI systems overview|Prehľad spätnoväzobných systémov s rozhraním mozog-počítač]]<br /> ** Vytvorenie softvérového rozhrania a testovanie robotického ramena AL5D (Lynxmotion), stručný manuál.<br /> ** Vytvorenie softvérového rozhrania a testovanie stereo vizuálneho systému SVS (Surveyor), stručný manuál.<br /> <br /> * [[Ludovit Malinovsky|Ľudovít Malinovský]], malinovsky [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema CineFan - Mobilna aplikacia pre Android|CineFan - Mobilná aplikácia pre Android]] - tema je obsadená<br /> <br /> * [[Vladimir Dziuban|Vladimír Dziuban]], dziuban [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema Nastroj pre algoritmicku kompoziciu|Nástroj pre algoritmickú kompozíciu]] - tema je obsadená<br /> <br /> *[[Branislav Malinovsky|Branislav Malinovský]], branislav.malinovsky[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> ** [[BakTema Prehlad dostupnych nastrojov pre potreby agent-based modelovania a tvorbu simulacii|Prehľad dostupných nástrojov pre potreby agent-based modelovania a tvorbu simulácií]]<br /> <br /> * [[Martin Takac|Martin Takáč]], takac [[Image:zavinac.gif|#]] ii.fmph.uniba.sk<br /> ** Vytvorenie sveta a agentov pre kognitívne experimenty v simulačnom prostredí [http://terrasim.codeplex.com/ TerraSim]<br /> <br /> * [[Peter Nather|Peter Náther]],nather[[Image:zavinac.gif|#]] ii.fmph.uniba.sk<br /> ** [[BakTema Framework pre tovrbu sachu podobynch hier|Framework pre tvorbu šachu podobných hier]]<br /> ** [[BakTema Analyza cestnej siete Slovenska ako komplexneho grafu|Analýza cestnej siete Slovenska ako komplexného grafu]]<br /> <br /> <br /> == Počítačová grafika a spracovanie obrazov ==<br /> <br /> * [[Michal Hucko|Michal Hučko]], Michal.Hucko [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema GUI pre vizualizacny engine|GUI pre vizualizačný engine]]<br /> ** [[BakTema Rozhranie pre vizualizacny engine pre vytvaranie animacie|Rozhranie pre vizualizačný engine pre vytváranie animácie]]<br /> ** [[BakTema Plugin pre vizualizacny engine implementujuci klasifikaciu metodou LH histogramu|Plugin pre vizualizačný engine implementujúci klasifikáciu metódou LH histogramu]]<br /> ** [[BakTema Generovanie LH histogramu na GPU|Generovanie LH histogramu na GPU]]<br /> ** [[BakTema Open-source kniznica pre rozhranie OpenCL|Open-source knižnica pre rozhranie OpenCL]]<br /> <br /> * [[Silvester Czanner|Silvester Czanner]], czanner [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[fMRI image analysis techniques|fMRI image analysis techniques]]<br /> ** [[Segmentation techniques used in microscopic imaging|Segmentation techniques used in microscopic imaging]]<br /> <br /> * [[Milos Sramek|Miloš Šrámek]], milos.sramek [[Image:zavinac.gif|@]] soit.sk<br /> ** [[Spracovanie a vizualizácia objemových dát|Spracovanie a vizualizácia objemových dát]]<br /> <br /> * [[Elena Sikudova|Elena Šikudová]], sikudova [[Image:zavinac.gif|@]] sccg.sk<br /> ** [[Analýza textúr|Analýza textúr]]<br /> ** [[VideoForge|VideoForge]]<br /> ** [[Segmentácia obrazu|Segmentácia obrazu]]<br /> ** [[Individual IP topic|Individual IP topic]]<br /> <br /> * [[Zuzana Cernekova|Zuzana Černeková]], cernekova [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** Comparison of shot boundary detection algorithms in user oriented color spaces<br /> ** Comparison of shot boundary detection algorithms in class Y color spaces<br /> ** Comparison of shot boundary detection algorithms in basic and perceptualy uniform color spaces<br /> <br /> * [[Peter Borovsky|Peter Borovský]], Peter.Borovsky [[Image:zavinac.gif|@]] sccg.sk<br /> ** [[BakTema 3D Engines for Virtual Cities|3D Engines for Virtual Cities]]<br /> ** [[BakTema Rychle generatory georeliefu|Rýchle generátory georeliéfu]]<br /> ** [[BakTema Tvorba HDR textur pre modely realnych budov|Tvorba HDR textúr pre modely reálnych budov]] (obsadené)<br /> <br /> * [[Roman Durikovic|Roman Ďurikovič]], Roman.Durikovic [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** '''Uprednostňujem študentov, s ktorými sa stretnem na svojich prednáškach. Pozrite si aj diplomové témy, mnohé sa dajú formulovať aj ako bakalárska práca.'''<br /> ** Meranie štatistických vlastností náterov pri danom recepte, a aplikácii, meranie korelácie štatistických hodnôt. Pozorovanie mikroštruktúry náterov.<br /> ** Meranie parametrov vzhľadu BRDF a ich zmena počas tvrdnutia laku.<br /> ** Štatistické meranie trblietivosti, vnímanie trblietivosti.<br /> ** Tvorba fotografii automobilových lakov s veľkým dynamickým rozsahom (HDR) s detailmi metalických pigmentov a návrh metód na tvorbu týchto detailných fotografii.<br /> ** Tone mapping: Návrh zobrazovacích metód trblietivosti na monitoroch, HDR monitoroch, v tlači.<br /> ** Meranie vnímaných vonkajších optických efektov lesku [Bril] na pigmentových, metalických a perleťových lakoch.<br /> ** Vnímanie lesku [Bril] na rôznych plochách, keďže konečný vzhľad náteru je závislý od tvaru plôch na výrobku.<br /> ** Návrh spôsobu merania pre porovnanie (color matching) metalických farieb na rôznych plochách pomocou KONICA meracieho zariadenia.<br /> ** Modern trends with topology-adaptive snakes and applications.<br /> ** Animácie pomocou časticových systémov - sneh a pekné zobrazenie snehu.<br /> ** Tvorba scén po daždi zo vstupných 3D scén.<br /> * Numerické<br /> ** [[Numerika cv18|Príprava riešených cvičení z numerickej matematiky v programe Matematica - cvičenia 1-8.]]<br /> ** Príprava riešených cvičení z numerickej matematiky v programe Matematica - sústavy lineárnych rovníc.<br /> ** Príprava riešených cvičení z numerickej matematiky v programe Matematica - sústavy nelineárnych rovníc.<br /> ** Príprava riešených cvičení z numerickej matematiky v programe Matematica - metódy konečných diferencií.<br /> ** Príprava riešených cvičení z numerickej matematiky v programe Matematica - metódy konečných prvkov 1D a 2D.<br /> ** Príprava riešených cvičení z numerickej matematiky v programe Matematica - metódy konečných prvkov 3D.<br /> ** Príprava riešených cvičení z numerickej matematiky v programe Matematica - sústavy diferenciálnych rovníc.<br /> ** Modelovanie analytických modelov zamračenej a jasnej oblohy z daných HDR bloh.<br /> ** Tvorba HDR oblohy pri rôznom počasí a na rôznych miestach.<br /> * Prehľadové<br /> ** [[Prehlad meracich zariadeni BRDF|Prehľad meracích zariadení BRDF (alebo BTF, SVBRDF), ich parametre, presnosť v závislosti na vykonanom počte meraní, cena.]]<br /> ** Popis teorie a meracích zariadení štandartne používaných v priemysle na meranie farebných odchýlok a farebných vlastností.<br /> ** Prehlad analytickych modelov zamracenej a jasnej oblohy s priemernou radianciou v kazdom bode oblohy a implementacia tohto modelu.<br /> ** Prehlad BRDF reprezentacii a ich vyhodnotenenie pre potreby simulacie lakov.<br /> ** [[BakTema Prehlad standartnych primyselnych merani|Prehľad štandartných priemyselných meraní pri porovnávaní farieb.]]<br /> ** [[Prehlad zariadeni na snimanie farby a kompoziciu laku|Prehľad zariadeniach na snímanie farby pričom ukáže kompozíciu daného laku.]]<br /> ** Prehľad 3D displejov pre potreby centra ALFA (napr. monitory, tv).<br /> ** Prehľad 3D scanovacich zariadeni pre potreby centra ALFA.<br /> ** Prehľad 3D tlačiarní pre potreby centra ALFA.<br /> ** Prehľad komerčných stereo zobrazovacích zariadení pre potreby centra ALFA.<br /> <br /> * [[Matej Novotny|Matej Novotný]], mnovotny [[Image:zavinac.gif|@]] sccg.sk<br /> ** (momentálne všetky témy už obsadené)<br /> <br /> * [[Martin Samuelcik|Martin Samuelčík]], samuelcik [[Image:zavinac.gif|@]] sccg.sk<br /> ** Polynomické krivky v paralelných súradniciach<br /> ** Prehliadač 3D modelov na platforme Android<br /> ** Knižnica pre zobrazenie vektorových fontov<br /> ** WebGL prehliadač panorám<br /> ** OpenGL knižnica pre časticové systémy<br /> <br /> * [[Pavol Fabo|Pavol Fabo]], fabo[[Image:zavinac.gif|@]]sccg.sk<br /> ** Štúdium usability evaluation postupov a ich aplikácia<br /> <br /> * [[Martin Madaras|Martin Madaras]], madaras[[Image:zavinac.gif|@]]sccg.sk<br /> ** [http://www.sccg.sk/~madaras/supervision.html Mesh Deformations Suitable for Character Models]<br /> ** [http://www.sccg.sk/~madaras/supervision.html Mesh Atlasing Suitable for Character Models]<br /> ** [http://www.sccg.sk/~madaras/supervision.html + niektoré diplomové práce sa dajú odľahčiť na bakalárske]<br /> <br /> == Reprezentácia znalostí a nemonotónna logika ==<br /> <br /> * [[Martin Balaz|Martin Baláž]], balaz [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** [[Modelovanie ontologii pomocou editora Protege|Modelovanie ontológií pomocou editora Protégé]]<br /> ** [[Logicke programovanie v hrach|Logické programovanie v hrách]]<br /> <br /> * [[Peter Klimo|Peter Klimo]], klimo [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** [[Modelovanie pravnych dokumentov pomocou logickych programov|Modelovanie právnych dokumentov pomocou logických programov]]<br /> <br /> * [[Ján Šefránek|Ján Šefránek]], sefranek [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** [[ Ambient intelligence. Návrh scenára a jeho implemantácia. (Priestor pre 4 bakalárske práce.)| Ambient intelligence. Návrh scenára a jeho implemantácia. (Priestor pre 4 bakalárske práce.)]]<br /> <br /> * [[Alexander Šimko|Alexander Šimko]], simko [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[ Vypocet stabilnych modelov logickeho programu cez volunteer computing| Výpočet stabilných modelov logického programu cez volunteer computing]]<br /> <br /> <br /> == Deklaratívne Programovanie ==<br /> <br /> * [[Jan Kluka|Ján Kľuka]], kluka [[Image:zavinac.gif|@]] fmph.uniba.sk - ''témy sú pre tento rok kvôli vývoju jazyka CL neaktuálne''<br /> ** [[BakTema Efektivne stromove struktury v CL|Efektívne stromové štruktúry v CL]]<br /> ** [[BakTema Implementacia casti XPath v CL|Implementácia (časti) XPath v CL]]<br /> ** [[BakTema Efektivne rozpoznavanie regularnych vyrazov v CL|Efektívne rozpoznávanie regulárnych výrazov v CL]]<br /> ** [[BakTema Rozpoznavanie bezkontextovych gramatik v CL|Rozpoznávanie bezkontextových gramatík v CL]]<br /> <br /> * [[Peter Borovansky|Peter Borovanský]], borovan [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** Mobilná biletéria - zadaná<br /> ** Reflexívne programovanie - zadaná<br /> ** Mobilná aplikácia - otvorená téma<br /> ** Komparátor programov v jazyku JAVA<br /> ** Prostredie pre programátorský turnaj<br /> ** Statická analýza kódu ako Eclipse plugin<br /> ** Scrabble - zadaná<br /> ** Monitorovanie funkcie motora cez BlueTooth OBD adapter<br /> ** Detekcia ŠPZ v realnom čase (Android) - zadaná<br /> ** Bike Trainer (Android) - zadaná<br /> ** Využitie G-senzora na ovládanie robota - zadaná<br /> <br /> * [[Dusan Guller|Dušan Guller]], guller [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** Riešená zbierka motivačných príkladov v jazyku Prolog<br /> ** Pre rule-based jazyk Clips<br /> <br /> * [[Jan Komara|Ján Komara]], komara [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [http://ii.fmph.uniba.sk/cl/view/courses/bak-mag/?lang=sk Deklaratívne programovanie]<br /> ** [http://ii.fmph.uniba.sk/cl/view/courses/bak-mag/?lang=sk Špecifikácia a verifikácia programov]<br /> <br /> * [[Damas Gruska|Damas Gruska]], Damas.Gruska [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** 10 tém: [[BakTema Jazyky modely a nastroje|Jazyky modely a nástroje na modelovanie, špecifikáciu a verifikáciu a ich aplikácie]]<br /> <br /> == Neurónové siete ==<br /> <br /> * [[Igor Farkas|Igor Farkaš]], farkas [[Image:zavinac.gif|#]] fmph.uniba.sk<br /> ** [[BakTema Uloha riadenia pomocou rekurentnej siete|Úloha riadenia pomocou rekurentnej neurónovej siete s echo stavmi]]<br /> ** [[BakTema Priprava uloh na cvicenia z rekurentnych neuronovych sieti - rekurentne siete | Príprava úloh na cvičenia z rekurentných neurónových sietí]] (obsadené)<br /> ** [[BakTema Priprava uloh na cvicenia z autoasociativnych pamati | Príprava úloh na cvičenia z autoasociatívnych pamätí]] <br /> <br /> * [[Kristina Rebrova|Kristína Rebrová]], kristina.rebrova [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema Rastuce SOM|Rastúce samoorganizujúce sa siete]]<br /> <br /> * [[Martin Takac|Martin Takáč]], takac [[Image:zavinac.gif|#]] ii.fmph.uniba.sk<br /> ** Vytvorenie nástroja na vizualizáciu zmien v stavovom priestore jednoduchej rekurentnej siete SRN počas trénovania<br /> ** Restricted Boltzmann Machines, Deep Belief Nets: výber a adaptácia resp. vytvorenie vhodného simulačného a vizualizačného nástroja, základné testovacie experimenty<br /> <br /> == Robotika ==<br /> <br /> * [[Andrej Lucny|Andrej Lúčny]], lucny [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema Robot pre sutaz ISTROBOT|Robot pre súťaž ISTROBOT]]<br /> ** [[BakTema Vizuálny systém pre Robotour|Vizuálny systém pre Robotour]]<br /> <br /> * [[Igor Farkas|Igor Farkaš]], farkas [[Image:zavinac.gif|#]] fmph.uniba.sk<br /> ** [[BakTema Funkcionalita robotickeho simulatora iCub|Funkcionalita robotického simulátora iCub]]<br /> <br /> * [[Pavel Petrovic|Pavel Petrovič]], petrovic [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** téma z robotiky podľa dohody<br /> <br /> * [[Kristina Rebrova|Kristína Rebrová]], kristina.rebrova [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema Grasping in ICub|Typy uchopení predmetov v simulátore ICub]]<br /> <br /> == Evolučné výpočty ==<br /> <br /> * [[Pavel Petrovic|Pavel Petrovič]], petrovic [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** téma z evolučných výpočtov podľa dohody<br /> <br /> == Web ==<br /> <br /> * [[Jan Kluka|Ján Kľuka]], kluka [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema Strukturovany editor XML s podporou XSLT|Štruktúrovaný editor XML s podporou XSLT]]<br /> ** Rozšírenie MediaWiki pre určovanie zodpovednosti používateľov za jednotlivé stránky<br /> ** [[BakTema Frameworky pre webove aplikacie|Frameworky pre webovské aplikácie]]<br /> <br /> * [[Frantisek Gyarfas|František Gyárfáš]], gyarfas [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** Pre tento rok mám už plný počet prihlásených študentov<br /> <br /> * [[Peter Borovsky|Peter Borovský]], Peter.Borovsky [[Image:zavinac.gif|@]] sccg.sk<br /> ** [[BakTema Web pre bezecku komunitu|Web pre bežeckú komunitu]] (zrušené)<br /> <br /> * [[Peter Klimo|Peter Klimo]], klimo [[Image:zavinac.gif|@]] ii.fmph.uniba.sk<br /> ** [[BakTema Automatické generovanie obsahu v CMS systéme Joomla|Automatické generovanie obsahu v CMS systéme Joomla]] (obsadené)<br /> ** [[BakTema Univerzálny template pre CMS systém Joomla|Univerzalny template pre CMS system Joomla]] (obsadené)<br /> <br /> * [[Ludovit Malinovsky|Ľudovít Malinovský]], malinovsky [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> ** [[BakTema Osobny web crawler|Osobný web crawler]] - tema je obsadená<br /> <br /> * [[Peter Lecky|Peter Lecký]], lecky [[Image:zavinac.gif|@]] fmph.uniba.sk<br /> **Prístupnosť AJAX aplikácií - Téma je obsadená<br /> <br /> == Linux, otvorený softvér, otvorený obsah ==<br /> * [[Milos Sramek|Miloš Šrámek]], milos.sramek [[Image:zavinac.gif|@]] soit.sk<br /> ** [[Easy hacks for OpenOffice/LibreOffice|Easy hacks for OpenOffice/LibreOffice]]<br /> ** [[Rozšírenie PDF prehliadača Evince o možnosti anotácie |Rozšírenie PDF prehliadača Evince o možnosti anotácie ]]<br /> ** [[FOSS webove aplikacie|Viaceré témy súvisiace s rôznymi open source webovými aplikáciami]]<br /> ** [[Viacjazyčný slovník počítačových termínov|Viacjazyčný slovník počítačových termínov]]<br /> <br /> * [[Marek Nagy]], mnagy [[Image:zavinac.gif|@]] ii.fmph.uniba.sk ('''2010/11''')<br /> ** Efektívny manažment linuxovej učebne z pozície vyučujúceho na ZŠ. (obsadené - Rasťo Pánis)<br /> <br /> * [[Peter Lecký]], lecky [[Image:zavinac.gif|@]] fmph.uniba.sk <br /> ** Implementácia podpory pre čítanie MathML vo virtual bufferoch open-source čítača obrazovky NVDA (non visual desktop access). Kódenie v pythone a C++<br /> ** Návrh a implementácia heuristík potrebných pri vytváraní lineárnej reprezentácie zle vytvoreného webu vo virtuálnych bufferoch čítača obrazovky NVDA<br /> <br /> == Bioinformatika ==<br /> <br /> * [[Tomas Vinar|Tomáš Vinař]] a [[Brona Brejova|Broňa Brejová]] (tomas.vinar[[Image:zavinac.gif|@]]fmph.uniba.sk a brona.brejova[[Image:zavinac.gif|@]]fmph.uniba.sk)<br /> ** [http://compbio.fmph.uniba.sk/temy.php Viacero tém bakalárskych a magisterských prác v oblasti bioinformatiky]<br /> <br /> <br /> <br /> <br /> <br /> <br /> __notoc__</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=S%C3%BAbor:Simko_redik_slides.pdf&diff=8278 2011-09-02T08:55:36Z

<p>Simko: </p> <hr /> <div></div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/sk&diff=7304 2010-11-08T09:23:04Z

<p>Simko: </p> <hr /> <div>{{Osoba<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = <br /> | position = doktorand<br /> | phone = <br /> | room = I11<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Výučba ===<br /> [http://dai.fmph.uniba.sk/courses/tvorbaIS/ Tvorba informačných systémov]<br /> <br /> === Výskum ===<br /> <br /> === Publikácie ===<br /> <br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=7302 2010-11-08T09:16:09Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = I11<br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Teaching ===<br /> [http://dai.fmph.uniba.sk/courses/tvorbaIS/ Tvorba informačných systémov]<br /> <br /> === Research ===<br /> <br /> === Publications ===<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=7300 2010-11-08T09:14:31Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = <br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Teaching ===<br /> [http://dai.fmph.uniba.sk/courses/tvorbaIS/ Tvorba informačných systémov]<br /> <br /> === Research ===<br /> <br /> === Publications ===<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/en&diff=7299 2010-11-08T09:13:56Z

<p>Simko: </p> <hr /> <div>{{Person<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = <br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Teaching ===<br /> [http://http://dai.fmph.uniba.sk/courses/tvorbaIS/ Tvorba informačných systémov]<br /> <br /> === Research ===<br /> <br /> === Publications ===<br /> <br /> }}</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=People/en&diff=6925 2010-09-14T16:59:25Z

<p>Simko: </p> <hr /> <div>= People =<br /> === Department Structure ===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Head of Department:'''<br /> |-<br /> |width=&quot;400&quot;|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]<br /> |width=&quot;100&quot;|I 25&lt;sup&gt;&lt;font color=blue&gt; 1)&lt;/font&gt;&lt;/sup&gt;<br /> |width=&quot;100&quot;|835&lt;sup&gt;&lt;font color=blue&gt; 2)&lt;/font&gt;&lt;/sup&gt;<br /> |-<br /> |'''Vice-Head of Department:'''<br /> |-<br /> |[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879<br /> |-<br /> |'''Department Secretary:'''<br /> |-<br /> |[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388<br /> |-<br /> |'''Secretary for IT:'''<br /> |-<br /> |[[Lubomir Lucan|graduated physicist Ľubomír Lúčan, PhD.]]||I 33a||374<br /> |-<br /> |'''Secretariate:'''<br /> |-<br /> |[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424<br /> |-<br /> |tel. and fax: +421 2 654 22 263<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Section of Computer Graphics and Vision (SCGV)===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Head of Section:'''<br /> |-<br /> |width=&quot;400&quot;|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]<br /> |width=&quot;100&quot;|I 14<br /> |width=&quot;100&quot;|879<br /> |-<br /> |'''Teachers:'''<br /> |-<br /> |[[Peter Borovsky|RNDr. Peter Borovský]]||I 4||441<br /> |-<br /> |[[Silvester Czanner|RNDr. Silvester Czanner, PhD.]]||I 4||441<br /> |-<br /> |[[Michal Cervenansky|RNDr. Michal Červeňanský]]||M 160||471<br /> |-<br /> |[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879<br /> |-<br /> |[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||I 5||442<br /> |- <br /> |[[Lucia Haverlikova|RNDr. Lucia Haverlíková]]||I 5||442<br /> |-<br /> |[[Lubomir Lucan|Ľubomír Lúčan, PhD.]]||I 33a||374<br /> |-<br /> |[[Ludovit Niepel|doc. RNDr. Ľudovít Niepel, CSc.]]||I 4||441<br /> |-<br /> |[[Michal Nociar|Mgr. Michal Nociar]]||M 122||<br /> |-<br /> |[[Matej Novotny|Mgr. Matej Novotný]]||I 4||441<br /> |-<br /> |[[Martin Samuelcik|RNDr. Martin Samuelčík]]||I 4||441<br /> |-<br /> |[[Stanislav Stanek|RNDr. Stanislav Stanek]]||I 3||388<br /> |-<br /> |[[Marek Zimanyi|RNDr. Marek Zimányi, PhD.]]||I 5||442<br /> |-<br /> |'''Researchers:'''<br /> |-<br /> |[[Zuzana Cernekova|RNDr. Zuzana Černeková]]||I 3||388<br /> |-<br /> |[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Section of Artificial Intelligence (SAI)===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Head of Section:'''<br /> |-<br /> |width=&quot;400&quot;|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]<br /> |width=&quot;100&quot;|I 33b<br /> |width=&quot;100&quot;|374<br /> |-<br /> |'''Teachers:'''<br /> |-<br /> |[[Martin Balaz|RNDr. Martin Baláž]]||I 7||444<br /> |-<br /> |[[Lubica Benuskova|doc. RNDr. Ľubica Beňušková, PhD.]]||I 35||621<br /> |-<br /> |[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]]||I 35||621<br /> |-<br /> |[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]||I 17||436<br /> |-<br /> |[[Martin Homola|RNDr. Martin Homola]]||I 7||444<br /> |-<br /> |[[Milos Kravcik|RNDr. Miloš Kravčík, PhD.]]||I 35||621<br /> |-<br /> |[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436<br /> |-<br /> |[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]||I 33b||374<br /> |-<br /> |[[Marek Nagy|RNDr. Marek Nagy]]||I 42||625<br /> |-<br /> |[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 24a||278<br /> |-<br /> |[[Jozef Siska|RNDr. Jozef Šiška]]||I 7||444<br /> |-<br /> |[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 34||869<br /> |-<br /> |'''Researchers:'''<br /> |-<br /> |[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389<br /> |-<br /> |[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Section of Declarative Programming (SDP)===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Head of Section:'''<br /> |-<br /> |width=&quot;400&quot;|[[Damas Gruska|RNDr. Damas Gruska, PhD.]]<br /> |width=&quot;100&quot;|I 20<br /> |width=&quot;100&quot;|846<br /> |-<br /> |'''Teachers:'''<br /> |-<br /> |[[Andrej Blaho|RNDr. Andrej Blaho]]||I 5||442<br /> |-<br /> |[[Damas Gruska|RNDr. Damas Gruska, PhD.]]||I 20||846<br /> |-<br /> |[[Jozef Gruska|prof. RNDr. Jozef Gruska, DrSc.]]||I 20||846<br /> |-<br /> |[[Dusan Guller|RNDr. Dušan Guller, PhD.]]||I 42||625<br /> |-<br /> |[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278<br /> |-<br /> |[[Jan Kluka|Mgr. Ján Kľuka]]||I 34||869<br /> |-<br /> |[[Jan Komara|Ing. Ján Komara]]||I 16||727<br /> |-<br /> |[[Marian Vittek|RNDr. Marián Vittek, PhD.]]||I 16||727<br /> |-<br /> |[[Pavol Voda|doc. RNDr. Pavol Voda, CSc.]]||I 28||845<br /> |-<br /> |'''Researchers:'''<br /> |-<br /> |[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Centre for Cognitive Science (CCS)===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |-<br /> |width=&quot;400&quot;|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] ''(coordinator)''<br /> |width=&quot;100&quot;|I 37<br /> |width=&quot;100&quot;|672<br /> |-<br /> |[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]] ''(deputy coordinator)''||I 35||621<br /> |-<br /> |[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 34||869<br /> |-<br /> |[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||622<br /> |-<br /> |[[Dana Retova|Mgr. Dana Retová]]||I 6||443<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Supporting Centre for Visually Handicapped Students===<br /> &lt;blockquote&gt;<br /> (integrated within the Department, having a faculty-wide character)<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Head of Section:'''<br /> |-<br /> |width=&quot;400&quot;|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]<br /> |width=&quot;100&quot;|I 40<br /> |width=&quot;100&quot;|166<br /> |-<br /> |'''Researchers:'''<br /> |-<br /> |[[Lucia Hanacikova|Mgr. Lucia Hanačíková]]||I 41||515<br /> |-<br /> |[[Peter Lecky|Mgr. Peter Lecký]]||I 41||515<br /> |-<br /> |[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]||I 40||166&lt;br&gt;65424862<br /> |-<br /> |'''Other staff:'''<br /> |-<br /> |[[Ludmila Kapustova|Mgr. Ľudmila Kapustová]]||I 38||573<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Doctoral students===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |width=&quot;400&quot;|[[Tomas Agoston|Mgr. Tomáš Ágošton]]<br /> |width=&quot;100&quot;|M 113<br /> |width=&quot;100&quot;|729<br /> |-<br /> |[[Martin Cajagi|Mgr. Martin Čajági]]||I6||?<br /> |-<br /> |[[Michal Certicky|Mgr. Michal Čertický]]||M 161||<br /> |-<br /> |[[Vladimir Dziuban|Mgr. Vladimír Dziuban]]||M 161||<br /> |-<br /> |[[Pavol Fabo|Mgr. Pavol Fabo]]||M 113||<br /> |-<br /> |[[Martin Florek|Mgr. Martin Florek]]||M 153||760<br /> |-<br /> |[[Juraj Frank|Mgr. Juraj Frank]]||M 159||<br /> |-<br /> |[[Jozef Frtus|Mgr. Jozef Frtús]]||?||?<br /> |-<br /> |[[Zuzana Haladova|Mgr. Zuzana Haladová]]||?||?<br /> |-<br /> |[[Michal Chladek|Mgr. Michal Chládek]]||?||?<br /> |-<br /> |[[Michal Hucko|Mgr. Michal Hučko]]||M 159||720<br /> |-<br /> |[[Vladimir Chudy|Mgr. Vladimír Chudý]]||?||?<br /> |-<br /> |[[Michal Jancosek|RNDr. Michal Jančošek]]||M 160||322<br /> |-<br /> |[[Peter Klimo|Mgr. Peter Klimo]]||I 6||443<br /> |-<br /> |[[Jan Lacko|RNDr. Ján Lacko]]||I 4||441<br /> |-<br /> |[[Martin Macko|Mgr. Martin Macko]]||M 162|| <br /> |-<br /> |[[Martin Madaras|Mgr. Martin Madaras]]||?||?<br /> |-<br /> |[[Branislav Malinovsky|Mgr. Branislav Malinovský]]||?||?<br /> |-<br /> |[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||?||?<br /> |-<br /> |[[Michal Maly|Mgr. Michal Malý]]||I 6||443<br /> |-<br /> |[[Andrej Mihalik|Mgr. Andrej Mihálik]]||M 113||729<br /> |-<br /> |[[Peter Nather|Mgr. Peter Náther]]||I 6||443<br /> |-<br /> |[[Pavla Nunukova|RNDr. Pavla Ňuňuková]]||M 153||760<br /> |-<br /> |[[Juraj Onderik|Mgr. Juraj Onderík]]||M 113||729<br /> |-<br /> |[[Mikulas Pataky|Mgr. Mikuláš Pataky]]||?||?<br /> |-<br /> |[[Zuzana Petrakova|Ing. Zuzana Petráková]]||M 162||<br /> |-<br /> |[[Marian Ponik|Mgr. Marián Poník]]||M 153||760<br /> |-<br /> |[[Kristina Rebrova|Mgr. Kristína Rebrová]]||?||?<br /> |-<br /> |[[Michal Remis|Mgr. Michal Remiš]]||M 161||471<br /> |-<br /> |[[Dana Retova|Mgr. Dana Retová]]||I 6||443<br /> |-<br /> |[[Edita Rollova|Mgr. Edita Rollová]]||?||?<br /> |-<br /> |[[Katarina Smolenova|Mgr. Katarína Smoleňová]]||M 122||<br /> |-<br /> |[[Juraj Starinsky|Mgr. Juraj Starinský]]||M 160||471<br /> |-<br /> |[[Jan Svantner|Mgr. Ján Švantner]]||I 6||443<br /> |-<br /> |[[Alexander Simko|Ing. Alexander Šimko]]||?||?<br /> |-<br /> |[[Marek Tomacha|Mgr. Marek Tomacha]]||M 159||720<br /> |-<br /> |[[Kristian Valentin|Mgr. Kristián Valentín]]||?||?<br /> |-<br /> |[[Pavol Vanco|RNDr. Pavol Vančo]]||I 6||443<br /> |-<br /> |[[Matej Vince|Mgr. Matej Vince]]||M 162||<br /> |-<br /> |[[Martina Visnovska|Mgr. Martina Višnovská]]||I 2||395<br /> |-<br /> |[[Ivan Vnucko|RNDr. Ivan Vnučko]]||M 160||322<br /> |-<br /> |[[Jan Zizka|Mgr. Ján Žižka]]||M 163||702<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> <br /> ===External cooperating staff===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |-<br /> |width=&quot;400&quot;|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]<br /> |width=&quot;100&quot;|<br /> |width=&quot;100&quot;|<br /> |-<br /> |width=&quot;400&quot;|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]<br /> |width=&quot;100&quot;|<br /> |width=&quot;100&quot;|54773509<br /> |-<br /> |[[Katarina Hennelova|PhDr. Katarína Hennelová, PhD.]]<br /> |-<br /> |[[Milada Kovarova|RNDr. Milada Kovárová]]||I 6||443<br /> |-<br /> |[[Vladimir Kvasnicka|prof. Ing. Vladimír Kvasnička, DrSc.]]<br /> |-<br /> |[[Milos Mrva|Mgr. Miloš Mrva]]||I 6<br /> |-<br /> |[[Peter Novak|Mgr. Peter Novák]]<br /> |-<br /> |[[Daniela Ostatnikova|doc. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524<br /> |-<br /> |[[Julius Parulek|RNDr. Július Parulek]]||I 5||442<br /> |-<br /> |[[Jaroslav Polec|doc. Ing. Jaroslav Polec, CSc.]]||I 5||442<br /> |-<br /> |[[Martin Slota|Mgr. Martin Slota]]<br /> |-<br /> |[[Milos Sramek|doc. Ing. Miloš Šrámek, PhD.]]||I 5||442<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> <br /> ===Alumni===<br /> <br /> Previous employees and students of Department of Applied Informatics, previously Institute of Informatics maintain a dedicated page: [[DAI Alumni]]<br /> <br /> <br /> &lt;small&gt;<br /> &lt;font color=blue&gt;&lt;sup&gt;1)&lt;/sup&gt;&lt;/font&gt; Room&lt;br&gt;<br /> &lt;font color=blue&gt;&lt;sup&gt;2)&lt;/sup&gt;&lt;/font&gt; Extension (from Slovakia, you can call 02-60295-extension; from abroad, the number is: +421-2-60295-extension)<br /> &lt;/small&gt;<br /> <br /> __notoc__</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=People/sk&diff=6924 2010-09-14T16:58:20Z

<p>Simko: </p> <hr /> <div>= Ľudia =<br /> <br /> ===Štruktúra katedry===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci katedry:'''<br /> |-<br /> |width=&quot;400&quot;|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]<br /> |width=&quot;100&quot;|I 25&lt;font color=blue&gt;&lt;sup&gt; 1)&lt;/sup&gt;&lt;/font&gt;<br /> |width=&quot;100&quot;|835&lt;font color=blue&gt;&lt;sup&gt; 2)&lt;/sup&gt;&lt;/font&gt;<br /> |-<br /> |'''Zástupca vedúceho katedry:'''<br /> |-<br /> |[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879<br /> |-<br /> |'''Tajomníčka katedry:'''<br /> |-<br /> |[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388<br /> |-<br /> |'''Tajomník pre IT:'''<br /> |-<br /> |[[Lubomir Lucan|prom. fyzik Ľubomír Lúčan, PhD.]]||I 33a||374<br /> |-<br /> |'''Sekretariát:'''<br /> |-<br /> |[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424<br /> |-<br /> |tel. and fax: +421 2 654 22 263<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Oddelenie počítačovej grafiky a videnia===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]<br /> |width=&quot;100&quot;|I 14<br /> |width=&quot;100&quot;|879<br /> |-<br /> |'''Učitelia:'''<br /> |-<br /> |[[Peter Borovsky|RNDr. Peter Borovský]]||I 4||441<br /> |-<br /> |[[Silvester Czanner|RNDr. Silvester Czanner, PhD.]]||I 4||441<br /> |-<br /> |[[Michal Cervenansky|RNDr. Michal Červeňanský]]||M 160||471<br /> |-<br /> |[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879<br /> |-<br /> |[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||I 5||442<br /> |- <br /> |[[Lucia Haverlikova|RNDr. Lucia Haverlíková]]||I 5||442<br /> |-<br /> |[[Lubomir Lucan|prom. fyzik Ľubomír Lúčan, PhD.]]||I 33a||374<br /> |-<br /> |[[Ludovit Niepel|doc. RNDr. Ľudovít Niepel, CSc.]]||I 4||441<br /> |-<br /> |[[Michal Nociar|Mgr. Michal Nociar]]||M 122||<br /> |-<br /> |[[Matej Novotny|Mgr. Matej Novotný]]||I 4||441<br /> |-<br /> |[[Martin Samuelcik|RNDr. Martin Samuelčík]]||I 4||441<br /> |-<br /> |[[Stanislav Stanek|RNDr. Stanislav Stanek]]||I 3||388<br /> |-<br /> |[[Marek Zimanyi|RNDr. Marek Zimányi, PhD.]]||I 5||442<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Zuzana Cernekova|RNDr. Zuzana Černeková]]||I 3||388<br /> |-<br /> |[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Oddelenie umelej inteligencie===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]<br /> |width=&quot;100&quot;|I 33b<br /> |width=&quot;100&quot;|374<br /> |-<br /> |'''Učitelia:'''<br /> |-<br /> |[[Martin Balaz|RNDr. Martin Baláž]]||I 7||444<br /> |-<br /> |[[Lubica Benuskova|doc. RNDr. Ľubica Beňušková, PhD.]]||I 35||621<br /> |-<br /> |[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]]||I 35||621<br /> |-<br /> |[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]||I 17||436<br /> |-<br /> |[[Martin Homola|RNDr. Martin Homola]]||I 7||444<br /> |-<br /> |[[Milos Kravcik|RNDr. Miloš Kravčík, PhD.]]||I 35||621<br /> |-<br /> |[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436<br /> |-<br /> |[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]||I 33b||374<br /> |-<br /> |[[Marek Nagy|RNDr. Marek Nagy]]||I 42||625<br /> |-<br /> |[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 24a||278<br /> |-<br /> |[[Jozef Siska|RNDr. Jozef Šiška]]||I 7||444<br /> |-<br /> |[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 34||869<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389<br /> |-<br /> |[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Oddelenie deklaratívneho programovania===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Damas Gruska|RNDr. Damas Gruska, PhD.]]<br /> |width=&quot;100&quot;|I 20<br /> |width=&quot;100&quot;|846<br /> |-<br /> |'''Učitelia:'''<br /> |-<br /> |[[Andrej Blaho|RNDr. Andrej Blaho]]||I 5||442<br /> |-<br /> |[[Damas Gruska|RNDr. Damas Gruska, PhD.]]||I 20||846<br /> |-<br /> |[[Jozef Gruska|prof. RNDr. Jozef Gruska, DrSc.]]||I 20||846<br /> |-<br /> |[[Dusan Guller|RNDr. Dušan Guller, PhD.]]||I 42||625<br /> |-<br /> |[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278<br /> |-<br /> |[[Jan Kluka|Mgr. Ján Kľuka]]||I 34||869<br /> |-<br /> |[[Jan Komara|Ing. Ján Komara]]||I 16||727<br /> |-<br /> |[[Marian Vittek|RNDr. Marián Vittek, PhD.]]||I 16||727<br /> |-<br /> |[[Pavol Voda|doc. RNDr. Pavol Voda, CSc.]]||I 28||845<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Centrum pre kognitívnu vedu===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |-<br /> |width=&quot;400&quot;|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] ''(koordinátor)''<br /> |width=&quot;100&quot;|I 37<br /> |width=&quot;100&quot;|672<br /> |-<br /> |[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]] ''(zástupca koordinátora)''||I 35||621<br /> |-<br /> |[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 34||869<br /> |-<br /> |[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||109<br /> |-<br /> |[[Dana Retova|Mgr. Dana Retová]]||I 6||443<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Podporné centrum pre zrakovo postihnutých študentov===<br /> &lt;blockquote&gt;<br /> (zaradené na katedre s charakterom celofakultným)<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]<br /> |width=&quot;100&quot;|I 40<br /> |width=&quot;100&quot;|166<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Lucia Hanacikova|Mgr. Lucia Hanačíková]]||I 41||515<br /> |-<br /> |[[Peter Lecky|Mgr. Peter Lecký]]||I 41||515<br /> |-<br /> |[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]||I 40||166&lt;br&gt;65424862<br /> |-<br /> |'''Ostatní pracovníci:'''<br /> |-<br /> |[[Ludmila Kapustova|Mgr. Ľudmila Kapustová]]||I 38||573<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Doktorandi katedry===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |width=&quot;400&quot;|[[Tomas Agoston|Mgr. Tomáš Ágošton]]<br /> |width=&quot;100&quot;|M 113<br /> |width=&quot;100&quot;|729<br /> |-<br /> |[[Martin Cajagi|Mgr. Martin Čajági]]||I6||?<br /> |-<br /> |[[Michal Certicky|Mgr. Michal Čertický]]||M 161||<br /> |-<br /> |[[Vladimir Dziuban|Mgr. Vladimír Dziuban]]||M 161||<br /> |-<br /> |[[Pavol Fabo|Mgr. Pavol Fabo]]||M 113||<br /> |-<br /> |[[Martin Florek|Mgr. Martin Florek]]||M 153||760<br /> |-<br /> |[[Juraj Frank|Mgr. Juraj Frank]]||M 159||<br /> |-<br /> |[[Jozef Frtus|Mgr. Jozef Frtús]]||?||? <br /> |-<br /> |[[Zuzana Haladova|Mgr. Zuzana Haladová]]||?||?<br /> |-<br /> |[[Michal Chladek|Mgr. Michal Chládek]]||?||?<br /> |-<br /> |[[Vladimir Chudy|Mgr. Vladimír Chudý]]||?||?<br /> |-<br /> |[[Michal Jancosek|RNDr. Michal Jančošek]]||M 160||322<br /> |-<br /> |[[Michal Hucko|Mgr. Michal Hučko]]||M 159||720<br /> |-<br /> |[[Peter Klimo|Mgr. Peter Klimo]]||I 6||443<br /> |-<br /> |[[Jan Lacko|RNDr. Ján Lacko]]||I 4||441<br /> |-<br /> |[[Martin Macko|Mgr. Martin Macko]]||M 162|| <br /> |-<br /> |[[Martin Madaras|Mgr. Martin Madaras]]||?||?<br /> |-<br /> |[[Branislav Malinovsky|Mgr. Branislav Malinovský]]||?||?<br /> |-<br /> |[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||?||?<br /> |-<br /> |[[Michal Maly|Mgr. Michal Malý]]||I 6||443<br /> |-<br /> |[[Andrej Mihalik|Mgr. Andrej Mihálik]]||M 113||729<br /> |-<br /> |[[Peter Nather|Mgr. Peter Náther]]||I 6||443<br /> |-<br /> |[[Pavla Nunukova|RNDr. Pavla Ňuňuková]]||M 153||760<br /> |-<br /> |[[Juraj Onderik|Mgr. Juraj Onderík]]||M 113||729<br /> |-<br /> |[[Mikulas Pataky|Mgr. Mikuláš Pataky]]||?||?<br /> |-<br /> |[[Zuzana Petrakova|Ing. Zuzana Petráková]]||M 162||<br /> |-<br /> |[[Marian Ponik|Mgr. Marián Poník]]||M 153||760<br /> |-<br /> |[[Kristina Rebrova|Mgr. Kristína Rebrová]]||?||?<br /> |-<br /> |[[Michal Remis|Mgr. Michal Remiš]]||M 161||471<br /> |-<br /> |[[Dana Retova|Mgr. Dana Retová]]||I 6||443<br /> |-<br /> |[[Edita Rollova|Mgr. Edita Rollová]]||?||?<br /> |-<br /> |[[Katarina Smolenova|Mgr. Katarína Smoleňová]]||M 122||<br /> |-<br /> |[[Juraj Starinsky|Mgr. Juraj Starinský]]||M 160||471<br /> |-<br /> |[[Jan Svantner|Mgr. Ján Švantner]]||I 6||443<br /> |-<br /> |[[Alexander Simko|Ing. Alexander Šimko]]||?||?<br /> |-<br /> |[[Marek Tomacha|Mgr. Marek Tomacha]]||M 159||720<br /> |-<br /> |[[Kristian Valentin|Mgr. Kristián Valentín]]||?||?<br /> |-<br /> |[[Pavol Vanco|RNDr. Pavol Vančo]]||I 6||443<br /> |-<br /> |[[Matej Vince|Mgr. Matej Vince]]||M 162||<br /> |-<br /> |[[Martina Visnovska|Mgr. Martina Višnovská]]||I 2||395<br /> |-<br /> |[[Ivan Vnucko|RNDr. Ivan Vnučko]]||M 160||322<br /> |-<br /> |[[Jan Zizka|Mgr. Ján Žižka]]||M 163||702<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Externisti a spolupracovníci===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |-<br /> |width=&quot;400&quot;|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]<br /> |width=&quot;100&quot;|<br /> |width=&quot;100&quot;|<br /> |-<br /> |width=&quot;400&quot;|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]<br /> |width=&quot;100&quot;|<br /> |width=&quot;100&quot;|54773509<br /> |-<br /> |[[Katarina Hennelova|PhDr. Katarína Hennelová, PhD.]]<br /> |-<br /> |[[Milada Kovarova|RNDr. Milada Kovárová]]||I 6||443<br /> |-<br /> |[[Vladimir Kvasnicka|prof. Ing. Vladimír Kvasnička, DrSc.]]<br /> |-<br /> |[[Milos Mrva|Mgr. Miloš Mrva]]||I 6<br /> |-<br /> |[[Peter Novak|Mgr. Peter Novák]]<br /> |-<br /> |[[Daniela Ostatnikova|doc. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524<br /> |-<br /> |[[Doc. Papulova|Doc. Papulová]]<br /> |-<br /> |[[Julius Parulek|RNDr. Július Parulek]]||I 5||442<br /> |-<br /> |[[Jaroslav Polec|doc. Ing. Jaroslav Polec, CSc.]]||I 5||442<br /> |-<br /> |[[Martin Slota|Mgr. Martin Slota]]<br /> |-<br /> |[[Milos Sramek|prof. Ing. Miloš Šrámek, PhD.]]||I 5||442<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Alumni===<br /> <br /> Predchadzajuci zamestnanci Katedry a byvaleho Ustavu informatiky maju vlastnu stranku: [[DAI Alumni]]<br /> <br /> <br /> &lt;small&gt;<br /> &lt;font color=blue&gt;&lt;sup&gt;1)&lt;/sup&gt;&lt;/font&gt; Miestnosť&lt;br&gt;<br /> &lt;font color=blue&gt;&lt;sup&gt;2)&lt;/sup&gt;&lt;/font&gt; Klapka (z vonkajšej siete môžete pred klapkou vytočiť 602 95)<br /> &lt;/small&gt;<br /> <br /> __notoc__</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=People/sk&diff=6923 2010-09-14T16:57:49Z

<p>Simko: </p> <hr /> <div>= Ľudia =<br /> <br /> ===Štruktúra katedry===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci katedry:'''<br /> |-<br /> |width=&quot;400&quot;|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]]<br /> |width=&quot;100&quot;|I 25&lt;font color=blue&gt;&lt;sup&gt; 1)&lt;/sup&gt;&lt;/font&gt;<br /> |width=&quot;100&quot;|835&lt;font color=blue&gt;&lt;sup&gt; 2)&lt;/sup&gt;&lt;/font&gt;<br /> |-<br /> |'''Zástupca vedúceho katedry:'''<br /> |-<br /> |[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879<br /> |-<br /> |'''Tajomníčka katedry:'''<br /> |-<br /> |[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388<br /> |-<br /> |'''Tajomník pre IT:'''<br /> |-<br /> |[[Lubomir Lucan|prom. fyzik Ľubomír Lúčan, PhD.]]||I 33a||374<br /> |-<br /> |'''Sekretariát:'''<br /> |-<br /> |[[Zdenka Slobodova|Zdenka Slobodová]]||I 24b||424<br /> |-<br /> |tel. and fax: +421 2 654 22 263<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Oddelenie počítačovej grafiky a videnia===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]<br /> |width=&quot;100&quot;|I 14<br /> |width=&quot;100&quot;|879<br /> |-<br /> |'''Učitelia:'''<br /> |-<br /> |[[Peter Borovsky|RNDr. Peter Borovský]]||I 4||441<br /> |-<br /> |[[Silvester Czanner|RNDr. Silvester Czanner, PhD.]]||I 4||441<br /> |-<br /> |[[Michal Cervenansky|RNDr. Michal Červeňanský]]||M 160||471<br /> |-<br /> |[[Roman Durikovic|doc. RNDr. Roman Ďurikovič, PhD.]]||I 14||879<br /> |-<br /> |[[Milan Ftacnik|doc. RNDr. Milan Ftáčnik, CSc.]]||I 5||442<br /> |- <br /> |[[Lucia Haverlikova|RNDr. Lucia Haverlíková]]||I 5||442<br /> |-<br /> |[[Lubomir Lucan|prom. fyzik Ľubomír Lúčan, PhD.]]||I 33a||374<br /> |-<br /> |[[Ludovit Niepel|doc. RNDr. Ľudovít Niepel, CSc.]]||I 4||441<br /> |-<br /> |[[Michal Nociar|Mgr. Michal Nociar]]||M 122||<br /> |-<br /> |[[Matej Novotny|Mgr. Matej Novotný]]||I 4||441<br /> |-<br /> |[[Martin Samuelcik|RNDr. Martin Samuelčík]]||I 4||441<br /> |-<br /> |[[Stanislav Stanek|RNDr. Stanislav Stanek]]||I 3||388<br /> |-<br /> |[[Marek Zimanyi|RNDr. Marek Zimányi, PhD.]]||I 5||442<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Zuzana Cernekova|RNDr. Zuzana Černeková]]||I 3||388<br /> |-<br /> |[[Elena Sikudova|RNDr. Elena Šikudová, PhD.]]||I 3||388<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Oddelenie umelej inteligencie===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]<br /> |width=&quot;100&quot;|I 33b<br /> |width=&quot;100&quot;|374<br /> |-<br /> |'''Učitelia:'''<br /> |-<br /> |[[Martin Balaz|RNDr. Martin Baláž]]||I 7||444<br /> |-<br /> |[[Lubica Benuskova|doc. RNDr. Ľubica Beňušková, PhD.]]||I 35||621<br /> |-<br /> |[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]]||I 35||621<br /> |-<br /> |[[Frantisek Gyarfas|Ing. František Gyárfáš, PhD.]]||I 17||436<br /> |-<br /> |[[Martin Homola|RNDr. Martin Homola]]||I 7||444<br /> |-<br /> |[[Milos Kravcik|RNDr. Miloš Kravčík, PhD.]]||I 35||621<br /> |-<br /> |[[Andrej Lucny|RNDr. Andrej Lúčny, PhD.]]||I 18||436<br /> |-<br /> |[[Maria Markosova|doc. RNDr. Mária Markošová, PhD.]]||I 33b||374<br /> |-<br /> |[[Marek Nagy|RNDr. Marek Nagy]]||I 42||625<br /> |-<br /> |[[Pavel Petrovic|Mgr. Pavel Petrovič, PhD.]]||I 24a||278<br /> |-<br /> |[[Jozef Siska|RNDr. Jozef Šiška]]||I 7||444<br /> |-<br /> |[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 34||869<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Jan Sefranek|doc. PhDr. Ján Šefránek, CSc.]]||I 17||389<br /> |-<br /> |[[Tomas Vinar|Mgr. Tomáš Vinař, PhD.]]||M 163||207<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Oddelenie deklaratívneho programovania===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Damas Gruska|RNDr. Damas Gruska, PhD.]]<br /> |width=&quot;100&quot;|I 20<br /> |width=&quot;100&quot;|846<br /> |-<br /> |'''Učitelia:'''<br /> |-<br /> |[[Andrej Blaho|RNDr. Andrej Blaho]]||I 5||442<br /> |-<br /> |[[Damas Gruska|RNDr. Damas Gruska, PhD.]]||I 20||846<br /> |-<br /> |[[Jozef Gruska|prof. RNDr. Jozef Gruska, DrSc.]]||I 20||846<br /> |-<br /> |[[Dusan Guller|RNDr. Dušan Guller, PhD.]]||I 42||625<br /> |-<br /> |[[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]]||I 24a||278<br /> |-<br /> |[[Jan Kluka|Mgr. Ján Kľuka]]||I 34||869<br /> |-<br /> |[[Jan Komara|Ing. Ján Komara]]||I 16||727<br /> |-<br /> |[[Marian Vittek|RNDr. Marián Vittek, PhD.]]||I 16||727<br /> |-<br /> |[[Pavol Voda|doc. RNDr. Pavol Voda, CSc.]]||I 28||845<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Peter Borovansky|RNDr. Peter Borovanský, PhD.]]||I 18||436<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Centrum pre kognitívnu vedu===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |-<br /> |width=&quot;400&quot;|[[Jan Rybar|doc. PhDr. Ján Rybár, PhD.]] ''(koordinátor)''<br /> |width=&quot;100&quot;|I 37<br /> |width=&quot;100&quot;|672<br /> |-<br /> |[[Igor Farkas|doc. Ing. Igor Farkaš, PhD.]] ''(zástupca koordinátora)''||I 35||621<br /> |-<br /> |[[Martin Takac|RNDr. Martin Takáč, PhD.]]||I 34||869<br /> |-<br /> |[[Dezider Kamhal|PhDr. Dezider Kamhal, PhD.]]||I 36||109<br /> |-<br /> |[[Dana Retova|Mgr. Dana Retová]]||I 6||443<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Podporné centrum pre zrakovo postihnutých študentov===<br /> &lt;blockquote&gt;<br /> (zaradené na katedre s charakterom celofakultným)<br /> {| style=&quot;font-size:9pt;&quot;<br /> |'''Vedúci oddelenia:'''<br /> |-<br /> |width=&quot;400&quot;|[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]<br /> |width=&quot;100&quot;|I 40<br /> |width=&quot;100&quot;|166<br /> |-<br /> |'''Vedeckí pracovníci:'''<br /> |-<br /> |[[Lucia Hanacikova|Mgr. Lucia Hanačíková]]||I 41||515<br /> |-<br /> |[[Peter Lecky|Mgr. Peter Lecký]]||I 41||515<br /> |-<br /> |[[Elena Mendelova|PaedDr. Elena Mendelová, PhD.]]||I 40||166&lt;br&gt;65424862<br /> |-<br /> |'''Ostatní pracovníci:'''<br /> |-<br /> |[[Ludmila Kapustova|Mgr. Ľudmila Kapustová]]||I 38||573<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Doktorandi katedry===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |width=&quot;400&quot;|[[Tomas Agoston|Mgr. Tomáš Ágošton]]<br /> |width=&quot;100&quot;|M 113<br /> |width=&quot;100&quot;|729<br /> |-<br /> |[[Martin Cajagi|Mgr. Martin Čajági]]||I6||?<br /> |-<br /> |[[Michal Certicky|Mgr. Michal Čertický]]||M 161||<br /> |-<br /> |[[Vladimir Dziuban|Mgr. Vladimír Dziuban]]||M 161||<br /> |-<br /> |[[Pavol Fabo|Mgr. Pavol Fabo]]||M 113||<br /> |-<br /> |[[Martin Florek|Mgr. Martin Florek]]||M 153||760<br /> |-<br /> |[[Juraj Frank|Mgr. Juraj Frank]]||M 159||<br /> |-<br /> |[[Jozef Frtus|Mgr. Jozef Frtús]]||?||? <br /> |-<br /> |[[Zuzana Haladova|Mgr. Zuzana Haladová]]||?||?<br /> |-<br /> |[[Michal Chladek|Mgr. Michal Chládek]]||?||?<br /> |-<br /> |[[Vladimir Chudy|Mgr. Vladimír Chudý]]||?||?<br /> |-<br /> |[[Michal Jancosek|RNDr. Michal Jančošek]]||M 160||322<br /> |-<br /> |[[Michal Hucko|Mgr. Michal Hučko]]||M 159||720<br /> |-<br /> |[[Peter Klimo|Mgr. Peter Klimo]]||I 6||443<br /> |-<br /> |[[Jan Lacko|RNDr. Ján Lacko]]||I 4||441<br /> |-<br /> |[[Martin Macko|Mgr. Martin Macko]]||M 162|| <br /> |-<br /> |[[Martin Madaras|Mgr. Martin Madaras]]||?||?<br /> |-<br /> |[[Branislav Malinovsky|Mgr. Branislav Malinovský]]||?||?<br /> |-<br /> |[[Ludovit Malinovsky|Mgr. Ľudovít Malinovský]]||?||?<br /> |-<br /> |[[Michal Maly|Mgr. Michal Malý]]||I 6||443<br /> |-<br /> |[[Andrej Mihalik|Mgr. Andrej Mihálik]]||M 113||729<br /> |-<br /> |[[Peter Nather|Mgr. Peter Náther]]||I 6||443<br /> |-<br /> |[[Pavla Nunukova|RNDr. Pavla Ňuňuková]]||M 153||760<br /> |-<br /> |[[Juraj Onderik|Mgr. Juraj Onderík]]||M 113||729<br /> |-<br /> |[[Mikulas Pataky|Mgr. Mikuláš Pataky]]||?||?<br /> |-<br /> |[[Zuzana Petrakova|Ing. Zuzana Petráková]]||M 162||<br /> |-<br /> |[[Marian Ponik|Mgr. Marián Poník]]||M 153||760<br /> |-<br /> |[[Kristina Rebrova|Mgr. Kristína Rebrová]]||?||?<br /> |-<br /> |[[Michal Remis|Mgr. Michal Remiš]]||M 161||471<br /> |-<br /> |[[Dana Retova|Mgr. Dana Retová]]||I 6||443<br /> |-<br /> |[[Edita Rollova|Mgr. Edita Rollová]]||?||?<br /> |-<br /> |[[Katarina Smolenova|Mgr. Katarína Smoleňová]]||M 122||<br /> |-<br /> |[[Juraj Starinsky|Mgr. Juraj Starinský]]||M 160||471<br /> |-<br /> |[[Jan Svantner|Mgr. Ján Švantner]]||I 6||443<br /> |-<br /> |[[Alexander Simko|Img. Alexander Šimko]]||?||?<br /> |-<br /> |[[Marek Tomacha|Mgr. Marek Tomacha]]||M 159||720<br /> |-<br /> |[[Kristian Valentin|Mgr. Kristián Valentín]]||?||?<br /> |-<br /> |[[Pavol Vanco|RNDr. Pavol Vančo]]||I 6||443<br /> |-<br /> |[[Matej Vince|Mgr. Matej Vince]]||M 162||<br /> |-<br /> |[[Martina Visnovska|Mgr. Martina Višnovská]]||I 2||395<br /> |-<br /> |[[Ivan Vnucko|RNDr. Ivan Vnučko]]||M 160||322<br /> |-<br /> |[[Jan Zizka|Mgr. Ján Žižka]]||M 163||702<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Externisti a spolupracovníci===<br /> &lt;blockquote&gt;<br /> {| style=&quot;font-size:9pt;&quot;<br /> |-<br /> |width=&quot;400&quot;|[[Brona Brejova|Mgr. Broňa Brejová, PhD.]]<br /> |width=&quot;100&quot;|<br /> |width=&quot;100&quot;|<br /> |-<br /> |width=&quot;400&quot;|[[Jana Basnakova|Mgr. Jana Bašnáková, MSc.]]<br /> |width=&quot;100&quot;|<br /> |width=&quot;100&quot;|54773509<br /> |-<br /> |[[Katarina Hennelova|PhDr. Katarína Hennelová, PhD.]]<br /> |-<br /> |[[Milada Kovarova|RNDr. Milada Kovárová]]||I 6||443<br /> |-<br /> |[[Vladimir Kvasnicka|prof. Ing. Vladimír Kvasnička, DrSc.]]<br /> |-<br /> |[[Milos Mrva|Mgr. Miloš Mrva]]||I 6<br /> |-<br /> |[[Peter Novak|Mgr. Peter Novák]]<br /> |-<br /> |[[Daniela Ostatnikova|doc. MUDr. Daniela Ostatníková, PhD.]]|| ||59357524<br /> |-<br /> |[[Doc. Papulova|Doc. Papulová]]<br /> |-<br /> |[[Julius Parulek|RNDr. Július Parulek]]||I 5||442<br /> |-<br /> |[[Jaroslav Polec|doc. Ing. Jaroslav Polec, CSc.]]||I 5||442<br /> |-<br /> |[[Martin Slota|Mgr. Martin Slota]]<br /> |-<br /> |[[Milos Sramek|prof. Ing. Miloš Šrámek, PhD.]]||I 5||442<br /> |}<br /> &lt;/blockquote&gt;<br /> <br /> ===Alumni===<br /> <br /> Predchadzajuci zamestnanci Katedry a byvaleho Ustavu informatiky maju vlastnu stranku: [[DAI Alumni]]<br /> <br /> <br /> &lt;small&gt;<br /> &lt;font color=blue&gt;&lt;sup&gt;1)&lt;/sup&gt;&lt;/font&gt; Miestnosť&lt;br&gt;<br /> &lt;font color=blue&gt;&lt;sup&gt;2)&lt;/sup&gt;&lt;/font&gt; Klapka (z vonkajšej siete môžete pred klapkou vytočiť 602 95)<br /> &lt;/small&gt;<br /> <br /> __notoc__</div>

Simko http://dev.dai.fmph.uniba.sk/w?title=Alexander_Simko/sk&diff=6922 2010-09-14T16:52:37Z

<p>Simko: </p> <hr /> <div>{{Osoba<br /> | fullname = Ing. Alexander Šimko<br /> | caption = Alexander Šimko<br /> | image = <br /> | section = <br /> | position = doctoral student<br /> | phone = <br /> | room = <br /> | email = simko[[Image:zavinac.gif|@]]fmph.uniba.sk<br /> | web = <br /> | info = <br /> <br /> === Výučba ===<br /> <br /> === Výskum ===<br /> <br /> === Publikácie ===<br /> <br /> <br /> }}</div>

Simko