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 Moderní teoretická informatika (TID). Pokud vás předmět zaujal, tak zvažte i předmětu Regulované gramatiky a automaty (RGD) též od prof. Meduny.
Viz sekce “Kontrolovaná výuka” na oficiální stránce předmětu TID.
Pro další inspiraci ohledně vypracování seminárních prací doporučujeme přehled prací z předchozích ročníků.
All materials contained in this table was supported by FR2581/2010/G1 grant.
| Lecture | Topic | Presentation |
|---|---|---|
| Turing machines | ||
| 01 | Church-Turing Thesis and Turing Machine | |
| 02 | Restricted Turing Machines | |
| 03 | Universal Turing Machine | |
| 04 | Theory of Computation | |
| 05 | Recursion theorem and Kleene's s-m-n theorem | |
| 06 | Decidability and Decidable Problems for Finite Automata | |
| 07 | Decidable Problems for Context–Free Grammars | |
| 08 | Undecidable Problems | |
| 09 | General Approach to Undecidability and Computational Complexity | |
| L-systems | ||
| 10 | L-systems and Procedural modeling | |
| 11 | Formal models of Lindenmayer systems | |
| 12 | Modeling of Plant Development by Lindenmayer Systems | |
| 13 | L-systems in computer graphics | |
| Bonus topics | ||
| 14 | On n-Path-Controlled Grammars | |
| 15 | Multilanguages and Multiaccepting Automata System | |
| 16 | Pushdown Automata Systems | |
| All Lectures in One Archive | Archive |
| Lecture | Topic | Presentation | Printable |
|---|---|---|---|
| 01 | Chomsky Hierachy | ||
| 02 | Context-Free Grammars | ||
| 03 | Normal Forms | ||
| 04 | Matrix Grammars | ||
| 05 | Random Context Grammars | ||
| 06 | Programmed Grammars | ||
| 07 | Regulated Rewriting Hierarchy | ||
| 08 | L-Systems | ||
| 09 | CD Grammar Systems | ||
| 10 | PC Grammar Systems | ||
| 11 | Scattered Context Grammars | ||
| 12 | Multi-Grammars | ||
| 13 | Other Grammars | ||
| 14 | Turing Machines | ||
| 15 | Transducers | ||
| 16 | LEX (flex) | ||
| 17 | YACC (bison) | ||
| All Lectures in One Archive | ZIP | ||
Od roku 2012 jsou prezentace seminární práce do TID součástí studentské konference LTA:
Starší ročníky jsou součástí Dílny moderní teoretické informatiky nebo stránky se seminárními prácemi z TID.
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. Záznamy přednášek.
Prezentace byly součástí studentské konference Language Theory with Applications 2016 (viz Session 2 a 4).
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. Záznamy přednášek.
Vaše prezentace byly součástí studentské konference Language Theory with Applications 2015 (viz Session 2 a 5).
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. Záznamy přednášek.
Vaše prezentace budou součástí studentské konference Language Theory with Applications 2014, podrobnosti se včas dozvíte.
| Autor | Téma | Prezentace | Audio |
|---|---|---|---|
| Grochol David, Ing. | Hash functions | Prezentace | Záznam |
| Hypský Roman, Ing. | Formal definition of Business rules by Grammar systems | Prezentace | Záznam |
| Janča Radim, Mgr. | Use of Probabilistic Context-Free Grammars in Password Cracking | Prezentace | Záznam |
| Kocman Radim, Ing. | Scattered context generators of sentences with their parses | Prezentace | Záznam |
| Krčma Martin, Ing. | A formal model of FPGA implemented artificial neural networks | Prezentace | Záznam |
| Lichtner Ondrej, Ing. | Formal specifications of Software-Defined Networks | Prezentace | Záznam |
| Loukota Petr, Ing. | Stemming Algorithms | Prezentace | Záznam |
| Nikl Vojtěch, Ing. | Parallelism in Modern Compilers | Prezentace | Záznam |
| Privalov Vladimir | Using Deep learning for Object recognition in Robotics | Prezentace | Záznam |
| Viktorin Jan, Ing. | Processing of network traffic in low-power devices with FPGA | Prezentace | Záznam |
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. Záznamy přednášek.
Vaše prezentace budou součástí studentské konference Language Theory with Applications 2013, podrobnosti se včas dozvíte.
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. Záznamy přednášek.
Vaše prezentace budou součástí studentské konference Language Theory With Applications 2012, podrobnosti se včas dozvíte.
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. 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.
| 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 LTA 2011.
Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek
Letos budou prezentace součástí akce Dílna moderní teoretické informatiky 2010.
| Autor | Téma | Abstrakt | Prezentace |
|---|---|---|---|
| Čončka Přemysl, Ing. | Abstrakt | Prezentace | |
| Ďurfina Lukáš, Ing. | Scattered context grammars and generic reverse compilation | Abstrakt | Prezentace |
| Halfar Patrik, Ing. | Temporální logika reaktivních a konkurentních systémů | Abstrakt | Prezentace |
| Janda Miloš, Ing. | Finite state transducers, String-to-Weight Transducers a jejich využití ve zpracování řeči | Abstrakt | Prezentace |
| Kadlček Filip, Ing. | Váhované konečné automaty a jejich aplikace ve zpracování obrazu | Abstrakt | Prezentace |
| Kleiner Miloš, Ing. | Multigenerativní systémy | Abstrakt | Prezentace |
| Kombrink Stefan | Abstrakt | Prezentace | |
| Košař Vlastimil, Ing. | Modifikace deterministických konečných automatů | Abstrakt | Prezentace |
| Minárik Michal, Ing. | Tree-Adjoining Grammars | Abstrakt | Prezentace |
| Mrnuštík Michal, Ing. | Závislostní analýza přirozeného jazyka | Abstrakt | Prezentace |
| Novotňák Jiří, Ing. | Partial Commutation and Traces | Abstrakt | Prezentace |
| Polčák Libor, Ing. | Model směrování v hierarchických sítích se zajištěním QoS | Abstrakt | Prezentace |
| Tlusťák Karel, Ing. | Abstrakt | Prezentace | |
| Vrábel Lukáš, Ing. | Deep Pushdown Automata | Abstrakt | Prezentace |
| Zemek Petr, Ing. | Left Random Context Grammars | Abstrakt | Prezentace |
Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek
| Autor | Prezentace | Audio |
|---|---|---|
| Luděk Dolíhal | Prezentace | Záznam |
| Jan Horáček | Prezentace | Záznam |
| Petr Horáček | Prezentace | Záznam |
| Michal Kajan | Prezentace | Záznam |
| Pavol Korček | Prezentace | Záznam |
| Jakub Křoustek | Prezentace | Záznam |
| Ondřej Malačka | Prezentace | Záznam |
| Patrik Petřík | Prezentace Referát | Záznam |
| Tomáš Richta | Prezentace | Záznam |
| Marek Schmidt | Prezentace | Záznam |
| Peter Solár | Prezentace | Záznam |
| Svatopluk Šperka | Prezentace | Záznam |
| Eva Zámečníková | Prezentace | Záznam |
| Jakub Žák | Prezentace | Záznam |
| Stanislav Židek | Prezentace | Záznam |
Přednášky jdou podle výše uvedených materiálů. Z přednášek jsou pořizovány audio záznamy. Záznamy přednášek
| Autor | Prezentace 1 | Audio 1 | Prezentace 2 | Audio 2 |
|---|---|---|---|---|
| Čermák Martin | Prezentace 1 | Záznam 1 | Prezentace 2 | Záznam 2 |
| Hrubá Vendula | Prezentace 1 | Záznam 1 | Prezentace 2 | Záznam 2 |
| Kaštil Jan | Prezentace 1 | Záznam 1 | Prezentace 2 | Záznam 2 |
| Koutný Jiří | Prezentace 1 | Záznam 1 | Prezentace 2 | Záznam 2 |
| Lebeda Petr | Záznam 1 | |||
| Winklerová Zdenka | Prezentace 1 | Záznam 1 | Prezentace 2 |
| Název přednášky | Audio |
|---|---|
| 1. Úvod, Chomského hierarchie, normální formy | První část (16 MB) |
| Druhá část (17 MB) | |
| 2. Řízené gramatiky - maticové gramatiky | První část (17 MB) |
| Druhá část (15 MB) | |
| 3. Řízené gramatiky - programované a zakazující gramatiky | První část (15 MB) |
| Druhá část (19 MB) | |
| 4. Řízené gramatiky, L systémy | První část (17 MB) |
| Druhá část (14 MB) | |
| 5. L systémy | První část (13 MB) |
| Druhá část (20 MB) | |
| 6. CD gramatické systémy | První část (13 MB) |
| Druhá část (20 MB) | |
| 7. PC gramatické systémy | První část (15 MB) |
| Druhá část (17 MB) |
| 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 | tid-all-slides-scan.zip (13.5 MB) |
| Název přednášky | Zvukový záznam |
|---|---|
| 1. Úvod a opakování základních pojmů | tid01a.mp3 (14.6 MB) |
| tid01b.mp3 (17.6 MB) | |
| 3. Řízené gramatiky | tid03.wma (34.2 MB) |
| 4. Gramariky s kontextuálními podmínkami, L systémy | tid04a.wma (19.7 MB) |
| tid04b.wma (12.7 MB) | |
| 5. L systémy | tid05.wma (30.6 MB) |
| 6. Gramatické systémy | tid06.wma (33.3 MB) |
| 7. Gramatické systémy, Systolické automaty | tid07.wma (28.1 MB) |
| 8. Paralelní gramatiky (studijní materiály, 424.9 KB), různé typy automatů | tid08.wma (32.9 MB) |
| 9. Formalismy pro překlad | tid09a.wma (20.1 MB) |
| tid09b.wma (7 MB) |
| Autor | Název seminární práce | Text práce | Prezentace | Audio nahrávka prezentace |
|---|---|---|---|---|
| Ondrej Glembek | Czech LVCSR and Language Modelling | glemek_text.pdf (EN) | glembek.wma (CZ) | |
| Tomás Masopust | Self-Regulating Finite Automata | masopust_presentation.pdf (CZ) | masopust.wma (CZ) | |
| Ivana Rudolfová | Shlukování proteinových sekvencí | rudolfa_text.pdf (EN) | rudolfa_presentation.ppt (CZ) | rudolfova.wma (CZ) |
| Rudolf Schönecker | String-Partitioning Systems | schonec_text.pdf (CZ) | schonec_presentation.pdf (EN) | schonecker.wma (CZ) |
| Jaroslav Škarvada | Využití Petriho sítí při plánování testu číslicových systémů | skarvada_text.doc (CZ) | skarvada_presentation.doc (CZ) | skarvada.wma (CZ) |
| Jiří Techet | Bidirectional Contextual Grammars | techet_text.pdf (EN) | techet_presentation.pdf (EN) | techet.wma (CZ) |
Stránka se seminárními prácemi studentů z akademických let 2000/2001 až 2004/2005.