Projekty finansowane przez NCN

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

parametry modeli skończonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Eryk Kopczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ontologia metafizyki

Konkurs: OPUS 4 , panel: HS1

Kierownik: dr hab. Paweł Rafał Garbacz

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II

Literatura i nauki ścisłe: dialog dwóch kultur ponad metaforami we współczesnej literaturze włoskiej

Konkurs: SONATA 4 , panel: HS2

Kierownik: dr Stefano Pietro Redaelli

Uniwersytet Warszawski, Wydział Artes Liberales

Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

Konkurs: OPUS 4 , panel: HS1

Kierownik: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

Zapomniane korzenie średniowiecznej kwestii uniwersaliów i indywiduacji. Próba rekonstrukcji metafizyki autorów wczesnob...

Konkurs: OPUS 3 , panel: HS1

Kierownik: dr hab. Anna Zhyrkova

Akademia Ignatianum w Krakowie, Wydział Filozoficzny

Logiki pozycyjne - metateoria i zastosowania

Konkurs: SONATA BIS 1 , panel: HS1

Kierownik: dr hab. Marcin Tkaczyk

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

Realizacja bramki logicznej w chiralnym nematycznym ciekłym krysztale o geometrii klina

Konkurs: SONATA 3 , panel: ST7

Kierownik: dr Urszula Anna Laudyn

Politechnika Warszawska, Wydział Fizyki

Ekonomia i literatura. Związki między logiką ekonomii a literacką mimesis.

Konkurs: PRELUDIUM 3 , panel: HS2

Kierownik: Michał Krzysztof Sowiński

Uniwersytet Jagielloński, Wydział Polonistyki

Modelowanie współpracy agentów z wykorzystaniem logiki wielowartościowej i równoległego przetwarzania informacji

Konkurs: OPUS 3 , panel: ST6

Kierownik: prof. Adam Borkowski

Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

Logika erotetyczna w modelowaniu liniowego i dystrybutywnego przetwarzania pytań. Podstawy teoretyczne i zastosowania

Konkurs: MAESTRO 2 , panel: HS1

Kierownik: prof. Andrzej Wiśniewski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych

Logika językowego doświadczenia

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Nanoporowate warstwy tlenkowe na Ti i Zr zawierające nanocząstki Ag lub ZnO jako perspektywiczne materiały do zastosowań...

Konkurs: PRELUDIUM 2 , panel: ST5

Kierownik: dr Agata Partycja Roguska

Politechnika Warszawska, Wydział Inżynierii Materiałowej

Wpływ wytrzymałości połączeń punktowych na energochłonność profili cienkościennych obciążonych udarowo

Konkurs: PRELUDIUM 2 , panel: ST8

Kierownik: dr Paweł Janusz Kaczyński

Politechnika Wrocławska, Wydział Mechaniczny

Wielowartościowa logika Jana Łukasiewicza jako podstawa nowej interpretacji mechaniki kwantowej

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Jarosław Pykacz

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

Materiały kompozytowe dla optoelektroniki molekularnej

Konkurs: OPUS 2 , panel: ST5

Kierownik: prof. Konrad Szaciłowski

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Metali Nieżelaznych

Elastyczne algorytmy problemu rozmieszczania obiektów w zarządzaniu produkcją i logistyce

Konkurs: OPUS 2 , panel: HS4

Kierownik: dr hab. Jerzy Grobelny

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Modelowanie dynamiki mobilnego robota czterokołowego i sterowanie jego ruchem nadążnym z ograniczeniem poślizgu kół jezd...

Konkurs: OPUS 2 , panel: ST7

Kierownik: dr hab. Maciej Tomasz Trojnacki

Przemysłowy Instytut Automatyki i Pomiarów PIAP

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

Konkurs: OPUS 2 , panel: HS1

Kierownik: prof. Andrzej Indrzejczak

Uniwersytet Łódzki, Wydział Filozoficzno Historyczny

Ontologia ekstensjonalna i logika filozoficzna

Konkurs: OPUS 2 , panel: HS1

Kierownik: dr hab. Andrzej Paweł Biłat

Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logiki dla wnioskowań jakościowych

Konkurs: MAESTRO 1 , panel: HS1

Kierownik: dr hab. Joanna Golińska-Pilarek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych

Konkurs: PRELUDIUM 1 , panel: HS1

Kierownik: dr Michał Ksawery Zawidzki

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Akceleracja metod wyszukiwania informacji w dużych zbiorach danych metodami sprzętowymi

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Kazimierz Wiatr

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

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

Rewaloryzacja terenów użyteczności publicznej obciążonych zjawiskami kryminogennymi w mieście poprzemysłowym na przykład...

Konkurs: OPUS 1 , panel: HS4

Kierownik: dr hab. Alicja Krzemińska

Uniwersytet Wrocławski, Wydział Nauk o Ziemi i Kształtowania Środowiska

Nowe katalizatory zawierające Zr, Nb, Mo, Au, Pt osadzone na porowatych nośnikach dla niskoenergetycznych procesów wytwa...

Konkurs: OPUS 1 , panel: ST5

Kierownik: prof. Maria Jolenta Ziółek

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii

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

Logika ciągła i jej algebraiczne zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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