Nazwisko i imię |
Tytuł pracy |
Nagroda |
Edycja |
dr inż. Jacek Martinek
|
Częściowa ewakuacja jako metoda kompilowania rozszerzeń Prologu. |
wyr |
X
|
dr inż. Tomasz Martyn
|
Silnik graficzny 3D. |
|
XXVIII
|
dr inż. Jerzy Martyna
|
Badanie bezpieczeństwa informacji i usług dla sieci w instytucji. |
|
XXX
|
dr hab. Teresa Martyniuk
|
Budżetowanie kosztów w przedsiębiorstwie na przykładzie autorskiego programu komputerowego "Budget Star". |
|
XX
|
dr inż. Wojciech Maziarz
|
Porównanie systemów analizy danych opartych na metodach sztucznej inteligencji w zastosowaniu do przetwarzania sygnałów z e-nosów. |
II |
XXIX
|
mgr inż. Grzegorz Mazur
|
Przetwarzanie obrazów z wykorzystaniem technik drżenia kolorów. |
I |
XII
|
Nowe techniki i algorytmy tworzenia obrazu sceny trójwymiarowej. |
|
XXI
|
dr hab. Zygmunt Mazur
|
Poufność w systemach informatycznych. Komputerowe wspomaganie nauczania o szyfrowaniu informacji. |
II |
VIII
|
Dekompozycja pytań w rozproszonych bazach danych. |
wyr |
III
|
Wykorzystanie pamięci dyskowej w języku Pascal-1900. |
|
III
|
dr hab. Henryk Michalewski
|
Learning agents to play Atari games using the RAM memory. |
wyr |
XXXIV
|
dr hab. inż. Wiesław Miczulski
|
Symulator zachowań użytkowanika w systemie RPG. |
|
XXVII
|
dr inż. R Mieński
|
Projektowanie i implementacja, bazującego na Javie systemu zarządzania bazą danych dla grup tematów i obiektów. |
|
XV
|
dr inż. Jerzy Mieścicki
|
Modelowanie systemów cyfrowych za pomocą sieci sterowanych zdarzeniami. |
|
II
|
prof. dr hab. Paweł Mikołajczak
|
Volumetric analysis of tumours and their blood vessels |
III |
XXIII
|
Zastosowanie odwróconej kinematyki przy animacji trójwymiarowych modeli w czasie rzeczywistym. |
|
XXIV
|
Automatyczna korekcja błędów w tekście pisanym. |
|
XXV
|
dr inż. Jakub Miler
|
Integracja zwinnych metodyk wytwarzania oprogramowania z metodami kontroli dojrzałości procesu - wspomaganie wyboru odpowiednich praktyk. |
|
XXVII
|
Ocena technik wspierających spotkania w projektach realizowanych metodyką Scrum. |
|
XXXII
|
Model dojrzałości obszaru UX w organizacjach prowadzących zwinne projekty informatyczne. |
wyr |
XXXIV
|
dr inż. Elżbieta Miłosz
|
Wytwarzanie aplikacji bazodanowych w technologii internetowej. |
|
XV
|
dr inż. Marek Miłosz
|
Reengineering systemu ewidencji ECDL. |
|
XXI
|
Zastosowanie bibliotek Mootools i Zend Framework do budowy RIA na przykładzie systemu JSImpress. |
|
XXVI
|
Testowanie wydajności aplikacji korporacyjnych. |
|
XXIX
|
dr Janina Mincer-Daszkiewicz
|
Rozproszona przestrzeń krotek Lindy z transakcjami. |
wyr |
XVII
|
Refaktoryzacja programów w języku Java. |
III |
XVIII
|
Strategie dowodzenia specyfikacji tropowych. |
wyr |
XV
|
Ciekawe algorytmy w jądrze Linuksa. |
|
XVI
|
Wykorzystanie kart procesorowych w systemie elektronicznej gotówki. |
|
XIX
|
Transparent Fault Tolerance for Parallel Java Applications. |
wyr |
XX
|
Gossip-based dissemination of time |
II |
XXIII
|
prof. dr hab. Grażyna Mirkowska
|
Gentzenowska aksjomatyzacja zdaniowej logiki algorytmicznej PAL. |
I |
VIII
|
dr Paweł Misiorek
|
System przetwarzania danych RDF oparty na dekompozycji tensora. |
|
XXXI
|
dr inż. Michał Misztal
|
Analiza bezpieczeństwa bezstykowych kart inteligentnych. |
|
XXVIII
|
dr Małgorzata Moczurad
|
Synteza i analiza wypowiedzi w języku naturalnym. |
|
XXIV
|
dr inż. Wojciech Molisz
|
Symulator sieci komputerowych odpornych na awarie. |
|
VII
|
dr inż. Alina Momot
|
Portal Application Development on the Basis of Websphere Portal on IBM System i. |
|
XXIV
|
dr inż. Roman Morawski
|
Odtwarzanie sygnału pomiarowego metodą operatora sprzężonego. |
|
V
|
dr hab. inż. Mikołaj Morzy
|
Adaptatywny system zarządzania flotą. |
|
XXIX
|
prof. dr hab. inż. Tadeusz Morzy
|
Ocena algorytmów eksploracji danych. |
|
XIII
|
Prototypowa sekwencyjna baza danych. |
|
XIII
|
Optymalizacja dużych zapytań w relacyjnych bazach danych. |
wyr |
X
|
Realizacja prototypowego systemu eksperckiego - przygotowanie i uruchomienie dialogowego systemu wspomagania projektowania struktury baz danych. |
II |
VI
|
Konwerter obrazów graficznych dla mikrokomputera personalnego. |
|
VII
|
Optymalizacja schematu logicznego bazy danych z punktu widzenia sprzężonej z bazą danych wiedzy. |
|
VII
|
Projektowanie schematu logicznego bazy danych optymalizującego wykonywanie transakcji. |
|
VII
|
Zarządzanie transakcjami w architekturach klient-serwer obiektowych baz danych. |
III |
XIV
|
Indeks wspierający zapytania przybliżone dla sekwencji zbiorów |
wyr |
XXII
|
Pattern-based semistructural data mining. |
wyr |
XXXI
|