Projekty finansowane przez NCN

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Podstawowe zagadnienia teorii informacji kwantowej oraz dyskryminacji stanów i operacji kwantowych

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Andrzej Łuczak

Uniwersytet Łódzki, Wydział Matematyki i Informatyki

Algorytmy odpornej optymalizacji dyskretnej

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Adam Kasperski

Politechnika Wrocławska, Wydział Informatyki i Zarządzania

Osobliwości rozwiązań i profile asymptotyczne w modelach nielokalnych

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Grzegorz Karch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Dynamika nieliniowych równań ewolucyjnych w rezonansie

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: dr Piotr Kokocki

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Lidia Tendera

Uniwersytet Opolski

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Indukcja dla formuł ograniczonych i jej relatywizacje

Konkurs: OPUS 5 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algebra operatorów gładkich

Konkurs: PRELUDIUM 5 , panel: ST1

Kierownik: dr Tomasz Ciaś

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

Problemy ciągłe: optymalność, złożoność, podatność

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Leszek Plaskota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hipoteza BDD/FC i okolice

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Funkcjonały od odbitych procesów gaussowskich i Lévy'ego: własności asymptotyczne

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Krzysztof Dębicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Struktury algebraiczne związane z teoriozbiorowymi rozwiązaniami kwantowego równania Yanga-Baxtera

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Jan Okniński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Model Cuckera-Smale'a z osobliwą wagą komunikacyjną

Konkurs: PRELUDIUM 5 , panel: ST1

Kierownik: Jan Peszek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza spektralna i metody asymptotyczne dla skalarnych i macierzowych operatorów różnicowych

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Jan Janas

Instytut Matematyczny Polskiej Akademii Nauk

Zastosowania algebr flagowych w ekstremalnej teorii grafów

Konkurs: ETIUDA 1 , panel: ST1

Kierownik: Andrzej Grzesik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Nierówności wariacyjne dla problemów punktów stałych operatorów quasi-nieoddalających

Konkurs: ETIUDA 1 , panel: ST1

Kierownik: Rafał Zalas

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Badanie nowych metod wnioskowania statystycznego na podstawie nielicznej próbki (rzędu dziesiątków lub setek) wektorów o...

Konkurs: FUGA 2 , panel: ST1

Kierownik: dr Joanna Karłowska-Pik

Instytut Podstaw Informatyki Polskiej Akademii Nauk

Geometria Algebraiczna: rozmaitości i struktury

Konkurs: MAESTRO 4 , panel: ST1

Kierownik: prof. Jarosław Wiśniewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy planowania i szeregowania z niepewnymi parametrami.

Konkurs: ETIUDA 1 , panel: ST1

Kierownik: Adam Kurpisz

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

Badanie własności koalicji i zbiorów bezpiecznych w grafach rozumianych jako podzbiory wierzchołków spełniające określon...

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: Katarzyna Jesse-Józefczyk

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

O pewnych problemach związanych z iterowanymi systemami funkcyjnymi i ich uogólnieniami

Konkurs: FUGA 2 , panel: ST1

Kierownik: dr Filip Strobin

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Miary niezmiennicze, entropia i inne parametry wzrostu w klasycznych i nieklasycznych układach dynamicznych

Konkurs: MAESTRO 4 , panel: ST1

Kierownik: prof. Tomasz Downarowicz

Instytut Matematyczny PAN

Ideały i działania grup na przestrzeniach polskich

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Michał Morayne

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

Gry kwantowe: teoria i implementacja

Konkurs: OPUS 1 , panel: ST6

Kierownik: prof. Jan Sładkowski

Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii

Współpraca z Uniwersytetem w Tuluzie w zakresie Analizy Zespolonej

Konkurs: HARMONIA 4 , panel: ST1

Kierownik: prof. Włodzimierz Zwonek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Zastosowania algebr flagowych w ekstremalnej teorii grafów

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Andrzej Grzesik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Równanie typu hesjanowego w geometrii zespolonej

Konkurs: MAESTRO 4 , panel: ST1

Kierownik: prof. Sławomir Kołodziej

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Metody renormalizacji dla równań eliptycznych i parabolicznych oraz ich zastosowania w teorii odkształceń niesprężystych...

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Krzysztof Chełmiński

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Funktory ściśle wielomianowe i hipoteza Lusztiga.

Konkurs: OPUS 1 , panel: ST1

Kierownik: dr Marcin Chałupnik

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowe metody parametrycznej weryfikacji modelowej

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Michał Knapik

Instytut Podstaw Informatyki PAN

Zaburzenia schroedingerowskie jąder całkowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Sebastian Sydor

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Topologiczne własności atraktorów iterowanych układów funkcyjnych.

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Magdalena Nowak

Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

Ucięte wahanie procesu stochastycznego - jego własności i zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: dr Rafał Łochowski

Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych

Odtworzenie geometrii z danych rozproszeniowych

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Iwo Białynicki-Birula

Centrum Fizyki Teoretycznej PAN

Eliptyczne i paraboliczne równania różniczkowe cząstkowe z miarami.

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr Tomasz Klimsiak

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Nieliniowe równania ewolucji z dyfuzją Lévy'ego.

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr Dominika Pilarczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Własności wielkoskalowe w niektórych zagadnieniach teorii transportu

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Tomasz Komorowski

Instytut Matematyczny Polskiej Akademii Nauk

Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Bartosz Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Arytmetyczne własności reprezentacji Galois i rozmaitości abelowych

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Wojciech Gajda

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

Wolność i niezależność w algebrze i topologii

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr hab. Szymon Głąb

Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej

Stochastyczne równania różniczkowe wstecz

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Leszek Słomiński

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Arytmetyka wielomianów podziału koła

Konkurs: SONATA 4 , panel: ST1

Kierownik: dr Bartłomiej Bzdęga

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

Przestrzenie funkcyjne, geometria przestrzeni Banacha i zastosowania

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Henryk Hudzik

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

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

Zagadnienia algebraiczno-kombinatoryczne dotyczące grup permutacji i półgrup transformacji

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Andrzej Kisielewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rachunek na losowych przekształceniach całkowych i ich zastosowania.

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Zbigniew Jurek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Związki teorii modeli z topologią i algebrą

Konkurs: OPUS 4 , panel: ST1

Kierownik: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zastosowania analizy stochastycznej

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Krzysztof Bogdan

Instytut Matematyczny PAN

Wybrane zagadnienia matematycznej analizy gazu oddziałujących bozonów

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: Marcin Napiórkowski

Uniwersytet Warszawski, Wydział Fizyki