Projekty finansowane przez NCN

Problemy separacji grafów z perspektywy złożoności parametryzowanej.

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Paweł Komosa

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody klasyfikacji nadzorowanej i nienadzorowanej fragmentów metagenomowego DNA wyekstrahowanych z różnych próbek środo...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Jolanta Kawulok

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

Algorithmic Structure Theory for Sparse Graphs

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zaawansowane metody optymalizacji sieci optycznych z elastycznością przestrzenną

Konkurs: OPUS 10 , panel: ST7

Kierownik: dr hab. Krzysztof Walkowiak

Politechnika Wrocławska, Wydział Elektroniki

Optymalizacja przeżywalnych elastycznych sieci optycznych z wykorzystaniem metody generacji kolumn

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Róża Goścień

Politechnika Wrocławska, Wydział Elektroniki

Wymiar i reprezentacje częściowych porządków: złożoność obliczeniowa, ograniczenia i strukturalne własności

Konkurs: SONATA BIS 5 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Odporne i efektywne protokoły dla systemów rozproszonych ograniczonych urządzeń

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Marek Klonowski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Przeszukiwanie struktur grafowych

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Dariusz Dereniowski

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

Zastosowanie nowoczesnych metod algorytmicznych w rozwiązywaniu NP-trudnych problemów klastrowania.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody stopingowe w analizie wybranych algorytmów

Konkurs: OPUS 9 , panel: ST6

Kierownik: prof. Michał Morayne

Politechnika Wrocławska

Opracowanie modeli i metod włączania wiedzy do maszyn wektorów wspierających

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Marcin Orchel

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

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Formalne podstawy kryptowalut

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Języki i Uczenie w General Game Playing

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój metodologii porównawczej, nowoczesnych metryk walidacji oraz nowoczesnych technik wizualizacji dla algorytmów bik...

Konkurs: PRELUDIUM 6 , panel: ST6

Kierownik: dr Patryk Orzechowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Konkurs: OPUS 6 , panel: HS1

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Metody minimalizacji zaburzeń w algorytmach i protokołach opartych na błądzeniu kwantowym

Konkurs: PRELUDIUM 6 , panel: ST6

Kierownik: Przemysław Sadowski

Instytut Informatyki Teoretycznej i Stosowanej PAN

Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych

Konkurs: SONATA 5 , panel: ST6

Kierownik: dr Łukasz Mikulski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marcin Kardas

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Formalne podejście do praktycznych problemów ukrywaniu informacji

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Marek Klonowski

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Interaktywna wizualna analiza tekstu (IVTA): Rozwój nowych metod interaktywnej eksploracji tekstu i wizualizacji dużych ...

Konkurs: OPUS 5 , panel: ST6

Kierownik: prof. Witold Dzwinel

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

Rozwój algorytmów identyfikacji wszystkich ważnych zmiennych z użyciem metod uczenia maszynowego

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Witold Rudnicki

Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego

Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA

Konkurs: ETIUDA 1 , panel: ST7

Kierownik: Adam Dziekoński

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

Opracowanie i badania rozwiązań algorytmicznych oraz sprzętowych w optoelektronicznych systemach pomiarowych stosowanych...

Konkurs: OPUS 4 , panel: ST7

Kierownik: dr Adam Styk

Politechnika Warszawska, Wydział Mechatroniki

Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Bartosz Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Ostatecznie spójna replikacja: Algorytmy i metody

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Paweł Wojciechowski

Politechnika Poznańska, Wydział Informatyki

Liczby Ramseya z udziałem grafu C_4

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Janusz Dybizbański

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

Informatyczne modele i metody w biologii komórkowej

Konkurs: OPUS 3 , panel: ST6

Kierownik: dr hab. Marta Kasprzak

Politechnika Poznańska, Wydział Informatyki