| Nazwisko i imię |
Tytuł pracy |
Nagroda |
Edycja |
|
prof. dr hab. inż. Witold Abramowicz
|
Odkrywanie wiedzy dla doskonalenia profili HyperSDI w hurtowniach danych. |
|
XVII
|
| HyperSDI zasilający hurtownię danych informacjami benchmarkingowymi. |
|
XVII
|
|
prof. dr hab. inż. Krzysztof Abramski
|
Inżynieria ruchu w sieciach optycznych. |
|
XXI
|
|
dr Andrzej Adrabiński
|
Pamięć skojarzeniowa na bazie sieci neuronowych - metody i algorytmy. |
|
VII
|
|
dr hab. inż. Andrzej Ameljańczyk
|
Komputerowa metoda wyznaczania reprezentacji zbioru rozwiązań optymalnych przy wielu wskaźnikach jakości. |
|
I
|
|
dr inż. Piotr Andruszkiewicz
|
Wykorzystanie uogólnionych wzorców sekwencyjnych w procesie automatycznego tworzenia streszczeń dla artykułów w języku polskim. |
|
XXXI
|
|
dr hab. inż. Jarosław Arabas
|
Adaptacja zasięgu mutacji w algorytmach ewolucyjnych. |
|
XXVIII
|
|
dr inż. Daniel Arendt
|
Metody wpływania na pozycję strony internetowej w wynikach pracy wyszukiwarek internetowych. |
|
XXVIII
|
|
dr hab. inż. Dariusz Badura
|
Zintegrowany pakiet CAD do symulacji uszkodzeń w samo- i łatwotestowalnych układach cyfrowych. |
|
XII
|
|
dr hab. Piotr Bała
|
Zastosowanie metod sztucznej inteligencji do optymalizacji wykorzystania zasobów KDMO. |
|
XIX
|
| Rozszerzanie składni pFortranu. |
|
XIX
|
| Obliczenia kwantomechaniczne w środowisku gridowym. |
wyr |
XIX
|
| Integracja rozproszonych systemów baz danych z technologią gridową. |
|
XXI
|
| Dostęp do urządzeń pomiarowych w technologii gridowej. |
|
XXI
|
| Obsługa urządzeń kontrolno-pomiarowych w technologii portalowej. |
|
XXI
|
| Portalowy system zarządzania artykułami |
|
XXIII
|
| Asynchroniczny algorytm dynamiki molekularnej i jego obiektowa implementacja |
|
XXIII
|
| Integracja systemu iRODS ze środowiskiem gridowym UNICORE 6 |
|
XXV
|
| Sieciowa aplikacja kliencka systemu gridowego UNICORE 6. |
|
XXV
|
| Rozwój systemów gridowych. Webowy klient dla UNICORE 6. |
|
XXV
|
| Webowy system zarządzania użytkownikami systemu Kardionet. |
|
XXVII
|
| Programowanie równoległe w języku Java. Biblioteka dla systemów o pamięci wspólnej. |
|
XXIX
|
|
dr hab. inż. Krystyna Balińska
|
Generowanie wybranych struktur kombinatorycznych w środowisku rozproszonym. |
|
XVI
|
| Ocena przydatności algorytmów ewolucyjnych do generacji wybranych obiektów kombinatorycznych. |
|
XVI
|
|
dr Lech Banachowski
|
Odwzorowanie między strukturami danych i ich koszty. |
|
II
|
|
dr inż. Anna Barcz
|
Modelowanie powierzchni i krzywych w zadaniu automatyzacji procesu obliczania powierzchni dachu. |
|
XXXI
|
|
prof. dr hab. Anna Bartkowiak
|
Ewolucja sztucznych sieci neuronowych kodowanych za pomocą gramatyk atrybutowych |
|
XXII
|
|
dr inż. Tadeusz Bartkowski
|
Uniwersalny makroprocesor tekstu dla potrzeb generacji translatorów "MC2". |
III |
IV
|
|
prof. dr hab. inż. Andrzej Bartoszewicz
|
Automated Object-oriented Simulation Framework for Modelling of Superconducting Magnets at CERN. |
|
XXXI
|
|
dr inż. Jarosław Baszun
|
Programowalny mikroprocesorowy sterownik silników krokowych |
|
XXIII
|
|
dr inż. Barbara Begier
|
Realizacja funkcji dydaktycznych w systemie wspomagającym programowanie. |
|
III
|
|
dr Krzysztof Benedyczak
|
Rozliczanie zużycia zasobów w systemie UNICORE. |
|
XXVIII
|
| Monitorowanie produkcyjnej infrastruktury UNICORE. |
|
XXVIII
|
|
dr Janusz Bień
|
Analiza polskich fraz rzeczownikowych testem adekwatności i efektywności parsera Szpakowicza. |
|
III
|
|
dr Dariusz Biernacki
|
Automated Derivation of Abstract Machines from Reduction Semantics: A Formalisation of the Refocusing Transformation in the Coq Proof System. |
wyr |
XXVII
|
| Toward a certified Haskell compiler. |
|
XXVII
|
| Operational Semantics of Ltac: A Formal Study of the Tactic Language of the Coq Proof Assistant. |
|
XXX
|
| Formalizacja w systemie Coq algorytmu normalizacji przez ewaluację dla teorii typów Martin-Löfa. |
III |
XXXIII
|
|
prof. dr hab. inż. Janusz Biernat
|
Bezpieczny internetowy programator FPGA. |
|
XXIV
|
| Autonomiczna nawigacja robota mobilnego i heurystyczne metody rozpoznawania otoczenia. |
|
XXX
|
|
dr Jacek Biesiada
|
Metody filtrów dla danych finansowych i bio-medycznych |
|
XXII
|
|
mgr inż. Sławomir Błaszczak
|
Obiektowy język programowania współbieżnego. |
|
VIII
|
| Realizacja środowiska programowego języka Occam w systemie SM-4. |
|
V
|
|
prof. dr hab. inż. Jacek Błażewicz
|
Algorytmy planowania zajęć dydaktycznych. |
|
XVII
|
| Metoda asemblacji i sekwencjonowania łańcuchów DNA z wykorzystaniem strategii tabu search. |
|
XIII
|
| Algorytm sekwencjonowania łańcuchów DNA. |
wyr |
XII
|
| Współbieżne algorytmy dla problemu rozkroju. |
|
XI
|
| Analiza złożoności obliczeniowej wybranych problemów geometrii obliczeniowej. |
|
IV
|
| Równoległe algorytmy porównywania ciągów. |
|
XVI
|
| Kombinatoryczne algorytmy wspomagające analizę przestrzennej struktury RNA. |
|
XVI
|
| Algorytmiczne podejście do analizy obszarów energii łańcuchów białkowych. |
|
XIX
|
| Analiza zmienności kodów aminokwasowych w hiperprzestrzeni genetycznej. |
|
XIX
|
| Text algorithms and the DNA assembly problem. |
|
XXI
|
| Development of sequence alignment methods on Graphics Processing Unit. |
|
XXVII
|
|
dr inż. Ilona Bluemke
|
System aproksymacji danych eksperymentalnych funkcjami analitycznymi. |
wyr |
VIII
|
| Program szeregujący wysokiego poziomu (HLS) dla systemu operacyjnego GEORGE-3. |
wyr |
III
|
| Moduł badający wydajność systemu operacyjnego GEORGE 3. |
II |
II
|
| Zestaw komponentów C++ wspomagających budowę aplikacji internetowych działających po stronie serwera |
|
XXII
|
| Automatyzacja testów aplikacji na platformie MS Windows. |
|
XXV
|
| Procesor wysokopoziomowego języka grafiki wektorowej. |
|
XXVI
|
drukuj stronę