Znaleziono 124 projektów spełniających kryteria wyszukiwania:
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
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