Projekty finansowane przez NCN

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

Nieprzemienna probabilistyka z zastosowaniami.

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Marek Bożejko

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

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

Konkurs: SONATA 7 , panel: ST1

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Stochastyczne modele bazujące na transformacie gładzącej

Konkurs: SONATA BIS 4 , panel: ST1

Kierownik: prof. Dariusz Buraczewski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

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

Analiza harmoniczna związana z półgrupami operatorów liniowych.

Konkurs: OPUS 3 , panel: ST1

Kierownik: prof. Jacek Dziubański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wolne i iteratywne operatory na ciałach

Konkurs: PRELUDIUM 22 , panel: ST1

Kierownik: Jakub Gogolok

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Marek Adamczyk

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

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Losowe procesy w losowym środowisku

Konkurs: OPUS 20 , panel: ST1

Kierownik: prof. Dariusz Buraczewski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Matematyczne modelowanie miar ryzyka i wyboru optymalnej strategii

Konkurs: OPUS 1 , panel: HS4

Kierownik: prof. Zbigniew Palmowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraiczna struktura obiektów kombinatorycznych

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Andrzej Kisielewicz

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

Projektowanie algorytmów rozproszonych dla silnie obciążonych sieci

Konkurs: OPUS 13 , panel: ST6

Kierownik: prof. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Dwuniezmiennicze metryki na grupach: geometria i dynamika

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Światosław Gal

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach

Konkurs: PRELUDIUM 14 , panel: ST6

Kierownik: Bartłomiej Dudek

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 Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

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 Kieroński

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

Arytmetyka i geometria ciał z operatorami

Konkurs: OPUS 22 , panel: ST1

Kierownik: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Grupy biautomatyczne i niedodatnio zakrzywione

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Motiejus Valiunas

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

Ekstrema i teoria ryzyka dla procesów gaussowskich i Levy'ego

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Krzysztof Dębicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optymalne strategie inwestycyjne i dywidendowe

Konkurs: OPUS 5 , panel: HS4

Kierownik: prof. Zbigniew Palmowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zbiory rekurencyjne dla spacerów losowych zdefiniowanych przez miary z niskimi momentami.

Konkurs: PRELUDIUM 6 , panel: ST1

Kierownik: dr Wojciech Cygan

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Istotna samosprzężoność macierzy Jacobiego na drzewach

Konkurs: OPUS 6 , panel: ST1

Kierownik: prof. Ryszard Szwarc

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

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zaburzenia schroedingerowskie jąder całkowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Sebastian Sydor

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Asymptotyczna teoria reprezentacji

Konkurs: PRELUDIUM 2 , panel: ST1

Kierownik: dr Maciej Dołęga

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

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

Dyskretna analiza harmoniczna

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr Mariusz Mirek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebra różnicowa i kohomologie grup

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr hab. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wycieczki wielowymiarowych procesów gaussowskich: dokładne asymptotyki

Konkurs: OPUS 16 , panel: ST1

Kierownik: prof. Krzysztof Dębicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Brzegi grup Helly'ego

Konkurs: PRELUDIUM 19 , panel: ST1

Kierownik: Daniel Danielski

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

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

Stochastyczne modele oparte na monotonicznych procesach Markowa: analiza warunków stacjonarnych.

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Ryszard Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teorie bez własności drzewa pierwszego rodzaju.

Konkurs: SONATA 10 , panel: ST1

Kierownik: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoria modeli i dynamika topologiczna

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr hab. Krzysztof Krupiński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Teoria modeli z działaniem grupy skończonej

Konkurs: ETIUDA 4 , panel: ST1

Kierownik: Daniel Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki