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
Analiza układów stochastycznych z geometrią
Kierownik: dr hab. Piotr Miłoś, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
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
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
Ekwiwariantne homologie Khovanowa splotów periodycznych - ich struktura oraz zastosowania
Kierownik: dr Wojciech Politarczyk

Finansowany przez: Narodowe Centrum Nauki
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 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 II
Kierownik: prof. dr hab. Anna Zdunik

Finansowany przez: Narodowe Centrum Nauki
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
Indukcja dla formuł ograniczonych i jej relatywizacje
Kierownik: dr hab. Leszek Kołodziejczyk, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
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
Koncentracja miary
Kierownik: dr hab. Radosław Adamczak, prof. ucz.

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

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

Finansowany przez: Narodowe Centrum Nauki
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
Lokalna geometria schematu Hilberta punktów i jej zastosowania
Kierownik: dr hab. Joachim Jelisiejew, prof. ucz.

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 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 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 ł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
Nieliniowe formy całkowe zwiazane ze skokowymi procesami Markowa
Kierownik: prof. dr hab. Katarzyna Pietruska-Pałuba

Finansowany przez: Narodowe Centrum Nauki
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 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 wektorów log-wklęsłych
Kierownik: dr Marta Strzelecka

Finansowany przez: Narodowe Centrum Nauki
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 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
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 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 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
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
Punktowa teoria regularności dla zbiorów, miar i warifoldów
Kierownik: dr hab. Sławomir Kolasiński

Finansowany przez: Narodowe Centrum Nauki
Rezidua Jeffrey-Kirwan w zastosowaniu do ekwiwariantnego homomorfizmu Gysina
Kierownik: dr Magdalena Zielenkiewicz

Finansowany przez: Narodowe Centrum Nauki
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
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ównanie transportu we współczesnej teorii równań różniczkowych cząstkowych
Finansowany przez: Narodowe Centrum Nauki
Schematy Hilberta z wielogradacją
Kierownik: dr Tomasz Mańdziuk

Finansowany przez: Narodowe Centrum Nauki
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
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
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Kierownik: dr hab. Piotr Hofman

Finansowany przez: Narodowe Centrum Nauki
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
Układy cząstek, czasy przebywania i procesy samopodobne
Finansowany przez: Narodowe Centrum Nauki
Uogólnienia i zastosowania rozkładu Białynickiego-Biruli
Kierownik: dr hab. Joachim Jelisiejew, prof. ucz.

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

Finansowany przez: Narodowe Centrum Nauki
Własności kombinatoryczne i strukturalne algebr Hecke-Kiselmana
Kierownik: dr Magdalena Wiertel

Finansowany przez: Narodowe Centrum Nauki
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
Zarządzanie zasobami w egoistycznych i kooperacyjnych systemach rozproszonych
Kierownik: dr hab. Piotr Skowron, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Zmiany czasu dla procesów Markowa i ich wpływ na struktury markowskie
Finansowany przez: Narodowe Centrum Nauki

Instytut Informatyki

Aktualne trendy w algorytmach parametryzowanych i wykładniczych
Kierownik: prof. dr hab. Łukasz Kowalik

Finansowany przez: Narodowe Centrum Nauki
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 wyzwania spektrometrii masowej
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Narodowe Centrum Nauki
Algorytmika problemów o zawartej reprezentacji
Kierownik: prof. dr hab. Wojciech Rytter

Finansowany przez: Narodowe Centrum Nauki
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 oparte na optymalnym transporcie dla spektrometrii mas i magnetycznego rezonansu jądrowego
Kierownik: prof. dr hab. Anna Gambin

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

Finansowany przez: Narodowe Centrum Nauki
Algorytmy składania genomów umożliwiające diagnostykę zespołów genetycznych
Kierownik: dr Barbara Poszewiecka

