Nazwisko i imię |
Tytuł pracy |
Nagroda |
Edycja |
prof. dr hab. Jadwiga Sobieska-Karpińska
|
Teoria a praktyka tworzenia rankingów na podstawie rankingów Chip Test Center International. |
|
XXIV
|
dr Ścibor Sobieski
|
Panel administracyjny serwisu studenckiego SUL - projekt i implementacja w oparciu o obiektowe języki skryptowe. |
|
XXI
|
Praktyczne aspekty programowania kontrolerów ethernetowych w systemie FreeBSD. |
|
XXIV
|
dr inż. Ryszard Sobkowiak
|
Systemy mikrokomputerowe 8-bitowe z pamięciami masowymi. |
|
IV
|
Programowanie mikrokontrolerów ADuC 8xx w języku ANSIC. |
|
XXIV
|
dr Stefan Sokołowski
|
Problem automatycznego typowania wyrażen. |
|
XI
|
Formalna specyfikacja edytora tekstu. |
II |
V
|
dr hab. Janusz Sosnowski
|
Symulator błędów dla środowiska Win32. |
I |
XV
|
System analizy pokrycia testów oprogramowania. |
|
XIX
|
Symulator błędów dla systemu Linux. |
|
XIX
|
System symulacji błędów MTInjector. |
|
XIX
|
System odkrywania wiedzy w hurtowni wyników eksperymentów symulacyjnych |
|
XXIII
|
System symulacji błędów w środowisku rozproszonym. |
wyr |
XXIV
|
Monitorowanie systemów komputerowych w środowisku Windows. |
|
XXVI
|
dr Zdzisław Spławski
|
Teoria typów z definicjami indukcyjnymi jako język programowania. |
wyr |
XV
|
prof. dr hab. Ewa Stachowska
|
Wyznaczanie toru ruchu i liczby plemników za pomocą komputerowej analizy obrazów holograficznych. |
|
XXXIV
|
dr inż. Andrzej Stachurski
|
Środowisko do wizualizacji pojęć optymalizacji i działania metod optymalizacyjnych. |
|
XVII
|
dr inż. Katarzyna Stąpor
|
Komputerowa analiza cyfrowych obrazów mikroskopowych osadu czynnego. |
|
XVII
|
Modelowanie kształtu i zachowania się obiektów graficznych reprezentowanych wolumetrycznie na przykładzie modelowania obiektów typu "dym". |
|
XVI
|
dr hab. inż. Jacek Starzyński
|
Wykorzystanie siatek progresywnych do efektywnej prezentacji wyników symulacji MES. |
|
XXVIII
|
dr inż. Andrzej Stasiak
|
Sterowana modelami metoda opisu architektury urządzeń komputerowych o ograniczonej złożoności (MDA+). |
|
XXVI
|
dr hab. inż. Jerzy Stefanowski
|
Sztuczna empatia. Automatyczne rozpoznawanie emocji na podstawie wyrazu mimicznego twarzy. |
|
XVIII
|
A clustering interface for Web search results in Polish and English. |
|
XVIII
|
Zastosowanie technik uczenia się na zapamiętanych przypadkach do budowy systemów doradczych. |
|
XIII
|
Systemy złożone w automatycznym uczeniu się z przykładów: selekcja cech i klasyfikatory złożone. |
|
XIX
|
Algorytmy indukcji reguł decyzyjnych dla wielokryterialnych i wieloatrybutowych problemów decyzyjnych. |
wyr |
XIX
|
Zastosowanie wybranych metod eksploracji danych do tworzenia streszczeń tekstów prasowych dla języka polskiego. |
II |
XXIV
|
Mining data streams with concept drift. |
II |
XXVII
|
Złozone klasyfikatory regułowe - analiza strategii podejmowania decyzji klasyfikacyjnej. |
|
XXVIII
|
Analiza i rozszerzenia klasyfikatora złożonego Roughly Balanced Bagging dla danych niezrównoważonych. |
II |
XXXII
|
dr Rafał Stęgierski
|
Algorytmy generacji obrazów o rozszerzonym zakresie dynamicznym. |
|
XXVII
|
dr Krzysztof Stencel
|
Baza danych na urządzenia przenośne "Xicco". |
|
XX
|
Wielofunkcyjny robot sterowany interfejsem mózg-komputer. |
|
XXVI
|
dr inż. Cezary Stępień
|
Edytor grafiki trójwymiarowej. |
|
V
|
16 bitowy mikroprocesorowy system laboratoryjny. |
wyr |
IV
|
Edytor graficzny EDGRAF - interakcyjny system do tworzenia rysunków 2-wymiarowych. |
III |
II
|
dr inż. Andrzej Stępień
|
Opracowanie pomiarowego systemu operacyjnego dla mikrokontrolerów ARM. |
|
XXV
|
dr Przemysław Stpiczyński
|
Metody kodowania i rekonstrukcji drzew k-arnych. |
|
XVII
|
Równoległe iteracyjne algorytmy rozwiązywania układów równań liniowych. |
|
XVII
|
Zastosowanie operatorów ewolucyjnych do optymalizacji drzew binarnych. |
III |
XX
|
Zastosowanie automatów komórkowych do symulacji ruchu drogowego. |
|
XX
|
Implementacja paradygmatu programowania agentowego w systemach typu cloud. |
|
XXVIII
|
dr inż. Krzysztof Strzecha
|
Static analysis of Java code with the JavaCC parser generator. |
|
XXI
|
Algorytmy segmentacji w systemach analizy ilościowej obrazów |
|
XXIII
|
dr hab. inż. Kazimierz Subieta
|
Obiektowa baza danych jako repozytorium XML. |
|
XX
|
dr inż. Artur Suchwałko
|
Algorytmy scoringu w identyfikacji białek metodą PMF (Peptide Mass Fingerprinting). |
|
XXVII
|
dr Zbigniew Suraj
|
Podstawowe problemy programowania współbieżnego i przykłady ich rozwiązywania. |
|
XVII
|
dr inż. Tomasz Surmacz
|
Testowanie zabezpieczeń sieci lokalnych pod względem nieupoważnionego dostępu na poziomie warstw 2-3 OSI |
|
XXII
|
dr inż. Walery Susłow
|
Aplikacja internetowa ASP.NET MVC do nadzoru nad udzielaniem widzeń osadzonym. |
|
XXVIII
|
dr hab. Maciej Sysło
|
System SORTING. Komputerowe wspomaganie nauczania o sortowaniu. |
III |
VII
|
System LISTDATA. Komputerowe wspomaganie nauczania o strukturach listowych. |
wyr |
VII
|
O liczbie rozszerzeń liniowych skończonych zbiorów częściowo uporządkowanych. |
wyr |
V
|
dr inż. Bogumił Szabłowski
|
Projektowanie bazy danych osobowych z wykorzystaniem systemu HADES. |
|
II
|
Procesor języka Query by Example. |
III |
II
|