Zmiana języka

Projects search

Algorithmic aspects of synchronization

2015/17/B/ST6/01893

Keywords

Descriptors

  • 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 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Voivodeship: małopolskie

Other projects carried out by the institution »

Principal investigator (from the host institution)

dr Adam Roman

Number of co-investigators in the project: 4

Call

OPUS 9 – announced on 2015-03-16

Amount awarded
289 200 PLN
Project start date
2016-02-02
Project end date
2019-02-01
Project duration
36 months (the same as in the proposal)
Project status
Project settled

Project description

Download the project description in a pdf file

Note — project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

Publication in academic press/journals (2)

  1. A Machine Learning Approach to Synchronization of Automata

    Authors:
    Igor Podolak, Adam Roman, Marek Szykuła, Bartosz Zieliński
    Academic press:
    Expert Systems with Applications (year: 2017, volume: 97, pages: 357-371), Publisher: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.eswa.2017.12.043 – link to the publication

  2. Complexity of Road Coloring with Prescribed Reset Words

    Authors:
    Vojtech Vorel, Adam Roman
    Status:
    Accepted for publication

Articles in post-conference publications (9)

  1. Regular Language Inference for Learning Rules of Simplified Boardgames

    Authors:
    Jakub Kowalski, Andrzej Kisielewicz
    Conference:
    Conference on Computational Intelligence and Games (year: 2018, pages: 78-85), Publisher: IEEE
    Date:
    conference 43357
    Status:
    Published

  2. Mapping Chess Aesthetics onto Procedurally Generated Chess-Like Games

    Authors:
    Jakub Kowalski, Antonios Liapis, Łukasz Żarczyński
    Conference:
    EvoApplications 2018: Applications of Evolutionary Computation (year: 2018, pages: 325-341), Publisher: Springer
    Date:
    conference 43194
    Status:
    Published

  3. Implementing Propositional Networks on FPGA

    Authors:
    Cezary Siwek, Jakub Kowalski, Chiara F. Sironi, Mark H.M. Winands
    Conference:
    Australasian Joint Conference on Artificial Intelligence (year: 2018, pages: 133-145), Publisher: Springer
    Date:
    conference 43445
    Status:
    Published

  4. Evaluating Chess-Like Games Using Generated Natural Language Descriptions

    Authors:
    Jakub Kowalski, Łukasz Żarczyński, Andrzej Kisielewicz
    Conference:
    Advances in Computer Games (year: 2017, pages: 127-139), Publisher: Springer
    Date:
    conference ACG 2017
    Status:
    Published
    DOI:
    link to the publication

  5. Data Validaion Using Model-Based Testing and Finite Automata Synchronization

    Authors:
    Adam Roman
    Conference:
    1st International Conference on Applied Mathematics and Computer Science (year: 2017, pages: od 020007-1 do 020007-8), Publisher: AIP
    Date:
    conference 27-29 stycznia 2017
    Status:
    Published
    DOI:
    link to the publication

  6. Variational Auto-Encoders for Generating Feature-Preserving Automata

    Authors:
    Igor Podolak, Adam Roman, Arkadiusz Czekajski, Bartosz Zieliński
    Conference:
    The 11th International Workshop on Non-Classical Models of Automata and Applications (year: 2019, pages: 171-185), Publisher: Austrian Computer Society
    Date:
    conference 2-3 lipca 2019
    Status:
    Published

  7. Experiments with Synchronizing Automata

    Authors:
    Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła
    Conference:
    Implementation and Application of Automata (CIAA 2016) (year: 2016, pages: 176-188), Publisher: Springer, LNCS 9705
    Date:
    conference 2016
    Status:
    Published
    DOI:
    link to the publication

  8. An Extremal Series of Eulerian Synchronizing Automata

    Authors:
    Marek Szykuła, Vojtech Vorel
    Conference:
    Developments in Language Theory, DLT 2016 (year: 2016, pages: 380-392), Publisher: Springer, LNCS 9840
    Date:
    conference 2016
    Status:
    Published
    DOI:
    link to the publication

  9. A New Evolutionary Algorithm for Synchronization

    Authors:
    Jakub Kowalski, Adam Roman
    Conference:
    EVO 2017 (year: 2017, pages: 620-635), Publisher: Lecture Notes in Computer Science 10199
    Status:
    Accepted for publication

« New search

Graphic design and implementation: Jakub Piotrowski