dr inż. Bieleninik Edward dr inż. Bieleninik Edward dr inż. Bieleninik Edward

Transcription

1 Lp. Theses topics Supervisor - second name Supervisor - first name 1 Recursive algorithms application to selected data structures. dr inż. Bieleninik Edward 2 Algorithms design techniques analysis and comparison. dr inż. Bieleninik Edward 3 Data compression algorithms the newest solutions and tendencies. dr inż. Bieleninik Edward 4 Graphical exploratory data analysis. dr inż. Bieleninik Edward 5 Regular expressions in programming. dr inż. Bieleninik Edward 6 Cloud as a new processing paradigm dr hab. inż. Borzemski Leszek 7 Big data processing dr hab. inż. Borzemski Leszek 8 Deploment of private cloud dr hab. inż. Borzemski Leszek 9 Data security and secure processing in clouds dr hab. inż. Borzemski Leszek

2 10 Multi-cloud federations dr hab. inż. Borzemski Leszek 11 Smart Grid systems dr hab. inż. Borzemski Leszek 12 Internet of Everything and cloud computing dr hab. inż. Borzemski Leszek 13 Models of Information Diffusion In Social Networks dr inż. Bródka Piotr 14 Link prediction in social networks. dr inż. Bródka Piotr 15 Integrated social network analysis. dr inż. Bródka Piotr 16 Elaboration of algorithm to estimate angles flexion during movement for hip, knee and ankle based on wearable sensors dr inż. Brzostowski Krzysztof 17 Elaboration of algorithm to estimate double support time based on wearable sensors dr inż. Brzostowski Krzysztof

3 18 Elaboration of algorithm to estimate upper limbs velocities and angles based on wearable sensors dr inż. Brzostowski Krzysztof 19 Elaboration of algorithms for analysis of upper and lower limbs movements patterns during tennis player s technical training based on wearable sensors dr inż. Brzostowski Krzysztof 20 Elaboration of algorithms for repeatability analysis of upper limbs movements during tennis dr inż. player s technical training based on wearable Brzostowski Krzysztof sensors 21 Elaboration of algorithm for multisensor fusion based on Kalman Filter dr inż. Brzostowski Krzysztof

4 22 Elaboration of algorithm for multi-sensor fusion based on Gaussian Processes dr inż. Brzostowski Krzysztof 23 Elaboration of algorithm to reconstruct input s dynamics (insulin) for Glucose-Insulin process based on output sample data set (glucose level) dr inż. Brzostowski Krzysztof 24 Automatic identification of ancient coins in museum systems based on digital images. dr inż. Choroś Kazimierz Automatic detection of retouching in digital images. Science citation analysis using names and affiliations Information retrieval in the Web using computational collective intelligence methods. dr inż. Choroś Kazimierz dr inż. Choroś Kazimierz dr inż. Choroś Kazimierz

5 28 Automatic analysis of sports videos for the detection of the most attractive sports highlights. dr inż. Choroś Kazimierz 29 Content-based video indexing using motion analysis of players in sports broadcast video. dr inż. Choroś Kazimierz 30 Automatic selection of representative keyframes from shots or scenes detected in TV sports news. dr inż. Choroś Kazimierz dr inż. Choroś Kazimierz 31 Slow-motion replay detection in sports video. dr inż. Choroś Kazimierz 32 Video scenes categorization based on audience emotions and changes in faces detected in videos as well as on accompanying audio. dr inż. Choroś Kazimierz 33 Generation of player characteristics based on the automatic analysis of sports videos.

6 dr inż. Choroś Kazimierz 34 Computer verifier of referee decisions in tennis competitions. dr inż. Choroś Kazimierz 35 Dynamic generation of an infinite area in virtual 3D space. 36 Reliability Modelling of Computer Network dr inż. Chudzik Krzysztof Reliability Modelling of Virtualized Environments Attack Detection Based on Centralized Analysis of Event Logs dr inż. Chudzik Krzysztof dr inż. Chudzik Krzysztof Detection and Visualization of Network Connections Topology Modelling and Prediction Method of Traffic in Computer Networks Cryptographic Methods to Protect Data in Distributed Processing Prediction of Demand for Processing Power in Information Systems dr inż. Chudzik Krzysztof dr inż. Chudzik Krzysztof dr inż. Chudzik Krzysztof dr inż. Chudzik Krzysztof

