Projekty finansowane przez NCN

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

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

Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr hab. Paweł Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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 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ł Elektryczny

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

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

Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wykrywanie i zmniejszanie wpływu tendencyjności danych za pomocą objaśnialnej sztucznej inteligencji

Konkurs: PRELUDIUM 18 , panel: ST6

Kierownik: Agnieszka Mikołajczyk

Politechnika Gdańska

Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Marek Adamczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Odkrywanie ukrytej struktury danych na podstawie obserwacji.

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr Jan Chorowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Uczenie maszynowe, modelowanie biologiczne i przetwarzanie obrazów medycznych w prognozowaniu przerzutów raku płuc.

Konkurs: OPUS 19 , panel: ST6

Kierownik: prof. Andrzej Świerniak

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

Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: Adam Glos

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

Algorytmy dla projektowania połączeń w warunkach niepewności

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, 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