Znaleziono 10 projektów spełniających kryteria wyszukiwania:
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, 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
Geometria afiniczna rzeczywista i zespolona.
Konkurs: OPUS 5 , panel: ST1
Kierownik: prof. Zbigniew Jelonek
Instytut Matematyczny PAN
Analiza spektralna i metody asymptotyczne dla skalarnych i macierzowych operatorów różnicowych
Konkurs: OPUS 5 , panel: ST1
Kierownik: prof. Jan Janas
Instytut Matematyczny Polskiej Akademii Nauk
Układy niegładkie w matematycznej teorii zagadnień kontaktowych mechaniki
Konkurs: MAESTRO 3 , panel: ST1
Kierownik: prof. Stanisław Migórski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 2 , panel: ST6
Kierownik: dr Włodzimierz Moczurad
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Centralne twierdzenie graniczne dla ogólnych funkcjonałów z zastosowaniami w grafach losowych
Konkurs: SONATA 17 , panel: ST1
Kierownik: dr Grzegorz Serafin
Politechnika Wrocławska
Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
Konkurs: OPUS 16 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Analityczne i probabilistyczne metody badania modeli biologicznych
Konkurs: OPUS 14 , panel: ST1
Kierownik: prof. Ryszard Rudnicki
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 10 , panel: ST8
Kierownik: prof. Aleksandr Linkov
Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej