Projects funded by the NCN

New automated verification methods of open real-time multi-agent systems

Call: OPUS 29 , Panel: ST6

Principal investigator: dr hab. Bożena Woźna-Szcześniak

Akademia im. Jana Długosza w Częstochowie

Positioning the aryl hydrocarbon receptor (AhR) as a new target for pharmacotherapy of sporadic Alzheimer disease: verif...

Call: OPUS 28 , Panel: NZ7

Principal investigator: prof. Małgorzata Kajta

Instytut Farmakologii PAN

Formal verification in data-enriched models of computation

Call: OPUS 28 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski

On the border of impossible in classical automata theory

Call: OPUS 28 , Panel: ST6

Principal investigator: dr hab. Paweł Parys

Uniwersytet Warszawski

Proper metrological verification of smart energy meters

Call: SONATA 20 , Panel: ST7

Principal investigator: dr Piotr Kuwałek

Politechnika Poznańska

Investigation of the 3-D distribution of Hard X-ray sources related to solar eruptions: verification of the standard fla...

Call: OPUS 27 , Panel: ST9

Principal investigator: dr Tomasz Maciej Mrozek

Centrum Badań Kosmicznych PAN

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Verification of starch presence in ciliates and examination of its metabolism mechanisms

Call: PRELUDIUM 23 , Panel: NZ8

Principal investigator: Kacper Ludwig

Uniwersytet Wrocławski

Antisense oligonucleotides as tools specifically binding viral G-quadruplexes and their experimental verification

Call: OPUS 25 , Panel: ST4

Principal investigator: dr Marta Maria Szabat

Instytut Chemii Bioorganicznej PAN

Experimental verification of correction methods of U-series ages used in case of dating secondary carbonates contaminate...

Call: PRELUDIUM 22 , Panel: ST10

Principal investigator: Paula Sierpień

Instytut Nauk Geologicznych, Polska Akademia Nauk, Ośrodek Badawczy w Krakowie

Towards a useful quantum advantage

Call: Quant-ERA II Call 2023 , Panel: ST2

Principal investigator: dr hab. Michał Oszmaniec

Naukowa i Akademicka Sieć Komputerowa - Państwowy Instytut Badawczy

Development of a measurement model based on four dimensions (first contact, coordination, comprehensiveness, continuity ...

Call: OPUS 25 , Panel: HS4

Principal investigator: dr hab. Liliana Patrycja Hawrysz

Politechnika Wrocławska

Three-phase drug carriers - design towards a prolonged release, development of a transport model and its verification. C...

Call: PRELUDIUM BIS 4 , Panel: ST8

Principal investigator: prof. Anna Trusek

Politechnika Wrocławska

Counting models in formal verification

Call: SONATA BIS 12 , Panel: ST6

Principal investigator: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Diffuson-mediated heat transfer: experimental verification of the unified theory of thermal transport

Call: OPUS 23 , Panel: ST3

Principal investigator: prof. Andrzej Seweryn Jeżowski

Instytut Niskich Temperatur i Badań Strukturalnych im. Włodzimierza Trzebiatowskiego PAN

Verification of the chronology and character of early medieval hillforts in the western foreland of Poznan in the contex...

Call: PRELUDIUM 21 , Panel: HS3

Principal investigator: Jagoda Mizerka

Instytut Archeologii i Etnologii Polskiej Akademii Nauk

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 quantum Technologies, Applications and Systems

Call: Quant-ERA II Call 2021 , Panel: ST2

Principal investigator: dr hab. Remigiusz Michał Augusiak

Centrum Fizyki Teoretycznej PAN

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

RATE OF TECTONIC PLATES MOVEMENT IN NEOPROTEROZIC – VERIFICATION OF NEOPROTEROZOIC TRUE POLAR WANDER HYPOTHESIS (ACRONYM...

Call: OPUS 21 , Panel: ST10

Principal investigator: dr hab. Krzysztof Marcin Michalski

Instytut Geofizyki PAN

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. M. Nenckiego PAN

Identification, verification, measurement and testing of coopetitive relationships including their impact on the perform...

Call: OPUS 20 , Panel: HS4

Principal investigator: prof. Patrycja Maria Klimas

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Zarządzania

The role of time perspectives in affective states' dynamics, motivation, and performance in sport: Verification of a con...

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 PAN

Studies on heat and moisture transfer in multi-layer protective clothing subjected to thermal and steam loads

Call: OPUS 19 , Panel: ST8

Principal investigator: dr hab. Piotr Marcin Łapka

Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa

Theoretical design and prediction of phosphorescent emissive materials based on halogen bonding interactions and experim...

Call: OPUS 19 , Panel: ST5

Principal investigator: dr Mihails Arhangelskis

Uniwersytet Warszawski, Wydział Chemii

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 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. M. Nenckiego PAN

Learning and unlearning pain from others. Verification and extension of the social learning model of placebo effects in ...

Call: OPUS 18 , Panel: HS6

Principal investigator: prof. Przemysław Bąbel

Uniwersytet Jagielloński, Wydział Filozoficzny

Personalized therapy - design and verification of the optimalization and manufacturing of the modified release, orally t...

Call: OPUS 16 , Panel: NZ7

Principal investigator: prof. Sebastian Polak

Uniwersytet Jagielloński- Collegium Medicum, Collegium Medicum; Wydział Farmaceutyczny

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 Michał Jankowski

Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

Verification of fundamental rules of luminescence dating - the dose-rate effect and alternative models of radiative exci...

Call: OPUS 16 , Panel: ST10

Principal investigator: prof. Arkadiusz Andrzej Mandowski

Akademia im. Jana Długosza w Częstochowie

Impact of negative affect on eating behaviour: verification of two potential pathways in laboratory and ecological seeti...

Call: HARMONIA 10 , Panel: HS6

Principal investigator: prof. Anna Marta Brytek-Matera

Szkoła Wyższa Psychologii Społecznej w Warszawie, Wydział Zamiejscowy w Katowicach

Diffuse X-ray Scattering from Local Chemical Inhomogeneities in InGaN- experimental verification of theoretical model.

Call: OPUS 15 , Panel: ST5

Principal investigator: prof. Michał Jerzy Leszczyński

Instytut Wysokich Ciśnień PAN

Improvement potential of short-term weather forecast over Poland by the means of MOS and parameterization settings avail...

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

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 PAN

Empirical verification of the Homeostatic Theory of Obesity in children and adolescents: logitudinal study

Call: PRELUDIUM 13 , Panel: HS6

Principal investigator: dr Kamila Czepczor-Bernat

Szkoła Wyższa Psychologii Społecznej 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

Application of regional price deflators in empirical analysis of regional wage determinants and in verification of the N...

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

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

Call: PRELUDIUM 11 , Panel: ST8

Principal investigator: Michał Piotr Morawski

Instytut Budownictwa Wodnego PAN

Verification of the mechanisms of the influence of magnetic field on water and aqueous solution of selected electrolytes...

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

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

Determination of dynamic response of Ceramic Matrix Composites (CMC) - theoretical modelling and experimental verificati...

Call: OPUS 11 , Panel: ST8

Principal investigator: prof. Tomasz Stanisław Sadowski

Politechnika Lubelska, Wydział Budownictwa i Architektury