Nie jesteś zalogowany |
Granty w realizacji
Granty zakończone
Instytut Matematyki
-
Algebraiczne działania torusa: geometria i kombinatoryka
Kierownik: prof. dr hab. Jarosław Wiśniewski
-
Algebry skończenie prezentowalne i półgrupowe algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński
-
Analiza modeli stochastycznych
Kierownik: dr hab. Piotr Miłoś
-
Analiza na przestrzeniach metrycznych i jej zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym
Kierownik: prof. dr hab. Paweł Strzelecki
-
Analiza układów stochastycznych z geometrią
Kierownik: dr hab. Piotr Miłoś
-
Analiza złożonych układów stochastycznych
Kierownik: prof. dr hab. Tomasz Bojdecki
-
Antycypująca całka Skorochoda w przestrzeniach konuklearnych
Kierownik: prof. dr hab. Tomasz Bojdecki
- Badanie procesów Bernoulliego i chaosu Gaussowskiego
-
Całkowa krzywizna Mengera dla powierzchni dowolnego kowymiaru
Kierownik: prof. dr hab. Paweł Strzelecki
-
Continua dziedzicznie nierozkładalne wyższych wymiarów
Kierownik: prof. dr hab. Elżbieta Pol
-
Cykle graniczne dla wielomianowych pól wektorowych (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek
-
Czasy lokalne samoprzecięć procesów Gaussa w S'
Kierownik: prof. dr hab. Tomasz Bojdecki
-
Deterministyczne i losowe zjawiska w układach dynamicznych
Kierownik: prof. dr hab. Krzysztof Barański
- Detrministyczne algorytmy faktoryzacji liczb naturalnych i wielomianów nad ciałem skończonym
-
Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Kołodziejczyk
-
Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Kołodziejczyk
-
Dwustronne oszacowania wieloliniowych form losowych
Kierownik: dr Rafał Meller
-
Dynamika układów losowych
Kierownik: dr hab. Anna Talarczyk-Noble, prof. UW
-
Działania grup na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Mariusz Koras
-
Działania grup na rozmaitościach algebraicznych i przekształcenia biwymierne
Kierownik: prof. dr hab. Mariusz Koras
-
Ekwiwariantne homologie Khovanowa splotów periodycznych - ich struktura oraz zastosowania
Kierownik: dr Wojciech Politarczyk
-
Europejska Sieć Badawczo-Szkoleniowa Geometrii Algebraicznej EAGER
Kierownik: prof. dr hab. Jarosław Wiśniewski
-
Funkcjonały energii krzywiznowych dla niegładkich podzbiorów przestrzeni euklidesowej
Kierownik: prof. dr hab. Paweł Strzelecki
-
Funktory ściśle wielomianowe i hipoteza Lusztiga.
Kierownik: dr hab. Marcin Chałupnik
-
Geometria Algebraiczna: rozmaitości i struktury
Kierownik: prof. dr hab. Jarosław Wiśniewski
-
Geometria i zmiany geometrycznych struktur na rozmaitości algebraicznych
Kierownik: prof. dr hab. Adrian Langer
-
Geometria powierzchni afinicznych i przekształcenia biwymierne.
Kierownik: prof. dr hab. Mariusz Koras
-
Geometryczne energie krzywiznowe
Kierownik: prof. dr hab. Paweł Strzelecki
-
Geometryczne i analityczne własności równań różniczkowych zwyczajnych
Kierownik: prof. dr hab. Henryk Żołądek
-
Geometryczne i ergodyczne własności układów dynamicznych
Kierownik: prof. dr hab. Anna Zdunik
-
Geometryczne i ergodyczne własności układów dynamicznych II
Kierownik: prof. dr hab. Anna Zdunik
- Geometryczne osobliwości niezmienników grupy symplektomorfizmów
-
Geometryczne własności ciągów homeomorfizmów Sobolewa oraz homeomorfizmów o ograniczonym wahaniu
Kierownik: Hubert Grochowski
-
Górne i dolne ograniczenia dla procesów stochastycznych
Kierownik: prof. dr hab. Witold Bednorz, prof. UW
-
Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
Kierownik: dr hab. Leszek Kołodziejczyk
-
Hiperkontrakcja i nierówności funkcyjne dla miar produktowych (promotorski)
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz
- Ideały w przestrzeniach polskich i własność Fubiniego
-
Indukcja dla formuł ograniczonych i jej relatywizacje
Kierownik: dr hab. Leszek Kołodziejczyk
-
Interakcyjne wykrywanie modeli procesów i ich własności z danych
Kierownik: prof. dr hab. inż. Andrzej Skowron
- Iteracje funkcji holomorficznych II
-
Jakościowe i ergodyczne własności gładkich układów dynamicznych
Kierownik: prof. dr hab. Henryk Żołądek
-
Kategorie dokładne, abelowe i triangulowalne w algebrze i geometrii
Kierownik: dr Agnieszka Bodzenta-Skibińska
-
Kategorie pochodne i geometria biwymierna
Kierownik: dr Agnieszka Bodzenta-Skibińska
-
Klasyfikacja przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski
-
Koncentracja miary
Kierownik: dr Michał Strzelecki
-
Koncentracja miary
Kierownik: dr hab. Radosław Adamczak, prof. ucz.
-
Koncentracja miary i nierówności funkcyjne
Kierownik: mgr Bartłomiej Polaczyk
-
Konforemne układy dynamiczne i geometria zbiorów fraktalnych
Kierownik: prof. dr hab. Anna Zdunik
-
Konstrukcje rozmaitości algebraicznych przez działanie grup skończonych.
Kierownik: prof. dr hab. Jarosław Wiśniewski
-
Krzywe i powierzchnie na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Jarosław Wiśniewski
- Krzywe kwantowe oraz równania Schrödingera w modelach macierzowych
-
Krótkie odcinki pomiędzy liczbami prawie pierwszymi
Kierownik: dr Paweł Lewulis
-
Logiki zdaniowe i słabe kategorie wysoko-wymiarowe
Koordynator: dr hab. Marek Zawadowski, prof. UW
-
Lokalna geometria schematu Hilberta punktów i jej zastosowania
Kierownik: dr hab. Joachim Jelisiejew
-
Matematyczne modelowanie ryzyka w finansach
Kierownik: prof. dr hab. Jacek Jakubowski
-
Meromorficzne liniowe równania różniczkowe i wielokrotne wartości zeta (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek
-
Metody adaptacyjne we wnioskowaniu aproksymacyjnym
Kierownik: prof. dr hab. inż. Andrzej Skowron
-
Metody algebraiczne w badaniu kwantowego równania Yanga-Baxtera - klamerki i algebry łączne
Kierownik: prof. dr hab. Jan Okniński
-
Metody algebraiczne w badaniu kwantowego równania Yanga-Baxtera - klamerki i algebry łączne
Kierownik: prof. dr hab. Jan Okniński
-
Metody automatycznego wnioskowania z bazy wiedzy oparte na poszukiwaniu analogii
Kierownik: prof. dr hab. inż. Andrzej Skowron
-
Metody półgrupowe w badaniu algebr łącznych
Kierownik: prof. dr hab. Jan Okniński
-
Metody półgrupowe w badaniu algebr łącznych i ich reprezentacji
Kierownik: prof. dr hab. Jan Okniński
-
Metody stochastyczne w teorii gładkich układów dynamicznych
Kierownik: prof. dr hab. Anna Zdunik
- Metody układów dynamicznych i geometrii fraktalnej w badaniu sieci złożonych
-
Metody łańcuchowe w badaniu regularności procesów stochastycznych
Kierownik: prof. dr hab. Witold Bednorz, prof. UW
-
Miary log-wklęsłe i geometria ciał wypukłych
Kierownik: dr hab. Piotr Nayar
-
Morfizmy i przekątne "wymarzonych przestrzeni Mori'ego", filogenetyka oraz zastosowania pierścieni Coxa
Kierownik: dr hab. Jarosław Buczyński
- Nawiasy - konstrukcje, własności, zastosowania
-
New Geometry of Quantum Dynamics
Kierownik: dr hab. Tomasz Maszczyk
-
New computational combinatorial geometrical topological and algebraic methods applied to noetherian orders
Kierownik: prof. dr hab. Jan Okniński
-
Nieliniowe formy całkowe zwiazane ze skokowymi procesami Markowa
Kierownik: prof. dr hab. Katarzyna Pietruska-Pałuba
-
Nieliniowe równania cząstkowe: zagadnienia wariacyjne i geometryczne
Kierownik: prof. dr hab. Paweł Strzelecki
-
Nieliniowe układy równań eliptycznych: regularność rozwiązań, struktura osobliwości i zagadnienia pokrewne
Kierownik: prof. dr hab. Paweł Strzelecki
-
Nieliniowe zagadnienia geometryczne i wariacyjne
Kierownik: prof. dr hab. Paweł Strzelecki
-
Nieliniowe zagadnienia własne.
Kierownik: dr Paweł Bechler
-
Nierówności dla nieprzemiennych martyngałów
Kierownik: prof. dr hab. Adam Osękowski
-
Nierówności dla semimartyngałów i całek stochastycznych
Kierownik: prof. dr hab. Adam Osękowski
-
Nierówności dla wektorów log-wklęsłych
Kierownik: dr Marta Strzelecka
-
Nierówności martyngałowe i ich zastosowania do badania mnożników Fourierowskich
Kierownik: prof. dr hab. Adam Osękowski
-
Nierówności matryngałowe i koncentracyjne
Kierownik: dr Michał Strzelecki
-
Nierówności probabilistyczne
Kierownik: prof. dr hab. Rafał Latała
-
Nierówności stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz
-
Nierówności z wagą dla klasycznych operatorów
Kierownik: prof. dr hab. Adam Osękowski
-
Nierówności z wagą dla operatorów maksymalnych
Kierownik: dr Mateusz Rapicki
-
Niskowymiarowa geometria algebraiczna afiniczna
Kierownik: prof. dr hab. Mariusz Koras
-
Nowe koncepcje równowagi w grach dynamicznych z niepełną informacją i ich ekonomiczne zastosowania
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
-
Nowe zagadnienia w teorii rozmaitości Nobelinga
Kierownik: dr Andrzej Nagórko
-
Nowoczesne narzędzia inżynierskie do wspomagania decyzji przeznaczone dla dowódców podczas działań ratowniczo-gaśniczych PSP w obiektach budowlanych
Kierownik: prof. dr hab. Dominik Ślęzak
-
Obliczenia interakcyjne w odkrywaniu wiedzy w złożonych źródłach danych
Kierownik: dr hab. Hung Son Nguyen, prof. UW
-
Odpowiedniość Ogusa-Vologodsky'ego dla rozmaitości osobliwych
Kierownik: Maciej Zdanowicz
-
Optymalne nierówności koncentracyjne
Kierownik: dr hab. Piotr Nayar
-
Osobliwe rozmaitości kontaktowe
Kierownik: Robert Śmiech
- Osobliwości i globalne własności nieliniowych równań różniczkowych
-
Osobliwości minimalizujących przekształceń biharmonicznych
Kierownik: dr Katarzyna Mazowiecka
-
Osobliwości przekształceń harmonicznych
Kierownik: dr Michał Miśkiewicz
-
Oszacowania dla wektorów i procesów losowych
Kierownik: prof. dr hab. Rafał Latała
-
Oszacowania momentów i ogonów wieloliniowych form losowych (promotorski)
Kierownik: prof. dr hab. Rafał Latała
-
Oszacowania momentów wektorów losowych
Kierownik: dr Marta Strzelecka
-
Paraboliczne zagadnienia ewolucji powierzchni w teorii przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka
-
Pierścienie Coxa rozwiązań osobliwości ilorazowych
Kierownik: dr Maria Donten-Bury
- Probabilistyczne aspekty twierdzenia Takensa o zanurzaniu
-
Procesy gaussowskie i oszacowania momentów zmiennych losowych.
Kierownik: Tomasz Tkocz
- Przejście od arytmetyki do algebry szkolnej
-
Przestrzenie Orlicza-Sobolewa i ich zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym
Kierownik: prof. dr hab. Agnieszka Kałamajska
-
Przestrzenie Orlicza-Sobolewa i inne przestrzenie funkcyjne w rachunku wariacyjnym, teorii prawdopodobieństwa i nieliniowych równaniach eliptycznych
Kierownik: prof. dr hab. Agnieszka Kałamajska
-
Przestrzenie funkcji ciągłych
Kierownik: prof. dr hab. Witold Marciszewski
-
Przestrzenie funkcji ciągłych z topologią zbieżności punktowej
Kierownik: prof. dr hab. Witold Marciszewski
-
Punktowa teoria regularności dla zbiorów, miar i warifoldów
Kierownik: dr hab. Sławomir Kolasiński
-
Półgrupa podprzestrzeni algebry skończenie wymiarowej i algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński
-
Płaszczyzny homologiczne z osobliwościami (promotorski)
Kierownik: prof. dr hab. Mariusz Koras
-
Radykały i zbiory wyróżnionych elementów pierścieni łącznych
Kierownik: prof. dr hab. Edmund Puczyłowski
-
Rezidua Jeffrey-Kirwan w zastosowaniu do ekwiwariantnego homomorfizmu Gysina
Kierownik: dr Magdalena Zielenkiewicz
- Rigidity for actions on Banach spaces and applications
-
Rozmaitości algebraiczne i struktury algebraiczne
Kierownik: prof. dr hab. Jarosław Wiśniewski
-
Rozmaitości algebraiczne powiązane ze strukturami kombinatorycznymi
Kierownik: dr Maria Donten-Bury
-
Rozmaitości algebraiczne: arytmetyka i geometria
Kierownik: prof. dr hab. Adrian Langer
-
Rozmaitości i wiązki algebraiczne
Kierownik: prof. dr hab. Adrian Langer
-
Rozmaitości legendrowskie w geometrii algebraicznej (promotorski)
Kierownik: prof. dr hab. Jarosław Wiśniewski
-
Rozmaitości, wiązki, struktury algebraiczne i ich przestrzenie moduli
Kierownik: prof. dr hab. Jarosław Wiśniewski
-
Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych.
Kierownik: prof. dr hab. Andrzej Szałas
-
Równania różniczkowe, geometria i fizyka
Kierownik: prof. dr hab. Henryk Żołądek
- Równanie transportu we współczesnej teorii równań różniczkowych cząstkowych
-
Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications
Kierownik: dr hab. Konrad Iwanicki, prof. UW
-
Schematy Hilberta z wielogradacją
Kierownik: dr Tomasz Mańdziuk
-
Semigroups of matrices
Kierownik: prof. dr hab. Jan Okniński
-
Sieci klasyfikatorów
Kierownik: prof. dr hab. inż. Andrzej Skowron
- Skokowe procesy Markowa i ich zaburzenia schroedingerwskie
-
Strategia nauczania matematyki w Polsce
Kierownik: prof. dr hab. Zbigniew Marciniak
-
Struktura topologiczna przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski
-
Struktury algebraiczne i własności rozmaitości algebraicznych
Kierownik: prof. dr hab. Adrian Langer
-
Struktury algebraiczne związane z teoriozbiorowymi rozwiązaniami kwantowego równania Yanga-Baxtera
Kierownik: prof. dr hab. Jan Okniński
-
Struktury danych i algorytmy dynamiczne dla grafów planarnych
Kierownik: dr Adam Karczmarz
-
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Kierownik: dr Piotr Hofman
-
Synteza aproksymacji pojęć
Kierownik: prof. dr hab. inż. Andrzej Skowron
-
Szeregi losowe i całki stochastyczne
Kierownik: prof. dr hab. Stanisław Kwapień
-
Szeregi losowe, całki stochastyczne: pojedyncze i wielokrotne
Kierownik: prof. dr hab. Stanisław Kwapień
-
Teoria typów w badaniach własności programów
Kierownik: prof. dr hab. Paweł Urzyczyn
-
Teoria węzłów
Kierownik: dr hab. Maciej Borodzik
-
Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał
Kierownik: dr Daniel Hoffmann
- Terminalizacje symplektycznych osobliwości ilorazowych i ich pierścienie Coxa
-
Topologia algebraiczna
Kierownik: prof. dr hab. Stanisław Betley
- Topologia algebraiczna
-
Topologia i struktura borelowska przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski
-
Topologiczne i teoriomiarowe własności małych podzbiorów przestrzeni polskich
Kierownik: prof. dr hab. Piotr Zakrzewski
-
Trojaka natura matematyki: idee głębokie, formy powierzchniowe, modele formalne
Kierownik: prof. dr hab. Zbigniew Semadeni
-
Twierdzenia graniczne dla rozgałęziających się układów cząstek (promotorski)
Kierownik: prof. dr hab. Tomasz Bojdecki
- Układy cząstek, czasy przebywania i procesy samopodobne
-
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek
-
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek
-
Układy stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Tomasz Bojdecki
-
Wielomiany ortogonalne oraz równania Painleve
Kierownik: dr hab. Galina Filipuk
-
Wspomaganie podejmowania decyzji z wykorzystaniem interakcyjnych obliczeń granularnych
Kierownik: dr Marcin Szczuka
-
Wybrane Aspekty Skalowalności Metod Eksploracji Dawnych i Odkrywania Wiedzy w Bazach Danych
Kierownik: prof. dr hab. Dominik Ślęzak
-
Wybrane aspekty wyceny i zabezpieczenia wypłat w modelach rynku z czasem dyskretnym
Kierownik: prof. dr hab. Jacek Jakubowski
-
Wybrane zagadnienia z pogranicza nieliniowych równań cząstkowych i geometrycznej teorii miary
Kierownik: prof. dr hab. Paweł Strzelecki
-
Wybrane zagadnienia z pogranicza nieliniowych równań cząstkowych i geometrycznej teorii miary
Kierownik: prof. dr hab. Paweł Strzelecki
-
Wysokowymiarowy rachunek prawdopodobieństwa
Kierownik: dr hab. Radosław Adamczak, prof. ucz.
-
Wyznaczenie aproksymacyjnych sieci Bayesowskich z danych: Metody zbiorów przybliżonych
Kierownik: prof. dr hab. inż. Andrzej Skowron
-
Własności kombinatoryczne i strukturalne algebr Hecke-Kiselmana
Kierownik: mgr Magdalena Wiertel
-
Własności pierścieni wyrażalne w terminach ideałów
Kierownik: dr hab. Jerzy Matczuk, prof. UW
-
Własności probabilistyczne miar logarytmicznie wklęsłych (promotorski)
Kierownik: prof. dr hab. Rafał Latała
-
Własności topologiczne zbiorów niezmienniczych w dynamice przestępnej
Kierownik: prof. dr hab. Krzysztof Barański
-
Zachowanie się własności pierścieni i modułów przy wyróżnionych konstrukcjach
Kierownik: prof. dr hab. Edmund Puczyłowski
- Zadanie Badawcze SYNAT pt.: „Utworzenie uniwersalnej, otwartej, repozytoryjnej platformy hostingowej i komunikacyjnej dla sieciowych zasobów wiedzy dla nauki, edukacji i otwartego społeczeństwa wiedzy” Program strategiczny: Interdyscyplinarny system interaktywnej informacji naukowej i naukowo technicznej, finansowany przez Narodowe Centrum Badań i Rozwoju
-
Zarządzanie zasobami w egoistycznych i kooperacyjnych systemach rozproszonych
Kierownik: dr hab. Piotr Skowron
-
Zbiory bolerowskie w przestrzeniach funkcyjnych ze słabą topologią
Kierownik: prof. dr hab. Roman Pol
-
Zera i wartości specjalne L-funkcji automorficznych
Kierownik: prof. dr hab. Jacek Pomykała
- Zmiany czasu dla procesów Markowa i ich wpływ na struktury markowskie
-
Złożone układy stochastyczne
Kierownik: prof. dr hab. Tomasz Bojdecki
Instytut Informatyki
-
A unified theory of finite-state recognisability
Kierownik: prof. dr hab. Mikołaj Bojańczyk
-
Abstrakcyjna teoria specyfikacji i jej zastosowania
Kierownik: prof. dr hab. Andrzej Tarlecki
-
Adaptatywne symulacje w modelowaniu procesów decyzyjnych o wielkich rozmiarach na przykładzie gry GO (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
-
Aktualne trendy w algorytmach parametryzowanych i wykładniczych
Kierownik: prof. dr hab. Łukasz Kowalik
-
Algebraiczne algorytmy grafowe (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
-
Algebraiczne niezmienniki dla Sieci Petriego z danymi
Kierownik: dr Piotr Hofman
- Algorithmic Structure Theory for Sparse Graphs
-
Algorithms for co-allocating services in datacentres
Kierownik: dr hab. Krzysztof Rządca, prof. UW
-
Algorithms for text processing with errors and uncertainties
Kierownik: dr hab. Jakub Radoszewski, prof. UW
-
Algorytmiczne i kombinatoryczne aspekty okresowości i powtórzeń w słowach
Kierownik: Tomasz Kociumaka
-
Algorytmiczne i kombinatoryczne problemy związane ze zliczaniem powtórzeń w słowach
Kierownik: prof. dr hab. Wojciech Rytter
-
Algorytmiczne i obliczeniowe problemy bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn
-
Algorytmiczne problemy biologii systemów i bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn
-
Algorytmiczne problemy ścieżkowe w grafach planarnych (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
-
Algorytmiczne wyzwania spektrometrii masowej
Kierownik: prof. dr hab. Anna Gambin
-
Algorytmika i kombinatoryka nieklasycznych tekstów
Kierownik: dr hab. Jakub Radoszewski, prof. UW
-
Algorytmika kombinatoryczna złożonych problemów współczesnej informatyki
Kierownik: prof. dr hab. Wojciech Rytter
-
Algorytmika problemów o dużym rozmiarze
Kierownik: prof. dr hab. Wojciech Rytter
-
Algorytmika problemów o zawartej reprezentacji
Kierownik: prof. dr hab. Wojciech Rytter
-
Algorytmy aproksymacyjne o ograniczonych zasobach
Kierownik: dr hab. Piotr Sankowski, prof. UW
-
Algorytmy aproksymacyjne w obliczu niepełnej informacji
Kierownik: dr Michał Włodarczyk
-
Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowanej kolizjami
Kierownik: Grzegorz Skoraczyński
-
Algorytmy on-linew modelach stochastycznych
Kierownik: dr hab. Marcin Mucha
-
Algorytmy parametryzowane w problemach grafowych oraz wyszukiwaniu wzorca permutacji
Kierownik: dr hab. Marek Cygan
- Algorytmy rozproszone i równoległe dla problemów kombinatorycznych
-
Algorytmy rozproszone odporne na błędy (promotorski)
Kierownik: prof. dr hab. Damian Niwiński
-
Algorytmy składania genomów umożliwiające diagnostykę zespołów genetycznych
Kierownik: dr Barbara Poszewiecka
-
Algorytmy wnioskowania o interakcjach wielokontaktowych na podstawie danych o konformacji chromatyny
Kierownik: dr Aleksander Jankowski
-
Analiza grup i sygnałów używanych do budowy struktury białek z lokalnych deskryptorów (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
- Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe.
-
Analiza obliczeniowa aplikowanych gier głosowania ważonego
Kierownik: dr Oskar Skibski
-
Analiza problemów fizyczno-biologicznych w oparciu o matematyczne entropie
Kierownik: prof. dr hab. Piotr Gwiazda
-
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariontów
Kierownik: dr hab. Norbert Dojer
-
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariotów
Kierownik: dr hab. Norbert Dojer
- Analiza układów stochastycznych z geometrią
-
Applications of automata theory to processing XML documents
Kierownik: prof. dr hab. Mikołaj Bojańczyk
-
Approximation and parameterized local search algorithms
Kierownik: dr hab. Marek Cygan
-
Aproksymacyjne systemy wieloagentowe
Kierownik: prof. dr hab. Barbara Dunin-Kęplicz
-
Architectures for Mobility
Kierownik: prof. dr hab. Andrzej Tarlecki
-
Atlas obszarów regulatorowych specyficznych dla mózgu ludzkiego - nowe narzędzie odkrywania ścieżek powodujących wybrane choroby mózgu
Kierownik: dr hab. Bartosz Wilczyński
-
Automata: from Mathematics to Applications (AutoMathA)
Kierownik: prof. dr hab. Mikołaj Bojańczyk
-
Automatyczna analiza systemów współbieżnych
Kierownik: prof. dr hab. Sławomir Lasota
-
Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Schubert, prof. UW
-
Bayesowska analiza podtypów raka pęcherza moczowego na podstawie wysokoprzepustowych danych
Kierownik: dr Krzysztof Gogolewski
-
Biologicznie znacząca rekonstrukcja sieci filogenetycznych
Kierownik: dr hab. Paweł Górecki
-
Całościowa adnotacja enhancerów ssaków w oparciu o dane genomowe i funkcjonalne
Kierownik: prof. dr hab. Jerzy Tiuryn
-
Całościowe przewidywanie kooperatywnych elementów regulatorowych w genomach eukariotycznych.
Kierownik: dr Aleksander Jankowski
-
Centrality Measures: from Theory to Applications
Kierownik: dr Oskar Skibski
-
Computational methods for prediction of drug targets, biomarkers & efficient drug combinations based on genome-scale data from molecular cancer profiling
Kierownik: dr hab. Ewa Szczurek, prof. UW
-
Computational modeling of transcription regulation in the context of chromatin dynamics
Kierownik: dr hab. Bartosz Wilczyński
-
Coś na ząb - epigenomika zaburzeń odżywiania
Kierownik: dr hab. Bartosz Wilczyński
-
Cryptographic Protocols Provably-Secure Against Physical Attacks
Kierownik: prof. dr hab. Stefan Dziembowski
-
Cryptography on Non-Trusted Machines
Kierownik: prof. dr hab. Stefan Dziembowski
-
Cuts and decompositions: algorithms and combinatorial properties
Kierownik: dr hab. Marcin Pilipczuk, prof. UW
-
Darowizna od Intel Corporation; cel: opracowanie programu kursów z zakresu bezpieczeństwa systemów komputerowych
Kierownik: prof. dr hab. Stefan Dziembowski , dr hab. Aleksy Schubert, prof. UW
-
Detection and evolutionary analysis of repeats in protein sequences
Koordynator: prof. dr hab. Anna Gambin
- Dokładne ograniczenia dolne przy silnych założeniach złożonościowych
-
Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania
Kierownik: prof. dr hab. Sławomir Lasota
-
Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza
Kierownik: dr Adam Karczmarz
-
EMBO Installation Grants
Kierownik: dr hab. Bartosz Wilczyński
-
Efektywne algorytmy dla grafów planarnych
Kierownik: dr hab. Piotr Sankowski, prof. UW
-
Efektywne obliczenia w predykatywnej matematyce
Kierownik: dr Michał Przybyłek
-
Erasmus Without Paper
Kierownik: dr Janina Mincer-Daszkiewicz, prof. UW
-
Erasmus Without Paper 2.0
Kierownik: dr Janina Mincer-Daszkiewicz, prof. UW
-
Erasmus bez Papieru 2 - dotacja z MNiSW
Kierownik: dr Janina Mincer-Daszkiewicz, prof. UW
-
Estymatory rozkładów prawdopodobieństwa występowania sekwencji aminokwasowej w uliniowieniu i ich zastosowanie do predykcji struktury trójwymiarowych bialek (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
-
European Training Network for Computational Oncology
Kierownik: dr hab. Ewa Szczurek, prof. UW
-
Ewolucja sieci interakcji białko-białko (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
-
Expressive Power of Tree Logics (SOSNA)
Kierownik: prof. dr hab. Mikołaj Bojańczyk
-
Field trial on the impact of enabling easy mobility on recognition of external studies
Kierownik: dr Janina Mincer-Daszkiewicz, prof. UW
-
Formalizacja naiwnej teorii typów (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn
-
Formalne podstawy kryptowalut
Kierownik: prof. dr hab. Stefan Dziembowski
-
Foundational Research on MULTIlevel comPLEX networks and systems
Kierownik: dr hab. Piotr Sankowski, prof. UW
-
Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX)
Kierownik: prof. dr hab. Mikołaj Bojańczyk
-
GLAD - Green Last Mile Delivery: a more sustainable way for food home delivery tailored to consumer needs
Kierownik: mgr Paweł Gora
-
Games and Automata for Synthesis and Verification
Koordynator: prof. dr hab. Jerzy Tyszkiewicz
- Games for Design and Verification (GAMES)
-
Genomika obliczeniowa : Problemy, Algorytmy i Modele
Kierownik: dr hab. Paweł Górecki
-
Genomika porównawcza transpozonów roślinnych
Kierownik: prof. dr hab. Anna Gambin
-
Grafy dynamiczne; spójność, przepływy i kolorowanie
Kierownik: dr Anna Zych-Pawlewicz
- Grafy w grafach-od dobrego uporządkowania do algorytmów
-
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: prof. dr hab. Sławomir Lasota
-
Granice baz danych
Kierownik: dr hab. Szymon Toruńczyk, prof. UW
-
Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Katarzyna Mazowiecka
-
Granice rozstrzygalności w teorii automatow
Kierownik: dr hab. Paweł Parys, prof. UW
- Granty dla stypendystów FNP
-
Graph colorings and their applications
Kierownik: prof. dr hab. Łukasz Kowalik
-
Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs.
Kierownik: dr hab. Marcin Kamiński
-
Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Kierownik: dr Oskar Skibski
-
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik: Bartosz Piotrowski
-
Identification of regulatory non-coding variants associated with neurodegenerative disorders based on targeted sequencing of open chromatin regions
Kierownik: dr Magdalena Machnicka
- Identyfikacja elementów regulatorowych i czynników transkrypcyjnych genów pomiędzy neuronami i komórkami glejowymi u muszki owocowej
-
Integracyjna biologia systemów: wnioskowanie z heterogenicznych danych
Kierownik: prof. dr hab. Anna Gambin
-
Interactive Computations in Layered Granular Networks
Kierownik: dr Piotr Wasilewski
-
Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych
Kierownik: dr hab. Paweł Górecki
-
Konflikty z wieloma polami bitew i dyskretnymi zasobami
Kierownik: dr hab. Marcin Dziubiński
-
Konstruowanie specyfikacji i weryfikacja oprogramowania
Kierownik: prof. dr hab. Andrzej Tarlecki
-
Kryptografaia bez zaufanych stron
Kierownik: dr Tomasz Kazana
-
Kryptograficzne metody obrony przed nieuczciwymi producentami sprzętu elektronicznego
Kierownik: prof. dr hab. Stefan Dziembowski
-
Logika stosowana i programowanie funkcyjne
Kierownik: prof. dr hab. Jerzy Tiuryn
-
MOBIUS - Mobility, Ubiquity and Security
Kierownik: prof. dr hab. Andrzej Tarlecki
-
Matematyczne metody weryfikacji systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński
-
Matematyczne modele kosztu komunikacyjnego dostępu do baz danych
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
-
Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński
-
Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński
-
Metody obliczeniowe interpretacji zmian genomu
Kierownik: prof. dr hab. Anna Gambin
-
Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali
Kierownik: dr hab. Krzysztof Rządca, prof. UW
- Metody reprezentacji wiedzy i wnioskowania w systemach autonomicznych
-
Metodyka i narzędzia wspomagające konstruowanie poprawnego oprogramowania
Kierownik: prof. dr hab. Jan Madey
-
Miejsca parkingowe na MOP
Kierownik: dr hab. Hung Son Nguyen, prof. UW
-
Modele i algorytmy zarządzania zasobami współczesnych systemów informatycznych
Kierownik: dr hab. Krzysztof Rządca, prof. UW
-
Modele i języki dla specyfikacji przepływow danych (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
-
Modele obliczeniowe w formalnej weryfikacji
Kierownik: dr Filip Mazowiecki
-
Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych
Kierownik: dr Jacek Sroka
- Modelowania fragmentacji biomolekuł indukowanej transferem elektronu w spectrometrii mas
-
Modelowanie aktywności transpozonów indukowanej stresem
Kierownik: prof. dr hab. Anna Gambin
-
Modelowanie ewolucji genomów (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
-
Modelowanie ewolucji molekularnej i procesu zwijania białek - podejście algorytmiczne
Kierownik: prof. dr hab. Jerzy Tiuryn
-
Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych
Kierownik: prof. dr hab. Sławomir Lasota
-
Modularna semantyka operacyjna: podejście bialgebraiczne
Kierownik: prof. dr hab. Bartosz Klin
-
Multidyscyplinarne kompleksowe badania degradacji i kontroli jakości mitochondrialnego RNA
Kierownik: dr hab. Bartosz Wilczyński
-
Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn
-
Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na dużą skalę.
Kierownik: dr Kunal Dutta
-
Narzędzia, algorytmy i modele w badaniu wspólnej ewolucji gatunków, genów i białek.
Kierownik: dr hab. Paweł Górecki
-
Nebulostore: Peer-to-Peer Storage System
Kierownik: dr hab. Krzysztof Rządca, prof. UW
-
Nieskończoność we wnioskowaniu o danych i wiedzy
Kierownik: dr hab. Filip Murlak, prof. UW
-
Normative Comparison of Multiwinner Election Rules
Kierownik: dr hab. Piotr Skowron
-
Nowe metody statystyczne dla problemów klasyfikacji i integracji danych molekularnych i genomowych
Kierownik: dr Neo Christopher Chung
-
Nowe modele automatów
Kierownik: prof. dr hab. Sławomir Lasota
-
Nowe pojęcie skończoności w teorii obliczeń
Kierownik: prof. dr hab. Mikołaj Bojańczyk
-
Nowe techniki w algorytmach grafowych: algorytmy dokladne dla problemów NP-trudnych, grafy rzadkie i ich zastosowania
Kierownik: prof. dr hab. Łukasz Kowalik
-
Nowe trendy w algorytmach tekstowych
Kierownik: dr hab. Jakub Radoszewski, prof. UW
-
Obliczenia bazujące na percepcji.
Kierownik: dr Piotr Wasilewski
-
Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Kierownik: prof. dr hab. Sławomir Lasota
-
Obliczeniowe aspekty geometrii nieeuklidesowych
Kierownik: dr hab. Eryk Kopczyński
- Obliczeniowy model specyficznej tkankowo regulacji genów
-
Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski)
Kierownik: prof. dr hab. Andrzej Tarlecki
- Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki
-
Odporność danych skompresowanych na błędy – wybrane zagadnienia (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski
-
Off-chain labs: formal models, constructions and proofs
Kierownik: prof. dr hab. Stefan Dziembowski
-
Opracowanie technologii pozwalających na rozpoznawanie określonych cech osób
Kierownik: dr inż. Piotr Biliński
-
Opracowanie, prototypowa implementacja i ewaluacja praktycznego i skalowalnego protokołu trasowania dla bezprzewodowych sieci urządzeń wbudowanych o niskim poborze mocy
Kierownik: dr hab. Konrad Iwanicki, prof. UW
-
Optymalność w złożoności parametryzowanej
Kierownik: dr hab. Michał Pilipczuk, prof. UW
-
Parakonsystentne wnioskowanie w systemach autonomicznych usytuowanych w środowiskach złożonych informacyjnie
Kierownik: prof. dr hab. Barbara Dunin-Kęplicz
-
Parametry modeli skończonych
Kierownik: dr hab. Eryk Kopczyński
- Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych
-
Practical Approximation Algorithms - Proof of Concept
Kierownik: dr hab. Piotr Sankowski, prof. UW
- Praktycznie obliczalne dialogi w systemach wieloagentowych
-
Predicting synthetic lethality in cancer
Kierownik: dr hab. Ewa Szczurek, prof. UW
-
Problem najbliższych sąsiadów bez fałszywie ujemnych wyników
Kierownik: dr Piotr Wygocki
-
Problem separacji w teorii automatów
Kierownik: dr hab. Wojciech Czerwiński, prof. UW
-
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Kierownik: dr hab. Michał Skrzypczak
-
Procesy bezkontekstowe: teoria, algorytmy, zastosowania
Kierownik: prof. dr hab. Sławomir Lasota
- Programowanie dynamiczne z gwarancjami
-
Przewidywanie punktu izoelektrycznego białek i peptydów na podstawie cech sekwencyjnych i strukturalnych
Kierownik: dr hab. Łukasz Kozłowski
-
Przyjazne obliczeniowo miary centralności oparte na teorii gier
Kierownik: dr Tomasz Michalak
- Pseudoentropia
-
Półpozycyjna determinacja gier nieskończonych (promotorski)
Kierownik: prof. dr hab. Damian Niwiński
-
Quality Assessment Tool for international Cooperation
Kierownik: dr Janina Mincer-Daszkiewicz, prof. UW
-
Quering and Managing Navigational Databases
Kierownik: dr hab. Filip Murlak, prof. UW
-
Recent trends in kernelization: theory and experimental evaluation
Kierownik: dr hab. Marcin Pilipczuk, prof. UW
-
Rozstrzygalne hierarchie regularnych języków drzew (promotorski)
Kierownik: prof. dr hab. Damian Niwiński
-
Rozwój metod statystycznych i algorytmicznych stosowanych w spektroskopii mas
Kierownik: dr Michał Startek
-
Rozwój"Komputerowej Lingwistyki Chemicznej" i jej zastosowanie do efektywnego planowania wieloetapowych syntez chemicznych
Kierownik: prof. dr hab. Anna Gambin
-
Równania w półgrupie wolnej z dwiema niewiadomymi (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski
-
SENSORIA - Software Engineering for Service-Oriented Overlay Computers
Koordynator: prof. dr hab. Andrzej Tarlecki
-
Sieci: Podejście Wielodyscyplinarne
Kierownik: prof. dr Krzysztof Apt
-
Silna normalizacja przepisywania w rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn
-
SocSenSys: Systemy sprzężenia społecznego oparte o osobiste sieci sensorowe
Kierownik: dr hab. Konrad Iwanicki, prof. UW
-
Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki
Kierownik: prof. dr hab. Andrzej Tarlecki
-
Strategic Resilience of Networks
Kierownik: dr hab. Marcin Dziubiński
-
Strategiczna analiza sieci społecznych
Kierownik: dr Tomasz Michalak
-
Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks
-
Studium zdarzeń duplikacji w genomie
Kierownik: dr Jarosław Paszek
-
System automatycznej oceny bezpieczeństwa telefonów komórkowych
Kierownik: prof. dr hab. Krzysztof Diks
-
System do testowania aplikacji w środowisku RCS
Kierownik: prof. dr hab. Krzysztof Diks
-
System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn
-
Systemy wyboru komitetów: Metody niepunktowe
Kierownik: dr hab. Piotr Skowron
-
TUgbOAT
Kierownik: dr hab. Piotr Sankowski, prof. UW
-
Technology transfer between modern algorithmic paradigms
Kierownik: dr hab. Marek Cygan
-
Teoria i praktyka obliczania najliczniejszych skojarzeń w grafach
Kierownik: prof. dr hab. Krzysztof Diks
-
Teoria programowania w logikach modalnych i deskrypcyjnych
Kierownik: dr hab. Anh Linh Nguyen, prof. UW
-
Teoria typów w programowaniu funkcyjnym i obiektowym.
Kierownik: prof. dr hab. Paweł Urzyczyn
- The Expressiveness of Modal Fixpoint Logics.
-
Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: dr Marcin Wrochna
-
Typy, dowody i poprawne programy
Koordynator: prof. dr hab. Paweł Urzyczyn
-
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Kierownik: dr hab. Henryk Michalewski
- Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania
-
Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania
Kierownik: dr hab. Piotr Miłoś
- Ukrywanie się w sieciach społecznościowych
-
Weryfikacja i zapytania dotyczące struktur z danymi
Koordynator: prof. dr hab. Sławomir Lasota
- Wiarygodność modeli horyzontalnego transferu genów
- Wieloskalowe modelowanie mechanizmu indukowanej przez ceramid śmierci komórek nerwowych
-
Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych
Kierownik: prof. dr hab. Andrzej Szałas
-
Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów
Kierownik: prof. dr hab. Paweł Urzyczyn
- Wybiegając Myślą Naprzód: Długofalowe planowanie z użyciem głębokiego uczenia ze wzmocnieniem bazującego na modelu
-
Wybrane problemy współczesnej algorytmiki
Kierownik: prof. dr hab. Wojciech Rytter
-
Wydajne algorytmy dla słabych form niedeterminizmu
Kierownik: dr hab. Michał Skrzypczak
- Wydajne algorytmy wyszukiwania najbliższych sąsiadów w przestrzeniach wielowymiarowych
-
Wykrywanie horyzontalnego transferu genów (promotorski)
Kierownik: dr hab. Paweł Górecki
-
Wysoce konfigurowalne rozwiązanie eSignature dla szkolnictwa wyższego
Kierownik: dr Janina Mincer-Daszkiewicz, prof. UW
-
Wyzwania semistrukturalnych baz danych
Kierownik: dr hab. Filip Murlak, prof. UW
-
Wzorce sekwencyjne w tekstach: wydobywanie i analiza (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
-
Własności ilościowe dla schematów rekrurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys, prof. UW
-
Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys, prof. UW
-
Włączenie informacji o genetycznej różnorodności do analizy danych z sekwencjonowania DNA
Kierownik: dr hab. Norbert Dojer
-
Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii.
Kierownik: dr hab. Anh Linh Nguyen, prof. UW
-
Zaawansowane obliczenia w arkuszach kalkulacyjnych
Kierownik: prof. dr hab. Jerzy Tyszkiewicz
-
Zaawansowane problemy teorii automatów
Kierownik: prof. dr hab. Damian Niwiński
-
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. dr hab. Damian Niwiński
-
Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego
Kierownik: prof. dr hab. Andrzej Szałas
-
Zastosowanie metod algebraicznych w algorytmicznej teorii grafów
Kierownik: dr hab. Piotr Sankowski, prof. UW
- Zestaw testów do weryfikacji i oceny analizatorów języka polskiego
-
Zintegrowana analiza genomicznej, fenotypicznej i przestrzennej heterogeniczności nowotworów
Kierownik: dr hab. Ewa Szczurek, prof. UW
-
Zrozumieć rekursję
Kierownik: dr hab. Lorenzo Clemente
-
Złożone problemy algorytmiczne we współczesnej informatyce teoretycznej
Kierownik: prof. dr hab. Wojciech Rytter
-
Złożoność obliczeniowa problemów spójności w grafach
Kierownik: dr hab. Marcin Kamiński
-
Złożoność parametryzowana i algorytmy wykładnicze
Kierownik: prof. dr hab. Łukasz Kowalik
-
ngSim: Nowe wyzwania symulacji bezprzewodowych urządzeń niskomocowych
Kierownik: dr hab. Konrad Iwanicki, prof. UW
Instytut Matematyki Stosowanej i Mechaniki
-
Algorytmy i złożoność dla problemów ciągłych
Kierownik: prof. dr hab. Leszek Plaskota
-
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
-
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
-
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
-
Analiza asymptotyczna układów kinetycznych
Kierownik: prof. dr hab. Andrzej Palczewski
-
Analiza jakościowa rozwiązań nieściśliwych cieczy lepkich (promotorski)
Kierownik: Piotr Mucha
- Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych
- Analiza modeli termo-lepko-elastycznych
-
Analiza równania populacyjnego uwzględniającego strukturę wielkościową populacji i selektywną śmiertelność
Kierownik: Andrzej Jabłoński
-
Analiza równań hydrodynamiki i chemotaksji
Kierownik: prof. dr hab. Dariusz Wrzosek
-
Analiza równań parabolicznych tworzących ściany
Kierownik: dr Michał Łasica
-
Analiza równań płynu mikropolarnego na dwuwymiarowym torusie (promotorski)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
-
Analiza stabilności równowag w różniczkowych i stochastycznych modelach gier ewolucyjnych
Kierownik: prof. dr hab. Jacek Miękisz
- Anizotropowe zagadnienie najmniejszego gradientu
-
Badanie wrażliwości w oparciu o wariancję dla układów równań różniczkowych z opóźnionym argumentem
Kierownik: dr hab. Jan Poleszczuk
-
Chemicznie reagujące mieszaniny płynów ściśliwych
Kierownik: Ewelina Zatorska
-
Ciecze nienewtonowskie z niestandardową reologia
Kierownik: prof. dr hab. Piotr Gwiazda
-
Complexity, tractability and algorithms for computational problems of continuous mathematics
Kierownik: prof. dr hab. Leszek Plaskota
-
Deterministic and statistical solutions of micropolar fluids equations (doctoral dissertation grant)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
-
Dyfuzja anizotropowa w ewolucji powierzchni swobodnych
Kierownik: prof. dr hab. Piotr Rybka
-
Dynamika powierzchni swobodnych w modelach przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka
-
Efektywne algorytmy równoległe rozwiązania równań różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja
-
Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych
Kierownik: dr hab. Leszek Marcinkowski, prof. UW
-
Effectiveness of infection control
strategies against intra- and inter-hospital transmission of
MultidruG-resistant Enterobacteriaceae – insights from a multi-level mathematical NeTwork model
Kierownik: dr hab. Monika Piotrowska
-
Evolution equations in hydrodynamics and biology
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
- Gry dynamiczne modelujące "tragedię wspólnego zasobu"
-
Hiperboliczne prawa zachowania: teoria i zastosowania w naukach o ziemi i zdrowiu publicznym
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda
-
Hybrydowe papiery wartościowe: obligacje typu contingent convertible oraz obligacje bail-in
Kierownik: dr hab. Piotr Jaworski, prof. UW
-
Kartezjusz
Kierownik: prof. dr hab. Piotr Mucha
-
Konwekcja cieplna w płynach nieściśliwych
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
-
Matematyczna Mechanika Płynów
Kierownik: prof. dr hab. Piotr Mucha
-
Matematyczna i numeryczna analiza modeli transportu morfogenu
Kierownik: dr Marcin Małogrosz
-
Matematyczne modele kwazikryształów
Kierownik: prof. dr hab. Jacek Miękisz
-
Matematyczne modele procesu chemotaksji i innych zjawisk z nią związanych
Kierownik: prof. dr hab. Dariusz Wrzosek
-
Matematyczne modele teorii gier ewolucyjnych i sieci genetycznych
Kierownik: prof. dr hab. Jacek Miękisz
-
Matematyczne modelowanie procesów nowotworowych
Kierownik: dr hab. Monika Piotrowska
-
Matematyczne modelowanie wzrostu kryształów
Kierownik: prof. dr hab. Piotr Rybka
-
Matematyczne podstawy opisów wieloskalowych
Kierownik: prof. dr hab. Mirosław Lachowicz
-
Matematyka podejść wieloskalowych w naukach o życiu i naukach społecznych
Kierownik: prof. dr hab. Mirosław Lachowicz
-
Mathematical Methods in Natural Sciences
Kierownik: prof. dr hab. Piotr Gwiazda
-
Metoda relatywnych entropii dla układów nieliniowych
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda
-
Metody Monte Carlo dla skokowych procesów markowowskich
Kierownik: dr hab. Błażej Miasojedow, prof. UW
-
Metody i zagadnienia geometryczne w nieliniowych eliptycznych równaniach różniczkowych cząstkowych
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. UW
-
Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego
Kierownik: dr hab. Błażej Miasojedow, prof. UW
- Metody obliczeniowe do detekcji mutacji zwiącznych z opornością na antybiotyki w szczepach bakteryjnych
-
Metody słabej zbieżności dla równań fizyki i biologii matematycznej
Kierownik: dr Tomasz Dębiec
-
Model Cuckera-Smale'a z osobliwą wagą komunikacyjną
Kierownik: dr Jan Peszek
-
Modele i metody matematyczne w opisie wzrostu i leczenia nowotworów
Kierownik: dr hab. Marek Bodnar, prof. UW
-
Modeling, Mathematical Methods and Computer Simulation of Tumour Growth and Therapy
Kierownik: prof. dr hab. Mirosław Lachowicz
-
Modelowanie giełdy papierów wartościowych za pomocą gier dynamicznych z continuum graczy
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
- Modelowanie matematyczne nowotworów mózgu pochodzenia glejowego i ich odpowiedzi na terapie
-
Nieliniowe zagadnienia różniczkowe w uogólnionych przestrzeniach Sobolewa i Orlicza
Kierownik: dr hab. Iwona Chlebicka, prof. UW
-
Nielokalne zagadnienia ewolucji powierzchni międzyfazowych
Kierownik: prof. dr hab. Piotr Rybka
-
Nieoczywiste aspekty modelowania wspólnych zasobów i rynków przy użyciu gier dynamicznych
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
-
Nonlinear PDE's related to variational and geometric problems
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. UW
-
Nowe wyzwania dla IBC
Kierownik: prof. dr hab. Henryk Woźniakowski
-
Od komórki zdrowej do zmutowanej - matematyczny opis dynamiki różnych typów populacji komórkowych
Kierownik: prof. dr hab. Urszula Foryś
-
Ograniczenia energetyczne na przetwarzanie i przechowywanie informacji w układzie nerwowym
Kierownik: dr hab. Jan Karbowski
- Optymalizacja terapii glioblastomy z wykorzystaniem modelowania matematycznego
-
Opóźnienia czasowe w stochastycznych modelach biologicznych
Kierownik: prof. dr hab. Jacek Miękisz
-
Osobliwa dynamika współoddziałujących cząstek
Kierownik: dr Jan Peszek
-
Oszacowania szybkości zbieżności estymatorów Monte Carlo opartych na łańcuchach Markowa i zbieżność metod adaptacyjnych
Kierownik: prof. dr hab. Wojciech Niemiro
- Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne
-
Problemy ciągłe: optymalność, złożoność, podatność
Kierownik: prof. dr hab. Leszek Plaskota
-
Procesy transportu w biologii matematycznej
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda
-
Przepływy złożone
Kierownik: prof. dr hab. Piotr Gwiazda
-
Przestrzenie miar i Orlicza w matematycznym opisie zjawisk przepływu i wzrostu
Kierownik: prof. dr hab. Piotr Gwiazda
- Regresja rangowa i U-procesy z karą LASSO - selekcja cech, estymacja i nierówności z wyrocznią
-
Rozwiązania słabe i miarowe dla równań fizyki matematycznej
Kierownik: dr Tomasz Dębiec
-
SOSnet: oszczędne modelowanie i predykcja dla danych wysokiego wymiaru
Kierownik: dr hab. Piotr Pokarowski, prof. UW
-
Spolegliwość niejednorodnych zadań wielowymiarowych
Kierownik: dr Paweł Siedlecki
-
Sprawne przybliżanie funkcji
Kierownik: prof. dr hab. Przemysław Wojtaszczyk
-
Stabilność profili wybuchów dla równania Fujity
Kierownik: dr Mikołaj Sierżęga
-
Struktura wymiarowa continuów dziedzicznie nierozkładalnych
Kierownik: prof. dr hab. Elżbieta Pol
- Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia
-
Teoriomiarowe podejście do nieliniowych równań cząstkowych i problemów wariacyjnych
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. UW
-
Therapy optimization in glioblastoma: An integrative human
data-based approach using mathematical models
Kierownik: dr hab. Marek Bodnar, prof. UW
-
Towards regularity
Kierownik: prof. dr hab. Piotr Rybka
-
Tragedia wspólnego zasobu w kontekście dynamicznym - modelowanie, metodologia, zapobieganie The tragedy of the commons in problems of dynamic
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. UW
-
Typy w dowodzeniu i programowaniu
Koordynator: prof. dr hab. Paweł Urzyczyn
-
Using mathematical modelling and computer simulation to improve cancer therapy
Kierownik: prof. dr hab. Mirosław Lachowicz
- Variational Problems in Optical Engineering and Free Material Design
-
Wpływ mechanizmów wymiany w węzłach na własności asymptotyczne zagadnień transportu na sieci
Kierownik: dr Aleksandra Puchalska
-
Własności asymptotyczne i nierówności dla estymatorów Monte Carlo opartych na łańcuchach Markowa
Kierownik: prof. dr hab. Wojciech Niemiro
-
Zachowania kolektywne z perspektywy matematyka
Kierownik: prof. dr hab. Piotr Mucha
-
Zagadnienia typu Stefana w matematycznym modelowaniu wzrostu i topnienia kryształów
Kierownik: prof. dr hab. Piotr Rybka
-
Zagadnienia ze swobodną powierzchnią w mechanice ośrodków ciągłych
Kierownik: prof. dr hab. Grzegorz Łukaszewicz
-
Zarządzanie portfelem inwestycyjnym dla niegaussowskich rozkładów zwrotów
Kierownik: prof. dr hab. Andrzej Palczewski
- Zastosowanie współczesnej genomiki funkcjonalnej i bioinformatyki do charakteryzacji i tworzenia modeli procesów biologicznych o istotnym znaczeniu w medycynie i rolnictwie
-
Zbudowanie nowego algorytmu efektywnie wyznaczającego zbiór przypadków medycznych najbardziej podobnych do wskazanego nowego przypadku wykorzystując techniki uczenia maszynowego
Kierownik: prof. dr hab. Przemysław Biecek
-
Zwięzłe przedstawienia.
Kierownik: prof. dr hab. Przemysław Wojtaszczyk
-
Złożoność i algorytmy dla zadań wielowymiarowych z zastosowaniem do pewnych problemów finansowych i fizyki matematycznej
Kierownik: prof. dr hab. Leszek Plaskota
-
Złożoność obliczeniowa i algorytmy dla zadań matematyki ciągłej
Kierownik: prof. dr hab. Leszek Plaskota
-
Środowiskowe Studia Doktoranckie z Nauk Matematycznych
Kierownik: prof. dr hab. Piotr Mucha
