Celem kolokwium jest prezentacja bieżących kierunków badań prowadzonych na Wydziale MIM UW w formie godzinnych wykładów skierowanych do szerokiego grona pracowników naukowych i studentów. Kolokwium odbywa się w wybrane czwartki, średnio raz w miesiącu.
Najbliższe kolokwia: 9 marca, 20 kwietnia, 11 maja.
Link do zdalnego kolokwium: https://meet.google.com/xui-qqpw-fze
Osoby posiadające konto google w domenie UW proszone są o logowanie przy jego użyciu.
Dziesięć przykazań dla wykładowców kolokwium
2020-05-21, godz. 14:30, Google Meet
Piotr Nayar (Instytut Matematyki)
Zagadnienia izoperymetryczne w geometrii wypukłej (Isoperimetric problems in convex geometry)
Omówimy zagadnienia izoperymetryczne badane w geometrii wypukłej, podkreślając ich związki z innymi obszarami matematyki. Aby dołączyć do spotkania prosimy o skorzystanie z linku https://meet.google.com/uqe-ukgd-jds?hs=122 na kilka minut przed 14:30. Osoby posiadające konto google z ...
2020-04-23, godz. 14:30, Google Meet
Mirosław Lachowicz (Instytut Matematyki Stosowanej i Mechaniki)
Zamierzam opowiedzieć o dziwnym matematycznym świecie równań różniczkowo-całkowych i ich związku z opisem naszego, nie mniej dziwnego, świata. Aby dołączyć do spotkania prosimy o skorzystanie z linku https://meet.google.com/uqe-ukgd-jds?hs=122 na kilka minut przed 14:30. O...
2020-03-19, godz. 14:30, 2180
Adam Osękowski (Instytut Matematyki)
Metoda funkcji Bellmana jest silnym narzędziem służącym do dowodzenia różnych typów nierówności w analizie i rachunku prawdopodobieństwa. Z grubsza rzecz ujmując, podejście pozwala wywnioskować zadane oszacowanie z istnienia pewnej funkcji specjalnej, spełniającej od...
2020-01-09, godz. 14:30, 2180
Michał Pilipczuk (Instytut Informatyki)
Co to znaczy, że dana sieć połączeń jest rzadka? Próbując odpowiedzieć formalnie na to pozornie niewinne pytanie, przedstawimy krótkie wprowadzenie do Sparsity: teorii klas grafów rzadkich. Jest to młoda i prężnie rozwijająca się gałąź teorii grafów, zajmuj...
2019-12-12, godz. 14:30, 2180
Wojciech Niemiro (Instytut Matematyki Stosowanej i Mechaniki)
Drzewa losowe i algorytmy Monte Carlo (Random trees and Monte Carlo algorithms)
U podstaw algorytmów Monte Carlo leżą dwie ogólne idee: losowanie ważone i generowanie łańcuchów Markowa. Sekwencyjne Monte Carlo (SMC) opiera się na losowaniu ważonym w połączeniu z czymś przypominającym zasadę doboru naturalnego. Markowowskie Monte Carlo (MCMC) wyk...
2019-11-07, godz. 14:30, 2180
Paweł Goldstein (Instytut Matematyki)
W pochodnej przekształcenia różniczkowalnego zakodowane jest wiele informacji o jego topologicznych własnościach: ze znaku jakobianu możemy odczytać, czy zachowana jest orientacja; znając pochodną możemy ustalić stopień topologiczny i inne niezmienniki topologii różniczkowe...
2019-06-06, godz. 14:30, 2180
Krzysztof Rządca (Instytut Informatyki)
Dogfooding to szeroko stosowana praktyka przemysłu informatycznego, w której pracownicy testują wczesne wersje produktów używając ich w swoim codziennym życiu. Podczas wykładu będę przekonywał, że alokacja zasobów w superkomputerach i chmurach może być takim obszarem...
2019-05-16, godz. 14:30, 2180
Maciej Borodzik (Instytut Matematyki)
Niezmienniki Khovanova dla węzłów (Khovanov invariants for knots)
Niezmienniki Khovanova zostały wprowadzone w 2000 roku jako uogólnienie wielomianu Jonesa. W referacie opowiem o ich właściwościach i w przystępny sposób streszczę ich konstrukcję. Khovanov invariants were introduced around year 2000 as a generalization of the Jones polynomial....
2019-04-04, godz. 14:30, 2180
Henryk Woźniakowski (Instytut Matematyki Stosowanej i Mechaniki)
Wiele zadań d-wymiarowych cierpi na przekleństwo wymiaru co znaczy, że minimalna liczba obliczeń potrzebna dla znalezienia przybliżenia jest wykładnicza w d. To może się zdarzyć nawet dla zadań bardzo gładkich jak będzie zilustrowane zadaniem aproksymacji wielowymiarowej dla funkcji C&in...
2019-03-14, godz. 14:30, 2180
Wojciech Czerwiński (Institute of Informatics)
Osiągalność w sieciach Petriego (Reachability in Petri nets)
Sieci Petriego to stosunkowo prosty model obliczeń, a przy tym wciąż słabo zrozumiany ze strony teoretycznej i przez to ciekawy. Opowiem o problemie osiągalności w sieciach Petriego, który pyta, czy zaczynając z zadanej konfiguracji początkowej można osiągnąć zadaną konfiguracj...