Projekty finansowane przez NCN

Kwantowe przetwarzanie danych przy silnie ograniczonej pamięci i komunikacji

Konkurs: SONATA BIS 4 , panel: ST2

Kierownik: dr hab. Marcin Pawłowski

Uniwersytet Gdański, Wydział Matematyki, Fizyki 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

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Optymalność w złożoności parametryzowanej

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Michał Pilipczuk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Aktualne trendy w algorytmach parametryzowanych i wykładniczych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Łukasz Kowalik

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Złożoność obliczeniowa problemów spójności w grafach

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr hab. Marcin Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Złożoność i opisywalność borelowska w analizie: od wolności do polskości

Konkurs: SONATA BIS 13 , panel: ST1

Kierownik: dr hab. Tomasz Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Układy dynamiczne i złożoność opisowa

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Felipe García-Ramos Aguilar

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Marta Piecyk

Politechnika Warszawska

Topologiczna teoria robotów: złożoność topologiczna K(G,1) przestrzeni i efektywnej złożoności topologicznej

Konkurs: PRELUDIUM 21 , panel: ST1

Kierownik: Arturo Espinosa Baro

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

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

Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na d...

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Kunal Dutta

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kwantowa Informacja w Kwantowych Teoriach Pola i Holografii: Dynamika i Złożoność.

Konkurs: SONATA BIS 9 , panel: ST2

Kierownik: dr Paweł Caputa

Uniwersytet Warszawski, Wydział Fizyki

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Grafowe modelowanie procesów wyszukiwania

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Dariusz Dereniowski

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

Program optymalności w problemach homomorfizmu grafów

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Wokół optymalności algorytmów opartych o programowanie dynamiczne

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorytmy optymalizacji odpornej dla problemów z niepewnymi danymi

Konkurs: SONATA 13 , panel: ST6

Kierownik: dr Maciej Drwal

Politechnika Wrocławska

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

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

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Złożoność i podatnosc na wierność w teoriach holograficznych

Konkurs: SONATINA 1 , panel: ST2

Kierownik: dr Mario Flory

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

Szeregowanie zadań w sieciach zbierających dane

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Joanna Berlińska

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

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

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

Przyswajanie złożoności językowej w nauczaniu/uczeniu się języków obcych

Konkurs: HARMONIA 7 , panel: HS2

Kierownik: prof. Urszula Paprocka-Piotrowska

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Nauk Humanistycznych

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dokładne ograniczenia dolne przy silnych założeniach złożonościowych.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Arkadiusz Socała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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