Wyniki wyszukiwania
Znaleziono 9 projektów spełniających kryteria wyszukiwania:
-
1. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Konkurs: OPUS 28, panel: ST6
-
2. Modele obliczeniowe w formalnej weryfikacji
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 12, panel: ST6
-
3. Na granicy niemożliwego w klasycznej teorii automatów
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski
Konkurs: OPUS 28, panel: ST6
-
4. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Kierownik: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Konkurs: PRELUDIUM 23, panel: ST6
-
5. 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
-
6. Modele obliczeń rozszerzone o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 18, panel: ST6
-
7. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 14, panel: ST6
-
8. Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 12, panel: ST6
-
9. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 11, panel: ST6