Search results
77 projects found matching your search criteria:
-
1. Development and implementation of model checking methods for real-time and multi-agent systems
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Call: OPUS 1, Panel: ST6
-
Principal investigator: dr Sławomir Jan Kasperowicz
Instytut Biochemii i Biofizyki PAN
Call: PRELUDIUM 21, Panel: ST4
-
Principal investigator: dr Wiktoria Karolina Grzebieniarz
Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Technologii Żywności
Call: PRELUDIUM 22, Panel: ST5
-
4. Automated information systems of case-law. Model analysis
Principal investigator: dr Honorata Alicja Zarębska
UNIWERSYTET ŚLĄSKI, Wydział Filologiczny
Call: PRELUDIUM 1, Panel: HS2
-
Principal investigator: dr Marta Kutwin
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Nauk o Zwierzętach
Call: SONATA 12, Panel: NZ7
-
Principal investigator: prof. Małgorzata Anna Majcher
Uniwersytet Przyrodniczy w Poznaniu
Call: OPUS 29, Panel: NZ9
-
Principal investigator: Monika Anna Hałat
Uniwersytet Jagielloński, Wydział Chemii
Call: PRELUDIUM 15, Panel: ST4
-
Principal investigator: dr hab. Adam Pieczka
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geologii, Geofizyki i Ochrony Środowiska
Call: OPUS 10, Panel: ST10
-
Principal investigator: dr hab. Agnieszka Ewa Dzikowska
Uniwersytet Warszawski, Wydział Biologii
Call: OPUS 8, Panel: NZ3
-
Principal investigator: Uttaran Maiti
Uniwersytet Jagielloński, Wydział Biologii i Nauk o Ziemi
Call: PRELUDIUM 2, Panel: NZ8
-
Principal investigator: dr hab. Małgorzata Renata Cyran
Instytut Hodowli i Aklimatyzacji Roślin - Państwowy Instytut Badawczy
Call: OPUS 2, Panel: NZ9
-
12. Artificial membranes as model system to investigate the temperature adaptation of diatoms
Principal investigator: prof. Kazimierz Jan Strzałka
Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii
Call: HARMONIA 1, Panel: NZ1
-
Principal investigator: dr hab. Beata Joanna Myśliwa-Kurdziel
Uniwersytet Jagielloński
Call: OPUS 1, Panel: NZ1
-
Principal investigator: Justyna Wojcieszek
Politechnika Warszawska, Wydział Chemiczny
Call: PRELUDIUM 16, Panel: ST4
-
Principal investigator: dr hab. Robert Władysław Góra
Politechnika Wrocławska, Wydział Chemiczny
Call: OPUS 2, Panel: ST4
-
Principal investigator: dr hab. Teresa Małgorzata Basińska
Centrum Badań Molekularnych i Makromolekularnych PAN
Call: OPUS 15, Panel: ST8
-
17. Insight into antiglycation mechanism of phenolic acid derivatives in model and food systems
Principal investigator: prof. Sylwia Mildner-Szkudlarz
Uniwersytet Przyrodniczy w Poznaniu
Call: OPUS 27, Panel: NZ9
-
Principal investigator: prof. Grażyna Jolanta Stochel
Uniwersytet Jagielloński, Wydział Chemii
Call: OPUS 18, Panel: ST4
-
Principal investigator: dr hab. Mirosława Pawlyta
Politechnika Śląska, Wydział Mechaniczny Technologiczny
Call: OPUS 17, Panel: ST5
-
Principal investigator: Justyna Anna Furso
Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii
Call: PRELUDIUM 16, Panel: NZ1
-
Principal investigator: prof. Bronisław Marciniak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
Call: OPUS 14, Panel: ST4
-
22. Analysis of the melanin's phototoxicity in cells in vitro and in model systems
Principal investigator: prof. Tadeusz Jan Sarna
Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii
Call: OPUS 14, Panel: ST5
-
Principal investigator: Małgorzata Matylda Grzyb
Polska Akademia Nauk
Call: PRELUDIUM 14, Panel: NZ3
-
24. Evaluation of neuroprotective properties of piceatannol in model biological systems.
Principal investigator: Joanna Anna Gerszon
Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska
Call: PRELUDIUM 13, Panel: NZ1
-
Principal investigator: dr Piotr Rafał Pięta
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Call: OPUS 12, Panel: ST4
-
Principal investigator: dr hab. Anna Michalska-Ciechanowska
Instytut Rozrodu Zwierząt i Badań Żywności PAN
Call: SONATA 12, Panel: NZ9
-
27. Previtrifcation related dynamics in experimental model systems: liquid crystals and plastic crystals
Principal investigator: dr Aleksandra Drozd-Rzoska
Instytut Wysokich Ciśnień PAN
Call: OPUS 11, Panel: ST3
-
Principal investigator: dr hab. Ryszard Rzepecki
Uniwersytet Wrocławski, Wydział Biotechnologii
Call: OPUS 11, Panel: NZ4
-
29. Tecto-RNA nano-structures for gene expression regulation in a model system
Principal investigator: dr hab. Arkadiusz Chworoś
Centrum Badań Molekularnych i Makromolekularnych PAN
Call: OPUS 10, Panel: ST5
-
Principal investigator: dr hab. Michał Świeca
Uniwersytet Przyrodniczy w Lublinie, Wydział Nauk o Żywności i Biotechnologii
Call: OPUS 9, Panel: NZ9
-
Principal investigator: dr Paweł Mateusz Nowak
Uniwersytet Jagielloński, Wydział Chemii
Call: PRELUDIUM 9, Panel: ST4
-
Principal investigator: dr Krzysztof Adrian Lech
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Przyrodniczo-Technologiczny
Call: SONATA 8, Panel: NZ9
-
Principal investigator: dr hab. Grzegorz Robert Litwinienko
Uniwersytet Warszawski, Wydział Chemii
Call: OPUS 8, Panel: ST4
-
34. Determinants of carotenoid biosynthesis in carrot: a model system approach
Principal investigator: prof. Rafał Barański
Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Biotechnologii i Ogrodnictwa
Call: OPUS 5, Panel: NZ9
-
Principal investigator: Ewelina van Wenum
Uniwersytet Warszawski, Wydział Chemii
Call: PRELUDIUM 3, Panel: ST4
-
36. Catalytic abatement of green house gases over model nanostructured spinel systems
Principal investigator: prof. Zbigniew Sojka
Uniwersytet Jagielloński, Wydział Chemii
Call: OPUS 2, Panel: ST5
-
Principal investigator: prof. Sylwester Janusz Rzoska
Instytut Wysokich Ciśnień PAN
Call: OPUS 1, Panel: NZ9
-
Principal investigator: dr Joanna Olesiak-Bańska
Politechnika Wrocławska, Wydział Chemiczny
Call: PRELUDIUM 1, Panel: ST5
-
39. New automated verification methods of open real-time multi-agent systems
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie
Call: OPUS 29, Panel: ST6
-
40. Selected SMT-based model checking methods
Principal investigator: Agnieszka Małgorzata Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Call: PRELUDIUM 8, Panel: ST6
-
41. Simulation and bisimulation for context-free and pushdown systems
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 3, Panel: ST6
-
Principal investigator: Beata Tim
Politechnika Poznańska, Wydział Inżynierii Materiałowej i Fizyki Technicznej
Call: PRELUDIUM 21, Panel: ST5
-
43. Interactions of statins with biological membranes - implications for drug delivery research.
Principal investigator: prof. Renata Bilewicz
Uniwersytet Warszawski, Wydział Chemii
Call: OPUS 16, Panel: ST4
-
Principal investigator: dr Dorota Matyszewska
Uniwersytet Warszawski, Wydział Chemii
Call: SONATA 12, Panel: ST4
-
Principal investigator: dr Remigiusz Worch
Instytut Fizyki PAN
Call: SONATA 4, Panel: NZ1
-
46. New methods in parametric model checking
Principal investigator: Michał Józef Knapik
Instytut Podstaw Informatyki PAN
Call: PRELUDIUM 4, Panel: ST6
-
47. Evolutionary algorithm in global induction of model trees
Principal investigator: dr Marcin Czajkowski
POLITECHNIKA BIAŁOSTOCKA, Wydział Informatyki
Call: PRELUDIUM 5, Panel: ST6
-
Principal investigator: Emilia Ewa Piosik
Politechnika Poznańska, Wydział Fizyki Technicznej
Call: PRELUDIUM 11, Panel: ST7
-
49. Multi-Physics, Multi-Objective, Multi-Adaptive Strategies for Solving Inverse Problems
Principal investigator: prof. Robert Franciszek Schaefer
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 2, Panel: ST6
-
Principal investigator: prof. Wojciech Franus
Politechnika Lubelska
Call: OPUS 27, Panel: ST8