Znaleziono 150 projektów spełniających kryteria wyszukiwania:
Konkurs: OPUS 17 , panel: HS4
Kierownik: dr hab. Małgorzata Beata Renigier-Biłozor
Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geoinżynierii
Big data, algorytmy i sztuczna inteligencja w ściganiu przestępstw w UE
Konkurs: OPUS 17 , panel: HS5
Kierownik: dr Martyna Agnieszka Kusak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji
Konkurs: SONATINA 3 , panel: HS6
Kierownik: dr David López Pérez
Instytut Psychologii Polskiej Akademii Nauk
Konkurs: OPUS 16 , panel: ST8
Kierownik: prof. Dmytro Svyetlichnyy
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Geometria i topologia grup Artina
Konkurs: BEETHOVEN 3 , panel: ST1
Kierownik: dr Damian Osajda
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 16 , panel: ST6
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Nowe podejście do analizy uziarnienia osadów gruboziarnistych
Konkurs: PRELUDIUM 15 , panel: ST10
Kierownik: Małgorzata Agata Frydrych
Uniwersytet Łódzki, Wydział Nauk Geograficznych
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Konkurs: OPUS 15 , panel: ST6
Kierownik: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 15 , panel: ST6
Kierownik: Iwo Piotr Błądek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Konkurs: PRELUDIUM 15 , panel: ST6
Kierownik: Bartosz Paweł Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Zautomatyzowane podejmowanie decyzji a zakaz dyskryminacji na gruncie prawa europejskiego
Konkurs: PRELUDIUM 15 , panel: HS5
Kierownik: dr Joanna Urszula Mazur
Uniwersytet Warszawski, Wydział Prawa i Administracji
Automatyczna analiza systemów współbieżnych
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 14 , panel: ST10
Kierownik: dr hab. Mariusz Jacek Białecki
Instytut Geofizyki Polskiej Akademii Nauk
Konkurs: OPUS 14 , panel: ST7
Kierownik: dr Sławomir Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Konkurs: OPUS 14 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 13 , panel: ST6
Kierownik: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 7 , panel: HS1
Kierownik: dr hab. Dorota Leszczyńska-Jasion
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Zaawansowane metody optymalizacji zautomatyzowanych procesów cyklicznych
Konkurs: OPUS 13 , panel: ST7
Kierownik: dr hab. Wojciech Dariusz Bożejko
Politechnika Wrocławska
Konkurs: PRELUDIUM 13 , panel: ST10
Kierownik: dr Kamila Teresa Pawłuszek-Filipiak
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania
Konkurs: OPUS 13 , panel: ST6
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 12 , panel: HS2
Kierownik: prof. Adam Tomasz Pawłowski
Uniwersytet Wrocławski, Wydział Filologiczny
Arytmetyczne własności układów dynamicznych w dodatniej charakterystyce.
Konkurs: SONATA 12 , panel: ST1
Kierownik: dr Jakub Jan Byszewski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Neuronalne podłoże świadomości - automatyczna klasyfikacja stanu świadomości przy użyciu metod BCI.
Konkurs: PRELUDIUM 12 , panel: HS6
Kierownik: Marcin Błażej Koculak
Uniwersytet Jagielloński, Wydział Filozoficzny
Automatyczna synteza modeli programowania matematycznego dla procesów biznesowych
Konkurs: SONATA 12 , panel: ST6
Kierownik: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Konkurs: SONATA BIS 6 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody wnioskowania gramatycznego w klasyfikacji białek amyloidowych
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Olgierd Ryszard Unold
Politechnika Wrocławska
Algebraiczna struktura obiektów kombinatorycznych
Konkurs: OPUS 11 , panel: ST1
Kierownik: prof. Andrzej Marian Kisielewicz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Konkurs: OPUS 11 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Problem separacji w teorii automatów
Konkurs: SONATA 11 , panel: ST6
Kierownik: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Zautomatyzowane dźwiękowe leczenie nowotworów
Konkurs: OPUS 11 , panel: ST8
Kierownik: dr hab. Tamara Kujawska
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Konkurs: PRELUDIUM 11 , panel: ST8
Kierownik: Mateusz Sitko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Wydajne algorytmy dla słabych form niedeterminizmu
Konkurs: SONATA 11 , panel: ST6
Kierownik: dr hab. Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11 , panel: ST8
Kierownik: dr Łukasz Rafał Łach
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Symulacje numeryczne morfologii warstw pasywnych na powierzchniach elektrod metalicznych.
Konkurs: OPUS 10 , panel: ST4
Kierownik: dr hab. Janusz Wojciech Stafiej
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych
Konkurs: OPUS 10 , panel: ST6
Kierownik: prof. Joanna Polańska
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Modele i metody matematyczne w opisie wzrostu i leczenia nowotworów.
Konkurs: OPUS 10 , panel: ST1
Kierownik: dr hab. Marek Bodnar
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 10 , panel: ST7
Kierownik: Piotr Paweł Kurgan
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Algorytmiczne aspekty synchronizacji
Konkurs: OPUS 9 , panel: ST6
Kierownik: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Pamięć prospektywna w okresie dzieciństwa - przetwarzanie automatyczne a przetwarzanie strategiczne
Konkurs: PRELUDIUM 9 , panel: HS6
Kierownik: Elżbieta Kalina Ślusarczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: OPUS 9 , panel: ST7
Kierownik: dr hab. Przemysław Jakub Krehlik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Automaty z wagami dla własności kwantytatywnych
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Wykorzystanie automatów komórkowych do modelowania procesów przywództwa w organizacjach
Konkurs: OPUS 8 , panel: HS4
Kierownik: dr hab. Agnieszka Kowalska-Styczeń
Politechnika Śląska, Wydział Organizacji i Zarządzania
Skalowalne metaheurystyki dla automatycznej syntezy programów
Konkurs: OPUS 8 , panel: ST6
Kierownik: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Roman Grundkiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 4 , panel: ST8
Kierownik: dr hab. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Automatyczna analiza fonetycznej konwergencji w systemach technologii mowy
Konkurs: HARMONIA 6 , panel: HS2
Kierownik: prof. Grażyna Maria Demenko
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Neofilologii
Konkurs: SONATA 7 , panel: ST6
Kierownik: dr Agnieszka Ławrynowicz
Politechnika Poznańska, Wydział Informatyki
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 7 , panel: ST10
Kierownik: Małgorzata Jarząbek-Rychard
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
Automatyczna klasyfikacja gwiazd zmiennych z wykorzystaniem hierarchicznych systemów uczących się
Konkurs: PRELUDIUM 7 , panel: ST9
Kierownik: Michał Marek Pawlak
Uniwersytet Warszawski, Wydział Fizyki