Projekty finansowane przez NCN

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

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Damian Niwiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wyzwania semistrukturalnych baz danych

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip 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ł Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Unifikacja modeli makro-ewolucyjnych i sieci filogenetycznych

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr hab. Paweł 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ł 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ł 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 Kawa

Sieć Badawcza ŁUKASIEWICZ - Instytut Logistyki i Magazynowania

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 Sikora

Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk

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

Biologicznie Znacząca Rekonstrukcja Sieci Filogenetycznych

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr hab. Paweł 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, Wydział Nauk Biologicznych

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 Godziszewska

SWPS Uniwersytet Humanistycznospołeczny z siedzibą 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 Tendera

Uniwersytet Opolski, 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 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

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

Konkurs: OPUS 1 , panel: NZ9

Kierownik: prof. Jerzy Weres

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