Projekty finansowane przez NCN

BIG_PICTURE: Opracowanie narzędzi zarządzania danymi i metod analitycznych w celu integracji i rozwoju profesjonalnych i...

Konkurs: BiodivMon , panel: NZ8

Kierownik: dr Jakub Witold Bubnicki

Instytut Biologii Ssaków PAN

Struktura produktowa grafów

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Poznawanie podłoża molekularnego zmienności antygenów erytrocytarnych koni z wykorzystaniem metod serologicznych i genet...

Konkurs: OPUS 24 , panel: NZ9

Kierownik: dr hab. Jakub Łukasz Cieślak

Uniwersytet Przyrodniczy w Poznaniu, Wydział Medycyny Weterynaryjnej i Nauk o Zwierzętach

Optymalne i probabilistyczne uczenie operacji kwantowych

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Zbigniew Włodzimierz Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut 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 Michał Zieliński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kurczenie, pękanie i płynięcie ośrodków porowatych podczas przemian termicznych i chemicznych. Nowe modele i biblioteka ...

Konkurs: SONATA 18 , panel: ST3

Kierownik: dr Paweł Jan Żuk

Instytut Chemii Fizycznej Polskiej Akademii Nauk

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

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

Movement analysis of forest-dwelling avian predators: a novel bioindication method for evaluating functional heterogenei...

Konkurs: POLONEZ BIS 3 , panel: NZ8

Kierownik: dr Ülo Väli

Uniwersytet w Białymstoku

Automatyczne projektowanie układów antenowych za pomocą metod sztucznej inteligencji i uczenia maszynowego

Konkurs: OPUS 24 , panel: ST7

Kierownik: prof. Sławomir Kozieł

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

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Optymalizacja metodami ciemno szarej skrzynki - rozwój nowej klasy wysoce skutecznych optymalizatorów ogólnego przeznacz...

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Michał Witold Przewoźniczek

Politechnika Wrocławska

Zaawansowane metody modelowania numerycznego wspomagane narzędziami uczenia maszynowego do przewidywania adsorpcji wody ...

Konkurs: PRELUDIUM 21 , panel: ST4

Kierownik: Bartosz Mazur

Politechnika Wrocławska

Algebra liniowa w wymiarze skończenie-orbitowym

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Czy metody suszenia w rzeczywistości mają wpływ na zmianę zawartości związków nielotnych w materiałach roślinnych – pyta...

Konkurs: PRELUDIUM 21 , panel: NZ9

Kierownik: dr Natalia Pachura

Uniwersytet Przyrodniczy we Wrocławiu

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

Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marta Piecyk

Politechnika Warszawska

Kinetyka i biomechanika inwazyjnego pnącza kolczurki klapowanej (Echinocystis lobata) jako podstawa do opracowania skute...

Konkurs: PRELUDIUM 21 , panel: NZ9

Kierownik: Alicja Dołkin-Lewko

Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Instytut Nauk Leśnych

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Sformułowanie i eksperymentalna walidacja efektywnych obliczeniowo metod modelowania hybrydowych – sztywno-podatnych ukł...

Konkurs: OPUS 23 , panel: ST8

Kierownik: dr hab. Marek Andrzej Wojtyra

Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

Kształtowanie stabilności, biodostępności i bioprzyswajalności barwników roślinnych metodą mikroenkapsulacji w kontekści...

Konkurs: PRELUDIUM 21 , panel: NZ9

Kierownik: dr Igor Piotr Turkiewicz

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Biotechnologii i Nauk o Żywności

Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

Konkurs: SONATA 17 , panel: ST6

Kierownik: dr Tomáš Masařík

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Spektroskopowe metody szybkiego fenotypowania drzew odzwierciedlające ich odporność ekologiczną

Konkurs: OPUS 22 (LAP) , panel: NZ9

Kierownik: dr hab. Paweł Krzysztof Kozakiewicz

Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Instytut Nauk Drzewnych i Meblarstwa

Metoda modelowania de novo struktury RNA w oparciu o więzy z danych doświadczalnych

Konkurs: SONATA 17 , panel: NZ1

Kierownik: dr Sunandan Mukherjee

Międzynarodowy Instytut Biologii Molekularnej i Komórkowej

Hipersieci w metodach głębokiego metauczenia

Konkurs: OPUS 22 , panel: ST6

Kierownik: dr Przemysław Ernest Spurek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy Spełnialności Więzów: poza przypadek skończony

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nowa dwuskładnikowa metoda augmentacja cykli chodu w biometrycznych systemach identyfikacji osób

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Aleksander Sawicki

POLITECHNIKA BIAŁOSTOCKA

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Granice automatycznej analizy systemów współbieżnych

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jan Kazimierz Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Reprezentacja kodu programów dla identyfikacji wadliwych fragmentów kodu bazująca na uczeniu maszynowym

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Mirosław Ochodek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Obwody modularne - algorytmy i ograniczenia dolne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Materiałowy model dla nowej, obiecującej odmiany jabłek Chopin, oparty na Metodzie Elementów Skończonych (MES)

Konkurs: PRELUDIUM 20 , panel: NZ9

Kierownik: Monika Słupska

Uniwersytet Przyrodniczy we Wrocławiu

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 Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody analizy podobieństwa regionów o niskiej złożoności

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: dr Patryk Paweł Jarnot

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

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

LCRPlatform: nowe algorytmy i metody identyfikacji, kategoryzacji oraz adnotacji regionów białkowych o niskiej złożonośc...

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Marcin Maciej Grynberg

Instytut Biochemii i Biofizyki PAN

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modelowanie składu izotopowego opadów atmosferycznych przy użyciu lagranżowskiej reprezentacji mikrofizyki chmur

Konkurs: SONATA 16 , panel: ST10

Kierownik: dr Sylwester Jakub Arabas

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

Elektroporacja pulsacyjna jako innowacyjna metoda w procesie tzw. dojenia korzeni, wykorzystana w adaptacji upraw roślin...

Konkurs: SONATA 16 , panel: NZ9

Kierownik: dr Sylwester Ślusarczyk

Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu, Wydział Farmaceutyczny z Oddziałem Analiutyki Medycznej

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Charakteryzacja treści informacyjnej struktur grafowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Konkurs: SONATA BIS 10 , panel: ST6

Kierownik: dr Michał Witold Przewoźniczek

Politechnika Wrocławska

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

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: dr Adam Piotr Glos

Instytut Informatyki Teoretycznej i Stosowanej PAN

Sztuczna Inteligencja na Sposób Wytłumaczalny i Społeczny

Konkurs: CHIST-ERA2019 , panel: ST6

Kierownik: prof. Stanisław Józef Matwin

Instytut Podstaw Informatyki PAN

Zaawansowane metody modelowania procesów wiralnych

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr hab. Piotr Sankowski

MIM Fertility Sp. z o. o.

Objaśnialne metody predykcyjnego utrzymania ruchu

Konkurs: CHIST-ERA2019 , panel: ST6

Kierownik: prof. Grzegorz Jacek Nalepa

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