Projekty finansowane przez NCN
Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania
2017/25/B/ST6/01920
Słowa kluczowe:
automat skończony general game playing język regularny słowo unikające uniwersalność
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_15: Matematyczne aspekty informatyki
- ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
woj. dolnośląskie
Konkurs: OPUS 13 - ogłoszony 2017-03-15
Przyznana kwota: 520 400 PLN
Rozpoczęcie projektu: 2018-01-19
Zakończenie projektu: 2021-07-18
Planowany czas trwania projektu: 42 miesięcy (z wniosku)
Status projektu: Projekt rozliczony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Zakupiona aparatura
- Komputer stacjonarny.
- Laptop. Za kwotę 8 000 PLN
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (4)
- Teksty w publikacjach pokonferencyjnych (11)
- Complexity of bifix-free regular languagesAutorzy:Robert Ferens, Marek SzykułaCzasopismo:Theoretical Computer Science (rok: 2019, tom: 787, strony: 14--27), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.tcs.2018.09.016 - link do publikacji
- Preimage problems for deterministic finite automataAutorzy:Mikhail V. Berlinkov, Robert Ferens, Marek SzykułaCzasopismo:Journal of Computer and System Sciences (rok: 2021, tom: 115, strony: 214-234), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.jcss.2020.08.002 - link do publikacji
- Syntactic complexity of bifix-free regular languagesAutorzy:Marek Szykuła, John WittnebelCzasopismo:Theoretical Computer Science (rok: 2019, tom: 787, strony: 45--76), Wydawca: ElsevierStatus:OpublikowanaDoi:10.1016/j.tcs.2018.12.025 - link do publikacji
- The Frobenius and Factor Universality Problems of the Kleene Star of a Finite Set of WordsAutorzy:Maksymilian Mika, Marek SzykułaCzasopismo:Journal of the ACM (rok: 2021, tom: 68, strony: 18:1--18:22), Wydawca: Association for Computing MachineryStatus:OpublikowanaDoi:10.1145/3447237 - link do publikacji
- Evolutionary Approach to Collectible Arena Deckbuilding using Active Card Game GenesAutorzy:Jakub Kowalski, Radosław MiernikKonferencja:2020 IEEE Congress on Evolutionary Computation (CEC) (rok: 2020, ), Wydawca: IEEEData:konferencja 2020.07.19--2020.07.24Status:Opublikowana
- Finding Short Synchronizing Words for Prefix CodesAutorzy:Andrew Ryzhikov, Marek SzykułaKonferencja:43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, GermanyData:konferencja 27.08.2018--31.08.2018Status:Opublikowana
- Lower Bounds on Avoiding ThresholdsAutorzy:Robert Ferens, Marek Szykuła, Vojtěch VorelKonferencja:46rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) (rok: 2021, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, GermanyData:konferencja 2021.08.23--2021.08.27Status:Opublikowana
- Efficient Reasoning in Regular BoardgamesAutorzy:Jakub Kowalski, Radosław Miernik, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Andrzej TkaczykKonferencja:IEEE Conference on Games (CoG 2020) (rok: 2020, ), Wydawca: IEEEData:konferencja 24.08.2020--27.08.2020Status:Opublikowana
- Existential Length UniversalityAutorzy:Paweł Gawrychowski, Martin Lange, Narad Rampersad, Jeffrey Shallit, Marek SzykułaKonferencja:37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, GermanyData:konferencja 2020-03-10 -- 2020-03-13Status:Opublikowana
- Synchronizing Strongly Connected Partial DFAsAutorzy:Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, Marek SzykułaKonferencja:Symposium on Theoretical Aspects of Computer Science (STACS 2021) (rok: 2021, ), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl Publishing, GermanyData:konferencja 2021.03.16--2021.03.19Status:Opublikowana
- Complexity of Preimage Problems for Deterministic Finite AutomataAutorzy:Mikhail V. Berlinkov, Robert Ferens, Marek SzykułaKonferencja:43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) (rok: 2018, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, GermanyData:konferencja 27.08.2018--31.08.2018Status:Opublikowana
- Experimental Studies in General Game Playing: An Experience ReportAutorzy:Jakub Kowalski, Marek SzykułaKonferencja:AAAI 2020 Workshop on Reproducible AI (RAI@AAAI 2020) (rok: 2020, ), Wydawca: --Data:konferencja 43868Status:Opublikowana
- Regular Language Inference for Learning Rules of Simplified BoardgamesAutorzy:Jakub Kowalski, Andrzej KisielewiczKonferencja:IEEE Conference on Computational Intelligence and Games (CIG) (rok: 2018, ), Wydawca: IEEEData:konferencja 14.08.2018 -- 17.08.2018Status:Opublikowana
- Improving the Upper Bound on the Length of the Shortest Reset WordsAutorzy:Marek SzykułaKonferencja:35th Symposium on Theoretical Aspects of Computer Science (STACS 2018) (rok: 2018, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, GermanyData:konferencja 28.02.2018--3.03.2018Status:Opublikowana
- Regular BoardgamesAutorzy:Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz, Marek SzykułaKonferencja:AAAI Conference on Artificial Intelligence (rok: 2019, ), Wydawca: AAAI PressData:konferencja 27.01.2019 -- 1.02.2019Status:Opublikowana