Projekty finansowane przez NCN

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

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

Nowoczesne narzędzia analizy sieci złożonych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Usprawnienie adaptowalności modeli uczonych metodami samonadzorowanymi

Konkurs: PRELUDIUM 22 , panel: ST6

Kierownik: Marcin Przewięźlikowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rozszerzone orientacje i efektywne konstrukcje dla metody Alon-Tarsi

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr hab. Jakub Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Akceleracja i kompresja głębokich sieci neuronowych przy pomocy metod aproksymacji niskiego rzędu

Konkurs: PRELUDIUM 22 , panel: ST6

Kierownik: Mateusz Gabor

Politechnika Wrocławska

Wydajne obliczeniowo dynamiczne sieci neuronowe

Konkurs: PRELUDIUM 22 , panel: ST6

Kierownik: Bartosz Wójcik

IDEAS NCBR sp. z o.o.

XAICancer: Wyjaśnialna sztuczna inteligencja do obrazowania raka

Konkurs: SONATA BIS 13 , panel: ST6

Kierownik: dr Neo Christopher Chung

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

DeMeTeR: Interpretacja modeli dyfuzyjnych poprzez analizę reprezentacji

Konkurs: PRELUDIUM BIS 5 , panel: ST6

Kierownik: prof. Przemysław Biecek

Uniwersytet Warszawski

Przetwarzanie danych wysokowymiarowych za pomocą kompresji próbek i redukcji wymiarowości

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Kunal Dutta

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

Dopasowanie dużych modeli językowych poprzez debatę oraz uczenie ze wzmocnieniem

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Łukasz Kuciński

IDEAS NCBR sp. z o.o.

MLAdapt - Samoadaptacyjne uczenie maszynowe.

Konkurs: SONATA 19 , panel: ST6

Kierownik: dr Bartłomiej Twardowski

IDEAS NCBR sp. z o.o.

Metody geometryczne w informatyce kwantowej

Konkurs: FUGA 1 , panel: ST6

Kierownik: dr Zbigniew Puchała

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

Nieliniowe metody redukcji szumów w barwnych obrazach cyfrowych i sekwencjach wideo

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Bogdan Smołka

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

Algorytmy parametryzowane w problemach grafowych oraz wyszukiwaniu wzorca permutacji.

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Marek Cygan

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granularność i bipolarność w rozmytym modelowaniu procesów podejmowania decyzji i rozumowania

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Janusz Kacprzyk

Instytut Badań Systemowych PAN

Statyczna i dynamiczna analiza warstwowych konstrukcji płytowych spoczywających na niejednorodnym podłożu sprężystym...

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Ryszard Buczkowski

Akademia Morska w Szczecinie, Wydział Inżynieryjno-Ekonomiczny Transportu

Ewolucyjne algorytmy kształtowania zachowania w uczeniu się ze wzmocnieniem.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Marcin Szubert

Politechnika Poznańska, Wydział Informatyki

Synteza widoków wirtualnych: przygotowanie danych wejściowych i algorytmy syntezy.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Krzysztof Wegner

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Identyfikacja modyfikacji potranskrypcyjnych RNA za pomocą spektrometrii mas

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Bogusław Kluge

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

Matematyczne i obliczeniowe modele regulacji cyklu komórkowego i przestrzennej parakrynnej regulacji w komórkach biologi...

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Krzysztof Fujarewicz

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

Teoria zbiorów przybliżonych w hybrydowych systemach decyzyjnych dla przypadków interwałowych i niekompletnych danych we...

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Robert Nowicki

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

Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyczne, wysokoprzepustowe modelowanie struktur przestrzennych RNA

Konkurs: MAESTRO 3 , panel: ST6

Kierownik: prof. Ryszard Adamiak

Politechnika Poznańska, Wydział Informatyki

Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zastosowanie stochastycznych równań różniczkowych wstecz do rekonstrukcji obrazów cyfrowych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Dariusz Borkowski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Pozyskiwanie wiedzy z bardzo dużych geoprzestrzennych baz danych

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr Jarosław Jasiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

Złożoność obliczeniowa problemów spójności w grafach

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr hab. Marcin Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Estymacja map głębi stereoskopowej spójnych w dziedzinie czasu

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Olgierd Stankiewicz

Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

Stochastyczne charakterystyki jednokanałowych systemów kolejkowych z ograniczonym dostępem do serwera

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Wojciech Kempa

Politechnika Śląska, Wydział Matematyki Stosowanej

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Knapik

Instytut Podstaw Informatyki PAN

Metodologia rekonstrukcji geometrycznej układów naczyniowych w mózgowiu na podstawie obrazów tomografii komputerowej i r...

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Michał Chlebiej

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Algorytm identyfikacji probabilistycznych modeli grafowych dla wielosensorowych danych wejściowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Michał Cholewa

Instytut Informatyki Teoretycznej i Stosowanej PAN

Badanie oddziaływania i przekazywania sygnału w kompleksach receptorów GPCR z arestyną

Konkurs: HARMONIA 4 , panel: ST6

Kierownik: prof. Sławomir Filipek

Uniwersytet Warszawski, Wydział Chemii

EvoSN: ewolucja impulsowych sieci neuronowych do wykononywania podstawowych obliczeń i kontroli robotów

Konkurs: HARMONIA 4 , panel: ST6

Kierownik: prof. Borys Wróbel

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

Przetwarzanie danych w sieciach ad hoc odporne na działanie adwersarza

Konkurs: HARMONIA 4 , panel: ST6

Kierownik: prof. Mirosław Kutyłowski

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

Środek ciężkości pamięci

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Przemysław Spurek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki