Projekty finansowane przez NCN

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

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

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

Wybór modelu dla danych wielowymiarowych za pomocą metody SLOPE - własności teoretyczne i zastosowania.

Konkurs: OPUS 12 , panel: ST1

Kierownik: dr hab. Małgorzata Bogdan

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

Wnioskowanie ilościowe odporne na perturbacje

Konkurs: OPUS 20 , panel: ST6

Kierownik: dr Jakub Dawid Michaliszyn

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

Grupy biautomatyczne i niedodatnio zakrzywione

Konkurs: SONATA 18 , panel: ST1

Kierownik: dr Motiejus Valiunas

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

Matematyczne modelowanie miar ryzyka i wyboru optymalnej strategii

Konkurs: OPUS 1 , panel: HS4

Kierownik: prof. Zbigniew Palmowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wokół logik modalnych - rozstrzygalność i złożoność

Konkurs: PRELUDIUM 2 , panel: ST6

Kierownik: Jakub Michaliszyn

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

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

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

Małe struktury polskie

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Jan Dobrowolski

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

Wycieczki wielowymiarowych procesów gaussowskich: dokładne asymptotyki

Konkurs: OPUS 16 , panel: ST1

Kierownik: prof. Krzysztof Dębicki

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

Hipoteza BDD/FC i okolice

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Synchronizacja automatów i hipoteza Cerny'ego

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Metody teorii mnogości w topologii i teorii przestrzeni Banacha.

Konkurs: OPUS 6 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Oszacowania norm transformat Riesza

Konkurs: PRELUDIUM BIS 1 , panel: ST1

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

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Konkurs: SONATA 15 , panel: ST6

Kierownik: dr Marek Piotr Adamczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Brzegi grup Helly'ego

Konkurs: PRELUDIUM 19 , panel: ST1

Kierownik: Daniel Wojciech Danielski

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

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

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

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

Dyskretna analiza harmoniczna

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr Mariusz Mirek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Wielowymiarowe mnożniki spektralne

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Błażej 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 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 Jurek

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

Pewne analityczne aspekty grup i ich reprezentacji

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Łukasz Garncarek

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

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

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

Algebraic Effects and Continuations

Konkurs: POLONEZ 3 , panel: ST6

Kierownik: dr Maciej Piróg

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

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

Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

Konkurs: ETIUDA 6 , panel: ST6

Kierownik: Krzysztof Sornat

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

Losowe struktury gałązkowe i afiniczne

Konkurs: OPUS 17 , panel: ST1

Kierownik: prof. Ewa Maria Damek

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

Stochastyczne rekursje modelowane na transformacie gładzącej

Konkurs: OPUS 3 , panel: ST1

Kierownik: prof. Dariusz Buraczewski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Ekstrema i teoria ryzyka dla procesów gaussowskich i Levy'ego

Konkurs: OPUS 5 , panel: ST1

Kierownik: prof. Krzysztof Dębicki

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

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