Projekty finansowane przez NCN

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

Jak uczyć się szybciej: w kierunku lepszej adaptacji w procesie meta-uczenia.

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marcin Bartłomiej Sendera

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Scientific research enabling the development of the process of using recycled photovoltaic panels in the production of m...

Konkurs: POLONEZ BIS 2 , panel: ST5

Kierownik: dr Pradeep Padhamnath

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

Chemiczne i biologiczne transformacje nanocząstek na bazie metali i ich rola w transmisji nowo pojawiających się zaniecz...

Konkurs: OPUS 22 , panel: NZ9

Kierownik: dr hab. Izabela Natalia Jośko

Uniwersytet Przyrodniczy w Lublinie

Demetalizacja osadów ściekowych w kierunku otrzymania surowców do produkcjibezpiecznych pofermentów i kompostów

Konkurs: SONATA 17 , panel: NZ9

Kierownik: dr Anna Siatecka

Uniwersytet Przyrodniczy w Lublinie, Wydział Nauk o Żywności i Biotechnologii

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

Interpretacja oddziaływania między wiązką lasera a mikrostrukturą stopów wieloskładnikowych

Konkurs: SONATA BIS 11 , panel: ST5

Kierownik: dr Anil Kunwar

Politechnika Śląska, Wydział Mechaniczny Technologiczny

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

Algorytmy oparte na optymalnym transporcie dla spektrometrii mas i magnetycznego rezonansu jądrowego

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Anna Barbara Gambin

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

Aktywność biodegradacyjna grzybów i oddziaływania grzyb-roślina w obecności mikroplastiku

Konkurs: OPUS 20 , panel: NZ9

Kierownik: dr hab. Przemysław Bernat

Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska

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