97 projects found matching your search criteria :
Frontiers of automatic analysis of concurrent systems
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 21 , Panel: ST10
Principal investigator: dr hab. Krzysztof Marcin Michalski
Instytut Geofizyki Polskiej Akademii Nauk
Call: OPUS 21 , Panel: NZ5
Principal investigator: dr hab. Katarzyna Piwocka
Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk
Decision procedures in verification
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 20 , Panel: HS4
Principal investigator: prof. Patrycja Maria Klimas
Uniwersytet Ekonomiczny we Wrocławiu, Wydział Zarządzania
Call: OPUS 20 , Panel: HS6
Principal investigator: dr hab. Maciej Stanisław Stolarski
Uniwersytet Warszawski, Wydział Psychologii
Quantitative Analysis for Latin Poetry: Style Beyond Lexis
Call: PRELUDIUM BIS 2 , Panel: HS2
Principal investigator: dr hab. Maciej Jakub Eder
Instytut Języka Polskiego Polskiej Akademii Nauk
Call: OPUS 19 , Panel: ST8
Principal investigator: dr hab. Piotr Marcin Łapka
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa
Call: OPUS 19 , Panel: ST5
Principal investigator: dr Mihails Arhangelskis
Uniwersytet Warszawski, Wydział Chemii
Call: OPUS 19 , Panel: HS4
Principal investigator: dr hab. Katarzyna Beata Tworek
Politechnika Wrocławska
Compulsive sexual behavior disorder: characteristics and verification of theoretical models
Call: SONATINA 4 , Panel: HS6
Principal investigator: dr Karol Lewczuk
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Verification of the neural noise hypothesis of dyslexia
Call: OPUS 18 , Panel: HS6
Principal investigator: dr hab. Katarzyna Maria Jednoróg
Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk
Call: OPUS 18 , Panel: HS6
Principal investigator: prof. Przemysław Bąbel
Uniwersytet Jagielloński, Wydział Filozoficzny
Call: OPUS 16 , Panel: NZ7
Principal investigator: prof. Sebastian Polak
Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum; Wydział Farmaceutyczny
Call: OPUS 16 , Panel: ST8
Principal investigator: dr hab. Łukasz Michał Jankowski
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Call: OPUS 16 , Panel: ST10
Principal investigator: prof. Arkadiusz Andrzej Mandowski
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie
Call: PRELUDIUM 1 , Panel: NZ8
Principal investigator: Michał Jan Czyż
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii
Technical verification and define the scope of intelligent wear suitability in home conditions
Call: PRELUDIUM 1 , Panel: ST7
Principal investigator: dr Eliasz Cezary Kańtoch
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: PRELUDIUM 1 , Panel: NZ4
Principal investigator: Mateusz Rusiniak
Instytut Fizjologii i Patologii Słuchu
Call: HARMONIA 10 , Panel: HS6
Principal investigator: prof. Anna Marta Brytek-Matera
SWPS Uniwersytet Humanistycznospołeczny z siedzibą w Warszawie, Wydział Zamiejscowy w Katowicach
Call: OPUS 15 , Panel: ST5
Principal investigator: prof. Michał Jerzy Leszczyński
Instytut Wysokich Ciśnień Polskiej Akademii Nauk
Call: SONATA 1 , Panel: HS4
Principal investigator: dr Urszula Ziemiańczyk
Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Inżynierii Produkcji i Energetyki
Call: PRELUDIUM 14 , Panel: ST10
Principal investigator: Sebastian Kendzierski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych
Self-verification in the context of epistemic motivation
Call: OPUS 14 , Panel: HS6
Principal investigator: dr Ewa Agnieszka Szumowska
Uniwersytet Jagielloński, Wydział Filozoficzny
Quantitative specifications: learning, algorithms and applications
Call: OPUS 14 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
On-line monitoring of dose distribution in proton therapy using heavy scintillating fibers
Call: SONATA BIS 7 , Panel: ST2
Principal investigator: dr hab. Aleksandra Wrońska
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Verification of the multiaxial random fatigue criteria
Call: OPUS 1 , Panel: ST8
Principal investigator: prof. Tadeusz Józef Łagoda
Politechnika Opolska, Wydział Mechaniczny
Call: OPUS 13 , Panel: ST8
Principal investigator: prof. Paweł Ligęza
Instytut Mechaniki Górotworu PAN
Call: PRELUDIUM 13 , Panel: NZ1
Principal investigator: Małgorzata Katarzyna Prokopowicz
Uniwersytet Warszawski, Wydział Fizyki
Call: PRELUDIUM 13 , Panel: HS6
Principal investigator: dr Kamila Czepczor-Bernat
SWPS Uniwersytet Humanistycznospołeczny z siedzibą w Warszawie, Wydział Zamiejscowy w Katowicach
Experimental verification of self-sustained oscillations in free round jet
Call: PRELUDIUM 12 , Panel: ST8
Principal investigator: Agnieszka Maria Pawłowska
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: OPUS 12 , Panel: HS4
Principal investigator: dr hab. Bartłomiej Rokicki
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 11 , Panel: ST8
Principal investigator: Michał Piotr Morawski
Instytut Budownictwa Wodnego Polskiej Akademii Nauk
Call: OPUS 11 , Panel: ST4
Principal investigator: prof. Emilian Julian Chibowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Chemii
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11 , Panel: ST8
Principal investigator: dr Sylwester Samborski
Politechnika Lubelska, Wydział Mechaniczny
Call: OPUS 11 , Panel: ST8
Principal investigator: prof. Tomasz Stanisław Sadowski
Politechnika Lubelska, Wydział Budownictwa i Architektury
Call: OPUS 1 , Panel: ST10
Principal investigator: dr Przemysław Jerzy Wachniew
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
Call: PRELUDIUM 11 , Panel: ST2
Principal investigator: Grzegorz Andrzej Kowzan
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 10 , Panel: NZ5
Principal investigator: dr hab. Monika Frączek
Instytut Genetyki Człowieka Polskiej Akademii Nauk
Call: OPUS 10 , Panel: ST10
Principal investigator: dr hab. Mariusz Majdański
Instytut Geofizyki Polskiej Akademii Nauk
Finding Applications for Logic with Partial Functions
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Jean Marie de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 1 , Panel: ST10
Principal investigator: Karol Paweł Szymankiewicz
Politechnika Warszawska, Wydział Inżynierii Środowiska
Call: PRELUDIUM 9 , Panel: NZ8
Principal investigator: dr Beniamin Grzegorz Wacławik
Uniwersytet Jagielloński, Wydział Biologii
Call: PRELUDIUM 9 , Panel: ST8
Principal investigator: Leszek Józef Frąś
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk