| Nazwisko i imię |
Tytuł pracy |
Nagroda |
Edycja |
|
dr Jacek Cichoń
|
Budowa systemów ekspertowych. |
wyr |
V
|
| Logika S4 i automatyczne dowodzenie twierdzeń. |
|
I
|
|
dr Jarosław Ciemnoczołowski
|
Teoretyczne podstawy i metodologia modelowania wiedzy leksykalnej w przestrzeni języka naturalnego na przykładzie słownika elektronicznego WordNet. |
|
XIV
|
|
dr Michał Cieśla
|
Optymalizacja stron internetowych. |
|
XXX
|
|
prof. dr hab. Roman Ciuryło
|
Optymalizacja iteracyjnej metody obliczania kształtów linii widmowych. |
|
XXXII
|
|
dr inż. Rafał Cupek
|
Algorytm i implementacja sekwencjonowania bloków funkcjonalnych sterownika PLC. |
|
XXI
|
|
dr Marek Cygan
|
Algorytmy aproksymacyjne dla problemów lokalizacji obiektów z pojemnościami. |
I |
XXXI
|
|
dr inż. Adam Czajka
|
Automatyczny dobór parametrów kodowania tęczówki w metodzie wykorzystującej transformatę Zaka-Gabora. |
|
XXIX
|
|
dr hab. inż. Paweł Czarnul
|
Modeling parallel processing with GPU and verification using the MERPSYS platform. |
|
XXXIV
|
|
dr inż. Paweł Czarnul
|
Internetowy rozproszony algorytm gry dwuosobowej z bazą wiedzy i uczeniem |
|
XXIII
|
| Porównanie wydajności i elastyczności programowania z wykorzystaniem mechanizmów unified memory oraz dynamic parallelism do tradycyjnego API programistycznego na platformie CUDA. |
wyr |
XXXIII
|
|
dr hab. inż. Zbigniew Czech
|
Algorytmy heurystyczne dla rozwiązywania problemu dostawy. |
|
XV
|
| Algorytmy mrówkowe. |
|
XV
|
| Równoległy algorytm generowania minimalnej bazy cyklowej dla transputerów. |
wyr |
IX
|
| Transputerowa realizacja równoległego algorytmu przeszukiwania wyczerpującego. |
|
X
|
| Rónoległa implementacja algorytmu dla znajdowania subminimalnej bazy cyklowej. |
wyr |
VIII
|
| Opracowanie i wykonanie kompilatora podzbioru języka Pascal rozbudowanego o możliwości współbieżnego wykonywanie procesów. |
|
VII
|
| Sztuczne życie. |
|
XIX
|
| Routing algorithms for three dimensional interconnection networks based on the Honeycomb mesh. |
|
XIX
|
| Programowanie wielowątkowe. |
|
XIX
|
| Automatyczna weryfikacja podpisów - implementacja klasyfikatora wielostopniowego. |
|
XXI
|
| Zastosowanie algorytmów mrówkowych do grupowania danych. |
|
XXIV
|
| Parallel Memetic Algorithm to Solve the Vehicle Routing Problem with Time Windows. |
II |
XXVIII
|
| Projektowanie oraz implementacja programów równoległych z pamięcią wspólną. |
|
XXX
|
| Algorytmy memetyczne. |
|
XXXIV
|
|
dr inż. Łukasz Czekierda
|
Rozszerzalna platforma do efektywnej, interaktywnej komunikacji w heterogenicznym środowisku sieciowym. |
|
XXV
|
|
dr inż. Jacek Dajda
|
Wspieranie praktyki przeglądu kodu źródłowego na urządzeniach mobilnych. |
|
XXXI
|
| Wspieranie wytwarzanie oprogramowania w metodyce Scrum. |
|
XXXI
|
|
brak Czesław Daniłowicz
|
Zastosowanie ukrytych łańcuchów Markowa do wyszukiwania w bazach danych. |
|
XVIII
|
|
dr Wiktor Dańko
|
Problemy rozstrzygalności elementarnej teorii stosów. |
|
II
|
|
dr Julian Dębowy
|
Metody reprezentacji wiedzy w systemach ekspertowych i techniki ich implementacji. |
|
IV
|
|
dr inż. Krzysztof Dembczyński
|
Klasyfikatory łańcuchowe dla problemów klasyfikacji wieloetykietowej. |
|
XXIX
|
|
dr inż. Anna Derezińska
|
CREAM (Creator of Mutants) - automatyczny system mutacji obiektowych. |
|
XXV
|
|
dr hab. Krzysztof Diks
|
Wyszukiwanie w grafach - uogólnienie wyszukiwania binarnego |
|
XXII
|
| Algorytmika praktyczna w konkursach informatycznych. |
|
XXIV
|
| Dynamic algorithms for transitive closure and strongly connected components. |
wyr |
XXVII
|
|
dr inż. Grzegorz Dobrowolski
|
Koncepcja i badania symulacyjne systemu sterowania pracą urządzeń dystrybucji siepła w budynku. |
|
XVI
|
|
mgr inż. Cezary Dołęga
|
Zastosowanie sieci neuronowej w rozpoznawaniu pisma odręcznego. |
|
IX
|
|
dr hab. Leon Dorozik
|
Możliwości wykorzystania mikrokomputera do ewidencji obrotu drewnem na nabrzeżu w porcie szczecińskim. |
|
III
|
|
dr inż. Jarosław Drapała
|
Detekcja początku aktywności mięśnia na podstawie sygnału EMG - porównanie i opracowanie algorytmów. |
|
XXXI
|
|
dr inż. Agnieszka Drużdżel
|
Probabilistyczny model wspomagający diagnozowanie autyzmu. |
|
XXXI
|
|
dr inż. Artur Dubielewicz
|
Połączenie komputerów IBM PC i VAX dla potrzeb sieci KASK. |
|
VII
|
|
dr inż. Iwona Dubielewicz
|
Projekt i realizacja translatora języka TTCN na maszynę IBM/PC. |
III |
VII
|
drukuj stronę