Projekty finansowane przez NCN

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Złożoność borelowska ideałów na zbiorach przeliczalnych i zbiory punktów granicznych

Konkurs: OPUS 27 , panel: ST1

Kierownik: dr hab. Adam Kwela

Uniwersytet Gdański

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

Wpływ składu i szybkości chłodzenia na właściwości mechaniczne szkieł metalicznych o wysokiej entropii

Konkurs: SONATA BIS 13 , panel: ST3

Kierownik: dr Silvia Bonfanti

Narodowe Centrum Badań Jądrowych

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

Nowe systemy laserowe wykorzystujące złożoność nieliniowej dynamiki w światłowodach optycznych.

Konkurs: OPUS 25 , panel: ST7

Kierownik: dr Katarzyna Krupa

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

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

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Felipe García-Ramos

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modele obliczeniowe w formalnej weryfikacji

Konkurs: SONATA BIS 12 , panel: ST6

Kierownik: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów igrafów krawędziowych

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Jana Novotná

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

W poszukiwaniu neuronalnych korelatów pierwszego i drugiego języka. Badanie z wykorzystaniem funkcjonalnego rezonansu ma...

Konkurs: PRELUDIUM 21 , panel: HS6

Kierownik: Agata Jadwiga Wolna

Uniwersytet Jagielloński, Wydział Filozoficzny

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 Polskiej Akademii Nauk

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 Kozik

Uniwersytet Jagielloński

Koncepcja struktur kluczowych: wielopoziomowe znaczenie gniazd ptaków jako dowód na istnienie krytycznych komponentów ek...

Konkurs: OPUS 21 , panel: NZ8

Kierownik: dr hab. Michał Adam Ciach

Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Bioróżnorodność w gradiencie złożoności siedlisk: rola mikrosiedlisk nadrzewnych

Konkurs: PRELUDIUM 20 , panel: NZ9

Kierownik: Fabian Przepióra

Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

Metody analizy podobieństwa regionów o niskiej złożoności

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: dr Patryk Paweł Jarnot

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

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

Promując porządek w okresie zawirowań

Konkurs: Profesura Gościnna NAWA 2020 , panel: HS5

Kierownik: prof. Emilian Kavalski

Uniwersytet Jagielloński

LCRPlatform: nowe algorytmy i metody identyfikacji, kategoryzacji oraz adnotacji regionów białkowych o niskiej złożonośc...

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Marcin Maciej Grynberg

Instytut Biochemii i Biofizyki Polskiej Akademii Nauk

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

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 Leopoldo Bautista Leon

Instytut Ochrony Przyrody Polskiej Akademii Nauk

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

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

Konkurs: SONATA BIS 9 , panel: ST2

Kierownik: dr hab. Paweł Piotr 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 Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Konstanty 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: dr Sylwia Pustkowiak

Instytut Ochrony Przyrody Polskiej Akademii Nauk

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

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