Projects funded by the NCN

Ultra high spatial resoultion single photon counting detector with fast signal processing

Call: OPUS 26 , Panel: ST7

Principal investigator: prof. Paweł Leonard Gryboś

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

Counting models in formal verification

Call: SONATA BIS 12 , Panel: ST6

Principal investigator: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dimension-free estimates in harmonic analysis and beyond it

Call: SONATA BIS 12 , Panel: ST1

Principal investigator: dr hab. Błażej Jan Wróbel

Instytut Matematyczny Polskiej Akademii Nauk

Counting the deaths of people experiencing homelessness in Poland

Call: OPUS 23 , Panel: HS6

Principal investigator: dr Magdalena Mostowska

Uniwersytet Warszawski, Wydział Geografii i Studiów Regionalnych

Versatile plasma sources and advanced approaches to signal evaluation as novel concepts in ultratrace element analysis b...

Call: WEAVE-UNISONO , Panel: ST4

Principal investigator: prof. Paweł Adam Pohl

Politechnika Wrocławska

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

Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

Call: OPUS 16 , Panel: ST6

Principal investigator: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Nauk Społecznych, Wydział Matematyki, Fizyki i Informatyki

Developmental change in number representation system during the process of acquisition of the symbolic numerical codes (...

Call: OPUS 7 , Panel: HS6

Principal investigator: dr hab. Maciej Władysław Haman

Uniwersytet Warszawski, Wydział Psychologii

Study of spatial properties of quantum light using camera with image intensifier

Call: PRELUDIUM 5 , Panel: ST2

Principal investigator: dr Radosław Tomasz Chrapkiewicz

Uniwersytet Warszawski, Wydział Fizyki

Induction for bounded formulas and its relativizations

Call: OPUS 5 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Stochastic characteristics of single-server queues with limited access to the server

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Wojciech Michał Kempa

Politechnika Śląska, Wydział Matematyki Stosowanej

Algorithmic Local Lovász Lemma as double counting

Call: SONATA 1 , Panel: ST1

Principal investigator: dr Jakub Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki