Znaleziono 128 projektów spełniających kryteria wyszukiwania:
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
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
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
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
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
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
Logika ciągła i jej algebraiczne zastosowania
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Aleksander Iwanow
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
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
Niezmiennicze relacje równoważności
Konkurs: PRELUDIUM 9 , panel: ST1
Kierownik: Tomasz Rzepecki
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
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
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
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
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
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Emanuel Grzegorz Kieroński
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
Konkurs: OPUS 10 , panel: ST1
Kierownik: dr Mariusz Mirek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Teoria modeli i dynamika topologiczna
Konkurs: OPUS 10 , panel: ST1
Kierownik: dr hab. Krzysztof Cyprian Krupiński
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