The aim of the colloquium is to present the current directions of research at the Faculty of MIM UW in the form of one-hour lectures addressed to a wide range of academic staff and students. The colloquium is held on selected Thursdays, on average once a month.
Organizers
- dr hab. Radosław Adamczak, prof. ucz.
- dr hab. Filip Murlak, prof. UW
- dr hab. Monika Piotrowska
- dr hab. Anna Talarczyk-Noble, prof. UW
Information
Thursdays, 2:30 p.m. , room: 2180List of talks
-
Nov. 7, 2019, 2:30 p.m.
Paweł Goldstein (Instytut Matematyki)
Topological invariants for discontinuous mappings
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 …
-
June 6, 2019, 2:30 p.m.
Krzysztof Rządca (Instytut Informatyki)
Dogfood: Resource allocation in supercomputers and clouds
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 …
-
May 16, 2019, 2:30 p.m.
Maciej Borodzik (Instytut Matematyki)
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 …
-
April 4, 2019, 2:30 p.m.
Henryk Woźniakowski (Instytut Matematyki Stosowanej i Mechaniki)
The curse of dimensionality for multivariate continuous problems
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 …
-
March 14, 2019, 2:30 p.m.
Wojciech Czerwiński (Institute of Informatics)
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 …
-
Jan. 17, 2019, 2:30 p.m.
Piotr Achinger (IM PAN)
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 …
-
Dec. 6, 2018, 2:30 p.m.
Agnieszka Świerczewska-Gwiazda (Instytut Matematyki Stosowanej i Mechaniki)
Transport equation - one equation, plenty of methods
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 …
-
Nov. 15, 2018, 2:30 p.m.
Henryk Michalewski i Piotr Miłoś (Instytut Matematyki)
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, …
-
Oct. 11, 2018, 2:30 p.m.
Marcin Dziubiński (Instytut Informatyki)
How hard is it to compute Nash equilibrium?
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ę …
-
June 14, 2018, 2:30 p.m.
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ć, …
-
May 17, 2018, 2:30 p.m.
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 …
-
April 12, 2018, 2:30 p.m.
Tomasz Michalak (Instytut Informatyki)
Hiding Indviduals and Communities in a Social Network
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ą …
-
March 8, 2018, 2:30 p.m.
Piotr Bogusław Mucha (Instytut Matematyki Stosowanej i Mechaniki)
On flows not too compressible
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 …
-
Jan. 11, 2018, 2:30 p.m.
Jarek Buczyński (Instytut Matematyki)
$k$-regularity in topology and geometry
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 …
-
Dec. 7, 2017, 2:30 p.m.
Michał Skrzypczak (Instytut Informatyki)
Games in topology and their effective variants
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 …