Wyniki wyszukiwania
Znaleziono 237 projektów spełniających kryteria wyszukiwania:
-
201. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych
Kierownik: dr hab. Barbara Morawska
Uniwersytet Opolski
Konkurs: OPUS 29, panel: ST6
-
202. Analiza ilościowych modeli obliczeniowych
Kierownik: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Konkurs: SONATA BIS 14, panel: ST6
-
203. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Kierownik: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Konkurs: PRELUDIUM 23, panel: ST6
-
204. Efektywne algorytmy dla NP-trudnych problemów w grafach planarnych
Kierownik: dr Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 19, panel: ST6
-
Kierownik: Adrian Artur Makowski
Uniwersytet Warszawski, Wydział Fizyki
Konkurs: PRELUDIUM 22, panel: ST7
-
206. 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
-
207. Modele obliczeniowe w formalnej weryfikacji
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 12, panel: ST6
-
208. W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów igrafów krawędziowych
Kierownik: Jana Masaříková
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 21, panel: ST6
-
209. Problemy Spełnialności Więzów: poza przypadek skończony
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: WEAVE-UNISONO, panel: ST6
-
210. Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami
Kierownik: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Konkurs: PRELUDIUM 20, panel: ST6
-
Kierownik: dr Maciej Trusiak
Politechnika Warszawska, Wydział Mechatroniki
Konkurs: SONATA 16, panel: ST7
-
212. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Kierownik: dr hab. Michał Maria Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 19, panel: ST6
-
213. Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych
Kierownik: dr hab. Jarosław Adam Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: OPUS 17, panel: ST6
-
214. Algebraiczne techniki zrównoleglania algorytmów
Kierownik: dr Przemysław Konstanty Uznański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 17, panel: ST6
-
215. Grafowe modelowanie procesów wyszukiwania
Kierownik: dr hab. Dariusz Piotr Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 16, panel: ST6
-
216. Program optymalności w problemach homomorfizmu grafów
Kierownik: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Konkurs: SONATA 14, panel: ST6
-
217. Wokół optymalności algorytmów opartych o programowanie dynamiczne
Kierownik: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 14, panel: ST6
-
218. Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi
Kierownik: dr Maciej Drwal
Politechnika Wrocławska
Konkurs: SONATA 13, panel: ST6
-
219. Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy
Kierownik: prof. Paweł Zieliński
Politechnika Wrocławska
Konkurs: OPUS 13, panel: ST6
-
220. Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych.
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 12, panel: ST6
-
221. Szeregowanie zadań w sieciach zbierających dane
Kierownik: dr Joanna Berlińska
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: SONATA 12, panel: ST6
-
222. Modele, metody i algorytmy obliczeniowej nauki o sieciach
Kierownik: prof. Przemysław Ryszard Kazienko
Politechnika Wrocławska
Konkurs: OPUS 11, panel: ST6
-
223. Algorithmic Structure Theory for Sparse Graphs
Kierownik: Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: POLONEZ 1, panel: ST6
-
224. Przeszukiwanie struktur grafowych
Kierownik: dr hab. Dariusz Piotr Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 9, panel: ST6
-
225. Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 7, panel: ST6
-
226. Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5, panel: ST6
-
227. Algorytmy odpornej optymalizacji dyskretnej
Kierownik: dr hab. Adam Andrzej Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Konkurs: OPUS 5, panel: ST6
-
228. Aktualne trendy w algorytmach parametryzowanych i wykładniczych
Kierownik: dr hab. Łukasz Kowalik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST6
-
229. parametry modeli skończonych
Kierownik: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
230. Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Kierownik: dr Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 3, panel: ST6
-
231. 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
-
Kierownik: dr Michał Wrona
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: SONATA 1, panel: ST6
-
Kierownik: prof. Zbigniew Ludwik Kowalewski
Instytut Podstawowych Problemów Techniki Polska Akademia Nauk
Konkurs: OPUS 26, panel: ST8
-
Kierownik: Michał Marcin Kalisiak
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Konkurs: PRELUDIUM 19, panel: ST7
-
235. Termo-hydrodynamiczna analiza procesu tworzenia kawern cieczy nienewtonowskich w mieszalnikach
Kierownik: prof. Zdzisław Jaworski
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Technologii i Inżynierii Chemicznej
Konkurs: OPUS 13, panel: ST8
-
Kierownik: prof. Włodzimierz Bochniak
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych
Konkurs: OPUS 2, panel: ST8
-
237. Weryfikacja kryteriów wieloosiowego losowego zmęczenia
Kierownik: prof. Tadeusz Józef Łagoda
Politechnika Opolska, Wydział Mechaniczny
Konkurs: OPUS 1, panel: ST8