Projekty finansowane przez NCN

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

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Marcin 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

Kolorowanie z list on-line

Konkurs: SONATA 2 , panel: ST6

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy typu Turána w teorii grafów

Konkurs: SONATA BIS 11 , panel: ST1

Kierownik: dr Andrzej Grzesik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Równania różniczkowe cząstkowe na obszarach i rozmaitościach subanalitycznych

Konkurs: OPUS 22 , panel: ST1

Kierownik: dr hab. Guillaume Valette

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Głębokie warunkowe modele generatywne

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr Marek Śmieja

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Balancing priors and learning biases to improve Bayesian Neural Networks

Konkurs: POLONEZ BIS 2 , panel: ST6

Kierownik: dr Tomasz Kuśmierczyk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Analiza i sterowanie niektórymi nielokalnymi jednowymiarowymi układami hiperbolicznymi pierwszego rzędu

Konkurs: SONATA BIS 13 , panel: ST1

Kierownik: dr Guillaume Olive

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Równania różniczkowe cząstkowe w analizie i geometrii zespolonej i wypukłej

Konkurs: OPUS 26 , panel: ST1

Kierownik: prof. Zbigniew Błocki

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Badania w algebrze przemiennej i teorii reprezentacji

Konkurs: MAESTRO 11 , panel: ST1

Kierownik: prof. Jerzy Weyman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kolorowania, kliki i zbiory niezależne w klasach grafów

Konkurs: SONATA BIS 9 , panel: ST6

Kierownik: dr hab. Bartosz Walczak

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 Kania

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modelowanie składu izotopowego opadów atmosferycznych przy użyciu lagranżowskiej reprezentacji mikrofizyki chmur

Konkurs: SONATA 16 , panel: ST10

Kierownik: dr Sylwester Arabas

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Sterowalność układów równań różniczkowych cząstkowych

Konkurs: SONATA 16 , panel: ST1

Kierownik: dr Guillaume Olive

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Głębokie samoorganizujące się grafy neuronowe

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Jacek Tabor

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Własności p-adyczne pewnych ciągów kombinatorycznych i podzbiorów zbioru liczb naturalnych

Konkurs: PRELUDIUM 15 , panel: ST1

Kierownik: Piotr Miska

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arytmetyczne własności wyżej wymiarowych rozmaitości Calabiego-Yau

Konkurs: PRELUDIUM 17 , panel: ST1

Kierownik: Dominik Burek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorytmiczne aspekty synchronizacji

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr Adam Roman

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kolorowania Thue'go w grach

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Michał Zmarz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rozgrywany podział grafów: strategie i algorytmy

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: dr Bartosz Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Kody w Z^2: rozstrzygalność i algorytmy weryfikacji, własność defektu, gęstość asymptotyczna, pokrycia, słabe kody...

Konkurs: OPUS 2 , panel: ST6

Kierownik: dr Włodzimierz Moczurad

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Układy niegładkie w matematycznej teorii zagadnień kontaktowych mechaniki

Konkurs: MAESTRO 3 , panel: ST1

Kierownik: prof. Stanisław Migórski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algorytmy obliczania homologii persystentnych dla odwzorowań

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Grzegorz Jabłoński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

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

Konkurs: PRELUDIUM 6 , panel: ST1

Kierownik: Maria Trybuła

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

Konkurs: OPUS 19 , panel: ST6

Kierownik: dr Michał Wrona

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Charakteryzacja treści informacyjnej struktur grafowych

Konkurs: SONATA 16 , panel: ST6

Kierownik: dr Krzysztof Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Ideały operatorowe w algebrze Banacha operatorów ograniczonych na przestrzeni Banacha.

Konkurs: OPUS 20 , panel: ST1

Kierownik: dr hab. Anna Pelczar-Barwacz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arytmetyka rozmaitości Calabiego-Yau

Konkurs: OPUS 20 , panel: ST1

Kierownik: prof. Sławomir Cynk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Klasyfikacja i detekcja na trójwymiarowej tomosyntezie w celu polepszenia skuteczności wykrywania raka piersi

Konkurs: PRELUDIUM 20 , panel: ST6

Kierownik: Jakub Chłędowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Algebraiczne i teorio-miarowe metody w teorii operatorów

Konkurs: OPUS 22 , panel: ST1

Kierownik: prof. Jan Stochel

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Zastosowania teorii Lemperta

Konkurs: PRELUDIUM BIS 3 , panel: ST1

Kierownik: prof. Włodzimierz Zwonek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z użyciem ManyDSL

Konkurs: PRELUDIUM 12 , panel: ST6

Kierownik: Piotr Danilewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arytmetyczne własności układów dynamicznych w dodatniej charakterystyce.

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Jakub Byszewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konstruktywna aproksymacja na zbiorach algebraicznych

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr hab. Leokadia Białas-Cież

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Geometria pewnych powierzchni K3 z wieloma krzywymi wymiernymi.

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Sławomir Rams

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Równania nieliniowe i analiza geometryczna

Konkurs: SONATA BIS 7 , panel: ST1

Kierownik: dr hab. Sławomir Dinew

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rodziny funkcji szczytowych i eksponujących w obszarach ściśle pseudowypukłych

Konkurs: SONATA 13 , panel: ST1

Kierownik: dr Arkadiusz Lewandowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Analiza Zespolona Wielu Zmiennych a Teoria Operatorów

Konkurs: SONATA BIS 7 , panel: ST1

Kierownik: dr hab. Łukasz Kosiński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Interesujące ideały

Konkurs: HARMONIA 9 , panel: ST1

Kierownik: dr hab. Halszka Tutaj-Gasińska

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Detektory i deskryptory punktów charakterystycznych oparte na informacji topologicznej

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Bartosz Zieliński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nieliniowe zagadnienia brzegowe

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr hab. Leszek Gasiński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Ergodyczne i topologiczne własności układów dynamicznych z uogólnioną specyfikacją

Konkurs: PRELUDIUM 10 , panel: ST1

Kierownik: dr Martha Łącka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Budowanie algorytmów grupowania danych w oparciu o uogólnione rozkłady normalne oraz rozkłady nie gaussowskie.

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Przemysław Spurek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Strukturalna teoria posetów

Konkurs: UWERTURA 2 , panel: ST1

Kierownik: dr Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Porządek i geometria

Konkurs: BEETHOVEN 3 , panel: ST1

Kierownik: dr Piotr Micek

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

Przestrzenie Dirichleta oraz problem Nevanlinny-Picka a metody Geometrycznej Teorii Funkcji

Konkurs: SONATA 8 , panel: ST1

Kierownik: dr Łukasz Kosiński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Postępy w rzeczywistej geometrii algebraicznej i analitycznej

Konkurs: OPUS 24 , panel: ST1

Kierownik: prof. Wojciech Kucharz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki