Seminarium jest prowadzone przez prof. Mariana Mrozka  oraz Piotra Zgliczyńskiego. Spotkania odbywają się w czwartki w godz. 16:15-17:45 w Instytucie Informatyki UJ w sali nr 221.
05.10.2006 - Tomasz Kapela: O dowodzie stabilności "Ósemki" w problemie trzech ciał i o arytmetyce wielokrotnej precyzji
12.10.2006 - Bartosz Walczak: Computing over the reals: foundations for scientific computing
BITOWY MODEL OBLICZEN NA LICZBACH RZECZYWISTYCH Klasyczna teoria zlozonosci obliczeniowej (dla algorytmow dyskretnych) dopuszcza zasadniczo jeden model obliczen: maszyne Turinga. Wszystkie inne "sensowne" modele sa jej wielomianowo rownowazne. Dopiero przy probie uogolnienia tej teorii tak, aby mozna bylo badac zlozonosc algorytmow na liczbach rzeczywistych, pojawia sie pewna dowolnosc. Tak zwane maszyny BSS, ktore zakladaja mozliwosc dokladnego operowania na elementach ciala, stanowia model wygodny od strony matematycznej, ale nie majacy wiele wspolnego z praktyka obliczen numerycznych. Model bitowy natomiast zaklada operowanie na nieskonczonych reprezentacjach dyskretnych liczb rzeczywistych, przez co bardziej odpowiada praktyce, ale jest trudniejszy do analizy. Wraz z modelem bitowym przedstawiona jest teoria liczb i funkcji obliczalnych oraz zbiorow rozstrzygalnych w tym modelu, jak rowniez problemy otwarte dotyczace rozstrzygalnosci pewnych zbiorow fraktalnych.19.10.2006 - Leszek Grzanka: Bifurkacja podwojenia okresu dla odwzorowania Henona - komputerowo wspierany dowód
26.10.2006 - Wiesław Pałka i Piotr Piątek: Podstawowe zagadnienia algorytmów kwantowych
Materiały02.11.2006 - Seminarium nie odbędzie się
09.11.2006 - Wiesław Pałka i Piotr Piątek: Podstawowe zagadnienia algorytmów kwantowych c.d.
16.11.2006 - Dawid Toton: Computing over the reals: where Turing meets Newton
23.11.2006 - Mikołaj Zalewski: Dowód istnienia orbity okresowej w równaniu z opóźnionym argumentem
30.11.2006 - Paweł Gielmuda: Znajdowanie wszystkich pierwastków wielomianu metodą Newtona
Seminarium nie odbyło się
07.12.2006 - Mateusz Juda: Blind swarms for coverage in 2D
14.12.2006 - Konrad Skibski: Algorytm Hermita - Obreschkoffa wyliczania rozwiązań zwyczajnych równań różniczkowych
04.01.2007 - Anna Urbanska: Algorytmy obliczania postaci Smitha dla macierzy rzadkich i ich zastosowania do liczenia homologii
11.01.2007 - Paweł Gielmuda: Znajdowanie wszystkich pierwastków wielomianu metodą Newtona
11.01.2007 - Piotr Kalita i Igor Podolak: Model neuronu impulsowego (spiking) według Izhikevicha
25.01.2007 - Paweł Gielmuda: Znajdowanie wszystkich pierwastków wielomianu metodą Newtona
01.03.2007 - Mateusz Juda: Blind swarms for coverage in 2D c.d.
08.03.2007 - Tomasz Kaczynski (Universite de Sherbrooke): Discrete dynamical system framework for construction of connections between critical regions in lattice height data
15.03.2007 - Mateusz Juda: Blind swarms for coverage in 2D c.d.
22.03.2007 - Tomasz Michalski: Topological complexity of zero-finding - seminarium nie odbyło się
29.03.2007 - Hubert Bukowski: On the detection of simple points in higher dimensions using cubical homology
12.04.2007 - Paweł Dłotko: O aproksymacji homologii przestrzeni zwartych
19.04.2007 - Tomasz Michalski: Topological complexity of zero-finding
26.04.2007 - Tomasz Michalski: Topological complexity of zero-finding c.d.
10.05.2007 - Bartłomiej Nowak i Bartłomiej Kiszala: Target enumeration in sensor networks via integration with respect to Euler characteristic
17.05.2007 - Mikołaj Pudo: Approximation and complexity: iterated integration
24.05.2007 - Tomasz Kułaga: Variation by complexity theorists on three themes of Euler, Bezout, Betti and Poincare
31.05.2007 - Jakub Zygadło: Collapsible polyhedra and median spaces Praca
                      Tomasz Rzepiela i Adam Czaja Topological estimation using witness complexes
Co tydzień jest rozsyłane e-mailem ogłoszenie o najbliższym seminarium. Aby je otrzymywać, wystarczy napisać do mnie.
Spotkania w poprzednich latach: 1997/98, 1998/99, 1999/00, 2000/01, 2001/02, 2002/03, 2003/04, 2004/05, 2005/06.
Zob. także Seminarium RRPoraz ogłoszenie.
Niniejsza strona WWW jest prowadzonaprzez Natalię Żelazną.Wszelkie uwagi i komentarze proszę przesyłaće-mailem.