Znaleziono 33 projektów spełniających kryteria wyszukiwania:
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
Konkurs: OPUS 8 , panel: ST7
Kierownik: prof. Katarzyna Cieślak-Blinowska
Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN
Konkurs: PRELUDIUM 8 , panel: HS6
Kierownik: dr Łukasz Bola
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: HARMONIA 6 , panel: HS6
Kierownik: dr Artur Marchewka
Instytut Biologii Doświadczalnej im. M. Nenckiego PAN
Konkurs: PRELUDIUM 7 , panel: HS5
Kierownik: Krzysztof Świtała
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Prawa i Administracji
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
Uniwersalne własności Potencjałów Wywołanych Stanu Ustalonego w różnych modalnościach.
Konkurs: SONATA 4 , panel: NZ4
Kierownik: dr Rafał Kuś
Uniwersytet Warszawski, Wydział Fizyki
Filozoficzno-metalogiczne podstawy logiki nazw: semantyka, metody tablicowe i aksjomatyzacja
Konkurs: OPUS 22 , panel: HS1
Kierownik: prof. Andrzej Pietruszczak
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Związki między algebraicznymi, modalnymi i wielowartościowymi logikami kwantowymi
Konkurs: PRELUDIUM 20 , panel: HS1
Kierownik: Elżbieta Drozdowska
Katolicki Uniwersytet Lubelski Jana Pawła II
Konkurs: PRELUDIUM 20 , panel: ST7
Kierownik: Paweł Frankowski
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Elektryczny
Ontologia ekstensjonalna i logika filozoficzna
Konkurs: OPUS 2 , panel: HS1
Kierownik: dr hab. Andrzej Biłat
Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie
Konkurs: SONATA 16 , panel: HS1
Kierownik: dr Jacek Wawer
Uniwersytet Jagielloński, Wydział Filozoficzny
Logiczno-filozoficzne podstawy geometrii i topologii
Konkurs: OPUS 20 , panel: HS1
Kierownik: dr hab. Rafał Gruszczyński
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych
Wokół logik modalnych - rozstrzygalność i złożoność
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 18 , panel: HS6
Kierownik: Kinga Ciupińska
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: ETIUDA 7 , panel: HS6
Kierownik: Anna Banaszkiewicz
Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk
Możliwości i indywidua. O naturze modalności de re i strukturze jednostkowych przedmiotów
Konkurs: ETIUDA 7 , panel: HS1
Kierownik: Karol Lenart
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: OPUS 16 , panel: NZ5
Kierownik: dr hab. Ireneusz Grulkowski
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Nowa metoda generowania modów fizycznych dla niskowymiarowego modelowania przepływów
Konkurs: OPUS 1 , panel: ST8
Kierownik: prof. Marek Morzyński
Politechnika Poznańska, Wydział Maszyn Roboczych i Transportu
Systemy dedukcyjne oraz problem rozstrzygalności dla logik hybrydowych
Konkurs: PRELUDIUM 1 , panel: HS1
Kierownik: dr Michał Zawidzki
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych
Konkurs: OPUS 13 , panel: HS1
Kierownik: prof. Andrzej Indrzejczak
Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
Konkurs: PRELUDIUM 13 , panel: HS1
Kierownik: Karol Lenart
Uniwersytet Jagielloński, Wydział Filozoficzny
Fundamentalne zagadnienia ontologiczne a fizyka współczesna
Konkurs: OPUS 13 , panel: HS1
Kierownik: dr hab. Tomasz Bigaj
Uniwersytet Warszawski, Wydział Filozofii
Konkurs: PRELUDIUM 13 , panel: HS1
Kierownik: Marcin Łyczak
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Filozofii Chrześcijańskiej
Diagnoza wybranych nieprawidłowości chodu na podstawie wielomodalnej analizy ruchu.
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Adam Świtoński
Polsko-Japońska Akademia Technik Komputerowych, Wydział Zamiejscowy Informatyki w Bytomiu
Konkurs: OPUS 12 , panel: HS1
Kierownik: dr hab. Marek Nasieniewski
Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny
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
Konkurs: PRELUDIUM 12 , panel: HS6
Kierownik: Izabela Szumska
Instytut Psychologii Polskiej Akademii Nauk
Czasoprzestrzenne historie - teoria i zastosowania
Konkurs: HARMONIA 8 , panel: HS1
Kierownik: prof. Tomasz Placek
Uniwersytet Jagielloński, Wydział Filozoficzny
Konkurs: SONATA 1 , panel: HS4
Kierownik: dr Piotr Rosik
Instytut Geografii i Przestrzennego Zagospodarowania im. S. Leszczyckiego PAN
Ontologia przedmiotów postrzeżeniowych poza modalnością wzrokową
Konkurs: FUGA 5 , panel: HS1
Kierownik: dr Błażej Skrzypulec
Instytut Filozofii i Socjologii Polskiej Akademii Nauk
Konkurs: SONATA 9 , panel: HS6
Kierownik: dr Michał Bola
Instytut Biologii Doświadczalnej im. M. Nenckiego PAN