Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wyniki wyszukiwania

Znaleziono 124 projektów spełniających kryteria wyszukiwania:

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

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

  3. Wybrane zagadnienia kompresji gramatykowej

    Konkurs: SONATA BIS 7 , panel: ST6

    Kierownik: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  4. Abstrakcyjne metody w teorii przestrzeni Banacha.

    Konkurs: OPUS 15 , panel: ST1

    Kierownik: prof. Grzegorz Plebanek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  6. Działania grup i teoria modeli

    Konkurs: OPUS 16 , panel: ST1

    Kierownik: dr hab. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  9. Problemy komunikacyjne w bezprzewodowych sieciach sensorowych

    Konkurs: PRELUDIUM 7 , panel: ST6

    Kierownik: Michał Różański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  12. Automaty z wagami dla własności kwantytatywnych

    Konkurs: SONATA 8 , panel: ST6

    Kierownik: dr Jan Otop

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  15. Nieprzemienna probabilistyka z zastosowaniami.

    Konkurs: OPUS 11 , panel: ST1

    Kierownik: prof. Marek Bożejko

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Algorytmy online dla problemów pakowania i pokrywania

    Konkurs: PRELUDIUM 12 , panel: ST6

    Kierownik: Maciej Pacut

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  17. Ograniczone, niezmiennicze relacje równoważności

    Konkurs: ETIUDA 5 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  19. Geometria i topologia grup Artina

    Konkurs: BEETHOVEN 3 , panel: ST1

    Kierownik: dr Damian Osajda

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  21. Losowe struktury gałązkowe i afiniczne

    Konkurs: OPUS 17 , panel: ST1

    Kierownik: prof. Ewa Damek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  22. Algebraiczne techniki zrównoleglania algorytmów

    Konkurs: OPUS 17 , panel: ST6

    Kierownik: dr Przemysław Uznański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  23. Odkrywanie ukrytej struktury danych na podstawie obserwacji.

    Konkurs: OPUS 18 , panel: ST6

    Kierownik: dr Jan Chorowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  26. Arytmetyka i geometria ciał z operatorami

    Konkurs: OPUS 22 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  28. Małe struktury polskie

    Konkurs: PRELUDIUM 3 , panel: ST1

    Kierownik: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  29. Nieprzemienna probabilistyka i analiza harmoniczna z zastosowaniami

    Konkurs: OPUS 3 , panel: ST1

    Kierownik: prof. Marek Bożejko

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  30. Hipoteza BDD/FC i okolice

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: Tomasz Gogacz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Matematyczna analiza modeli formowania się kolonii bakteryjnych

    Konkurs: PRELUDIUM 5 , panel: ST1

    Kierownik: dr Rafał Celiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Asymptotyki rozkładu supremum iterowanych procesów gaussowskich

    Konkurs: SONATA 5 , panel: ST1

    Kierownik: dr Marek Arendarczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Języki i Uczenie w General Game Playing

    Konkurs: PRELUDIUM 7 , panel: ST6

    Kierownik: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Niezmiennicze relacje równoważności

    Konkurs: PRELUDIUM 9 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Zastosowania logiki z funcjami częściowymi

    Konkurs: OPUS 9 , panel: ST6

    Kierownik: dr hab. Jean de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Algorytmiczne podstawy optymalizacji sieci logistycznych

    Konkurs: SONATA BIS 5 , panel: ST6

    Kierownik: dr hab. Jarosław Byrka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  37. W poszukiwaniu nowych logik komputerowych

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

  43. Grupy o niedodatniej krzywiźnie kombinatorycznej

    Konkurs: OPUS 13 , panel: ST1

    Kierownik: dr Damian Osajda

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

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

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

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

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

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