Nazwisko i imię |
Tytuł pracy |
Nagroda |
Jedynak Wojciech
|
Operational Semantics of Ltac: A Formal Study of the Tactic Language of the Coq Proof Assistant. |
|
Kamiński Jarosław
|
Rozwój usługi detekcji awarii FADE. |
|
Trynkiewicz Krzysztof
|
Optymalizacja stron internetowych. |
|
Sztandera Kamil
|
Ocena wydajności i jakości architektury systemów stworzonych z uwzględnieniem paradygmatu SOA. |
|
Łupińska Agnieszka
|
A Parallel Algorithm to Test Chordality of Graphs. |
|
Tkaczyk Rafał
|
AgentPlanner - agentowy system zarządzania planem zajęć. |
|
Waniek Marcin
|
Komputerowa symulacja walki zbrojnej w XVII wieku. |
|
Komosa Paweł
|
Graph Separation Problems from Parameterized Point of View. |
|
Goścień Róża
|
Jednoczesna optymalizacja przepływów anycast oraz unicast w elastycznych sieciach optycznych z wykorzystaniem algorytmu tabu search. |
|
Postawka Aleksandra
|
Autonomiczna nawigacja robota mobilnego i heurystyczne metody rozpoznawania otoczenia. |
|
Styperek Adam
|
An Intuitive Semantic Search Engine with Graphical User Interface. |
|
Janoszka Tomasz
|
Teoria informacyjnego wąskiego gardła (information bottleneck) i jej zastosowania w problemach klasyfikacji. |
|
Winiarz Szymon
|
Automatyczne komponowanie muzyki o zadanym charakterze emocjonalnym. |
|
Wojdan Artur
|
Lokalne i zdalne sterowanie funkcjami w systemach automatyki budynkowej. |
|