Projekty finansowane przez NCN

Złożoność dynamiczna i pseudometryki

Konkurs: POLS , panel: ST1

Kierownik: dr Maik Gröger

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rozpoznawanie złożoności konfliktów między człowiekiem a dziką przyrodą: naturalne i antropogeniczne czynniki występowan...

Konkurs: ETIUDA 8 , panel: NZ8

Kierownik: Carlos Bautista Leon

Instytut Ochrony Przyrody Polskiej Akademii Nauk

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Układy dynamiczne Cantora i ich klasyfikacja

Konkurs: SONATA 15 , panel: ST1

Kierownik: dr Olena Karpel

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

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

Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

Konkurs: MAESTRO 1 , panel: ST6

Kierownik: prof. Marek Kubale

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

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

Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Uznański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Różnorodność biologiczna jako źródło międzygatunkowej informacji socjalnej: wpływ na wybór terytorium, złożoność śpiewu ...

Konkurs: PRELUDIUM 17 , panel: NZ8

Kierownik: Sylwia Pustkowiak

Instytut Ochrony Przyrody Polskiej Akademii Nauk

DATALOG w Problemie Spełnialności Więzów

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Kozik

Uniwersytet Jagielloński, 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

Podwójnie zawęźlone białka - granice złożności topologicznej białek

Konkurs: OPUS 16 , panel: NZ1

Kierownik: dr hab. Joanna Sułkowska

Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego

Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze...

Konkurs: OPUS 16 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki 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

Zaawansowane zarządzanie humanistyczne jako pole badań masowych zjawisk technospołecznych

Konkurs: OPUS 15 , panel: HS1

Kierownik: dr hab. Rafał Maciąg

Uniwersytet Jagielloński, Wydział Zarządzania i Komunikacji Społecznej

Dynamika z punktu widzenia pojedynczych orbit: quasi-kryształy, miary niezmiennicze, złożoność

Konkurs: OPUS 15 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Nowe wyzwania dla IBC

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Henryk Woźniakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Zarządzanie efektywnością komunikacyjną zespołów w sytuacji rozwiązywania dynamicznych zadań o wysokim poziomie złożonoś...

Konkurs: PRELUDIUM 12 , panel: HS4

Kierownik: Anna Pałyga

Akademia Leona Koźmińskiego

Hybrydyzacja fragmentów logiki Halperna-Shohama

Konkurs: PRELUDIUM 12 , panel: HS1

Kierownik: Przemysław Wałęga

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

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

Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Adam Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Piotr Faliszewski

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

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Miary statystycznej złożoności i nieprzewidywalności strategii oparte na pojęciu entropii w grach ekonomicznych

Konkurs: SONATA 11 , panel: HS4

Kierownik: dr Fryderyk Falniowski

Uniwersytet Ekonomiczny w Krakowie, Kolegium Ekonomii, Finansów i Prawa

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Bendkowski

Uniwersytet Jagielloński, 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

NIEZMIENNIKI I METODY TOPOLOGII STOSOWANEJ

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Wacław Marzantowicz

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

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