| 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
|