Projekty finansowane przez NCN

Ilościowe aspekty złożoności obliczeniowej w rachunku lambda

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: dr Maciej Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Definicja i analiza struktur absolutnych w kontekście problemu niezależności od tła teorii fizycznych

Konkurs: PRELUDIUM 11 , panel: HS1

Kierownik: Kamil Łacina

Uniwersytet Jagielloński, Wydział Filozoficzny

Prezentyzm i pojęcie istnienia

Konkurs: OPUS 11 , panel: HS1

Kierownik: dr hab. Jerzy Gołosz

Uniwersytet Jagielloński, Wydział Filozoficzny

Aksjomatyzacje rozmaitości i quasirozmaitości

Konkurs: SONATA 1 , panel: ST1

Kierownik: dr Michał Stronkowski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Teoria modeli z działaniem grupy skończonej

Konkurs: ETIUDA 4 , panel: ST1

Kierownik: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozumowania hipotetyczne i okresy warunkowe

Konkurs: FUGA 5 , panel: HS1

Kierownik: dr Maciej Sendłak

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Nowe metody parametrycznego modelowania heterogeniczności preferencji konsumentów

Konkurs: SONATA 10 , panel: HS4

Kierownik: prof. Mikołaj Czajkowski

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Teoria modeli i dynamika topologiczna

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nierówności korelacyjne dla procesów punktowych

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Ryszard Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Badania przyczynowe we współczesnej ekonomii

Konkurs: PRELUDIUM 10 , panel: HS1

Kierownik: Mariusz Maziarz

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Ekonomii i Finansów

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Teorie bez własności drzewa pierwszego rodzaju.

Konkurs: SONATA 10 , panel: ST1

Kierownik: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Implikacje rozmyte i ich wpływ na różnorodne metody wykorzystywane w systemach inteligentnych.

Konkurs: OPUS 10 , panel: ST6

Kierownik: dr hab. Michał Baczyński

Uniwersytet Śląski w Katowicach, Wydział Nauk Ścisłych i Technicznych

Kognitywne mechanizmy referencji liczebnikowej

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Nierówności dla wektorów log-wklęsłych

Konkurs: PRELUDIUM 10 , panel: ST1

Kierownik: Marta Strzelecka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Prawa w biologii ewolucyjnej

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr Krzysztof Chodasewicz

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Mechanizmy poznania geometrycznego

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr Mateusz Hohol

Instytut Filozofii i Socjologii Polskiej Akademii Nauk

Tablicowe systemy logiki wiążącej motywowane filozoficznymi interpretacjami spójników języka naturalnego

Konkurs: PRELUDIUM 10 , panel: HS1

Kierownik: Mateusz Klonowski

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Metateoria systemów tablicowych

Konkurs: OPUS 10 , panel: HS1

Kierownik: dr hab. Tomasz Jarmużek

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Nowoczesne metody w zespolonej geometrii afinicznej.

Konkurs: SONATA BIS 5 , panel: ST1

Kierownik: dr Karol Palka

Instytut Matematyczny Polskiej Akademii Nauk

Filozofia z metodologicznego punktu widzenia. Kondycja i perspektywy dyscyplin filozoficznych w świetle paradygmatu Szko...

Konkurs: SONATA BIS 5 , panel: HS1

Kierownik: prof. Anna Brożek

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Krajobraz strachu w lasach: wpływ martwego drewna i wilków na odnowienie gatunków drzew o zróżnicowanej jakości pokarmow...

Konkurs: OPUS 9 , panel: NZ8

Kierownik: dr hab. Dries Kuijper

Instytut Biologii Ssaków PAN

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Koncepcja wnioskowań naukowych Jerzego Neymana

Konkurs: PRELUDIUM 9 , panel: HS1

Kierownik: Adam Kubiak

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne

Konkurs: OPUS 9 , panel: HS1

Kierownik: prof. Jerzy Pogonowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Epistemologiczne aspekty zastosowania implikacji treściowej jako narzędzia formalizacji wyrażeń języka naturalnego.

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr hab. Piotr Łukowski

Uniwersytet Łódzki, Wydział Nauk o Wychowaniu