Projects funded by the NCN

Logics for data analysis and verification

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Analysis of models of geophysical surficial fluids and CMIP climate models for veryfication of theirs excitation functio...

Call: OPUS 6 , Panel: ST10

Principal investigator: prof. Jolanta Nastula

Centrum Badań Kosmicznych PAN

A new method for planning the motion of a legged robot over rough terrain and its experimental verification

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: dr Dominik Belter

Politechnika Poznańska, Wydział Elektryczny

Frontiers of automatic verification: new methods of analysis of infinite-state systems

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The ATLAS Experiment: Experimental verification of the Standard Model and searches for signals of New Physics at LHC ene...

Call: HARMONIA 4 , Panel: ST2

Principal investigator: prof. Barbara Wosiek

Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN

Identity fusion and its consequences for attitudes and behaviors.

Call: SONATA 1 , Panel: HS6

Principal investigator: dr Tomasz Besta

Uniwersytet Gdański, Wydział Nauk Społecznych

Feasibility study and experimental verification of the LHC beam halo splitting layout with bent crystals for the ALICE f...

Call: SONATA 17 , Panel: ST2

Principal investigator: dr Marcin Patecki

Politechnika Warszawska

Verification of personalized therapeutic strategy based on Integrated Stress Response inhibition for myeloid neoplasms w...

Call: OPUS 21 , Panel: NZ5

Principal investigator: dr hab. Katarzyna Piwocka

Instytut Biologii Doświadczalnej im. Marcelego Nenckiego Polskiej Akademii Nauk

Quantitative Analysis for Latin Poetry: Style Beyond Lexis

Call: PRELUDIUM BIS 2 , Panel: HS2

Principal investigator: dr hab. Maciej Eder

Instytut Języka Polskiego Polskiej Akademii Nauk

Development of the Job Performance model based on Employees' Dynamic Capabilities for various phases of crisis in organi...

Call: OPUS 19 , Panel: HS4

Principal investigator: dr hab. Katarzyna Tworek

Politechnika Wrocławska

Development and verification of effective methods and algorithms for optimum design of sensor and actuator systems in lo...

Call: OPUS 16 , Panel: ST8

Principal investigator: dr hab. Łukasz Jankowski

Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk

Technical verification and define the scope of intelligent wear suitability in home conditions

Call: PRELUDIUM 1 , Panel: ST7

Principal investigator: dr Eliasz Kańtoch

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Innovative method for measurement of high-amplitude, fast pulsing flows - modeling, optimization and experimental verifi...

Call: OPUS 13 , Panel: ST8

Principal investigator: prof. Paweł Ligęza

Instytut Mechaniki Górotworu Polskiej Akademii Nauk

Optical and time-resolved spectroscopy for hypothesis veryfication of the conducting by mTS the reductive reaction with ...

Call: PRELUDIUM 13 , Panel: NZ1

Principal investigator: Małgorzata Prokopowicz

Uniwersytet Warszawski, Wydział Fizyki

Wave run-up phenomena - adaptation and verification of existing mathematical models. Determination of empirical formula ...

Call: PRELUDIUM 11 , Panel: ST8

Principal investigator: Michał Morawski

Instytut Budownictwa Wodnego Polskiej Akademii Nauk

Numerical analysis and experimental verification of the critical strain energy release rate determination methods for la...

Call: OPUS 11 , Panel: ST8

Principal investigator: dr Sylwester Samborski

Politechnika Lubelska, Wydział Mechaniczny

Elaboration and verification of new methodology to determine lead Pb-210 concentration in sediments, soils and peats by ...

Call: OPUS 1 , Panel: ST10

Principal investigator: dr Przemysław Wachniew

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej

Verification of the hypothesis of oxidative stress, apoptosis and immune factor as the mechanisms responsible for the po...

Call: OPUS 10 , Panel: NZ5

Principal investigator: dr hab. Monika Frączek

Instytut Genetyki Człowieka Polskiej Akademii Nauk

Finding Applications for Logic with Partial Functions

Call: OPUS 9 , Panel: ST6

Principal investigator: dr hab. Jean de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki