Change language

Wyszukiwarka projektów

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

2017/25/B/ST6/01920

Słowa kluczowe

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

Inne projekty tej jednostki »

Kierownik projektu (z jednostki realizującej)

dr Marek Szykuła

Liczba wykonawców projektu: 5

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ące (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

  1. Komputer stacjonarny.
  2. Laptop. Za kwotę 8 000 PLN

Dane z raportu końcowego/rocznego

Publikacje w czasopismach (4)

  1. Preimage problems for deterministic finite automata

    Autorzy:
    Mikhail V. Berlinkov, Robert Ferens, Marek Szykuła
    Czasopismo:
    Journal of Computer and System Sciences (rok: 2021, tom: 115, strony: 214-234), Wydawca: Elsevier
    Status:
    Opublikowana
    DOI:
    10.1016/j.jcss.2020.08.002 – link do publikacji

  2. The Frobenius and Factor Universality Problems of the Kleene Star of a Finite Set of Words

    Autorzy:
    Maksymilian Mika, Marek Szykuła
    Czasopismo:
    Journal of the ACM (rok: 2021, tom: 68, strony: 18:1--18:22), Wydawca: Association for Computing Machinery
    Status:
    Opublikowana
    DOI:
    10.1145/3447237 – link do publikacji

  3. Complexity of bifix-free regular languages

    Autorzy:
    Robert Ferens, Marek Szykuła
    Czasopismo:
    Theoretical Computer Science (rok: 2019, tom: 787, strony: 14--27), Wydawca: Elsevier
    Status:
    Opublikowana
    DOI:
    10.1016/j.tcs.2018.09.016 – link do publikacji

  4. Syntactic complexity of bifix-free regular languages

    Autorzy:
    Marek Szykuła, John Wittnebel
    Czasopismo:
    Theoretical Computer Science (rok: 2019, tom: 787, strony: 45--76), Wydawca: Elsevier
    Status:
    Opublikowana
    DOI:
    10.1016/j.tcs.2018.12.025 – link do publikacji

Teksty w publikacjach pokonferencyjnych (11)

  1. Synchronizing Strongly Connected Partial DFAs

    Autorzy:
    Mikhail V. Berlinkov, Robert Ferens, Andrew Ryzhikov, Marek Szykuła
    Konferencja:
    Symposium on Theoretical Aspects of Computer Science (STACS 2021) (rok: 2021, strony: 12:1--12:16), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja 2021.03.16--2021.03.19
    Status:
    Opublikowana
    DOI:
    link do publikacji

  2. Efficient Reasoning in Regular Boardgames

    Autorzy:
    Jakub Kowalski, Radosław Miernik, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Andrzej Tkaczyk
    Konferencja:
    IEEE Conference on Games (CoG 2020) (rok: 2020, strony: 455--462), Wydawca: IEEE
    Data:
    konferencja 24.08.2020--27.08.2020
    Status:
    Opublikowana

  3. Lower Bounds on Avoiding Thresholds

    Autorzy:
    Robert Ferens, Marek Szykuła, Vojtěch Vorel
    Konferencja:
    46rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) (rok: 2021, strony: 46:1--46:14), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany
    Data:
    konferencja 2021.08.23--2021.08.27
    Status:
    Opublikowana

  4. Evolutionary Approach to Collectible Arena Deckbuilding using Active Card Game Genes

    Autorzy:
    Jakub Kowalski, Radosław Miernik
    Konferencja:
    2020 IEEE Congress on Evolutionary Computation (CEC) (rok: 2020, strony: --), Wydawca: IEEE
    Data:
    konferencja 2020.07.19--2020.07.24
    Status:
    Opublikowana

  5. Improving the Upper Bound on the Length of the Shortest Reset Words

    Autorzy:
    Marek Szykuła
    Konferencja:
    35th Symposium on Theoretical Aspects of Computer Science (STACS 2018) (rok: 2018, strony: 56:1--56:13), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja 28.02.2018--3.03.2018
    Status:
    Opublikowana
    DOI:
    link do publikacji

  6. Regular Language Inference for Learning Rules of Simplified Boardgames

    Autorzy:
    Jakub Kowalski, Andrzej Kisielewicz
    Konferencja:
    IEEE Conference on Computational Intelligence and Games (CIG) (rok: 2018, strony: 78--85), Wydawca: IEEE
    Data:
    konferencja 14.08.2018 -- 17.08.2018
    Status:
    Opublikowana

  7. Existential Length Universality

    Autorzy:
    Paweł Gawrychowski, Martin Lange, Narad Rampersad, Jeffrey Shallit, Marek Szykuła
    Konferencja:
    37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020) (rok: 2020, strony: 16:1--16:14), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja 2020-03-10 -- 2020-03-13
    Status:
    Opublikowana

  8. Experimental Studies in General Game Playing: An Experience Report

    Autorzy:
    Jakub Kowalski, Marek Szykuła
    Konferencja:
    AAAI 2020 Workshop on Reproducible AI (RAI@AAAI 2020) (rok: 2020, strony: --), Wydawca: --
    Data:
    konferencja 43868
    Status:
    Opublikowana

  9. Regular Boardgames

    Autorzy:
    Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz, Marek Szykuła
    Konferencja:
    AAAI Conference on Artificial Intelligence (rok: 2019, strony: 1699--1706), Wydawca: AAAI Press
    Data:
    konferencja 27.01.2019 -- 1.02.2019
    Status:
    Opublikowana
    DOI:
    link do publikacji

  10. Finding Short Synchronizing Words for Prefix Codes

    Autorzy:
    Andrew Ryzhikov, Marek Szykuła
    Konferencja:
    43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) (rok: 2018, strony: 21:1--21:14), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
    Data:
    konferencja 27.08.2018--31.08.2018
    Status:
    Opublikowana
    DOI:
    link do publikacji

  11. Complexity of Preimage Problems for Deterministic Finite Automata

    Autorzy:
    Mikhail V. Berlinkov, Robert Ferens, Marek Szykuła
    Konferencja:
    43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) (rok: 2018, strony: 32:1--32:14), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
    Data:
    konferencja 27.08.2018--31.08.2018
    Status:
    Opublikowana
    DOI:
    link do publikacji

« Nowe wyszukiwanie

Projekt graficzny i wykonanie: Jakub Piotrowski