Finansowany przez: Narodowe Centrum Nauki (Preludium)
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 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
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
Dokładne ograniczenia dolne przy silnych założeniach złożonościowych
Finansowany przez: Narodowe Centrum Nauki
Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza
Kierownik: dr Adam Karczmarz

Finansowany przez: Narodowe Centrum Nauki
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
Formalne podstawy kryptowalut
Kierownik: prof. dr hab. Stefan Dziembowski

Finansowany przez: Narodowe Centrum Nauki
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
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
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik: Bartosz Piotrowski

Finansowany przez: Narodowe Centrum Nauki
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
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
Metody obliczeniowe interpretacji zmian genomu
Kierownik: prof. dr hab. Anna Gambin

Finansowany przez: Narodowe Centrum Nauki
Modele filogenetyczne do analizy ewolucji komórek rakowych
Kierownik: dr Jarosław Paszek

Finansowany przez: Narodowe Centrum Nauki
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
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 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
Nieskończoność we wnioskowaniu o danych i wiedzy
Kierownik: dr hab. Filip Murlak, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
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 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
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
Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki
Finansowany przez: Narodowe Centrum Nauki
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
Praktycznie obliczalne dialogi w systemach wieloagentowych
Finansowany przez: Narodowe Centrum Nauki
Problem najbliższych sąsiadów bez fałszywie ujemnych wyników
Kierownik: dr Piotr Wygocki

Finansowany przez: Narodowe Centrum Nauki
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
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
Sieci: Podejście Wielodyscyplinarne
Kierownik: prof. dr Krzysztof Apt

Finansowany przez: Narodowe Centrum Nauki
SocSenSys: Systemy sprzężenia społecznego oparte o osobiste sieci sensorowe
Kierownik: dr hab. Konrad Iwanicki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Studium zdarzeń duplikacji w genomie
Kierownik: dr Jarosław Paszek

Finansowany przez: Narodowe Centrum Nauki
Systemy wyboru komitetów: Metody niepunktowe
Kierownik: dr hab. Piotr Skowron, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: dr Marcin Wrochna

Finansowany przez: Narodowe Centrum Nauki
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)
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
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
Wykrywanie horyzontalnego transferu genów (promotorski)
Kierownik: dr hab. Paweł Górecki, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
Wyzwania semistrukturalnych baz danych
Kierownik: dr hab. Filip Murlak, prof. ucz.

Finansowany przez: Narodowe Centrum Nauki
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
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
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. dr hab. Damian Niwiński

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

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ń parabolicznych tworzących ściany
Kierownik: dr Michał Łasica

Finansowany przez: Narodowe Centrum Nauki
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
Dyfuzja anizotropowa w ewolucji powierzchni swobodnych
Kierownik: prof. dr hab. Piotr Rybka

Finansowany przez: Narodowe Centrum Nauki
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
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
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
Matematyka podejść wieloskalowych w naukach o życiu i naukach społecznych
Kierownik: prof. dr hab. Mirosław Lachowicz

Finansowany przez: Narodowe Centrum Nauki
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
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
Nowe wyzwania dla IBC
Kierownik: prof. dr hab. Henryk Woźniakowski

Finansowany przez: Narodowe Centrum Nauki
Ograniczenia energetyczne na przetwarzanie i przechowywanie informacji w układzie nerwowym
Kierownik: dr hab. Jan Karbowski

Finansowany przez: Narodowe Centrum Nauki
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
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
Stabilność profili wybuchów dla równania Fujity
Kierownik: dr Mikołaj Sierżęga

Finansowany przez: Narodowe Centrum Nauki
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
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
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)
Zarządzanie portfelem inwestycyjnym dla niegaussowskich rozkładów zwrotów
Kierownik: prof. dr hab. Andrzej Palczewski

Finansowany przez: Narodowe Centrum Nauki
Zwięzłe przedstawienia.
Kierownik: prof. dr hab. Przemysław Wojtaszczyk

Finansowany przez: Narodowe Centrum Nauki