Projekty finansowane przez NCN

Obliczenia rozproszone w sieciach dynamicznych

Konkurs: HARMONIA 3 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Języki i Uczenie w General Game Playing

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Jakub Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Definiowalna dynamika topologiczna i o-minimalność

Konkurs: PRELUDIUM 7 , panel: ST1

Kierownik: dr Grzegorz Jagiella

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

Zastosowanie rekurencyjnych i głębokich sieci neuronowych do modelowania akustycznego sygnału mowy

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Chorowski

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

Teorie bez własności drzewa pierwszego rodzaju.

Konkurs: SONATA 10 , panel: ST1

Kierownik: dr Jan Dobrowolski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Nierówności korelacyjne dla procesów punktowych

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Ryszard Szekli

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

Jak zmienia się długość życia? Detekcja zmian trendu w modelach śmiertelności

Konkurs: PRELUDIUM 12 , panel: HS4

Kierownik: Michał Krawiec

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

Algorytmy online dla problemów pakowania i pokrywania

Konkurs: PRELUDIUM 12 , panel: ST6

Kierownik: Maciej Pacut

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

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

Algorytmy online dla problemów konfiguracyjnych

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

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

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Michaliszyn

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

Efekty algebraiczne: kompozycja i koindukcja

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Maciej Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zastosowanie nowoczesnych metod algorytmicznych w rozwiązywaniu NP-trudnych problemów klastrowania.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Krzysztof Sornat

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

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

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

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

Matematyczna analiza modeli formowania się kolonii bakteryjnych

Konkurs: PRELUDIUM 5 , panel: ST1

Kierownik: dr Rafał Celiński

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

Efektywne algorytmy aproksymacyjne dla znajdowania optymalnej trasy komiwojażera i problemów pokrewnych

Konkurs: OPUS 6 , panel: ST6

Kierownik: dr Katarzyna Paluch

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

Algebraiczna struktura obiektów kombinatorycznych

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Andrzej Kisielewicz

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

Grupy biautomatyczne i niedodatnio zakrzywione

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Motiejus Valiunas

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wybrane zagadnienia kompresji gramatykowej

Konkurs: SONATA BIS 7 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr Jan Otop

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

Dynamika i ograniczone kohomologie

Konkurs: SONATINA 2 , panel: ST1

Kierownik: dr Michał Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optymalizacja kombinatoryczna przez pryzmat trasy komiwojażera i skojarzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Katarzyna Paluch

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 Wróbel

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy grafowe w różnych modelach obliczeń rozproszonych i równoległych.

Konkurs: ETIUDA 7 , panel: ST6

Kierownik: Krzysztof Nowicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Uznań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 Kieroński

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

Dualne funkcje B-sklejane: konstrukcja i zastosowania

Konkurs: OPUS 1 , panel: ST1

Kierownik: dr hab. Paweł Woźny

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

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

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

Małe struktury polskie

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Jan Dobrowolski

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

Działania grup Coxetera na przestrzeniach niedodatnio i ujemnie zakrzywionych

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: Kamil Duszenko

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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