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

Polonizowalność analitycznych relacji równoważności i uogólniona analiza Scotta

Konkurs: PRELUDIUM 24 , panel: ST1

Kierownik: Mateusz Lichman

Politechnika Łódzka

Efektywne algorytmy dla NP-trudnych problemów w grafach planarnych

Konkurs: SONATA 19 , panel: ST6

Kierownik: dr Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

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

Alien rule: Unveiling the mechanisms used by invasive ants to adapt to current and future environmental conditions

Konkurs: POLONEZ BIS 1 , panel: NZ8

Kierownik: dr Iago Sanmartín-Villar

Muzeum i Instytut Zoologii PAN

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

Problemy Spełnialności Więzów: poza przypadek skończony

Konkurs: WEAVE-UNISONO , panel: ST6

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

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

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr hab. Michał Maria Wrona

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

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

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: dr Adam Teodor 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

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

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

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

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

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

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

Osobliwości i szum, a złożoność informacyjna

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: Paweł Marek Morkisz

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

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy ciągłe: optymalność, złożoność, podatność

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Leszek Plaskota

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 Jakub Kamiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Spolegliwość niejednorodnych zadań wielowymiarowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Paweł Siedlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rola emocji o genezie automatycznej i refleksyjnej w przetwarzaniu heurystycznym i systematycznym na różnych poziomach z...

Konkurs: SONATA 4 , panel: HS6

Kierownik: dr Kamil Konrad Imbir

Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych

SOLWERY HYBRYDOWE O LINIOWEJ ZŁOŻONOśCI OBLICZENIOWEJ I PAMIĘCIOWEJ DLA ZADAŃ PROPAGACJI FAL ELEKTROMAGNETYCZNYCH NA MOD...

Konkurs: HARMONIA 3 , panel: ST1

Kierownik: dr hab. Maciej Paszyński

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

Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Michał Paweł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Złożone modele w problemach szeregowania zadań i metody ich rozwiązania

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Adam Antoni Janiak

Instytut Badań Systemowych PAN

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

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

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

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki