Special issue published: "Applied Formal Methods in Computer, Control, and Communications Systems"

International Journal of Reasoning-based Intelligent Systems 7(1/2) 2015

Extended versions of papers presented at the XLVIII International Scientific Conference on
Information, Communication and Energy Systems and Technologies (ICEST 2013).

• Interactive environment WebOptim for solving multiple-objective problems using scalarising and evolutionary approaches
• PPMaaS: performance-based pricing model as a service
• Using generalised stochastic Petri nets to model and analyse search behaviour patterns
• Metaheuristic global path planning algorithm for mobile robots
• AGV guidance system simulations with a programmable robotics kit
• Chaos modelling and simulation of cascade connected nonlinear electrical systems using MATLAB/Bondsim
• Non-destructive diagnosis of food products using neural-genetic algorithm
• Neural network model for 2D DOA estimation of two coherent sources
• Improvement of noise immunity of satellite DVB channel
• Finding URLs in images by text extraction in DCT domain, recognition and matching in dictionary

Additional papers

• Content-based indexing of visual information in the web pages
• Hierarchical SVD-based image decomposition with tree structure
• Discrete ripplet transform based steganography system for imaging applications