online read us now
Paper list
Number 1 - March 2011
Volume 21 - 2011
- FSP and FLTL framework for specification and verification of middle-agents
Amelia Bădică, Costin Bădică
Special section - Engineering intelligent systems on the knowledge formalization continuum
Joachim Baumeister, Jochen Reutelshoefer, Frank Puppe
Special section - Defining the semantics of rule-based Web applications through model-driven development
Joaquín Cañadas, José Palma, Samuel Túnez
Special section - Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem
Ireneusz Czarnowski, Piotr Jędrzejowicz
Special section - A method for learning scenario determination and modification in intelligent tutoring systems
Adrianna Kozierkiewicz-Hetmańska, Ngoc Thanh Nguyen
Special section - Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Adam Meissner
Special section - Stability and Hopf bifurcation analysis for a Lotka–Volterra predator-prey model with two delays
Changjin Xu, Maoxin Liao, Xiaofei He
Regular section - Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems
Denis Berdjag, Vincent Cocquempot, Cyrille Christophe, Alexey Shumsky, Alexey Zhirabok
Regular section - Stability of impulsive Hopfield neural networks with Markovian switching and time-varying delays
Ramachandran Raja, Rathinasamy Sakthivel, Selvaraj Marshal Anthoni, Hyunsoo Kim
Regular section - Neural network based feedback linearization control of a servo-hydraulic vehicle suspension system
Jimoh Olarewaju Pedro, Olurotimi Akintunde Dahunsi
Regular section - Simple environment for developing methods of controlling chaos in spatially distributed systems
Łukasz Korus
Regular section - On generalized inverses of singular matrix pencils
Klaus Röbenack, Kurt Reinschke
Regular section - Hierarchical residue number systems with small moduli and simple converters
Tadeusz Tomczak
Regular section - System matrix computation for iterative reconstruction algorithms in SPECT based on direct measurements
Damian Borys, Katarzyna Szczucka-Borys, Kamil Gorczewski
Regular section - KHM clustering technique as a segmentation method for endoscopic colour images
Mariusz Frąckiewicz, Henryk Palus
Regular section