Nazwisko i imię |
Tytuł pracy |
Nagroda |
Płaszczak Paweł
|
Hydra: Decentralized Distributed Computing Environment System Design and Prototype Implementation. |
I |
Bojańczyk Mikołaj
|
Problem skończonego modelu w rachunku Mi. |
II |
Kogut Dariusz
|
Dostęp w języku naturalnym w systemach wyszukiwania informacji. |
III |
Klin Bartosz
|
Implementacja semantyki statycznej specyfikacji architekturalnych w formalizmie CASL. |
wyr |
Kurzyniec Dawid
|
Java w obliczeniach dużej skali. |
wyr |
Wasylewski Adam
|
Rozproszona przestrzeń krotek Lindy z transakcjami. |
wyr |
Łuczak Bartosz
|
Deklaratywny język programowania komputera kwantowego - implementacja edytora i interpretera na tradycyjnej maszynie. |
|
Gwóźdź Łukasz
|
Algorytmy planowania zajęć dydaktycznych. |
|
Roliński Piotr
|
Representation and Analysis of systems specified in the Estelle language. |
|
Godlewski Przemysław
|
Modelowanie strumienia danych w systemie graficznym. |
|
Dubiel Leszek
|
Metoda redefinicji funkcji obliczalnych i automatyczna generacja algorytmów obliczających tak zdefiniowane funkcje na Maszynie Turinga. |
|
Olszówka Małgorzata
|
Metody kodowania i rekonstrukcji drzew k-arnych. |
|
Cieszkowski Marcin
Gołębiowski Grzegorz
|
Zastosowanie technologii agentów do realizacji procesu egzaminowania. |
|
Węcel Krzysztof
|
Odkrywanie wiedzy dla doskonalenia profili HyperSDI w hurtowniach danych. |
|