Projects funded by the NCN

The existence and an algorithm for the computation of equilibrium in a simple exchange model. The multivalued case

Call: OPUS 5 , Panel: HS4

Principal investigator: dr Piotr Edward Maćkowiak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

A new notion of finiteness in computation theory

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Thermodynamics of Information Processing: From Theory to Applications

Call: SONATA 19 , Panel: ST2

Principal investigator: dr Patryk Jan Lipka-Bartosik

Uniwersytet Jagielloński

Densitals, Ditopology, and Double Drachmanization: New Concepts and Formalisms for Computation and Analysis of the Two-E...

Call: OPUS 24 , Panel: ST4

Principal investigator: prof. Jerzy Ryszard Ciosłowski

Uniwersytet Szczeciński, Instytut Fizyki

Polynomial finite state computation

Call: MAESTRO 14 , Panel: ST6

Principal investigator: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Methods and algorithms for organization of computations in the class of anelastic numerical models for geophysical flows...

Call: OPUS 2 , Panel: ST6

Principal investigator: prof. Roman Wyrzykowski

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

Abstract Machines for Programming Languages: Investigations in Formal Interderivations

Call: OPUS 17 , Panel: ST6

Principal investigator: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Investigation of the hybrid structures hosting Majorana Bound States.

Call: PRELUDIUM 16 , Panel: ST3

Principal investigator: dr Aksel Wit Kobiałka

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

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Optimality, universality and controllability in quantum computation theory

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Adam Sawicki

Centrum Fizyki Teoretycznej PAN