Projekty finansowane przez NCN

Na granicy niemożliwego w klasycznej teorii automatów

Konkurs: OPUS 28 , panel: ST6

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Unifikacja modeli makro-ewolucyjnych i sieci filogenetycznych

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr hab. Paweł Piotr Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Spektroskopowe metody szybkiego fenotypowania drzew odzwierciedlające ich odporność ekologiczną

Konkurs: OPUS 22 (LAP) , panel: NZ9

Kierownik: dr hab. Paweł Krzysztof Kozakiewicz

Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Instytut Nauk Drzewnych i Meblarstwa

Obliczeniowe aspekty gier nieskończonych

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Odwrotny łańcuch dostaw pozostałości biomasy drzewnej

Konkurs: OPUS 20 (LAP) , panel: HS4

Kierownik: dr hab. Arkadiusz Mariusz Kawa

Wyższa Szkoła Logistyki w Poznaniu

Poprawa funkcji poznawczych poprzez wpływ na stare komorki mózgu w zwierzęcych modelach starzenia się i depresji.

Konkurs: OPUS 18 , panel: NZ4

Kierownik: prof. Ewa Zofia Sikora

Instytut Biologii Doświadczalnej im. M. Nenckiego PAN

Biologicznie Znacząca Rekonstrukcja Sieci Filogenetycznych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr hab. Paweł Piotr Górecki

Uniwersytet Warszawski

Zakres i drogi dyspersji genów w metapopulacji wiatropylnego drzewa iglastego rozsiewanego przez ptaki

Konkurs: OPUS 16 , panel: NZ8

Kierownik: dr hab. Igor Chybicki

Uniwersytet Kazimierza Wielkiego

Za drzwiami American Laboratory Theatre. Rola działalności pedagogicznej Ryszarda Bolesławskiego i Marii Uspenskiej w tr...

Konkurs: PRELUDIUM 16 , panel: HS2

Kierownik: Ewa Danuta Godziszewska

Szkoła Wyższa Psychologii Społecznej w Warszawie, Wydział Nauk Humanistycznych i Społecznych

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 Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: Bartłomiej Dudek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problem separacji w teorii automatów

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Wojciech Karol Czerwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Model procesu wytłaczania jednoślimakowego polimerowych kompozytów drzewnych

Konkurs: OPUS 10 , panel: ST8

Kierownik: prof. Krzysztof Wilczyński

Politechnika Warszawska, Wydział Inżynierii Produkcji

Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Damian Tadeusz Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wyzwania semistrukturalnych baz danych

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza spektralna i metody asymptotyczne dla skalarnych i macierzowych operatorów różnicowych

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Jan Janas

Instytut Matematyczny Polskiej Akademii Nauk

Społeczno-ekonomiczne uwarunkowania zadłużenia gospodarstw domowych - perspektywa europejska i polska

Konkurs: PRELUDIUM 3 , panel: HS4

Kierownik: dr Paulina Anioła-Mikołajczak

Uniwersytet Przyrodniczy w Poznaniu, Wydział Ekonomiczno-Społeczny

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

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

Zintegrowany system informatyczny wspomagający wyznaczanie i analizę geometrycznych, cieplnych i dyfuzyjnych właściwości...

Konkurs: OPUS 1 , panel: NZ9

Kierownik: prof. Jerzy Romuald Weres

Uniwersytet Przyrodniczy w Poznaniu, Wydział Rolnictwa i Bioinżynierii