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

Opracowanie, analiza i walidacja algorytmów optymalnego planowania trajektorii i sterowania adaptacyjnego przeznaczonych...

Konkurs: SONATA 18 , panel: ST7

Kierownik: dr Tomasz Wojciech Rybus

Centrum Badań Kosmicznych PAN

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

Problem parzystości dla automatów komórkowych.

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Anna Katarzyna Nenca

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Współpraca ze sztuczną inteligencją: awersja i podziw w kontekście organizacyjnym

Konkurs: OPUS 24 , panel: HS4

Kierownik: dr hab. Grzegorz Piotr Leszczyński

Uniwersytet Ekonomiczny w Poznaniu, Instytut Marketingu

Algorytmy i rozwiązania sprzętowe dla synchronizacji i dystrybucji optycznychzegarów atomowych poprzez światłowodowe sie...

Konkurs: OPUS 24 , panel: ST7

Kierownik: dr hab. Przemysław Jakub Krehlik

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

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

Równoległe i dokładne algorytmy dla problemów ścieżkowych w grafach skierowanych

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Adam Karol Karczmarz

IDEAS NCBR Sp. z o.o.

Algorytmy i miary dla bezstronnych i wyjaśnialnych systemów decyzyjnych

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr hab. Dariusz Brzeziński

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

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

Strukturalne i algorytmiczne własności dziedzicznych klas grafów

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr hab. Marcin Łukasz Pilipczuk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Poszukiwanie optymalności w wariantach problemu indeksowania tekstu i zagadnieniach pokrewnych

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr hab. Jakub Jan Radoszewski

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

Algorytmy przetwarzania sekwencji nukleotydowych i aminokwasowych

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Sebastian Tomasz Deorowicz

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

Poszukiwanie Nowej Fizyki w eksperymencie MUonE

Konkurs: OPUS 23 , panel: ST2

Kierownik: dr hab. Marcin - Kucharczyk

Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN

Algebra liniowa w wymiarze skończenie-orbitowym

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kontrola systemów automatycznego decydowania stosowanych w postępowaniu administracyjnym

Konkurs: PRELUDIUM 21 , panel: HS5

Kierownik: Igor Antoni Gontarz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji

W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów igrafów krawędziowych

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Jana Masaříková

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

Algorytmy online dla problemów konfiguracyjnych

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Proporcjonalny Budżet Partycypacyjny

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój algorytmów mionowego układu wyzwalania detektora Compact Muon Solenoid do fazy wysokiej świetlności Wielkiego Zde...

Konkurs: OPUS 22 , panel: ST2

Kierownik: dr hab. Artur Kalinowski

Uniwersytet Warszawski, Wydział Fizyki

Nowy algorytm wykrywania prekursorów zapadliska

Konkurs: SONATA 17 , panel: ST10

Kierownik: dr Wojciech Tomasz Witkowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

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

Fluktuacje kondensatu Bosego-Einsteina-kolejny krok

Konkurs: OPUS 22 , panel: ST2

Kierownik: prof. Kazimierz Maria Rzążewski

Centrum Fizyki Teoretycznej PAN

Automatyzacja polityk społecznych - infrastruktury algorytmiczne na rzecz dobrobytu w Europie

Konkurs: CHANSE Call 2021 , panel: HS5

Kierownik: dr Karolina Urszula Sztandar-Sztanderska

Uniwersytet Warszawski

Kwantowe fotoniczne sieci memrystorowe

Konkurs: Quant-ERA II Call 2021 , panel: ST2

Kierownik: dr hab. Magdalena Stobińska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Obliczenia kwantowe i chaos z dysypacją

Konkurs: Quant-ERA II Call 2021 , panel: ST2

Kierownik: prof. Karol Wojciech Życzkowski

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

Botonomia: wpływ inteligentnych maszyn na zachowania ekonomiczne

Konkurs: SONATA BIS 11 , panel: HS4

Kierownik: dr Paweł Adam Niszczota

Uniwersytet Ekonomiczny w Poznaniu, Instytut Gospodarki Międzynarodowej

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

Uniwersalny algorytm modulacji wektorowej dla trójpoziomowych, trój i wielofazowych falowników NPC z balansowaniem napię...

Konkurs: PRELUDIUM 20 , panel: ST7

Kierownik: Dmytro Kondratenko

Politechnika Gdańska

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Analiza stosowalności algorytmów sterowania opartych o różniczkową płaskość dla nieliniowych układów niedosterowanych...

Konkurs: PRELUDIUM 20 , panel: ST7

Kierownik: Joanna Urszula Piasek-Skupna

Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki

Dwuwymiarowy feromon dla uwzględnienia dominacji w trakcie konstrukcji rozwiązań w wielokryterialnym algorytmie mrówkowy...

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Grażyna Starzec

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

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

Inteligentny system wsparcia metody M5 (Magnetic Force Induced Vibration Evaluation) - elektromagnetycznej, nieniszczące...

Konkurs: PRELUDIUM 20 , panel: ST7

Kierownik: Paweł Karol Frankowski

Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Elektryczny

Detekcja zajętości widma radiowego wykorzystująca federacyjne uczenie maszynowe

Konkurs: PRELUDIUM 20 , panel: ST7

Kierownik: Łukasz Przemysław Kułacz

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

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

[inPHASE] Algorytmy wnioskujące do ilościowego obrazowania fazowego opartego o analizę obrazów prążkowych

Konkurs: PRELUDIUM 20 , panel: ST7

Kierownik: dr Maria Cywińska

Politechnika Warszawska, Wydział Mechatroniki

Randomizowane algorytmy numeryczne przybliżające rozwiązania równań różniczkowych zwyczajnych

Konkurs: PRELUDIUM 20 , panel: ST1

Kierownik: dr Tomasz Bochacik

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

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

Zaawansowane algorytmy do identyfikacji elektrofizjologicznych cech kodowania i przywoływania pamięci u ludzi w śródczas...

Konkurs: WEAVE-UNISONO , panel: NZ4

Kierownik: dr Michał Tomasz Kucewicz

Politechnika Gdańska

Optymalizacja parametryczna modeli i systemów z opóźnieniem czasowym z wykorzystaniem metaheurystyk

Konkurs: OPUS 20 (LAP) , panel: ST7

Kierownik: prof. Janusz Aleksander Kacprzyk

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