Projekty finansowane przez NCN

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rekonstrukcja nadrozdzielcza obrazów cyfrowych w środowisku niekontrolowanym wykorzystująca techniki uczenia samo-nadzor...

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Michał Kawulok

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

Wymiar i Boolowski wymiar częściowych porządków

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Interpretowalne metody zrównoważonej sztucznej inteligencji tłumaczące decyzje w sposób intuicyjny

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Bartosz Zieliński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Moc rozgałęzień i uczenia problemów szeregowania zadań oraz pakowania kubełków online

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Martin Böhm

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Meta-uczenie w głębokich sieciach neuronowych

Konkurs: OPUS 25 , panel: ST6

Kierownik: prof. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Where to look next - aktywna eksploracja sterowana wewnętrzną niepewnością modelu

Konkurs: PRELUDIUM 22 , panel: ST6

Kierownik: Adam Pardyl

IDEAS NCBR sp. z o.o.

Telekomunikacyjne podejście do modelowania metabolizmu komórek

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Tadeusz Wysocki

Uniwersytet Technologiczno-Przyrodniczy im. Jana i Jędrzeja Śniadeckich w Bydgoszczy, Wydział Telekomunikacji, Informatyki i Elektrotechniki

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

Metody klasyfikacji nadzorowanej i nienadzorowanej fragmentów metagenomowego DNA wyekstrahowanych z różnych próbek środo...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Jolanta Kawulok

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

Bioinformatyczne metody modelowania i weryfikacji hipotezy Świata RNA.

Konkurs: ETIUDA 4 , panel: ST6

Kierownik: Natalia Szóstak

Politechnika Poznańska, Wydział Informatyki

Algorytmy aproksymacyjne w obliczu niepełnej informacji

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozprzestrzenianie się wpływu w sieciach wielowarstwowych

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Piotr Bródka

Politechnika Wrocławska

Wydajne algorytmy dla słabych form niedeterminizmu

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Szeregowanie zadań w celu maksymalizacji liczby ukończonych zadań.

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Opracowanie uniwersalnych metod reprezentacji danych do poprawy jakości metod uczenia maszynowego z przykładowym zastoso...

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Magdalena Wiercioch

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Opracowanie metod uczenia maszynowego do monitorowania jakości danych o dużej objętości oraz interaktywnych metod ich wi...

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Tomasz Trzciński

Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych

Własności ilościowe dla schematów rekurencyjnych wyższego rzędu

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyczna synteza modeli programowania matematycznego dla procesów biznesowych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Tomasz Pawlak

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowatorski algorytm numeryczny rozwiązywania równań różniczkowych zwyczajnych ułamkowych rzędów wykorzystujący metodę or...

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Dariusz Brzeziński

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

Odporne metody redukcji szumów mieszanych w barwnych obrazach cyfrowych

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Bogdan Smołka

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

Efektywne algorytmy klasyfikacji ekstremalnej oparte na redukcji do problemów predykcji strukturalnej

Konkurs: PRELUDIUM 13 , panel: ST6

Kierownik: Kalina Kobus

Politechnika Poznańska, Wydział Informatyki

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Kompresja wielkoskalowych kolekcji danych genomowych

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Sebastian Deorowicz

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

Integracja klasyfikatorów bazowych w przestrzeni geometrycznej

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr hab. Robert Burduk

Politechnika Wrocławska

Nieciągła aproksymacja Petrova-Galerkina do równań Naviera-Stokesa dla przepływów ściśliwych

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Waldemar Rachowicz

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

Rozwój metod głębokiego uczenia sieci neuronowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Leszek Rutkowski

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

Randomizowane metody uczenia sztucznych sieci neuronowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr hab. Grzegorz Dudek

Politechnika Częstochowska, Wydział Elektryczny

Metody odkrywania procesów biznesowych i rachunek procesów dla systemów zgodnych z stylem architektonicznym REST.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Andrzej Stroiński

Politechnika Poznańska, Wydział Informatyki

Zastosowanie algorytmów opartych na rachunku różniczkowym niecałkowitego rzędu do wyznaczania ścieżki ruchu platformy mo...

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Dominik Sankowski

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

Algorytmy dla problemu dopasowania wielu sekwencji oraz problemów pokrewnych

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Adam Gudyś

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

Mechanizmy rekomendacji wirtualnych zespołów dla realizacji złożonych zadań wymagających otwartej współpracy

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Adam Wierzbicki

Polsko-Japońska Akademia Technik Komputerowych

Automatyczne rozpoznawanie przedmiotów i wyrażeń opinii w tekstach w języku polskim

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Aleksander Wawer

Instytut Podstaw Informatyki Polskiej Akademii Nauk

GROSHEC - W kierunku procesora metod zbiorów przybliżonych

Konkurs: OPUS 4 , panel: ST6

Kierownik: prof. Jarosław Stepaniuk

Politechnika Białostocka, Wydział Informatyki

Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Łukasz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Aspekty prywatności wybranych systemów złożonych.

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Piotr Syga

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

Algorytmy dokładne i przybliżone symulacji stochastycznej wielowymiarowej

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Anna Wawrzyńczak-Szaban

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

Badania metod wyznaczania strategii pomiarowej podczas digitalizacji kształtu obiektów trójwymiarowych wraz z optymaliza...

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Maciej Karaszewski

Politechnika Warszawska, Wydział Mechatroniki

Modelowanie wydajności, niezawodności i zużycia energii wielopoziomowych systemów równoległych wielkiej skali z uwzględn...

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Paweł Czarnul

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

Układy złożone na adaptatywnych sieciach ważonych

Konkurs: OPUS 5 , panel: ST6

Kierownik: prof. Adam Lipowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki

Aktualne trendy w algorytmach parametryzowanych i wykładniczych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Łukasz Kowalik

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hipoteza BDD/FC i okolice

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody uczenia maszynowego w sieciach złożonych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Przemysław Kazienko

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