Projekty finansowane przez NCN

Lorentzowskie Działanie Spektralne

Konkurs: PRELUDIUM 5 , panel: ST1

Kierownik: dr Michał Jerzy Eckstein

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Odległości holomorficznie niezmiennicze w specjalnych klasach obszarów.

Konkurs: PRELUDIUM 6 , panel: ST1

Kierownik: Maria Helena Trybuła

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rozwój metod uczenia maszynowego z zastosowaniem do przewidywania aktywności związków chemicznych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: dr Marek Andrzej Śmieja

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Obliczeniowa dynamika topologiczna

Konkurs: MAESTRO 6 , panel: ST1

Kierownik: prof. Marian Mrozek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej

Konkurs: PRELUDIUM BIS 1 , panel: ST1

Kierownik: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorytmiczny Nullstellensatz

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr hab. Bartłomiej Emil Bosek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Geometria lipschitzowska przestrzeni metrycznych oraz stowarzyszone z nią teoria operatorów i analiza harmoniczna

Konkurs: SONATA 15 , panel: ST1

Kierownik: dr Tomasz Marcin Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Aplikacja metod uczenia głębokiego opartych o atencję do znajdowania nowych aktywnych związków chemicznych

Konkurs: PRELUDIUM 18 , panel: ST6

Kierownik: Łukasz Andrzej Maziarka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

DATALOG w Problemie Spełnialności Więzów

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, 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

Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki