Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Synchronizacja automatów i hipoteza Cerny'ego

2013/09/N/ST6/01194

Słowa kluczowe:

automat synchronizowalny słowo resetujące hipoteza Cerny'ego

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
  • ST6_6: Algorytmika, algorytmy równoległe, rozproszone i sieciowe, algorytmiczna teoria gier
  • ST1_15: Matematyczne aspekty informatyki

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne, m.in.:

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: 2

Konkurs: PRELUDIUM 5 - ogłoszony 2013-03-15

Przyznana kwota: 76 550 PLN

Rozpoczęcie projektu: 2014-03-25

Zakończenie projektu: 2016-03-24

Planowany czas trwania projektu: 24 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer stacjonarny dobrej klasy. Za kwotę 7 000 PLN

Dane z raportu końcowego

  • Publikacje w czasopismach (2)
  • Teksty w publikacjach pokonferencyjnych (10)
  1. Forward and backward synchronizing algorithms IF: 2,24
    Autorzy:
    Adam Roman, Marek Szykuła
    Czasopismo:
    Expert Systems with Applications (rok: 2015, tom: 42, strony: 9512--9527), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1016/j.eswa.2015.07.071 - link do publikacji
  2. Syntactic Complexity of Regular Ideals IF: ,645
    Autorzy:
    Janusz Brzozowski, Marek Szykuła, Yuli Ye
    Czasopismo:
    Theory of Computing Systems (rok: 2018, tom: 62, strony: 1175--1202), Wydawca: Elsevier
    Status:
    Opublikowane
    Doi:
    10.1007/s00224-017-9803-8 - link do publikacji
  1. Checking Whether an Automaton Is Monotonic Is NP-complete
    Autorzy:
    Marek Szykuła
    Konferencja:
    20th International Conference on Implementation and Application of Automata (CIAA 2015) (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 18.08.2015--21.08.2015
    Status:
    Opublikowane
  2. Large Aperiodic Semigroups
    Autorzy:
    Janusz Brzozowski, Marek Szykuła
    Konferencja:
    19th International Conference Implementation and Application of Automata (rok: 2014, ), Wydawca: Springer International Publishing
    Data:
    konferencja 30.07.2014 - 02.08.2014
    Status:
    Opublikowane
  3. On the Number of Synchronizing Colorings of Digraphs
    Autorzy:
    Vladimir V. Gusev, Marek Szykuła
    Konferencja:
    20th International Conference on Implementation and Application of Automata (CIAA 2015) (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 18.08.2015--21.08.2015
    Status:
    Opublikowane
  4. Synchronizing Automata with Extremal Properties
    Autorzy:
    Andrzej Kisielewicz, Marek Szykuła
    Konferencja:
    40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) (rok: 2015, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 24.08.2015--28.08.2015
    Status:
    Opublikowane
  5. Complexity of Suffix-Free Regular Languages
    Autorzy:
    Janusz Brzozowski, Marek Szykuła
    Konferencja:
    20th International Symposium on Fundamentals of Computation Theory (FCT 2015) (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 17.08.2015--19.08.2015
    Status:
    Opublikowane
  6. Algebraic Synchronization Criterion and Computing Reset Words
    Autorzy:
    Mikhail Berlinkov, Marek Szykuła
    Konferencja:
    40th International Symposium on Mathematical Foundations of Computer Science (MFCS 2015) (rok: 2015, ), Wydawca: Springer Berlin Heidelberg
    Data:
    konferencja 24.08.2015--28.08.2015
    Status:
    Opublikowane
  7. Evolving Chess-like Games Using Relative Algorithm Performance Profiles
    Autorzy:
    Jakub Kowalski, Marek Szykuła
    Konferencja:
    19th European Conference on the Applications of Evolutionary Computation (EvoApplications 2015) (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 30.03.2016--01.04.2016
    Status:
    Opublikowane
  8. Upper Bounds on Syntactic Complexity of Left and Two-Sided Ideals
    Autorzy:
    Janusz Brzozowski, Marek Szykuła
    Konferencja:
    18th International Conference on Developments in Language Theory (rok: 2014, ), Wydawca: Springer International Publishing
    Data:
    konferencja 26.08.2014 - 29.08.2014
    Status:
    Opublikowane
  9. Experiments with Synchronizing Automata
    Autorzy:
    Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła
    Konferencja:
    21st International Conference on Implementation and Application of Automata (CIAA 2016) (rok: 2016, ), Wydawca: Springer International Publishing
    Data:
    konferencja 19.07.2016--22.07.2016
    Status:
    Opublikowane
  10. Upper Bound on Syntactic Complexity of Suffix-Free Languages
    Autorzy:
    Janusz Brzozowski, Marek Szykuła
    Konferencja:
    17th International Workshop on Descriptional Complexity of Formal Systems (DCFS 2015) (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 25.06.2015--27.06.2015
    Status:
    Opublikowane