Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Wydajne obliczenia kwantowe wyższego rzędu
Konkurs: SONATA BIS 14 , panel: ST2
Kierownik: dr hab. Michał Studziński
Uniwersytet Gdański
-
Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych
Konkurs: OPUS 17 , panel: ST6
Kierownik: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
-
Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"
Konkurs: OPUS 2 , panel: ST6
Kierownik: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki