Projekty finansowane przez NCN

Badania interdyscyplinarne nad wczesnośredniowiecznym (VII-X/XI wiek) warsztatem garncarskim w dorzeczu środkowej Odry

Konkurs: PRELUDIUM 3 , panel: HS3

Kierownik: dr Bartłomiej Jerzy Gruszka

Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych

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

Metody formalizacji i kryteria racjonalności wnioskowań zawodnych

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Metody odkrywania procesów biznesowych i rachunek procesów dla systemów zgodnych z stylem architektonicznym REST.

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Andrzej Marek Stroiński

Politechnika Poznańska, Wydział Informatyki

Liczby Ramseya z udziałem grafu C_4

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: Janusz Dybizbański

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy alokacji zadań obliczeniowych w sieciach komputerowych

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Marcin Piotr Krzywkowski

Politechnika Gdańska

Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody...

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Włodzimierz Krzysztof Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metoda ujednoliconej wymiany reguł na poziomie semantycznym w systemach z bazą wiedzy. (SaMURaI)

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Krzysztof Kaczor

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Rola receptorów opioidowych w doświadczalnym nadciśnieniu tętniczym. Zbadanie hipotensyjnego działania bifaliny (opioid ...

Konkurs: OPUS 2 , panel: NZ4

Kierownik: prof. Janusz Bogumił Sadowski

Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego PAN

Inteligentny hybrydowy system planowania i kompozycji usług sieciowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Wojciech Penczek

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych

Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Andrzej Piotr Szałas

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Krytyczna analiza logik deontycznych działań, ich porównanie i studium wartości poznawczej i praktycznej oraz konstruowa...

Konkurs: SONATA 1 , panel: HS1

Kierownik: dr Robert Trypuz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II