| | Spis treści | ![](/img/pdf-s.gif) |
| |
MODELOWANIE I SYNTEZA SYSTEMÓW CYFROWYCH
|
| | Alexander Barkalov, Larysa Titarenko, Olena Hebda: Synthesis of Moore finite state machine with nonstandard presentation of state codes | ![](/img/pdf-s.gif) |
| | Iwona Grobelna, Michał Grobelny: Gaps in design and tests of dependable embedded systems | ![](/img/pdf-s.gif) |
| | Małgorzata Kołopieńczyk: Wykorzystanie zasobów sprzętowych w mikroprogramowanych układach sterujących z kodowaniem kolekcji mikrooperacji | ![](/img/pdf-s.gif) |
| | Małgorzata Kołopieńczyk, Sebastian Pawlak, Wojciech Zając: Wykorzystanie mikroprogramowanych układów sterujących do implementacji przykładowego algorytmu przetwarzania danych wizyjnych | ![](/img/pdf-s.gif) |
| | Alexander Barkalov, Larysa Titarenko, Jacek Bieganowski: Mikroprogramowany układ sterujący z współdzieleniem kodów oraz rozszerzonym formatem mikroinstrukcji | ![](/img/pdf-s.gif) |
| | Aleksander Barkalov, Larysa Titarenko, Sławomir Chmielewski: Zmniejszenie zużycia makrokomórek PAL w realizacjach układowych automatów Moore’a | ![](/img/pdf-s.gif) |
| |
SYSTEMY POMIAROWE
|
| | Aneta Szyda: Stability of time-varying linear system | ![](/img/pdf-s.gif) |
| | Piotr Mróz, Janusz Mróz: System do kreślenia podziałek urządzeń pomiarowych | ![](/img/pdf-s.gif) |
| | Edward Greczko: Impulsowe SNP z komutacją wieloschodkową | ![](/img/pdf-s.gif) |
| | Andrzej Olencki, Krzysztof Urbański, Jan Szmytkiewicz: Porównanie metod sprawdzania układów półpośrednich | ![](/img/pdf-s.gif) |
| | Elżbieta Kawecka, Sergiusz Sienkowski: Zastosowanie funkcji autokorelacji i skwantowanych danych do obliczania wariancji estymatora wartości oczekiwanej sygnału | ![](/img/pdf-s.gif) |
| |
GRAFIKA KOMPUTEROWA
|
| | Przemysław Mazurek: Mobile system for estimation of the internal parameters of distributed cameras | ![](/img/pdf-s.gif) |
| | Krzysztof Okarma, Aleksandra Miętus, Mateusz Tecław: The Application of the Weighted Distance Directional Filter for Various Colour Spaces in the Aspect of Modern Image Quality Metrics | ![](/img/pdf-s.gif) |
| | Andrzej Popławski: Transmisja sekwencji wizyjnych w sieciach o zmiennej przepustowości | ![](/img/pdf-s.gif) |
| | Krzysztof Okarma: Analiza wpływu dwuwymiarowych funkcji okien na liniową korelację nowoczesnych miar jakości obrazu z oceną subiektywną | ![](/img/pdf-s.gif) |
| | Grzegorz Andrzejewski, Wojciech Zając: Sprzętowa implementacja algorytmu detekcji wzorców błędu DCT w hybrydowym algorytmie maskowania błędów transmisji obrazu stałego HECA | ![](/img/pdf-s.gif) |
| | Artur Bal: Porównanie wybranych miar kontrastu obrazów achromatycznych | ![](/img/pdf-s.gif) |
| |
INŻYNIERIA OPROGRAMOWANIA
|
| | Sławomir Mika: Koncepcja hybrydowego systemu detekcji robaków sieciowych wykorzystującego metody eksploracji danych | ![](/img/pdf-s.gif) |
| | Artur Gramacki, Jarosław Gramacki: Usługi biznesowe w SQL Server 2008. Omówienie oraz przykład zastosowania w przemyśle | ![](/img/pdf-s.gif) |
| | Jarosław Gramacki, Artur Gramacki: Analiza danych z użyciem modeli regresyjnych z naruszonymi założeniami | ![](/img/pdf-s.gif) |
| | Łukasz Stefanowicz, Grzegorz Łabiak: Programowanie kontrolerów gier i aplikacji w systemie Windows | ![](/img/pdf-s.gif) |
| | Ernest Jamro, Maciej Wielgosz, Paweł Russek, Kazimierz Wiatr: Zmodyfikowane mnożenie o stałej szerokości bitowej | ![](/img/pdf-s.gif) |
| | Tomasz Gratkowski: Wspomaganie procesu definiowania zadań wykonywanych w ramach projektu informatycznego | ![](/img/pdf-s.gif) |
| | Piotr Grobelny: Metoda zestawiania internetowych usług złożonych w dziedzinie geograficznych systemów informacyjnych | ![](/img/pdf-s.gif) |
| | Agnieszka Węgrzyn, Jacek Tkacz, Adam Wojciechowski: Optymalizacja zapytań a kompresja danych w bazie DB2 9 | ![](/img/pdf-s.gif) |
| |
MODELOWANIE MATEMATYCZNE
|
| | Roman Gielerak, Marek Sawerwain: Detecting and localizing multipartite entanglement by two-partite methods | ![](/img/pdf-s.gif) |
| | Kinga Kądziołka: Metody wyznaczania parametrów początkowych systemów neuronowo-rozmytych | ![](/img/pdf-s.gif) |
| | Korneliusz Warszawski: Zastosowanie strumienia cząstek w modelowaniu wirtualnych struktur erozyjnych | ![](/img/pdf-s.gif) |
| | Dominik Kujawa: Analiza złożoności obliczeniowej algorytmów identyfikacji liniowych procesów powtarzalnych metodami podprzestrzeni | ![](/img/pdf-s.gif) |
| |
DZIAŁALNOŚĆ PREZESA URZĘDU KOMUNIKACJI ELEKTRONICZNEJ NA RZECZ BUDOWY SPOŁECZEŃSTWA INFORMACYJNEGO
|
| | Mariusz Czyżak: System kontroli rynku wyrobów i prawne środki jego ochrony | ![](/img/pdf-s.gif) |
| | Janusz Zawiła-Niedźwiecki, Tomasz Karamon, Marian Podniesiński: Platforma Lokalizacyjno-Informacyjna z Centralną Bazą Danych w systemie ratownictwa 112 | ![](/img/pdf-s.gif) |
| | Michał Półtorak: Wdrażanie naziemnej telewizji cyfrowej na obszarze województwa lubuskiego | ![](/img/pdf-s.gif) |
| | Andrzej Marszałek, Wojciech Pieńkowski, Radosław Tyniów: Ogólnopolska zregionalizowana sieć naziemnej telewizji cyfrowej na potrzeby TVP | ![](/img/pdf-s.gif) |
| | Marcin Woźniak: KASMON – narzędzie efektywnego gospodarowania widmem częstotliwości w Polsce | ![](/img/pdf-s.gif) |
| | Arkadiusz Kurek: Budowa bezprzewodowych regionalnych sieci szerokopasmowych | ![](/img/pdf-s.gif) |
| | Marcin Krawczyk: Problematyka zarządzania informacją i wiedzą w instytucjach sektora publicznego na przykładzie Urzędu Komunikacji Elektronicznej | ![](/img/pdf-s.gif) |
| |
METODY OPTYMALIZACYJNE I KRYPTOGRAFICZNE
|
| | Janusz Jabłoński: Arytmetyka resztowa w szyfrowaniu RSA | ![](/img/pdf-s.gif) |
| | Robert Dylewski: Sterowanie poziomem w metodach projekcyjnych dla problemów minimalizacji wypukłej nieróżniczkowalnej | ![](/img/pdf-s.gif) |
| | Robert Dylewski: Zastosowanie metod projekcyjnych w optymalizacji wypukłej nieróżniczkowalnej | ![](/img/pdf-s.gif) |
| | Grzegorz Gancarczyk, Agnieszka Dąbrowska–Boruch, Kazimierz Wiatr: Efektywność parametrów statystycznych w detekcji informacji szyfrowanej | ![](/img/pdf-s.gif) |
| |
PLATFORMY MOBILNE DO MONITOROWANIA TERENU
|
| | Marek Gliszczyński, Alexandr Ţariov: Struktura algorytmiczna układu do mnożenia długich operandów | ![](/img/pdf-s.gif) |
| | Alexandr Ţariov, Galina Ţariova: Zracjonalizowany algorytm mnożenia dwóch kwaternionów | ![](/img/pdf-s.gif) |
| | Janusz Jabłoński: Kontekst bezpieczeństwa dla "Telepracy" | ![](/img/pdf-s.gif) |
| |
SIECI PETRIEGO, AUTOMATY STANÓW I LOGIKA MATEMATYCZNA W MODELOWANIU SYSTEMÓW
|
| | Michał Grobelny, Iwona Grobelna: Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego – od transformacji do weryfikacji | ![](/img/pdf-s.gif) |
| | Lesław Gniewek: Transformacja rozmytej interpretowanej sieci Petriego na schemat układu logicznego | ![](/img/pdf-s.gif) |
| | Kamil Mielcarek, Marian Adamski, Wojciech Zając: Czy prawidłowa sieć Petriego jest siecią doskonałą? | ![](/img/pdf-s.gif) |
| | Agnieszka Lasota: Modelowanie produkcji obudowy separatora olejowego za pomocą diagramów aktywności UML i alfa-sieci | ![](/img/pdf-s.gif) |
| | Andrei Karatkevich: Deadlock detection in networks of automata communicating via flags | ![](/img/pdf-s.gif) |
| | Marian Adamski, Jacek Tkacz, Beata Wrzesińska: Redukcja binarnych tablic decyzyjnych z wykorzystaniem automatycznego wnioskowania | ![](/img/pdf-s.gif) |
| | Monika Wiśniewska, Remigiusz Wiśniewski: Zastosowanie kolorowania hipergrafów w procesie dekompozycji równoległej automatów współbieżnych | ![](/img/pdf-s.gif) |
| | Michał Doligalski, Marian Adamski: Obsługa wyjątków oraz stanów wznowienia w ramach dualnej specyfikacji | ![](/img/pdf-s.gif) |
| | Grzegorz Łabiak: Transition orthogonality in statechart diagrams and inconsistencies in binary control system | ![](/img/pdf-s.gif) |
| | Arkadiusz Bukowiec: Dekompozycja skończonych automatów stanów | ![](/img/pdf-s.gif) |