Nie jesteś zalogowany | Zaloguj się

PL /
EN

Wszystkie instytucje finansujące

Inne instytucje finansujące

Instytut Matematyki

Algebraiczne działania torusa: geometria i kombinatoryka
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Narodowe Centrum Nauki
Algebry skończenie prezentowalne i półgrupowe algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Komitet Badań Naukowych
Analiza modeli stochastycznych
Kierownik: dr hab. Piotr Miłoś, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Analiza na przestrzeniach metrycznych i jej zastosowania w nieliniowych równaniach eliptycznych, rachunku prawdopodobieństwa i rachunku wariacyjnym
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Komitet Badań Naukowych
Analiza układów stochastycznych z geometrią
Kierownik: dr hab. Piotr Miłoś, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Analiza złożonych układów stochastycznych
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Antycypująca całka Skorochoda w przestrzeniach konuklearnych
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych
Badanie procesów Bernoulliego i chaosu Gaussowskiego
Finansowany przez: Narodowe Centrum Nauki
Całkowa krzywizna Mengera dla powierzchni dowolnego kowymiaru
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Narodowe Centrum Nauki
Continua dziedzicznie nierozkładalne wyższych wymiarów
Kierownik: prof. dr hab. Elżbieta Pol

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Cykle graniczne dla wielomianowych pól wektorowych (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Czasy lokalne samoprzecięć procesów Gaussa w S'
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych
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, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik: dr hab. Leszek Kołodziejczyk, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Dwustronne oszacowania wieloliniowych form losowych
Kierownik: dr Rafał Meller

Finansowany przez: Narodowe Centrum Nauki
Dynamika układów losowych
Kierownik: prof. dr hab. Anna Talarczyk-Noble

Finansowany przez: Narodowe Centrum Nauki
Działania grup na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Komitet Badań Naukowych
Działania grup na rozmaitościach algebraicznych i przekształcenia biwymierne
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Ekwiwariantne homologie Khovanowa splotów periodycznych - ich struktura oraz zastosowania
Kierownik: dr Wojciech Politarczyk

Finansowany przez: Narodowe Centrum Nauki
Europejska Sieć Badawczo-Szkoleniowa Geometrii Algebraicznej EAGER
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komisja Europejska
Funkcjonały energii krzywiznowych dla niegładkich podzbiorów przestrzeni euklidesowej
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Narodowe Centrum Nauki
Funktory ściśle wielomianowe i hipoteza Lusztiga.
Kierownik: dr hab. Marcin Chałupnik, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Geometria Algebraiczna: rozmaitości i struktury
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Narodowe Centrum Nauki
Geometria i operatory różniczkowe na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Adrian Langer

Finansowany przez: Narodowe Centrum Nauki (Opus)
Geometria i zmiany geometrycznych struktur na rozmaitości algebraicznych
Kierownik: prof. dr hab. Adrian Langer

Finansowany przez: Narodowe Centrum Nauki
Geometria powierzchni afinicznych i przekształcenia biwymierne.
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Narodowe Centrum Nauki
Geometryczne energie krzywiznowe
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Geometryczne i analityczne własności równań różniczkowych zwyczajnych
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Narodowe Centrum Nauki
Geometryczne i ergodyczne własności układów dynamicznych
Kierownik: prof. dr hab. Anna Zdunik

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Geometryczne i ergodyczne własności układów dynamicznych II
Kierownik: prof. dr hab. Anna Zdunik

Finansowany przez: Narodowe Centrum Nauki
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

Finansowany przez: Narodowe Centrum Nauki
Group actions, birational geometry and geometric structures
Finansowany przez: Narodowe Centrum Nauki (Polonez BIS)
Górne i dolne ograniczenia dla procesów stochastycznych
Kierownik: prof. dr hab. Witold Bednorz

Finansowany przez: Narodowe Centrum Nauki
Hierarchie formuł w słabych arytmetykach i ich rozszerzeniach o kwantyfikatory zliczające
Kierownik: dr hab. Leszek Kołodziejczyk, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Hiperkontrakcja i nierówności funkcyjne dla miar produktowych (promotorski)
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Ideały w przestrzeniach polskich i własność Fubiniego
Indukcja dla formuł ograniczonych i jej relatywizacje
Kierownik: dr hab. Leszek Kołodziejczyk, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Interakcyjne wykrywanie modeli procesów i ich własności z danych
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Iteracje funkcji holomorficznych II
Jakościowe i ergodyczne własności gładkich układów dynamicznych
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Komitet Badań Naukowych
Kategorie dokładne, abelowe i triangulowalne w algebrze i geometrii
Kierownik: dr Agnieszka Bodzenta-Skibińska

Finansowany przez: Narodowe Centrum Nauki
Kategorie pochodne i geometria biwymierna
Kierownik: dr Agnieszka Bodzenta-Skibińska

Finansowany przez: Narodowe Centrum Nauki
Klasyfikacja przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Koncentracja miary
Kierownik: dr hab. Radosław Adamczak, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Koncentracja miary
Kierownik: dr Michał Strzelecki
Koncentracja miary i nierówności funkcyjne
Kierownik: dr Bartłomiej Polaczyk

Finansowany przez: Narodowe Centrum Nauki
Konforemne układy dynamiczne i geometria zbiorów fraktalnych
Kierownik: prof. dr hab. Anna Zdunik

Finansowany przez: Komitet Badań Naukowych
Konstrukcje rozmaitości algebraicznych przez działanie grup skończonych.
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Narodowe Centrum Nauki
Krzywe i powierzchnie na rozmaitościach algebraicznych
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komitet Badań Naukowych
Krzywe kwantowe oraz równania Schrödingera w modelach macierzowych
Finansowany przez: Narodowe Centrum Nauki
Krótkie odcinki pomiędzy liczbami prawie pierwszymi
Kierownik: dr Paweł Lewulis

Finansowany przez: Narodowe Centrum Nauki
Logiki zdaniowe i słabe kategorie wysoko-wymiarowe
Koordynator: dr hab. Marek Zawadowski, prof. UW

Finansowany przez: Komitet Badań Naukowych
Lokalna geometria schematu Hilberta punktów i jej zastosowania
Kierownik: dr hab. Joachim Jelisiejew, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Matematyczne modelowanie ryzyka w finansach
Kierownik: prof. dr hab. Jacek Jakubowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Meromorficzne liniowe równania różniczkowe i wielokrotne wartości zeta (promotorski)
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Metody adaptacyjne we wnioskowaniu aproksymacyjnym
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Metody algebraiczne w badaniu kwantowego równania Yanga-Baxtera - klamerki i algebry łączne
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Narodowe Centrum Nauki
Metody algebraiczne w badaniu kwantowego równania Yanga-Baxtera - klamerki i algebry łączne
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Narodowe Centrum Nauki
Metody automatycznego wnioskowania z bazy wiedzy oparte na poszukiwaniu analogii
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Metody półgrupowe w badaniu algebr łącznych
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Metody półgrupowe w badaniu algebr łącznych i ich reprezentacji
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Metody stochastyczne w teorii gładkich układów dynamicznych
Kierownik: prof. dr hab. Anna Zdunik

Finansowany przez: Narodowe Centrum Nauki
Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Narodowe Centrum Nauki (Opus)
Metody topologiczne analizy geometrycznej
Kierownik: dr hab. Paweł Goldstein, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki (Opus)
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

Finansowany przez: Narodowe Centrum Nauki
Miary log-wklęsłe i geometria ciał wypukłych
Kierownik: dr hab. Piotr Nayar, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Morfizmy i przekątne "wymarzonych przestrzeni Mori'ego", filogenetyka oraz zastosowania pierścieni Coxa
Kierownik: dr hab. Jarosław Buczyński, prof. IMPAN

Finansowany przez: Narodowe Centrum Nauki
Nawiasy - konstrukcje, własności, zastosowania
New Geometry of Quantum Dynamics
Kierownik: dr hab. Tomasz Maszczyk

Finansowany przez: Instytut Matematyczny Polskiej Akademii Nauk
New computational combinatorial geometrical topological and algebraic methods applied to noetherian orders
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nieliniowe formy całkowe zwiazane ze skokowymi procesami Markowa
Kierownik: prof. dr hab. Katarzyna Pietruska-Pałuba

Finansowany przez: Narodowe Centrum Nauki
Nieliniowe równania cząstkowe: zagadnienia wariacyjne i geometryczne
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nieliniowe układy równań eliptycznych: regularność rozwiązań, struktura osobliwości i zagadnienia pokrewne
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Narodowe Centrum Nauki
Nieliniowe zagadnienia geometryczne i wariacyjne
Kierownik: prof. dr hab. Paweł Strzelecki

Finansowany przez: Komitet Badań Naukowych
Nieliniowe zagadnienia własne.
Kierownik: dr Paweł Bechler

Finansowany przez: Narodowe Centrum Nauki
Nierówności dla nieprzemiennych martyngałów
Kierownik: prof. dr hab. Adam Osękowski

Finansowany przez: Narodowe Centrum Nauki
Nierówności dla semimartyngałów i całek stochastycznych
Kierownik: prof. dr hab. Adam Osękowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nierówności dla wektorów log-wklęsłych
Kierownik: dr Marta Strzelecka

Finansowany przez: Narodowe Centrum Nauki
Nierówności martyngałowe i ich zastosowania do badania mnożników Fourierowskich
Kierownik: prof. dr hab. Adam Osękowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nierówności matryngałowe i koncentracyjne
Kierownik: dr Michał Strzelecki

Finansowany przez: Narodowe Centrum Nauki
Nierówności probabilistyczne
Kierownik: prof. dr hab. Rafał Latała

Finansowany przez: Narodowe Centrum Nauki
Nierówności stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Krzysztof Oleszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nierówności z wagą dla klasycznych operatorów
Kierownik: prof. dr hab. Adam Osękowski

Finansowany przez: Narodowe Centrum Nauki
Nierówności z wagą dla operatorów maksymalnych
Kierownik: dr Mateusz Rapicki

Finansowany przez: Narodowe Centrum Nauki
Niskowymiarowa geometria algebraiczna afiniczna
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Narodowe Centrum Nauki
Nowe koncepcje równowagi w grach dynamicznych z niepełną informacją i ich ekonomiczne zastosowania
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Nowe zagadnienia w teorii rozmaitości Nobelinga
Kierownik: dr Andrzej Nagórko

Finansowany przez: Narodowe Centrum Nauki
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

Finansowany przez: Narodowe Centrum Badań i Rozwoju
Obliczenia interakcyjne w odkrywaniu wiedzy w złożonych źródłach danych
Kierownik: dr hab. Hung Son Nguyen, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Odpowiedniość Ogusa-Vologodsky'ego dla rozmaitości osobliwych
Kierownik: Maciej Zdanowicz

Finansowany przez: Narodowe Centrum Nauki
Optymalne nierówności koncentracyjne
Kierownik: dr hab. Piotr Nayar, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Osobliwe rozmaitości kontaktowe
Kierownik: dr Robert Śmiech

Finansowany przez: Narodowe Centrum Nauki
Osobliwości i globalne własności nieliniowych równań różniczkowych
Osobliwości minimalizujących przekształceń biharmonicznych
Kierownik: dr Katarzyna Mazowiecka

Finansowany przez: Narodowe Centrum Nauki
Osobliwości przekształceń harmonicznych
Kierownik: dr Michał Miśkiewicz

Finansowany przez: Narodowe Centrum Nauki
Oszacowania dla wektorów i procesów losowych
Kierownik: prof. dr hab. Rafał Latała

Finansowany przez: Narodowe Centrum Nauki
Oszacowania momentów i ogonów wieloliniowych form losowych (promotorski)
Kierownik: prof. dr hab. Rafał Latała

Finansowany przez: Komitet Badań Naukowych
Oszacowania momentów wektorów losowych
Kierownik: dr Marta Strzelecka

Finansowany przez: Narodowe Centrum Nauki
Oszacowania procesów stochastycznych – podejście probabilistyczne i geometryczne
Kierownik: dr Rafał Meller

Finansowany przez: Narodowe Centrum Nauki
Paraboliczne zagadnienia ewolucji powierzchni w teorii przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Pierścienie Coxa rozwiązań osobliwości ilorazowych
Kierownik: dr Maria Donten-Bury

Finansowany przez: Narodowe Centrum Nauki
Probabilistyczne aspekty twierdzenia Takensa o zanurzaniu
Finansowany przez: Narodowe Centrum Nauki
Procesy gaussowskie i oszacowania momentów zmiennych losowych.
Kierownik: Tomasz Tkocz

Finansowany przez: Narodowe Centrum Nauki
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

Finansowany przez: Komitet Badań Naukowych
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

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Przestrzenie funkcji ciągłych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Przestrzenie funkcji ciągłych z topologią zbieżności punktowej
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Punktowa teoria regularności dla zbiorów, miar i warifoldów
Kierownik: dr hab. Sławomir Kolasiński

Finansowany przez: Narodowe Centrum Nauki
Półgrupa podprzestrzeni algebry skończenie wymiarowej i algebry noetherowskie
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Komitet Badań Naukowych
Płaszczyzny homologiczne z osobliwościami (promotorski)
Kierownik: prof. dr hab. Mariusz Koras

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Radykały i zbiory wyróżnionych elementów pierścieni łącznych
Kierownik: prof. dr hab. Edmund Puczyłowski

Finansowany przez: Komitet Badań Naukowych
Rezidua Jeffrey-Kirwan w zastosowaniu do ekwiwariantnego homomorfizmu Gysina
Kierownik: dr Magdalena Zielenkiewicz

Finansowany przez: Narodowe Centrum Nauki
Rigidity for actions on Banach spaces and applications
Rozmaitości algebraiczne i struktury algebraiczne
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komitet Badań Naukowych
Rozmaitości algebraiczne powiązane ze strukturami kombinatorycznymi
Kierownik: dr Maria Donten-Bury

Finansowany przez: Narodowe Centrum Nauki
Rozmaitości algebraiczne: arytmetyka i geometria
Kierownik: prof. dr hab. Adrian Langer

Finansowany przez: Narodowe Centrum Nauki
Rozmaitości i wiązki algebraiczne
Kierownik: prof. dr hab. Adrian Langer

Finansowany przez: Komitet Badań Naukowych
Rozmaitości legendrowskie w geometrii algebraicznej (promotorski)
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Komitet Badań Naukowych
Rozmaitości, wiązki, struktury algebraiczne i ich przestrzenie moduli
Kierownik: prof. dr hab. Jarosław Wiśniewski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Rozwiązania kwantowego równania Yanga-Baxtera i stowarzyszone struktury algebraiczne: (pół)grupy, algebry łączne i skośne klamerki
Kierownik: dr Łukasz Kubat

Finansowany przez: Narodowe Centrum Nauki
Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych.
Kierownik: prof. dr hab. Andrzej Szałas

Finansowany przez: Narodowe Centrum Nauki
Równania różniczkowe, geometria i fizyka
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Równanie transportu we współczesnej teorii równań różniczkowych cząstkowych
Finansowany przez: Narodowe Centrum Nauki
Scalable Self-Managed Point-to-Point Routing for the Internet of Things Applications
Kierownik: dr hab. Konrad Iwanicki, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Schematy Hilberta z wielogradacją
Kierownik: dr Tomasz Mańdziuk

Finansowany przez: Narodowe Centrum Nauki
Semigroups of matrices
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Sieci klasyfikatorów
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Singularities in calculus of variations and partial differential equations
Kierownik: dr hab. Remy Rodiac

Finansowany przez: Narodowe Centrum Nauki (Polonez BIS)
Skokowe procesy Markowa i ich zaburzenia schroedingerwskie
Finansowany przez: Narodowe Centrum Nauki
Strategia nauczania matematyki w Polsce
Kierownik: prof. dr hab. Zbigniew Marciniak

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Struktura topologiczna przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Komitet Badań Naukowych
Struktury algebraiczne i własności rozmaitości algebraicznych
Kierownik: prof. dr hab. Adrian Langer

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Struktury algebraiczne związane z teoriozbiorowymi rozwiązaniami kwantowego równania Yanga-Baxtera
Kierownik: prof. dr hab. Jan Okniński

Finansowany przez: Narodowe Centrum Nauki
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 hab. Piotr Hofman

Finansowany przez: Narodowe Centrum Nauki
Synteza aproksymacji pojęć
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Szeregi losowe i całki stochastyczne
Kierownik: prof. dr hab. Stanisław Kwapień

Finansowany przez: Komitet Badań Naukowych
Szeregi losowe, całki stochastyczne: pojedyncze i wielokrotne
Kierownik: prof. dr hab. Stanisław Kwapień

Finansowany przez: Komitet Badań Naukowych
Teoria typów w badaniach własności programów
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Teoria węzłów
Kierownik: dr hab. Maciej Borodzik, prof. ucz.
Teorio-modelowe i algebraiczne własności rozdzielczo domkniętych G-ciał
Kierownik: dr Daniel Hoffmann

Finansowany przez: Narodowe Centrum Nauki
Terminalizacje symplektycznych osobliwości ilorazowych i ich pierścienie Coxa
Finansowany przez: Narodowe Centrum Nauki
Topologia algebraiczna
Topologia algebraiczna
Kierownik: prof. dr hab. Stanisław Betley

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Topologia i struktura borelowska przestrzeni funkcyjnych
Kierownik: prof. dr hab. Witold Marciszewski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Topologiczne i teoriomiarowe własności małych podzbiorów przestrzeni polskich
Kierownik: prof. dr hab. Piotr Zakrzewski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Trojaka natura matematyki: idee głębokie, formy powierzchniowe, modele formalne
Kierownik: prof. dr hab. Zbigniew Semadeni

Finansowany przez: Komitet Badań Naukowych
Twierdzenia graniczne dla rozgałęziających się układów cząstek (promotorski)
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Układy cząstek, czasy przebywania i procesy samopodobne
Finansowany przez: Narodowe Centrum Nauki
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Komitet Badań Naukowych
Układy dynamiczne i geometria
Kierownik: prof. dr hab. Henryk Żołądek

Finansowany przez: Komitet Badań Naukowych
Układy stochastyczne i ich zastosowania
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych
Uogólnienia i zastosowania rozkładu Białynickiego-Biruli
Kierownik: dr hab. Joachim Jelisiejew, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Wielomiany ortogonalne oraz równania Painleve
Kierownik: dr hab. Galina Filipuk

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wspomaganie podejmowania decyzji z wykorzystaniem interakcyjnych obliczeń granularnych
Kierownik: dr Marcin Szczuka

Finansowany przez: Narodowe Centrum Nauki
Wybrane Aspekty Skalowalności Metod Eksploracji Dawnych i Odkrywania Wiedzy w Bazach Danych
Kierownik: prof. dr hab. Dominik Ślęzak

Finansowany przez: Narodowe Centrum Nauki
Wybrane aspekty wyceny i zabezpieczenia wypłat w modelach rynku z czasem dyskretnym
Kierownik: prof. dr hab. Jacek Jakubowski

Finansowany przez: Narodowe Centrum Nauki
Wybrane zagadnienia teorii węzłów
Kierownik: dr hab. Maciej Borodzik, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
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

Finansowany przez: Narodowe Centrum Nauki
Wysokowymiarowy rachunek prawdopodobieństwa
Kierownik: dr hab. Radosław Adamczak, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wyznaczenie aproksymacyjnych sieci Bayesowskich z danych: Metody zbiorów przybliżonych
Kierownik: prof. dr hab. inż. Andrzej Skowron

Finansowany przez: Komitet Badań Naukowych
Własności kombinatoryczne i strukturalne algebr Hecke-Kiselmana
Kierownik: dr Magdalena Wiertel

Finansowany przez: Narodowe Centrum Nauki
Własności pierścieni wyrażalne w terminach ideałów
Kierownik: dr hab. Jerzy Matczuk, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Własności probabilistyczne miar logarytmicznie wklęsłych (promotorski)
Kierownik: prof. dr hab. Rafał Latała

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Własności topologiczne zbiorów niezmienniczych w dynamice przestępnej
Kierownik: prof. dr hab. Krzysztof Barański

Finansowany przez: Narodowe Centrum Nauki
Zachowanie się własności pierścieni i modułów przy wyróżnionych konstrukcjach
Kierownik: prof. dr hab. Edmund Puczyłowski

Finansowany przez: Narodowe Centrum Nauki
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, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Zbiory bolerowskie w przestrzeniach funkcyjnych ze słabą topologią
Kierownik: prof. dr hab. Roman Pol

Finansowany przez: Komitet Badań Naukowych
Zera i wartości specjalne L-funkcji automorficznych
Kierownik: prof. dr hab. Jacek Pomykała

Finansowany przez: Komitet Badań Naukowych
Zmiany czasu dla procesów Markowa i ich wpływ na struktury markowskie
Finansowany przez: Narodowe Centrum Nauki
Złożone układy stochastyczne
Kierownik: prof. dr hab. Tomasz Bojdecki

Finansowany przez: Komitet Badań Naukowych

Instytut Informatyki

A unified theory of finite-state recognisability
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: European Research Council
Abstrakcyjna teoria specyfikacji i jej zastosowania
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Komitet Badań Naukowych
Adaptatywne symulacje w modelowaniu procesów decyzyjnych o wielkich rozmiarach na przykładzie gry GO (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Aktualne trendy w algorytmach parametryzowanych i wykładniczych
Kierownik: prof. dr hab. Łukasz Kowalik

Finansowany przez: Narodowe Centrum Nauki
Algebraiczne algorytmy grafowe (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Komitet Badań Naukowych
Algebraiczne niezmienniki dla Sieci Petriego z danymi
Kierownik: dr hab. Piotr Hofman
Algorithmic Structure Theory for Sparse Graphs
Algorithms for co-allocating services in datacentres
Kierownik: dr hab. Krzysztof Rządca, prof. ucz.
Algorithms for text processing with errors and uncertainties
Kierownik: dr hab. Jakub Radoszewski, prof. ucz.
Algorytmiczne i kombinatoryczne aspekty okresowości i powtórzeń w słowach
Kierownik: Tomasz Kociumaka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmiczne i kombinatoryczne problemy związane ze zliczaniem powtórzeń w słowach
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Narodowe Centrum Nauki
Algorytmiczne i obliczeniowe problemy bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Algorytmiczne problemy biologii systemów i bioinformatyki
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmiczne problemy ścieżkowe w grafach planarnych (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Komitet Badań Naukowych
Algorytmiczne wyzwania spektrometrii masowej
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Narodowe Centrum Nauki
Algorytmika i kombinatoryka nieklasycznych tekstów
Kierownik: dr hab. Jakub Radoszewski, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmika kombinatoryczna złożonych problemów współczesnej informatyki
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmika problemów o dużym rozmiarze
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Komitet Badań Naukowych
Algorytmika problemów o zawartej reprezentacji
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Narodowe Centrum Nauki
Algorytmy aproksymacyjne o ograniczonych zasobach
Kierownik: prof. dr hab. Piotr Sankowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
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

Finansowany przez: Narodowe Centrum Nauki
Algorytmy on-linew modelach stochastycznych
Kierownik: dr hab. Marcin Mucha, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Algorytmy parametryzowane w problemach grafowych oraz wyszukiwaniu wzorca permutacji
Kierownik: dr hab. Marek Cygan, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Algorytmy rozproszone i równoległe dla problemów kombinatorycznych
Finansowany przez: Komitet Badań Naukowych
Algorytmy rozproszone odporne na błędy (promotorski)
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Algorytmy składania genomów umożliwiające diagnostykę zespołów genetycznych
Kierownik: dr Barbara Poszewiecka

Finansowany przez: Narodowe Centrum Nauki (Preludium)
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

Finansowany przez: Komitet Badań Naukowych
Analiza i opracowanie metod eksploracji procesów w oparciu o algorytmy szkieletowe.
Finansowany przez: Narodowe Centrum Nauki
Analiza obliczeniowa aplikowanych gier głosowania ważonego
Kierownik: dr hab. Oskar Skibski, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Analiza problemów fizyczno-biologicznych w oparciu o matematyczne entropie
Kierownik: prof. dr hab. Piotr Gwiazda

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariontów
Kierownik: dr hab. Norbert Dojer, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Analiza strukturalna i predykcja modułów cis-regulatorowych w genomach wyższych eukariotów
Kierownik: dr hab. Norbert Dojer, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Analiza układów stochastycznych z geometrią
Finansowany przez: Narodowe Centrum Nauki
Applications of automata theory to processing XML documents
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Approximation and parameterized local search algorithms
Kierownik: dr hab. Marek Cygan, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Aproksymacyjne systemy wieloagentowe
Kierownik: prof. dr hab. Barbara Dunin-Kęplicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Architectures for Mobility
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Komisja Europejska
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, prof. ucz.
Automata: from Mathematics to Applications (AutoMathA)
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: European Science Foundation
Automatyczna analiza systemów współbieżnych
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Narodowe Centrum Nauki
Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Schubert, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Bayesowska analiza podtypów raka pęcherza moczowego na podstawie wysokoprzepustowych danych
Kierownik: dr Krzysztof Gogolewski

Finansowany przez: Narodowe Centrum Nauki
Biologicznie znacząca rekonstrukcja sieci filogenetycznych
Kierownik: dr hab. Paweł Górecki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Całościowa adnotacja enhancerów ssaków w oparciu o dane genomowe i funkcjonalne
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Narodowe Centrum Nauki
Całościowe przewidywanie kooperatywnych elementów regulatorowych w genomach eukariotycznych.
Kierownik: dr Aleksander Jankowski

Finansowany przez: Narodowe Centrum Nauki
Centrality Measures: from Theory to Applications
Kierownik: dr hab. Oskar Skibski, prof. ucz.
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. ucz.
Computational modeling of transcription regulation in the context of chromatin dynamics
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Coś na ząb - epigenomika zaburzeń odżywiania
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.
Cryptographic Protocols Provably-Secure Against Physical Attacks
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Cryptography on Non-Trusted Machines
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: European Research Council
Cuts and decompositions: algorithms and combinatorial properties
Kierownik: prof. dr hab. Marcin Pilipczuk

Finansowany przez: European Research Council
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. ucz.

Finansowany przez: Uniwersytet Warszawski
Detection and evolutionary analysis of repeats in protein sequences
Koordynator: prof. dr hab. Anna Gambin

Finansowany przez: Komitet Badań Naukowych
Dokładne ograniczenia dolne przy silnych założeniach złożonościowych
Finansowany przez: Narodowe Centrum Nauki
Dowodzenie poprawności implementacji behawioralnej w procesie konstrukcji oprogramowania
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Komitet Badań Naukowych
Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza
Kierownik: dr Adam Karczmarz

Finansowany przez: Narodowe Centrum Nauki
EMBO Installation Grants
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.

Finansowany przez: European Molecular Biology Organization
Efektywne algorytmy dla grafów planarnych
Kierownik: prof. dr hab. Piotr Sankowski

Finansowany przez: Narodowe Centrum Nauki
Efektywne obliczenia w predykatywnej matematyce
Kierownik: dr Michał Przybyłek

Finansowany przez: Narodowe Centrum Nauki
Erasmus Without Paper
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: Universiteit Gent
Erasmus Without Paper 2.0
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: European University Foundation - Campus Europae
Erasmus bez Papieru 2 - dotacja z MNiSW
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
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

Finansowany przez: Komitet Badań Naukowych
European Training Network for Computational Oncology
Kierownik: dr hab. Ewa Szczurek, prof. ucz.

Finansowany przez: Komisja Europejska
Ewolucja sieci interakcji białko-białko (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Expressive Power of Tree Logics (SOSNA)
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: European Research Council
Field trial on the impact of enabling easy mobility on recognition of external studies
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: CSC-Tieteen Tietotekniikan Keskus Oy
Formalizacja naiwnej teorii typów (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Formalne podstawy kryptowalut
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: Narodowe Centrum Nauki
Foundational Research on MULTIlevel comPLEX networks and systems
Kierownik: prof. dr hab. Piotr Sankowski

Finansowany przez: Scuola IMT (Istituzioni, Mercati, Tecnologie) Alti Studi di Lucca
Foundations of XML – Safe Processing of Dynamic Data over the Internet (FOX)
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: Komisja Europejska
GLAD - Green Last Mile Delivery: a more sustainable way for food home delivery tailored to consumer needs
Kierownik: mgr Paweł Gora

Finansowany przez: Komisja Europejska
Games and Automata for Synthesis and Verification
Koordynator: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Komisja Europejska
Games for Design and Verification (GAMES)
Finansowany przez: European Science Foundation
Generowanie wideo przy użyciu głębokiego uczenia
Kierownik: dr inż. Piotr Biliński

Finansowany przez: Narodowe Centrum Nauki
Genomika obliczeniowa : Problemy, Algorytmy i Modele
Kierownik: dr hab. Paweł Górecki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Genomika porównawcza transpozonów roślinnych
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Grafy dynamiczne; spójność, przepływy i kolorowanie
Kierownik: dr hab. Anna Zych-Pawlewicz

Finansowany przez: Narodowe Centrum Nauki
Grafy w grafach-od dobrego uporządkowania do algorytmów
Finansowany przez: Narodowe Centrum Nauki
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Narodowe Centrum Nauki
Granice baz danych
Kierownik: dr hab. Szymon Toruńczyk, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Katarzyna Mazowiecka

Finansowany przez: Narodowe Centrum Nauki
Granice rozstrzygalności w teorii automatow
Kierownik: dr hab. Paweł Parys, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Granty dla stypendystów FNP
Finansowany przez: Fundacja na rzecz Nauki Polskiej
Graph colorings and their applications
Kierownik: prof. dr hab. Łukasz Kowalik

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Graph within graphs. Algorithmic and combinatorial aspects of containment relations in graphs.
Kierownik: dr hab. Marcin Kamiński

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Kierownik: dr hab. Oskar Skibski, prof. ucz.
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik: Bartosz Piotrowski

Finansowany przez: Narodowe Centrum Nauki
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
Finansowany przez: Narodowe Centrum Nauki
Integracyjna analiza danych genomicznych z pojedynczych komórek
Kierownik: dr Aleksander Jankowski

Finansowany przez: Narodowe Centrum Nauki
Integracyjna biologia systemów: wnioskowanie z heterogenicznych danych
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Narodowe Centrum Nauki
Interactive Computations in Layered Granular Networks
Kierownik: dr Piotr Wasilewski

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych
Kierownik: dr hab. Paweł Górecki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Konflikty z wieloma polami bitew i dyskretnymi zasobami
Kierownik: dr hab. Marcin Dziubiński, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Konstruowanie specyfikacji i weryfikacja oprogramowania
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Narodowe Centrum Nauki
Kryptografaia bez zaufanych stron
Kierownik: dr Tomasz Kazana

Finansowany przez: Narodowe Centrum Nauki
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

Finansowany przez: Komitet Badań Naukowych
MOBIUS - Mobility, Ubiquity and Security
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: European Community 6th Framework Programme
Matematyczne metody weryfikacji systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Komitet Badań Naukowych
Matematyczne modele kosztu komunikacyjnego dostępu do baz danych
Kierownik: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Komitet Badań Naukowych
Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Komitet Badań Naukowych
Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Komitet Badań Naukowych
Metody obliczeniowe interpretacji zmian genomu
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Narodowe Centrum Nauki
Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali
Kierownik: dr hab. Krzysztof Rządca, prof. ucz.
Metody reprezentacji wiedzy i wnioskowania w systemach autonomicznych
Finansowany przez: Komitet Badań Naukowych
Metodyka i narzędzia wspomagające konstruowanie poprawnego oprogramowania
Kierownik: prof. dr hab. Jan Madey

Finansowany przez: Komitet Badań Naukowych
Miejsca parkingowe na MOP
Kierownik: dr hab. Hung Son Nguyen, prof. ucz.
Modele filogenetyczne do analizy ewolucji komórek rakowych
Kierownik: dr Jarosław Paszek

Finansowany przez: Narodowe Centrum Nauki
Modele i algorytmy zarządzania zasobami współczesnych systemów informatycznych
Kierownik: dr hab. Krzysztof Rządca, prof. ucz.
Modele i języki dla specyfikacji przepływow danych (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Modele obliczeniowe w formalnej weryfikacji
Kierownik: dr Filip Mazowiecki

Finansowany przez: Narodowe Centrum Nauki
Modele obliczeń rozszerzone o dane
Finansowany przez: Narodowe Centrum Nauki
Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych
Kierownik: dr hab. Jacek Sroka

Finansowany przez: Narodowe Centrum Nauki
Modelowania fragmentacji biomolekuł indukowanej transferem elektronu w spectrometrii mas
Finansowany przez: Narodowe Centrum Nauki
Modelowanie aktywności transpozonów indukowanej stresem
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Narodowe Centrum Nauki
Modelowanie ewolucji genomów (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Modelowanie ewolucji molekularnej i procesu zwijania białek - podejście algorytmiczne
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Modelowanie matematyczne i analiza algorytmiczna molekularnych szlaków sygnałowych
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Modularna semantyka operacyjna: podejście bialgebraiczne
Kierownik: prof. dr hab. Bartosz Klin

Finansowany przez: Narodowe Centrum Nauki
Multidyscyplinarne kompleksowe badania degradacji i kontroli jakości mitochondrialnego RNA
Kierownik: dr hab. Bartosz Wilczyński, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Narzędzia i techniki rozszerzające modularność i siłę wyrazu języków obiektowych (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na dużą skalę.
Kierownik: dr Kunal Dutta

Finansowany przez: Narodowe Centrum Nauki
Narzędzia, algorytmy i modele w badaniu wspólnej ewolucji gatunków, genów i białek.
Kierownik: dr hab. Paweł Górecki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Nebulostore: Peer-to-Peer Storage System
Kierownik: dr hab. Krzysztof Rządca, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Nieskończoność we wnioskowaniu o danych i wiedzy
Kierownik: dr hab. Filip Murlak, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Normative Comparison of Multiwinner Election Rules
Kierownik: dr hab. Piotr Skowron, prof. ucz.
Nowe metody statystyczne dla problemów klasyfikacji i integracji danych molekularnych i genomowych
Kierownik: dr Neo Christopher Chung

Finansowany przez: Narodowe Centrum Nauki
Nowe modele automatów
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Narodowe Centrum Nauki
Nowe pojęcie skończoności w teorii obliczeń
Kierownik: prof. dr hab. Mikołaj Bojańczyk

Finansowany przez: Narodowe Centrum Nauki
Nowe techniki w algorytmach grafowych: algorytmy dokladne dla problemów NP-trudnych, grafy rzadkie i ich zastosowania
Kierownik: prof. dr hab. Łukasz Kowalik

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Nowe trendy w algorytmach tekstowych
Kierownik: dr hab. Jakub Radoszewski, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Nowy model probabilistyczny do identyfikacji typów komórek w danych transkryptomicznych otrzymanych w wyniku sekwencjonowania przestrzennego oraz z pojedynczych komórek
Finansowany przez: Narodowe Centrum Nauki
Obliczenia bazujące na percepcji.
Kierownik: dr Piotr Wasilewski

Finansowany przez: Narodowe Centrum Nauki
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, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Obliczeniowy model specyficznej tkankowo regulacji genów
Finansowany przez: Narodowe Centrum Nauki
Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski)
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Komitet Badań Naukowych
Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki
Finansowany przez: Narodowe Centrum Nauki
Odporność danych skompresowanych na błędy – wybrane zagadnienia (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Off-chain labs: formal models, constructions and proofs
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: Technische Universität Darmstadt
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. ucz.

Finansowany przez: Narodowe Centrum Badań i Rozwoju
Optymalność w złożoności parametryzowanej
Kierownik: dr hab. Michał Pilipczuk, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Parakonsystentne wnioskowanie w systemach autonomicznych usytuowanych w środowiskach złożonych informacyjnie
Kierownik: prof. dr hab. Barbara Dunin-Kęplicz

Finansowany przez: Narodowe Centrum Nauki
Parametry modeli skończonych
Kierownik: dr hab. Eryk Kopczyński, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Podstawy teoretyczne selekcji cech w celu uodpornienia modeli prognostycznych na częściowe braki w danych
Finansowany przez: Narodowe Centrum Nauki
Portfele blockchainowe - kryptograficzna teoria i zastosowania
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: Narodowe Centrum Nauki
Practical Approximation Algorithms - Proof of Concept
Kierownik: prof. dr hab. Piotr Sankowski

Finansowany przez: European Research Council
Praktycznie obliczalne dialogi w systemach wieloagentowych
Finansowany przez: Narodowe Centrum Nauki
Predicting synthetic lethality in cancer
Kierownik: dr hab. Ewa Szczurek, prof. ucz.
Problem najbliższych sąsiadów bez fałszywie ujemnych wyników
Kierownik: dr Piotr Wygocki

Finansowany przez: Narodowe Centrum Nauki
Problem separacji w teorii automatów
Kierownik: dr hab. Wojciech Czerwiński, prof. ucz.
Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej
Kierownik: dr Tomáš Masařík

Finansowany przez: Narodowe Centrum Nauki (Sonata)
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Kierownik: dr hab. Michał Skrzypczak, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Procesy bezkontekstowe: teoria, algorytmy, zastosowania
Kierownik: prof. dr hab. Sławomir Lasota

Finansowany przez: Narodowe Centrum Nauki
Programowanie dynamiczne z gwarancjami
Finansowany przez: Narodowe Centrum Nauki
Przewidywanie punktu izoelektrycznego białek i peptydów na podstawie cech sekwencyjnych i strukturalnych
Kierownik: dr hab. Łukasz Kozłowski

Finansowany przez: Narodowe Centrum Nauki
Przyjazne obliczeniowo miary centralności oparte na teorii gier
Kierownik: dr hab. Tomasz Michalak, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Pseudoentropia
Finansowany przez: Narodowe Centrum Nauki
Półpozycyjna determinacja gier nieskończonych (promotorski)
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Quality Assessment Tool for international Cooperation
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.
Quering and Managing Navigational Databases
Kierownik: dr hab. Filip Murlak, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Recent trends in kernelization: theory and experimental evaluation
Kierownik: prof. dr hab. Marcin Pilipczuk
Rozstrzygalne hierarchie regularnych języków drzew (promotorski)
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Rozwój metod statystycznych i algorytmicznych stosowanych w spektroskopii mas
Kierownik: dr Michał Startek

Finansowany przez: Narodowe Centrum Nauki
Rozwój"Komputerowej Lingwistyki Chemicznej" i jej zastosowanie do efektywnego planowania wieloetapowych syntez chemicznych
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Narodowe Centrum Nauki
Równania w półgrupie wolnej z dwiema niewiadomymi (promotorski)
Kierownik: prof. dr hab. Wojciech Plandowski

Finansowany przez: Komitet Badań Naukowych
SENSORIA - Software Engineering for Service-Oriented Overlay Computers
Koordynator: prof. dr hab. Andrzej Tarlecki

Finansowany przez: European Community 6th Framework Programme
Sieci: Podejście Wielodyscyplinarne
Kierownik: prof. dr Krzysztof Apt

Finansowany przez: Narodowe Centrum Nauki
Silna normalizacja przepisywania w rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Jerzy Tiuryn

Finansowany przez: Komitet Badań Naukowych
Smart-Contract Protocols: Theory for Applications
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: European Research Council (ERC Advanced grant)

Materiały promocyjne
SocSenSys: Systemy sprzężenia społecznego oparte o osobiste sieci sensorowe
Kierownik: dr hab. Konrad Iwanicki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Specyfikacja i weryfikacja systemów oprogramowania – od teorii do praktyki
Kierownik: prof. dr hab. Andrzej Tarlecki

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Strategic Resilience of Networks
Kierownik: dr hab. Marcin Dziubiński, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Strategiczna analiza sieci społecznych
Kierownik: dr hab. Tomasz Michalak, prof. ucz.
Strukturalne własności grafów planarnych i ich algorytmiczne zastosowania (promotorski)
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Komitet Badań Naukowych
Studium zdarzeń duplikacji w genomie
Kierownik: dr Jarosław Paszek

Finansowany przez: Narodowe Centrum Nauki
System automatycznej oceny bezpieczeństwa telefonów komórkowych
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Samsung Electronics Polska Sp. z o.o.
System do testowania aplikacji w środowisku RCS
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Samsung Electronics Polska Sp. z o.o.
System wspomagania dowodzenia dla duzych aplikacji, oparty na rachunku konstrukcji (promotorski)
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komitet Badań Naukowych
Systemy wyboru komitetów: Metody niepunktowe
Kierownik: dr hab. Piotr Skowron, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
TUgbOAT
Kierownik: prof. dr hab. Piotr Sankowski

Finansowany przez: European Research Council
Technology transfer between modern algorithmic paradigms
Kierownik: dr hab. Marek Cygan, prof. ucz.

Finansowany przez: European Research Council
Teoria i praktyka obliczania najliczniejszych skojarzeń w grafach
Kierownik: prof. dr hab. Krzysztof Diks

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Teoria programowania w logikach modalnych i deskrypcyjnych
Kierownik: dr hab. Anh Linh Nguyen, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Teoria typów w programowaniu funkcyjnym i obiektowym.
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komitet Badań Naukowych
The Expressiveness of Modal Fixpoint Logics.
Finansowany przez: Fundacja na rzecz Nauki Polskiej
Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: dr Marcin Wrochna

Finansowany przez: Narodowe Centrum Nauki
Typy, dowody i poprawne programy
Koordynator: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Kierownik: dr hab. Henryk Michalewski, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania
Finansowany przez: Narodowe Centrum Nauki
Uczenie maszynowe ze wzmocnieniem - współczesne wyzwania
Kierownik: dr hab. Piotr Miłoś, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Ukrywanie się w sieciach społecznościowych
Finansowany przez: Narodowe Centrum Nauki
W poszukiwaniu szybszych algorytmów: Wykluczanie podpodziałów i grafów krawędziowych
Kierownik: dr Jana Masaříková

Finansowany przez: Narodowe Centrum Nauki (Preludium)
Warunkowe obliczenia w głębokich sieciach neuronowych
Kierownik: Sebastian Jaszczur

Finansowany przez: Narodowe Centrum Nauki (Preludium)
Weryfikacja i zapytania dotyczące struktur z danymi
Koordynator: prof. dr hab. Sławomir Lasota

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wiarygodność modeli horyzontalnego transferu genów
Finansowany przez: Narodowe Centrum Nauki
Wieloskalowe modelowanie mechanizmu indukowanej przez ceramid śmierci komórek nerwowych
Finansowany przez: Narodowe Centrum Nauki
Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych
Kierownik: prof. dr hab. Andrzej Szałas

Finansowany przez: Narodowe Centrum Nauki
Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów
Kierownik: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komitet Badań Naukowych
Wybiegając Myślą Naprzód: Długofalowe planowanie z użyciem głębokiego uczenia ze wzmocnieniem bazującego na modelu
Finansowany przez: Narodowe Centrum Nauki
Wybrane problemy współczesnej algorytmiki
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Narodowe Centrum Nauki
Wydajne algorytmy dla słabych form niedeterminizmu
Kierownik: dr hab. Michał Skrzypczak, prof. ucz.
Wydajne algorytmy wyszukiwania najbliższych sąsiadów w przestrzeniach wielowymiarowych
Wykrywanie horyzontalnego transferu genów (promotorski)
Kierownik: dr hab. Paweł Górecki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Wysoce konfigurowalne rozwiązanie eSignature dla szkolnictwa wyższego
Kierownik: dr Janina Mincer-Daszkiewicz, prof. ucz.

Finansowany przez: Innovation and Networks Executive Agency, Ministerstwo Edukacji i Nauki
Wyzwania semistrukturalnych baz danych
Kierownik: dr hab. Filip Murlak, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Wzorce sekwencyjne w tekstach: wydobywanie i analiza (promotorski)
Kierownik: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Własności ilościowe dla schematów rekrurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys, prof. ucz.
Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Włączenie informacji o genetycznej różnorodności do analizy danych z sekwencjonowania DNA
Kierownik: dr hab. Norbert Dojer, prof. ucz.
Zaawansowane metody wnioskowania i techniki optymalizacyjne dla problemów klasyfikacji ontologii i sprawdzenia spójności ontologii.
Kierownik: dr hab. Anh Linh Nguyen, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Zaawansowane obliczenia w arkuszach kalkulacyjnych
Kierownik: prof. dr hab. Jerzy Tyszkiewicz

Finansowany przez: Narodowe Centrum Nauki
Zaawansowane problemy teorii automatów
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. dr hab. Damian Niwiński

Finansowany przez: Narodowe Centrum Nauki
Zagadnienia semantyczne w logikach nieklasycznych stosowanych do wnioskowania aproksymacyjnego
Kierownik: prof. dr hab. Andrzej Szałas

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zastosowanie metod algebraicznych w algorytmicznej teorii grafów
Kierownik: prof. dr hab. Piotr Sankowski

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Zestaw testów do weryfikacji i oceny analizatorów języka polskiego
Finansowany przez: Komitet Badań Naukowych
Zintegrowana analiza genomicznej, fenotypicznej i przestrzennej heterogeniczności nowotworów
Kierownik: dr hab. Ewa Szczurek, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Zrozumieć rekursję
Kierownik: dr hab. Lorenzo Clemente, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Złożone problemy algorytmiczne we współczesnej informatyce teoretycznej
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Złożoność obliczeniowa problemów spójności w grafach
Kierownik: dr hab. Marcin Kamiński

Finansowany przez: Narodowe Centrum Nauki
Złożoność parametryzowana i algorytmy wykładnicze
Kierownik: prof. dr hab. Łukasz Kowalik

Finansowany przez: Narodowe Centrum Nauki
ngSim: Nowe wyzwania symulacji bezprzewodowych urządzeń niskomocowych
Kierownik: dr hab. Konrad Iwanicki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki

Instytut Matematyki Stosowanej i Mechaniki

Algorytmy i złożoność dla problemów ciągłych
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Komitet Badań Naukowych
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja

Finansowany przez: Komitet Badań Naukowych
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja

Finansowany przez: Komitet Badań Naukowych
Algorytmy równoległe rozwiązywania zagadnień różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza asymptotyczna układów kinetycznych
Kierownik: prof. dr hab. Andrzej Palczewski

Finansowany przez: Komitet Badań Naukowych
Analiza jakościowa rozwiązań nieściśliwych cieczy lepkich (promotorski)
Kierownik: Piotr Mucha

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych
Finansowany przez: Narodowe Centrum Nauki
Analiza modeli termo-lepko-elastycznych
Finansowany przez: Narodowe Centrum Nauki
Analiza równania populacyjnego uwzględniającego strukturę wielkościową populacji i selektywną śmiertelność
Kierownik: Andrzej Jabłoński

Finansowany przez: Narodowe Centrum Nauki
Analiza równań hydrodynamiki i chemotaksji
Kierownik: prof. dr hab. Dariusz Wrzosek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza równań parabolicznych tworzących ściany
Kierownik: dr Michał Łasica

Finansowany przez: Narodowe Centrum Nauki
Analiza równań płynu mikropolarnego na dwuwymiarowym torusie (promotorski)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Analiza stabilności równowag w różniczkowych i stochastycznych modelach gier ewolucyjnych
Kierownik: prof. dr hab. Jacek Miękisz

Finansowany przez: Komitet Badań Naukowych
Anizotropowe zagadnienie najmniejszego gradientu
Finansowany przez: Narodowe Centrum Nauki
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

Finansowany przez: Narodowe Centrum Nauki
Chemicznie reagujące mieszaniny płynów ściśliwych
Kierownik: Ewelina Zatorska

Finansowany przez: Narodowe Centrum Nauki
Ciecze nienewtonowskie z niestandardową reologia
Kierownik: prof. dr hab. Piotr Gwiazda

Finansowany przez: Narodowe Centrum Nauki
Complexity, tractability and algorithms for computational problems of continuous mathematics
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Deterministic and statistical solutions of micropolar fluids equations (doctoral dissertation grant)
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Dyfuzja anizotropowa w ewolucji powierzchni swobodnych
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Narodowe Centrum Nauki
Dynamika powierzchni swobodnych w modelach przejść fazowych
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Efektywne algorytmy równoległe rozwiązania równań różniczkowych cząstkowych
Kierownik: prof. dr hab. Maksymilian Dryja

Finansowany przez: Narodowe Centrum Nauki
Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych
Kierownik: dr hab. Leszek Marcinkowski, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
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, prof. ucz.
Evolution equations in hydrodynamics and biology
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Gry dynamiczne modelujące "tragedię wspólnego zasobu"
Finansowany przez: Narodowe Centrum Nauki
Hiperboliczne prawa zachowania: teoria i zastosowania w naukach o ziemi i zdrowiu publicznym
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda

Finansowany przez: Narodowe Centrum Nauki
Hybrydowe papiery wartościowe: obligacje typu contingent convertible oraz obligacje bail-in
Kierownik: dr hab. Piotr Jaworski, prof. UW

Finansowany przez: Narodowe Centrum Nauki
Kartezjusz
Kierownik: prof. dr hab. Piotr Mucha
Konwekcja cieplna w płynach nieściśliwych
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Narodowe Centrum Nauki
Maszyny populacyjne: od wzorców zachowań do cyklu życiowego osobnika i dynamiki populacji. Teoria Gier Ewolucyjnych a wpływ mechanizmów opartych na ekologicznych i populacyjnych sprzężeniach zwrotnych na procesy selekcji naturalnej.
Kierownik: dr Krzysztof Argasiński

Finansowany przez: Narodowe Centrum Nauki
Matematyczna Mechanika Płynów
Kierownik: prof. dr hab. Piotr Mucha

Finansowany przez: Narodowe Centrum Nauki
Matematyczna i numeryczna analiza modeli transportu morfogenu
Kierownik: dr Marcin Małogrosz

Finansowany przez: Narodowe Centrum Nauki
Matematyczne modele kwazikryształów
Kierownik: prof. dr hab. Jacek Miękisz

Finansowany przez: Narodowe Centrum Nauki
Matematyczne modele procesu chemotaksji i innych zjawisk z nią związanych
Kierownik: prof. dr hab. Dariusz Wrzosek

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne modele teorii gier ewolucyjnych i sieci genetycznych
Kierownik: prof. dr hab. Jacek Miękisz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne modelowanie procesów nowotworowych
Kierownik: dr hab. Monika Piotrowska, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne modelowanie wzrostu kryształów
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyczne podstawy opisów wieloskalowych
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Matematyka podejść wieloskalowych w naukach o życiu i naukach społecznych
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Narodowe Centrum Nauki
Mathematical Methods in Natural Sciences
Kierownik: prof. dr hab. Piotr Gwiazda

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Metoda relatywnych entropii dla układów nieliniowych
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda

Finansowany przez: Narodowe Centrum Nauki
Metody Monte Carlo dla skokowych procesów markowowskich
Kierownik: prof. dr hab. Błażej Miasojedow

Finansowany przez: Narodowe Centrum Nauki
Metody i zagadnienia geometryczne w nieliniowych eliptycznych równaniach różniczkowych cząstkowych
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego
Kierownik: prof. dr hab. Błażej Miasojedow

Finansowany przez: Narodowe Centrum Nauki
Metody obliczeniowe do detekcji mutacji zwiącznych z opornością na antybiotyki w szczepach bakteryjnych
Finansowany przez: Narodowe Centrum Nauki
Metody słabej zbieżności dla równań fizyki i biologii matematycznej
Kierownik: dr Tomasz Dębiec

Finansowany przez: Narodowe Centrum Nauki
Model Cuckera-Smale'a z osobliwą wagą komunikacyjną
Kierownik: dr Jan Peszek

Finansowany przez: Narodowe Centrum Nauki
Modele i metody matematyczne w opisie wzrostu i leczenia nowotworów
Kierownik: dr hab. Marek Bodnar, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Modeling, Mathematical Methods and Computer Simulation of Tumour Growth and Therapy
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Unia Europejska
Modelowanie giełdy papierów wartościowych za pomocą gier dynamicznych z continuum graczy
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. ucz.

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Modelowanie matematyczne nowotworów mózgu pochodzenia glejowego i ich odpowiedzi na terapie
Finansowany przez: Narodowe Centrum Nauki
Nieliniowe zagadnienia różniczkowe w uogólnionych przestrzeniach Sobolewa i Orlicza
Kierownik: prof. dr hab. Iwona Chlebicka

Finansowany przez: Narodowe Centrum Nauki
Nielokalne zagadnienia ewolucji powierzchni międzyfazowych
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Narodowe Centrum Nauki
Nieoczywiste aspekty modelowania wspólnych zasobów i rynków przy użyciu gier dynamicznych
Kierownik: dr hab. Agnieszka Wiszniewska-Matyszkiel, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Nonlinear PDE's related to variational and geometric problems
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. ucz.

Finansowany przez: Fundacja na rzecz Nauki Polskiej
Nowe wyzwania dla IBC
Kierownik: prof. dr hab. Henryk Woźniakowski

Finansowany przez: Narodowe Centrum Nauki
Od komórki zdrowej do zmutowanej - matematyczny opis dynamiki różnych typów populacji komórkowych
Kierownik: prof. dr hab. Urszula Foryś

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Ograniczenia energetyczne na przetwarzanie i przechowywanie informacji w układzie nerwowym
Kierownik: dr hab. Jan Karbowski

Finansowany przez: Narodowe Centrum Nauki
Optymalizacja terapii glioblastomy z wykorzystaniem modelowania matematycznego
Finansowany przez: Fundację Jamesa S. Mc. Donnella
Opóźnienia czasowe w stochastycznych modelach biologicznych
Kierownik: prof. dr hab. Jacek Miękisz

Finansowany przez: Narodowe Centrum Nauki
Osobliwa dynamika współoddziałujących cząstek
Kierownik: dr Jan Peszek

Finansowany przez: Narodowe Centrum Nauki
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

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne
Finansowany przez: Narodowe Centrum Nauki
Problemy ciągłe: optymalność, złożoność, podatność
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Narodowe Centrum Nauki
Procesy transportu w biologii matematycznej
Kierownik: prof. dr hab. Agnieszka Świerczewska-Gwiazda

Finansowany przez: Narodowe Centrum Nauki
Przepływy złożone
Kierownik: prof. dr hab. Piotr Gwiazda

Finansowany przez: Narodowe Centrum Nauki
Przestrzenie miar i Orlicza w matematycznym opisie zjawisk przepływu i wzrostu
Kierownik: prof. dr hab. Piotr Gwiazda

Finansowany przez: Narodowe Centrum Nauki
Regresja rangowa i U-procesy z karą LASSO - selekcja cech, estymacja i nierówności z wyrocznią
Finansowany przez: Narodowe Centrum Nauki
Rozwiązania słabe i miarowe dla równań fizyki matematycznej
Kierownik: dr Tomasz Dębiec

Finansowany przez: Narodowe Centrum Nauki
SOSnet: oszczędne modelowanie i predykcja dla danych wysokiego wymiaru
Kierownik: dr hab. Piotr Pokarowski, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Spolegliwość niejednorodnych zadań wielowymiarowych
Kierownik: dr Paweł Siedlecki

Finansowany przez: Narodowe Centrum Nauki
Sprawne przybliżanie funkcji
Kierownik: prof. dr hab. Przemysław Wojtaszczyk

Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Stabilność profili wybuchów dla równania Fujity
Kierownik: dr Mikołaj Sierżęga

Finansowany przez: Narodowe Centrum Nauki
Struktura wymiarowa continuów dziedzicznie nierozkładalnych
Kierownik: prof. dr hab. Elżbieta Pol

Finansowany przez: Komitet Badań Naukowych
Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia
Finansowany przez: Narodowe Centrum Nauki
Teoriomiarowe podejście do nieliniowych równań cząstkowych i problemów wariacyjnych
Kierownik: dr hab. Anna Zatorska-Goldstein, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Therapy optimization in glioblastoma: An integrative human data-based approach using mathematical models
Kierownik: dr hab. Marek Bodnar, prof. ucz.
Towards regularity
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Instytut Matematyczny Polskiej Akademii Nauk
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. ucz.

Finansowany przez: Narodowe Centrum Nauki
Typy w dowodzeniu i programowaniu
Koordynator: prof. dr hab. Paweł Urzyczyn

Finansowany przez: Komisja Europejska
Using mathematical modelling and computer simulation to improve cancer therapy
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Unia Europejska
Variational Problems in Optical Engineering and Free Material Design
Finansowany przez: Narodowe Centrum Nauki
Wpływ mechanizmów wymiany w węzłach na własności asymptotyczne zagadnień transportu na sieci
Kierownik: dr Aleksandra Puchalska

Finansowany przez: Narodowe Centrum Nauki
Wybrane aspekty matematycznego modelowania płynów wieloskładnikowych
Kierownik: dr Maja Szlenk

Finansowany przez: Narodowe Centrum Nauki (Preludium)
Własności asymptotyczne i nierówności dla estymatorów Monte Carlo opartych na łańcuchach Markowa
Kierownik: prof. dr hab. Wojciech Niemiro

Finansowany przez: Narodowe Centrum Nauki
Zachowania kolektywne z perspektywy matematyka
Kierownik: prof. dr hab. Piotr Mucha

Finansowany przez: Narodowe Centrum Nauki
Zagadnienia o miarowych danych
Kierownik: prof. dr hab. Iwona Chlebicka

Finansowany przez: Narodowe Centrum Nauki (Sonata BIS)
Zagadnienia typu Stefana w matematycznym modelowaniu wzrostu i topnienia kryształów
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Komitet Badań Naukowych
Zagadnienia ze swobodną powierzchnią w mechanice ośrodków ciągłych
Kierownik: prof. dr hab. Grzegorz Łukaszewicz

Finansowany przez: Komitet Badań Naukowych
Zarządzanie portfelem inwestycyjnym dla niegaussowskich rozkładów zwrotów
Kierownik: prof. dr hab. Andrzej Palczewski

Finansowany przez: Narodowe Centrum Nauki
Zastosowanie współczesnej genomiki funkcjonalnej i bioinformatyki do charakteryzacji i tworzenia modeli procesów biologicznych o istotnym znaczeniu w medycynie i rolnictwie
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
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

Finansowany przez: Narodowe Centrum Nauki
Złożoność i algorytmy dla zadań wielowymiarowych z zastosowaniem do pewnych problemów finansowych i fizyki matematycznej
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Komitet Badań Naukowych
Złożoność obliczeniowa i algorytmy dla zadań matematyki ciągłej
Kierownik: prof. dr hab. Leszek Plaskota

Finansowany przez: Komitet Badań Naukowych
Środowiskowe Studia Doktoranckie z Nauk Matematycznych
Kierownik: prof. dr hab. Piotr Mucha

Finansowany przez: Narodowe Centrum Badań i Rozwoju