Season 2003/2004, Thursday 12:15-13:45, room 5870
09.10.2003 Krzysztof Diks
Spotkanie organizacyjneUstalenie planu referatów. Osoby referujące proszone są o nadsylanie streszczeń referatów do publikacji na stronie.
16.10.2003 Robert Dąbrowski
Równania w półgrupie wolnejProblem rozwiązywania równań w półgrupie wolnej z 2 niewiadomymi.
23.10.2003 Rafał Dowgird
Przydział częstotliwości w sieciach radiowych.Streszczenie
30.10.2003 Tomek Waleń
Sortowanie przez odwracanieProblem sortowania permutacji przez odwracanie. Przegląd znanych wyników, przedstawienie wyników własnych i problemów otwartych.
06.11.2003 Maciek Kurowski
Greedy Algorithms for Dynamic Graph Problems
13.11.2003 Piotr Sankowski
Dwa dokładne algorytmy zliczaniaW trakcie seminarium opowiem o dwóch wielomianowych algorytmach zliczających: algorytmie zliczania drzew rozpinających w dowolnych grafach, oraz algorytmie zliczania doskonalłych skojarzeń w grafach planarnych. Obydwa algorytmy obrazują wykozystanie kombinatorycznych wlaściwosci wyznacznika do zliczania.
20.11.2003 Karol Gołąb
TematStreszczenie
27.11.2003 Łukasz Sznuk
TematStreszczenie
04.12.2003 Artur Ratyński
Wyszukiwanie zewnetrzne przy pomocy drzew GiST.Drzewa GiST (ang. Generalized Index Search Tree) pozwalaja na indeksowanie roznorodnych typow danych. Stanowia swoisty szablon, ktorego realizacje moga sie zachowywac identycznie jak, na przyklad: B+-drzewa, R-drzewa, RD-drzewa, k-D-B-drzewa, Ch-drzewa, hB-drzewa, V-drzewa, TV-drzewa, itd.
11.12.2003 Staszek Paśko
TematStreszczenie
18.12.2003 Franciszek Grzegorek
Równania na językachKilka problemów dotyczących równań, a takze nierówności (zawieranie) na językach.
08.01.2004 Łukasz Kowalik
Kolorowanie grafów planarnych bez trójkątówStreszczenie
15.01.2004 Marcin Mucha
TematStreszczenie
Przerwa miedzysemestralna
19.02.2004 Franciszek Grzegorek
Równania i nierówności w półgrupach zbiorów słówOpowiem o dwóch problemach. Pierwszy dotyczy nierówności (zawieranie się wyrażenia regularnego z niewiadomymi w wyrażeniu regularnym bez niewiadomych) i jest PSPACE-zupełny, drugi dotyczy równości (wyrażenie regularne z niewiadomymi = wyrażenie regularne bez niewiadomych) i jest EXPSPACE-zupełny.
26.02.2004 Tomasz Tyrakowski
Modele grafowe w sieciach bezprzewodowychStreszczenie
04.03.2004 Krzysiek Ciebiera
TematStreszczenie
11.03.2004
Jerzy Mycka, Instytut Matematyki, UMCS
Referat będzie dotyczył zagadnienia formalizacji obliczalności analogowej poprzez pojęcie rzeczywistych funkcji rekurencyjnych. Najpierw zostanie omówiony kontekst badań prowadzonych w tym kierunku (General Purpose Analog Computer - C. Shannon, Extended Analog Computer - L. Rubel, funkcje różniczkowalne algebraiczne). Następnie zostanie wprowadzona i poddana analizie definicja funkcji R-rekurencyjnych (C. Moore). Wskazane zostaną własności i znaczenie przejść granicznych w kontekście obliczalności w czasie ciągłym.
18.03.2004
Semianrium się nie odbędzie
Streszczenie
25.03.2004
Seminarium się nie odbędzie
Streszczenie
01.04.2004
Seminarium się nie odbędzieStreszczenie
08.04.2004
Kuba PawlewiczStreszczenie
15.04.2004
Workshop on broadcasting in radio networksWorkshop odbędzie się w godzinach 10-14 w sali Rady Wydziału. Jest dostępna strona workshopu .
22.04.2004
Rafał DowgirdStreszczenie
29.04.2004
Łukasz SznukStreszczenie
06.05.2004
Piotr SankowskiStreszczenie
13.05.2004
Marcin MuchaStreszczenie
20.05.2004
Tomek WaleńStreszczenie
27.05.2004
Maciek KurowskiStreszczenie
Last updated on 18/03/2004
Robert Dabrowski