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-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...
2019-01-17, godz. 14:30, 2180
Piotr Achinger (IM PAN)
Fields Medal 2018: Peter Scholze i geometria p-adyczna (Peter Scholze and p-adic geometry)
Liczby p-adyczne są teorioliczbowym odpowiednikiem liczb rzeczywistych. Są blisko związane z problemami w teorii liczb, ale jednocześnie można nad nimi uprawiać analizę matematyczną. W ostatnich latach poczyniono ogromne postępny w trudnej dziedzinie geometrii p-adycznej, z których d...
2018-12-06, godz. 14:30, 2180
Agnieszka Świerczewska-Gwiazda (Instytut Matematyki Stosowanej i Mechaniki)
Opowiem o tylko z pozoru prostym równaniu transportu. Z jednej strony jest ono badane w kontekście istnienia i własności rozwiązań, a z drugiej strony jest częścią wielu modeli matematycznych opisujących procesy fizyczne i biologiczne. I will discuss a transport equ...
2018-11-15, godz. 14:30, 2180
Henryk Michalewski i Piotr Miłoś (Instytut Matematyki)
Uczenie ze wzmocnieniem, lekcja wygrywania (Reinforcement learning, learning to win)
Uczenie ze wzmocnieniem może potencjalnie rozwiązać każdy problem decyzyjny. Pomimo, że cel ten jest wciąż daleki do osiągnięcia praktycznie, to w ostatnich latach byliśmy świadkami spektakularnych sukcesów. W wystąpieniu pokażemy jak wygrać w grę Atari, jak pokonać mistrza...