Znaleziono 248 projektów spełniających kryteria wyszukiwania:
Fundamentalne zagadnienia ontologiczne a fizyka współczesna
Konkurs: OPUS 13 , panel: HS1
Kierownik: dr hab. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
Konkurs: OPUS 13 , panel: HS1
Kierownik: dr hab. Joanna Golińska-Pilarek
Uniwersytet Warszawski, Wydział Filozofii
Ontologiczny i metodologiczny status symetrii w fizyce
Konkurs: PRELUDIUM 13 , panel: HS1
Kierownik: dr Joanna Luc
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: PRELUDIUM 13 , panel: HS1
Kierownik: Marcin Łyczak
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej
Niestandardowe modele arytmetyki i formalne teorie prawdy
Konkurs: ETIUDA 5 , panel: HS1
Kierownik: Michał Godziszewski
Uniwersytet Warszawski, Wydział Filozofii
Is general relativity deterministic? Some case studies
Konkurs: ETIUDA 5 , panel: HS1
Kierownik: Juliusz Doboszewski
Uniwersytet Jagielloński, Wydział Filozoficzny
Ograniczone, niezmiennicze relacje równoważności
Konkurs: ETIUDA 5 , panel: ST1
Kierownik: Tomasz Rzepecki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Skalowalne metody wnioskowania o imperatywnych programach współbieżnych
Konkurs: SONATA 12 , panel: ST6
Kierownik: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 12 , panel: HS1
Kierownik: dr hab. Marek Nasieniewski
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
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
Hybrydyzacja fragmentów logiki Halperna-Shohama
Konkurs: PRELUDIUM 12 , panel: HS1
Kierownik: Przemysław Wałęga
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Realne możliwości: czym są i jak są reprezentowane w fizyce?
Konkurs: OPUS 12 , panel: HS1
Kierownik: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Miejsce Kazimierza Twardowskiego w kulturze polskiej i filozofii europejskiej
Konkurs: OPUS 12 , panel: HS1
Kierownik: prof. Jacek Jadacki
Uniwersytet Warszawski, Wydział Filozofii
Deskryptywna teoria mnogości: struktura i dynamika grup polskich
Konkurs: SONATA 12 , panel: ST1
Kierownik: dr Aleksandra Kwiatkowska
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Semantyka z kontynuacjami i typami zależnymi: badanie mechanizmów kwantyfikacji w języku naturalnym
Konkurs: OPUS 12 , panel: HS1
Kierownik: dr hab. Justyna Grudzińska-Zawadowska
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Algebraiczne i topologiczne metody w teorii modeli
Konkurs: SONATA BIS 6 , panel: ST1
Kierownik: prof. Krzysztof Krupiński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 6 , panel: HS1
Kierownik: dr hab. Rafał Urbaniak
Uniwersytet Gdański, Wydział Nauk Społecznych
Czasoprzestrzenne historie - teoria i zastosowania
Konkurs: HARMONIA 8 , panel: HS1
Kierownik: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Problem wyjaśniania w matematyce
Konkurs: OPUS 11 , panel: HS1
Kierownik: prof. Krzysztof Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii
Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał.
Konkurs: PRELUDIUM 11 , panel: ST1
Kierownik: Daniel Hoffmann
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Konkurs: OPUS 11 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Materiały hybrydowe - na pograniczu urządzeń neuromorficznych oraz układów logiki rozmytej
Konkurs: PRELUDIUM 11 , panel: ST3
Kierownik: Kacper Pilarczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Akademickie Centrum Materiałów i Nanotechnologii
Problem separacji w teorii automatów
Konkurs: SONATA 11 , panel: ST6
Kierownik: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Fenomenologiczne mechanizmy prefabrykowania przestrzeni mentalnych
Konkurs: OPUS 11 , panel: HS1
Kierownik: dr hab. Wojciech Krysztofiak
Uniwersytet Szczeciński, Wydział Humanistyczny
W poszukiwaniu nowych logik komputerowych
Konkurs: OPUS 11 , panel: ST6
Kierownik: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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
Konkurs: SONATA 1 , panel: HS4
Kierownik: dr Łukasz Hardt
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Konkurs: SONATA 1 , panel: HS1
Kierownik: dr Robert Trypuz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
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
Aksjomatyzacje rozmaitości i quasirozmaitości
Konkurs: SONATA 1 , panel: ST1
Kierownik: dr Michał Stronkowski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Teoria modeli i dynamika topologiczna
Konkurs: OPUS 10 , panel: ST1
Kierownik: dr hab. Krzysztof Krupiński
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
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
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
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
Kognitywne mechanizmy referencji liczebnikowej
Konkurs: OPUS 1 , panel: HS1
Kierownik: dr hab. Wojciech Krysztofiak
Uniwersytet Szczeciński, Wydział Humanistyczny
Konkurs: SONATA BIS 5 , panel: HS1
Kierownik: prof. Anna Brożek
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Zastosowania logiki z funcjami częściowymi
Konkurs: OPUS 9 , panel: ST6
Kierownik: dr hab. Jean de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Konkurs: OPUS 9 , panel: HS1
Kierownik: dr hab. Piotr Łukowski
Uniwersytet Łódzki, Wydział Nauk o Wychowaniu