Przejdź do treści
Czekaj...
Wczytywanie...
Nie jesteś zalogowany |
zaloguj się
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Menu główne
studia
Kandydat
Student
Doktorant
Wykładowca
Erasmus
Cтуденти з України
wydział
dojazd i plan
Rada Wydziału
formularze, dokumenty
struktura i organizacja
pracownicy i doktoranci
aktualności
zamówienia publiczne
badania
dziedziny badań
seminaria
publikacje
granty
Rada Dyscyplin
Sekcja Obsługi Badań
IDUB
popularyzacja
zajęcia dla uczniów
materiały online
dla studentów i matematyków
dla wszystkich
konkursy, projekty
inne materiały
Formularz wyszukiwania
Szukaj
PL /
EN
USOSweb
SRS
APD
Moodle
Lab. komputerowe
poczta studencka
poczta pracownicza
Plany
Biblioteka
Wspomnienia
Praca
Deklaracja dostępności
Skala szarości
Wysoki kontrast
Negatyw
Podkreślenie linków
Reset
Granty
Instytut Matematyki
Algebraiczne działania torusa: geometria i kombinatoryka
Kierownik:
Jarosław Wiśniewski
Deterministyczne i losowe zjawiska w układach dynamicznych
Kierownik:
Krzysztof Barański
Dowodowość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Kierownik:
Leszek Kołodziejczyk
Dwustronne oszacowania wieloliniowych form losowych
Kierownik:
Rafał Meller
Geometria i zmiany geometrycznych struktur na rozmaitości algebraicznych
Kierownik:
Adrian Langer
Geometryczne i analityczne własności równań różniczkowych zwyczajnych
Kierownik:
Henryk Żołądek
Kategorie dokładne, abelowe i triangulowalne w algebrze i geometrii
Kierownik:
Agnieszka Bodzenta-Skibińska
Koncentracja miary
Kierownik:
Radosław Adamczak
Metody algebraiczne w badaniu kwantowego równania Yanga-Baxtera - klamerki i algebry łączne
Kierownik:
Jan Okniński
Metody topologiczne analizy geometrycznej
Kierownik:
Paweł Goldstein
Nieliniowe formy całkowe zwiazane ze skokowymi procesami Markowa
Kierownik:
Katarzyna Pietruska-Pałuba
Nierówności dla nieprzemiennych martyngałów
Kierownik:
Adam Osękowski
Nierówności z wagą dla operatorów maksymalnych
Kierownik:
Mateusz Rapicki
Optymalne nierówności koncentracyjne
Kierownik:
Piotr Nayar
Oszacowania dla wektorów i procesów losowych
Kierownik:
Rafał Latała
Punktowa teoria regularności dla zbiorów, miar i warifoldów
Kierownik:
Sławomir Kolasiński
Rozmaitości algebraiczne powiązane ze strukturami kombinatorycznymi
Kierownik:
Maria Donten-Bury
Schematy Hilberta z wielogradacją
Kierownik:
Tomasz Mańdziuk
Teoria węzłów
Kierownik:
Maciej Borodzik
Wybrane zagadnienia teorii węzłów
Kierownik:
Maciej Borodzik
Wybrane zagadnienia z pogranicza nieliniowych równań cząstkowych i geometrycznej teorii miary
Kierownik:
Paweł Strzelecki
Zmiany czasu dla procesów Markowa i ich wpływ na struktury markowskie
Kierownik:
Zofia Miśkiewicz
Instytut Informatyki
A unified theory of finite-state recognisability
Kierownik:
Mikołaj Bojańczyk
Algorytmiczne wyzwania spektrometrii masowej
Kierownik:
Anna Gambin
Algorytmy i modele statystyczne służące do przewidywania schematów fragmentacji cząsteczek podczas dysocjacji indukowanej kolizjami
Kierownik:
Grzegorz Skoraczyński
Algorytmy składania genomów umożliwiające diagnostykę zespołów genetycznych
Kierownik:
Barbara Poszewiecka
Algorytmy wnioskowania o interakcjach wielokontaktowych na podstawie danych o konformacji chromatyny
Kierownik:
Aleksander Jankowski
Atlas obszarów regulatorowych specyficznych dla mózgu ludzkiego - nowe narzędzie odkrywania ścieżek powodujących wybrane choroby mózgu
Kierownik:
Bartosz Wilczyński
Automatyczna analiza systemów współbieżnych
Kierownik:
Sławomir Lasota
Biologicznie znacząca rekonstrukcja sieci filogenetycznych
Kierownik:
Paweł Górecki
Challenging problems in infinite-state systems
Kierownik:
Wojciech Czerwiński
Cuts and decompositions: algorithms and combinatorial properties
Kierownik:
Marcin Pilipczuk
Dynamiczne algorytmy dla grafów skierowanych przy słabych założeniach dotyczących adwersarza
Kierownik:
Adam Karczmarz
Efektywne obliczenia w predykatywnej matematyce
Kierownik:
Michał Przybyłek
European Training Network for Computational Oncology
Kierownik:
Ewa Szczurek
Grafy dynamiczne; spójność, przepływy i kolorowanie
Kierownik:
Anna Zych-Pawlewicz
Granice baz danych
Kierownik:
Szymon Toruńczyk
Grupowe Miary Centralności: Aksjomaty, Algorytmy i Aplikacje
Kierownik:
Oskar Skibski
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Kierownik:
Bartosz Piotrowski
Identification of regulatory non-coding variants associated with neurodegenerative disorders based on targeted sequencing of open chromatin regions
Kierownik:
Magdalena Machnicka
Integracyjna analiza danych genomicznych z pojedynczych komórek
Kierownik:
Aleksander Jankowski
Koherentne Modele i Wydajne Algorytmy dla Duplikacji Genomowych
Kierownik:
Paweł Górecki
Konflikty z wieloma polami bitew i dyskretnymi zasobami
Kierownik:
Marcin Dziubiński
Kryptograficzne metody obrony przed nieuczciwymi producentami sprzętu elektronicznego
Kierownik:
Stefan Dziembowski
Metody obliczeniowe interpretacji zmian genomu
Kierownik:
Anna Gambin
Metody optymalizacji w alokacji zasobów obliczeniowych wielkiej skali
Kierownik:
Krzysztof Rządca
Narzędzia probabilistyczne do wysokowymiarowego wnioskowania geometrycznego i analizy danych topologicznych i sieci na dużą skalę.
Kierownik:
Kunal Dutta
ngSim: Nowe wyzwania symulacji bezprzewodowych urządzeń niskomocowych
Kierownik:
Konrad Iwanicki
Nieskończoność we wnioskowaniu o danych i wiedzy
Kierownik:
Filip Murlak
Nowe trendy w algorytmach tekstowych
Kierownik:
Jakub Radoszewski
Obliczeniowe aspekty geometrii nieeuklidesowych
Kierownik:
Eryk Kopczyński
Opracowanie technologii pozwalających na rozpoznawanie określonych cech osób
Kierownik:
Piotr Biliński
Parakonsystentne wnioskowanie w systemach autonomicznych usytuowanych w środowiskach złożonych informacyjnie
Kierownik:
Barbara Dunin-Kęplicz
Portfele blockchainowe -- kryptograficzna teoria i zastosowania
Kierownik:
Stefan Dziembowski
Problem najbliższych sąsiadów bez fałszywie ujemnych wyników
Kierownik:
Piotr Wygocki
Przewidywanie punktu izoelektrycznego białek i peptydów na podstawie cech sekwencyjnych i strukturalnych
Kierownik:
Łukasz Kozłowski
Quality Assessment Tool for international Cooperation
Kierownik:
Janina Mincer-Daszkiewicz
Rozwój metod statystycznych i algorytmicznych stosowanych w spektroskopii mas
Kierownik:
Michał Startek
Smart-Contract Protocols: Theory for Applications
Kierownik:
Stefan Dziembowski
Strategiczna analiza sieci społecznych
Kierownik:
Tomasz Michalak
Systemy wyboru komitetów: Metody niepunktowe
Kierownik:
Piotr Skowron
Technology transfer between modern algorithmic paradigms
Kierownik:
Marek Cygan
TUgbOAT
Kierownik:
Piotr Sankowski
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Kierownik:
Henryk Michalewski
Wielowartościowe i probabilistyczne rozszerzenia bazodanowych języków regułowych
Kierownik:
Andrzej Szałas
Wysoce konfigurowalne rozwiązanie eSignature dla szkolnictwa wyższego
Kierownik:
Janina Mincer-Daszkiewicz
Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik:
Paweł Parys
Zintegrowana analiza genomicznej, fenotypicznej i przestrzennej heterogeniczności nowotworów
Kierownik:
Ewa Szczurek
Zrozumieć rekursję
Kierownik:
Lorenzo Clemente
Instytut Matematyki Stosowanej i Mechaniki
Anizotropowe zagadnienie najmniejszego gradientu
Kierownik:
Wojciech Górny
Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych
Kierownik:
Leszek Marcinkowski
Kartezjusz
Kierownik:
Piotr Mucha
Konwekcja cieplna w płynach nieściśliwych
Kierownik:
Grzegorz Łukaszewicz
Matematyczna Mechanika Płynów
Kierownik:
Piotr Mucha
Matematyczne modele kwazikryształów
Kierownik:
Jacek Miękisz
Matematyka podejść wieloskalowych w naukach o życiu i naukach społecznych
Kierownik:
Mirosław Lachowicz
Metoda relatywnych entropii dla układów nieliniowych
Kierownik:
Agnieszka Świerczewska-Gwiazda
Metody obliczeniowe dla wysokowymiarowego uczenia statystycznego
Kierownik:
Błażej Miasojedow
Nieliniowe zagadnienia różniczkowe w uogólnionych przestrzeniach Sobolewa i Orlicza
Kierownik:
Iwona Chlebicka
Nielokalne zagadnienia ewolucji powierzchni międzyfazowych
Kierownik:
Piotr Rybka
Nowe wyzwania dla IBC
Kierownik:
Henryk Woźniakowski
Opóźnienia czasowe w stochastycznych modelach biologicznych
Kierownik:
Jacek Miękisz
Osobliwa dynamika współoddziałujących cząstek
Kierownik:
Jan Peszek
Procesy transportu w biologii matematycznej
Kierownik:
Agnieszka Świerczewska-Gwiazda
Stabilność profili wybuchów dla równania Fujity
Kierownik:
Mikołaj Sierżęga
Teoriomiarowe podejście do nieliniowych równań cząstkowych i problemów wariacyjnych
Kierownik:
Anna Zatorska-Goldstein
Tragedia wspólnego zasobu w kontekście dynamicznym - modelowanie, metodologia, zapobieganie The tragedy of the commons in problems of dynamic
Kierownik:
Agnieszka Wiszniewska-Matyszkiel
Wpływ mechanizmów wymiany w węzłach na własności asymptotyczne zagadnień transportu na sieci
Kierownik:
Aleksandra Puchalska
Zachowania kolektywne z perspektywy matematyka
Kierownik:
Piotr Mucha
Granty zakończone