Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 3 projektów spełniających kryteria wyszukiwania:
-
Na granicy niemożliwego w klasycznej teorii automatów
Konkurs: OPUS 28 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski
-
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
-
Nowy model kontaktu ciał opisywanych modelami wyższego rzędu i jego implementacja numeryczna
Konkurs: PRELUDIUM 9 , panel: ST8
Kierownik: Maciej Jakub Lewandowski-Szewczyk
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk