Znaleziono 286 projektów spełniających kryteria wyszukiwania:
Konkurs: OPUS 4 , panel: ST1
Kierownik: prof. Paweł Strzelecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatyzacja wnioskowania konstruktywnego
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Rozmaitości algebraiczne: arytmetyka i geometria
Konkurs: OPUS 4 , panel: ST1
Kierownik: prof. Adrian Langer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modularna semantyka operacyjna: podejście bialgebraiczne
Konkurs: SONATA BIS 2 , panel: ST6
Kierownik: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Struktury algebraiczne związane z teoriozbiorowymi rozwiązaniami kwantowego równania Yanga-Baxtera
Konkurs: OPUS 5 , panel: ST1
Kierownik: prof. Jan Okniński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Grafy w grafach -- od dobrego uporządkowania do algorytmów
Konkurs: PRELUDIUM 6 , panel: ST6
Kierownik: dr Jean-Florent Raymond
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Lokalna geometria schematu Hilberta punktów i jej zastosowania
Konkurs: PRELUDIUM 7 , panel: ST1
Kierownik: Joachim Jelisiejew
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Kryptografia bez zaufanych stron
Konkurs: SONATA 7 , panel: ST6
Kierownik: dr Tomasz Piotr Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 8 , panel: NZ2
Kierownik: Paweł Bednarz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje
Konkurs: SONATA 18 , panel: ST6
Kierownik: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Ustanowienie uniwersalnego modelu pangenomowego
Konkurs: OPUS 24 , panel: ST6
Kierownik: dr hab. Norbert Artemi Dojer
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 22 , panel: ST6
Kierownik: Michał Zawalski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Łączenie kropek: analiza centralności z perspektywy teorii gier i teorii wyboru społecznego
Konkurs: SONATA BIS 13 , panel: ST6
Kierownik: dr Oskar Skibski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Przetwarzanie danych wysokowymiarowych za pomocą kompresji próbek i redukcji wymiarowości
Konkurs: OPUS 26 , panel: ST6
Kierownik: dr Kunal Dutta
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 26 , panel: ST1
Kierownik: prof. Katarzyna Dominika Pietruska-Pałuba
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Randomizowane algorytmy online.
Konkurs: OPUS 26 , panel: ST6
Kierownik: dr Anna Katarzyna Zych-Pawlewicz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Osobliwe rozmaitości kontaktowe
Konkurs: PRELUDIUM 20 , panel: ST1
Kierownik: Robert Śmiech
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Granice automatycznej analizy systemów współbieżnych
Konkurs: OPUS 21 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 23 , panel: ST1
Kierownik: prof. Piotr Bogusław Mucha
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebra liniowa w wymiarze skończenie-orbitowym
Konkurs: PRELUDIUM 21 , panel: ST6
Kierownik: Arka Ghosh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Poszukiwanie optymalności w wariantach problemu indeksowania tekstu i zagadnieniach pokrewnych
Konkurs: SONATA BIS 12 , panel: ST6
Kierownik: dr hab. Jakub Jan Radoszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Strukturalne i algorytmiczne własności dziedzicznych klas grafów
Konkurs: SONATA BIS 12 , panel: ST6
Kierownik: dr hab. Marcin Łukasz Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Hybrydowe papiery wartościowe: obligacje typu contingent convertible oraz obligacje bail-in.
Konkurs: OPUS 9 , panel: HS4
Kierownik: dr hab. Piotr Władysław Jaworski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody Monte Carlo dla skokowych procesów markowowskich.
Konkurs: SONATA 9 , panel: ST1
Kierownik: dr Błażej Grzegorz Miasojedow
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Praktycznie obliczalne dialogi w systemach wieloagentowych.
Konkurs: PRELUDIUM 9 , panel: ST6
Kierownik: Alina Powała
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 9 , panel: ST6
Kierownik: Maciej Skórski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modelowanie fragmentacji biomolekuł indukowanej transferem elektronu w spectrometrii mas
Konkurs: PRELUDIUM 9 , panel: ST6
Kierownik: Mateusz Krzysztof Łącki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Ukrywanie się w sieciach społecznych
Konkurs: PRELUDIUM 9 , panel: ST6
Kierownik: dr Marcin Jan Waniek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nierówności martyngałowe i koncentracyjne
Konkurs: PRELUDIUM 10 , panel: ST1
Kierownik: dr Michał Strzelecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody topologiczne analizy geometrycznej
Konkurs: OPUS 18 , panel: ST1
Kierownik: dr hab. Paweł Stefan Goldstein
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 10 , panel: NZ2
Kierownik: dr hab. Ewa Szczurek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych
Konkurs: OPUS 1 , panel: ST6
Kierownik: prof. Andrzej Piotr Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Funktory ściśle wielomianowe i hipoteza Lusztiga.
Konkurs: OPUS 1 , panel: ST1
Kierownik: dr Marcin Jan Chałupnik
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Schematy Hilberta z wielogradacją
Konkurs: PRELUDIUM 17 , panel: ST1
Kierownik: Tomasz Piotr Mańdziuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 9 , panel: ST2
Kierownik: dr hab. Magdalena Stobińska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki