Katedra Informatyki
WPPT, Politechnika Wrocławska

Listy prac dyplomowych

Od semestru letniego 2014/2015 wszystkie zgłaszane i realizowane prace dyplomowe będą znajdowały się na tej stronie. Lista prac z poprzednich semestrów jest i będzie niekompletena.
UWAGA: Od roku 2016 ma być wdrożony uczelniany system prac dyplomowych. Na razie, do początku kwietnia, wstrzymujemy się z wpisywaniem nowych tematów do naszego lokalnego systemu. Jesli on będzie działał w miarę poprawnie, to tutaj znajdzie się link do tego nowego systemu.

2017/2018
2016/2017

Rok akademicki 2017/2018

Lp Osoba Tytuł Rodzaj Status

Rok akademicki 2016/2017

Lp Osoba Tytuł Rodzaj Status
1dr inż. Zbigniew GołębiewskiAnaliza i wizualizacja sieci społecznej naukowców
Analysis and visualization of the social network of scientists
inżwolna
2dr Rafał KapelkoEksperymentalne badania problemu rozmieszczania mobilnych sensorow na kwadracie.
Experimental study of the mobile sensor deployment on the square.
inżwolna
3dr Rafał KapelkoJak unikac interefencji dla sensorow w jednym wymiarze. Eksperymentalne badania
How to avoid interference in one dimensional sensor network. Experimental study.
inżwolna
4dr Przemysław KobylańskiRealizacja kolejek priorytetowych oraz ich formalna weryfikacja
The implementation of priority queues and their formal verification
inżwolna
5dr Przemysław KobylańskiImplementacja w języku Haskell interpretera języka Prolog z odraczaniem celów
Haskell implementation of Prolog with goal freezing
inżzarezerwowana
6dr Przemysław KobylańskiPakiet do modelowania połączeń kolejowych i jego formalna weryfikacja
Package for modeling railway network and its formal verification
inżzarezerwowana
7dr hab. Paweł ZielińskiProjekt i implementacja systemu analizy statystycznej dla aplikacji webowej...
Design and implementation of statistical analysis system for web application.
inżzarezerwowana
8dr inż. Zbigniew GołębiewskiRachunek lambda w służbie ludzkości
Save the people with lambda calculus
mgrwolna
9dr Przemysław KobylańskiAlgorytmy filtrowania oparte na rozszerzonych automatach skończonych
Filtering algorithms based on extended finite machines
mgrwolna