Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wnioskowanie ilościowe odporne na perturbacje

2020/39/B/ST6/00521

Słowa kluczowe:

logika automaty podejście ilościowe

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna, algorytmy kwantowe

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.

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Jakub Dawid Michaliszyn 

Liczba wykonawców projektu: 3

Konkurs: OPUS 20 - ogłoszony 2020-09-15

Przyznana kwota: 401 400 PLN

Rozpoczęcie projektu: 2021-10-01

Zakończenie projektu: 2025-09-30

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

Status projektu: Projekt w realizacji

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

  • Teksty w publikacjach pokonferencyjnych (4)
  1. Learning Deterministic Visibly Pushdown Automata Under Accessible Stack
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) (rok: 2022, tom: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), strony: 74:1--74:16), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
    Data:
    konferencja 22 sie 2022 – 26 sie 2022
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.MFCS.2022.74 - link do publikacji
  2. Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.
    Autorzy:
    Jakub Michaliszyn,Jan Otop, Piotr Wieczorek
    Konferencja:
    34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium (rok: 2023, tom: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, strony: 3:1--3:16), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 18-23 września 2023
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.CONCUR.2023.3 - link do publikacji
  3. Learning Deterministic Visibly Pushdown Automata Under Accessible Stack
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) (rok: 2022, tom: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), strony: 74:1--74:16), Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik
    Data:
    konferencja 22 sie 2022 – 26 sie 2022
    Status:
    Opublikowana
    Doi:
    10.4230/LIPIcs.MFCS.2022.74 - link do publikacji
  4. Deterministic weighted automata under partial observability
    Autorzy:
    Jakub Michaliszyn, Jan Otop
    Konferencja:
    Logics in Artificial Intelligence : 18th European Conference, JELIA 2023 (rok: 2023, tom: 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), strony: 771-784), Wydawca: Springer
    Data:
    konferencja 20-22 września 2023
    Status:
    Opublikowana
    Doi:
    10.1007/978-3-031-43619-2_52 - link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy