Projekty finansowane przez NCN

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

Podstawowe zagadnienia teorii informacji kwantowej oraz dyskryminacji stanów i operacji kwantowych

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Andrzej Łuczak

Uniwersytet Łódzki, 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

Matematyka pól kwantowych i kwantyzacji

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Jan Dereziński

Uniwersytet Warszawski, Wydział Fizyki

Topologiczne grupy kwantowe i kwantowe rodziny odwzorowań

Konkurs: OPUS 1 , panel: ST1

Kierownik: dr hab. Piotr Mikołaj Sołtan

Uniwersytet Warszawski, Wydział Fizyki

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