Prace doktorskie / Habilitacyjne (WI)
Stały URI dla kolekcji
Przeglądaj
Ostatnie zgłoszenia
Pozycja Open Access Zastosowanie nowych technik w kompilatorach opartych na modelu wielościennym do generowania wydajnego i wieloplatformowego kodu dla procesów wielordzeniowych(2025) Grużewski, Mateusz Dominik; Pałkowski, Marek (promotor); Błaszczyński, Piotr (promotor); Zachodniopomorski Uniwersytet Technologiczny. Wydział InformatykiCelem rozprawy było opracowanie i ewaluacja metod automatycznej oraz półautomatycznej optymalizacji kodu oraz zastosowanie ich dla algorytmów dynamicznego programowania klasy NPDP (ang. non-serial polyadic dynamic programming). Schematy obliczeniowe NPDP są często wykorzystywane w zadaniach bioinformatycznych, w których zagnieżdżone pętle programowe tworzą niejednorodne, wieloindeksowe zależności danych. Optymalizacja tych procesów, zarówno ręczna, jak i poprzez kompilatory, mająca na celu zrównoleglenie oraz poprawę lokalności kodu, była przedmiotem badań od początku lat 90. i nadal stanowi istotne wyzwanie. Teza niniejszej rozprawy zakłada, że integracja technik automatycznych i półautomatycznych, rozwijanych w ramach kompilatorów opartych na modelu wielościennym, przekształcających pętle programowe (ze szczególnym uwzględnieniem transformacji blokowania), z metodami przetwarzania wstępnego i końcowego oraz z modelami sztucznej inteligencji, umożliwia generowanie kodu wieloplatformowego, który charakteryzuje się wysoką wydajnością w porównaniu z rozwiązaniami znanymi w literaturze, a jednocześnie zachowuje przenośność na zróżnicowanych architekturach obliczeniowych. W rozprawie przeanalizowano szerokie spektrum podejść pokrewnych, opracowanych głównie dla kodów NPDP, na przykładzie algorytmu predykcji RNA Nussinovej. Jest to znany w literaturze przykład bazowy, dla którego stosowane obecnie metody — w tym najpowszechniej wykorzystywane w kompilatorach przekształcenia afiniczne — zawodzą w ekstrakcji dostępnej równoległości i lokalności. W pracy dokonano przeglądu literatury oraz istniejących narzędzi optymalizacyjnych, ze szczególnym uwzględnieniem ich mocnych i słabych stron w kontekście transformacji zagnieżdżonych pętli programowych. Dalej poszerzono optymalizację kodu o techniki przetwarzania wstępnego i końcowego, których celem było poprawienie lokalności pamięci i ułatwienie dalszych transformacji, oraz zastosowano dedykowane modele językowe wspierające wygenerowanie kodu GPU. Równolegle rozwinięto metody półautomatyczne, w których automatyczne transformacje zostały uzupełnione o wiedzę dziedzinową i ręczne strojenie kodu. Przeprowadzone badania wykazały, że proponowane rozwiązania stanowią solidną podstawę procesu transformacji i umożliwiają uzyskanie poprawnych oraz przenośnych implementacji. W przypadku złożonych algorytmów NPDP dopiero ich rozszerzenie o komponent półautomatyczny pozwoliło osiągnąć zadowalającą wydajność i skalowalność na procesorach CPU i GPU przy wykorzystaniu modelu wielościennego. Eksperymenty zostały przeprowadzone na zróżnicowanym zestawie architektur, obejmujących procesory serwerowe x86-64 (AMD EPYC, Intel Xeon, Ryzen Threadripper), układy GPU programowane w CUDA i OpenCL (NVIDIA Tesla i RTX, układy Intela) oraz procesory RISC. Analizy obejmowały zarówno przyspieszenie, skalowalność, wektoryzację i lokalność kodu, jak i zużycie energii, co umożliwiło kompleksową ocenę efektywności badanych metod. Wyniki wskazały, że zaproponowane rozwiązania oparte na modelu wielościennym oraz modele językowe umożliwiają nie tylko szybkie i poprawne generowanie kodu, lecz także otwierają dyskusję na temat przyszłości automatycznych kompilatorów optymalizujących oraz ich rozwoju w kontekście eksperckich metod półautomatycznych i zastosowań sztucznej inteligencji.Pozycja Open Access Rzadkie sieci splotowe w układach sterowania z wizualnym sprzężeniem zwrotnym(2025) Rodziewicz-Bielewicz, Jan; Korzeń, Marcin (promotor); Zachodniopomorski Uniwersytet Technologiczny. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny. Wydział Informatyki. Zakład Sztucznej InteligencjiPozycja Open Access Ocena bezpieczeństwa systemów teleinformatycznych przetwarzających informacje niejawne(2025) Kacprowicz, Damian; Hołyst, Brunon (promotor); Maćków, Witold (promotor pomocniczy); Zachodniopomorski Uniwersytet Technologiczny. Wydział InformatykiPozycja Open Access Uczenie modeli liniowych z regularyzacją dla dla małych zbiorów danych(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2024) Klimaszewski, Jacek; Korzeń , Marcin promotor; Zachodniopomorski Uniwersytet Technologiczny. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny. Wydział informatyki / Katedra Sztucznej Inteligencji i Matematyki StosowanejPozycja Open Access Przetwarzanie i integracja wielomodalnych danych obrazowych wspomagające wykrywanie zachowań związanych z obniżeniem poziomu koncentracji użytkownika pojazdu mechanicznego(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2024) Smoliński, Anton; Forczmański, Paweł promotor; Nowosielski, Adam promotor pomocniczy; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Open Access Uniweralny zestaw wskaźników do wykrywania ataków ransomware(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2024) Glet, Michał; Hołyst, Brunon promotor; Bora, Piotr promotor pomocniczy; Zachodniopomorski Uniwersytet Technologiczny. Wydział Informatyki; Menedżerska Akademia Nauk Stosowanych w Warszawie; Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego w Warszawie. Wydział Cybernetyki; Instytut Matematyki i KryptologiiPozycja Open Access Zastosowanie zaawansowanych systemów blockchain do wzmacniania odporności systemów informatycznych(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2024) Kaczyński, Kamil; Gawinecki, Jerzy August promotor; Zachodniopomorski Uniwersytet Technologiczny. Wydział Informatyki; Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego w WarszawiePozycja Open Access Metoda selekcji cech wykorzystująca paradygmat algorytmu genetycznego dostosowana do specyficznych charakterystyk interfejsów mózg komputer(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2023) Lorenz, Krzysztof Michał; Rejer, Izabela promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Open Access Model systemu wspomagającego projektowanie efektywnych interfejsów użytkownika w symulatorach medycznych z wykorzystaniem stylu poznawczego człowieka(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2023) Dziśko, Maja; Tomaszewska, Anna promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Open Access Sekwencyjna metoda nieinwazyjnej redukcji habituacji w systemach interaktywnych(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2023) Bortko, Kamil; Jankowski, Jarosław promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Open Access Wykorzystanie łańcuchów bloków zintegrowanych z formularzami elektronicznymi z realizacji bezpiecznych transakcji : rozprawa doktorska(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2023) Wawrzyniak, Gerard; El Fray, Imed promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Open Access Zastosowanie arytmetyki przyrostów do adaptacji wybranych algorytmów wspomagania decyzji : rozprawa doktorska(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2023) Kannchen, Marek; Borawski, Mariusz promotor; Ziemba, Paweł promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Uniwersytet Szczeciński. Instytut Zarządzania; Uniwersytet Szczeciński. Instytut ZarządzaniaPozycja Open Access Metoda kompresji danych z wykorzystaniem zmiennych alfabetów symboli transmisyjnych(Politechnika Szczecińska, 2004) Ulacha, Grzegorz; Stasiński, Ryszard promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Politechnika PoznańskaPozycja Open Access Bezstratna kompresja obrazów cyfrowych z wykorzystaniem mieszania predykcyjnego(Wydawnictwo Uczelniane Zachodniopomorskiego Uniwersytetu Technologicznego w Szczecinie, 2013) Ulacha, Grzegorz; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Open Access Generation of images for stereoscopic displays using selected perceptual features of human visual system : dissertation(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2022) Wernikowski, Marek; Mantiuk, Radosław promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Open Access Metody oceny jakości algorytmów generowania kluczy rundowych w szyfrach blokowych(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2022) Apolinarski, Michał; Chmiel, Krzysztof promotor; Czuryło-Grocholewska, Anna promotor; Politechnika Poznańska. Wydział Informatyki i Telekomunikacji; Politechnika Poznańska. Wydział Elektryczny; Politechnika Poznańska. Wydział Informatyki i TelekomunikacjiPozycja Open Access Obliczenia numeryczne na zmiennych losowych(Wydawnictwo Uczelniane Zachodniopomorskiego Uniwersytetu Technologicznego w Szczecinie, 2013) Korzeń, Marcin; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPrzewodnim tematem rozprawy jest automatyzacja obliczeń numerycznych na zmiennych losowych. Omówiono w niej dokładnie obliczenia na zmiennych niezależnych oraz przedstawiono obliczenia w prostych modelach zmiennych zależnych, obejmujące rozkłady zadane przy pomocy kopuł czy też szczególne modele jak np. rozkład łączny statystyk pozycyjnych. Przedstawiono własności teoretyczne obliczeń na zmiennych losowych niezależnych z punktu widzenia implementacji numerycznych. Zakres stosowalności prezentowanych metod jest szeroki i obejmuje większość rozkładów występujących w problemach praktycznych w tym obliczenia zmiennych losowych ciągłych, dyskretnych oraz mieszanych. Główna idea prezentowana w pracy polega na tym, aby wykonywać obliczenia na w sposób numerycznie dokładny, bazując na numerycznych reprezentacjach zmiennych losowych, zachowując semantykę podobną do obliczeń symbolicznych. Z tego powodu znaczna część pracy dotyczy praktycznej implementacji mechanizmów numerycznych oraz sposobów reprezentacji zmiennych losowych. W tym zakresie opisano interpolacje barycentryczną oraz metody aproksymacji bazujące na wielomianach Czebyszewa. Ponadto przedstawiono metody aproksymacji oraz całkowania funkcji określonych na przedziałach nieskończonych oraz funkcji zawierających osobliwości. Dużą uwagę poświecono kwestii oceny dokładności obliczeń. Przedstawiono również praktyczną implementację opisywanych metod -- bibliotekę PaCAL napisaną w języku Python. Biblioteka ta jest publicznie dostępna pod adresem http://pacal.sourceforge.net. Wykonywanie obliczeń na zmiennych określonych w sposób nieprecyzyjny ma duże znaczenie oraz pojawia się w wielu zastosowaniach zarówno praktycznych jak i teoretycznych. Zakres zastosowań obejmuje wyznaczanie rozkładów statystyk, propagacje niepewności oraz błędów pomiarowych w metrologii czy agregację prognoz eksperckich. Dokładność uzyskiwanych rozwiązań jest wysoka, zwykle bliska precyzji maszynowej. Mimo, że prezentowane rozwiązania są ogólne, to są one często dokładniejsze od powszechnie stosowanych metod szczególnych, jak na przykład w przypadku implementacji rozkładów niecentralnych. Rozkłady te obliczane są często z wyższa dokładnością, niż rozwiązania zaimplementowane w bibliotekach statystycznych programów Python, Matlab czy R.Pozycja Open Access Heterogeniczne oddziaływanie na procesy rozprzestrzeniania informacji w sieciach społecznych : rozprawa doktorska(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2021) Karczmarczyk, Artur; Jankowski, Jarosław promotor; Wątróbski, Jarosław promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Uniwersytet SzczecińskiReprezentacja sieci społecznych w systemach elektronicznych ewoluowała od wczesnych systemów technicznych do zaawansowan.ych mediów społecznościowych integrujących mechanizmy komunikacji i interakcji podobne do tych znanych z realnego Świata. Rozwój platform społecznościowych wpłynął na potrzebę zrozumienia zachowań, wzorców i predyspozycji milionów użytkowników online i ich powiązania z zachowaniami w Świecie rzeczywistym. Procesy rozprzestrzeniania informacji,obok relacji społecznych iaktywności online, należą do zjawisk absorbujących uwagę zarówno badaczy, jak i praktyków. W wielu przypadkach komunikacja elektroniczna, oparta na bazie procesów rozprzestrzeniania informacji w sieciach spofecznych, daje wyniki lepsze niż tradycyjne kampanie reklamowe. Badania związane z dyfuzją treści cyfrowych zorientowane są wokół czynników wpływających na sukces kampanii, czynników wpływających na uczestnictwo użytkowników w procesie rozprzestrzeniania informacji,czy też wyboru użytkowników w sieci do inicjalizacji kampanii. Ponadto, badany jest wpływ roli różnych miar centralności podczas selekcji początkowych influencerów, role treści i struktur w sieciach, motywacja użytkowników do przekazywania treści, jak również rola emocji i innych czynników w procesie rozprzestrzeniania informacji. Wiele wcześniejszych badan koncentrowało się na podejściach teoretycznych i empirycznych do maksymalizacji zasięgu,czyli zwiększaniu liczby węzłów, do których udało się dotrzeć w sieci. Chociaż zasięg,czyli liczba zainfekowanych węzłów w sieci,jest ważna miara sukcesu kampanii,z praktycznego punktu widzenia kampanie rozprzestrzeniania informacji w sieciach społecznych mogą mieć różne cele i specyfikę. Inna strategia może być wykorzystana w celu pozyskania dużej liczby potencjalnych odbiorców w bardzo krótkim czasie niż w przypadku potrzeby osiągniecia organicznego wzrostu bazy odbiorców o zadanych cechach. Aby uwzględnić różne cele, można wykorzystać wielokryterialna ocenę procesu idobrać parametry oraz cele zgodnie z preferencjami ipriorytetami. Głównym celem rozprawy doktorskiej było opracowanie i weryfikacja algorytmów heterogenicznego oddziaływania na procesy propagacji informacji w sieciach złożonych z udziałem złożonych rankingów, z uwzględnieniem wielokryterialnej oceny efektywności,w celu zwiększenia zasięgu procesu,jego dynamiki lub innych charakterystyk zgodnych z preferencjami decydenta. Praca powstała jako cykl 10 powiązanych tematycznie artykułów - cztery artykuły opublikowane w międzynarodowych czasopismach z otwartym dostępem,pięć artykułów wydanych w recenzowanych materiałach konferencyjnych oraz jeden rozdział monografii. Suma punktów ministerialnych cyklu wynosi 875 (suma ważona 518). Sumaryczny współczynnik lmpact Factor w cyklu to 10.762.Pozycja Open Access Theoretical and experimental study on the behaviour of ship's roll tank stabilizer systems(Wilhelm Pieck University, Rostock, 1989) Rozenberg, Leonard; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział InformatykiPozycja Brak dostępu Metody heurystycznej klasyfikacji we wspomaganiu diagnozowania wydolności traktu głosowego(Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, 2009) Samborska-Owczarek, Anna; Wiliński, Antoni promotor; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki; Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydział Informatyki