Projects funded by the NCN

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

Decision Problems for Logics with Weak Forms of Recursion

Call: PRELUDIUM 23 , Panel: ST6

Principal investigator: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Counting models in formal verification

Call: SONATA BIS 12 , Panel: ST6

Principal investigator: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

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

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

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

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

Data-enriched models of computation

Call: OPUS 18 , Panel: ST6

Principal investigator: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Quantitative specifications: learning, algorithms and applications

Call: OPUS 14 , Panel: ST6

Principal investigator: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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 Katarzyna Prokopowicz

Uniwersytet Warszawski, Wydział Fizyki

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

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

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 PAN

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

Logics for data analysis and verification

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jakub Dawid 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: dr hab. Jolanta Nastula

Centrum Badań Kosmicznych PAN

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 Krystyna Wosiek

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

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 Jerzy Wachniew

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

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

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