Lp. Thesis Topic (in Polish) Thesis Topic (in English) Supervisor

Lp.
Thesis Topic (in Polish)
Thesis Topic (in English)
Supervisor - second Supervisor - first
name
name
1
Analiza porównawcza metod równoważenia
obciążenia żądań protokołu HTTP(S) do
serwera na przykładzie Microsoft
Application Request Routing oraz Microsoft
Network Load Balancing
Comparison Analysis of HTTP(S) Request
Load Balancing Methods: A Case of
Microsoft Application Request Routing and
Microsoft Network Load Balancing
Borzemski
Leszek
2
System obliczeń rozproszonych w
środowisku Hadoop
Hadoop-based distributed computing
system.
Borzemski
Leszek
3
Analiza jakości usług chmur obliczeniowych Analysis of user perceived computing cloud
Borzemski
postrzeganej przez użytkowników
quality.
Leszek
4
Rozproszony system monitorowania
Internetu bezprzewodowego w technologii
miniaturowych komputerów Raspberry Pi.
Borzemski
Leszek
A survey and analysis of mobile devices with
Borzemski
augmented reality.
Leszek
5
6
7
8
9
10
11
Przegląd i analiza wykorzystania urządzeń
mobilnych z funkcjonalnością rozszerzonej
rzeczywistości.
Badania protokołu HTTP2
Badania bezprzewodowej sieci kampusowej
Politechniki Wrocławskiej.
Prognozowanie wydajności sieci
bezprzewodowej metodami eksploracji
danych.
Responsywne projektowanie stron
webowych.
Mobilny system do pomiarów sieci
komputerowej
Opracowanie modelu zakłóceń w
bezprzewodowych czujnikach pomiarowych
IMU.
Distributed Raspberry Pi-based system for
monitoring of wireless Internet.
HTTP2 protocol measurement study.
The research on Wrocław University of
Technology wireless campus network
Forecasting performance of wireless
network using data mining methods.
Responsive Web Design.
Mobile system for network measurements.
Borzemski
Leszek
Borzemski
Leszek
Borzemski
Leszek
Borzemski
Leszek
Borzemski
Leszek
Brzostowski
Krzysztof
Noise modelling in wearable IMU sensors.
12
Opracowanie modelu dynamiki kończyny
górnej człowiek.
Modelling of human upper limb’s dynamics. Brzostowski
Krzysztof
13
Opracowanie modelu dynamiki kończyny
górnej człowieka uwzględniającego
zmęczenie mięśni szkieletowych.
Elaboration of model of dynamics of human
Brzostowski
upper limb with fatigue process.
Krzysztof
Elaboration of algorithm fo estimation of
dynamics of human upper limb.
Brzostowski
Krzysztof
Elaboration of algorithms for repeatability
analysis of upper limb movements during
tennis player’s technical training based on
wearable IMU sensors.
Brzostowski
Krzysztof
14
15
Opracowanie algorytmu estymacji dynamiki
kończyny górnej człowieka na podstawie
danych pomiarowych.
Opracowanie algorytmu wspomagającego
analizę powtarzalności ruchów kończyny
górnej podczas treningu technicznego
tenisisty z wykorzystaniem
bezprzewodowych czujników pomiarowych
typu IMU.
16
Systemy sterowania w automatyce domowej
-przegląd istniejących rozwiązań i
propozycje rozwoju w oparciu o nowe
technologie informatyczne.
17
System wspomagania decyzji dla sprzedaży
ANG: Decision support system for selfsamoobsługowej z wykorzystaniem
service sales using RFID technology.
technologii RFID
Filcek
Grzegorz
18
Metody optymalizacji wielkokryterialnej dla ANG: Mulitcriteria optimization methods for
Filcek
dyskretnego problemu decyzyjnego.
discrete decision problem.
Grzegorz
19
20
Analiza wielokryterialna dla problemu
wyboru mieszkania.
Interaktywna gra komputerowa w
rehabilitacji dzieci i seniorów
ANG: Control systems in home automation review of existing solutions and
Filcek
development opportunities based on new
information technologies.
ANG:Mulit-ctiteria analysis for the problem
Filcek
of choosing an apartment.
Computer active game for rehabilitation
Frączkowski
children and senior
Grzegorz
Grzegorz
Kazimierz
21
Diagnostyka posturalna człowieka
Postural of human diagnisis using mobile
wykorzystująca mobilne systemy pomiarowe measurement system
Frączkowski
Kazimierz
22
Krajowe i międzynarodowe uwarunkowania National and international conditions in the
Frączkowski
w budowie semantycznych sieci usług.
construction of semantic web services.
Kazimierz
23
Wykorzystanie smartfonów do profilaktyki
monitorowania chorób przewlekłych.
Kazimierz
24
Zarządzanie projektem wirtualnym poprzez The project virtual management across
mapowanie kompetencji do zadań –
mapping with tasks the competence - the
globalizacja projektów IT
globalization of IT projects
Use smartphone to prevention and monitor
Frączkowski
chronic disease.
Frączkowski
Kazimierz
25
26
27
28
29
30
31
32
33
34
35
36
37
Analiza ruchów człowieka – modelowanie
ruchów w systemach komputerowych
Human movement analysis – modeling
motion in computer systems
Frączkowski
Kazimierz
Analiza ryzyka projektów integracyjnych interoperacyjność
Czynniki niepowodzeń projektów
informatycznych – baza wiedzy metryk
atrybutów krytycznych.
Ocena narzędzi i usług mobilnych platformy
Azure
Ocena narzędzi i usług Magistrali usług
platformy Azure
Ocena narzędzi i usług analizy predykcyjnej
platformy Azure
Risk analysis of the integration project –
interoperability
Frączkowski
Kazimierz
Factors failures projects - knowledge base
metrics critical attributes
Frączkowski
Kazimierz
Evaluation of tools and Azure mobile
services
Fryźlewicz
Zbigniew
Evaluation of tools and Azure Bus Services
Fryźlewicz
Zbigniew
Evaluation of tools and Azure machine
learning services
Fryźlewicz
Zbigniew
Fryźlewicz
Zbigniew
Ocena narzędzi i usług HPC platformy Azure Evaluation of tools and Azure HPC services
Wykorzystanie algorytmów genetycznych
do rozwiązywania wybranych zagadnień
numerycznych.
Zastosowanie algorytmów
rekomendacyjnych w zarządzaniu
informacją osobistą.
Zastosowanie algorytmów ewolucyjnych do
budowy modelu matematycznego
opisujacego zależności między danymi w
sieci semantycznej.
Application of evolutionary algorithms to
solving of some numerical problems.
Gawrych-Żukowski Andrzej
Use of recommendation algorithms in the
Gawrych-Żukowski Andrzej
process of managing of personal
information.
Application of evolutionary algorithms to
formulation of mathematical models
Gawrych-Żukowski Andrzej
describing relations between data in a
semantic network.
Zastosowanie algorytmów
rekomendacyjnych w wyborze lektur do
nauki języków obcych.
Application of recommendation algorithms
to the selection of reading materials to
Gawrych-Żukowski Andrzej
assist learning of foreign languages.
Heurystyczne algorytmy dla problemów
marszrutyzacji z oknami czasowymi.
Zastosowanie teorii gier do wybranego
problemu zarządzania zasobami w
wirtualnych sieciach komputerowych
Heuristic algorithms for routing problems
Gawrych-Żukowski Andrzej
with time windows.
Application of the game theory to the
Gąsior
Dariusz
chosen problem of virtual networks
resource management
38
Algorytmy rozwiązania wybranego
Solution algorithms for the chosen
wielokryterialnego problemu marszrutyzacji multicriteria pickup and delivery vehicle
floty pojazdów z odbiorem i dostawą
routing problem
Gąsior
Dariusz
39
Opracowanie systemu informatycznego do
Elaboration of the information system
rozwiązywania problemu
solving the bus driver scheduling problem
harmonogramowania czasu pracy kierowcy
Gąsior
Dariusz
40
Opracowanie algorytmu śledzenia obiektów Elaboration of an algorithm for object
na obrazie video z zakłóceniami
tracking in a distorted video image
Gąsior
Dariusz
Opracowanie algorytmów samozarządzania
siecią komputerową w warunkach
niepewności
Metody optymalizacji bayesowskiej w
zastosowaniu do problemów szeregowania
zadań.
Metody uczenia głębokiego do
wielomodalnych danych.
Development of algorithms for computer
network self-management under
uncertainty
Gąsior
Dariusz
Bayesian optimization for scheduling
problems.
Gonczarek
Adam
Deep learning for multimodal data.
Gonczarek
Adam
Transformacja aplikacji webowych o
architekturze "Multi Page" do architektury
"Single Page".
ANG: Transformation of web applications
with "Multi Page" architecture into "Single
Page" architecture.
Hnatkowska
Bogumiła
Modelowanie i przetwarzanie
dynamicznych reguł biznesowych.
Przetwarzanie dynamicznych reguł
biznesowych zapisanych w języku
naturalnym.
Porównanie frameworków ORM na
platformach mobilnych: Android oraz
Windows phone.
Automatyczna translacja sekwencyjnych
programów w języku java na język
programowania współbieżnego.
Testowanie programów współbieżnych.
Scentralizowana definicja reguł
walidacyjnych.
Weryfikacja skuteczności wybranego
przewodnika stylu programowania.
ANG: Modeling and processing of dynamic
business rules.
Hnatkowska
Bogumiła
ANG: Processing of dynamic business rules
written in natural language.
Hnatkowska
Bogumiła
Hnatkowska
Bogumiła
Hnatkowska
Bogumiła
Hnatkowska
Bogumiła
Hnatkowska
Bogumiła
Hnatkowska
Bogumiła
52
Wykorzystanie oprogramowania Microsoft
Robotics Developer Studio do symulacji
ruchu grupy robotów mobilnych
Application of the Microsoft Robotics
Developer Studio software to simulation of
movement of a group of mobile robots
Hojda
Maciej
53
Zastosowanie algorytmów
reharmonogramowania w wybranym
problemie szeregowania zadań
Application of rescheduling algorithms in a
Hojda
chosen task scheduling problem
Maciej
54
Budowa symulatora do badania wpływu
kierunkowania uwagi na zdolność
autonomicznych robotów do bezkolizyjnego
poruszania się w zmiennym środowisku
Design of a simulator for tests of selective
attention influence on autonomic robots
Huk
ability of collision free moving in changeable
environment
Maciej
41
42
43
44
45
46
47
48
49
50
51
ANG: Comparison of ORM frameworks on
mobile platforms: Android and Windows
phone.
ANG: Automatic translation of sequential
java programs into a concurrent
programming language.
ANG: Testing concurrent programs.
ANG: Centralized definition of validation
rules.
ANG: Verification of the effectiveness of a
selected programming style guide.
55
System wyszukiwania algorytmów
generujących fraktale na podstawie ich
obrazów (odwrotna analiza fraktalna)
System for searching algorithms that
generate fractals, on the basis of its images Huk
(inverse fractal analysis)
Maciej
56
Przegląd aktualnych technik kierunkowania Survey of up to date techniques of selectve
Huk
uwagi w systemach analizy danych
attention modelling in data analysis systems
Maciej
57
Systematyka i właściwości problemów
wyszukiwania pod kątem poprawności ich
osadzenia dla stosowanych technik
krzyżowania w algorytmach genetycznych
Systematic and properties of search
problems in scope of corrrectness of their
embeddedness for used techniques of
crossover in genetic algorithms
Huk
Maciej
58
Oprogramowanie uniwersalnego,
rozproszonego układu sterownia robotem
kroczącym.
Universal, distributed control software for
biped robot.
Huk
Maciej
Huk
Maciej
Huzar
Zbigniew
Huzar
Zbigniew
Huzar
Zbigniew
Huzar
Zbigniew
Józefczyk
Jerzy
Józefczyk
Jerzy
Józefczyk
Jerzy
Józefczyk
Jerzy
59
60
61
62
63
64
65
66
67
Contextual analysis of bibliographic
System kontekstowej analizy zależności
relationships on the basis of the Gendryt
bibliograficznych na bazie systemu Gendryt.
system
Modelowanie w BPMN z uwzględnieniem
Modeling in BPMN with efficiency demands.
wymagań wydajnościowych.
Definiowanie czynnościowych wzorców
Defining functional design patterns using
projektowych z wykorzystaniem języka
SysML language.
SysML.
Wykorzystanie ontologii SUMO przy
Application of SUMO ontology in defining
określaniu znaczenia synsetów w polskim
meaning of synsets of the Polish Wordnet.
Wordnet.
Rola ontologii w modelowaniu
The role of ontologies in domain modeling.
dziedzinowym.
Opracowanie informatycznego systemu
Development of the computer decision
wspomagania decyzji dla wybranego
support system for selected case.
przypadku.
Analiza i implementacja algorytmów
Analysis and implementation of robust
odpornych dla wybranego zagadnienia
algorithms for selected task scheduling
podejmowania decyzji.
problem.
Wykorzystanie algorytmów sztucznej
inteligencji do rozwiązania łącznego
Application of AI based algorithms for joint
problemu szeregowania zadań i
task scheduling and deployment algorithm.
rozmieszczenia.
Porównanie działania wybranych
Comparison of the performance of selected
algorytmów sztucznej inteligencji w
AI based algorithms with application to
zastosowaniu do rozwiązania problemu
solving a decision making problem.
podejmowania decyzji.
68
69
Implementacja algorytmów podejmowania
decyzji dla bezprzewodowych sieci
sensorów.
Analiza statystyk stron internetowych
Politechniki Wrocławskiej metodami
fraktalnymi
Implementation of decision making
algorithms for wireless sensor networks.
Józefczyk
Jerzy
The analysis of website statistics of Wrocław
University of Technology Rusing the fraktal Jóźwiak
methods
Ireneusz
70
Zastosowanie teorii gier w prognozowaniu
niesprawności systemu informatycznego
Game theory application to planning of
computer system faults
Jóźwiak
Ireneusz
71
Metoda predykcji charakterystyk
niezawodnościowych systemów transmisji
danych
Method of reliability characteristics
prediction of data transmission systems
Jóźwiak
Ireneusz
72
Analiza fraktalna stanu powierzchni obiektu Fractal analysis of surface state of object
Jóźwiak
Ireneusz
Post quantum cryptography algoritms
analysis
Jóźwiak
Ireneusz
Development and implementation of
teaching positions using breadboard.
Kaliś
Andrzej
Kaliś
Andrzej
73
74
Analiza algorytmów post – kryptografii
kwantowej
Opracowanie i realizacja stanowisk
dydaktycznych wykorzystujących płyty
montażowe.
75
Wybrane zagadnienia projektowania
Selected aspects of the design of digital
układów cyfrowych z niskim poborem mocy. circuits with low power.
76
Praktyczne porównanie wersji języka VHDL
do projektowania układów cyfrowych.
Practical comparison of versions of VHDL to
Kaliś
design digital circuits.
Andrzej
Program do manipulowania diagramami
decyzyjnymi.
Analiza porównawcza i wizualizacja
wybranych algorytmów porządkowania
zmiennych w binarnych diagramach
decyzyjnych.
The program for manipulating decision
diagrams.
Kaliś
Andrzej
Comparative Analysis and Visualization of
Selected BDD Variables Ordering Methods.
Kaliś
Andrzej
Kaliś
Andrzej
77
78
79
80
81
82
Wizualizacja działania wybranych jednostek Visualization of selected floating-point
arytmetyki zmiennoprzecinkowej.
arithmetic units.
Badanie i analiza jakości transmisji danych w
punktach dostępowych sieci
bezprzewodowej
Przestrzenne prognozowanie wydajności
serwerów webowych za pomocą metod
rozmytych
Badanie wydajności sieci bezprzewodowej
za pomocą metody sekwencyjnej symulacji
wskaźnikowej
The study and analysis of the quality of data
Kamińskatransmission in the access points of wireless
Chuchmała
network
Anna
Spatial Web servers performance
forecasting with fuzzy methods
KamińskaChuchmała
Anna
Wireless Network Performance Survey with KamińskaSequential Indicator Simulation
Chuchmała
Anna
83
Badanie wydajności sieci bezprzewodowej
za pomocą metod ekonometrycznych
Wireless Network Performance Survey with KamińskaEconometric Methods
Chuchmała
Anna
84
Przestrzenne prognozowanie wydajności
serwerów webowych, z uwzględnieniem ich
przynależności do Autonomicznych
Systemów, za pomocą metod
ekonometrycznych
Spatial Web Servers Performance
Forecasting, Regarding Their Belonging to
the Autonomous Systems, Using
Econometric Methods
KamińskaChuchmała
Anna
85
Przestrzenne prognozowanie wydajności
serwerów webowych, z uwzględnieniem ich
przynależności do Autonomicznych
Systemów, za pomocą metod symulacyjnych
Spatial Web Servers Performance
Forecasting, Regarding Their Belonging to
Kamińskathe Autonomous Systems, Using Simulation Chuchmała
Methods
Anna
Badanie anomalii wykonania aplikacji
równoległych.
Analiza wydajności rozproszonych baz
danych.
Examination of the execution anomalies of
Kwiatkowski
parallel applications.
Performance evaluation of distributed
Kwiatkowski
databases.
86
87
Jan
Jan
88
Dynamiczny przydział zadań do procesorów Dynamic job allocation in the distributed
w środowisku rozproszonym.
environment.
Kwiatkowski
Jan
89
Automatyczne zrównoleglanie programu dla Automatic program paralelization for GPU
środowiska obliczeniowego karty graficznej. environment.
Kwiatkowski
Jan
90
Metody zrównoleglania sieci neuronowych.
Kwiatkowski
Jan
Kwiatkowski
Jan
Kwiatkowski
Jan
Kwiatkowski
Jan
Kwiatkowski
Jan
Liber
Arkadiusz
Liber
Arkadiusz
Liber
Arkadiusz
Liber
Arkadiusz
91
92
93
94
95
96
97
98
Methods of parallelization of neural
networks.
Performance evaluation of matrix
Analiza wydajności algorytmów mnożenia
multiplication algorithms at multicore
macierzy na procesorze wielordzeniowym.
processors.
Metody oceny wydajności działania aplikacji Methods of evaluation of parallel
równoległych w systemach rozproszonych application performance in distributed
oraz równoległych.
systems and parallel.
Przetwarzanie równoległe w środowisku
Parallel processing in the cloud computing
chmury obliczeniowej.
environment.
Przetwarzanie równoległe w środowisku
Parallel processing in the distributed
rozproszonym.
environment.
Algebraiczne i analityczne metody
Algebraic and analytic methods in modern
współczesnej kryptografii.
cryptography
Inteligentne systemy wspomagania
Inteligent systems of assisting the
zachowania zdrowia i urody
preservation of health and beauties
Metody i algorytmy w inteligentnych
Methods and algorithms in Inteligent
systemach transportu (ITS)
Transportation Systems
Komputerowe modelowanie procesów
Computer based modeling of information
informacyjnych.
processes
99
100
Algorytmy poszukiwania i analizy obiektów
astronomicznych oraz
zjawisk astrofizycznych
Metody kryminalistyczne badania
systemów informacyjnych.
Algorithms of the search and analysis of
astronomical objects and astrophysical
phenomena
Forensic methods of investigations of
information systems
Liber
Arkadiusz
Liber
Arkadiusz
101
Algorytmy wspomagania przetwarzania
Algorithms of medical data processing in
danych w systemach diagnostyki medycznej computer systems of medical diagnosis.
Liber
Arkadiusz
102
Niedostrzegalne metody ukrywania danych
Invisible methods of data hiding
Liber
Arkadiusz
Model i metoda wyboru nazwy obiektu w
zdecentralizowanym systemie
informacyjnym.
Modele i metody przetwarzania
semiotycznego w systemach
autonomicznych.
Model i analiza agentowego systemu
ustalania nazw obiektów.
Metody zwiększania niezawodności i
wydajności testowania mutacyjnego.
Nowe operatory w testowaniu mutacyjnym
inspirowane realnymi defektami
oprogramowania.
Algorytmy wyszukiwania wartościowych
mutantów wyższego rzędu.
An approach to object’s name
determination in a decentralised
information system.
Lorkiewicz
Wojciech
Semiotic processing in autonomous systems. Lorkiewicz
Wojciech
103
104
105
106
107
108
109
110
111
112
113
114
115
Model and analysis of object naming in a
Lorkiewicz
multi-agent systems.
ang. Efficiency and reliability improvements
Madeyski
in mutation testing.
ang. New mutation testing operators
inspired by real software defects.
ang. Algorithms for searching valuable
higher-order mutants.
ang. Integration of Judy mutation testing
Integracja testera mutacyjnego Judy z
tool for Java with software development
narzędziami wytwarzania oprogramowania.
tools)
Automatyczne generowanie danych
ang. Automated generation of unit test data
testowych i testów jednostkowych
and unit tests.
Algorytmy koewolucyjne w testowaniu
Coevolutionary algorithms in mutation
mutacyjnym.
testing
Przegląd i modyfikacje operatorów mutacji ang. Review and modification of mutation
w celu minimalizacji liczby ekwiwalentnych operators to decrease the number of
mutantów.
equvalent mutants.
Rozproszone przetwarzanie transakcji
Database distributed transaction processing
bazodanowych na przykładzie systemu
as an example of parking spaces reservation
rezerwacji miejsc parkingowych
system
Analiza wydajności systemów webowych
The performance analysis of SPA Web
typu SPA
systems
Analiza wydajności systemów webowych z
wykorzystaniem narzędzi observium.org
The performance analysis of Web systems
based on observium.org tools
Wojciech
Lech
Madeyski
Lech
Madeyski
Lech
Madeyski
Lech
Madeyski
Lech
Madeyski
Lech
Madeyski
Lech
Mazur
Zygmunt
Nowak
Ziemowit
Nowak
Ziemowit
116
Analiza wydajności systemów webowych z
wykorzystaniem narzędzi RIPE Atlas
Analiza wydajności skalowalnych systemów
webowych
Analiza wydajności systemów webowych z
wykorzystaniem Raspberry Pi
The performance analysis of Web systems
based on RIPE Atlas tools
The performance analysis of scalable Web
systems
The performance analysis of Web systems
based on Raspberry Pi
Analiza wydajności systemów webowych z
wykorzystaniem nano routera i OpenWrt
The performance analysis of Web systems
based on nano router and OpenWrt
Generowanie tekstowych podsumowań
natężenia ruchu na trasie pojazdu.
Kinect i żyroskop - algorytmy sterowania
aplikacją za pomocą gestów z
wykorzystaniem hybrydowego wejścia.
Inteligentny asystent dla systemu
webowego wspierającego pracę serwisu
sprzętu komputerowego.
Implementacja, wzbogacenie i badanie
wydajności wybranych algorytmów
voxelowych.
Optymalizacja i opracowanie biblioteki
oprogramowania do generowania widoków
w wideo 3D
Generation of textual summaries of city
traffic for predefined routes.
Kinect and gyroscope - algorithms for
gesture-based application control using
hybrid input.
Nowak
Ziemowit
Nowak
Ziemowit
Nowak
Ziemowit
Nowak
Ziemowit
Popek
Grzegorz
Popek
Grzegorz
Intelligent assistant for web system
supporting IT hardware repair centre.
Popek
Grzegorz
Implementation, enrichment and quality
testing of chosen voxel.
Popek
Grzegorz
Optimization and software library
preparation for 3D video views generation
Sobecki
Janusz
125
Wykorzystanie okularów Rozszerzonej
Augmented Reality glasses in an
Rzeczywistości do tworzenia
collaborative information systems
kolaboratywnych systemów informacyjnych. implementation.
Sobecki
Janusz
126
Wykorzystanie zestawu złożonego z systemu
Gaze tracking enhanced with EEG analysis
do śledzenia ruchu gałek ocznych i
applied in behavior of clients of points of
urządzenia do analizy EEG do badania
sale
zachowań klientów punktów sprzedaży
Sobecki
Janusz
Gaze tracking enhanced with EEG analysis
applied in behavior of sportsmen
Sobecki
Janusz
Gesture definition and recognition in the
natural user interfaces
Sobecki
Janusz
Concurrency mechanisms in declarative
programming languages
Spławski
Zdzisław
117
118
119
120
121
122
123
124
127
128
129
Wykorzystanie zestawu złożonego z systemu
do śledzenia ruchu gałek ocznych i
urządzenia do analizy EEG do badania
zachowań sportowców
Metody definiowania i rozpoznawania
gestów w naturalnych interfejsach
użytkownika
Mechanizmy współbieżności w
deklaratywnych językach programowania
130
131
132
133
134
135
136
JVM jako platforma wielojęzykowa
JVM as a multilanguage platform
Spławski
Zdzisław
Pamięć transakcyjna w językach
programowania
Wykorzystanie izomorfizmu Curry’egoHowarda
Wykorzystanie typów w bezpiecznych
programach niskopoziomowych
Software Transactional Memory in
programming languages
Spławski
Zdzisław
Making use of Curry-Howard isomorphism
Spławski
Zdzisław
Using types in secure low-level programs
Spławski
Zdzisław
Staszak
Zbigniew
Zachowanie baz danych NoSQL przy
zawodnej komunikacji w obrębie klastra.
Partition tolerance of NoSQL databases.
Porównanie wydajności metod dostępu do
Performance comparison of methods to
Staszak
danych w zastosowaniach webowych.
access data in web applications.
Security mechanisms mobile databases
Mechanizmy bezpieczeństwa mobilnych
MS SQL Server Compact and Sybase
baz danych MS SQL Server Compact i Sybase
Staszak
UltraLite - comparison and evaluation of the
UltraLite - porównanie i ocena metod.
methods.
Zbigniew
Zbigniew
137
Składowanie danych 3D w przestrzennych
bazach danych - analiza i ocena rozwiązań.
Storage of 3D data in spatial databases analysis and evaluation of solutions.
Staszak
Zbigniew
138
Wybrane algorytmy uczenia wstępnego dla
modeli głębokich.
Selected pre-training algorithms for deep
model
Tomczak
Jakub
139
Analiza porównawcza wybranych metod
aproksymacji sumy statystycznej.
Comparative analysis of selected methods
for partition function approximation.
Tomczak
Jakub
140
Analiza porównawcza algorytmów
równoważenia obciążeń w systemach
heterogenicznych.
A comparative analysis of load balancing
algorithms in heterogeneous systems
Turowska
Magdalena
141
Opracowanie algorytmów dla mobilnego
Elaboration of algorithms for mobile
systemu monitoringu i lokalizacji pojazdów. systems of vehicle tracker and localizer.
Turowska
Magdalena
Turowska
Magdalena
Turowska
Magdalena
Turowska
Magdalena
Tuzinkiewicz
Lech
142
143
144
145
Design and implementation of a system for
Projekt i implementacja systemu do analizy
the analysis and prediction of the resources
i predykcji wykorzystywania zasobów.
usage.
Projekt i implementacja systemu
Design and implementation of a support
wspomagającego naukę języka obcego z
system for foreign languages learning with
wykorzystaniem logiki rozmytej.
the application of fuzzy logic.
Projekt i implementacja systemu
Design and implementation of a support
wspomagającego opracowywanie strategii system for the development of chess game
gry w szachy.
strategy.
Opracowanie metody projektowania baz
Development of method for designing
danych z wykorzystaniem ontologii
databases using domain ontologies
dziedzinowych
146
Ocena Jakości danych – profilowanie i
poprawianie – Metody i Narzędzia.
Evaluation of Data Quality – Profiling and
Improvement – Methods and Tools
Tuzinkiewicz
Lech
147
Analiza i ocena narzędzi wspierających
proces testowania oprogramowania
Analysis and evaluation of software tools
supporting software testing processes.
Tuzinkiewicz
Lech
Opracowanie metody analizy i oceny jakości
danych z wykorzystaniem DQS (Data Quality
Services - MS SQL 2014 i pakietu SAS
DataFlux
Zastosowanie technologii Text Mining do
analizy treści
Wykorzystanie technologii Hadoop do
gromadzenia danych z różnych źródeł
Analiza sentymentu treści z wykorzystaniem
narzędzia SAS Text Miner i Sentiment
Analysis
Wykorzystaniem ontologii i narzędzi SAS w
procesie modelowania danych
Analiza i ocena oprogramowania SAS w
kontekście tworzenia ontologii domeny
Weryfikacja spójności modeli analizy
systemowej
Generowanie kodu aplikacji z modeli
analizy systemowej – aplikacja wzorców
projektowych
Development of method of analysis and
evaluation of data quality using DQS (Data
Tuzinkiewicz
Quality Services of MS SQL 2014) and
DataFlux (SAS package)
Application of Text Mining technology to the
Tuzinkiewicz
analyze of Contents
Using of Hadoop technology to collect data
Tuzinkiewicz
from various sources
148
149
150
151
152
153
154
155
156
157
158
159
160
Analysis of text using SAS Text Miner and
Sentiment Analysis
Using ontologies and tools SAS in the
Tuzinkiewicz
process of data modeling
Analysis and evaluation SAS software in the
Tuzinkiewicz
context of creating domain ontology
Lech
Lech
Lech
Lech
Lech
Consistency verification of analysis models.
Walkowiak
Anita
Code generation from analysis models –
application of design patterns.
Walkowiak
Anita
Walkowiak
Anita
Integracja metody COSMIC szacowania
Integration of COSMIC FSM method for
złożoności funkcjonalnej oprogramowania z functional size estimation of applications
procesem analitycznym
with the system analysis process.
Przegląd i badanie użyteczności aparatów
fotograficznych wbudowanych we
współczesne smartphony.
Przegląd I badanie skuteczności mobilnych
aplikacji dedykowanych rozpoznawaniu
obrazów I kodów.
Mapy w urządzeniach mobilnych - badanie
użyteczności.
Urządzenie mobilne w procesach
monitoringu – badanie zastosowania w
wybranej dziedzinie.
Tuzinkiewicz
Lech
Review and test the usefulness of the
Waśko
cameras embedded in modern
smartphones.
Review and test the effectiveness of mobile
Waśko
apps dedicated to identify images and
codes.
Maps in mobile devices-the study of
Waśko
usability.
The mobile device monitoring processes testing the application in chosen field.
Waśko
Krzysztof
Krzysztof
Krzysztof
Krzysztof
161
Mobilne systemy rezerwacji usług –
Mobile reservation systems servicesopracowanie i zbadanie miary oceny jakości development and examination of measure
aplikacji.
for assessing the quality of applications.
Waśko
Krzysztof
162
Multimedia na platformach mobilnych –
identyfikacja czynników wpływających na
jakość odtwarzania.
Waśko
Krzysztof
163
Przegląd i badanie użyteczności
Overview and usability testing frameworks
frameworków dedykowanych projektowaniu dedicated to the design and construction of Waśko
I konstruowaniu aplikacji mobilnych.
mobile applications.
Krzysztof
164
Przegląd i badanie kompresji multimediów
na urządzeniach mobilnych.
Waśko
Krzysztof
Waśko
Krzysztof
Waśko
Krzysztof
165
166
Multimedia on mobile platforms - to
identify the factors affecting the quality of
playback.
Overview and multimedia compression
testing on mobile devices.
Przegląd i badanie możliwości wykorzystania Overview and study the possibility of using
urządzeń mobilnych do zdalnej kontroli i
mobile devices for remote monitoring and
sterowania.
control.
Examination and evaluation of the
Badanie oraz ocena użyteczności mobilnych
usefulness of mobile m-commerce
aplikacji m-commerce.
applications.