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 121 projektów spełniających kryteria wyszukiwania:

  1. Matematyczne modelowanie miar ryzyka i wyboru optymalnej strategii

    Konkurs: OPUS 1 , panel: HS4

    Kierownik: prof. Zbigniew Palmowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Konkurs: PRELUDIUM 2 , panel: ST6

    Kierownik: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  5. Związki teorii modeli z topologią i algebrą

    Konkurs: OPUS 4 , panel: ST1

    Kierownik: dr hab. Krzysztof Krupiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  6. Algorytmy grafowe w różnych modelach obliczeń rozproszonych i równoległych.

    Konkurs: ETIUDA 7 , panel: ST6

    Kierownik: Krzysztof Nowicki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  7. Algebraiczne techniki zrównoleglania algorytmów

    Konkurs: OPUS 17 , panel: ST6

    Kierownik: dr Przemysław Uznański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  8. Arytmetyka i geometria ciał z operatorami

    Konkurs: OPUS 22 , panel: ST1

    Kierownik: prof. Piotr Kowalski

    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. Testy adaptacyjne dla danych cenzurowanych

    Konkurs: OPUS 13 , panel: ST1

    Kierownik: dr Grzegorz Wyłupek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  18. Dwuniezmiennicze metryki na grupach: geometria i dynamika

    Konkurs: OPUS 14 , panel: ST1

    Kierownik: dr hab. Światosław Gal

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  19. Wybrane zagadnienia kompresji gramatykowej

    Konkurs: SONATA BIS 7 , panel: ST6

    Kierownik: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  20. Losowe struktury gałązkowe i afiniczne

    Konkurs: OPUS 17 , panel: ST1

    Kierownik: prof. Ewa Damek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  22. Wielowymiarowe mnożniki spektralne

    Konkurs: PRELUDIUM 1 , panel: ST1

    Kierownik: Błażej Wróbel

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  24. Asymptotyczne własności ekstremów lokalnie samopodobnych i wielowymiarowych procesów gaussowskich

    Konkurs: PRELUDIUM 2 , panel: ST1

    Kierownik: Kamil Tabiś

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  25. Pewne analityczne aspekty grup i ich reprezentacji

    Konkurs: PRELUDIUM 3 , panel: ST1

    Kierownik: dr Łukasz Garncarek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  26. Zagadnienia algebraiczno-kombinatoryczne dotyczące grup permutacji i półgrup transformacji

    Konkurs: OPUS 4 , panel: ST1

    Kierownik: prof. Andrzej Kisielewicz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  27. Nieliniowe równania ewolucji z dyfuzją Lévy'ego.

    Konkurs: SONATA 4 , panel: ST1

    Kierownik: dr Dominika Pilarczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  28. Synchronizacja automatów i hipoteza Cerny'ego

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

  30. Asymptotyczne własności rozkładu funkcjonałów od pól gaussowskich

    Konkurs: FUGA 3 , panel: ST1

    Kierownik: dr Kamil Kosiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  31. Definiowalna dynamika topologiczna i o-minimalność

    Konkurs: PRELUDIUM 7 , panel: ST1

    Kierownik: dr Grzegorz Jagiella

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  32. Losowe iteracje, miary stacjonarne i jądra Poissona

    Konkurs: OPUS 8 , panel: ST1

    Kierownik: prof. Ewa Damek

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  33. Nierówności korelacyjne dla procesów punktowych

    Konkurs: OPUS 10 , panel: ST1

    Kierownik: prof. Ryszard Szekli

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

    Konkurs: ETIUDA 5 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  36. Projektowanie algorytmów rozproszonych dla silnie obciążonych sieci

    Konkurs: OPUS 13 , panel: ST6

    Kierownik: prof. Tomasz Jurdziński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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

  39. Małe struktury polskie

    Konkurs: PRELUDIUM 3 , panel: ST1

    Kierownik: dr Jan Dobrowolski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  40. Nieprzemienna probabilistyka i analiza harmoniczna z zastosowaniami

    Konkurs: OPUS 3 , panel: ST1

    Kierownik: prof. Marek Bożejko

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Hipoteza BDD/FC i okolice

    Konkurs: PRELUDIUM 5 , panel: ST6

    Kierownik: Tomasz Gogacz

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  42. Matematyczna analiza modeli formowania się kolonii bakteryjnych

    Konkurs: PRELUDIUM 5 , panel: ST1

    Kierownik: dr Rafał Celiński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Konkurs: SONATA 5 , panel: ST1

    Kierownik: dr Marek Arendarczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  44. Języki i Uczenie w General Game Playing

    Konkurs: PRELUDIUM 7 , panel: ST6

    Kierownik: Jakub Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  45. Niezmiennicze relacje równoważności

    Konkurs: PRELUDIUM 9 , panel: ST1

    Kierownik: Tomasz Rzepecki

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  46. Zastosowania logiki z funcjami częściowymi

    Konkurs: OPUS 9 , panel: ST6

    Kierownik: dr hab. Jean de Nivelle

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  47. Algorytmiczne podstawy optymalizacji sieci logistycznych

    Konkurs: SONATA BIS 5 , panel: ST6

    Kierownik: dr hab. Jarosław Byrka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  48. W poszukiwaniu nowych logik komputerowych

    Konkurs: OPUS 11 , panel: ST6

    Kierownik: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

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