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: 7 marca, 4 kwietnia, 9 maja.
Organizatorzy
- dr hab. Radosław Adamczak, prof. ucz.
- dr hab. Filip Murlak, prof. UW
- dr hab. Monika Piotrowska
- dr hab. Anna Talarczyk-Noble, prof. UW
Informacje
czwartki, 14:30 , sala: 2180Lista referatów
-
7 listopada 2019 14:30
Paweł Goldstein (Instytut Matematyki)
Niezmienniki topologiczne dla przekształceń nieciągłych
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óżniczkowej. Jednak w realnych …
-
6 czerwca 2019 14:30
Krzysztof Rządca (Instytut Informatyki)
Dogfood: Alokacja zasobów w superkomputerach i chmurach
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 …
-
16 maja 2019 14:30
Maciej Borodzik (Instytut Matematyki)
Niezmienniki Khovanova dla węzłów
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 …
-
4 kwietnia 2019 14:30
Henryk Woźniakowski (Instytut Matematyki Stosowanej i Mechaniki)
O przekleństwie wymiaru dla wielowymiarowych zadań ciągłych
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 …
-
14 marca 2019 14:30
Wojciech Czerwiński (Institute of Informatics)
Osiągalność w sieciach Petriego
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 …
-
17 stycznia 2019 14:30
Piotr Achinger (IM PAN)
Fields Medal 2018: Peter Scholze i geometria p-adyczna
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 …
-
6 grudnia 2018 14:30
Agnieszka Świerczewska-Gwiazda (Instytut Matematyki Stosowanej i Mechaniki)
Równanie transportu - jedno równanie, wiele metod
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 …
-
15 listopada 2018 14:30
Henryk Michalewski i Piotr Miłoś (Instytut Matematyki)
Uczenie ze wzmocnieniem, lekcja wygrywania
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, …
-
11 października 2018 14:30
Marcin Dziubiński (Instytut Informatyki)
Nagroda Nevanlinny 2018: Jak trudno obliczyc równowagę Nasha?
Tegoroczna nagroda Nevanlinny, za osiągnięcia w matematycznych aspektach nauk informatycznych, przyznana została Constantinosowi Daskalakisowi za jego wkład w badanie złożoności obliczeniowej podstawowych problemów w dziedzinie rynków, aukcji, równowag, oraz innych zagadnień ekonomicznych. Na kolokwium przedstawię …
-
14 czerwca 2018 14:30
Jacek Miękisz (Instytut Matematyki Stosowanej i Mechaniki)
Kwazikryształy, lokalne reguły ---> globalny porządek / Quasicrystals - global order from local rules
Johannes Kepler myślał o układaniu kul armatnich na okrętach wojennych, David Hilbert był zainteresowany pokrywaniem przestrzeni wielościanami, Roger Penrose był inspirowany przez Mauritsa Eschera i projektował niemożliwe obiekty, Dan Shechtman odkrył kwazikryształy. Jeśli chcesz wiedzieć, …
-
17 maja 2018 14:30
Andrzej Nagórko (Instytut Matematyki)
Topologia wywrócona na lewą stronę / Topology turned inside out
Topologia zajmuje się lokalnymi własnościami przestrzeni, obserwowanymi w małych kulach, których promienie dążą do zera. Geometria asymptotyczna zajmuje się globalnymi niezmiennikami przestrzeni metrycznych, obserwowanymi w dopełnieniach dużych kul, których promienie dążą do nieskończoności. Podczas referatu …
-
12 kwietnia 2018 14:30
Tomasz Michalak (Instytut Informatyki)
Ukrywanie Osób i Społeczności w Sieciach
Powszechność internetu a szczególnie mediów społecznościowych wzbudziły ogromne zainteresowanie opracowaniem coraz bardziej wyrafinowanych narzędzi do analizy sieci społecznych, ze szczególnym naciskiem na wykrywanie społeczności i identyfikację kluczowych osób. W naszej pracy badamy, czy ludzie mogą …
-
8 marca 2018 14:30
Piotr Bogusław Mucha (Instytut Matematyki Stosowanej i Mechaniki)
O przepływach nie do końca ściśliwych
Wyobraźmy sobie płyn, nie do końca jednorodny, ale lepki i zachowujący się mniej więcej jak woda. Dynamika ruchu takiego płynu powinna bazować na standardowych równaniach, klasycznych, takich jak układ Navier-Stokesa, tak, ten sam co z …
-
11 stycznia 2018 14:30
Jarek Buczyński (Instytut Matematyki)
$k$-regularność w topologii i geometrii
Odwzorowanie ciągłe R^m -> R^N nazwiemy k-regularnym, jeśli obrazy dowolnych k różnych punktów są liniowo niezależne. Dla ustalonych m i k ważnym problemem postawionym przez Czebyszewa oraz Borsuka jest znalezienie najmniejszego N, dla którego takie …
-
7 grudnia 2017 14:30
Michał Skrzypczak (Instytut Informatyki)
Gry w topologii i ich efektywne warianty
Będę mówił o grach używanych do charakteryzacji pojęć matematycznych: od gry Banacha-Mazura, po gry konstruowane współcześnie w teorii automatów. Skupię się na kwestiach determinacji i możliwości efektywnego rozwiązywania danej gry. Spróbuję zargumentować, że odpowiednie dobranie …