ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Formalized"
Formalized
Osoba
Předměty
Osoby
Publikace
Studium
RNDr. František Mráz CSc.
Akademický pracovník na Matematicko-fyzikální fakulta
7 předmětů
158 publikací
Předměty
class
Rozpoznávání a syntaktická analýza
NTIN046 |
Matematicko-fyzikální fakulta
class
Evoluční robotika
+1
NAIL065 |
Matematicko-fyzikální fakulta
class
Strojové učení v bioinformatice
+1
NAIL107 |
Matematicko-fyzikální fakulta
class
Paralelní algoritmy
NTIN017 |
Matematicko-fyzikální fakulta
class
Bioinformatické algoritmy
NTIN084 |
Matematicko-fyzikální fakulta
Publikace
publication
Proceedings of the 22nd Theorietag Automata and Formal Languages
2012 |
Matematicko-fyzikální fakulta
publication
Learning Limited Context Restarting Automata by Genetic Algorithms
2011 |
Matematicko-fyzikální fakulta
publication
Δ-Clearing Restarting Automata and CFL
2011 |
Matematicko-fyzikální fakulta
publication
K formálnímu modelu pro popis přirozeného jazyka založenému na restartovacích automatech s paralelními DR-strukturami
2010 |
Matematicko-fyzikální fakulta
publication
Restartovací automaty se strukturovaným výstupem a Funkční generativní popis
2010 |
Matematicko-fyzikální fakulta
publication
(Ne)Závislosti ve Funkčním generativním popisu podle restartovacích automatů
2010 |
Matematicko-fyzikální fakulta
publication
Learning Limited Context Restarting Automata by Genetic Algorithms
Publikace bez příslušnosti k fakultě
publication
Δ-Clearing Restarting Automata and CFL
Publikace bez příslušnosti k fakultě
publication
22nd Theorietag Automata and Formal Languages
Publikace bez příslušnosti k fakultě
publication
Learning Picture Languages Using Dimensional Reduction
2023 |
Matematicko-fyzikální fakulta
Načíst další publikace (148)
Loading network view...