15 projects found matching your search criteria :
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 5 , Panel: NZ5
Principal investigator: prof. Anetta Undas
Krakowski Szpital Specjalistyczny im. Jana Pawła II
Call: OPUS 5 , Panel: ST5
Principal investigator: prof. Jan Dobrowolski
Instytut Chemii i Techniki Jądrowej
Call: MAESTRO 2 , Panel: ST5
Principal investigator: prof. Krzysztof Woźniak
Uniwersytet Warszawski, Wydział Chemii
Multichromophoric open-cage silsesquioxanes as quantitative optical anion sensors
Call: SONATA 19 , Panel: ST5
Principal investigator: dr Magdalena Grzelak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Centrum Zaawansowanych Technologii
Call: PRELUDIUM 22 , Panel: ST5
Principal investigator: Karol Baran
Politechnika Gdańska
Call: SONATINA 7 , Panel: HS1
Principal investigator: dr Karol Lenart
Uniwersytet Warszawski, Wydział Filozofii
Call: PRELUDIUM 21 , Panel: ST5
Principal investigator: Andrzej Świeży
Politechnika Krakowska im. Tadeusza Kościuszki
Call: OPUS 21 , Panel: ST3
Principal investigator: prof. Józef Spałek
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 21 , Panel: ST10
Principal investigator: dr Monika Zabłocka
Instytut Oceanologii Polskiej Akademii Nauk
Call: OPUS 2 , Panel: ST8
Principal investigator: prof. Krzysztof Sztwiertnia
Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego PAN
Call: OPUS 20 (LAP) , Panel: ST5
Principal investigator: prof. Adolfo Rivero Müller
Uniwersytet Medyczny w Lublinie, Wydział Lekarski
Distribution functions for the description of heterogeneous metallic microstructures
Call: BEETHOVEN 2 , Panel: ST5
Principal investigator: prof. Maciej Pietrzyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 9 , Panel: NZ9
Principal investigator: dr Monika Mierzwa-Hersztek
Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Rolniczo-Ekonomiczny