Projekty finansowane przez NCN

Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla

Konkurs: OPUS 14 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatyczna analiza systemów współbieżnych

Konkurs: OPUS 14 , panel: ST6

Kierownik: prof. Sławomir Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometria i zmiany geometrycznych struktur na rozmaitości algebraicznych

Konkurs: OPUS 15 , panel: ST1

Kierownik: prof. Adrian Langer

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nierówności z wagą dla operatorów maksymalnych

Konkurs: PRELUDIUM 15 , panel: ST1

Kierownik: Mateusz Rapicki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nieskończoność we wnioskowaniu o danych i wiedzy

Konkurs: SONATA BIS 8 , panel: ST6

Kierownik: dr hab. Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego

Konkurs: OPUS 16 , panel: ST1

Kierownik: dr hab. Błażej Miasojedow

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Deterministyczne i losowe zjawiska w układach dynamicznych

Konkurs: OPUS 16 , panel: ST1

Kierownik: dr hab. Krzysztof Barański

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych

Konkurs: PRELUDIUM 16 , panel: ST6

Kierownik: Marek Grzegorowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy składania genomów umożliwiające diagnostykę zespołów genetycznych

Konkurs: PRELUDIUM 17 , panel: ST6

Kierownik: Barbara Poszewiecka

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 Jaworski

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

Nierówności martyngałowe i koncentracyjne

Konkurs: PRELUDIUM 10 , panel: ST1

Kierownik: dr Michał Strzelecki

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

Wieloskalowe modelowanie mechanizmu indukowanej przez ceramid śmierci komórek nerwowych

Konkurs: PRELUDIUM 10 , panel: ST6

Kierownik: Weronika Wronowska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Predicting synthetic lethality in cancer

Konkurs: POLONEZ 1 , panel: NZ2

Kierownik: dr Ewa Szczurek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ekwiwariantne homologie Khovanova splotów periodycznych - ich struktura oraz zastosowania

Konkurs: FUGA 5 , panel: ST1

Kierownik: dr Wojciech Politarczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wybrane zagadnienia z pogranicza nieliniowych równań cząstkowych i geometrycznej teorii miary

Konkurs: OPUS 11 , panel: ST1

Kierownik: prof. Paweł Strzelecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Włączenie informacji o genetycznej różnorodności do analizy danych z sekwencjonowania DNA

Konkurs: OPUS 11 , panel: ST6

Kierownik: dr hab. Norbert Dojer

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Geometria Algebraiczna: rozmaitości i struktury

Konkurs: MAESTRO 4 , panel: ST1

Kierownik: prof. Jarosław Wiśniewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Indukcja dla formuł ograniczonych i jej relatywizacje

Konkurs: OPUS 5 , panel: ST1

Kierownik: dr hab. Leszek Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Granice obliczalności dla zapytań rekurencyjnych

Konkurs: PRELUDIUM 5 , panel: ST6

Kierownik: dr Filip Mazowiecki

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

Konstruowanie specyfikacji i weryfikacja oprogramowania

Konkurs: OPUS 6 , panel: ST6

Kierownik: prof. Andrzej Tarlecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Regresja rangowa i U-procesy z karą LASSO - selekcja cech, estymacja i nierówności z wyrocznią

Konkurs: FUGA 3 , panel: ST1

Kierownik: dr Wojciech Rejchel

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmika problemów o zwartej reprezentacji

Konkurs: OPUS 7 , panel: ST6

Kierownik: prof. Wojciech Rytter

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Kryptografia bez zaufanych stron

Konkurs: SONATA 7 , panel: ST6

Kierownik: dr Tomasz Kazana

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody i zagadnienia geometryczne w nieliniowych eliptycznych równaniach różniczkowych cząstkowych

Konkurs: SONATA BIS 1 , panel: ST1

Kierownik: dr Anna Zatorska-Goldstein

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

SocSenSys: Systemy sprzężenia społecznego oparte o osobiste sieci sensorowe

Konkurs: SONATA 3 , panel: ST6

Kierownik: dr Konrad Iwanicki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nieliniowe układy równań eliptycznych: regularność rozwiązań, struktura osobliwości i zagadnienia pokrewne

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

Nowe pojęcie skończoności w teorii obliczeń

Konkurs: OPUS 4 , panel: ST6

Kierownik: dr hab. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych

Konkurs: SONATA 4 , panel: ST6

Kierownik: dr Jacek Sroka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia

Konkurs: PRELUDIUM 4 , panel: ST1

Kierownik: Piotr Minakowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Algorytmy oparte na optymalnym transporcie dla spektrometrii mas i magnetycznego rezonansu jądrowego

Konkurs: OPUS 21 , panel: ST6

Kierownik: prof. Anna Gambin

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Motywacje: Podejście Multidyscyplinarne

Konkurs: SONATA BIS 11 , panel: HS4

Kierownik: dr hab. Marcin Dziubiński

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

Warunkowe obliczenia w głębokich sieciach neuronowych

Konkurs: PRELUDIUM 21 , panel: ST6

Kierownik: Sebastian Jaszczur

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

Ustanowienie uniwersalnego modelu pangenomowego

Konkurs: OPUS 24 , panel: ST6

Kierownik: dr hab. Norbert Dojer

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

Konkurs: OPUS 19 , panel: ST1

Kierownik: prof. Witold Marciszewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Hybrydowe modele rozumowania

Konkurs: OPUS 19 , panel: HS1

Kierownik: dr hab. Maciej Malicki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Maksymilian Dryja

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

Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych

Konkurs: OPUS 11 , panel: ST1

Kierownik: dr hab. Leszek Marcinkowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Gry dynamiczne modelujące "tragedię wspólnego zasobu"

Konkurs: PRELUDIUM 11 , panel: HS4

Kierownik: Rajani Singh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Nieoczywiste aspekty modelowania wspólnych zasobów i rynków przy użyciu gier dynamicznych

Konkurs: OPUS 11 , panel: HS4

Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Wydajne algorytmy dla słabych form niedeterminizmu

Konkurs: SONATA 11 , panel: ST6

Kierownik: dr hab. Michał Skrzypczak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Matematyczne modele kwazikryształów

Konkurs: HARMONIA 8 , panel: ST1

Kierownik: prof. Jacek Miękisz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Skuteczność strategii kontroli zakażeń wobec wewnątrzszpitalnej i międzyszpitalnej transmisji wielolekoopornych szczepów...

Konkurs: UNISONO , panel: ST1

Kierownik: dr hab. Monika Piotrowska

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki