Projects funded by the NCN

Health assessment of composite structures based on multipoint, broadband excitation of guided waves and full wavefield a...

Call: OPUS 24 , Panel: ST8

Principal investigator: dr hab. Maciej Wojciech Radzieński

Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

Health monitoring of ADditively manufactured structurES (HADES)

Call: OPUS 18 , Panel: ST8

Principal investigator: dr hab. Paweł Henryk Malinowski

Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

Ultracold atoms in many-level systems

Call: OPUS 18 , Panel: ST2

Principal investigator: dr Mateusz Jarosław Łącki

Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

Quantitative study of set theory. Are ZF and ZFC asymptotically equivalent?

Call: OPUS 16 , Panel: ST6

Principal investigator: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Elastic constants identification of composite laminates by using Lamb wave dispersion curves and optimization methods

Call: OPUS 15 , Panel: ST8

Principal investigator: dr hab. Paweł Kudela

Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

Study of disbond effects in honeycomb sandwich composite materials subjected to environmental conditions

Call: PRELUDIUM 12 , Panel: ST8

Principal investigator: Shirsendu Sikdar

Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

Quantitative aspects of computational complexity in lambda calculus

Call: PRELUDIUM 11 , Panel: ST6

Principal investigator: dr Maciej Maria Bendkowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Monitoring of damage development in adhesive and bolted joints subjected to mechanical degradation by nonlinear Lamb wav...

Call: OPUS 10 , Panel: ST8

Principal investigator: dr hab. Magdalena Rucka

Politechnika Gdańska, Wydział Inżynierii Lądowej i Środowiska

Asymptotic methods in lambda calculus and combinatory logic

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

Call: PRELUDIUM 4 , Panel: ST6

Principal investigator: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modeling volatility and risk with blind identification and Extended Generalized Lambda Distribution system

Call: OPUS 2 , Panel: HS4

Principal investigator: dr Tomasz Sylwester Ząbkowski

Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Zastosowań Informatyki i Matematyki; Katedra Informatyki