Projects funded by the NCN

Foreign direct investment and productivity. Empirical verification of the theoretical model of condidional interdependie...

Call: PRELUDIUM 9 , Panel: HS4

Principal investigator: Liwiusz Wojciechowski

Uniwersytet Ekonomiczny w Krakowie, Wydział Ekonomii i Stosunków Międzynarodowych

New methods of identity verification based on the dynamic features of a signature with use of selected artificial intell...

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Marcin Zalasiński

Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki

Verification of parent material homogeneity in soils developed from crystalline and sedimentary rocks in the loess-influ...

Call: SONATA 8 , Panel: ST10

Principal investigator: dr Jarosław Waroszewski

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Przyrodniczo-Technologiczny

Unified theory of coreference in Polish and its corpus-based verification

Call: OPUS 8 , Panel: HS2

Principal investigator: dr Maciej Ogrodniczuk

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Logics for data analysis and verification

Call: SONATA 8 , Panel: ST6

Principal investigator: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Towards Behavioral Analysis of Public Interventions. Verification of Interdisciplinary Research Approach

Call: OPUS 7 , Panel: HS5

Principal investigator: dr Karol Olejniczak

Uniwersytet Warszawski, Instytut Ameryk i Europy

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

New concepts of equilibria in dynamic games and their economic applications

Call: OPUS 6 , Panel: HS4

Principal investigator: dr hab. Agnieszka Krystyna Wiszniewska-Matyszkiel

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

From a stronghold to a castle - new methods and research perspectives

Call: PRELUDIUM 6 , Panel: HS3

Principal investigator: dr Maria Magdalena Legut-Pintal

Politechnika Wrocławska, Wydział Architektury

Specification development and software verification

Call: OPUS 6 , Panel: ST6

Principal investigator: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The verification of canon law standards regarding impediments to marriage

Call: OPUS 6 , Panel: HS5

Principal investigator: prof. Wojciech Marian Góralski

Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Prawa Kanonicznego

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

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 Polskiej Akademii Nauk

Thermodynamic insights into design of functionally optimized modified siRNAs and their experimental verification.

Call: SONATA BIS 3 , Panel: NZ1

Principal investigator: dr hab. Anna Pasternak

Instytut Chemii Bioorganicznej Polskiej Akademii Nauk

Verification of usefulness of soot aggregates to radiocarbon dating and carbon isotopic composition studies

Call: OPUS 5 , Panel: ST10

Principal investigator: dr hab. Helena Hercman

Instytut Nauk Geologicznych Polskiej Akademii Nauk

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

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Mechanism and limits of the judicial-administrative verification of the legality and the models of concretisation of the...

Call: OPUS 5 , Panel: HS5

Principal investigator: dr hab. Marcin Stanisław Kamiński

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Verification of a novel mechanism of a mitochondrial diseases development

Call: PRELUDIUM 5 , Panel: NZ5

Principal investigator: Magdalena Sylwia Kaliszewska

Uniwersytet Warszawski, Wydział Biologii

Reproductive biology of sturgeons - application of chromosome manipulations and molecular and cytogenetic screening in t...

Call: OPUS 5 , Panel: NZ9

Principal investigator: dr hab. Dorota Katarzyna Fopp-Bayat

Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk o Środowisku

The atomic scale structure of nanocarbons: modeling and experimental verification by neutron and X-ray diffraction, Rama...

Call: PRELUDIUM 5 , Panel: ST3

Principal investigator: Natalia Anna Woźnica

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Hydrogen molecules collisions with the noble gas atoms - ab initio calculations and experimental verification

Call: PRELUDIUM 5 , Panel: ST4

Principal investigator: dr Piotr Jan Wcisło

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej

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 Polskiej Akademii Nauk

Observational verification of the limb darkening law using eclipsing contact binaries in the Kepler field

Call: OPUS 4 , Panel: ST9

Principal investigator: prof. Stanisław Andrzej Zoła

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

AXIOLOGICAL AND ETHICAL FUNDAMENTS OF THE "DUAL-PROCESS". A NEW CONCEPTUALIZATION OF THE BASIC THEORETICAL IDEA AND ITS ...

Call: OPUS 4 , Panel: HS6

Principal investigator: dr hab. Piotr Radkiewicz

Instytut Psychologii Polskiej Akademii Nauk

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

Automatisation of constructive logic

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Aleksy Andrzej Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Verification and new interpretation of the mechanisms of non-homogeneous deformation of fcc poly- and single crystals in...

Call: OPUS 4 , Panel: ST8

Principal investigator: dr hab. Andrzej Pawełek

Instytut Metalurgii i Inżynierii Materiałowej im. Aleksandra Krupkowskiego Polskiej Akademii Nauk

Litanic Verse in the Culture of European Regions

Call: SONATA BIS 2 , Panel: HS2

Principal investigator: dr hab. Witold Bogdan Sadowski

Uniwersytet Warszawski, Wydział Polonistyki

Clusters as innovation carrier of enterprises and regions. Verification and implementation of Asian models in terms of t...

Call: OPUS 1 , Panel: HS4

Principal investigator: prof. Bogusława Drelich-Skulska

Uniwersytet Ekonomiczny we Wrocławiu, Wydział Nauk Ekonomicznych

Analysis of impact of wind and infragravity waves on coastal and seabed evolution - extension and verification of mathem...

Call: OPUS 3 , Panel: ST10

Principal investigator: dr hab. Grzegorz Marcin Różyński

Instytut Budownictwa Wodnego Polskiej Akademii Nauk

Verification of the role of Wnts in the maintenance of pluripotency of embryonic stem cells

Call: SONATA 3 , Panel: NZ3

Principal investigator: dr Karolina Anna Archacka

Uniwersytet Warszawski, Wydział Biologii

Interaction between VDAC and minocycline: experimental verification of minocycline binding by VDAC

Call: PRELUDIUM 3 , Panel: NZ1

Principal investigator: dr Andonis Karachitos

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Biologii

Verification and Quantification of the Synthons Approach on the Basis of Cocrystals of Dihydroxybenzoic Acids with N-don...

Call: PRELUDIUM 2 , Panel: ST4

Principal investigator: dr Anna Agnieszka Hoser

Uniwersytet Warszawski, Wydział Chemii

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

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 Polskiej Akademii Nauk

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

Z^2 codes: decidability and verification algorithms, defect effect, asymptotic density, tilings, weak codes

Call: OPUS 2 , Panel: ST6

Principal investigator: dr Włodzimierz Krzysztof Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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 Polskiej Akademii Nauk

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 Polskiej Akademii Nauk

Towards a useful quantum advantage

Call: WEAVE-UNISONO , 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

Broad phenotype of autism hypothesis. An attempt to veryfication through an analysis of executive function iin siblings ...

Call: OPUS 2 , Panel: HS6

Principal investigator: prof. Ewa Agnieszka Pisula

Uniwersytet Warszawski, Wydział Psychologii

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 Polskiej Akademii Nauk

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: CHIST-ERA2020 , Panel: ST2

Principal investigator: dr hab. Remigiusz Augusiak

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk