Projekty finansowane przez NCN

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

Kodowanie obrazów i wielokanałowych zapisów EEG z użyciem adaptacyjnej predykcji komponentów polifazowych

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

ARISTOTELES: Metodologia i algorytmy automatycznej aktualizacji ontologii w scenariuszach zadaniowych

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

Zastosowanie klasyfikatorów rozmytych działąjących na danych niepewnych, niepełnych i niezbalansowanych do predykcji zag...

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

Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatyczne...

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

Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych

Konkurs: PRELUDIUM 16 , panel: ST6

Kierownik: Marek Grzegorowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowane...

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

Czynniki wpływające na jakość postrzeganą przez użytkowników usług video. Badania z wykorzystaniem trafnych ekologicznie...

Konkurs: GRIEG , panel: ST6

Kierownik: dr hab. Lucjan Janowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Algorytmiczny Nullstellensatz

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr hab. Bartłomiej Bosek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki