9.10 - 9.40:
|
Prof. Wit Foryś,
Instytut Informatyki, Uniwersytet Jagielloński, Kraków,
Wybrane problemy kodowania i teorii automatów |
9.40 - 10.10:
|
Dr Janusz Jurek,
Uniwersytet Jagielloński, Kraków,
Metody konstrukcji hybrydowych systemów ekspertowych dla zastosowań w przemyśle |
10.10 - 10.40:
|
Prof. Andrzej Skowron, Dr Marcin Szczuka,
Instytut Matematyki Uniwersytetu Warszawskiego
Sieci klasyfikatorów |
11.00 - 11.20: |
Prof. Zbigniew Suraj, Wyższa Szkola Informatyki i Zarzadzania, Rzeszów,
Metody automatycznego odkrywania wiedzy z tablic danych oparte na teorii zbiorów przybliżonych i podejściach pokrewnych |
11.20 - 11.40: |
Prof. Zbigniew Suraj , mgr inż. Krzysztof Pancerz (promotorski),
Katedra Podstaw Informatyki, Wyższa Szkola Informatyki i Zarzadzania, Rzeszów,
Zastosowanie zbiorów przybliżonych do identyfikacji modeli systemów wspólbieznych |
11.40 - 12.10:
|
Dr inż. Włodzimierz Funika, Katedra Informatyki AGH, Kraków,
System monitorujacy dla rozproszonych aplikacji w Javie |
12.10 - 12.30:
|
Prof. Piotr Dembiński, referuje prof. Wojciech Penczek,
IPI PAN, Warszawa,
Automatyczna symboliczna weryfikacja programów i protokołów kryptograficznych w systemach rozproszonych |
16.00 - 16.20: |
Prof. Edward Nawarecki, Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki AGH, Kraków,
Planowanie agentowe w zmieniajacym sie dynamicznie środowisku z uwzglednieniem sytuacji kryzysowych |
16.20 - 16.50:
|
Dr inż. Marek Valenta, Wydział Elektrotechniki, Automatyki i Elektroniki, AGH, Kraków,
Konstrukcja modeli wiedzy systemów ekspertowych z uwzglednieniem procesu akwizycji wiedzy i eksploracji baz danych
|
17.10 - 17.40: |
Prof. Pawel Urzyczyn,
referuje dr Daria Walukiewicz-Chrząszcz lub dr Jacek Chrząszcz, Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego,
Wnioskowanie o programach przy użyciu narzędzi opartych na teorii typów |
17.40 - 18.00: |
Dr inż. Mariusz Szwoch,
Wydział Elektroniki, Telekomunikacji i Informatyki Politechniki Gdanskiej,
Biblioteka cyfrowa interaktywnych elektronicznych dokumentów muzycznych |
18.00 - 18.30: |
Prof. Krzysztof Cetnarowicz, dr Marek Kisiel-Dorohinicki,
Wydział Elektrotechniki, Automatyki i Elektroniki Katedra Informatyki AGH, Kraków,
Zdecentralizowany model obliczeń ewolucyjnych realizowany przy użyciu systemów wieloagentowych |
9.00 - 9.30:
|
Prof. Jerzy Nawrocki, Instytut Informatyki Politechniki Poznańskiej,
Eksperymentalna ocena wybranych praktyk związanych z Programowaniem Ekstremalnym |
9.30 - 9. 50:
|
Prof. Janusz Górski, mgr inż. Aleksander Jarzębowicz (promotorski),
Katedra Inżynierii Oprogramowania Politechniki Gdańskiej,
Metoda wykrywania anomalii w wybranych modelach systemów informatycznych |
9.50 - 10.10: |
Prof. Janusz Górski, mgr inż. Jakub Miler (promotorski),
Katedra Inżynierii Oprogramowania Politechniki Gdańskiej,
Metoda identyfikacji i oceny ryzyka w projektach informatycznych |
10:10 - 10.30
|
Prof. Janusz Górski, mgr inż. Marcin Olszewski (promotorski),
Katedra Inżynierii Oprogramowania Politechniki Gdańskiej,
Zintegrowana metoda analizy protokołów uwierzytelniania |
11.00 - 11.30: |
Prof. Andrzej Bartoszewicz, referuje dr inż. Michał Morawski,
Zakład Sieci Komputerowych Politechniki Łódzkiej,
Modele i algorytmy wieloscieżkowego rutowania w sieciach komputerowych z gwarancją jakości usług |
11.30 - 12.00:
|
Dr inż. Andrzej Chydziński,
Instytut Informatyki, Politechnika Ślaska, Gliwice,
Wyznaczanie charakterystyk kolejkowania ruchu we współczesnych sieciach komputerowych |
12.00 - 12.20: |
Prof . Wlodzimierz Ogryczak,
Instytut Automatyki i Informatyki Politechniki Warszawskiej,
Modele i algorytmy wspomagania efektywnego i sprawiedliwego rozdziału zasobów w złozonych systemach rozproszonych |
12.20 - 12.50: |
Prof. Jerzy Stefanowski, referuje prof. Krzysztof Krawiec,
Wydział Informatyki i Zarzadzania Politechniki Poznańskiej,
Algorytmy przekształcania reprezentacji danych dla systemów uczących się |
13.10 - 13.30: |
Prof. dr hab. Witold Kosiński, mgr Krzysztof Tyburek (promotorski),
Instytut Mechaniki Środowiska i Informatyki Stosowanej, Uniwersytet Kazimierza Wielkiego, Bydgoszcz,
Przeszukiwanie multimedialnych baz danych ze szczególnym uwzglednieniem strumienia audio |
16.00 - 16.20: |
Prof. Grażyna Demenko, referuje mgr Marcin Szymański,
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Neofilologii
Korpusowa metoda generowania mowy polskiej oparta na automatycznej selekcji suprasegmentalnych struktur sygnału |
16.20 - 16.40: |
Prof. Zbigniew Michalewicz, referuje mgr Stefan Kotowski,
Polsko-Japońska Wyższa Szkola Technik Komputerowych, Warszawa
Klasyfikacja algorytmów genetycznych z wykorzystaniem metod układów dynamicznych |
16.40 - 17.00:
|
Prof. Jerzy Klamka, mgr inż. Przemyslaw Głomb (promotorski),
Instytut Informatyki Teoretycznej i Stosowanej PAN, Gliwice
Metody indeksowania ruchomych obrazów wideo
|
17.30 - 17.50:
|
Prof. Jerzy Naskalski, referuje dr Ryszard Drożdż,
Katedra Biochemii Klinicznej, Collegium Medicum Uniwersytetu Jagiellońskiego, Kraków,
Komputerowa ocena zmian skórnych u chorych z wypryskiem atopowym i kontaktowym. |
17.50 - 18.20: |
Dr inż. Agnieszka Tomaka, referuje dr inż. Krzysztof Skabek,
Instytut Informatyki Teoretycznej i Stosowanej PAN, Gliwice,
Komputerowy, parametryczny i deformowalny geometryczny model głowy w zastosowaniu do jej rekonstrukcji, analizy i modelowania rozwoju |
18.20 - 18.50: |
Dr inż. Leszek Luchowski,
Instytut Informatyki Teoretycznej i Stosowanej PAN, Gliwice
Komputerowa, wielosensorowa percepcja, reprezentacja i analiza ksztaltów 3D z uwzglednieniem wystepowania informacji niepełnej i niedokładnej |