Wyniki wyszukiwania
Znaleziono 215 projektów spełniających kryteria wyszukiwania:
-
201. Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
Kierownik: Adam Kazimierz Dziekoński
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: ETIUDA 1, panel: ST7
-
202. Nowe metody parametrycznej weryfikacji modelowej
Kierownik: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
Konkurs: PRELUDIUM 4, panel: ST6
-
203. Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 4, panel: ST6
-
204. Złożoność obliczeniowa problemów spójności w grafach
Kierownik: dr hab. Marcin Jakub Kamiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
205. Problemy skalowalności i adaptacyjności w metodyce typu "Data Farming"
Kierownik: dr Dariusz Piotr Król
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: PRELUDIUM 3, panel: ST6
-
206. Oszczędne pamięciowo algorytmy przetwarzania i analizy danych z sekwencjonowania genomów
Kierownik: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: OPUS 3, panel: ST6
-
207. Liczby Ramseya z udziałem grafu C_4
Kierownik: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Konkurs: PRELUDIUM 3, panel: ST6
-
208. Projektowanie i weryfikacja algorytmów sterowania w sieciowych układach regulacji
Kierownik: dr hab. Przemysław Ignaciuk
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej
Konkurs: SONATA 3, panel: ST6
-
Kierownik: prof. Adam Borkowski
Instytut Podstawowych Problemów Techniki Polska Akademia Nauk
Konkurs: OPUS 3, panel: ST6
-
210. Algorytmy parametryzowane w problemach grafowych oraz wyszukiwaniu wzorca permutacji.
Kierownik: dr Marek Adam Cygan
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 3, panel: ST6
-
211. Metodyka tworzenia modeli semantycznych na podstawie obserwacji robota mobilnego
Kierownik: dr Janusz Będkowski
Instytut Maszyn Matematycznych
Konkurs: SONATA 2, panel: ST6
-
Kierownik: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
Konkurs: PRELUDIUM 2, panel: ST6
-
213. Algorytmy przetwarzania danych tekstowych
Kierownik: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: OPUS 2, panel: ST6
-
214. MEtody i NArzędzia Inżynierii Dokumentu przyszłości (MENAID)
Kierownik: prof. Bogdan Wojciech Wiszniewski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 1, panel: ST6
-
215. Sieci gaussowskie i sieci przekonań w bayesowskiej adaptacji i optymalizacji schematów zachowań
Kierownik: dr Michał Matuszak
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 1, panel: ST6