Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Granice baz danych

2016/21/D/ST6/01485

Słowa kluczowe:

zapytania koniunkcyjne granice grafów

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_10: Technologie i systemy informatyczne, bazy danych, technologie internetowe w tym wyszukiwanie informacji i biblioteki cyfrowe

Panel:

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

Jednostka realizująca:

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr Szymon Toruńczyk 

Liczba wykonawców projektu: 3

Konkurs: SONATA 11 - ogłoszony 2016-03-15

Przyznana kwota: 342 630 PLN

Rozpoczęcie projektu: 2017-02-20

Zakończenie projektu: 2021-02-19

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

Zakupiona aparatura

  1. tablet.
  2. drukarka.
  3. Komputer stacjonarny. Za kwotę 8 000 PLN
  4. Laptop (2 szt.). Za kwotę 16 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (1)
  • Teksty w publikacjach pokonferencyjnych (8)
  1. Definable isomorphism problem
    Autorzy:
    Keshvardoost, Khadijeh and Klin, Bartek and Lasota, Sławomir and Ochremiak, Joanna and Toruńczyk, Szymon
    Czasopismo:
    Logical Methods in Computer Science (rok: 2019, tom: 15, strony: 14:1-14:19), Wydawca: Computing Research Repository
    Status:
    Opublikowana
    Doi:
    10.23638/LMCS-15(4:14)2019 - link do publikacji
  1. On computability and tractability for infinite sets
    Autorzy:
    Mikołaj Bojańczyk, Szymon Toruńczyk
    Konferencja:
    Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018 (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 09-12 lipca 2018
    Status:
    Opublikowana
  2. First-Order Interpretations of Bounded Expansion Classes
    Autorzy:
    Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk
    Konferencja:
    International Colloquium on Automata, Languages and Programming (ICALP) 2018 (rok: 2018, ), Wydawca: Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany
    Data:
    konferencja 9-13 lipca 2018
    Status:
    Opublikowana
  3. On the number of types in sparse graphs
    Autorzy:
    Michał Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk
    Konferencja:
    Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018 (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 09-12 lipca 2018
    Status:
    Opublikowana
  4. Aggregate queries on sparse databases
    Autorzy:
    Szymon Toruńczyk
    Konferencja:
    Symposium on Principles of Database Systems (PODS 2020) (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja Lipiec 2020
    Status:
    Opublikowana
  5. Finite Query Answering in Expressive Description Logics with Transitive Roles
    Autorzy:
    Tomasz Gogacz, Yazmin Angélica Ibáñez-García, Filip Murlak
    Konferencja:
    Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR) 2018 (rok: 2018, ), Wydawca: AAAI Press
    Data:
    konferencja 30 październik-2 listopad 2018
    Status:
    Opublikowana
  6. Parameterized circuit complexity of model-checking on sparse structures
    Autorzy:
    Michal Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk
    Konferencja:
    Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2018 (rok: 2018, ), Wydawca: ACM
    Data:
    konferencja 9-12 lipca 2018
    Status:
    Opublikowana
  7. Progressive Algorithms for Domination and Independence
    Autorzy:
    Grzegorz Fabianski, Michał Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk
    Konferencja:
    36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019 (rok: 2019, ), Wydawca: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
    Data:
    konferencja 43507
    Status:
    Opublikowana
  8. Uniformisations of Regular Relations Over Bi-Infinite Words
    Autorzy:
    Grzegorz Fabiański, Michał Skrzypczak, Szymon Toruńczyk
    Konferencja:
    35th Annual Symposium on Logic in Computer Science (LICS 2020) (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja Lipiec 2020
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy