Projekty finansowane przez NCN

Niefregowskie ujęcie logiki związku treściowego Dunna-Epsteina

Konkurs: OPUS 29 , panel: HS1

Kierownik: dr Mateusz Klonowski

Uniwersytet Mikołaja Kopernika

Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Konkurs: OPUS 29 , panel: ST6

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Celowane dostarczanie rapamycyny w nanocząstkach kwasu hialuronowego do senescentnych komórek śródbłonka siatkówki w ret...

Konkurs: PRELUDIUM 24 , panel: NZ7

Kierownik: Gabriela Burda

Uniwersytet Jagielloński

Insolubilia. Pierwsze średniowieczne dyskusje na temat antynomii logicznych

Konkurs: OPUS 29 , panel: HS1

Kierownik: dr hab. Magdalena Ewa Bieniak-Nowak

Uniwersytet Warszawski

Zintegrowane układy perowskitowe do polarytonowej logiki spinowej

Konkurs: OPUS 28 , panel: ST3

Kierownik: dr Helgi Sigurdsson

Uniwersytet Warszawski

Miary złożoności strukturalnej dla teorii podstaw matematyki

Konkurs: WEAVE-UNISONO , panel: HS1

Kierownik: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Analiza ilościowych modeli obliczeniowych

Konkurs: SONATA BIS 14 , panel: ST6

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Konkurs: PRELUDIUM 23 , panel: ST6

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Roberta Halifaxa koncepcja woli i jej wpływ na woluntaryzm wiedeński w piętnastym wieku

Konkurs: WEAVE-UNISONO , panel: HS1

Kierownik: dr hab. Monika Izabela Michałowska

Uniwersytet Medyczny w Łodzi

Semantyka oparta na relacji: podejście aksjomatyczne i tablicowe

Konkurs: OPUS 26 , panel: HS1

Kierownik: dr hab. Tomasz Dariusz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

Logiki wyższych rzędów a zjawisko absolutności w teorii mnogości

Konkurs: SONATA 19 , panel: HS1

Kierownik: dr Bartosz Wcisło

Uniwersytet Gdański, Wydział Nauk Społecznych

Logiczne i filozoficzne aspekty pluralizmu i potencjalizmu w teorii mnogości i arytmetyce

Konkurs: OPUS 25 , panel: HS1

Kierownik: dr Michał Tomasz Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Zupełność w sensie Posta a zupełność względem semantyki sąsiedztwa w klasycznych logikach modalnych

Konkurs: PRELUDIUM 22 , panel: HS1

Kierownik: Krzysztof Aleksander Krawczyk

Uniwersytet Jagielloński, Wydział Filozoficzny

Automation of the Problem of Unification in Description Logics

Konkurs: POLONEZ BIS 3 , panel: ST6

Kierownik: dr hab. Barbara Joanna Morawska

Uniwersytet Opolski, Instytut Informatyki

Reprezentacje semantyk algebraicznych dla logik podstrukturalnych

Konkurs: OPUS 24 (LAP) , panel: HS1

Kierownik: dr hab. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Jakub Gajarský

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Na przecięciu etyki, filozofii przyrody i logiki. Woluntaryzm Ryszarda FitzRalpha i Ryszarda Kilvingtona

Konkurs: OPUS 24 , panel: HS1

Kierownik: dr hab. Monika Izabela Michałowska

Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

Skończenie stanowe obliczenia wielomianowe

Konkurs: MAESTRO 14 , panel: ST6

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Procesy degradacji konstrukcji obciążonych mechanicznie w środowisku wodorowym

Konkurs: OPUS 23 , panel: ST8

Kierownik: dr hab. Magdalena Maria Mieloszyk

Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

Dynamiczna logika epistemiczna a problem logicznej wszechwiedzy

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Arkadiusz Jerzy Wójcik

Uniwersytet w Białymstoku, Wydział Filozofii i Kognitywistyki

Równoważność w logikach podstrukturalnych

Konkurs: OPUS 23 , panel: HS1

Kierownik: dr hab. Tomasz Stanisław Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozwój protokołu komunikacyjnego z użyciem strukturyzowanych wiązek świetlnych

Konkurs: OPUS 23 , panel: ST7

Kierownik: dr Mateusz Michał Szatkowski

Politechnika Wrocławska

Argumentacje transcendentalne. Modele i zastosowania

Konkurs: PRELUDIUM 21 , panel: HS1

Kierownik: Stanisław Jędrczak

Uniwersytet Warszawski, Wydział Filozofii

Calcium Carbonate encapsulated Casein Nanocarriers loaded with plant Nutrients as Novel nanocomposite fertilizer

Konkurs: POLONEZ BIS 2 , panel: NZ9

Kierownik: dr Aniketkumar K Gade

Uniwersytet Mikołaja Kopernika, Wydział Nauk Biologicznych i Weterynaryjnych

Jak zrozumieć niedorzeczność? Rola wyobraźni w Traktacie logiczno-filozoficznym Ludwiga Wittgensteina

Konkurs: SONATINA 6 , panel: HS1

Kierownik: dr Krystian Bogucki

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe iaksjomatyzacja

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Andrzej Pietruszczak

Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

Kategorie jakościowości i indywidualności w logice, ontologii i fizyce

Konkurs: OPUS 22 , panel: HS1

Kierownik: prof. Tomasz Franciszek Bigaj

Uniwersytet Warszawski, Wydział Filozofii

Kwantytatywna fenomenologia zaburzeń temporalności

Konkurs: SONATA BIS 11 , panel: HS1

Kierownik: dr hab. Marcin Moskalewicz

Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu

RE-SENSE: Lipidowe nanocząstki z podwójnym cargo w zwalczaniu oporności komórek niedrobnokomórkowego raka płuca na terap...

Konkurs: PRELUDIUM 20 , panel: NZ7

Kierownik: Mikołaj Czajkowski

Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu

Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi

Konkurs: PRELUDIUM 20 , panel: HS1

Kierownik: Elżbieta Jennifer Drozdowska

Katolicki Uniwersytet Lubelski Jana Pawła II

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozumowanie w egzegezie biblijnej: od Stefana Langtona do Tomasza z Akwinu

Konkurs: SONATA 16 , panel: HS1

Kierownik: dr Marcin Lech Trepczyński

Uniwersytet Warszawski, Wydział Filozofii

Matematyzowane teorie naukowe i podstawy matematyki stosowanej

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr Jeffrey John Ketland

Uniwersytet Warszawski, Wydział Filozofii

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logiczno-filozoficzne podstawy geometrii i topologii

Konkurs: OPUS 20 , panel: HS1

Kierownik: dr hab. Rafał Gruszczyński

Uniwersytet Mikołaja Kopernika, Wydział Filozofii i Nauk Społecznych

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

Charakterystyka strukturalna częściowo wysyconych form metalotionein cynkowych oraz ich rola w regulacji aktywności supr...

Konkurs: ETIUDA 8 , panel: ST4

Kierownik: Manuel David Peris Diaz

Uniwersytet Wrocławski, Wydział Biotechnologii

Inteligentne podejścia do rozmieszczania obiektów w zarządzaniu, produkcji i logistyce

Konkurs: OPUS 18 , panel: HS4

Kierownik: dr hab. Rafał Michalski

Politechnika Wrocławska

Rola tłumaczenia ustnego symultanicznego w mitygacji nacechowanego ideologicznie dyskursu politycznego

Konkurs: PRELUDIUM 18 , panel: HS2

Kierownik: Patryk Dobkiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki

Logiczne operacje w spinowo-spolaryzowanych kondensatach półmagnetycznych polarytonów ekscytonowych

Konkurs: PRELUDIUM 17 , panel: ST3

Kierownik: Rafał Wiesław Mirek

Uniwersytet Warszawski, Wydział Fizyki

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

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Opracowanie i analiza wysoce wydajnych, kompleksujących jon galu, dwufunkcyjnych związków przeciwbakteryjnych o właściwo...

Konkurs: SHENG 1 , panel: NZ7

Kierownik: dr hab. Mariusz Stanisław Grinholc

Uniwersytet Gdański, Międzyuczelniany Wydział Biotechnologii Uniwersytetu Gdańskiego i Gdańskiego Uniwersytetu Medycznego

Nanocząstki lipidowe z dodatkiem peptydów antybakteryjnych jako alternatywna metoda leczenia infekcji bakteryjnych

Konkurs: PRELUDIUM 15 , panel: ST5

Kierownik: Katarzyna Maria Reczyńska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Materiałowej i Ceramiki

Dynamika strukturalna powierzchni katalitycznych układów zawierających nanokrystaliczne złoto na nośnikach tlenkowych w ...

Konkurs: PRELUDIUM 15 , panel: ST4

Kierownik: dr Maciej Zieliński

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody teoriomodelowe w logice oraz w podstawach matematyki i nauk empirycznych

Konkurs: OPUS 15 , panel: HS1

Kierownik: dr Jeffrey Ketland

Uniwersytet Warszawski, Wydział Filozofii

Badania metod intensyfikacji procesów sorpcyjnych w modyfikowanych konstrukcjach złóż adsorpcyjnych

Konkurs: OPUS 15 , panel: ST8

Kierownik: prof. Jarosław Marek Krzywański

Akademia im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych