Projekty finansowane przez NCN

Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Wykraczając poza analizę najgorszego przypadku: problemy online z opóźnieniami i stochastycznymi czasami przyjścia

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Michał Łukasz Pawłowski

IDEAS NCBR Sp. z o.o.

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

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

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

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

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Marek Piotr Adamczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optymalizacja kombinatoryczna przez pryzmat trasy komiwojażera i skojarzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Katarzyna Ewa Paluch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problem Izomorfizmu Elekcji

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Stanisław Andrzej Szufa

Uniwersytet Jagielloński, Centrum Badań Ilościowych nad Polityką

Problem najbliższych sąsiadów bez fałszywie ujemnych wyników.

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: dr Piotr Wygocki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Badania kwantowych teorii pola z symetrią cechowania w ich obszarze nieperturbacyjnym

Konkurs: OPUS 11 , panel: ST2

Kierownik: prof. Jacek Wosiek

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

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

Genomika Obliczeniowa: Problemy, Algorytmy i Modele

Konkurs: OPUS 10 , panel: ST6

Kierownik: dr hab. Paweł Piotr Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Róża Joanna Goścień

Politechnika Wrocławska, Wydział Elektroniki

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Andrzej 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 Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Języki i Uczenie w General Game Playing

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efektywne algorytmy aproksymacyjne dla znajdowania optymalnej trasy komiwojażera i problemów pokrewnych

Konkurs: OPUS 6 , panel: ST6

Kierownik: dr Katarzyna Paluch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modele i algorytmy dla pewnej klasy dyskretno-ciągłych problemów rozdziału zasobów

Konkurs: OPUS 6 , panel: ST6

Kierownik: dr hab. Grzegorz Waligóra

Politechnika Poznańska, Wydział Informatyki

Równoległy algorytm memetyczny dla rozwiązywania złożonych problemów transportowych.

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Jakub Robert Nalepa

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

Algorytmy online dla podstawowych problemów sieciowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

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

Algorytmy dla problemu dopasowania wielu sekwencji oraz problemów pokrewnych

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Adam Gudyś

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

Oswojoność problemów macierzowych i koalgebr, problemy Birkhoffa i sieciowe systemy pierwiastków

Konkurs: OPUS 2 , panel: ST1

Kierownik: prof. Daniel Simson

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki