Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 22 projektów spełniających kryteria wyszukiwania:
-
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 Bednarczyk
Uniwersytet Wrocławski
-
Czas w mechanice kwantowej: porównanie interpretacji mechaniki kwantowej w świetle problemu czasu
Konkurs: PRELUDIUM 23 , panel: HS1
Kierownik: Jakub Róg
Uniwersytet Warszawski
-
Machiańskie ramy dla fizyki kwantowej
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Antonio Vassallo
Politechnika Warszawska
-
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
-
Automation of the Problem of Unification in Description Logics
Konkurs: POLONEZ BIS 3 , panel: ST6
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
-
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
-
Skończenie stanowe obliczenia wielomianowe
Konkurs: MAESTRO 14 , panel: ST6
Kierownik: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
-
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
-
Stan kwantowy: informacja, wolny wybór, losowość
Konkurs: OPUS 23 , panel: HS1
Kierownik: prof. Tomasz Grzegorz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
-
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
-
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
-
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Wnioskowanie ilościowe odporne na perturbacje
Konkurs: OPUS 20 , panel: ST6
Kierownik: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
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
-
Samoistne struktury w grawitacji kwantowej
Konkurs: OPUS 17 , panel: HS1
Kierownik: dr Antonio Vassallo
Politechnika Warszawska, Wydział Administracji i Nauk Społecznych
-
Fundamentalne zagadnienia ontologiczne a fizyka współczesna
Konkurs: OPUS 13 , panel: HS1
Kierownik: dr hab. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
-
Czasoprzestrzenne historie - teoria i zastosowania
Konkurs: HARMONIA 8 , panel: HS1
Kierownik: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
-
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
-
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 Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
-
Konkurs: SONATA 1 , panel: ST6
Kierownik: dr Michał Wrona
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki