Projekty finansowane przez NCN

Teoria modeli z działaniem grupy skończonej

Konkurs: ETIUDA 4 , panel: ST1

Kierownik: Daniel Maksymilian Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nieprzemienna probabilistyka z zastosowaniami.

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Marek Bożejko

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy online dla problemów pakowania i pokrywania

Konkurs: PRELUDIUM 12 , panel: ST6

Kierownik: Maciej Szymon Pacut

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ograniczone, niezmiennicze relacje równoważności

Konkurs: ETIUDA 5 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Konkurs: OPUS 13 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Analiza harmoniczna związana z operatorami różniczkowymi, różnicowymi i różniczkowo-różnicowymi

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr Marcin Preisner

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Asymptotyczne własności ekstremów lokalnie samopodobnych i wielowymiarowych procesów gaussowskich

Konkurs: PRELUDIUM 2 , panel: ST1

Kierownik: Kamil Piotr Tabiś

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zwarte grupy kwantowe i nieprzemienne procesy stochastyczne

Konkurs: FUGA 1 , panel: ST1

Kierownik: dr Anna Wysoczańska-Kula

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nieprzemienna probabilistyka i analiza harmoniczna z zastosowaniami

Konkurs: OPUS 3 , panel: ST1

Kierownik: prof. Marek Bożejko

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: OPUS 4 , panel: ST1

Kierownik: prof. Andrzej Marian Kisielewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: PRELUDIUM 4 , panel: ST6

Kierownik: Bartosz Michał Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zaburzenia schroedingerowskie jąder całkowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Sebastian Artur Sydor

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Algorytmy online dla podstawowych problemów sieciowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Rachunki funkcyjne i ich zastosowania

Konkurs: SONATA 8 , panel: ST1

Kierownik: dr Błażej Jan Wróbel

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

Wybór atrybutów i regularyzacja modelu dla reprezentacji k-merowych sekwencji biologicznych

Konkurs: PRELUDIUM BIS 3 , panel: ST6

Kierownik: prof. Małgorzata Bogdan

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Konkurs: OPUS 23 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy wyjścia i ekstrema procesów stochastycznych z zastosowaniem w modelowaniu stochastycznym

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Krzysztof Grzegorz Dębicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Paryska teoria fluktuacji dla procesów Lévy'ego

Konkurs: SONATA 10 , panel: ST1

Kierownik: dr Irmina Czarna

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Logika ciągła i jej algebraiczne zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Procesy Levy'ego i zwarte grupy kwantowe - przykłady, własności, klasyfikacje

Konkurs: SONATA 11 , panel: ST1

Kierownik: dr hab. Anna Wysoczańska-Kula

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nielokalne zagadnienia paraboliczne: regularność rozwiązań, wybuchy, osobliwości

Konkurs: OPUS 12 , panel: ST1

Kierownik: prof. Piotr Cezary Biler

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych.

Konkurs: OPUS 12 , panel: ST6

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Testy adaptacyjne dla danych cenzurowanych

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr Grzegorz Wyłupek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Asymptotyki rozkładu supremum iterowanych procesów gaussowskich

Konkurs: SONATA 5 , panel: ST1

Kierownik: dr Marek Arendarczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Definiowalna dynamika topologiczna i o-minimalność

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Grzegorz Wojciech Jagiella

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Brzegi grup Helly'ego

Konkurs: PRELUDIUM 19 , panel: ST1

Kierownik: Daniel Wojciech Danielski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wydajne algorytmy rozproszone i równoległe dla dużych i dynamicznych danych

Konkurs: OPUS 20 , panel: ST6

Kierownik: prof. Tomasz Arkadiusz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Arytmetyka i geometria ciał z operatorami

Konkurs: OPUS 22 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy online dla problemów konfiguracyjnych

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

Uniwersytet Wrocławski, 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

Stochastyczne rekursje modelowane na transformacie gładzącej

Konkurs: OPUS 3 , panel: ST1

Kierownik: prof. Dariusz Buraczewski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Funkcje harmoniczne i dyfuzje na przestrzeniach treebolic, drzewach oraz na ich brzegach.

Konkurs: OPUS 3 , panel: ST1

Kierownik: prof. Alexander Bendikov

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Działania grup i teoria modeli

Konkurs: OPUS 16 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ciągłe i dyskretne perspektywy w analizie harmonicznej

Konkurs: OPUS 16 , panel: ST1

Kierownik: dr Błażej Jan Wróbel

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wielowymiarowe mnożniki spektralne

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Błażej Jan Wróbel

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wielkie odchylenia i prawdopodobieństwa ruiny dla losowych iteracji przekształceń

Konkurs: HARMONIA 1 , panel: ST1

Kierownik: prof. Ewa Maria Damek

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 Jan Jurek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Konkurs: OPUS 17 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nieprzemienne przestrzenie uniwersalne dla grup oraz grup kwantowych

Konkurs: SONATINA 4 , panel: ST1

Kierownik: dr Mariusz Tobolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Niezmiennicze relacje równoważności

Konkurs: PRELUDIUM 9 , panel: ST1

Kierownik: Tomasz Rzepecki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmiczna optymalizacja online dla problemów grafowych

Konkurs: SONATA BIS 6 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Problemy wyjścia dla odbitych procesów Levy'ego w wycenie kontraktów finansowo-ubezpieczeniowych

Konkurs: PRELUDIUM 12 , panel: ST1

Kierownik: Joanna Beata Tumilewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Skalowalne metody wnioskowania o imperatywnych programach współbieżnych

Konkurs: SONATA 12 , panel: ST6

Kierownik: dr Filip Sieczkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Grupy o niedodatniej krzywiźnie kombinatorycznej

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr Damian Osajda

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki