Projekty finansowane przez NCN

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 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 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 Polskiej Akademii Nauk

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

Konkurs: CHIST-ERA2020 , panel: HS5

Kierownik: dr Karolina Sztandar-Sztanderska

Uniwersytet Warszawski

Obliczenia kwantowe i chaos z dysypacją

Konkurs: CHIST-ERA2020 , panel: ST2

Kierownik: prof. Karol Życzkowski

Uniwersytet Jagielloński

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

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: CHIST-ERA2020 , 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

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 Polskiej Akademii Nauk

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytm monitorowania dynamiki zachowań komunikacyjnych w miejskich obszarach funkcjonalnych w aspekcie innowacji i zag...

Konkurs: OPUS 20 , panel: HS4

Kierownik: dr hab. Agnieszka - Dawidowicz

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geoinżynierii

Wydajne algorytmy rozproszone i równoległe dla dużych i dynamicznych danych

Konkurs: OPUS 20 , panel: ST6

Kierownik: prof. Tomasz Arkadiusz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy dla projektowania połączeń w warunkach niepewności

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Uczenie maszynowe ze wzmocnieniem w zagadnieniach półaktywnego sterowania konstrukcjami i zdecentralizowanego tłumienia ...

Konkurs: OPUS 20 , panel: ST8

Kierownik: dr hab. Łukasz Michał Jankowski

Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk

Modele filogenetyczne do analizy ewolucji komórek rakowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Jarosław Andrzej Paszek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Charakteryzacja treści informacyjnej struktur grafowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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 Polskiej Akademii Nauk