Seminár TI Seminár z teoretickej informatiky na FMFI UK http://kedrigern.dcs.fmph.uniba.sk/STI2 Tue, 16 May 2017 11:05:08 +0200 seminár 19. 5. 2017, 11:00 Stefan Dobrev: Efficient Periodic Traversal on Graphs with Given Rotation Systems http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#219 16. 5. 2017, 11:05 seminár 5. 5. 2017, 11:00 Filip Mišún: Alternating Weighted Automata over Commutatiove Semirings http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#218 2. 5. 2017, 10:04 seminár 28. 4. 2017, 11:00 Rasťo Královič: Hľadanie pokladu - randomizácia verzus komunikácia. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#217 25. 4. 2017, 10:33 seminár 21. 4. 2017, 11:00 Marek Košta: Real Quantifier Elimination http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#216 4. 4. 2017, 13:35 seminár 7. 4. 2017, 11:00 Peter Kostolányi: Bezkontextové gramatiky a analytická kombinatorika http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#215 3. 4. 2017, 20:06 seminár 31. 3. 2017, 11:00 Róbert Lukoťka: Travelling salesman problem on cubic and subcubic graphs http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#214 27. 3. 2017, 16:05 seminár 24. 3. 2017, 11:00 Juraj Šebej: Descriptional Complexity of Operations on Formal Languages http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#210 20. 3. 2017, 18:56 seminár 17. 3. 2017, 11:00 Stefan Dobrev: Optimal Local Buffer Management for Information Gathering with Adversarial Traffic http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#213 15. 3. 2017, 8:15 seminár 10. 3. 2017, 11:00 Michal Forišek: Rozprávanie o algoritmických súťažiach http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#212 6. 3. 2017, 16:41 seminár 3. 3. 2017, 11:00 Nadia Labai: On the exact learnability of graph parameters: The case of partition functions http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#211 28. 2. 2017, 13:54 seminár 9. 12. 2016, 11:00 Jana Katreniaková: Pamäťový model OCR http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#208 22. 11. 2016, 7:37 seminár 2. 12. 2016, 11:00 Róbert Lukoťka: Krátke cyklové pokrytia grafov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#206 28. 11. 2016, 21:16 seminár 25. 11. 2016, 11:30 Galina Jirásková: Operations on Unambiguous Finite Automata http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#209 22. 11. 2016, 7:49 seminár 11. 11. 2016, 11:00 Martin Nehéz: Dominujúce množiny v bipartitných grafoch a proteomika http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#207 3. 11. 2016, 9:28 seminár 21. 10. 2016, 11:00 Dana Pardubská: Information Complexity Is Computable http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#205 22. 11. 2016, 7:49 seminár 14. 10. 2016, 11:00 Rasťo Královič: Zložitosť distribuovaného Wake-Up problému v hyperkockách a úplných grafoch. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#204 11. 10. 2016, 21:34 seminár 7. 10. 2016, 11:00 Broňa Brejová: Izometrická rekonciliácia génových stromov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#203 3. 10. 2016, 11:20 seminár 22. 9. 2016, 9:00 Michal Valko: Sequential learning on graphs with limited feedback http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#202 19. 9. 2016, 11:20 seminár 19. 5. 2016, 11:00 Juraj Hromkovič: Obtiažnosť analyzovania výpočtovej zložitosti algoritmov v matematike http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#201 13. 5. 2016, 9:05 seminár 29. 4. 2016, 11:00 Stefan Dobrev: Live Exploration of Dynamic Rings http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#200 25. 4. 2016, 8:32 seminár 22. 4. 2016, 11:00 Dana Pardubská: Translations by Regulated Parallel Communicating Grammar Systems http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#199 20. 4. 2016, 8:52 seminár 15. 4. 2016, 11:00 Ján Mazák: An efficient algorithm for testing goal-minimality of graphs http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#198 15. 4. 2016, 19:26 seminár 8. 4. 2016, 11:00 Tatiana Jajcayová: The word problem in Free Inverse Monoids. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#197 4. 4. 2016, 11:22 seminár 18. 3. 2016, 11:00 Rasťo Královič: Editovanie grafu na dve triedy. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#196 15. 3. 2016, 15:11 seminár 11. 3. 2016, 11:00 Martin Nehéz: Near-Optimal Dominating Sets via Random Sampling http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#195 1. 3. 2016, 16:51 seminár 11. 12. 2015, 11:00 Stefan Dobrev: Evacuating Two Robots from Multiple Unknown Exits in a Circle http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#194 7. 12. 2015, 9:00 seminár 4. 12. 2015, 11:00 Petr Jančar: Behavioural Equivalences of Processes Generated by Context-Free Grammars http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#189 30. 11. 2015, 7:44 seminár 27. 11. 2015, 11:00 Marcel Kucharík: Dynamika skladania RNA pomocou Basin Hopping grafov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#191 23. 11. 2015, 8:25 seminár 20. 11. 2015, 11:00 Dušan Guller: An Order Hyperresolution Calculus for Gödel Logic with Truth Constants and Equality, Strict Order, Delta http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#190 17. 11. 2015, 21:31 seminár 13. 11. 2015, 11:00 Rasťo Královič: Advice Complexity of the Online Induced Subgraph Problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#193 9. 11. 2015, 8:13 seminár 6. 11. 2015, 11:00 Viliam Geffert: Popisná zložitosť Booleovských operácií na automatoch s ohraničenou výškou zásobníka http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#188 28. 10. 2015, 15:16 seminár 23. 10. 2015, 11:00 Vlado Boža: Efektívne indexovanie DNA čítaní a s ním súvisiace problémy http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#192 19. 10. 2015, 22:32 seminár 16. 10. 2015, 11:00 Andras Varga: The Strong Distance between Context-Free Grammars and Languages http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#187 7. 10. 2015, 14:21 seminár 9. 10. 2015, 11:00 Rasťo Královič: Online Graph Coloring against Randomized Adversary http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#186 9. 11. 2015, 8:23 seminár 25. 9. 2015, 11:00 Akihiro Yamamura : Rearranging Two Dimensional Arrays by Prefix Reversals http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#185 17. 9. 2015, 11:30 seminár 15. 5. 2015, 11:00 Michal Kováč : Decidability of Termination Problems for Sequential P Systems with Active Membranes http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#184 11. 5. 2015, 17:08 seminár 24. 4. 2015, 11:00 Jan van Leeuwen : A Remark on Recursively Enumerable Classes of Partial Recursive Functions http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#183 21. 4. 2015, 14:04 seminár 17. 4. 2015, 11:00 Broňa Brejová: Maximum Segment Sum Problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#181 14. 4. 2015, 11:17 seminár 10. 4. 2015, 11:00 Michal Forišek: Pokročilé dynamické programovanie http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#182 7. 4. 2015, 16:39 seminár 25. 3. 2015, 13:00 Dennis Komm: A Survey on Advice and Randomization for the Knapsack Problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#180 23. 3. 2015, 12:55 seminár 13. 3. 2015, 11:00 Tomáš Plachetka: Channel-Less Process Communication http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#179 9. 3. 2015, 14:55 seminár 6. 3. 2015, 11:00 Ivana Selečéniová: A Lower-Bound Technique for Randomized Online Algorithms for Maximization Problems http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#178 2. 3. 2015, 12:44 seminár 27. 2. 2015, 11:00 Rasťo Královič: Konečné automaty s radou http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#177 23. 2. 2015, 13:58 seminár 12. 2. 2015, 10:00 Gregory Kucherov: Efficient index-based filtering for NGS read mapping and suffix/prefix overlap computation http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#176 3. 2. 2015, 9:27 seminár 12. 12. 2014, 11:00 Peter Kostolányi: Pumpovacia lema pre nadtriedy bezkontextových jazykov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#175 9. 12. 2014, 9:56 seminár 28. 11. 2014, 11:00 Rasťo Královič: Blúdenie s radou. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#174 25. 11. 2014, 11:39 seminár 21. 11. 2014, 11:00 Martin Plesch: Perfect randomness from quantum devices http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#172 23. 10. 2014, 10:28 seminár 14. 11. 2014, 11:00 Barbora Candráková: Traveling salesman problem on cubic graphs http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#171 10. 10. 2014, 12:29 seminár 7. 11. 2014, 11:00 Ivan Kováč: On the Clique Editing Problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#169 15. 10. 2014, 13:15 seminár 24. 10. 2014, 11:00 Jiří Wiedermann : Fast Deterministic (Nondeterministic) Algorithms for Verification (Computation) of Matrix Products. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#173 15. 10. 2014, 13:17 seminár 17. 10. 2014, 11:00 Rasťo Královič: The Complexity of Paging under a Probabilistic Adversary http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#170 8. 10. 2014, 10:19 seminár 10. 10. 2014, 11:00 Krzysztof Piecuch: An ln^{-1} 2e algorithm for online knapsack problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#168 1. 10. 2014, 19:11 seminár 30. 5. 2014, 12:00 Rastislav Lenhardt: Gipfeli - High-Speed Compression Algorithm http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#167 26. 5. 2014, 14:00 seminár 30. 5. 2014, 11:00 Pavol Černý: Program Synthesis for Network Updates http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#166 26. 5. 2014, 13:47 seminár 23. 5. 2014, 11:00 Damas Gruska: Informačný tok a bezpečnosť systémov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#162 19. 5. 2014, 9:22 seminár 16. 5. 2014, 11:00 Martin Nehéz: An Improved Lower Bound on Domination Number in Power Law Graphs http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#163 10. 5. 2014, 21:48 seminár 25. 4. 2014, 11:00 Milan Plžík: Improving hop-stretch in symmetric sensor networks with pi/2 antennas. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#161 24. 4. 2014, 9:13 seminár 11. 4. 2014, 11:00 Stefan Dobrev: Survivability of Swarms of Bouncing Robots http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#160 8. 4. 2014, 19:52 seminár 4. 4. 2014, 11:00 Vlado Boža: Experimental Comparison of Set Intersection Algorithms for Inverted Indexing http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#158 31. 3. 2014, 10:20 seminár 28. 3. 2014, 11:00 František Ďuriš: Abstract model of the effectivity of human problem solving http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#159 23. 3. 2014, 20:17 seminár 21. 3. 2014, 11:00 Peter Kostolányi: Flip-Pushdown Automata and PIGS http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#156 10. 3. 2014, 8:40 seminár 14. 3. 2014, 11:00 Radovan Brečka: Prekážky efektívneho využívania OOP architektúry http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#157 3. 3. 2014, 10:38 seminár 28. 2. 2014, 11:00 Michal Forišek: On the Power of Advice and Randomization for the Disjoint Path Allocation Problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#155 22. 2. 2014, 18:35 seminár 17. 1. 2014, 11:00 Zuzana Masáková: Kombinatorika na slovech v kvazikrystalech a teorii čísel http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#154 13. 1. 2014, 14:03 seminár 13. 12. 2013, 11:00 Marek Zeman: Modeling Time Criticality of Information http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#150 9. 12. 2013, 12:09 seminár 6. 12. 2013, 11:00 Martin Mačaj: PRIMES is in P http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#153 2. 12. 2013, 8:52 seminár 29. 11. 2013, 11:00 Dana Pardubská: Antibandwidth and cyclic antibandwidth of Hamming graphs http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#152 25. 11. 2013, 9:34 seminár 22. 11. 2013, 11:00 Pavol Ďuriš: Pushdown automaty s k obratmi zásobníka a Lindenmayerove E0L systémy su neporovnateľné. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#151 18. 11. 2013, 6:40 seminár 15. 11. 2013, 11:00 Tomáš Masopust: When can two languages be separated by a simple language? http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#148 4. 11. 2013, 7:56 seminár 8. 11. 2013, 13:00 Jiří Wiedermann: Deterministic verification of integer matrix multiplication in quadratic time http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#149 30. 10. 2013, 14:54 seminár 25. 10. 2013, 11:00 Stefan Dobrev: Connectivity with Directional Antennae in the Symmetric Communication Model http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#147 21. 10. 2013, 12:49 seminár 18. 10. 2013, 11:00 Rasťo Královič: Informačná zložitosť on-line verzie problému Set Cover. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#146 14. 10. 2013, 21:42 seminár 11. 10. 2013, 11:00 Alexandru Popa: The Border Minimization Problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#145 18. 9. 2013, 8:12 seminár 4. 10. 2013, 11:00 Martin Ilčík : Formálne gramatiky pre modelovanie 3D objektov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#143 30. 9. 2013, 7:10 seminár 24. 9. 2013, 13:00 Ondřej Pangrác: Colorings and crossings http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#144 18. 9. 2013, 8:33 seminár 17. 5. 2013, 11:00 Tatiana Jajcayová: Zovšeobecnené palindromické uzávery. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#141 13. 5. 2013, 13:29 seminár 10. 5. 2013, 11:00 Tomáš Kulich: Inferencia typov v dynamických jazykoch http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#142 6. 5. 2013, 11:05 seminár 3. 5. 2013, 11:00 Rasťo Královič: Zlomové správanie informačnej zložitosti online problémov. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#140 29. 4. 2013, 9:23 seminár 26. 4. 2013, 11:00 Michal Forišek: Využitie metafor pri výučbe algoritmov. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#139 22. 4. 2013, 10:58 seminár 12. 4. 2013, 11:00 Martin Čajági: Problém minimálnej dominujúcej množiny na komplexných sieťach http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#138 8. 4. 2013, 13:12 seminár 5. 4. 2013, 11:00 Pavel Labath: A Functional Language for Hyperstreaming XSLT http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#137 2. 4. 2013, 9:30 seminár 22. 3. 2013, 11:00 Jana Katreniaková: Boundary labeling of graph edges using colors http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#135 18. 3. 2013, 11:28 seminár 15. 3. 2013, 11:00 Lucia Haviarová: Properties of the Interval Graph of a Boolean Function. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#133 11. 3. 2013, 13:38 seminár 8. 3. 2013, 11:00 Michal Kotrbčík: Guided tour through algorithms in topological graph theory http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#136 4. 3. 2013, 7:37 seminár 1. 3. 2013, 11:00 Jiří Wiedermann : Nový pohled na výpočty http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#134 25. 2. 2013, 8:48 seminár 22. 2. 2013, 11:00 Rasťo Královič: Independent Set with Advice: The Impact of Graph Knowledge http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#132 15. 2. 2013, 12:11 seminár 15. 2. 2013, 11:00 Martin Bečka: Paralelná bloková Jacobiho metóda na výpočet singulárneho rozkladu matice z informatického pohľadu. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#131 9. 2. 2013, 9:19 seminár 7. 12. 2012, 11:00 Stefan Dobrev: Optimal Sensor Networks for Area Monitoring using Rotating and Beam Sensors http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#130 3. 12. 2012, 16:43 seminár 30. 11. 2012, 11:00 Jiří Dokulil: PRAM vs reality http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#129 26. 11. 2012, 13:41 seminár 23. 11. 2012, 11:00 Viliam Geffert: Two-Way Unary Automata versus Logarithmic Space http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#127 16. 10. 2012, 16:17 seminár 16. 11. 2012, 11:00 Michal Nánási: Sequence Annotation with HMMs: New Problems and Their Complexity http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#128 13. 11. 2012, 9:44 seminár 9. 11. 2012, 11:00 Dana Pardubská: Unary Coded NP-Complete Languages in ASPACE(loglog n) http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#122 4. 3. 2013, 7:37 seminár 26. 10. 2012, 11:00 Edita Pelantová: Parallel addition in non-standard numeration systems http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#126 22. 10. 2012, 8:21 seminár 19. 10. 2012, 11:00 Ján Mazák: An Algorithm for Optimal Acyclic Edge-Colouring of Cubic Graphs http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#125 12. 10. 2012, 10:56 seminár 12. 10. 2012, 11:00 Stefan Dobrev: Asynchronous Exploration of an Unknown Anonymous Dangerous Graph with O(1) Pebbles http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#124 5. 10. 2012, 19:32 seminár 5. 10. 2012, 11:00 Richard Štefanec: Determinism vs. Nondeterminism for Two-Way Automata: Representing the Meaning of States http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#123 1. 10. 2012, 8:26 seminár 28. 9. 2012, 11:00 Rasťo Královič: Online Graph Exploration with Advice http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#121 10. 9. 2012, 23:44 seminár 18. 9. 2012, 13:10 Rasťo Šrámek: What can we learn from two instances of a combinatorial optimization problem? http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#120 10. 9. 2012, 21:01 seminár 18. 5. 2012, 11:00 Milan Plžík: Ad-hoc networks with directional antennas http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#113 14. 9. 2012, 13:51 seminár 4. 5. 2012, 11:00 Jakub Kováč: Complexity of rearrangement problems under breakpoint distance http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#117 4. 3. 2013, 7:38 seminár 27. 4. 2012, 11:00 Pavel Labath: XSLT Streamability Analysis with Recursive Schemas http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#116 17. 4. 2012, 12:04 seminár 20. 4. 2012, 11:00 Lukáš Poláček: Quasi-Polynomial Local Search for Restricted Max-Min Fair Allocation http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#115 17. 4. 2012, 12:04 seminár 13. 4. 2012, 11:00 Pavol Černý : From Boolean to Quantitative Synthesis http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#111 2. 4. 2012, 11:29 seminár 30. 3. 2012, 11:00 Stefan Dobrev: Approximating the Edge Length of 2-Edge Connected Planar Geometric Graphs on a Set of Points http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#112 23. 3. 2012, 9:30 seminár 23. 3. 2012, 11:00 Michal Forišek: Advice Complexity of Online Coloring for Paths. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#110 9. 3. 2012, 21:34 seminár 16. 3. 2012, 11:00 Gabriel Semanišin: Minimálne pokrytie ciest rádu k v grafe http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#109 5. 3. 2012, 10:44 seminár 9. 3. 2012, 11:00 Rasťo Královič: Hľadanie čiernej diery pomocou tancujúcich agentov. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#107 2. 3. 2012, 9:50 seminár 2. 3. 2012, 11:00 Dušan Guller: Deduction problems in propositional Godel logic http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#106 2. 2. 2012, 15:13 seminár 24. 2. 2012, 11:00 Jakub Daubner: Okolie konštantného rádu v intervalovom grafe náhodnej booleovskej funkcie http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#105 13. 1. 2012, 12:23 seminár 17. 2. 2012, 11:00 Martin Nehéz: Dominating Sets in Web Graphs: Bounds, Algorithms, Experiments and Applications http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#104 2. 2. 2012, 15:10 seminár 16. 12. 2011, 11:00 Dana Pardubská: Parallel communicating grammar systems with regular control and skeleton preserving FRR automata. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#103 21. 10. 2011, 19:07 seminár 9. 12. 2011, 11:00 Mirko Zibolen: šírenie správ na grafoch s proporcionálnym počtom chybných liniek http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#99 1. 12. 2011, 7:36 seminár 2. 12. 2011, 11:00 Jana Katreniaková: Kreslenie hrán s minimálnou dĺžkou pre pevne rozloženie vrcholov. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#102 21. 11. 2011, 15:10 seminár 25. 11. 2011, 11:00 Rastislav Lenhardt: Unambiguous Buchi Automata (where determinism meets non-determinism) http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#97 1. 12. 2011, 7:38 seminár 11. 11. 2011, 11:00 Broňa Brejová: Fast Computation of a String Duplication History Under No-Breakpoint-Reuse http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#100 1. 12. 2011, 7:41 seminár 4. 11. 2011, 11:00 Martin Čajági : Connecting nearest neighbors model revisited http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#98 21. 10. 2011, 7:23 seminár 28. 10. 2011, 11:00 Stefan Dobrev: Routing in Carrier-Based Mobile Networks. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#93 9. 9. 2011, 12:14 seminár 21. 10. 2011, 11:00 Monika Steinová: On the Approximability of Minimum Topic Connected Overlay and Its Special Instances http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#68 21. 10. 2011, 16:50 seminár 14. 10. 2011, 11:00 Branislav Katreniak: Convergence with Limited Visibility by Asynchronous Mobile Robots http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#90 5. 10. 2011, 17:58 seminár 7. 10. 2011, 11:00 Euripides Markou: Black Hole Search with Finite Automata Scattered in Synchronous Rings and Tori http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#94 19. 9. 2011, 11:42 seminár 28. 6. 2011, 14:00 Galina Jirásková: Self-Verifying Automata and Maximal Cliques in Graphs. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#66 28. 6. 2011, 14:00 seminár 3. 6. 2011, 11:00 Burkhard Monien: Local Search: Simple, Successful, But Sometimes Sluggish. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#67 3. 6. 2011, 11:00 seminár 27. 5. 2011, 11:00 Dan Kráľ: Algorithms for testing FOL properties. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#69 27. 5. 2011, 11:00 seminár 20. 5. 2011, 11:00 Michal Forišek: Výpočtová zložitosť vybraných hier pre jedného hráča. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#70 20. 5. 2011, 11:00 seminár 13. 5. 2011, 11:00 Monika Steinová : Improved Approximations for TSP with Simple Precedence Constraints http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#71 13. 5. 2011, 11:00 seminár 29. 4. 2011, 11:00 Petr Jančár: A Short Decidability Proof for DPDA Language Equivalence via First-Order Grammars http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#72 29. 4. 2011, 11:00 seminár 15. 4. 2011, 11:00 Ivo Kováč : Balanced Use of Resources: The Equiloaded Automata Case http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#73 15. 4. 2011, 11:00 seminár 1. 4. 2011, 11:00 Jana Katreniaková: Edge routing and bundling for graphs with fixed node positions . http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#74 1. 4. 2011, 11:00 seminár 11. 3. 2011, 11:00 Pavel Labath: Zjednodušenie DPDA prídavnou informáciou. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#75 11. 3. 2011, 11:00 seminár 4. 3. 2011, 11:00 Rasťo Královič: Online algoritmy s vysokou pravdepodobnosťou. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#76 4. 3. 2011, 11:00 seminár 7. 1. 2011, 11:00 David Pal: Online learning http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#77 7. 1. 2011, 11:00 seminár 17. 12. 2010, 11:00 Dana Pardubská: Factoring and Testing Primes in Small Space http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#79 17. 12. 2010, 11:00 seminár 3. 12. 2010, 11:00 Richard Štefanec: Vzťah deterministických a nedeterministických dvojsmerných automatov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#80 3. 12. 2010, 11:00 seminár 19. 11. 2010, 11:00 Rasťo Královič: On the Advice Complexity of the k-Server Problem http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#81 19. 11. 2010, 11:00 seminár 5. 11. 2010, 11:00 Branislav Rovan: Zamyslenie nad pojmom informácia http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#82 5. 11. 2010, 11:00 seminár 7. 5. 2010, 11:00 Matej Lexa: Software a hardware pre identifikáciu sekvencií DNA podporujúcich alternatívne sekundárne štruktúry http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#83 7. 5. 2010, 11:00 seminár 16. 4. 2010, 11:00 Martin Nehéz: Fázový prechod dominujúcich klík v náhodných grafoch http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#84 16. 4. 2010, 11:00 seminár 19. 3. 2010, 11:00 Pavol Černý: Single-Pass List Processing Algorithms as MSO-Definable Transducers http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#85 19. 3. 2010, 11:00 seminár 5. 3. 2010, 11:00 Stanislav Miklík : Periodic Data Retrieval Problem in Rings Containing a Malicious Host http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#86 5. 3. 2010, 11:00 seminár 26. 2. 2010, 11:00 Jiří Wiedermann: Výpočty coby neohraničené procesy. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#87 26. 2. 2010, 11:00 seminár 19. 2. 2010, 11:00 Tomáš Kulich: Incompressibility method and Lovasz Local Lemma . http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#88 19. 2. 2010, 11:00 seminár 4. 12. 2009, 11:00 Jana Katreniaková : Using Clusters in RDF Visualization. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#89 4. 12. 2009, 11:00 seminár 20. 11. 2009, 11:00 Tomáš Plachetka: Grupovanie a agregacia v relacnych databazach. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#64 20. 11. 2009, 11:00 seminár 13. 11. 2009, 11:00 Tomáš Záthurecký: Rozlišovanie susedov v nepravidelných a asynchrónnych bunkových automatoch so stromovými prepojeniami. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#63 13. 11. 2009, 11:00 seminár 16. 10. 2009, 11:00 Matúš Mihaľák: Ako strážiť graf? http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#62 16. 10. 2009, 11:00 seminár 2. 10. 2009, 11:00 Giltae Song: Inferring the duplication history of a gene cluster http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#61 2. 10. 2009, 11:00 seminár 22. 5. 2009, 11:00 Pavel Petrovič: Automaticka konstrukcia stavovych automatov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#60 22. 5. 2009, 11:00 seminár 15. 5. 2009, 11:00 Broňa Brejová: On-line Viterbiho algoritmus a jeho analýza http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#59 15. 5. 2009, 11:00 seminár 24. 4. 2009, 11:00 Martin Mačaj: Prečo a ako riešiť rovnicu x^2 + bx + c = 0 http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#58 24. 4. 2009, 11:00 seminár 3. 4. 2009, 11:00 Mirka Kemeňová : Restricting the resources in generation of infinite words. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#57 3. 4. 2009, 11:00 seminár 13. 3. 2009, 11:00 Stano Miklík: On Multiple Black Holes. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#1 13. 3. 2009, 11:00 seminár 27. 2. 2009, 11:00 Mišo Foríšek: Teoretické aspekty ratingových algoritmov. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#2 27. 2. 2009, 11:00 seminár 13. 2. 2009, 11:00 Janka Dvořáková: Using Input Buffers for Streaming XSLT Processing http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#3 13. 2. 2009, 11:00 seminár 12. 2. 2009, 15:00 Euripides Markou: Connectivity in ad-hoc networks with selfish nodes http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#4 12. 2. 2009, 15:00 seminár 12. 1. 2009, 11:00 Pavol Cerny: Algoritmická analýza programov s poliami http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#5 12. 1. 2009, 11:00 seminár 9. 1. 2009, 11:00 David Pal: Showing Relevant Ads via Context Multi-Armed Bandits. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#6 9. 1. 2009, 11:00 seminár 14. 11. 2008, 11:00 Tomáš Záthurecký: Nepravidelné a asynchrónne bunkové automaty s dvojrozmernými prepojeniami. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#8 14. 11. 2008, 11:00 seminár 12. 11. 2008, 9:00 Martin Macko: Hry so zahltením - modifikácia KP modelu a FMNE hypotéza. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#7 12. 11. 2008, 9:00 seminár 7. 11. 2008, 11:00 Dana Pardubská: Parallel Communicating Grammar Systems and Analysis by reduction by Restarting Automata. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#9 7. 11. 2008, 11:00 seminár 24. 10. 2008, 11:00 Ľuboš Steskal: Minimum Description Length a klasifikácia pľúcnych ochorení http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#10 24. 10. 2008, 11:00 seminár 17. 10. 2008, 11:00 Martin Nehez: Renormalizácia bezškálových sietí http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#11 17. 10. 2008, 11:00 seminár 3. 10. 2008, 11:00 Rasťo Královič: Kedy sa vyplatí krištáľová guľa alebo ako pomáha informácia o budúcnosti (správa z cesty) http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#12 3. 10. 2008, 11:00 seminár 30. 5. 2008, 11:00 Stefan Dobrev: The Power of Tokens: Rendezvous and Symmetry Detection for two Mobile Agents in a Ring http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#13 30. 5. 2008, 11:00 seminár 23. 5. 2008, 11:00 Rasťo Královič: Voľba šéfa v modeli s chybnými linkami http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#14 23. 5. 2008, 11:00 seminár 16. 5. 2008, 11:00 Martin Stanek: Hľadanie rýchlych hašovacích funkcií http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#15 16. 5. 2008, 11:00 seminár 7. 5. 2008, 13:15 Martin Pal: General Auction Mechanism for Search Advertising http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#16 7. 5. 2008, 13:15 seminár 25. 4. 2008, 11:00 David Pal: Does Unlabeled Data Provably Help? Worst-case Analysis of the Sample Complexity of Semi-Supervised Learning http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#17 25. 4. 2008, 11:00 seminár 7. 12. 2007, 11:00 Rasťo Královič: Koľko treba vedieť o budúcnosti? http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#18 7. 12. 2007, 11:00 seminár 30. 11. 2007, 11:00 Janka Katreniakova: Visual Exploration of RDF Data http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#19 30. 11. 2007, 11:00 seminár 23. 11. 2007, 11:00 Stanislav Miklik: Picking up the Pieces: Self-Healing in Reconfigurable Networks http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#20 23. 11. 2007, 11:00 seminár 16. 11. 2007, 11:00 Stefan Dobrev: Local Edge Colouring of Yao-like Subgraphs of Unit Disk Graphs http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#21 16. 11. 2007, 11:00 seminár 26. 10. 2007, 11:00 Tomáš Plachetka: Rozvrhovanie nezavislych uloh na paralelne procesory http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#22 26. 10. 2007, 11:00 seminár 12. 10. 2007, 11:00 Rasťo Královič: Rapid Almost-Complete Broadcasting in Faulty Networks http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#23 12. 10. 2007, 11:00 seminár 21. 9. 2007, 11:00 Stefan Dobrev: Local Computation in Location-Aware Ad-Hoc Networks http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#24 21. 9. 2007, 11:00 seminár 14. 9. 2007, 11:00 Viliam Geffert: Minimizing Minimized Deterministic Finite State Automata http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#25 14. 9. 2007, 11:00 seminár 4. 5. 2007, 11:00 Ján Šturc: Efficient String Matching and Easy Bottom-Up Parsing http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#26 4. 5. 2007, 11:00 seminár 20. 4. 2007, 11:00 Ľuboš Steskal: Infinite Computations and a Hierarchy in Delta_3 http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#27 20. 4. 2007, 11:00 seminár 13. 4. 2007, 11:00 Martin Nehéz: An Improved Interval Routing Scheme for Almost All Networks Based on Dominating Cliques http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#28 13. 4. 2007, 11:00 seminár 27. 3. 2007, 11:00 Věra Kurková: Estimates of data complexity in neural-network learning http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#29 27. 3. 2007, 11:00 seminár 22. 3. 2007, 14:00 Jose L Marzo: Traffic grooming in Optical Networks http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#30 22. 3. 2007, 14:00 seminár 13. 3. 2007, 8:50 Viliam Geffert: Complementing Two-Way Finite Automata http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#31 13. 3. 2007, 8:50 seminár 9. 3. 2007, 11:00 Jana Katreniaková: Mental map preserving cluster expansion http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#32 9. 3. 2007, 11:00 seminár 2. 3. 2007, 11:00 Jiří Wiedermann: Amorfni pocitace a jejich vypocetni sila http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#33 2. 3. 2007, 11:00 seminár 23. 2. 2007, 11:00 Jana Dvořáková: A Transducer-Based Framework for Streaming XML Transformations http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#34 23. 2. 2007, 11:00 seminár 10. 11. 2006, 11:00 Dana Pardubská: WPTM - alternatívna charakterizácia alternovania http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#35 10. 11. 2006, 11:00 seminár 27. 10. 2006, 11:00 Richard Ostertág: Analýza selektorov pre selektívne šifrovanie http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#36 27. 10. 2006, 11:00 seminár 13. 10. 2006, 11:00 Branislav Katreniak: On the Inability of Gathering by Asynchronous Mobile Robots with Initial Movements http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#37 13. 10. 2006, 11:00 seminár 2. 6. 2006, 11:00 Tomáš Záthurecký: Nepravidelné bunkové asynchrónne automaty http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#38 2. 6. 2006, 11:00 seminár 26. 5. 2006, 11:00 Michal Forišek: Výskum súťaží v programovaní http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#39 26. 5. 2006, 11:00 seminár 5. 5. 2006, 11:00 Vladimír Koutný: Large-Scale Sensor Network Experiment http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#40 5. 5. 2006, 11:00 seminár 21. 4. 2006, 11:00 Dávid Pál: A Sober look at Clustering Stability http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#41 21. 4. 2006, 11:00 seminár 7. 4. 2006, 11:00 Rasťo Královič: Broadcasting v prostredí s chybnými linkami http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#42 7. 4. 2006, 11:00 seminár 31. 3. 2006, 11:00 Richard Královič: Jarná škola ADONET/COST293 - prehľad prednášok http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#43 31. 3. 2006, 11:00 seminár 3. 3. 2006, 11:00 Jiří Wiedermann: Vypocetni modely kognitivnich systemu http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#44 3. 3. 2006, 11:00 seminár 4. 1. 2006, 13:00 Daniel Štefankovič: Crossing numbers of graphs. http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#45 4. 1. 2006, 13:00 seminár 16. 12. 2005, 11:00 Miroslav Dudík: Princip najvacsej entropie a modely rozsirenia biologickych druhov http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#46 16. 12. 2005, 11:00 seminár 30. 9. 2005, 11:00 Dana Pardubská: Alternatívna charakterizácia synchronizovaného alternovania http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#47 30. 9. 2005, 11:00 seminár 9. 9. 2005, 11:00 Martin Pál: Sampling Bounds for Stochastic Optimization http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#48 9. 9. 2005, 11:00 seminár 27. 5. 2005, 11:00 Masami Ito: Nondeterministic directable automata and languages http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#49 27. 5. 2005, 11:00 seminár 20. 5. 2005, 11:00 Michal Forišek: Optimal Perfect Token Distribution on Trees http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#50 20. 5. 2005, 11:00 seminár 6. 5. 2005, 11:00 Branislav Katreniak: Biangular Circle Formation by Asynchronous Mobile Robots http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#51 6. 5. 2005, 11:00 seminár 29. 4. 2005, 11:00 Richard Královič: On Semi-perfect 1-factorizations http://kedrigern.dcs.fmph.uniba.sk/STI2/index.php?page=6#52 29. 4. 2005, 11:00