Pristupačnost
Extending a communication service provider's operations management based on knowledge granules and aspects derived from imperfect information
Rotation Forest in Software Defect Prediction
Analyzing Incoming Workload in Cloud Business Services
A review of feature selection methods with applications
An overview of free software tools for general data mining
STIMONT : A core ontology for multimedia stimuli description
Feature extraction from electroencephalographic records using EEGFrame framework
Extension and Detailed Overview of the HRVFrame Framework for Heart Rate Variability Analysis
Beam Tracing with Refraction
Energy Saving Techniques in Datacenters
Analysis of current socio-economic situation and development trends in the "Development of digital society and telecommunication infrastructure" sector
Evaluating and Comparing Performance of Feature Combinations of Heart Rate Variability Measures for Cardiac Rhythm Classification
Extraction of nonlinear features from biomedical time-series using HRVFrame framework
Decision tree ensembles in biomedical time-series classification
Beam Division in Acoustic Simulation of Non- Homogenous Environments
Job Status Prediction – Catch Them Before They Fail
Computer Cluster Scheduling Algorithm Based on Time Bounded Dynamic Programming
Electrocardiogram analysis using a combination of statistical, geometric, and nonlinear heart rate variability features
Information gain of structured medical diagnostic tests: Integration of Bayesian networks and ontologies
Web Shop User Error Detection Based on Rule Based Expert System
Ontology-Based Administration of Web Directories
The effect of refraction as a non-linear transformation on beam tracing simulation of sound propagation
Nature inspired self-healing model for SIP-based services
Computer Cluster Workload Analysis
Classification of Biological Signals Based on Nonlinear Features
Random Forest-Based Classification of Heart Rate Variability Signals by Using Combinations of Linear and Nonlinear Features
Processing and Analysis of Biomedical Nonlinear Signals by Data Mining Methods
Time series classification based on qualitative space fragmentation
Identification of persons and business subjects in text documents based on lexical analysis and scoring system
Impact of censoring on learning Bayesian networks in survival modelling
Decision Support Systems in Ontology-Based Construction of Web Directories
Assessing Semantic Quality of Web Directory Structure
Self-healing Model for SIP-Based Services
Computer Cluster and Grid Simulator
Feature Set Extension for Heart Rate Variability Analysis by Using Non-linear, Statistical and Geometric Measures
Tagging multimedia stimuli with ontologies
Relevance of Qualitative Subjective Visual Attributes to Signal Categorization
Applicability of Qualitative ECG Processing to Wearable Computing
Self-Protecting Session Initiation Protocol Stack
Relevance of qualitative subjective visual attributes to signal categorization
Analysis of Scheduling Algorithms for Computer Clusters
Load Balancing MPI Algorithm for High Throughput Applications
Analysis of ECG Records using ECG Chaos Extractor Platform and Weka System
Developing Factual Knowledge from Medical Data by Composing Ontology Structures
Symbolic Boolean Function Representation and Handling on Distributed Computing Systems
Feature Extraction for ECG Time-Series Mining Based on Chaos Theory
Cellular Automata Based Model for the Prediction of Oil Slicks Behavior
Modeling and Verification of MPI Based Distributed Software
Efficient Gene Expression Analysis by Linking Multiple Data Mining Algorithms
BDD complexity analysis of multiplier circuits
Caching in Parallel BDD Package
Verification of Infinite State Mutual Exclusion Protocols
An Integrated Intelligent System for Data Mining and Decision Making
Formal Verification of Logical Link Control and Adaptation Protocol
Compositional Approach to Verification of Distributed Sstems Protocols
Mutual Information Based Reduction of Data Mining Dimensionality in Gene Expression Analysis
Service Development and Application Integration with Public Information System Mediator
Parallel approaches to BDD manipulation
Time series classification based on discrete-space feature extraction
Coordinated Multi-Procedural Architecture for Probabilistic Knowledge Discovery
BDD-based Algorithms for Computing State Transitions
Formal Verification of Communication Protocols in Distributed Systems
Verification of mutual exclusion algorithms with SMV system
A Synthesized Framework for Formal Verification of Computing Systems
Exploring the Constraints in Formal Verification of Communication and Computing Systems
Enhancing the Efficiency of Data Mining Process by Circular Coupling of Multiple Schemes
An Integrated Intelligent System for Data Mining and Decision Making
Qualitative Modeling of Complex Systems Based on Similarity Calculus
Nonlinear Information Processing in Extracting Predictive Attributes of an ECG Signal
Dynamic Features of the Normal Heart Rate Variability
The Role of Model-Checking in the Proliferation of E-economy
Deriving Heuristics in Evolutionary Algorithms through Families of Focused Experiments
An Analysis of Recombination Techniques in Evolution Programs
A Programming Model for Composing Data-flow Collaborative Applications
Comparison of Methods for Reduction of Computational Complexity in Bayesian Networks
The Application of Quantum Mind Theory in the Composition of Telecommunication System Model
Evolutionary Algorithm for Steiner Tree Optimization
SATP: A simple automated theorem prover
Net-Reason: A probabilistic network reasoning program
Visual resource management in heterogeneous distributed computing environments
Object oriented graphical environment for numerical approach to uncertainty management
Domain dependencies of automated theorem proving resolution strategies
Reactive visual design and control of distributed industrial instrumentation systems
Adaptive uncertainty management for a class of diagnostic expert systems
On the probabilistic concepts in rule-based automated reasoning
Consistent uncertainty management in expert systems
Avoiding Infinite Loops in Rule-Based Systems with Backward Chaining
Insufficiency of First Order Logic as a Database Query Language
Object Oriented Approach to Design of Interactive Intelligent Instrumentation User Interface
Object Oriented Programming Library of Network Functions in a Distributed Instrumentation System
On the Functionality and Structure of Intelligent Instrumentation Systems
Knowledge Representation in a Database environment for Intelligent Instrumentation Applications
Coupling an Expert System with Industrial Real-Time Processes
Computer Systems Performance Evaluation by the Queueing Process Transient and Stationary State Measurement
Syntactic Parsing and Plotting of Mathematical Expressions
A microprocessor controlled gas-flowmeter with autocalibration and nonlinearity compensation
Process Scheduling Procedure for a Class of Real-Time Computer Systems
Analytical procedures of estimation the overhead processing time for a class of real-time computer systems
Programming Model for Distributed Intelligent Systems
Response-Time Measurement of Real-Time Computer Systems with Priority Structures
On the Compensation of Nonlinearity Errors in Microprocessor Based Measuring and Control Systems
A method for the microcomputer memory emulation by a minicomputer
A Computerized Instrumentation for Environmental Parameters Measurement and Data Processing
Minicomputer Application in the Microcomputer Systems Development
On Some Dynamic Characteristics of EPROM 2708 Programming
Application of Magnetic Tape Cassette Memories in Computer Systems
CAMAC System Interfacing to Digital Computers
Reflections and Crosstalk Noise in Digital Systems
Interconnection of Modular Units into an Interface System
Acquisition of Coincident Data from A/D Converters
Registration of Multiparameter Measurement Data on Punched Tape,
Teaching
University undergraduate
- Software Design Project (Lectures)
University graduate
- Graduation Thesis (Lectures)
- Project (Lectures)
- Seminar (Lectures)
Postgraduate doctoral study programme
- Knowledge discovery in data sets (Lecturer in charge)
- Knowledge representation in information systems (Lecturer in charge)
Competences
-
Computational and artificial intelligence
Artificial intelligence Decision support systems Intelligent systems Knowledge based systems Knowledge engineering Inference mechanisms Knowledge acquisition Knowledge discovery Knowledge representation Supervised learning Unsupervised learning Machine learning Dimensionality reduction -
Computers and information processing
Computer performance Computer errors Computer crashes Performance loss Logic programming Performance analysis Business data processing Data analysis Intelligent agents Software as a service Software debugging Software design Software systems Software tools Software engineering Computer aided software engineering Formal verification Reasoning about programs Software architecture -
Computational and artificial intelligence
Artificial intelligence Decision support systems Intelligent systems Knowledge based systems Knowledge engineering Inference mechanisms Knowledge acquisition Knowledge discovery Knowledge representation Supervised learning Unsupervised learning Machine learning Dimensionality reduction -
Computers and information processing
Computer performance Computer errors Computer crashes Performance loss Logic programming Performance analysis Business data processing Data analysis Intelligent agents Software as a service Software debugging Software design Software systems Software tools Software engineering Computer aided software engineering Formal verification Reasoning about programs Software architecture