Projekty finansowane przez NCN

Metody stopingowe w analizie wybranych algorytmów

Konkurs: OPUS 9 , panel: ST6

Kierownik: prof. Michał Morayne

Politechnika Wrocławska

Nieskończenie wymiarowy indeks Conleya i jego zastowowania do układów Hamiltonowskich i równań Seiberga-Wittena.

Konkurs: PRELUDIUM 9 , panel: ST1

Kierownik: dr Maciej Starostka

Instytut Matematyczny PAN

Procesy Levy'ego i Markowa w przestrzeniach euklidesowych i hiperbolicznych

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Michał Ryznar

Politechnika Wrocławska, Wydział Matematyki

Problemy spełniania więzów oraz kwantyfikowane problemy spełniania więzów w kontekście wnioskowania o zależnościach czas...

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Michał Wrona

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

Wybrane zagadnienia teorii lokalnie zwartych grup kwantowych

Konkurs: OPUS 9 , panel: ST1

Kierownik: dr hab. Piotr Sołtan

Uniwersytet Warszawski, Wydział Fizyki

Teoria operatorów i jej zastosowania

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Mieczysław Mastyło

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Reprezentacje grupy podstawowej i geometria rozmaitości algebraicznych

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Adrian Langer

Instytut Matematyczny PAN

Opracowanie modeli i metod włączania wiedzy do maszyn wektorów wspierających

Konkurs: SONATA 9 , panel: ST6

Kierownik: dr Marcin Orchel

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

Transformacje powierzchni zwartych

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Grzegorz Gromadzki

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Niezmiennicze relacje równoważności

Konkurs: PRELUDIUM 9 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Geometryczne i homologiczne problemy teorii reprezentacji algebr

Konkurs: OPUS 9 , panel: ST1

Kierownik: dr hab. Grzegorz Bobiński

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Zastosowanie metod kombinatoryki do badania przestrzeni stanów w wybranych modelach fizyki statystycznej

Konkurs: ETIUDA 3 , panel: ST1

Kierownik: Grzegorz Siudem

Politechnika Warszawska, Wydział Fizyki

Struktury C*-algebr zadanych przez relacje, spektralne i ergodyczne własności operatorów generujących układy dynamiczne...

Konkurs: SONATA 1 , panel: ST1

Kierownik: dr Bartosz Kwaśniewski

Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

Propagator Feynmana na zakrzywionych czasoprzestrzeniach

Konkurs: FUGA 4 , panel: ST1

Kierownik: dr Daniel Siemssen

Uniwersytet Warszawski, Wydział Fizyki

Nowe zagadnienia w teorii rozmaitości Nobelinga

Konkurs: SONATA 1 , panel: ST1

Kierownik: dr Andrzej Nagórko

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kombinatoryka map

Konkurs: FUGA 4 , panel: ST1

Kierownik: dr Maciej Dołęga

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Zagadnienia spektralne w algebrach Banacha.

Konkurs: PRELUDIUM 8 , panel: ST1

Kierownik: Przemysław Ohrysko

Instytut Matematyczny PAN

Stany podstawowe i stany związane nieliniowych równań Schrödingera

Konkurs: SONATA 8 , panel: ST1

Kierownik: dr Jarosław Mederski

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Ślepe podpisy i elektroniczne dokumenty tożsamości

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Lucjan Hanzlik

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

Bloki konforemne w dwu-wymiarowych teoriach pola.

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Zbigniew Jaskólski

Uniwersytet Wrocławski, Wydział Fizyki i Astronomii

Metoda obrazów Lorda Kelvina w teorii półgrup oraz funkcji kosinusowych

Konkurs: PRELUDIUM 8 , panel: ST1

Kierownik: Adam Gregosiewicz

Politechnika Lubelska, Wydział Elektrotechniki i Informatyki

Stabilizacja, optymalne sterowanie oraz optymalizacja kształtu w modelach oddziaływań ciała sprężystegi z cieczą, gazem ...

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Irena Lasiecka

Instytut Badań Systemowych PAN

Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.

Konkurs: OPUS 8 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Analiza układów stochastycznych z geometrią

Konkurs: OPUS 8 , panel: ST1

Kierownik: dr Piotr Miłoś

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

Konkurs: PRELUDIUM 8 , panel: ST6

Kierownik: Agnieszka Zbrzezny

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

Kompakty Banacha-Mazura

Konkurs: PRELUDIUM 8 , panel: ST1

Kierownik: Tomasz Kobos

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Problemy ekstremalne w teorii hipergrafów

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Andrzej Ruciński

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Zwartość w przestrzeniach funkcyjnych i jej znaczenie dla analizy własności operatorów różniczkowych

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Leszek Skrzypczak

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody wnioskowania o programach w językach wyższego rzędu

Konkurs: OPUS 8 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Asymptotyka macierzy losowych, macierzowo wolna niezależność i układy operatorów

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Romuald Lenczewski

Politechnika Wrocławska, Wydział Matematyki

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

Metryczna teoria osobliwości i jej zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: dr hab. Guillaume Valette

Wydział Matematyki i Informatyki Uniwersytetu Jagiellońskiego

Konfiguracje podrozmaitości

Konkurs: OPUS 8 , panel: ST1

Kierownik: dr hab. Tomasz Szemberg

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Matematyczno-Fizyczno-Techniczny

Niezmienniki topologiczne i miary złożoności w działaniu

Konkurs: OPUS 8 , panel: ST1

Kierownik: dr hab. Grzegorz Graff

Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

Geometryczne i analityczne własności brył Okounkova

Konkurs: PRELUDIUM 8 , panel: ST1

Kierownik: Piotr Pokora

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Matematyczno-Fizyczno-Techniczny

Rodziny reprezentacji Galois

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Wojciech Gajda

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Hamiltoniany i pola kwantowe

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Jan Dereziński

Uniwersytet Warszawski, Wydział Fizyki

Słabe rozwiązania równania Monge'a-Ampère'a na rozmaitościach kählerowskich i hermitowskich

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Sławomir Kołodziej

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Teoria ergodyczna: rozłączność, typowość poprzez niekonwencjonalne twierdzenia ergodyczne oraz związki z teorią liczb...

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Mariusz Lemańczyk

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nowe trendy w rzeczywistej geometrii algebraicznej

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Wojciech Kucharz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rachunki funkcyjne i ich zastosowania

Konkurs: SONATA 8 , panel: ST1

Kierownik: dr Błażej Wróbel

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Dualna kombinatoryka wielomianów Jacka

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Piotr Śniady

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Losowe iteracje, miary stacjonarne i jądra Poissona

Konkurs: OPUS 8 , panel: ST1

Kierownik: prof. Ewa Damek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów

Konkurs: MAESTRO 6 , panel: ST6

Kierownik: prof. Paweł Idziak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nierówności z wagą dla klasycznych operatorów

Konkurs: SONATA BIS 4 , panel: ST1

Kierownik: dr hab. Adam Osękowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Podstawowe układy mechaniki płynów. Regularność, stabilność, struktura rozwiązań.

Konkurs: HARMONIA 6 , panel: ST1

Kierownik: prof. Piotr Mucha

Instytut Matematyczny PAN

Geometryczna, probabilistyczna i analityczna teoria topologicznych grup kwantowych i jej powiązania z algebrami operator...

Konkurs: SONATA BIS 4 , panel: ST1

Kierownik: dr hab. Adam Skalski

Instytut Matematyczny PAN

Analiza operatorów nielokalnych

Konkurs: HARMONIA 6 , panel: ST1

Kierownik: prof. Krzysztof Bogdan

Politechnika Wrocławska, Wydział Matematyki