Dynamika symboliczna i obliczeniowa (seminarium)

Rok akad. 2001/2002 (archiwum)

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

Tematy spotkań w roku akad. 2001/2002

04,11,25.10.2001 - Daniel Wilczak: Chaos w równaniu Kuramoto-Sivashinskiego i rozwiązanie hipotezy Troya

18.10.2001 - Witold Jarnicki: Przedstawienie problemu P=NP

08.11.2001 - Piotr Zgliczyński: O algorytmie Lohnera

Streszczenie: Algorytm Lohnera jest dosyć dobrym algorytmem do ścisłego liczenia trajektorii dla równań różniczkowych zwyczajnych. Omówię ogólną strukturę algorytmów Lohnera dla C⁰-, C¹- i Cⁿ-obliczeń, gdy oprócz trajektorii wyliczamy pochodne cząstkowe względem warunków początkowych, oraz pokażę, że można również używać w algorytmie Lohnera metody Runge-Kutty i że są szanse na to, że jest ona szybsza w pewnych warunkach niż zwykle używana metoda Taylora.

15,22.11.2001 - Leszek Pieniążek: Weryfikacja istnienia trajektorii okresowych w problemie trzech ciał metodą śledzenia (shadowing)

29.11.2001 - Adam Kleiner: Ulepszenie do metody Lohnera ścisłego komputerowego rozwiązywania równań różniczkowych zwyczajnych

06.12.2001 - Monika Mielnikiewicz: Wskaźnik uwarunkowania zadania rozwiązywania układu równan liniowych - koszt oszacowania (J. Demmel, B. Diament, G. Malajovich: On the Complexity of Computing Error Bounds)

13.12.2001 - Tomasz Krawczyk: Podshifty skończonego typu

20.12.2001, 03.01.2002 - Zbigniew Galias: Interwałowa metoda Newtona

10.01.2002 - Mikołaj Zalewski: Nadialko S. Nedialkov, Kanneth R. Jackson: A new perspective on the warpping effect in interval methods for initial value problems for ordinary differential equations

17.01;21,28.02.2002 - Piotr Zgliczyński: Metoda samouzgodnionych oszacowań a priori, bifurkacje punktów stałych

07.03.2002 - Piotr Zgliczyński: Heterokliniczne i homokliniczne połączenia w ograniczonym problemie trzech ciał

14.03.2002 - Daniel Wilczak: N.S. Nedialkov and K.R. Jackson: An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation

21.03.2002 - Anthony Baker (Paderborn University): A functional analytic method for the rigorous computation of periodic orbits

04.04.2002 - Tomasz Kapela: Orbity okresowe w problemie trzech ciał

11.04.2002 - Tomasz Krawczyk: Sofic shifts i entropia

18.04.2002 - Daniel Wilczak: Orbity heterokliniczne w równaniach Kuramoto-Sivashinskiego

25.04.2002 - Maciej Capiński: Wykrywanie hiperbolicznych zbiorów niezmienniczych za pomocą relacji nakrywających

09.05.2002 - Konstantin Mischaikow (Georgia Institute of Technology): Competition and dispersal

16.05.2002 - Maciej Capiński: Relacje nakrywające dla perturbacji autonomicznych równań różniczkowych

23.05.2002 - Kinga Stolot: Istnienie struktury (ko)produktowej w kategorii Szymczaka - dowód. Własność addytywności indeksu dla odwzorowan wielowartościowych

Uczestnicy seminarium

Maciej Capiński, Instytut Matematyki UJ

Zbigniew Galias, Zakład Elektrotechniki AGH

Adam Kleiner, Instytut Matematyki UJ

Leszek Pieniążek, Instytut Matematyki UJ

Paweł Pilarczyk, Instytut Informatyki UJ

Kinga Stolot, Instytut Matematyki UJ

Krzysztof Szyszkiewicz-Warzecha, Wyższa Szkoła Biznesu - National Louis University

Maciej Ślusarek, Instytut Informatyki UJ

Adam Tomczyk, Wyższa Szkoła Biznesu - National Louis University

Daniel Wilczak, Wyższa Szkoła Biznesu - National Louis University

Klaudiusz Wójcik, Instytut Matematyki UJ

Piotr Zgliczyński, Instytut Matematyki UJ

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