Projekty finansowane przez NCN

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