Submitted extended abstracts of dissertations



Name
Abstract title
Submitted
Defended
Published
Full thesis
O. Kachman Effective Multiplatform Firmware Update Process for Embedded Low-Power Devices
14.9.2018
12.12.2018
TBA
N/A
R. Bencel User Management Architecture Based on Software-Defined Networking
7.8.2018
22.8.2018
TBA
N/A
D. Bernát On the Estimation of Number of Routers in an Ad Hoc Network
6.8.2018
22.8.2018
Vol 10. No 2. 2018
N/A
R. Šelmeci Application of Design Patterns in Service Oriented Architecture
19.7.2018
20.8.2018
Vol 10. No 2. 2018
N/A
M. Blšták Automatic Question Generation Based on Sentence Structure Analysis
15.6.2018
4.7.2018
Vol 10. No 2. 2018
N/A
P. Laurinec Improving Forecasting Accuracy Through the Influence of Time Series Representations and Clustering
28.5.2018
11.7.2018
Vol 10. No 2. 2018
N/A
M. Bystrický Use Case Driven Modularization
13.5.2018
11.7.2018
Vol 10. No 2. 2018
N/A
A. Fogelton Eye Blink Detection
7.3.2018
18.5.2018
Vol 10. No 1. 2018
N/A
J. Filipek Security Architecture for the Distributed Environments
8.2.2018
29.5.2018
Vol 10. No 1. 2018
N/A
O. Kaššák User Modelling Focused on Short-Term Behavioural Changes
17.10.2017
6.12.2017
Vol 10. No 1. 2018
N/A
M. Bušík Development and Optimisation of Model for Cells Flowing in Fluid
16.10.2017
31.8.2017
Vol 10. No 1. 2018
N/A
V. Olešnaníková Use of Compressed Sensing in Wireless Sensor Networks
16.10.2017
22.8.2017
Vol 9. No 2. 2017
N/A
P. Šarafín Input Shaping
16.10.2017
22.8.2017
Vol 10. No 1. 2018
N/A
R. Žalman Analysis of Acoustic Signals with Application Usage in Wireless Sensor Network for Intelligent Transport
16.10.2017
22.8.2017
Vol 9. No 2. 2017
N/A
T. Halagan Architecture for Delivery of Virtualized Network Functions
3.7.2017
24.8.2017
Vol 9. No 2. 2017
N/A
M. Kvassay A Contribution Towards the Discovery of Causal Relationships in Agent-Based Models of Human Behaviour
30.6.2017
7.7.2017
Vol 9. No 2. 2017
pdf
A. Binder Content Delivery Network Interconnect
3.5.2017
12.7.2017
Vol 9. No 2. 2017
N/A
P. Krátky Biometric User Model for Recognition on the Web
28.3.2017
4.5.2017
Vol 9. No 2. 2017
N/A
R. Móro Navigation Leads for Exploratory Search and Navigation in Digital Libraries
1.3.2017
11.4.2017
Vol 9. No 2. 2017
N/A
M. Šajgalík Modelling Text Semantics
11.1.2017
8.2.2017
Vol 9. No 1. 2017
N/A
S. Kavecký Ad Hoc Grid Resource Management: Grid Security
1.12.2016
23.8.2016
Vol 9. No 1. 2017
N/A
R. Tóthová Development and Implementation of Biomedical Models Suitable for Modeling Microfluidic Devices
1.12.2016
31.8.2016
Vol 9. No 1. 2017
N/A
M. Chovanec Q-function Aproximation in Q-learning Algortihms using Neural Network
1.12.2016
22.8.2016
Vol 9. No 1. 2017
N/A
J. Bendik Designing the Public Service Systems with an Exact Optimization Core
1.12.2016
22.8.2016
Vol 9. No 1. 2017
N/A
B. Bučko Knowledge in Information System Development
1.12.2016
23.8.2016
Vol 9. No 1. 2017
N/A
J. Laštinec Security Extension of Automotive Communication Protocols Using Ethernet/IP
17.10.2016
31.1.2017
Vol 9. No 1. 2017
N/A
J. Ševcech Towards Symbolic Representation of Potentially Infinite Time Series
6.10.2016
10.11.2016
Vol 9. No 1. 2017
N/A
L. Valášek Computer Simulation of Course of Fire and Their Consequences
3.10.2016
31.1.2017
Vol 9. No 1. 2017
N/A
M. Bobák Application Performance Optimization in Multicloud Environment
2.8.2016
19.4.2017
Vol 9. No 2. 2017
N/A
Š. Sabo Social Insect Inspired Algorithm to Detect and Track Topics in Dynamic Documents
12.7.2016
29.9.2016
Vol 8. No 2. 2016
N/A
P. Helebrandt Architecture for Core Networks Utilizing Software Defined Networking
27.6.2016
25.8.2016
Vol 8. No 2. 2016
N/A
J. Mojžiš Visualization, Navigation and Relationship Discovery in Graphs
23.6.2016
25.8.2016
Vol 8. No 2. 2016
N/A
J. Balažia Seamless Handover in Networks Based on IEEE 802.11 Standard
21.6.2016
25.8.2016
Vol 8. No 2. 2016
N/A
E. Kuric Automatic Estimation of Software Developer's Expertise
24.5.2016
29.6.2016
Vol 8. No 2. 2016
N/A
K. Rástočný Metadata Management for Large Information Spaces
19.5.2016
29.6.2016
Vol 8. No 2. 2016
N/A
M. Vojtko Formal Description of Embedded Operating Systems
15.5.2016
17.10.2016
Vol 8. No 2. 2016
N/A
I. Srba Promoting Sustainability and Transferability of Community Question Answering
10.5.2016
29.6.2016
Vol 8. No 2. 2016
N/A
Š. Dlugolinský Combining Named Entity Recognition Methods for Concept Extraction
15.3.2016
25.8.2016
Vol 8. No 2. 2016
N/A
M. Kvaššay Reliability Analysis Based on Logical Differential Calculus and Minimal Cut Set Methods
15.4.2016
26.8.2015
Vol 8. No 1. 2016
N/A
M. Kvet Searching and Indexing in Temporal Databases
15.4.2016
25.8.2015
Vol 8. No 1. 2016
N/A
L. Falát Time Series Forecasting with Hybrid Neural Networks and Advanced Statistical Methods
15.4.2016
26.8.2015
Vol 8. No 1. 2016
N/A
J. Papán IP Fast Reroute
15.4.2016
25.8.2015
Vol 8. No 2. 2016
N/A
I. Jančigová Modeling Elastic Objects in Fluid Flow with Biomedical Applications
15.4.2016
25.8.2015
Vol 8. No 1. 2016
N/A
R. Broniš Data transfer in HBB-Next architecture
21.7.2015
24.9.2015
Vol 8. No 1. 2016
N/A
J. Murányi Optimization of Multimedia Flows in Multipath Networks
21.7.2015
24.9.2015
Vol 8. No 1. 2016
N/A
R. Krakovský Processing of Information in multidimensional data space by Projective ART neural network
26.5.2015
24.8.2015
Vol 7. No 2. 2015
N/A
D. Macko Contribution to System-Level Design and Verification of Low-Power Digital Systems
5.6.2015
21.8.2015
Vol 7. No 2. 2015
N/A
Š. Krištofík A Contribution Towards Architectures and Algorithms for Self Repair of RAMs
26.5.2015
21.8.2015
Vol 7. No 2. 2015
N/A
M. Siebert Methods of critical paths delay faults testing in digital systems
2.5.2015
21.8.2015
Vol 8. No 1. 2016
pdf
L. Clementis Study of Game Strategy Emergence by using Neural Networks
30.12.2014
24.8.2015
Vol 7. No 2. 2015
N/A
R. Dvořák Physically-based Modeling and Simulation
19.11.2014
19.11.2014
Vol 7. No 1. 2015
N/A
L. Ďurfina Generic Reverse Compilation to Recognize Specific Behavior
10.11.2014
5.12.2014
Vol 7. No 1. 2015
N/A
J. Hudec Contribution to the Methods and Algorithms of Automatic Generation of Functional Tests for Processors
4.11.2014
18.12.2014
Vol 6. No 4. 2014
N/A
P. Pištek New Multiplexer-based Switching Circuits Synthesis Methods
8.7.2014
26.8.2014
Vol 7. No 1. 2015
N/A
M. Bačíková Domain Analysis of Graphical User Interfaces of Software Systems
25.6.2014
30.6.2014
Vol 6. No 4. 2014
N/A
P. Vilhan Secure Access Control in Distributed Environment
22.5.2014
17.7.2014
Vol 7. No 1. 2015
N/A
D. Levy WLAN Power Save by Header Compression and Packet Overhearing Reduction
26.4.2014
22.8.2014
Vol 6. No 3. 2014
N/A
D. Chalupa Partitioning Networks into Cliques: A Randomized Heuristic Approach
17.4.2014
25.6.2014
Vol 6. No 3. 2014
N/A
P. Horáček Synchronous Formal Systems Based on Grammars and Transducers
4.4.2014
12.9.2014
Vol 6. No 4. 2014
N/A
P. Zemek One-Sided Random Context Grammars
12.3.2014
12.9.2014
Vol 6. No 3. 2014
N/A
J. Palfy Analysis of Dysfluencies by Computational Intelligence
4.3.2014
25.6.2014
Vol 6. No 2. 2014
N/A
M. Hodoň On board localization technologies for vehicle positioning
24.1.2014
20.8.2013
Vol 6. No 2. 2014
N/A
D. Zeleník Reducing the Sparsity of Contextual Information for Recommendation
16.1.2014
21.2.2014
Vol 6. No 2. 2014
N/A
T. Kramár Utilizing Lightweight Semantics for Search Context Acquisition in Personalized Search
17.12.2013
29.1.2014
Vol 6. No 1. 2014
N/A
M. Kompan Group and Single-user Influence Modeling for Personalized Recommendation
17.12.2013
29.1.2014
Vol 6. No 2. 2014
N/A
M. Kvet Designing of Large-Scale Public Service Systems by Covering Methods
22.11.2013
27.8.2013
Vol 5. No 4. 2013
N/A
J. Púchyová Behaviour of Multiagent System with Defined Goal
22.11.2013
20.8.2013
Vol 5. No 4. 2013
N/A
Š. Toth Query Based Image Processing in VANET
22.11.2013
20.8.2013
Vol 5. No 4. 2013
N/A
M. Kraus Parallel Computer Systems Based on Numerical Integrations
23.9.2013
10.10.2013
Vol 5. No 4. 2013
N/A
J. Přibyl Location-aware Data Transfers Scheduling for Distributed Virtual Walkthrough Applications
19.9.2013
2.2.2014
Vol 6. No 1. 2014
N/A
Z. Letko Analysis and Testing of Concurrent Programs
12.9.2013
14.9.2012
Vol 6. No 1. 2014
N/A
J. Havel Point to Line Mappings and Other Line Parameterizations not only for Hough Transfor
21.11.2012
17.12.2012
TBA
N/A
J. Breier Security Evaluation Model based on the Score of Security Mechansisms
24.8.2013
25.10.2013
Vol 6. No 1. 2014
N/A
M. Olsovsky Advanced Notification System for TCP Performance Increase
24.8.2013
25.11.2013
Vol 6. No 2. 2014
N/A
M. Hruby Optimization of Network Traffic Flow
22.8.2013
25.11.2013
Vol 6. No 1. 2014
N/A
J. Šimko Harnessing Manpower for Creating Semantics
13.5.2013
4.7.2013
Vol 5. No 3. 2013
N/A
M. Repka Company Networks Analysis
6.5.2013
27.6.2013
Vol 5. No 4. 2013
N/A
B. M. Nguyen High-level Abstraction Layers for Development and Deployment of Cloud Services
22.4.2013
8.7.2013
Vol 6. No 1. 2014
N/A
F. Hrozek 3D Interfaces of Systems
13.2.2013
31.8.2012
Vol 5. No 2. 2013
N/A
M. Žádník Optimization of Network Flow Monitoring
6.12.2012
23.5.2013
Vol 5. No 2. 2013
N/A
D. Lodrová Security of Biometric Systems<
1.11.2012
4.4.2013
Vol 5. No 3. 2013
N/A
J. Šilhavá Methods for cCass Prediction with High-dimensional Gene Expression Data
20.9.2012
5.3.2013
TBA
N/A
M. Tavač The Object Databases Transformation
20.9.2012
23.8.2012
Vol 5. No 2. 2013
N/A
T. Kuzár Clustering on Social Web
6.12.2012
14.3.2013
Vol 5. No 1. 2013
N/A
P. Kajsa Semantics and Model Driven Design Patterns
1.11.2012
14.3.2013
Vol 5. No 1. 2013
N/A
F. Konečný Relational Verification of Programs with Integer Data
20.9.2012
29.10.2012
Vol 5. No 1. 2013
N/A
J. Šimáček Verification of Programs Manipulating Complex Dynamic Data Structures
20.9.2012
29.10.2012
Vol 5. No 1. 2013
N/A
M. Seeman Image Processing for Improved Perception and Interaction
20.9.2012
11.12.2012
Vol 5. No 3. 2013
N/A
T. Bača Optimisation of Message Distribution in Ad-hoc networks
12.9.2012
23.8.2012
Vol 4. No 4. 2012
N/A
P. Jankovič Support for Creating Robust Plans and Schedules
26.8.2012
28.8.2012
Vol 4. No 3. 2012
N/A
P. Magula Quality of Service in Mobile Ad-hoc Networks
19.8.2012
29.11.2012
Vol 4. No 4. 2012
N/A
V. Puš Packet Classification Algorithms
20.7.2012
17.9.2012
Vol 4. No 4. 2012
N/A
M. Čermák Formal Systems Based upon Automata and Grammars
20.7.2012
18.9.2012
Vol 4. No 4. 2012
N/A
J. Koutný Grammars with Restricted Derivation Trees
20.7.2012
18.9.2012
Vol 4. No 4. 2012
N/A
M. Kopf A Contribution to Traffic State Estimation by Means of Image Processing Methods
18.6.2012
13.9.2012
Vol 5. No 3. 2013
N/A
S. Chodarev Development of Domain-Specific Languages Based on Generic Syntax and Functional Composition
14.6.2012
31.8.2012
Vol 4. No 3. 2012
N/A
J. Mažgut Generalized Multilinear Model for Dimensionality Reduction of Binary Tensors
10.6.2012
30.8.2012
Vol 4. No 3. 2012
N/A
S. Piecka Parallel Methods of Solving of Supply Problem using Ant Colony Optimization
18.5.2012
13.9.2012
Vol 5. No 1. 2013
N/A
R. Juránek Acceleration of Object Detection using Classifiers
17.4.2012
28.6.2012
TBA
N/A
L. Stareček Digital circuits test optimization by multifunctional components
17.4.2012
26.4.2012
Vol 4. No 2. 2012
N/A
M. Pohronská Implementing Embedded Expert Systems via Programmable Hardware
18.3.2012
22.5.2012
Vol 4. No 2. 2012
N/A
V. Šátek Stiff Systems Analysis
13.3.2012
20.2.2012
Vol 4. No 3. 2012
N/A
H. M. Gayana Ruchika de Silva Network-wide Security Analysis
13.3.2012
22.2.2012
TBA
N/A
M. Šimko Automated Acquisition of Domain Model for Adaptive Collaborative Web-Based Learning
3.2.2012
30.3.2012
Vol 4. No 2. 2012
N/A
T. Kováčik IMS service provisioning improvement
16.12.2011
19.4.2012
Vol 4. No 3. 2012
pdf
J. Samek Multi-contextual Trust Model for Multi-Agent Systems
17.10.2011
4.1.2012
Vol 4. No 1. 2012
N/A
S. Machalík Image Analysis in Tribodiagnostics
17.10.2011
5.8.2011
Vol 3. No 4. 2011
N/A
J. Števek Intelligent Embedded Systems
19.9.2011
16.2.2012
Vol 4. No 1. 2012
N/A
G. Tutoky Discovery and Exploitation of Knowledge in Collaboration Social Networks
8.9.2011
21.9.2011
Vol 3. No 4. 2011
pdf
J. Rozman Exploration and Traversable Area Marking for the VisualSLAM
3.8.2011
22.11.2011
Vol 4. No 1. 2012
N/A
Z. Přikryl Advanced Methods of Microprocessor Simulation
3.8.2011
6.9.2011
Vol 3. No 3. 2011
N/A
A. Kovárová Special Interaction Approaches and their Impact on Usability
15.8.2011
26.9.2011
Vol 3. No 3. 2011
N/A
P. Mederly Semi-automated Construction of Messaging-Based Enterprise Application Integration Solutions
11.8.2011
30.9.2011
Vol 3. No 3. 2011
N/A
D. Kotmanová Temporal Specifications in Digital System Verification
30.5.2011
TBA
TBA
N/A
M. Košík A Contribution to Techniques for Building Dependable Operating Systems
28.5.2011
30.9.2011
Vol 3. No 4. 2011
N/A
A. Štrba Wireless Embedded Systems Powered by Energy Harvesting
23.5.2011
24.11.2011
Vol 4. No 1. 2012
N/A
M. Vagač A Dynamic Software Evolution by Metamodel Change
26.4.2011
TBA
Vol 3. No 3. 2011
N/A
P. Drahoš Photo-realistic head model for real-time animation
14.4.2011
30.9.2011
Vol 3. No 4. 2011
N/A
A. Bou
Ezzeddine
Web information retrieval inspired by social insect behaviour
9.2.2011
24.3.2011
Vol 3. No 1. 2011
N/A
P. Kapec Knowledge-based software representation, querying and visualization
31.1.2011
7.4.2011
Vol 3. No 2. 2011
N/A
Ľ. Majtás Contribution to the Creation and Recognition of the Design Patterns Instances
26.1.2011
15.3.2011
Vol 3. No 1. 2011
pdf
P. Bartalos Effective automatic dynamic semantic web service composition
15.12.2010
10.2.2011
Vol 3. No 1. 2011
pdf
M. Barla Towards Social-based User Modeling and Personalization
15.12.2010
10.2.2011
Vol 3. No 1. 2011
pdf
M. Tvarožek Exploratory Search in the Adaptive Social Semantic Web
15.12.2010
10.2.2011
Vol 3. No 1. 2011
N/A
J. Tvarožek Bootstrapping a Socially Intelligent Tutoring
14.12.2010
10.2.2011
Vol 3. No 1. 2011
N/A
K. A. Lázár A Formal Language Theoretic Approach to Self–Organizing Networks
6.12.2010
10.1.2011
Vol 3. No 1. 2011
N/A
L. Holík Abstract Regular Tree Model Checking with Nondeterministic Automata
30.11.2010
3.3.2011
Vol 3. No 2. 2011
N/A
T. Herrman Test Application Methodology Based On the Identification of Testable blocks
30.11.2010
24.2.2011
Vol 4. No 1. 2012
N/A
M. Španěl Delaunay-based Vector Segmentation of Volumetric Medical Images
11.9.2010
5.1.2011
Vol 3. No 1. 2011
N/A
R. Dobai Test generation for asynchronous sequential digital circuits
9.11.2010
19.1.2011
Vol 3. No 1. 2011
N/A
J. Vrana Contextual Visualization of Ontological Models
28.9.2010
29.9.2010
Vol 2. No 2. 2010
pdf
A. Smrčka Verification of Asynchronous and Parametrized Hardware Designs
20.9.2010
15.12.2010
Vol 2. No 2. 2010
N/A
P. Svojanovský Risk Management in IT Service Security
20.9.2010
21.12.2010
Vol 2. No 2. 2010
N/A
J. Kořenek Fast Regular Expression Matching Using FPGA
20.9.2010
2.12.2010
Vol 2. No 2. 2010
N/A
T. Martínek Evaluation of Biological Sequence Similarity Using FPGA Technology
20.9.2010
2.12.2010
Vol 2. No 2. 2010
N/A
P. Weiss Modeling of Service-Oriented Architecture: Integration of Business Process and Service Modeling
20.9.2010
13.12.2010
Vol 2. No 2. 2010
N/A
M. Mánik System Level Diagnostics over the PMC Model
6.9.2010
30.10.2010
Vol 2. No 2. 2010
N/A
E. Gatial Approach to Coordinating Distributed Execution of Agents for Trusted Information Collection
2.9.2010
29.10.2010
Vol 2. No 2. 2010
N/A
M. Baláž Contribution to Digital System Testing Methods
17.8.2010
30.6.2010
Vol 2. No 2. 2010
N/A
Z. Ďurčík Automated web service composition with knowledge approach
30.7.2010
26.10.2010
Vol 2. No 2. 2010
pdf
V. Vaneková Preferential Querying for the Semantic Web
16.7.2010
20.9.2010
Vol 2. No 2. 2010
pdf
J. Kadlec Code Characterization for Automated User Interface Creation
29.6.2010
5.1.2011
Vol 3. No 1. 2011
pdf
L. Skovajsova Document Retrieval by Feed-forward Neural Networkss
21.6.2010
16.12.2010
Vol 2. No 2. 2010
N/A
J. Janáček General Purpose Operating System for Security-critical Applications
21.6.2010
22.11.2010
Vol 2. No 2. 2010
N/A
J. Sedláčková Security Factors in Effort Estimation of Software projects
16.6.2010
1.10.2010
Vol 3. No 2. 2011
N/A
I. Szöke Hybrid word-subword spoken term detection
21.5.2010
19.10.2010
Vol 2. No 2. 2010
N/A
M. Líška Extending and Utilizing the Software and Systems Process Engineering Metamodel with Ontology
16.6.2010
9.9.2010
Vol 2. No 2. 2010
pdf
M. Vysoký Diagram of security
21.5.2010
9.9.2010
Vol 4. No 1. 2012
N/A
Ľ. Ištoňová Descriptional Complexity of Finite State Automata
7.5.2010
9.9.2010
Vol 2. No 2. 2010
N/A
J. Ďuďák The Contribution to Industrial Communication Standards
29.4.2010
28.6.2010
Vol 2. No 1. 2010
N/A
M. Rychlý Formal-based Component Model with Support of Mobile Architecture
12.4.2010
19.2.2010
Vol 2. No 1. 2010
N/A
M. Forgáč Method of Combined Dynamic Modification of Programs and Languages
25.3.2010
30.9.2009
Vol 2. No 1. 2010
N/A
P. Vojtek Contribution to Relational Classification with Homophily Assumption
10.3.2010
21.5.2010
Vol 2. No 1. 2010
pdf
D. Mihályi Duality between formal description of program construction and program behaviour
29.11.2009
30.9.2009
Vol 2. No 1. 2010
N/A
A. Andrejko Novel Approaches to Acquisition and Maintenance of User Model
12.9.2009
19.2.2009
Vol 1. No 1. 2009
N/A
R. Semančík Revised World Wide Web Architecture
22.9.2009
20.5.2009
Vol 1. No 1. 2009
N/A
J. Jakubík Extension for Design Pattern Identification Using Similarity Scoring Algorithm
3.10.2009
5.5.2009
Vol 1. No 1. 2009
N/A
M. Lekavý Planning and Rescheduling
26.9.2009
25.3.2009
Vol 1. No 1. 2009
N/A
M. Makula Power and Limits of Recurrent Neural Networks or Symbolic Sequences Processing
6.10.2009
8.7.2009
Vol 1. No 1. 2009
N/A
P. Trebatický Prediction of Dynamical Systems by Recurrent Neural Networks
8.10.2009
25.6.2009
Vol 1. No 1. 2009
N/A
P. Lacko Emergence of Game Strategy in Multiagent Systems
10.10.2009
25.6.2009
Vol 1. No 1. 2009
N/A
Submit your paper with submition form