| Nazwisko i imię |
Tytuł pracy |
Nagroda |
Edycja |
|
prof. dr hab. Andrzej Gospodarowicz
|
Ochrona danych w bankowych systemach informatycznych. |
|
XIV
|
|
dr hab. Michał Grabowski
|
Autonormalizujące się bazy danych. |
|
XXVIII
|
|
dr inż. Michał Grochowski
|
Wykorzystanie konwolucyjnych sieci neuronowych do klasyfikacji wzorców - wybrane zastosowania dla celów wspomagania decyzji. |
|
XXXIV
|
| Wykorzystanie metod inteligencji obliczeniowej dla celów diagnostyki i klasyfikacji stanów anormalnych wybrane zastosowania w medycynie. |
|
XXXIV
|
|
prof. dr hab. Zdzisław Grodzki
|
Sterowane (k,m)-generatory ciągów pseudolosowych. |
|
XVIII
|
| Sztuczna inteligencja w rozpoznawaniu obrazów. |
wyr |
XI
|
| Systemy Lindenmayera i ich własności. |
|
VIII
|
| Automaty komórkowe - teoria i zastosowanie. |
III |
V
|
| Zmodyfikowane k-generatory alternacyjne i ich zastosowanie w kryptografii. |
|
XX
|
|
dr inż. Jacek Gruber
|
Wykorzystanie technik sztucznej inteligencji do automatycznego komponowania muzyki. |
wyr |
XXXIV
|
|
dr hab. Adam Grzech
|
Zintegrowane cyfrowo sieci szerokopasmowe BISDN. Wybrane zagadnienia. |
wyr |
IX
|
| Analiza i projekt systemu monitorowania ruchu w sieci komputerowej. |
|
XX
|
| Traffic Anomalies Detection in Computer Communication Systems. |
III |
XXV
|
|
dr hab. inż. Damian Grzechca
|
Lokalizacja poruszających się obiektów na podstawie analizy sygnałów z sensorów MEMS. |
|
XXXIV
|
|
dr Ewa Gurbiel
|
JU-LEK - system autorski do tworzenia lekcji dla mikrokomputera szkolnego ELWRO 800 Junior. |
III |
VI
|
| Algorytmy automatycznego generowania krzyżówek. System generowania krzyżówek "APIS". |
II |
VII
|
| Materiały pomocnicze do nauczania języka LOGO w szkole średniej. |
wyr |
III
|
| Pakiet makrodefinicji ogólnego przeznaczenia. |
wyr |
I
|
| Model wzorcowy ISO-OSI. |
|
XIV
|
| Komputerowe wspomaganie układania planu zajęć. |
|
XIV
|
|
dr hab. Katarzyna Gurczyńska-Sady
|
Rozumienie kodu źródłowego w świetle hermeneutyki filozoficznej Hansa-Georga Gadamera. |
|
XXXIV
|
|
dr hab. Tomasz Gwizdałła
|
Implementacja i analiza działania równoległego algorytmu genetycznego. |
|
XXXIII
|
|
dr inż. Zdzisław Habasiński
|
Automatyczne sprawdzanie specyfikacji programów. |
III |
III
|
|
dr inż. Piotr Habela
|
Integracja obiektowego języka zapytań z językiem programowania Java. |
|
XXVII
|
| Zarządzanie projektami opartymi na metodykach zwinnych w kontekście projektów badawczych. |
|
XXXI
|
|
dr Grzegorz Herman
|
Graph Separation Problems from Parameterized Point of View. |
|
XXX
|
|
dr inż. Bogumiła Hnatkowska
|
Spójność modeli w metodyce USDP. |
|
XXI
|
| Koncepcja narzędzia wspomagającego wytwarzanie kodu wysokiej jakości |
|
XXII
|
| Wpływ programowania aspektowego na wybrane charakterystyki jakościowe kodu. |
|
XXVI
|
|
dr Władysław Homenda
|
Automatyczna identyfikacja sekwencji dźwięków na podstawie właściwości przestrzeni akustycznej dźwięków generowanych przez instrumenty muzyczne. |
|
XXI
|
| Metody analizy struktury dokumentów. Projekt i implementacja modułu analizy struktury notacji muzycznej. |
|
XXII
|
|
dr Adrian Horzyk
|
System automatycznego rozpoznawania użytkownika komputera na podstawie sposobu pisania na klawiaturze i sposobu operowania myszką. |
|
XXVI
|
|
dr inż. Elżbieta Hudyma
|
Wymiar fraktalny - teoria i zastosowania. |
|
XIII
|
| Przetwarzanie danych multimedialnych. |
|
XIII
|
| Weryfikacja podpisu odręcznego metodą statyczną. |
|
X
|
| SASP - system komputerowy do symulacji i analizy procesów stochastycznych. |
|
XIX
|
|
dr hab. inż. Zbigniew Huzar
|
Modelling system for the extended PI-calculus. |
wyr |
XVIII
|
| Budowa i oprogramowanie maszyn cyfrowych. |
|
XVIII
|
| Problemy zastosowań metody VDL w implementacji języków programowania. |
wyr |
I
|
| Jądro i edytor systemu definiowania języków programowania. |
|
I
|
| Modelowanie w UML składni i semantyki języka Java. |
|
XIX
|
| Generowanie prototypu systemu na podstawie diagramów sekwencji. |
|
XX
|
| Refaktoryzacja modeli UML - wsparcie dla utrzymania wykonywalnych modeli |
wyr |
XXII
|
| Jakość modeli biznesowych w BPMN. |
wyr |
XXX
|
|
dr hab. Paweł Idziak
|
Generative complexity in semigroup varieties. |
wyr |
XVI
|
| Dimension online of upgrowing orders. |
|
XXI
|
| Flashy shapes recognition. |
|
XXXI
|
|
dr hab. Edmund Ignasiak
|
Strategie szeregowania zadań w systemach operacyjnych komputerów. |
|
III
|
|
dr Jadwiga Indulska
|
Praktyczny generator parserów dla gramatyk klasy LL(1). |
|
V
|
|
prof. dr hab. Bipin Indurkhya
|
Poetry-generating system. |
|
XXXI
|
|
dr inż. Wacław Iszkowski
|
Dydaktyczny generator systemów operacyjnych czasu rzeczywistego LOGOS-CR (MODUS); Jądro systemu. |
|
IV
|
| Dydaktyczny generator systemów operacyjnych czasu rzeczywistych LOGOS-CR (MODUS). |
|
IV
|
| LOGOS - generator dydaktyczny systemów operacyjnych dla minikomputera SM-4. |
|
II
|
|
dr Konrad Iwanicki
|
Decentralized Network Size Estimation in Mobile Wireless Sensor Networks. |
wyr |
XXX
|
| Efficient Code Banking for Internet of Things Microcontrollers. |
I |
XXXII
|
| A Study of Routing Layer Failure Detection in Low-Power Wireless Networks. |
I |
XXXIII
|
|
dr Jacek Iwański
|
Teoria informacyjnego wąskiego gardła (information bottleneck) i jej zastosowania w problemach klasyfikacji. |
|
XXX
|
drukuj stronę