Znaleziono 715 projektów spełniających kryteria wyszukiwania:
Logiki do przetwarzania danych i weryfikacji
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 8 , panel: ST6
Kierownik: prof. Józef Pieprzyk
Instytut Podstaw Informatyki PAN
Automaty z wagami dla własności kwantytatywnych
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Zastosowanie nowoczesnych metod algorytmicznych w rozwiązywaniu NP-trudnych problemów klastrowania.
Konkurs: PRELUDIUM 9 , panel: ST6
Kierownik: Krzysztof Sornat
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Energooszczędny system komputerowy dla obliczeń wielkiej skali
Konkurs: OPUS 9 , panel: ST6
Kierownik: dr hab. Ewa Marzena Niewiadomska-Szynkiewicz
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Algorytmy kompresji i analizy danych genomowych
Konkurs: OPUS 9 , panel: ST6
Kierownik: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: SONATA 9 , panel: ST6
Kierownik: dr Krzysztof Rojek
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Konkurs: OPUS 10 , panel: ST6
Kierownik: prof. Joanna Polańska
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.
Konkurs: OPUS 10 , panel: ST6
Kierownik: dr hab. Michał Krzysztof Baczyński
UNIWERSYTET ŚLĄSKI, Wydział Nauk Ścisłych i Technicznych
Konkurs: SONATA 10 , panel: ST6
Kierownik: dr Michał Przewoźniczek
Politechnika Wrocławska
Wieloskalowe modelowanie mechanizmu indukowanej przez ceramid śmierci komórek nerwowych
Konkurs: PRELUDIUM 10 , panel: ST6
Kierownik: Weronika Hanna Wronowska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Bioinformatyczne metody modelowania i weryfikacji hipotezy Świata RNA.
Konkurs: ETIUDA 4 , panel: ST6
Kierownik: Natalia Maria Szóstak
Politechnika Poznańska, Wydział Informatyki
Dodatkowa informacja w grupowaniu danych i zagadnieniach pokrewnych
Konkurs: SONATA 11 , panel: ST6
Kierownik: dr Marek Śmieja
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Losowe zachłanne algorytmy kolorowania hipergrafów.
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Jakub Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
Konkurs: PRELUDIUM 11 , panel: ST6
Kierownik: dr Maciej Maria Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
W poszukiwaniu nowych logik komputerowych
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Emanuel Grzegorz Kieroński
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
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Przemysław Biecek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Włączenie informacji o genetycznej różnorodności do analizy danych z sekwencjonowania DNA
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Norbert Artemi Dojer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody uczenia i wnioskowania dla dynamicznych sieci złożonych
Konkurs: SONATA 11 , panel: ST6
Kierownik: dr Tomasz Kajdanowicz
Politechnika Wrocławska
Metody wnioskowania gramatycznego w klasyfikacji białek amyloidowych
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Olgierd Ryszard Unold
Politechnika Wrocławska
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Henryk Józef Maciejewski
Politechnika Wrocławska, Wydział Elektroniki
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
Konkurs: PRELUDIUM 12 , panel: ST6
Kierownik: dr Michał Tomczyk
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Nowe metody statystyczne dla problemów klasyfikacji i integracji danych molekularnych i genomowych
Konkurs: SONATA 12 , panel: ST6
Kierownik: dr Neo Christopher Honghoon Chung
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metodyka projektowania hierarchicznych procesów biznesowych zintegrowanych z regułami biznesowymi
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Krzysztof Kluza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Konkurs: SONATA 2 , panel: ST6
Kierownik: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Złożone modele w problemach szeregowania zadań i metody ich rozwiązania
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Adam Antoni Janiak
Instytut Badań Systemowych PAN
Konkurs: OPUS 2 , panel: ST6
Kierownik: dr Marek Sebastian Kamiński
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Algorytmy równoległego tworzenia i symulacji modeli trójwymiarowej sieci naczyniowej
Konkurs: OPUS 2 , panel: ST6
Kierownik: dr Krzysztof Psiuk-Maksymowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: dr Jarosław Ksawery Bąk
Politechnika Poznańska, Wydział Elektryczny
Metody geometryczne w informatyce kwantowej
Konkurs: FUGA 1 , panel: ST6
Kierownik: dr Zbigniew Włodzimierz Puchała
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Metodyka projektowania i implementacji multisensorycznych systemów robotycznych do zadań usługowych
Konkurs: SONATA 3 , panel: ST6
Kierownik: dr Tomasz Marek Winiarski
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Kognitywne Hierarchiczne Aktywne Podziały
Konkurs: SONATA 3 , panel: ST6
Kierownik: dr Arkadiusz Tomczyk
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej
Ewolucyjne algorytmy kształtowania zachowania w uczeniu się ze wzmocnieniem.
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Marcin Szubert
Politechnika Poznańska, Wydział Informatyki
Wspomaganie podejmowania decyzji z wykorzystaniem interakcyjnych obliczeń granularnych
Konkurs: OPUS 3 , panel: ST6
Kierownik: dr Marcin Szczuka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Problemy skalowalności i adaptacyjności w metodyce typu "Data Farming"
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Dariusz Piotr Król
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Identyfikacja modyfikacji potranskrypcyjnych RNA za pomocą spektrometrii mas
Konkurs: SONATA 3 , panel: ST6
Kierownik: dr Bogusław Aleksander Kluge
Międzynarodowy Instytut Biologii Molekularnej i Komórkowej
Granice rozstrzygalności w teorii automatów
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nowe pojęcie skończoności w teorii obliczeń
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Złożoność obliczeniowa problemów spójności w grafach
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr hab. Marcin Jakub Kamiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Maciej Tomasz Karaszewski
Politechnika Warszawska, Wydział Mechatroniki
Ukrywanie informacji i prywatność w systemach (głównie) rozproszonych
Konkurs: OPUS 15 , panel: ST6
Kierownik: dr hab. Marek Dariusz Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Program optymalności w problemach homomorfizmu grafów
Konkurs: SONATA 14 , panel: ST6
Kierownik: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Grafowe modelowanie procesów wyszukiwania
Konkurs: OPUS 16 , panel: ST6
Kierownik: dr hab. Dariusz Piotr Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Biologicznie Znacząca Rekonstrukcja Sieci Filogenetycznych
Konkurs: OPUS 17 , panel: ST6
Kierownik: dr hab. Paweł Piotr Górecki
Uniwersytet Warszawski
Wieloobrazowa rekonstrukcja nadrozdzielcza realizowana za pomocą głębokich sieci neuronowych
Konkurs: OPUS 18 , panel: ST6
Kierownik: dr hab. Michał Jan Kawulok
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: PRELUDIUM BIS 1 , panel: ST6
Kierownik: prof. Dariusz Michał Plewczyński
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych