Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 6 projektów spełniających kryteria wyszukiwania:
-
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Równoległe i dokładne algorytmy dla problemów ścieżkowych w grafach skierowanych
Konkurs: SONATA 18 , panel: ST6
Kierownik: dr Adam Karczmarz
IDEAS NCBR Sp. z o.o.
-
Dynamika holomorficzna, fraktale, formalizm termodynamiczny
Konkurs: OPUS 21 , panel: ST1
Kierownik: prof. Feliks Przytycki
Instytut Matematyczny Polskiej Akademii Nauk
-
Granice automatycznej analizy systemów współbieżnych
Konkurs: OPUS 21 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza.
Konkurs: PRELUDIUM 15 , panel: ST6
Kierownik: dr Adam Karczmarz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki