Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wybrane zagadnienia kompresji gramatykowej

2017/26/E/ST6/00191

Słowa kluczowe:

Kompresja gramatykowa SLP Rekompresja Równania słów

Deskryptory:

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

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 hab. Artur Jeż 

Liczba wykonawców projektu: 8

Konkurs: SONATA BIS 7 - ogłoszony 2017-06-14

Przyznana kwota: 1 760 200 PLN

Rozpoczęcie projektu: 2018-04-20

Zakończenie projektu: 2023-10-19

Planowany czas trwania projektu: 66 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 (2)
  • Teksty w publikacjach pokonferencyjnych (9)
  1. Balancing Straight-line Programs
    Autorzy:
    Moses Ganardi, Artur Jeż, Markus Lohrey
    Czasopismo:
    Journal of the ACM (rok: 2021, tom: 2,83611111111111, strony: 27:1–27:40), Wydawca: ACM
    Status:
    Opublikowana
    Doi:
    10.1145/3457389 - link do publikacji
  2. The Smallest Grammar Problem Revisited
    Autorzy:
    Hideo Bannai, Momoko Hirayama, Danny Hucke, Shunsuke Inenaga, Artur Jeż, Markus Lohrey, Carl Philipp Reh
    Czasopismo:
    IEEE Transactions on Information Theory (rok: 2021, tom: 2,79236111111111, strony: 317–328), Wydawca: IEEE
    Status:
    Opublikowana
    Doi:
    10.1109/TIT.2020.3038147 - link do publikacji
  1. Solving Word Equations (And Other Unification Problems) by Recompression
    Autorzy:
    Artur Jeż
    Konferencja:
    28th EACSL Annual Conference on Computer Science Logic (CSL 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 13–16.01.2020
    Status:
    Opublikowana
    Doi:
    link do publikacji
  2. Parikh's Theorem Made Symbolic
    Autorzy:
    Matthew Hague, Artur Jeż, Anthony W. Lin
    Konferencja:
    51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024) (rok: 2024, ), Wydawca: ACM
    Data:
    konferencja 17–19.01.2024
    Status:
    Opublikowana
  3. Data Path Queries over Embedded Graph Databases
    Autorzy:
    Diego Figueira, Artur Jeż, Anthony W. Lin
    Konferencja:
    International Conference on Management of Data (PODS '22); dawniej Principles of Database Systems (rok: 2022, ), Wydawca: ACM
    Data:
    konferencja 12–17.06.2022
    Status:
    Opublikowana
  4. Solving One Variable Word Equations in the Free Group in Cubic Time
    Autorzy:
    Robert Ferens, Artur Jeż
    Konferencja:
    38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021) (rok: 2021, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 16–18.03.2021
    Status:
    Opublikowana
    Doi:
    link do publikacji
  5. Towards Better Compressed Representations
    Autorzy:
    Michał Gańczorz
    Konferencja:
    2020 Data Compression Conference (DCC 2020) (rok: 2020, ), Wydawca: IEEE Computer Society Conference Publishing Services
    Data:
    konferencja 24–27.03.2020
    Status:
    Opublikowana
  6. Using Statistical Encoding to Achieve Tree Succinctness Never Seen Before
    Autorzy:
    Michał Gańczorz
    Konferencja:
    37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020) (rok: 2020, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
    Data:
    konferencja 10–13.03.2020
    Status:
    Opublikowana
    Doi:
    link do publikacji
  7. Balancing Straight-Line Programs
    Autorzy:
    Moses Ganardi, Artur Jeż, Markus Lohrey
    Konferencja:
    IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS) (rok: 2019, ), Wydawca: IEEE
    Data:
    konferencja 9-12.11.2019
    Status:
    Opublikowana
  8. Decision Procedures for Sequence Theories
    Autorzy:
    Artur Jeż, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
    Konferencja:
    35th International Conference on Computer Aided Verification (CAV) (rok: 2023, ), Wydawca: Springer
    Data:
    konferencja 17–22.07.2023
    Status:
    Opublikowana
    Doi:
    link do publikacji
  9. Entropy Lower Bounds for Dictionary Compression
    Autorzy:
    Michał Gańczorz
    Konferencja:
    30th Annual Symposium on Combinatorial Pattern Matching (CPM) (rok: 2019, ), Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 2019-06-18–2019-06-20
    Status:
    Opublikowana
    Doi:
    link do publikacji

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy