Projekty finansowane przez NCN

Zaawasowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ...

Konkurs: OPUS 1 , panel: ST6

Kierownik: dr hab. Anh Linh Nguyen

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Obliczenia bazujące na percepcji

Konkurs: SONATA 1 , panel: ST6

Kierownik: dr Piotr Wasilewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe

Konkurs: PRELUDIUM 1 , panel: ST6

Kierownik: dr Adam Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Miary log-wklęsłe i geometria ciał wypukłych

Konkurs: PRELUDIUM 1 , panel: ST1

Kierownik: Piotr Nayar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skokowe procesy Markowa i ich zaburzenia schroedingerowskie

Konkurs: FUGA 1 , panel: ST1

Kierownik: dr Kamil Kaleta

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Całościowa adnotacja enhancerów ssaków w oparciu o dane genomowe i funkcjonalne

Konkurs: OPUS 3 , panel: NZ2

Kierownik: prof. Jerzy Tiuryn

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Piotr Hofman

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych

Konkurs: PRELUDIUM 3 , panel: ST1

Kierownik: dr Agnieszka Ulikowska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Dynamika układów losowych

Konkurs: OPUS 4 , panel: ST1

Kierownik: dr hab. Anna Talarczyk-Noble

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Spolegliwość niejednorodnych zadań wielowymiarowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Paweł Siedlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyzacja wnioskowania konstruktywnego

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Aleksy Schubert

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Pierścienie Coxa rozwiązań osobliwości ilorazowych

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: dr Maria Donten-Bury

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Studium zdarzeń duplikacji w genomie.

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Jarosław Paszek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorithmic Structure Theory for Sparse Graphs

Konkurs: POLONEZ 1 , panel: ST6

Kierownik: Dipl. Inform. Sebastian Siebertz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza Obliczeniowa Aplikowalnych Gier Głosowania Ważonego

Konkurs: SONATA 10 , panel: ST6

Kierownik: dr Oskar Skibski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy aproksymacyjne w obliczu niepełnej informacji

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Michał Włodarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Topologia przestrzeni rozwiązań problemów kombinatorycznych

Konkurs: PRELUDIUM 11 , panel: ST6

Kierownik: Marcin Wrochna

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Górne i dolne ograniczenia dla procesów stochastycznych

Konkurs: OPUS 11 , panel: ST1

Kierownik: dr hab. Witold Bednorz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Punktowa teoria regularności dla zbiorów, miar i warifoldów

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Sławomir Kolasiński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algebraiczne działania torusa: geometria i kombinatoryka

Konkurs: BEETHOVEN 2 , panel: ST1

Kierownik: prof. Jarosław Wiśniewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometryczne i analityczne własności równań różniczkowych zwyczajnych

Konkurs: OPUS 13 , panel: ST1

Kierownik: prof. Henryk Żołądek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nielokalne zagadnienia ewolucji powierzchni międzyfazowych

Konkurs: HARMONIA 9 , panel: ST1

Kierownik: prof. Piotr Rybka

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

Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych

Konkurs: OPUS 5 , panel: ST6

Kierownik: dr hab. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Niskowymiarowa geometria algebraiczna afiniczna.

Konkurs: OPUS 6 , panel: ST1

Kierownik: prof. Mariusz Koras

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody stochastyczne w teorii gładkich układów dynamicznych

Konkurs: OPUS 7 , panel: ST1

Kierownik: prof. Anna Zdunik

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Analiza układów stochastycznych z geometrią

Konkurs: OPUS 8 , panel: ST1

Kierownik: dr Piotr Miłoś

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Generowanie wideo przy użyciu głębokiego uczenia

Konkurs: SONATA 17 , panel: ST6

Kierownik: dr Piotr Biliński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Proporcjonalny Budżet Partycypacyjny

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Grzegorz Pierczyński

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometryczne własności ciągów homeomorfizmów Sobolewa oraz homeomorfizmów o ograniczonym wahaniu

Konkurs: PRELUDIUM 21 , panel: ST1

Kierownik: Zofia Grochulska

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 Radoszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modelowanie wieloskalowe płynów i tkanek

Konkurs: SONATA 19 , panel: ST1

Kierownik: dr Tomasz Dębiec

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Topologiczne, geometryczne i ergodyczne problemy dynamiki zespolonej

Konkurs: OPUS 26 , panel: ST1

Kierownik: prof. Krzysztof Barański

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modele obliczeń rozszerzone o dane

Konkurs: OPUS 18 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wybiegając Myślą Naprzód: Długofalowe planowanie z użyciem głębokiego uczenia ze wzmocnieniem bazującego na modelu...

Konkurs: PRELUDIUM 19 , panel: ST6

Kierownik: Piotr Kozakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Różniczkowe Nierówności Harnacka - Nieliniowe i Nielokalne

Konkurs: SONATA BIS 10 , panel: ST1

Kierownik: dr Mikołaj Sierżęga

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Integracyjna analiza danych genomicznych z pojedynczych komórek

Konkurs: SONATA 16 , panel: NZ2

Kierownik: dr Aleksander Jankowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozwiązania kwantowego równania Yanga-Baxtera i stowarzyszone struktury algebraiczne: (pół)grupy, algebry łączne i skośn...

Konkurs: SONATA 16 , panel: ST1

Kierownik: dr Łukasz Kubat

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Rozmaitości algebraiczne powiązane ze strukturami kombinatorycznymi

Konkurs: SONATA 13 , panel: ST1

Kierownik: dr Maria Donten-Bury

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych

Konkurs: OPUS 14 , panel: ST6

Kierownik: dr hab. Paweł Górecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Konkurs: OPUS 15 , panel: ST6

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zmiany czasu dla procesów Markowa i ich wpływ na struktury markowskie

Konkurs: PRELUDIUM 15 , panel: ST1

Kierownik: Zofia Miśkiewicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Zachowania kolektywne z perspektywy matematyka

Konkurs: HARMONIA 10 , panel: ST1

Kierownik: prof. Piotr Mucha

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nowe trendy w algorytmach tekstowych

Konkurs: SONATA 14 , panel: ST6

Kierownik: dr hab. Jakub Radoszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Probabilistyczne aspekty twierdzenia Takensa o zanurzaniu

Konkurs: PRELUDIUM 17 , panel: ST1

Kierownik: Adam Śpiewak

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

Dokładne ograniczenia dolne przy silnych założeniach złożonościowych.

Konkurs: PRELUDIUM 9 , panel: ST6

Kierownik: Arkadiusz Socała

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach

Konkurs: PRELUDIUM 3 , panel: ST6

Kierownik: dr Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice rozstrzygalności w teorii automatów

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Paweł Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki