Projekty finansowane przez NCN

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

Ustanowienie uniwersalnego modelu pangenomowego

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Norbert Dojer

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Potencjał profilowania limfocytów T w planowaniu spersonalizowanego leczenia stwardnienia rozsianego.

Konkurs: OPUS 24 , panel: NZ7

Kierownik: dr hab. Katarzyna Donskow-Łysoniewska

Uczelnia Łazarskiego

Optymalne i probabilistyczne uczenie operacji kwantowych

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Zbigniew Puchała

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

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

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

Konkurs: SONATA 18 , panel: ST7

Kierownik: dr Tomasz Rybus

Centrum Badań Kosmicznych 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

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

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Anna 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 Leszczyński

Uniwersytet Ekonomiczny w Poznaniu, Instytut Marketingu

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

Konkurs: OPUS 24 , panel: ST7

Kierownik: dr hab. Przemysław 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 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 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 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 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ł Przewoźniczek

Politechnika Wrocławska

Algorytmy przetwarzania sekwencji nukleotydowych i aminokwasowych

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Sebastian 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 Polskiej Akademii Nauk

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 Gontarz

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

W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów i grafó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

Algorytmiczne oceny zmian w ruchach oczu w relacji do postępującej choroby Parkinsona

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr hab. Andrzej Przybyszewski

Polsko-Japońska Akademia Technik Komputerowych

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 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 Rzążewski

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Jarosław Grytczuk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Botonomia: wpływ inteligentnych maszyn na zachowania ekonomiczne

Konkurs: SONATA BIS 11 , panel: HS4

Kierownik: dr Paweł Niszczota

Uniwersytet Ekonomiczny w Poznaniu, Instytut Gospodarki Międzynarodowej

Eksploracja strumieni danych ze zmienną definicją klas

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Dariusz Brzeziński

Politechnika Poznańska, Wydział Informatyki

Gruboziarnista dynamika molekularna termometrów RNA w podwyższonej temperaturze

Konkurs: PRELUDIUM 2 , panel: NZ2

Kierownik: Filip Leonarski

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

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 Piasek

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, Elektroniki i Telekomunikacji

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

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Sławomir 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 Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jan 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ł 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 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 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: 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: Tomasz Bochacik

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