Projekty finansowane przez NCN

Niezmiennicze relacje równoważności

Konkurs: PRELUDIUM 9 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zintegrowana formalizacja rozumowań normatywnych dotyczących własności deontycznych działań i stanów rzeczy

Konkurs: OPUS 9 , panel: HS1

Kierownik: dr Robert Trypuz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Metodologiczne podstawy wnioskowań w badaniach prowadzonych metodami mieszanymi

Konkurs: OPUS 8 , panel: HS1

Kierownik: dr hab. Paweł Kawalec

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Model migracji pustki w górotworze naruszonym, generującej deformacje nieciągłe na powierzchni terenu

Konkurs: OPUS 8 , panel: ST10

Kierownik: dr Agnieszka Malinowska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geodezji Górniczej i Inżynierii Środowiska

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowe perspektywy Arystotelesa "Analityk pierwszych i wtórych". Nowy polski przekład "Analityk" ze wstępem, komentarzem i...

Konkurs: OPUS 8 , panel: HS1

Kierownik: prof. Marian Wesoły

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Zbrzezny

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

Co to jest populacja? Darwinowska perspektywa

Konkurs: PRELUDIUM 8 , panel: HS1

Kierownik: Adrian Stencel

Uniwersytet Jagielloński, Wydział Filozoficzny

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Permissions, Information and Institutional Dynamics, Obligations, and Rights

Konkurs: BEETHOVEN 1 , panel: HS1

Kierownik: dr hab. Piotr Kulicki

Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Filozofii

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kognitywistyka w poszukiwaniu jedności: unifikacja i integracja badań interdyscyplinarnych

Konkurs: SONATA BIS 4 , panel: HS1

Kierownik: dr hab. Marcin Miłkowski

Instytut Filozofii i Socjologii PAN

Formalne teorie prawdy i niestandardowe modele arytmetyki

Konkurs: PRELUDIUM 7 , panel: HS1

Kierownik: Michał Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

Konkurs: SONATA 7 , panel: ST1

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Definiowalna dynamika topologiczna i o-minimalność

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Grzegorz Jagiella

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zastosowania mereologii w systemach geometrii bezpunktowych

Konkurs: OPUS 7 , panel: HS1

Kierownik: dr Rafał Gruszczyński

Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

Formalne teorie prawdy

Konkurs: OPUS 7 , panel: HS1

Kierownik: dr hab. Cezary Cieśliński

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Opracowanie metodologii ratingów rynków nieruchomości

Konkurs: OPUS 7 , panel: HS4

Kierownik: dr hab. Małgorzata Renigier-Biłozor

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geodezji, Inżynierii Przestrzennej i Budownictwa

Sieci: Podejście Wielodyscyplinarne

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Krzysztof Apt

UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI

Poznawanie jako wewnętrzne modelowanie. Rola pojęcia modeli i symulacji wewnętrznych w filozoficznych i kognitywistyczny...

Konkurs: FUGA 3 , panel: HS1

Kierownik: dr Paweł Gładziejewski

Instytut Filozofii i Socjologii PAN

Structures of Dialogue in Debate and Financial Discourse: Modelling an 'Ore' for Argument Mining (Struktury dialogowe w ...

Konkurs: ETIUDA 2 , panel: HS1

Kierownik: Olena Yaskorska

Instytut Filozofii i Socjologii PAN

Układy optyki zintegrowanej w nowych strukturach i materiałach ciekłokrystalicznych

Konkurs: OPUS 6 , panel: ST7

Kierownik: dr hab. Katarzyna Rutkowska

POLITECHNIKA WARSZAWSKA, Wydział Fizyki

Metodologia badania roli odpowiedzialności oraz innych wartości w społecznie zorientowanym procesie projektowania

Konkurs: PRELUDIUM 6 , panel: HS1

Kierownik: dr Rafał Wodzisz

Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II

Nowe materiały hybrydowe oparte o półprzewodniki szerokopasmowe domieszkowane nanostrukturami węglowymi

Konkurs: SONATA 6 , panel: ST5

Kierownik: dr Agnieszka Podborska

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii

Recepcja francuskiego konwencjonalizmu w polskiej tradycji filozoficznej

Konkurs: OPUS 6 , panel: HS1

Kierownik: dr hab. Krzysztof Szlachcic

Uniwersytet Wrocławski, Wydział Nauk Społecznych

Metody teorii mnogości w topologii i teorii przestrzeni Banacha.

Konkurs: OPUS 6 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rozgałęziający się czas a semantyka zdań o przygodnej przyszłości

Konkurs: PRELUDIUM 6 , panel: HS1

Kierownik: dr Jacek Wawer

Uniwersytet Jagielloński, Wydział Filozoficzny

Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

Konkurs: OPUS 6 , panel: HS1

Kierownik: dr hab. Marcin Mostowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Implikacje wybranych aspektów teorii ewolucji dla problemu definiowania życia

Konkurs: SONATA 6 , panel: HS1

Kierownik: dr Krzysztof Chodasewicz

Instytut Filozofii i Socjologii PAN

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwój oraz synteza nowoczesnych metod modelowania niepewności w rozwiązaniu wielokryterialnych problemów decyzyjnych...

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Pavel Sevastsyanau

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Prawdziwe, ale nie zawsze uniwersalne, czyli o naturze praw ekonomicznych

Konkurs: OPUS 6 , panel: HS4

Kierownik: dr hab. Łukasz Hardt

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Ontologizm rosyjskich transcendentalistów z kręgu "Logosu" (Borys W. Jakowienko, Wasyl E. Sezeman)

Konkurs: PRELUDIUM 6 , panel: HS1

Kierownik: dr Barbara Czardybon

Uniwersytet Jagielloński, Wydział Filozoficzny

Nowe techniki dla algorytmów skojarzeniowych i przepływowych

Konkurs: SONATA 6 , panel: ST6

Kierownik: dr Bartłomiej Bosek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Relacje tolerancji w kratach i ich wykorzystanie

Konkurs: OPUS 1 , panel: HS1

Kierownik: dr hab. Joanna Grygiel

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

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

Modelowanie rozumowań abdukcyjnych

Konkurs: SONATA BIS 3 , panel: HS1

Kierownik: dr hab. Mariusz Urbański

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

Optymalne projektowanie materiałów i struktur kompozytowych poddanych obciążeniom zmęczeniowym

Konkurs: OPUS 5 , panel: ST8

Kierownik: prof. Aleksander Muc

Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Mechaniczny

Analiza empiryczna procesu podejmowania decyzji w Unii Europejskiej w ramach zwykłej i specjalnej procedury ustawodawcze...

Konkurs: PRELUDIUM 5 , panel: HS5

Kierownik: dr Adam Kirpsza

Uniwersytet Jagielloński, Wydział Studiów Międzynarodowych i Politycznych

Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi

Konkurs: OPUS 5 , panel: HS1

Kierownik: dr hab. Zofia Kostrzycka

Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

Teoria sądu w filozoficznej Szkole Lwowskiej

Konkurs: SONATA 5 , panel: HS1

Kierownik: dr Stepan Ivanyk

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Atrybutywne Użycie Deskrypcji Określonych

Konkurs: PRELUDIUM 5 , panel: HS1

Kierownik: Wojciech Rostworowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Organizacyjne sposoby radzenia sobie z napięciem między ekonomią daru a logiką rynkową na podstawie przykładu sieci Couc...

Konkurs: PRELUDIUM 5 , panel: HS4

Kierownik: Karolina Mikołajewska-Zając

Akademia Leona Koźmińskiego

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski

Zastosowanie modelu poziomów analizy w badaniach nad twierdzeniami współczesnego teizmu naturalistycznego na temat relac...

Konkurs: OPUS 5 , panel: HS1

Kierownik: dr Piotr Bylica

Uniwersytet Zielonogórski, Wydział Humanistyczny

Indukcja dla formuł ograniczonych i jej relatywizacje

Konkurs: OPUS 5 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ideały i działania grup na przestrzeniach polskich

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Michał Morayne

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki