Lorenz Attractor by PwP

Dynamika symboliczna i obliczeniowa (seminarium)

Rok akad. 2002/2003 (archiwum)

W roku akad. 2002/2003 seminarium było prowadzone przez prof. Mariana Mrozka, dra hab. Wita Forysia oraz Piotra Zgliczyńskiego. Spotkania odbywały się w czwartki w godz. 16:15-17:45 w Instytucie Informatyki UJ w sali nr 215.


Tematy spotkań w roku akad. 2002/2003

03,10,17.10.2002 - Piotr Zgliczyński: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models - wg M. Berza i K. Makino, Relable Computing 4: 361-369, 1998

24.10.2002 - Monika Mielnikiewicz: Początek chaosu w równaniach różniczkowych - na podstawie pracy Jacka K. Hale i Natalii Sternberg Onset of Chaos in Differential Delay Equations

07.11.2002 - Piotr Zgliczyński: Jak w sposób ścisły całkować dysypatywne równiania różniczkowe cząstkowe

14,21.11.2002 - Maciej Capiński: Metoda Melnikova

28.11;05.12.2002 - Marcin Kulczycki: Zabronione słowa w dynamice symbolicznej

12,19.12.2002 - Paweł Wilczyński: Numerical analysis and control of bifurcation problems - na podstawie pracy E. Doedel, H.B. Keller, J.P. Kernevez

09.01.2003 - Paweł Pilarczyk: Algorytm obliczania odwzorowań indukowanych w homologiach

16,23.01.2003 - Roman Adam: Global and local complexity in weakly chaotic dynamical systems - na podstawie pracy S. Galato

20.02.2003 - Tomasz Kapela: Ciekawe trajektorie okresowe w problemie trzech ciał - dowody wspierane komputerowo (zob. link do pracy)

27.02.2003 - Wawrick Tucker: Robust normal forms for analytic vector fields (zob. link do pracy)

06.03.2003 - Piotr Zgliczyński: Śledzenie pseudoorbit w ograniczonym problemie trzech ciał - wg Stoffera i Kirchgrabera

13.03.2003 - Barbara Foryś: Bioinformatyka - na podstawie R. Durbin, S. Eddy, A. Krogh, G. Mitchison, Biological sequence analysis

20,27.03.2003 - Michał Stachańczyk: Algorytmy segmentacji i rozpoznawania obrazów na podstawie kodowania fraktalnego

03.04.2003 - Piotr Oprocha: Algorithmic Chaos - na podstawie pracy Paul M.B. Vitanyi

10,24.04.2003 - Monika Mielnikiewicz: Dyskretna teoria Morse'a - na podstawie pracy Robin Forman, A user's guide to discrete Morse theory

08.05.2003 - Michał Sajdak: Weak equivalence between of shifts of finite type

15.05.2003 - Jarosław Duda: Metoda Lindtsteada Poincare dla orbit okresowych

22,29.05.2003 - Ela Zakrzewska: Runge-Kutta Methods, Trees and Mathematica - na podstawie pracy Folkmar Bornemann


Niniejsza strona WWW była prowadzona przez Macieja Capińskiego.