Projekty finansowane przez NCN

Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk...

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

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

Wybrane zagadnienia kompresji gramatykowej

Konkurs: SONATA BIS 7 , panel: ST6

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Abstrakcyjne metody w teorii przestrzeni Banacha.

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Grzegorz Plebanek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Optymalizacja kombinatoryczna przez pryzmat trasy komiwojażera i skojarzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Katarzyna Paluch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Działania grup i teoria modeli

Konkurs: OPUS 16 , panel: ST1

Kierownik: dr hab. 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 Wróbel

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

Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Michał Różański

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Grupy definiowalne w ciałach z waluacją, definiowalny problem Knesera-Titsa oraz teorie metastabilne

Konkurs: SONATA 7 , panel: ST1

Kierownik: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Stochastyczne modele bazujące na transformacie gładzącej

Konkurs: SONATA BIS 4 , panel: ST1

Kierownik: prof. Dariusz Buraczewski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automaty z wagami dla własności kwantytatywnych

Konkurs: SONATA 8 , panel: ST6

Kierownik: dr Jan Otop

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

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

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 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

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

Geometria i topologia grup Artina

Konkurs: BEETHOVEN 3 , panel: ST1

Kierownik: dr Damian Osajda

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 Damek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraiczne techniki zrównoleglania algorytmów

Konkurs: OPUS 17 , panel: ST6

Kierownik: dr Przemysław Uznański

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

Wydajne algorytmy rozproszone i równoległe dla dużych i dynamicznych danych

Konkurs: OPUS 20 , panel: ST6

Kierownik: prof. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Konkurs: OPUS 21 , panel: ST6

Kierownik: dr Marek Szykuła

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

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

Małe struktury polskie

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Jan Dobrowolski

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

Hipoteza BDD/FC i okolice

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Matematyczna analiza modeli formowania się kolonii bakteryjnych

Konkurs: PRELUDIUM 5 , panel: ST1

Kierownik: dr Rafał Celiń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

Języki i Uczenie w General Game Playing

Konkurs: PRELUDIUM 7 , panel: ST6

Kierownik: Jakub Kowalski

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

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean de Nivelle

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

W poszukiwaniu nowych logik komputerowych

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Szeregowanie zadań w celu maksymalizacji liczby ukończonych zadań.

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Algebraiczne i topologiczne metody w teorii modeli

Konkurs: SONATA BIS 6 , panel: ST1

Kierownik: prof. Krzysztof Krupiń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

Jak zmienia się długość życia? Detekcja zmian trendu w modelach śmiertelności

Konkurs: PRELUDIUM 12 , panel: HS4

Kierownik: Michał Krawiec

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

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

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

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

Działania grup Coxetera na przestrzeniach niedodatnio i ujemnie zakrzywionych

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: Kamil Duszenko

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

Konstrukcja i analiza skalowalnych algorytmów dla sieci bezprzewodowych

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Efektywne algorytmy aproksymacyjne dla znajdowania optymalnej trasy komiwojażera i problemów pokrewnych

Konkurs: OPUS 6 , panel: ST6

Kierownik: dr Katarzyna Paluch

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki