Wyniki wyszukiwania
Znaleziono 113 projektów spełniających kryteria wyszukiwania:
-
101. Kolorowanie z list on-line
Kierownik: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA 2, panel: ST6
-
102. Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych
Kierownik: prof. Jarosław Andrzej Grytczuk
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
103. Procedury decyzyjne w weryfikacji
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
104. Rozgrywany podział grafów: strategie i algorytmy
Kierownik: dr Bartosz Maria Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 2, panel: ST6
-
105. Wokół logik modalnych - rozstrzygalność i złożoność
Kierownik: Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 2, panel: ST6
-
106. Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych
Kierownik: prof. Marek Kubale
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: MAESTRO 1, panel: ST6
-
107. Wydajne algorytmy parsowania dla języków o szyku swobodnym
Kierownik: Paweł Marek Skórzewski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 1, panel: ST6
-
108. Obliczenia bazujące na percepcji
Kierownik: dr Piotr Tomasz Wasilewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 1, panel: ST6
-
Kierownik: dr Michał Wrona
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: SONATA 1, panel: ST6
-
110. Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania
Kierownik: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 1, panel: ST6
-
111. Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.
Kierownik: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 1, panel: ST6
-
Kierownik: Katarzyna Jesse-Józefczyk
Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii
Konkurs: PRELUDIUM 1, panel: ST6
-
113. 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