7 dr inż. Chudzik Krzysztof 43 Detecting Attacks Against Information Systems Using Artificial Intelligence Techniques dr inż. Drapała Jarosław 44 Dynamic programming task for sportsmen's optimal training plan generation. dr inż. Drapała Jarosław 45 EMG onset detection - development and comparison of algorithms dr inż. Drapała Jarosław 46 Development of the computer model of EMG signal for pattern recognition algorithms evaluation and assessment dr inż. Drapała Jarosław 47 Application of reinforcement learning techniques to modeling of reward and punishment learning process - parameter estimation and model selection dr inż. Drapała Jarosław 48 Estimation of the Glucose-Insulin model parameters - analysis of the algorithm

8 49 Requirement management in software maintenance process dr inż. Dubielewicz Iwona 50 Best practices for software maintenance dr inż. Dubielewicz Iwona 51 Mobile application: lifecycle model, development methodologies, deployment dr inż. Dubielewicz Iwona 52 Problems with IT systems integration in an organization. dr inż. Dubielewicz Iwona 53 Intelligent traffic management system dr inż. Filcek Grzegorz 54 Algorithms of management of high-storage warehouse system (WMS) dr inż. Filcek Grzegorz 55 Algorithms of multi-criteria route planning in transportation network dr inż. Filcek Grzegorz 56 Development of the simulator of supply and demand flow for passenger transport in multimodal transport system dr inż. Filcek Grzegorz

9 57 Effectiveness of wireless communication in mobile devices with Android system. dr inż. Fraś Mariusz 58 Streaming multimedia in mobile devices with Android system. dr inż. Fraś Mariusz 59 Application of fuzzy-neural network for forecasting of completion time of execution of network services. dr inż. Fraś Mariusz 60 Evaluation of quality of video streaming services in IP networks. dr inż. Fraś Mariusz 61 Exploration of selected characteristics of Internet autonomous systems. dr inż. Fraś Mariusz 62 Performance evaluation of selected algorithms in parallel processing computer system. dr inż. Fraś Mariusz 63 Using motor activation Information Society active computer game dr inż. Frączkowski Kazimierz 64 The patterns motion detecting using mobile systems IMCR dr inż. Frączkowski Kazimierz

