Projekty finansowane przez NCN

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

Pewne analityczne aspekty grup i ich reprezentacji

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Łukasz Garncarek

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

Algorytmiczne podstawy optymalizacji sieci logistycznych

Konkurs: SONATA BIS 5 , panel: ST6

Kierownik: dr hab. Jarosław Byrka

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 Hoffmann

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

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

Problemy wyjścia dla odbitych procesów Levy'ego w wycenie kontraktów finansowo-ubezpieczeniowych

Konkurs: PRELUDIUM 12 , panel: ST1

Kierownik: Joanna Tumilewicz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraic Effects and Continuations

Konkurs: POLONEZ 3 , panel: ST6

Kierownik: dr Maciej Piróg

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

Grupy o niedodatniej krzywiźnie kombinatorycznej

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr Damian Osajda

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

Zaburzenia schroedingerowskie jąder całkowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Sebastian 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

Optymalne strategie inwestycyjne i dywidendowe

Konkurs: OPUS 5 , panel: HS4

Kierownik: prof. Zbigniew Palmowski

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

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

Arytmetyka i geometria ciał z operatorami

Konkurs: OPUS 22 , panel: ST1

Kierownik: prof. Piotr Kowalski

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

Moc rozgałęzień i uczenia problemów szeregowania zadań oraz pakowania kubełków online

Konkurs: SONATA 18 , panel: ST6

Kierownik: dr Martin Böhm

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne

Konkurs: OPUS 26 , panel: ST6

Kierownik: dr Paweł Gawrychowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Oszacowania norm transformat Riesza

Konkurs: PRELUDIUM BIS 1 , panel: ST1

Kierownik: dr hab. Błażej Wróbel

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Odkrywanie ukrytej struktury danych na podstawie obserwacji.

Konkurs: OPUS 18 , panel: ST6

Kierownik: dr Jan Chorowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algorytmy dla projektowania połączeń w warunkach niepewności

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr hab. Jarosław Byrka

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Losowe struktury gałązkowe i afiniczne

Konkurs: OPUS 17 , panel: ST1

Kierownik: prof. Ewa Damek

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

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