Projekty finansowane przez NCN

Wykorzystanie uczenia maszynowego w informatyce kwantowej

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Mateusz Ostaszewski

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Programowanie dynamiczne z gwarancjami

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Karol Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Głębokie przetwarzanie danych strukturalnych

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr Marek Śmieja

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nowe trendy w algorytmach tekstowych

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr 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

ComCrypt -- Wydajne i Bezpieczne Algorytmy do Jednoczesnej Kompresji i Szyfrowania

Konkurs: OPUS 16 , panel: ST6

Kierownik: prof. Józef Pieprzyk

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Algorytmy grafowe w różnych modelach obliczeń rozproszonych i równoległych.

Konkurs: ETIUDA 7 , panel: ST6

Kierownik: Krzysztof Nowicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Analiza relacji względnych w eksploracji zintegrowanych danych omicznych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Marcin Czajkowski

Politechnika Białostocka, Wydział Informatyki

Efektywne algorytmy rozproszone z ograniczoną pamięcią, energią dla modeli dynamicznych.

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Dominik Pająk

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

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

Wykorzystanie optymalizacji wielokryterialnej w uczeniu klasyfikatorów dla wybranych zadań decyzyjnych

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Michał Woźniak

Politechnika Wrocławska

Przestrzenny model sieciowy zróżnicowania sekwencji i struktury genomu ludzkiego w skali populacyjnej

Konkurs: PRELUDIUM BIS 1 , panel: ST6

Kierownik: dr hab. Dariusz Plewczyński

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na d...

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Kunal Dutta

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zrównoleglanie metaheurystyk z desynchronizacją

Konkurs: PRELUDIUM BIS 1 , panel: ST6

Kierownik: dr hab. Marek Kisiel-Dorohinicki

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

Rozwój metod predykcji mobilności poza uczenie maszynowe

Konkurs: PRELUDIUM BIS 1 , panel: ST6

Kierownik: dr hab. Witold Rohm

Uniwersytet Przyrodniczy we Wrocławiu

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Połączenie symulacji molekularnej i uczenia głębokiego w projektowaniu leków de novo

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: Tomasz Danel

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Charakteryzacja treści informacyjnej struktur grafowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Krzysztof Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Przewidywanie struktur 3D RNA z wykorzystaniem generatywnych sieci przestawnych

Konkurs: PRELUDIUM BIS 2 , panel: ST6

Kierownik: prof. Marta Szachniuk

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Klasyfikacja i detekcja na trójwymiarowej tomosyntezie w celu polepszenia skuteczności wykrywania raka piersi

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jakub Chłędowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

MLGenSig (Machine Learning Genetic Signatures) Metody uczenia maszynowego w budowie zintegrowanych sygnatur genetycznych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Przemysław Biecek

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Rozszerzona rzeczywistość jako wsparcie treningu szermierki

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Filip Malawski

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

Modele matematyczne i morfologiczne w problemach analizy i rekonstrukcji zmian nowotworowych nerek.

Konkurs: OPUS 12 , panel: ST6

Kierownik: dr hab. Tomasz Markiewicz

Politechnika Warszawska, Wydział Elektryczny

Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z użyciem ManyDSL

Konkurs: PRELUDIUM 12 , panel: ST6

Kierownik: Piotr Danilewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algebraic Effects and Continuations

Konkurs: POLONEZ 3 , panel: ST6

Kierownik: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Struktury danych i algorytmy dynamiczne dla grafów planarnych.

Konkurs: ETIUDA 5 , panel: ST6

Kierownik: Adam Karczmarz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Synteza i analiza systemów cybernetyczno-fizycznych w środowisku obliczeń ziarnistych.

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Witold Pedrycz

Sieć Badawcza ŁUKASIEWICZ - Instytut Techniki i Aparatury Medycznej ITAM

Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr hab. Krzysztof Rządca

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody segmentacji obrazów integrujące analizę tekstur i modele deformowalne

Konkurs: PRELUDIUM 13 , panel: ST6

Kierownik: Daniel Reska

Politechnika Białostocka, Wydział 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

Rozwój metod statystycznych i algorytmicznych stosowanych w spektroskopii mas

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Michał Startek

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

Wokół optymalności algorytmów opartych o programowanie dynamiczne

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki