Projekty finansowane przez NCN

Podpisy grupowe ukrywające afiliację

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Kamil Kluczniak

Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

Formalne podstawy kryptowalut

Konkurs: OPUS 7 , panel: ST6

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Ścisła numeryka oraz dowody wspierane komputerowo dla dysypatywnych równań różniczkowych cząstkowych.

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Jacek Cyranka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Małgorzata Biernacka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ścisłe metody numeryczne dla równań cząstkowych dysypatywnych i równań zwyczajnych z opóźnionym argumentem

Konkurs: OPUS 2 , panel: ST1

Kierownik: prof. Piotr Zgliczyński

Wyższa Szkoła Biznesu - National-Louis University z siedzibą w Nowym Sączu, Wydział Nauk Społecznych i Informatyki

Ścisłe metody numeryczne dla równań różniczkowych funkcyjnych

Konkurs: OPUS 25 , panel: ST6

Kierownik: dr Robert Szczelina

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dowody eksperckie z perspektywy interdyscyplinarnej

Konkurs: SONATA 18 , panel: HS5

Kierownik: dr Bartłomiej Kucharzyk

Uniwersytet Jagielloński, Wydział Prawa i Administracji

Koncepcja struktur kluczowych: wielopoziomowe znaczenie gniazd ptaków jako dowód na istnienie krytycznych komponentów ek...

Konkurs: OPUS 21 , panel: NZ8

Kierownik: dr hab. Michał Ciach

Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie, Wydział Leśny

Kamery nasobne w pracy organów ścigania i wymiaru sprawiedliwości.

Konkurs: OPUS 21 , panel: HS5

Kierownik: dr hab. Paweł Waszkiewicz

Uniwersytet Warszawski

Komplementarne doświadczalne i numeryczne badania mechanizmu stabilizacji do temperatury pokojowej wysokotemperaturowej ...

Konkurs: PRELUDIUM BIS 2 , panel: ST5

Kierownik: prof. Marek Wasiucionek

Politechnika Warszawska, Wydział Fizyki

Algorytmy przetwarzania danych tekstowych

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr hab. Sebastian Deorowicz

Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

Media społecznościowe w pracy organów ścigania.

Konkurs: OPUS 16 , panel: HS5

Kierownik: dr hab. Paweł Waszkiewicz

Uniwersytet Warszawski, Wydział Prawa i Administracji

Quasi-eksperymentalne analizy polityk mobilności akademickiej

Konkurs: OPUS 16 , panel: HS4

Kierownik: dr Adam Płoszaj

Uniwersytet Warszawski, Instytut Ameryk i Europy

Metody geometryczne i komputerowo wspierane dowody w dynamice równań różniczkowych cząstkowych

Konkurs: MAESTRO 8 , panel: ST1

Kierownik: prof. Piotr Zgliczyński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Emulator środowiska systemu Mizar w systemie Isabelle jako narzędzie umożliwiające niezależną weryfikację bazy MML...

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki