Projects funded by the NCN

Invariant equivalence relations

Call: PRELUDIUM 9 , Panel: ST1

Principal investigator: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Reasoning about programs in higher-order languages

Call: OPUS 8 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Modelling and investigations of properties of atmospheric pressure microwave plasma sources operated at frequency of 915...

Call: PRELUDIUM 6 , Panel: ST8

Principal investigator: Robert Miotk

Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN

Basic research on the phenomenon of the optically stimulated luminescence (OSL) in order to determine the validity limit...

Call: PRELUDIUM 6 , Panel: ST10

Principal investigator: Natalia Kijek

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

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

Geometrical observables for classical and quantum General Relativity

Call: PRELUDIUM 5 , Panel: ST2

Principal investigator: Jędrzej Świeżewski

Uniwersytet Warszawski, Wydział Fizyki

Subjective and regulatory equivalence scales

Call: OPUS 5 , Panel: HS4

Principal investigator: dr hab. Leszek Morawski

Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

Analytic equivalence relations and Polish group actions

Call: SONATA 3 , Panel: ST1

Principal investigator: dr Marcin Sabok

Instytut Matematyczny PAN

The Project of somatic criticism

Call: OPUS 1 , Panel: HS2

Principal investigator: prof. Adam Dziadek

UNIWERSYTET ŚLĄSKI, Wydział Filologiczny

Logic of language experience

Call: OPUS 2 , Panel: HS1

Principal investigator: dr Konrad Zdanowski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Geometry of Pfaffian systems and applications to differential equations and control theory

Call: SONATA 2 , Panel: ST1

Principal investigator: dr Wojciech Kryński

Instytut Matematyczny PAN

The theory of stochastic equivalence scales

Call: OPUS 2 , Panel: HS4

Principal investigator: prof. Stanisław Kot

POLITECHNIKA GDAŃSKA

Non-random equivalent characterizations of sample boundedness

Call: OPUS 24 , Panel: ST1

Principal investigator: dr hab. Witold Bednorz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

On endogenous discounting and recursive utilities

Call: OPUS 24 , Panel: HS4

Principal investigator: dr hab. Łukasz Balbus

Uniwersytet Zielonogórski

Satsifiability and equivalence problems for finite algebras

Call: OPUS 23 , Panel: ST6

Principal investigator: dr Jacek Krzaczkowski

Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

Equivalence in Substructural Logics

Call: OPUS 23 , Panel: HS1

Principal investigator: dr hab. Tomasz Kowalski

Uniwersytet Jagielloński, Wydział Filozoficzny

Stożkowa Normalność Stanów Infra-próżniowych

Call: PRELUDIUM 20 , Panel: ST1

Principal investigator: Bartosz Biadasiewicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Computer system for modelling and analysis of operating states of low-power transformers supplied from higher frequency ...

Call: PRELUDIUM 19 , Panel: ST7

Principal investigator: Milena Kurzawa

Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki

Geometric and homological problems of the representation theory of algebras

Call: OPUS 19 , Panel: ST1

Principal investigator: dr hab. Grzegorz Bobiński

Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Matematyki i Informatyki

Previous and future changes of human-biometeorological conditions in Poland

Call: OPUS 19 , Panel: ST10

Principal investigator: dr Arkadiusz Tomczyk

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych

Cantor dynamical systems and their classification

Call: SONATA 15 , Panel: ST1

Principal investigator: dr Olena Karpel

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

Representation theory of finite dimensional algebras

Call: MAESTRO 1 , Panel: ST1

Principal investigator: prof. Andrzej Skowroński

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Global identification in dynamic macroeconomic models with forward-looking expectations

Call: OPUS 18 , Panel: HS4

Principal investigator: dr hab. Marcin Kolasa

Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

Classification problems in topological dynamics and ergodic theory

Call: PRELUDIUM BIS 1 , Panel: ST1

Principal investigator: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Symmetry, Curvature Reduction and EquivAlence Methods

Call: GRIEG 1 , Panel: ST1

Principal investigator: prof. Paweł Nurowski

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

New methods of building dynamic nonlinear models of magnetic rings using artificial intelligence algorithms for variable...

Call: SONATA BIS 9 , Panel: ST7

Principal investigator: dr hab. Marcin Szewczyk

Politechnika Warszawska

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

Partial differential equations corresponding to five dimensional para-CR manifolds with Levi form degenerate in one dire...

Call: OPUS 15 , Panel: ST1

Principal investigator: prof. Paweł Nurowski

Centrum Fizyki Teoretycznej Polskiej Akademii Nauk

Inter-lingual equivalence in lexical databases

Call: HARMONIA 7 , Panel: HS2

Principal investigator: dr Maciej Piasecki

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

New ideas in statistical physics: hybrid phase transitions, (non)equivalence of statistical ensambles, enumerative combi...

Call: SONATA BIS 5 , Panel: ST2

Principal investigator: dr hab. Agata Fronczak

Politechnika Warszawska, Wydział Fizyki

Singularity theory and affine algebraic geometry

Call: OPUS 9 , Panel: ST1

Principal investigator: prof. Zbigniew Jelonek

Instytut Matematyczny PAN