Extending a communication service provider's operations management based on knowledge granules and aspects derived from imperfect information
Analyzing Incoming Workload in Cloud Business Services
Rotation Forest in Software Defect Prediction
A review of feature selection methods with applications
The Effect of Distributed Generation Type and Location Constraints on the Solution of the Allocation Algorithm
Customization of the GIS system of Elektroprimorje Rijeka and its integration with other information systems in the company
An overview of free software tools for general data mining
STIMONT : A core ontology for multimedia stimuli description
Extension and Detailed Overview of the HRVFrame Framework for Heart Rate Variability Analysis
Feature extraction from electroencephalographic records using EEGFrame framework
GIS-based Determination of Optimal Accommodation of Embedded Generation on the MV Network
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
Decision tree ensembles in biomedical time-series classification
Extraction of nonlinear features from biomedical time-series using HRVFrame framework
Evaluating and Comparing Performance of Feature Combinations of Heart Rate Variability Measures for Cardiac Rhythm Classification
Beam Division in Acoustic Simulation of Non- Homogenous Environments
Application of geographical information system in determining the optimal placement of distributed generation in MV network
Computer Cluster Scheduling Algorithm Based on Time Bounded Dynamic Programming
Job Status Prediction – Catch Them Before They Fail
Electrocardiogram analysis using a combination of statistical, geometric, and nonlinear heart rate variability features
Nature inspired self-healing model for SIP-based services
The effect of refraction as a non-linear transformation on beam tracing simulation of sound propagation
Processing and Analysis of Biomedical Nonlinear Signals by Data Mining Methods
Ontology-Based Administration of Web Directories
Web Shop User Error Detection Based on Rule Based Expert System
Computer Cluster Workload Analysis
Random Forest-Based Classification of Heart Rate Variability Signals by Using Combinations of Linear and Nonlinear Features
Classification of Biological Signals Based on Nonlinear Features
Information gain of structured medical diagnostic tests: Integration of Bayesian networks and ontologies
Self-healing Model for SIP-Based Services
Assessing Semantic Quality of Web Directory Structure
Decision Support Systems in Ontology-Based Construction of Web Directories
Impact of censoring on learning Bayesian networks in survival modelling
Feature Set Extension for Heart Rate Variability Analysis by Using Non-linear, Statistical and Geometric Measures
Identification of persons and business subjects in text documents based on lexical analysis and scoring system
Computer Cluster and Grid Simulator
Tagging multimedia stimuli with ontologies
Time series classification based on qualitative space fragmentation
Relevance of qualitative subjective visual attributes to signal categorization
Self-Protecting Session Initiation Protocol Stack
Load Balancing MPI Algorithm for High Throughput Applications
Analysis of ECG Records using ECG Chaos Extractor Platform and Weka System
Analysis of Scheduling Algorithms for Computer Clusters
Applicability of Qualitative ECG Processing to Wearable Computing
Relevance of Qualitative Subjective Visual Attributes to Signal Categorization
Symbolic Boolean Function Representation and Handling on Distributed Computing Systems
Feature Extraction for ECG Time-Series Mining Based on Chaos Theory
Developing Factual Knowledge from Medical Data by Composing Ontology Structures
Modeling and Verification of MPI Based Distributed Software
Cellular Automata Based Model for the Prediction of Oil Slicks Behavior
Efficient Gene Expression Analysis by Linking Multiple Data Mining Algorithms
Caching in Parallel BDD Package
BDD complexity analysis of multiplier circuits
Verification of Infinite State Mutual Exclusion Protocols
Service Development and Application Integration with Public Information System Mediator
Mutual Information Based Reduction of Data Mining Dimensionality in Gene Expression Analysis
Parallel approaches to BDD manipulation
Compositional Approach to Verification of Distributed Sstems Protocols
Formal Verification of Logical Link Control and Adaptation Protocol
An Integrated Intelligent System for Data Mining and Decision Making
A Synthesized Framework for Formal Verification of Computing Systems
Coordinated Multi-Procedural Architecture for Probabilistic Knowledge Discovery
Time series classification based on discrete-space feature extraction
Verification of mutual exclusion algorithms with SMV system
BDD-based Algorithms for Computing State Transitions
Formal Verification of Communication Protocols in Distributed Systems
Dynamic Features of the Normal Heart Rate Variability
Nonlinear Information Processing in Extracting Predictive Attributes of an ECG Signal
Qualitative Modeling of Complex Systems Based on Similarity Calculus
An Integrated Intelligent System for Data Mining and Decision Making
Enhancing the Efficiency of Data Mining Process by Circular Coupling of Multiple Schemes
Exploring the Constraints in Formal Verification of Communication and Computing Systems
The Role of Model-Checking in the Proliferation of E-economy
An Analysis of Recombination Techniques in Evolution Programs
Deriving Heuristics in Evolutionary Algorithms through Families of Focused Experiments
Evolutionary Algorithm for Steiner Tree Optimization
The Application of Quantum Mind Theory in the Composition of Telecommunication System Model
Comparison of Methods for Reduction of Computational Complexity in Bayesian Networks
A Programming Model for Composing Data-flow Collaborative Applications
Object oriented graphical environment for numerical approach to uncertainty management
Visual resource management in heterogeneous distributed computing environments
Net-Reason: A probabilistic network reasoning program
SATP: A simple automated theorem prover
Reactive visual design and control of distributed industrial instrumentation systems
Domain dependencies of automated theorem proving resolution strategies
Consistent uncertainty management in expert systems
On the probabilistic concepts in rule-based automated reasoning
Adaptive uncertainty management for a class of diagnostic expert systems
Insufficiency of First Order Logic as a Database Query Language
Avoiding Infinite Loops in Rule-Based Systems with Backward Chaining
Object Oriented Programming Library of Network Functions in a Distributed Instrumentation System
Object Oriented Approach to Design of Interactive Intelligent Instrumentation User Interface
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
Syntactic Parsing and Plotting of Mathematical Expressions
Computer Systems Performance Evaluation by the Queueing Process Transient and Stationary State Measurement
A microprocessor controlled gas-flowmeter with autocalibration and nonlinearity compensation
Process Scheduling Procedure for a Class of Real-Time Computer Systems
Programming Model for Distributed Intelligent Systems
Analytical procedures of estimation the overhead processing time for a class of real-time computer 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 Computerized Instrumentation for Environmental Parameters Measurement and Data Processing
A method for the microcomputer memory emulation by a minicomputer
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 duties
University undergraduate
- Software Design (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
University graduate
- Graduation Thesis (Lecturers)
- Project (Lecturers)
- Seminar (Lecturers)
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