====== TID: Moderní teoretická informatika ====== Zde bude seznam přednášek (audio záznamů a případně pdf prezentací či seminárních prací) posledních několika let přednášek v předmětu doktorského studia [[http://www.fit.vutbr.cz/study/courses/TID|Moderní teoretická informatika (TID)]]. Pokud vás předmět zaujal, tak zvažte i předmětu [[https://www.fit.vut.cz/study/course/RGD/|Regulované gramatiky a automaty (RGD)]] též od prof. Meduny. ===== Základní informace k předmětu ===== === Bodové hodnocení === Viz sekce "Kontrolovaná výuka" na [[https://www.fit.vut.cz/study/course/TID/|oficiální stránce předmětu TID]]. Pro další inspiraci ohledně vypracování seminárních prací doporučujeme [[#prezentace_seminarnich_praci|přehled prací z předchozích ročníků]]. ===== Additional Lectures: Jumping Automata and Grammars (2017) ===== * {{lectures:lta:2016_abstracts:2016-opening_talk_jfa-part1.pdf|Jumping Finite Automata: Solved Questions (LTA, 2016)}} * {{talks:seminar:2015-03-31_krivka_jumping_grammars.pdf|Jumping Grammars (FM seminar, 2015)}} ===== New Lectures: New Versions of Classical Automata (Meduna, 2012) ===== * Regulated Pushdown Automata, {{lectures:phd:tid:slides:regpda.pdf|PDF}} * Deep Pushdown Automata, {{lectures:phd:tid:slides:deeppda.pdf|PDF}} * #-Rewriting Systems, {{lectures:phd:tid:slides:bounder_rewriting_systems.pdf|PDF}} * Jumping Finite Automata, {{:lectures:phd:tid:slides:jfa.pdf|PDF}} (2013) ==== New Version of Formal Models ==== * Multigenerative Grammar Systems, {{:lectures:phd:tid:slides:multi-generative_grammar_systems.pdf|PDF}} (2010) ===== Materials for Lectures (FRVŠ: Koutný, Čermák, Meduna (2010)) ===== All materials contained in this table was supported by [[http://www.fit.vutbr.cz/research/view_project.php?id=486¬itle=0&format=0&shortname=0|FR2581/2010/G1]] grant. ^ Lecture ^ Topic ^ Presentation ^ | | **Turing machines** | | | 01 | Church-Turing Thesis and Turing Machine | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_1.pdf|PDF}} | | 02 | Restricted Turing Machines | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_2.pdf|PDF}} | | 03 | Universal Turing Machine | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_3.pdf|PDF}} | | 04 | Theory of Computation | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_4.pdf|PDF}} | | 05 | Recursion theorem and Kleene's s-m-n theorem | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_5.pdf|PDF}} | | 06 | Decidability and Decidable Problems for Finite Automata | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_6.pdf|PDF}} | | 07 | Decidable Problems for Context--Free Grammars | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_7.pdf|PDF}} | | 08 | Undecidable Problems | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_8.pdf|PDF}} | | 09 | General Approach to Undecidability and Computational Complexity | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/TuringMachines_9.pdf|PDF}} | | | **L-systems** | | | 10 | L-systems and Procedural modeling | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/L-Systems_1.pdf|PDF}} | | 11 | Formal models of Lindenmayer systems | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/L-Systems_2.pdf|PDF}} | | 12 | Modeling of Plant Development by Lindenmayer Systems | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/L-Systems_3.pdf|PDF}} | | 13 | L-systems in computer graphics | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/L-Systems_4.pdf|PDF}} | | | **Bonus topics** | | | 14 | On n-Path-Controlled Grammars | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/nPCgrammars.pdf|PDF}} | | 15 | Multilanguages and Multiaccepting Automata System | {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/MultiFM.pdf|PDF}} | | 16 | Pushdown Automata Systems| {{http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/PDASystems.pdf|PDF}} | | | **All Lectures in One Archive** | [[http://www.fit.vutbr.cz/study/courses/TID/public/FRVS_KoutnyCermakMeduna_2010/FRVS_KoutnyCermakMeduna.zip|Archive]] | ===== Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007)) ===== ^ Lecture ^ Topic ^ Presentation ^ Printable ^ | 01 | Chomsky Hierachy | {{.frvs:01-chomskypres.pdf|PDF}} | {{.frvs:01-chomskyprint.pdf|PDF}} | | 02 | Context-Free Grammars | {{.frvs:02-cfgrammarspres.pdf|PDF}} | {{.frvs:02-cfgrammarsprint.pdf|PDF}} | | 03 | Normal Forms | {{.frvs:03-normformspres.pdf|PDF}} | {{.frvs:03-normformsprint.pdf|PDF}} | | 04 | Matrix Grammars | {{.frvs:04-matgrampres.pdf|PDF}} | {{.frvs:04-matgramprint.pdf|PDF}} | | 05 | Random Context Grammars | {{.frvs:05-rcgpres.pdf|PDF}} | {{.frvs:05-rcgprint.pdf|PDF}} | | 06 | Programmed Grammars | {{.frvs:06-programmedpres.pdf|PDF}} | {{.frvs:06-programmedprint.pdf|PDF}} | | 07 | Regulated Rewriting Hierarchy | {{.frvs:07-regrewhierpres.pdf|PDF}} | {{.frvs:07-regrewhierprint.pdf|PDF}} | | 08 | L-Systems | {{.frvs:08-lsystemspres.pdf|PDF}} | {{.frvs:08-lsystemsprint.pdf|PDF}} | | 09 | CD Grammar Systems | {{.frvs:09-cdgspres.pdf|PDF}} | {{.frvs:09-cdgsprint.pdf|PDF}} | | 10 | PC Grammar Systems | {{.frvs:10-pcgspres.pdf|PDF}} | {{.frvs:10-pcgsprint.pdf|PDF}} | | 11 | Scattered Context Grammars | {{.frvs:11-scgpres.pdf|PDF}} | {{.frvs:11-scgprint.pdf|PDF}} | | 12 | Multi-Grammars | {{.frvs:12-multigrampres.pdf|PDF}} | {{.frvs:12-multigramprint.pdf|PDF}} | | 13 | Other Grammars | {{.frvs:13-othergrampres.pdf|PDF}} | {{.frvs:13-othergramprint.pdf|PDF}} | | 14 | Turing Machines | {{.frvs:14-turingmachinespres.pdf|PDF}} | {{.frvs:14-turingmachinesprint.pdf|PDF}} | | 15 | Transducers | {{.frvs:15-transducerspres.pdf|PDF}} | {{.frvs:15-transducersprint.pdf|PDF}} | | 16 | LEX (flex) | {{.frvs:16-lexpres.pdf|PDF}} | {{.frvs:16-lexprint.pdf|PDF}} | | 17 | YACC (bison) | {{.frvs:17-yaccpres.pdf|PDF}} | {{.frvs:17-yaccprint.pdf|PDF}} | | | **All Lectures in One Archive** | **{{.frvs:materials_for_lectures_frvs_all.zip|ZIP}}** || * 2014-01-06: Updated lecture 10 * 2013-12-07: Updated lecture 15 * 2013-12-01: Updated lecture 15 * 2013-11-09: Updated lecture 10 * 2013-11-02: Updated lecture 11 * 2013-10-29: Updated lecture 6 * 2013-10-03: Updated lecture 3 * 2011-10-05: Updated lectures 3, 7, 16, and 17 * 2009-10-21: Update (see {{:lectures:phd:tid:frvs:materials_for_lectures_frvs_all_2009-10-21.zip|backup archive}}) * 2008-09-22: Update (see {{:lectures:phd:tid:frvs:materials_for_lectures_frvs_all_2008-09-22.zip|backup archive}}) * 2008-02-26: First version (see {{:lectures:phd:tid:frvs:materials_for_lectures_frvs_all_2008-02-26.zip|backup archive}}) ==== Advanced Lectures enhancing the Fundamentals ==== ^ Lecture ^ Topic ^ Presentation ^ Printable ^ | 01 | k-Limited Erasing | {{.frvs:bonuses:01-klimiterasingpres.pdf|PDF}} | {{.frvs:bonuses:01-klimiterasingprint.pdf|PDF}} | | 02 | Reduced Proper Generators | {{.frvs:bonuses:02-redpropgenpres.pdf|PDF}} | {{.frvs:bonuses:02-redpropgenprint.pdf|PDF}} | | 03 | MaxMin Rewriting | {{.frvs:bonuses:03-maxminrewpres.pdf|PDF}} | {{.frvs:bonuses:03-maxminrewprint.pdf|PDF}} | | 04 | Non-Context-Free Scattered Context Grammars | {{.frvs:bonuses:04-noncfscgpres.pdf|PDF}} | {{.frvs:bonuses:04-noncfscgprint.pdf|PDF}} | | 05 | Canonical Proper Generators | {{.frvs:bonuses:05-canpropgenpres.pdf|PDF}} | {{.frvs:bonuses:05-canpropgenprint.pdf|PDF}} | | 06 | Context Conditional Grammars | {{.frvs:bonuses:06-ccgrammarspres.pdf|PDF}} | {{.frvs:bonuses:06-ccgrammarsprint.pdf|PDF}} | | | **All Bonuses in One Archive** | **{{.frvs:bonuses:bonuses_for_lectures_frvs_all.zip|ZIP}}** || ===== Prezentace seminárních prací ===== Od roku 2012 jsou prezentace seminární práce do TID součástí [[https://www.fit.vutbr.cz/~meduna/work/lta/|studentské konference LTA]]: * [[lectures:lta:lta19|Zimní semestr 2019]] * [[lectures:lta:lta18|Zimní semestr 2018]] * [[lectures:lta:lta17|Zimní semestr 2017]] Starší ročníky jsou součástí [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=lectures:phd:tid:dmti|Dílny moderní teoretické informatiky]] nebo [[https://www.fit.vutbr.cz/~meduna/mti|stránky se seminárními prácemi z TID]]. ===== 2016 - 2017 (Zimní semestr 2016) ===== === Přednášky === Přednášky jdou zejména podle materiálů "Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))" uvedených výše. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2016/|Záznamy přednášek]]. === Prezentace seminárních prací === Prezentace byly součástí studentské konference [[lectures:lta:lta16|Language Theory with Applications 2016]] (viz Session 2 a 4). ===== 2015 - 2016 (Zimní semestr 2015) ===== === Přednášky === Přednášky jdou zejména podle materiálů "Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))" uvedených výše. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2015/|Záznamy přednášek]]. === Prezentace seminárních prací === Vaše prezentace byly součástí studentské konference [[lectures:lta:lta15|Language Theory with Applications 2015]] (viz Session 2 a 5). ===== 2014 - 2015 (Zimní semestr 2014) ===== === Přednášky === Přednášky jdou zejména podle materiálů "Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))" uvedených výše. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2014/|Záznamy přednášek]]. == Prezentace seminárních prací == Vaše prezentace budou součástí studentské konference [[lectures:lta:lta14|Language Theory with Applications 2014]], podrobnosti se včas dozvíte. ^Autor ^Téma ^Prezentace ^Audio ^ | Grochol David, Ing. | Hash functions | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_grochol.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_grochol.wma | Záznam ]] | | Hypský Roman, Ing. | Formal definition of Business rules by Grammar systems | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_hypsky.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_hypsky.wma | Záznam ]] | | Janča Radim, Mgr. | Use of Probabilistic Context-Free Grammars in Password Cracking | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_janca.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_janca.wma | Záznam ]] | | Kocman Radim, Ing. | Scattered context generators of sentences with their parses | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_kocman.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_kocman.wma | Záznam ]] | | Krčma Martin, Ing. | A formal model of FPGA implemented artificial neural networks | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_krcma.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_krcma.wma | Záznam ]] | | Lichtner Ondrej, Ing. | Formal specifications of Software-Defined Networks | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_lichtner.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_lichtner.wma | Záznam ]] | | Loukota Petr, Ing. | Stemming Algorithms | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_loukota.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_loukota.wma | Záznam ]] | | Nikl Vojtěch, Ing. | Parallelism in Modern Compilers | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_nikl.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_nikl.wma | Záznam ]] | | Privalov Vladimir | Using Deep learning for Object recognition in Robotics | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_privalov.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_privalov.wma | Záznam ]] | | Viktorin Jan, Ing. | Processing of network traffic in low-power devices with FPGA | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_viktorin.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2014/talks/tid_viktorin.wma | Záznam ]] | ===== 2013 - 2014 (Zimní semestr 2013) ===== === Přednášky === Přednášky jdou zejména podle materiálů "Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))" uvedených výše. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2013/|Záznamy přednášek]]. == Prezentace seminárních prací == Vaše prezentace budou součástí studentské konference [[lectures:lta:lta13|Language Theory with Applications 2013]], podrobnosti se včas dozvíte. ===== 2012 - 2013 (Zimní semestr 2012) ===== === Přednášky === Přednášky jdou zejména podle materiálů "Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))" uvedených výše. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2012/|Záznamy přednášek]]. Vaše prezentace budou součástí studentské konference [[lectures:lta:lta12|Language Theory With Applications 2012]], podrobnosti se včas dozvíte. == Doplňující materiály == * [[http://www.fit.vutbr.cz/~meduna/work/lib/exe/fetch.php?media=lectures:phd:tid:pz_-_osrcg_-_2012-10-24.pdf|Přednáška o One-Sided Random Context Grammars (Petr Zemek), 24.10.2012]] ===== 2011 - 2012 (Zimní semestr 2011) ===== === Přednášky === Přednášky jdou zejména podle materiálů "Materials for Lectures (FRVŠ: Techet, Masopust, Meduna (2007))" uvedených výše. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2011/|Záznamy přednášek]] Letos budou vaše prezentace součástí akce Dílna moderní teoretické informatiky 2011, podrobnosti se včas dozvíte. == Prezentace seminárních prací === ^Autor ^Téma ^Abstrakt ^Prezentace ^ | Bartoš Václav, Ing. | Using Support Vector Machines to classify multidimensional data| [[ | Abstrakt ]] | [[ | Prezentace ]] | | Čambor Michal, Ing. | | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Houšť Marek, Ing. | DEVS formalism for modeling and analysis of discrete systems | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Kouřil Jan, Ing. | Incremental construction of minimal finite automata and itsutilization in natural language processing | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Král Jiří, Ing. | Using Alternating-Time Logic for modeling of artificial agents inwireless nets | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Kraus Zdeněk, Ing. | Cryptographic API grammar | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Luža Radim, Ing. | Processing and analysis of robotic arm control language | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Malčík Dominik, Ing. | Model of a semiautomatic detection system | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Martinek David, Ing. | Grammars for problems solved by dynamic software systems | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Matoušek Jiří, Ing. | On Complexity of Offline Partial DynamicReconfiguration Scheduling | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Milička Martin, Ing. | Tree Edit Distance in a Document Comparison | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Minarovský Peter, Ing. | A Testing Theory for Real‐Time Systems | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Petrlík Jiří, Ing. | Multiobjective Grammatically-based Genetic Programming | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Sopuch Zbyněk, Ing. | Parallel parsing based upon general multigenerative grammar systems | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Šikulová Michaela, Ing. | Language theory with application: Cartesian genetic programming | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Šimková Marcela, Ing. | Assertion-Based Verification | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Škoda Petr, Mgr. | Problems of CAP theorem proof and connection to PACELC taxonomy | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Volf Tomáš, Ing. | Representing and Quering Moving Objects | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Vopěnka Václav, Ing. | Automatic Polynomial Transformation of Differential Equations and Derivation Closure | [[ | Abstrakt ]] | [[ | Prezentace ]] | Abstrakty jednotlivých prací jsou dostupné na stránkách [[lectures:lta:lta11|LTA 2011]]. ===== 2010 - 2011 (Zimní semestr 2010) ===== === Přednášky === Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2010/|Záznamy přednášek]] Letos budou prezentace součástí akce [[dmti|Dílna moderní teoretické informatiky 2010]]. == Prezentace seminárních prací === ^Autor ^Téma ^Abstrakt ^Prezentace ^ | Čončka Přemysl, Ing. | | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Ďurfina Lukáš, Ing. | Scattered context grammars and generic reverse compilation | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Durfina_idurfina_abstrakt.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Durfina-Lukas.pdf | Prezentace ]] | | Halfar Patrik, Ing. | Temporální logika reaktivních a konkurentních systémů | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Halfar_abstract.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Halfar-Patrik.pdf | Prezentace ]] | | Janda Miloš, Ing. | Finite state transducers, String-to-Weight Transducers a jejich využití ve zpracování řeči | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Janda_TID_abstrakt_xjanda16.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Janda-Milos.pdf | Prezentace ]] | | Kadlček Filip, Ing. | Váhované konečné automaty a jejich aplikace ve zpracování obrazu | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Kadlcek_Abstrakt-WFA-Image.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Kadlcek-Filip.pdf | Prezentace ]] | | Kleiner Miloš, Ing. | Multigenerativní systémy | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Kleiner_Referat_TID_ikleiner.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Kleiner-Milos.pdf | Prezentace ]] | | Kombrink Stefan | | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Košař Vlastimil, Ing. | Modifikace deterministických konečných automatů | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Kosar_ikosar.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Kosar-Vlastimil.pdf | Prezentace ]] | | Minárik Michal, Ing. | Tree-Adjoining Grammars | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Minarik-TID-iminarik-TAGs-abstract.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Minarik-Michal.pdf | Prezentace ]] | | Mrnuštík Michal, Ing. | Závislostní analýza přirozeného jazyka | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Mrnustik_xmrnus00_TID_abstrakt.pdf| Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Mrnustik-Michal.pdf | Prezentace ]] | | Novotňák Jiří, Ing. | Partial Commutation and Traces | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Novotnak_xnovot87_abstract.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Novotnak-Jiri.pdf | Prezentace ]] | | Polčák Libor, Ing. | Model směrování v hierarchických sítích se zajištěním QoS | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Polcak_polcak_tid.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Polcak-Libor.pdf | Prezentace ]] | | Tlusťák Karel, Ing. | | [[ | Abstrakt ]] | [[ | Prezentace ]] | | Vrábel Lukáš, Ing. | Deep Pushdown Automata | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Vrabel_TID-vrabel-deepPDA-abs.pdf | Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Vrabel-Lukas.pdf | Prezentace ]] | | Zemek Petr, Ing. | Left Random Context Grammars | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Abstracts/Zemek_TID_-_Petr.Zemek_-_Abstract.pdf| Abstrakt ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2010/student_talks/Presentations/Zemek-Petr.pdf | Prezentace ]] | ===== 2009 - 2010 (Zimní semestr 2009) ===== === Přednášky === Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2009/|Záznamy přednášek]] == Prezentace seminárních prací === ^Autor ^Prezentace ^Audio ^ | Luděk Dolíhal | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/xdolih00.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_presentace_dolihal_11_11.wma | Záznam ]] | | Jan Horáček | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/referatJH.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_presentace_horacek_j_11_11.wma | Záznam ]] | | Petr Horáček | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid-horacekp-jap.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_horacek.wma | Záznam ]] | | Michal Kajan | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/TID-BDD.ppt | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_16_12_kajan_ws218355.wma | Záznam ]] | | Pavol Korček | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/TID_korcek.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_korcek.wma | Záznam ]] | | Jakub Křoustek | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/kroustek_SCG_final.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_kroustek.wma | Záznam ]] | | Ondřej Malačka | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/MALACKA_TID_PREZENTACE_2.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_malacka.wma | Záznam ]] | | Patrik Petřík | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/xpetri11_slajdy_systemy_gramatik_a_automatu.pdf | Prezentace]][[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/xpetri11_referat_systemy_gramatik_a_automatu.pdf | Referát]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/jk_tid_9_12_petrik_ws218353.wma | Záznam ]] | | Tomáš Richta | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid.richta.stsql.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/rychta.wma | Záznam ]] | | Marek Schmidt | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid_xschmi01_fst4ie.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/jk_tid_9_12_schmidt_ws218350.wma | Záznam ]] | | Peter Solár | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/solar-SCGwithErasingproductions.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/solar.wma | Záznam ]] | | Svatopluk Šperka | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/tid-sperka-presentation.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/jk_tid_9_12_sperka_ws218351.wma | Záznam ]] | | Eva Zámečníková | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/zamecnikova_TID_final_version_extended_hybrid_systems.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/zamecnikova.wma | Záznam ]] | | Jakub Žák | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/zak-tid-final.pdf| Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/zak.wma | Záznam ]] | | Stanislav Židek | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/zidek_final.pdf | Prezentace ]] | [[ http://www.fit.vutbr.cz/study/courses/TID/public/2009/jk_tid_9_12_zidek_ws218349.wma | Záznam ]] | ===== 2008 - 2009 (Zimní semestr 2008) ===== === Přednášky === Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/|Záznamy přednášek]] === Prezentace seminárních prací === ^Autor ^Prezentace 1 ^Audio 1 ^Prezentace 2 ^Audio 2 ^ |Čermák Martin | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/cermak.pdf |Prezentace 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/cermak.wma |Záznam 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/cermak2.pdf |Prezentace 2]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/cermak2.wma | Záznam 2]] | |Hrubá Vendula | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/modelChecking.tar.gz | Prezentace 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/hruba.wma | Záznam 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/partialOrderReduction.tar.gz | Prezentace 2]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/hruba2.wma | Záznam 2]] | |Kaštil Jan | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/kastil.pdf | Prezentace 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/kastil.wma |Záznam 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/kastil2.pdf | Prezentace 2]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/kastil2.wma | Záznam 2]]| |Koutný Jiří | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/koutny-TC01.pdf | Prezentace 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/koutny.wma |Záznam 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/koutny-TC02.pdf | Prezentace 2]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/prednaska09.wma | Záznam 2]] | |Lebeda Petr | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/lebeda.wma |Záznam 1]] | | | |Winklerová Zdenka | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/winklerova01.ppt | Prezentace 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/winklerova.wma|Záznam 1]] | [[http://www.fit.vutbr.cz/study/courses/TID/public/2008/winklerova02.ppt | Prezentace 2]] | | ===== 2007 - 2008 (Zimní semestr 2007) ===== === Přednášky === ^Název přednášky ^Audio ^ |1. Úvod, Chomského hierarchie, normální formy | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/1a.wma|První část (16 MB)]]| | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/1b.wma|Druhá část (17 MB)]] | |2. Řízené gramatiky - maticové gramatiky | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/2a.wma|První část (17 MB)]]| | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/2b.wma|Druhá část (15 MB)]] | |3. Řízené gramatiky - programované a zakazující gramatiky | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/3a.wma|První část (15 MB)]]| | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/3b.wma|Druhá část (19 MB)]] | |4. Řízené gramatiky, L systémy | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/4a.wma|První část (17 MB)]]| | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/4b.wma|Druhá část (14 MB)]] | |5. L systémy | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/5a.wma|První část (13 MB)]]| | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/5b.wma|Druhá část (20 MB)]] | |6. CD gramatické systémy | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/6a.wma|První část (13 MB)]]| | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/6b.wma|Druhá část (20 MB)]] | |7. PC gramatické systémy | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/7a.wma|První část (15 MB)]]| | | [[http://www.fit.vutbr.cz/study/courses/TID/public/2007/7b.wma|Druhá část (17 MB)]] | === Prezentace seminárních prací === ^Autor ^Název seminární práce ^Prezentace 1 ^Prezentace 2 ^Audio nahrávka ^ |Goldefus Filip||{{.2007-2008:talks:goldefus-gs.pdf|Grammar Systems - Survey}} (EN) |{{.2007-2008:talks:goldefus-pres.pdf|Left Forbidding Grammar Systems}} (EN)|{{.2007-2008:talks:goldefus.wma}} (CZ)| |Husár Adam|Deterministický překlad jazyků LL(1) pomocí redukovaného zásobníkového automatu|{{.2007-2008:talks:husar-text.pdf}} (CZ)|{{.2007-2008:talks:husar-pres.pdf}} (EN) |{{.2007-2008:talks:husar.wma}} (CZ)| |Husár Adam|Global Index Grammars|{{.2007-2008:talks:husar-gig.pdf}} (EN)|{{.2007-2008:talks:husar-gig-pres.pdf}} (EN) | N/A | |Jirák Ota||{{.2007-2008:talks:jirak-cf.pdf|Parsing of Context-Free Languages}} (EN) |{{.2007-2008:talks:jirak.pdf|Attributed Scattered Context Grammars}} (EN)|{{.2007-2008:talks:jirak.wma}} (EN)| |Krajíček Jiří|Digital Images and Formal Languages| {{.2007-2008:talks:krajicek1_pres.pdf|1st part}} | {{.2007-2008:talks:krajicek2_pres.pdf|2nd part}} (EN)|{{.2007-2008:talks:krajicek.wma}} (CZ)| |Mikolov Tomáš|Natural Languages| {{.2007-2008:talks:mikolov1.pdf|1st part: Contextual grammars and natural languages}} | {{.2007-2008:talks:mikolov2.pdf|2nd part: Natural languages and evaluation of their models}} (EN)|{{.2007-2008:talks:mikolov.wma}} (CZ)| |Novotný Tomáš|| {{.2007-2008:talks:novotny-pattern.pdf|Automata for matching patterns}} (EN)| {{.2007-2008:talks:novotny.pdf|ADL transformation using Process Graph and DFA}} (EN)|{{.2007-2008:talks:novotny.wma}} (EN)| |Přikryl Zdeněk||{{.2007-2008:talks:prikryl1.pdf|Additional types of L-systems}} (EN)|{{.2007-2008:talks:prikryl2.pdf|Formal description Formal description of creating a central controller}} (EN)|{{.2007-2008:talks:prikryl.wma}} (CZ)| |Trmač Miloslav||{{.2007-2008:talks:trmac-burs.pdf|Instruction Selection with Bottom-Up Rewriting Systems}} (EN)|{{.2007-2008:talks:trmac-sds.pdf|Symbolic Dynamical Systems}} (EN) |{{.2007-2008:talks:trmac.wma}} (CZ)| |Zuzaňák Jiří||{{.2007-2008:talks:zuzanak.pdf|Graph grammars}} (EN)|{{.2007-2008:talks:zuzanak-dl.pdf|Two-Dimensional Languages}} (EN) |{{.2007-2008:talks:zuzanak.wma}} (CZ)| ===== Slajdy (naskenováno 2006-09) ===== ^Název přednášky ^Slajdy ^ |1. Chomsky Hierarchy, Normal Forms, Matrix Grammars|(1.6 MB)| |2. Random Context, Programmed Grammrs, M=P, Generalized Forbidding Grammars|(1.0 MB)| |3. GCC Grammars, CFG over String Monoids, Systolic Automata, L-systems, Parallel Communicating Grammar Systems|(1.9 MB)| |4. PC Grammars Systems, CD Grammars Systems, FET0L, LBA, Two-pushdown Automata|(2.9 MB)| |5. Two-pushdown Automata, Unrestricted Grammars, Transducers|(3.0 MB)| |6. Excerpts from Theory of Translation|(3.2 MB)| | **Komplet přednášek v jednou zaheslovaném archívu**|{{.slides:tid-all-slides-scan.zip}} (13.5 MB)| ===== 2005 - 2006 (Zimní semestr 2005) ===== === Přednášky === ^Název přednášky ^Zvukový záznam ^ |1. Úvod a opakování základních pojmů|{{.2005-2006:tid01a.mp3}} (14.6 MB)| | |{{.2005-2006:tid01b.mp3}} (17.6 MB)| |3. Řízené gramatiky|{{.2005-2006:tid03.wma}} (34.2 MB)| |4. Gramariky s kontextuálními podmínkami, L systémy|{{.2005-2006:tid04a.wma}} (19.7 MB)|(12.7 MB) | |{{.2005-2006:tid04b.wma}} (12.7 MB)| |5. L systémy|{{.2005-2006:tid05.wma}} (30.6 MB)| |6. Gramatické systémy|{{.2005-2006:tid06.wma}} (33.3 MB)| |7. Gramatické systémy, Systolické automaty|{{.2005-2006:tid07.wma}} (28.1 MB)| |8. Paralelní gramatiky ({{.2005-2006:tid1.ps|studijní materiály}}, 424.9 KB), různé typy automatů|{{.2005-2006:tid08.wma}} (32.9 MB)| |9. Formalismy pro překlad|{{.2005-2006:tid09a.wma}} (20.1 MB)| | |{{.2005-2006:tid09b.wma}} (7 MB)| === Prezentace seminárních prací === ^Autor ^Název seminární práce ^Text práce ^Prezentace ^Audio nahrávka prezentace ^ |Ondrej Glembek|Czech LVCSR and Language Modelling|{{.2005-2006:talks:glemek_text.pdf}} (EN)||{{.2005-2006:talks:glembek.wma}} (CZ)| |Tomás Masopust|Self-Regulating Finite Automata||{{.2005-2006:talks:masopust_presentation.pdf}} (CZ)|{{.2005-2006:talks:masopust.wma}} (CZ)| |Ivana Rudolfová|Shlukování proteinových sekvencí|{{.2005-2006:talks:rudolfa_text.pdf}} (EN)|{{.2005-2006:talks:rudolfa_presentation.ppt}} (CZ)|{{.2005-2006:talks:rudolfova.wma}} (CZ)| |Rudolf Schönecker|String-Partitioning Systems|{{.2005-2006:talks:schonec_text.pdf}} (CZ)|{{.2005-2006:talks:schonec_presentation.pdf}} (EN)|{{.2005-2006:talks:schonecker.wma}} (CZ)| |Jaroslav Škarvada|Využití Petriho sítí při plánování testu číslicových systémů|{{.2005-2006:talks:skarvada_text.doc}} (CZ)|{{.2005-2006:talks:skarvada_presentation.doc}} (CZ)|{{.2005-2006:talks:skarvada.wma}} (CZ)| |Jiří Techet|Bidirectional Contextual Grammars|{{.2005-2006:talks:techet_text.pdf}} (EN)|{{.2005-2006:talks:techet_presentation.pdf}} (EN)|{{.2005-2006:talks:techet.wma}} (CZ)| ===== 2000 - 2005 ===== [[https://www.fit.vutbr.cz/~meduna/mti|Stránka se seminárními prácemi]] studentů z akademických let 2000/2001 až 2004/2005.