Wyniki wyszukiwania
Znaleziono 10 projektów spełniających kryteria wyszukiwania:
-
1. Układy dynamiczne i złożoność opisowa
Kierownik: dr Felipe García-Ramos Aguilar
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA 18, panel: ST1
-
2. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych
Kierownik: dr hab. Barbara Morawska
Uniwersytet Opolski
Konkurs: OPUS 29, panel: ST6
-
3. Złożoność i opisywalność borelowska w analizie: od wolności do polskości
Kierownik: dr hab. Tomasz Marcin Kania
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 13, panel: ST1
-
4. Automation of the Problem of Unification in Description Logics
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Konkurs: POLONEZ BIS 3, panel: ST6
-
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Konkurs: OPUS 5, panel: ST6
-
Kierownik: dr hab. Mariusz Jacek Białecki
Instytut Geofizyki PAN
Konkurs: OPUS 14, panel: ST10
-
7. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Kierownik: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Konkurs: PRELUDIUM 23, panel: ST6
-
8. DATALOG w Problemie Spełnialności Więzów
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 1, panel: ST6
-
9. Polonizowalność analitycznych relacji równoważności i uogólniona analiza Scotta
Kierownik: Mateusz Lichman
Politechnika Łódzka
Konkurs: PRELUDIUM 24, panel: ST1
-
10. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych
Kierownik: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: OPUS 6, panel: HS1