Znaleziono 586 projektów spełniających kryteria wyszukiwania:
Modelowanie aktywności transpozonów indukowanej stresem
Konkurs: HARMONIA 3 , panel: ST6
Kierownik: prof. Anna Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modele i algorytmy zarządzania zasobami współczesnych systemów informatycznych
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Krzysztof Rządca
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr hab. Marek Parfieniuk
Politechnika Białostocka, Wydział Informatyki
Granice rozstrzygalności w teorii automatów
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modularna semantyka operacyjna: podejście bialgebraiczne
Konkurs: SONATA BIS 2 , panel: ST6
Kierownik: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Identyfikacja osób na podstawie tęczówki oka w zmiennych warunkach środowiskowych
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Krzysztof Misztal
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
DISQUSS: Zdywersyfikowane podpowiedzi zapytań w wyszukiwaniu na zbiorach pół-ustrukturyzowanych
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr Marcin Sydow
Instytut Podstaw Informatyki PAN
Autonomiczne, samoadaptujące się metody metaheurystyczne w środowiskach dynamicznych
Konkurs: OPUS 4 , panel: ST6
Kierownik: prof. Jacek Mańdziuk
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Teoriogrowe podejście do wykrywania kluczowych wierzchołków w sieciach.
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: Piotr Szczepański
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Rozwój algorytmów identyfikacji wszystkich ważnych zmiennych z użyciem metod uczenia maszynowego
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Witold Rudnicki
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
Synchronizacja automatów i hipoteza Cerny'ego
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nowa strategia wyboru zapytań w aktywnym uczeniu modeli maszynowych
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Wojciech Czarnecki
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Przyjazne obliczeniowo miary centralności oparte na teorii gier
Konkurs: SONATA 5 , panel: ST6
Kierownik: dr Tomasz Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Teoretyczne aspekty protokołów wyborczych
Konkurs: SONATA 5 , panel: ST6
Kierownik: dr Filip Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Statystycznie spójne i skalowalne algorytmy uczące dla klasyfikacji strukturalnej
Konkurs: SONATA 5 , panel: ST6
Kierownik: dr Krzysztof Dembczyński
Politechnika Poznańska, Wydział Informatyki
Równoległy algorytm memetyczny dla rozwiązywania złożonych problemów transportowych.
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: Jakub Nalepa
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Metody tworzenia klasyfikatorów kombinowanych w oparciu o klasyfikatory jednoklasowe
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: Bartosz Krawczyk
Politechnika Wrocławska, Wydział Elektroniki
Grafy w grafach -- od dobrego uporządkowania do algorytmów
Konkurs: PRELUDIUM 6 , panel: ST6
Kierownik: dr Jean-Florent Raymond
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Przyrostowe uczenie się macierzy
Konkurs: SONATA 6 , panel: ST6
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Zastosowanie algorytmów zespołowych do eksploracji danych strumieniowych
Konkurs: PRELUDIUM 6 , panel: ST6
Kierownik: dr Lena Pietruczuk
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Inteligentne nieliniowe systemy o płytkich i głębokich architekturach
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Bogdan Wilamowski
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie
Metody minimalizacji zaburzeń w algorytmach i protokołach opartych na błądzeniu kwantowym
Konkurs: PRELUDIUM 6 , panel: ST6
Kierownik: Przemysław Sadowski
Instytut Informatyki Teoretycznej i Stosowanej PAN
Metody wyboru klasyfikatorów jednoklasowych na potrzeby klasyfikacji kombinowanej
Konkurs: ETIUDA 2 , panel: ST6
Kierownik: Bartosz Krawczyk
Politechnika Wrocławska, Wydział Elektroniki
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Damian Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 7 , panel: ST6
Kierownik: dr Agnieszka Ławrynowicz
Politechnika Poznańska, Wydział Informatyki
Wybrane zagadnienia kompresji gramatykowej
Konkurs: SONATA BIS 7 , panel: ST6
Kierownik: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Grafy dynamiczne; spójność, przepływy i kolorowanie.
Konkurs: SONATA 13 , panel: ST6
Kierownik: dr Anna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania
Konkurs: SONATA BIS 7 , panel: ST6
Kierownik: dr Piotr Miłoś
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorytmy klasyfikacji niezbalansowanych strumieni danych
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Michał Woźniak
Politechnika Wrocławska, Wydział Elektroniki
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Jacek Łęski
Sieć Badawcza ŁUKASIEWICZ - Instytut Techniki i Aparatury Medycznej ITAM
Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Andrzej Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Wykorzystanie operatorów ułamkowego rzędu do sterowania przeciążeniami sieci Internet.
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Jerzy Klamka
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
DALEX: Lokalne, brzegowe i globalne objaśnienia złożonych modeli uczenia maszyn
Konkurs: OPUS 14 , panel: ST6
Kierownik: dr hab. Przemysław Biecek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym
Konkurs: ETIUDA 6 , panel: ST6
Kierownik: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Algorytmiczne wyzwania spektrometrii masowej.
Konkurs: OPUS 15 , panel: ST6
Kierownik: prof. Anna Gambin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody dopasowania obrazów medycznych ukierunkowane na problem brakujących danych
Konkurs: PRELUDIUM 15 , panel: ST6
Kierownik: Marek Wodziński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Konkurs: PRELUDIUM 15 , panel: ST6
Kierownik: Bartosz Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 15 , panel: ST6
Kierownik: Iwo Błądek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Konkurs: OPUS 15 , panel: ST6
Kierownik: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nowe trendy w algorytmach tekstowych
Konkurs: SONATA 14 , panel: ST6
Kierownik: dr hab. Jakub Radoszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nowa, oparta na danych metoda opisu geometrii sceny do lokalizacji agenta
Konkurs: PRELUDIUM 16 , panel: ST6
Kierownik: Jan Wietrzykowski
Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki
Konkurs: PRELUDIUM 16 , panel: ST6
Kierownik: Marek Grzegorowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 17 , panel: ST6
Kierownik: Grzegorz Skoraczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych
Konkurs: OPUS 17 , panel: ST6
Kierownik: dr hab. Jarosław Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Kolorowania, kliki i zbiory niezależne w klasach grafów
Konkurs: SONATA BIS 9 , panel: ST6
Kierownik: dr hab. Bartosz Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: GRIEG , panel: ST6
Kierownik: dr hab. Lucjan Janowski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: OPUS 18 , panel: ST6
Kierownik: dr hab. Bartłomiej Bosek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki