Projekty finansowane przez NCN

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

Procedury decyzyjne w weryfikacji

Konkurs: OPUS 2 , panel: ST6

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Funkcje maksymalne i operatory całek singularnych w przypadku ciągłym i dyskretnym

Konkurs: SONATA 3 , panel: ST1

Kierownik: dr Mariusz Mirek

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

Losowe procesy w losowym środowisku

Konkurs: OPUS 20 , panel: ST1

Kierownik: prof. Dariusz Buraczewski

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

Efekty algebraiczne: kompozycja i koindukcja

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr Maciej Piróg

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

Logiki do przetwarzania danych i weryfikacji

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jakub Michaliszyn

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

Losowo zaburzony hierarchiczny Laplasjan i poisson'owksa statystyka jego spektrum

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Alexander Bendikov

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

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

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Krzysztof Dębicki

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

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

Deskryptywna teoria mnogości: struktura i dynamika grup polskich

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Aleksandra Kwiatkowska

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

Konkurs: OPUS 12 , panel: ST1

Kierownik: prof. Piotr 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

Algorytmy online dla problemów konfiguracyjnych

Konkurs: OPUS 23 , panel: ST6

Kierownik: dr hab. Marcin Bieńkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki