Projekty finansowane przez NCN

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

Konkurs: MAESTRO 1 , panel: ST6

Kierownik: prof. Marek Kubale

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Wydajne algorytmy parsowania dla języków o szyku swobodnym

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Paweł Marek Skórzewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Obliczenia bazujące na percepcji

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Piotr Tomasz Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badanie własności koalicji i zbiorów bezpiecznych w grafach rozumianych jako podzbiory wierzchołków spełniające określon...

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Katarzyna Jesse-Józefczyk

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Gry kwantowe: teoria i implementacja

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Jan Antoni Sładkowski

UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

DATALOG w Problemie Spełnialności Więzów

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Teorioinformacyjne wnioskowanie abdukcyjne dla rekomendacji kontekstowej

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Andrzej Michał Szwabe

Politechnika Poznańska, Wydział Elektryczny