Projekty finansowane przez NCN

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

Maksymalizacja zawartości informacyjnej skanów OCT niskiej jakości w nowoczesnych komputerowo wspomaganych systemach dia...

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Stankiewicz

Politechnika Poznańska, Wydział Informatyki

Heurystyczne Algorytmy Odkrywania Ukrytych Kryteriów dla Problemów Opartych na Testach.

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Paweł Liskowski

Politechnika Poznańska, Wydział Informatyki

Metody detekcji i śledzenia obiektów w czasie rzeczywistym w oparciu o analizę map 3D oraz nienadzorowane uczenie cech...

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Bogdan Kwolek

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

Bezpieczne schematy podpisów domenowych i anonimowych poświadczeń dla kart mikroprocesorowych

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Mirosław Kutyłowski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

ALOFON - Metodyka i technologia polimodalnej alofonicznej transkrypcji mowy

Konkurs: OPUS 9 , panel: ST6

Kierownik: prof. Andrzej Czyżewski

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

Algorytmy kompresji i analizy danych genomowych

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Sebastian Deorowicz

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Lingwistyka formalna w proteomice - modelowanie, analiza i porównywanie hipotez

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Witold Dyrka

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

Konkurs: SONATA BIS 5 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Inżynieria odwrotna oddziałujących sygnałów w sieciach złożonych

Konkurs: OPUS 10 , panel: ST6

Kierownik: prof. Janusz Hołyst

Politechnika Warszawska, Wydział Fizyki

Algorithmic Structure Theory for Sparse Graphs

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.

Konkurs: OPUS 10 , panel: ST6

Kierownik: dr hab. Michał Baczyński

Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Opracowanie nowych strategii dynamicznego zarządzania liczbą koewoluujących podpopulacji dla metod ewolucyjnych korzysta...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Michał Przewoźniczek

Politechnika Wrocławska

Algebraiczne niezmienniki dla Sieci Petriego z danymi.

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dzielenie przestrzeni etykiet w klasyfikacji wieloetykietowej z zastosowaniem metod eksploracji danych

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Piotr Szymański

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Nowe algorytmy do oceny struktur klonalnych oraz do modelowania niejednorodnych ewolucji dla zastosowań w genomice nowot...

Konkurs: OPUS 11 , panel: ST6

Kierownik: prof. Andrzej Polański

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Konstrukcje zbiorów obrazów całkowych do szybkiej ekstrakcji cech i uczenia maszynowego w zadaniach detekcji

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Przemysław Klęsk

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki

Bayesowska analiza podtypów raka pęcherza moczowego na podstawie wysokoprzepustowych danych

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Krzysztof Gogolewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice baz danych

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Szymon Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Aplikacja metod uczenia głębokiego opartych o atencję do znajdowania nowych aktywnych związków chemicznych

Konkurs: PRELUDIUM 18 , panel: ST6

Kierownik: Łukasz Maziarka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Obliczeniowe aspekty geometrii nieeuklidesowych

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Opracowanie metod ewolucyjnych dedykowanych do optymalizacji wielokryterialnej i wielokryterialnej z dużą liczbą kryteri...

Konkurs: SONATA BIS 10 , panel: ST6

Kierownik: dr Michał Przewoźniczek

Politechnika Wrocławska

Modele filogenetyczne do analizy ewolucji komórek rakowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Jarosław Paszek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Głębokie samoorganizujące się grafy neuronowe

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Akceleracja przetwarzania zdarzeniowych danych wizyjnych z wykorzystaniem heterogenicznych, reprogramowalnych układów ob...

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Marcin Kowalczyk

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

REIWork: Rekonfigurowalne środowiska dla interaktywnych miejsc pracy

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Julia Dominiak

Politechnika Łódzka

Generatywne modele przepływowe w zastosowaniu do modelowania niepewności w zadaniach uczenia maszynowego

Konkurs: OPUS 22 , panel: ST6

Kierownik: dr hab. Maciej Zięba

Politechnika Wrocławska

Proporcjonalny Budżet Partycypacyjny

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy spełnialności i równoważności dla skończonych algebr

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr Jacek Krzaczkowski

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

Jak uczyć się szybciej: w kierunku lepszej adaptacji w procesie meta-uczenia.

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marcin Sendera

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki