Projekty finansowane przez NCN

Złożone metody klasyfikacji danych strumieniowych wykorzystujące paradygmaty uczenia nienadzorowanego i aktywnego

Konkurs: OPUS 5 , panel: ST6

Kierownik: prof. Michał Woźniak

Politechnika Wrocławska, Wydział Elektroniki

Algorytmy obliczania homologii persystentnych dla odwzorowań

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Grzegorz Jabłoński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski

Synteza obrazów uwzględniająca kierunkowość widzenia

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Radosław Mantiuk

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Inżynieria algorytmiczna indeksów pełnotekstowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Szymon Grabowski

Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki

Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Modele i algorytmy dla pewnej klasy dyskretno-ciągłych problemów rozdziału zasobów

Konkurs: OPUS 6 , panel: ST6

Kierownik: dr hab. Grzegorz Waligóra

Politechnika Poznańska, Wydział Informatyki

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wielokryterialne algorytmy memetyczne dla trudnych problemów optymalizacji kombinatorycznej z heterogenicznymi kryteriam...

Konkurs: OPUS 6 , panel: ST6

Kierownik: dr hab. Andrzej Jaszkiewicz

Politechnika Poznańska, Wydział Informatyki

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Paradygmat minimalizacji pamięci w klastrowaniu

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kryptografia bez zaufanych stron

Konkurs: SONATA 7 , panel: ST6

Kierownik: dr Tomasz Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modelowanie wiedzy niepewnej i niekompletnej na potrzeby mediacji w systemach mobilnych świadomych kontekstu (KnowMe)

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Szymon Bobek

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Algorytmy eksploracji strumieni danych z wykorzystaniem technik hybrydowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: dr Maciej Jaworski

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Zastosowanie modeli generacyjnych i dyskryminacyjnych uczenia maszynowego do automatycznej korekty błędów gramatycznych...

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Roman Grundkiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Akceleracja metod wyszukiwania informacji w dużych zbiorach danych metodami sprzętowymi

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Kazimierz Wiatr

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

Numeryczna analiza angioplastyki ze stentem z zastosowaniem kontroli błędu i adaptacyjnej metody elementów skończonych...

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Waldemar Rachowicz

Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Fizyki, Matematyki i Informatyki

Mapy poznawcze z informacją niedoskonałą jako narzędzie automatycznego rozumienia danych. Koncepcje, metody, zastosowani...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Władysław Homenda

Instytut Badań Systemowych PAN

Badania nad jakością i bezpieczeństwem transmisji czasu rzeczywistego wspieranej systemem agentowym oraz reputacją

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Grzegorz Oryńczak

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Rozwijanie wiarygodnego i efektywnego dwuskalowego modelowania komputerowego niejednorodnych materiałów niesprężystych...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Witold Cecot

Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Inżynierii Lądowej

Kompletność zdarzeniowa przypadków użycia

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Jakub Jurkiewicz

Politechnika Poznańska, Wydział Informatyki

Metoda oceny wyrazistości struktury skupień

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Ewa Nowakowska

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

Konkurs: MAESTRO 1 , panel: ST6

Kierownik: prof. Marek Kubale

Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozgrywany podział grafów: strategie i algorytmy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Bartosz Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Jarosław Grytczuk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Analiza i rozpoznawanie tekstur i w obrazach cyfrowych dla komputerowo wspomaganej diagnostyki barwnikowych zmian skórny...

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Leszek Nowak

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Kolorowanie z list on-line

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody...

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Włodzimierz Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Efektywne algorytmy spójnego odtwarzania stanu w systemach zorientowanych na usługi

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Anna Kobusińska

POLITECHNIKA POZNAŃSKA, Wydział Informatyki

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

SN@PUT: Analiza i eksploracja sieci społecznych na Politechnice Poznańskiej

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr hab. Mikołaj Morzy

Politechnika Poznańska, Wydział Informatyki

Liczby Ramseya z udziałem grafu C_4

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Janusz Dybizbański

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

SocSenSys: Systemy sprzężenia społecznego oparte o osobiste sieci sensorowe

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Konrad Iwanicki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Bezplikowa architektura rozproszonych systemów informatycznych dużej skali

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Bartosz Kryza

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

Metody obliczeniowe do detekcji mutacji związanych z opornością na antybiotyki w szczepach bakteryjnych

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Michał Woźniak

Uniwersytet Warszawski

Inteligentny system zarządzania siecią telekomunikacji mobilnej; opracowanie i implementacja algorytmów selekcji zespołu...

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Rafał Łysiak

Politechnika Wrocławska, Wydział Elektroniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zagadnienie odrzucania w problemie rozpoznawania wzorca: koncepcje, metody, analizy

Konkurs: OPUS 4 , panel: ST6

Kierownik: prof. Witold Pedrycz

Instytut Badań Systemowych PAN

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

Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Jacek Sroka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy oparte na optymalnym transporcie dla spektrometrii mas i magnetycznego rezonansu jądrowego

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Anna Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Głębokie modele sieci neuronowych dla nienadzorowanego uczenia reprezentacji danych grafowych

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Piotr Bielak

Politechnika Wrocławska

Spersonalizowane wnioskowanie w przetwarzaniu języka naturalnego

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Przemysław Kazienko

Politechnika Wrocławska

Ciągłe uczenie samonadzorowanych reprezentacji

Konkurs: PRELUDIUM BIS 3 , panel: ST6

Kierownik: dr hab. Tomasz Trzciński

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Generowanie wideo przy użyciu głębokiego uczenia

Konkurs: SONATA 17 , panel: ST6

Kierownik: dr Piotr Biliński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki