Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Algorytmiczne aspekty synchronizacji

2015/17/B/ST6/01893

Słowa kluczowe:

automaty synchronizacja problem kolorowania drogi hipoteza Cernego słowo synchronizujące złożoność algorytm

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
  • 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 Jagielloński, Wydział Matematyki i Informatyki

woj. małopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Adam Roman 

Liczba wykonawców projektu: 4

Konkurs: OPUS 9 - ogłoszony 2015-03-16

Przyznana kwota: 289 200 PLN

Rozpoczęcie projektu: 2016-02-02

Zakończenie projektu: 2019-02-01

Planowany czas trwania projektu: 36 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.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (3)
  • Teksty w publikacjach pokonferencyjnych (10)
  1. A Machine Learning Approach to Synchronization of Automata
    Autorzy:
    Igor Podolak, Adam Roman, Marek Szykuła, Bartosz Zieliński
    Czasopismo:
    Expert Systems with Applications (rok: 2017, tom: 97, strony: 357-371), Wydawca: Elsevier
    Status:
    Opublikowana
    Doi:
    10.1016/j.eswa.2017.12.043 - link do publikacji
  2. Synchronizing sequences for road colored digraphs
    Autorzy:
    Mariusz Grech, Andrzej Kisielewicz
    Czasopismo:
    DMTCS , Wydawca: Episciences
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  3. Complexity of Road Coloring with Prescribed Reset Words
    Autorzy:
    Vojtech Vorel, Adam Roman
    Czasopismo:
    Journal of Computer Systems and Sciences (rok: 2019, tom: 104, strony: 342-358), Wydawca: Elsevier
    Status:
    Przyjęta do publikacji
    Doi:
    10.1016/j.jcss.2016.05.009 - link do publikacji
  1. Data Validaion Using Model-Based Testing and Finite Automata Synchronization
    Autorzy:
    Adam Roman
    Konferencja:
    1st International Conference on Applied Mathematics and Computer Science (rok: 2017, ), Wydawca: AIP
    Data:
    konferencja 27-29 stycznia 2017
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Variational Auto-Encoders for Generating Feature-Preserving Automata
    Autorzy:
    Igor Podolak, Adam Roman, Arkadiusz Czekajski, Bartosz Zieliński
    Konferencja:
    The 11th International Workshop on Non-Classical Models of Automata and Applications (rok: 2019, ), Wydawca: Austrian Computer Society
    Data:
    konferencja 2-3 lipca 2019
    Status:
    Opublikowana
  3. Synchronizing Incomplete Automata
    Autorzy:
    A. Ryzhikov, M. Szykuła
    Konferencja:
    --- (rok: 2016, ), Wydawca: LIPIcs–Leibniz International Proceedings in Informatics
    Data:
    konferencja ---
    Status:
    Złożona
  4. Experiments with Synchronizing Automata
    Autorzy:
    Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła
    Konferencja:
    Implementation and Application of Automata (CIAA 2016) (rok: 2016, ), Wydawca: Springer, LNCS 9705
    Data:
    konferencja 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. Implementing Propositional Networks on FPGA
    Autorzy:
    Cezary Siwek, Jakub Kowalski, Chiara F. Sironi, Mark H.M. Winands
    Konferencja:
    Australasian Joint Conference on Artificial Intelligence (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja 43445
    Status:
    Opublikowana
  6. Mapping Chess Aesthetics onto Procedurally Generated Chess-Like Games
    Autorzy:
    Jakub Kowalski, Antonios Liapis, Łukasz Żarczyński
    Konferencja:
    EvoApplications 2018: Applications of Evolutionary Computation (rok: 2018, ), Wydawca: Springer
    Data:
    konferencja 43194
    Status:
    Opublikowana
  7. A New Evolutionary Algorithm for Synchronization
    Autorzy:
    Jakub Kowalski, Adam Roman
    Konferencja:
    EVO 2017 (rok: 2017, ), Wydawca: Lecture Notes in Computer Science 10199
    Data:
    konferencja 2017
    Status:
    Przyjęta do publikacji
    Doi:
    link do publikacji
  8. An Extremal Series of Eulerian Synchronizing Automata
    Autorzy:
    Marek Szykuła, Vojtech Vorel
    Konferencja:
    Developments in Language Theory, DLT 2016 (rok: 2016, ), Wydawca: Springer, LNCS 9840
    Data:
    konferencja 2016
    Status:
    Opublikowana
    Doi:
    link do publikacji
  9. Evaluating Chess-Like Games Using Generated Natural Language Descriptions
    Autorzy:
    Jakub Kowalski, Łukasz Żarczyński, Andrzej Kisielewicz
    Konferencja:
    Advances in Computer Games (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja ACG 2017
    Status:
    Opublikowana
    Doi:
    link do publikacji
  10. Regular Language Inference for Learning Rules of Simplified Boardgames
    Autorzy:
    Jakub Kowalski, Andrzej Kisielewicz
    Konferencja:
    Conference on Computational Intelligence and Games (rok: 2018, ), Wydawca: IEEE
    Data:
    konferencja 43357
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy