Znaleziono 8 projektów spełniających kryteria wyszukiwania:
Automatyzacja wnioskowania konstruktywnego
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konstruktywne metody znajdowania równowag w dużych gospodarkach
Konkurs: SONATA 4 , panel: HS4
Kierownik: dr Łukasz Balbus
Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii
Konkurs: PRELUDIUM 2 , panel: ST8
Kierownik: dr Mariusz Ptak
Politechnika Wrocławska, Wydział Mechaniczny
Oddziaływanie w kwantowej teorii pola
Konkurs: SONATA BIS 9 , panel: ST1
Kierownik: dr hab. Wojciech Dybalski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: OPUS 17 , panel: ST8
Kierownik: prof. Tomasz Lewiński
Politechnika Warszawska, Wydział Inżynierii Lądowej
Miedź o strukturze ultradrobnoziarnistej do zastosowań jako przewodzące elementy konstrukcyjne
Konkurs: PRELUDIUM 14 , panel: ST8
Kierownik: Marta Ciemiorek-Bartkowska
Politechnika Warszawska, Wydział Inżynierii Materiałowej
Konkurs: SONATA 11 , panel: ST8
Kierownik: dr hab. Marta Kurek
Politechnika Opolska, Wydział Mechaniczny
Konkurs: PRELUDIUM 10 , panel: ST8
Kierownik: Marcin Kwiecień
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej