Wyniki wyszukiwania
Znaleziono 6 projektów spełniających kryteria wyszukiwania:
-
1. Hi-Ox: Podróż do rdzenia atomu - przełamywanie barier dostępnych stopni utlenienia atomów metali.
Kierownik: dr hab. Paweł Szarek
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Konkurs: OPUS 11, panel: ST4
-
2. Równoległe i dokładne algorytmy dla problemów ścieżkowych w grafach skierowanych
Kierownik: dr Adam Karol Karczmarz
IDEAS NCBR Sp. z o.o.
Konkurs: SONATA 18, panel: ST6
-
3. Granice automatycznej analizy systemów współbieżnych
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 21, panel: ST6
-
4. Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza.
Kierownik: dr Adam Karol Karczmarz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 15, panel: ST6
-
5. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST6
-
6. Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 3, panel: ST6