10 65 Integration of mobile patient devices with medical call center. dr inż. Frączkowski Kazimierz 66 Use smartphone to monitor reflux disease (GERD with regard to semantic interoperability. dr inż. Frączkowski Kazimierz 67 The project management across mapping with tasks the competence in firm with matric structure - the globalization of IT projects dr inż. Frączkowski Kazimierz 68 Human movement analysis modeling motion in computer systems dr inż. Frączkowski Kazimierz 69 The modelling equilibrium of body man's about mobile measurements of dynamics of movements body. dr inż. Frączkowski Kazimierz 70 Transmission and mobile access of sensitive data dr inż. Frączkowski Kazimierz 71 Developing HTTP services based on ASP.NET Web API framework dr inż. Fryźlewicz Zbigniew

11 72 Creating modern web applications utilizing HTML5 dr inż. Fryźlewicz Zbigniew 73 Developing autoscaling applications on Windows Azure platform dr inż. Fryźlewicz Zbigniew 74 Integration of applications based on Windows Azure AppFabric dr inż. Fryźlewicz Zbigniew 75 Architecture and services of cloud computing platforms dr inż. Fryźlewicz Zbigniew 76 Evaluation of frameworks supporting web application development based on MVC pattern. dr inż. Fryźlewicz Zbigniew 77 Modern web services based on WCF dr inż. Fryźlewicz Zbigniew

12 78 COMPARATIVE ANALYSIS OF ALGORITHMS DETERMINING MINIMUM SPANNING TREES IN GRAPHS WITH MULTIDIMENSIONAL WEIGHTS. dr inż. Gawrych-Żukowski Andrzej 79 COMPARATIVE ANALYSIS OF SEQUENTIAL AND PARALLEL GRAPH SEARCH ALGORITHMS dr inż. Gawrych-Żukowski Andrzej 80 APPLICATION OF GENETIC ALGORITHMS TO DERIVATION OF A MATHEMATICAL MODEL DESCRIBING RELATIONSHIP BETWEEN SETS OF DATA. dr inż. Gawrych-Żukowski Andrzej

13 81 APPLICATION OF HEURISTIC ALGORITHMS FOR THE TRAVELLING SALESMAN PROBLEM TO THE SOLVING OF LOGISTIC PROBLEMS. dr inż. Gawrych-Żukowski Andrzej 82 APPLICATION OF RECOMMENDATION ALGORITHMS TO AQUISITION OF A HOBBY EQUIPMENT. dr inż. Gawrych-Żukowski Andrzej 83 Elaborating of algorithm for self-managing content delivery networks dr inż. Gąsior Dariusz 84 Algorithms for selected capacity allocation problem in self-organizing computer network under uncertain case dr inż. Gąsior Dariusz 85 Application of game theory to resource allocation problems in computer networks dr inż. Gąsior Dariusz

14 86 Algorithms for routing-location in high-bay warehouses dr inż. Gąsior Dariusz 87 Elaboration of computer decision support system for selected multicriteria resource allocation problem dr inż. Gąsior Dariusz 88 Application of artificial intelligence methods to selected resource management problem dr inż. Gąsior Dariusz 89 Developing environment for stream processing systems dr hab. inż., prof. PWr Gorawski Marcin 90 Stream processing materialized aggregate lists dr hab. inż., prof. PWr Gorawski Marcin 91 Materialized aggregate lists system in cloud computing. dr hab. inż., prof. PWr Gorawski Marcin 92 Indexing spatial time objects in stream data warehouses dr hab. inż., prof. PWr Gorawski Marcin

15 93 Monitoring system load balancing process extracting stream data dr hab. inż., prof. PWr Gorawski Marcin 94 Grammars and learning machines in balancing system process extracting stream data dr hab. inż., prof. PWr Gorawski Marcin 95 Query language and data model in stream data warehouse dr hab. inż., prof. PWr Gorawski Marcin 96 Regions of interest in trajectory data warehouse dr hab. inż., prof. PWr Gorawski Marcin 97 Efficient algorithms for classification and prediction systems, IDS, IPS, and FD for the IT infrastructure. doc. dr inż. Gruber Jacek 98 Image, biochemical and therapeutic diagnostic and predictive models for medical applications. doc. dr inż. Gruber Jacek 99 Programming and cloud computing paradigms as modern processing and access to resources and services in a global network structural and behavioral confidentiality. doc. dr inż. Gruber Jacek

16 100 Modeling and building IT systems on the Microsoft technology platform. doc. dr inż. Gruber Jacek The safety of large-scale social and business systems implemented in cloud computing. 101 doc. dr inż. Gruber Jacek 102 Space technology for systems based on the Web services paradigm. doc. dr inż. Gruber Jacek 103 Methods and algorithms for classification, clustering for the diagnosis and evaluation of statistical parameters and the quality of the functioning of the technical infrastructure and communication platform for selected optical quantum cryptography. doc. dr inż. Gruber Jacek 104 Advanced algorithms and methods for biometrics. doc. dr inż. Gruber Jacek 105 Services aggregation and decomposition in service-oriented systems based on SOA paradigm prof. dr hab. inż. Grzech Adam

17 106 Methods of services composition in serviceoriented systems with different quality of service criteria prof. dr hab. inż. Grzech Adam 107 Methods of composition of services with network communication services in serviceoriented systems prof. dr hab. inż. Grzech Adam 108 Business models in Internet examples and comparison of resources distribution and task allocation strategies prof. dr hab. inż. Grzech Adam 109 Resource management in Internet of Things like networks prof. dr hab. inż. Grzech Adam 110 Comparison of architecture, available components and the process of implementation of the applications on Windows Phone and Android. dr inż. Hnatkowska Bogumiła

18 111 Development of a simulation system for production management to support the teaching process and increase the level of knowledge acquisition by students of the Faculty of Mechanical Engineering. dr inż. Hnatkowska Bogumiła 112 The use of aspects to simplify concurrent programming dr inż. Hnatkowska Bogumiła 113 Comparison of selected architectural styles due to their impact on the source code maintainability dr inż. Hnatkowska Bogumiła 114 Modeling of business rules. dr inż. Hnatkowska Bogumiła 115 Representation of business rules in XML dr inż. Hnatkowska Bogumiła 116 Extraction of business rules from source code dr inż. Hnatkowska Bogumiła 117 Transformation of business rules expressed in Polish to representation enabling further machine dr inż. Hnatkowska Bogumiła processing

19 118 Detection of inconsistencies and omissions in the set of business rules dr inż. Hnatkowska Bogumiła 119 Application of learning algorithms in a chosen problem of multi-robot task allocation dr inż. Hojda Maciej 120 Integration of JADE and Webots platforms in a system of embodied agent simulation dr inż. Hojda Maciej 121 Application of rescheduling algorithms in a chosen task scheduling problem dr inż. Hojda Maciej 122 The system for optical recognition of objects on Android plaftorm. dr inż. Huk Maciej 123 The system for optical recognition of objects on ios plaftorm. dr inż. Huk Maciej 124 The implementation of the two-dimensional inverse fast Fourier transform algorithm without RAM limitations dr inż. Huk Maciej

20 125 The implementation of the two-dimensional inverse fast Fourier transform algorithm without RAM limitations with use of the CUDA library. dr inż. Huk Maciej 126 Implementation of the Sigma-if neural network on the Android platform in 2D pattern recognition task. dr inż. Huk Maciej 127 Modeling in BPMN with efficiency demands. prof.dr hab. inż. Huzar Zbigniew 128 Defining functional design patterns using SysML language. prof.dr hab. inż. Huzar Zbigniew 129 Application of SUMO ontology in defining meaning of synsets of the Polish Wordnet. prof.dr hab. inż. Huzar Zbigniew 130 The role of ontologies in domain modeling. prof.dr hab. inż. Huzar Zbigniew 131 Estimation of time and effort of information projects. prof.dr hab. inż. Huzar Zbigniew

21 132 Recommendation of user query modification in personalized information retrieval. dr inż. Indyka-Piasecka Agnieszka 133 Query classification mechanism for a system answering queries formulated in Polish. dr inż. Indyka-Piasecka Agnieszka 134 (Question to text snippet matching mechanism for system answering question formulated in Polish). dr inż. Indyka-Piasecka Agnieszka 135 Analysis of multi-criteria decision making prof. dr hab. inż. Józefczyk Jerzy 136 Determination of time-efficient algorithms for selected task scheduling problems with interval uncertainty prof. dr hab. inż. Józefczyk Jerzy 137 Problems and algorithms of location, routing and scheduling in wireless sensor networks prof. dr hab. inż. Józefczyk Jerzy 138 Application of the quantum logic to the decision making dr hab. inż., prof. PWr Jóźwiak Ireneusz

22 139 Game theory application to planning of computer system faults dr hab. inż., prof. PWr Jóźwiak Ireneusz 140 Quantum methods for key cryptographic agreement dr hab. inż., prof. PWr Jóźwiak Ireneusz 141 Trends of development of quantum cryptography methods dr hab. inż., prof. PWr Jóźwiak Ireneusz 142 Statistical analysis of reliability field data of computer systems. dr hab. inż., prof. PWr Jóźwiak Ireneusz 143 Method of reliability characteristics prediction of data transmission systems. dr hab. inż., prof. PWr Jóźwiak Ireneusz 144 Fractal analysis of surface state of object dr hab. inż., prof. PWr Jóźwiak Ireneusz 145 Concomitant variables of information system safety assessment. dr hab. inż., prof. PWr Jóźwiak Ireneusz 146 Game theory application to planning of some organization necessaries dr hab. inż., prof. PWr Jóźwiak Ireneusz

23 147 An environment for detection and analysis of complex services' usage patterns utilizing network models dr inż. Juszczyszyn Krzysztof 148 An environment for development and management of ontology repositories for the description of Web services. dr inż. Juszczyszyn Krzysztof 149 Methods and algorithms for the managing of Web service instances - application in a service composition framework. dr inż. Juszczyszyn Krzysztof 150 Methods for supporting human-computer interactions in service environment - application in chosen service-based system. dr inż. Juszczyszyn Krzysztof 151 Methods and algorithms for testing complex Web services - an application in a service composition framework. dr inż. Juszczyszyn Krzysztof 152 Relational classification in multi-label social networks dr inż. Kajdanowicz Tomasz

24 153 Multi-label classification methods dr inż. Kajdanowicz Tomasz 154 Sentiment Analysis Methods dr inż. Kajdanowicz Tomasz 155 Inference in Big Data dr inż. Kajdanowicz Tomasz 156 Machine learning methods for advertising in the internet dr inż. Kajdanowicz Tomasz 157 Intelligent algorithms for integration of heterogeneous data sources dr inż. Kajdanowicz Tomasz 158 Analysis of users interaction across a variety of social networks dr inż. Kajdanowicz Tomasz 159 Comparative Analysis and Visualization of Selected BDD Variables Ordering Methods dr inż. Kaliś Andrzej 160 Survey of Binary Decision Diagrams Practical Applications. dr inż. Kaliś Andrzej 161 Manipulation Program of Binary Decision Diagrams. dr inż. Kaliś Andrzej

25 162 Behaviour Visualization of Floating-point Arithmetic Units. dr inż. Kaliś Andrzej 163 Educational Prototype Environment of Pipelined MIPS Processor. dr inż. Kaliś Andrzej 164 Computer-aided Education of MIPS Processor Assembler Programming. dr inż. Kaliś Andrzej 165 Development and Realisation of Didactic Test Benches Using Breadboards. dr inż. Kaliś Andrzej 166 Analysis and Visualization of Selected Layout Algorithms. dr inż. Kaliś Andrzej 167 Problems of Digital Circuits Low-power Design. dr inż. Kaliś Andrzej 168 Drawing diagram application Project and Realization. dr inż. Kaliś Andrzej 169 Future Trends in CPU Organization. dr inż. Kaliś Andrzej

26 170 Spatial web server performance forecasting in Internet network with geostatistic simulation methods dr inż. Kamińska-Chuchmała Anna 171 Spatial Web servers performance forecasting with fuzzy methods dr inż. Kamińska-Chuchmała Anna 172 Research and measurements of web servers performance in Internet network using PlanetLab environment dr inż. Kamińska-Chuchmała Anna 173 Verification, analysis and search for anomalies in the experiments measuring of the Web servers performance measurement MWING on the Internet dr inż. Kamińska-Chuchmała Anna 174 Spatial Web servers performance forecasting, taking into account their belonging to the Autonomous Systems, using econometric methods dr inż. Kamińska-Chuchmała Anna

27 175 Linguistic representation of user profile in an electronic commerce system with product classification and recommendation. dr hab. inż. Katarzyniak Radosław 176 An approach to user profile generation in electronic commerce system with product recommendation dr hab. inż. Katarzyniak Radosław 177 Linguistic representation of integrated classification results in workgroup system. dr hab. inż. Katarzyniak Radosław 178 Linguistic representation of group-based quality evaluation of products. dr hab. inż. Katarzyniak Radosław 179 An approach to generation of metadata repository for nodes of heterogeneous and distributed database. dr hab. inż. Katarzyniak Radosław

28 180 An approach to extraction of term relations in distributed information system. Application to update of metadata repository dr hab. inż. Katarzyniak Radosław 181 Semiautomatic strategy for integration of incomplete and inconsistent data resources for ETL processes. dr hab. inż. Katarzyniak Radosław 182 Using sentiment analysis for gathering and managing information about sport events. dr hab. inż. Kazienko Przemysław 183 Sentiment polarity classifier based Emotional analysis using WordNet. dr hab. inż. Kazienko Przemysław 184 A method for fraud detection in IT systems. dr inż. Kołaczek Grzegorz

29 185 A method and tools for personal data security audit. dr inż. Kołaczek Grzegorz 186 Honeypots application to detect suspicious events in IT systems dr inż. Kołaczek Grzegorz 187 Methods of security analysis of Software Defined Netoworking (SDN) based systems. dr inż. Kołaczek Grzegorz 188 The methodology of network analysis and classify sources that can be marked as social influencers. dr inż. Kołaczek Grzegorz 189 Network security related problems detection using network traffic analysis. dr inż. Kołaczek Grzegorz 190 Client honeypot application to detect security problems in network services. dr inż. Kołaczek Grzegorz

30 191 Design and Implementation of an Anomaly Detection Service dr inż. Kołaczek Grzegorz 192 Music signal processing system working at the harmony level. dr inż. Kopel Marek 193 Intelligent User Agent for Semantiic Web. dr inż. Kopel Marek 194 Software looper pedal - a system for looping sound layers. dr inż. Kopel Marek 195 OCR for sheet music digitization. dr inż. Kopel Marek 196 SOA system enabling orchestration and choreography of music Web Services. dr inż. Kopel Marek 197 Research of parallelization on GPGPU of the selected algorithm of similarity measure for text strings. dr inż. Konieczny Dariusz 198 Research of parallelization on GPGPU of the selected algorithm of state space search. dr inż. Konieczny Dariusz

31 199 Research of parallelization on GPGPU of the selected algorithm to build a decision tree. dr inż. Konieczny Dariusz Research of parallelization on GPGPU of the selected string parsing algorithm. dr inż. Konieczny Dariusz Research of parallelization on GPGPU of the Hungarian method dr inż. Konieczny Dariusz Analyzing the influence of the recommendation on the web system performance dr inż. Kozierkiewicz-Hetmańska Adrianna The method of learning scenario modification in an intelligent tutoring system dr inż. Kozierkiewicz-Hetmańska Adrianna 204 Personalization process in m-learning systems dr inż. Kozierkiewicz-Hetmańska Adrianna Voice based emotion recognition Facial expression recognition Emotion recognition comparative analysis. Modelling interest of interlocutor using nonverbal information. dr inż. Kukla Elżbieta dr inż. Kukla Elżbieta dr inż. Kukla Elżbieta dr inż. Kukla Elzbieta

32 209 Methods and techniques of multimedia information fusion comprative analysis. dr inż. Kukla Elżbieta 210 Retrieval of handwritten Digital Ink documents. dr inż. Kukla Elzbieta 211 Possibilities of using Near Sets theory for searching similar images prof.dr hab. inż. Kwaśnicka Halina 212 Analysis of the ability to automatically determine the sequence of symbols HamNoSys on video prof.dr hab. inż. Kwaśnicka Halina 213 The evolution of virtual organisms in an ecosystem prof.dr hab. inż. Kwaśnicka Halina 214 Intelligent agent for managing evolutionary algorithm prof.dr hab. inż. Kwaśnicka Halina 215 Comparative analysis of selected methods of hierarchical clustering prof.dr hab. inż. Kwaśnicka Halina 216 Analysis of semantic hierarchical clustering using real database of images prof.dr hab. inż. Kwaśnicka Halina

33 217 Projection of ontology on hierarchical clustering results prof.dr hab. inż. Kwaśnicka Halina 218 Traffic control system based on artificial intelligence algorithms. prof.dr hab. inż. Kwaśnicka Halina 219 Parallel applications anomalies analysis. dr inż. Kwiatkowski Jan 220 Solving wireless routers planning problem within the building using GPU dr inż. Kwiatkowski Jan 221 Performance evaluation of parallel aplications dr inż. Kwiatkowski Jan 222 Performance evaluation in the distributed environments dr inż. Kwiatkowski Jan 223 Optimal job processing in the heterogeneous dynamic distributed environments dr inż. Kwiatkowski Jan 224 The design and implementation of the distributed network broker dr inż. Kwiatkowski Jan

34 225 The design and implementation of matrix calculations library using GPU dr inż. Kwiatkowski Jan 226 The design and implementation of GPU distributed system. dr inż. Kwiatkowski Jan 227 Algorithms of the confidentiality in designing computer systems dr inż. Liber Arkadiusz 228 Inteligent systems of assisting the preservation of health and beauties dr inż. Liber Arkadiusz 229 Inteligent systems of data security dr inż. Liber Arkadiusz 230 Computer based modeling of information processes dr inż. Liber Arkadiusz 231 Algorithms of the search and analysis of astronomical objects and astrophysical phenomena dr inż. Liber Arkadiusz 232 Forensic methods of investigations of information systems dr inż. Liber Arkadiusz 233 Algorithms of medical data processing in computer systems of medical diagnosis dr inż. Liber Arkadiusz

35 234 Invisible methods of the signing information in information systems dr inż. Liber Arkadiusz 235 Methods of software reliability for object oriented paradigm dr inż. Liber Arkadiusz 236 Algebraic and analytic methods in modern cryptography dr inż. Liber Arkadiusz Automated generation of unit tests Evaluation of the fault-finding effectiveness of unit tests by means of mutation testing. dr hab. inż. Madeyski Lech dr hab. inż. Madeyski Lech 239 Evaluation of the fault-finding effectiveness of unit tests by means of higher order mutation. dr hab. inż. Madeyski Lech 240 Dynamic adaptive mutation testing. dr hab. inż. Madeyski Lech 241 Automated repair of software. dr hab. inż. Madeyski Lech

36 242 Software defect prediction. dr hab. inż. Madeyski Lech 243 Early prediction of top software crashes. dr hab. inż. Madeyski Lech 244 Software metrics repository. dr hab. inż. Madeyski Lech 245 Human behaviour pattern recognitiom using Kinect dr hab. inż., prof. PWr Markowska-Kaczmar Urszula 246 Rendering of atmospheric discharges based on lightning photographs dr hab. inż. Markowska-Kaczmar Urszula 247 Evaluation of pulsedneural network usability in stock market forecast dr hab. inż. Markowska-Kaczmar Urszula 248 Evolutionary approach in defuzzyfication procedure for Type-2 fuzzy sets dr hab. inż. Markowska-Kaczmar Urszula

37 249 Deep belief networks in similar image retrieval dr hab. inż. Markowska-Kaczmar Urszula 250 Computing with words in decision system dr hab. inż. Markowska-Kaczmar Urszula 251 Perception based image retrieval dr hab. inż. Markowska-Kaczmar Urszula 252 Graph databases dr hab., prof. PWr Mazur Zygmunt 253 Document oriented database dr hab., prof. PWr Mazur Zygmunt 254 Column oriented database dr hab., prof. PWr Mazur Zygmunt 255 Data Vault Modeling dr hab., prof. PWr Mazur Zygmunt 256 Management of transaction in information integration system dr hab., prof. PWr Mazur Zygmunt 257 Models of information integration dr hab., prof. PWr Mazur Zygmunt

38 258 Methods of graphic representation of a document set dr hab., prof. PWr Mazur Zygmunt 259 Methods of intelligent navigation in Internet collection of documents dr hab., prof. PWr Mazur Zygmunt 260 A system of automatic extraction of texts from the Internet dr hab., prof. PWr Mazur Zygmunt 261 Methods of navigation in collections of text documents dr hab., prof. PWr Mazur Zygmunt 262 Advanced Intrusion Detection Systems in Local Computer Network. dr inż. Mendyk-Krajewska Teresa 263 Chosen Methods of Strong Authentication in Practice. dr inż. Mendyk-Krajewska Teresa 264 Remote Network Management Advantages and Threats. dr inż. Mendyk-Krajewska Teresa 265 Secure Administration of IT System in Wireless Network. dr inż. Mendyk-Krajewska Teresa

39 266 Authentication System in the Local Computer Network Project and Implementation. Advantages of Dedicated Applications. dr inż. Mendyk-Krajewska Teresa 267 Security Software of IT Systems New Technologies. dr inż. Mendyk-Krajewska Teresa 268 Software for Mobile Devices Functionality and Security. dr inż. Mendyk-Krajewska Teresa 269 Improvement of the Efficiency of Evolutionary Algorithms dr inż. Myszkowski Paweł 270 Efficiency analisys of metaheuristics applied to project scheduling problem dr inż. Myszkowski Paweł 271 Differential Evolution solving project scheduling problem dr inż. Myszkowski Paweł 272 Metaheuristic-based hybrids solving project scheduling problem dr inż. Myszkowski Paweł

40 273 Efficiency analisys of metaheuristics in clustering task dr inż. Myszkowski Paweł 274 Artificial Intelligence techniques in computer games dr inż. Myszkowski Paweł 275 Artificial Intelligence techniques in computer games dr inż. Myszkowski Paweł 276 Artificial Intelligence solves the game telemetry problems dr inż. Myszkowski Paweł 277 Artificial Intelligence techniques in decision making problem in board games dr inż. Myszkowski Paweł 278 Design and implementation of a query language for federations of data warehouses. prof. dr hab. inż. Nguyen Ngoc Thanh 279 Design and implementation of an algorithm for data integration in federations of data warehouses prof. dr hab. inż. Nguyen Ngoc Thanh 280 Methods for fuzzy ontology integration. prof. dr hab. inż. 281 Design and implementation of an agent system for recommendation tasks. prof. dr hab. inż. Nguyen Nguyen Ngoc Thanh Ngoc Thanh

41 282 Exploration of the relationship between the inconsistency level of collective members knowledge states and the quality level of entire collective knowledge state determined by consensus. prof. dr hab. inż. Nguyen Ngoc Thanh 283 Method for processing knowledge originating from distributed and autonomous sources prof. dr hab. inż. Nguyen Ngoc Thanh 284 Algorithms for management and processing big data prof. dr hab. inż. Nguyen Ngoc Thanh 285 Analysis of time series in Internet measurement data based on rules dr inż. Nowak Ziemowit 286 Analysis of time series in Internet measurement data based on templates dr inż. Nowak Ziemowit 287 System of Internet transfer rate prediction dr inż. Nowak Ziemowit 288 Analysis of Internet transfer rate prediction methods dr inż. Nowak Ziemowit

42 289 Multiagent knowledge acquisition system about Internet health dr inż. Nowak Ziemowit 290 Design and implementation of an expert system for a chosen domain dr inż. Orski Donat 291 Design and implementation of an HMI interface for a selected control task in an intelligent house dr inż. Orski Donat 292 Application of nonlinear programming in knowledge-based resource allocation under uncertainty dr inż. Orski Donat 293 Application of complex performance indexes in project budget allocation under uncertainty dr inż. Orski Donat 294 Preparation of a laboratory exercise devoted to analysis of models and algorithms in a computer system for temperature stabilization dr inż. Orski Donat 295 Web-based large scale image retrieval dr inż. Paradowski Mariusz