A. Bădică C. Bădică | FSP and FLTL framework for specification and verification of middle-agents | 9-25 |

J. Baumeister J. Reutelshoefer F. Puppe | Engineering intelligent systems on the knowledge formalization continuum | 27-39 |

J. Cañadas J. Palma S. Túnez | Defining the semantics of rule-based web applications through model-driven development | 41-55 |

I. Czarnowski P. Jędrzejowicz | Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem | 57-68 |

A. Kozierkiewicz-Hetmańska N. Nguyen | A method for learning scenario determination and modification in intelligent tutoring systems | 69-82 |

A. Meissner | Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic | 83-95 |

C. Xu M. Liao X. He | Stability and Hopf bifurcation analysis for a Lotka-Volterra predator-prey model with two delays | 97-107 |

A. Shumsky A. Zhirabok D. Berdjag V. Cocquempot C. Christophe | Algebraic approach for model decomposition: application to fault detection and isolation in discrete-event systems | 109-125 |

R. Sakthivel R. Raja S. Anthoni H. Kim | Stability of impulsive Hopfield neural networks with Markovian switching and time-varying delays | 127-135 |

J. Pedro O. Dahunsi | Neural network based feedback linearization control of a servo-hydraulic vehicle suspension system | 137-147 |

Ł. Korus | Simple environment for developing methods of controlling chaos in spatially distributed systems | 149-159 |

K. Röbenack K. Reinschke | On generalized inverses of singular matrix pencils | 161-172 |

T. Tomczak | Hierarchical residue number systems with small moduli and simple converters | 173-192 |

D. Borys K. Szczucka-Borys K. Gorczewski | System matrix computation for iterative reconstruction algorithms in spect based on direct measurements | 193-202 |

M. Frąckiewicz H. Palus | KHM clustering technique as a segmentation method for endoscopic colour images | 203-209 |

O. Terzo L. Mossucca M. Cucca R. Notarpietro | Data intensive scientific analysis with grid computing | 219-228 |

A. Carpen-Amarie A. Costan J. Cai G. Antoniu L. Bougé | Bringing introspection into BlobSeer: Towards a self-adaptive distributed datamanagement system | 229-242 |

J. Kołodziej F. Xhafa | Modern approaches to modeling user requirements on resource and task allocation in hierarchical computational grids | 243-257 |

M. Hall-May M. Surridge R. Nossal-Tüyeni | Resilient critical infrastructure management with a service oriented architecture: A test case using airport collaborative decision making | 259-274 |

H. González-Vélez M. Kontagora | Performance evaluation of MapReduce using full virtualisation on a departmental cloud | 275-284 |

G. Di Modica O. Tomarchio L. Vita | Resource and service discovery in SOAs: A P2P oriented semantic approach | 285-294 |

F. López-Fuentes | P2P video streaming combining SVC and MDC | 295-306 |

S. Karthikeyan K. Balachandran | Constrained controllability of nonlinear stochastic impulsive systems | 307-316 |

A. El Mouatasim R. Ellaia E. Souza de Cursi | Random perturbation of the projected variable metric method for nonsmooth nonconvex optimization problems with linear constraints | 317-329 |

K. Latawiec W. Hunek | A study on new right/left inverses of nonsquare polynomial matrices | 331-348 |

A. Poznyak J. Clempner | Convergence method, properties and computational complexity for Lyapunov games | 349-361 |

D. Belter K. Walas | Supporting locomotive functions of a six-legged walking robot | 363-377 |

T. Kaczorek | Singular fractional linear systems and electrical circuits | 379-384 |

D. Zydek H. Selvaraj G. Borowik T. Łuba | Energy characteristic of a processor allocator and a network-on-chip | 385-399 |

A. Barkalov R. Wiśniewski L. Titarenko W. Halang | Design of microprogrammed controllers to be implemented in FPGAs | 401-412 |

W. Chen A. Khan M. Abid S. Ding | Integrated design of observer based fault detection for a class of uncertain nonlinear systems | 423-430 |

P. Weber D. Theilliol A. Khelassi | Reconfigurability analysis for reliable fault-tolerant control design | 431-439 |

M. Bonfè P. Castaldi N. Mimmo S. Simani | Active fault tolerant control of nonlinear systems: The cart-pole example | 441-455 |

C. Aubrun B. Boussaid M. Abdelkrim M. Ben Gayed | Performance evaluation based fault tolerant control with actuator saturation avoidance | 457-466 |

M. Blanke S. Fang | Fault monitoring and fault recovery control for position-moored vessels | 467-478 |

K. Dettmann D. Söffker | Adaptive modeling of reliability properties for control and supervision purposes | 479-486 |

P. Hild | A sign preserving mixed finite element approximation for contact problems | 487-498 |

E. Zerrik H. Bourray K. Ztot | Regional control problem for distributed bilinear systems: Approach and simulations | 499-508 |

J. Guillet B. Mourllion A. Birouche M. Basset | Extracting second-order structures from single-input state-spacemodels: Application to model order reduction | 509-519 |

T. Kaczorek | New stability conditions for positive continuous-discrete 2D linear systems | 521-524 |

I. Dulęba J. Jagodziński | Motion representations for the Lafferriere–Sussmann algorithm for nilpotent control systems | 525-534 |

H. Saeedi N. Mollahasani M. Mohseni Moghadam G. Chuev | An operational Haar wavelet method for solving fractional Volterra integral equations | 535-547 |

Y. Shin C. Park | Analysis of correlation based dimension reduction methods | 549-558 |

A. Styrcz J. Mrozek G. Mazur | A neural-network controlled dynamic evolutionary scheme for global molecular geometry optimization | 559-566 |

A. Chydziński Ł. Chróst | Analysis of AQM queues with queue size based packet dropping | 567-577 |

J. Li J. Li Z. Xia | Delay-dependent generalized H2 control for discrete T–S fuzzy large-scale stochastic systems with mixed delays | 585-603 |

C. Mnasri M. Gasmi | LMI-based adaptive fuzzy integral sliding mode control of mismatched uncertain systems | 605-615 |

S. Tong G. Yang W. Zhang | Observer-based fault-tolerant control against sensor failures for fuzzy systems with time delays | 617-627 |

J. Ragot K. Khémiri F. Ben Hmida M. Gossa | Novel optimal recursive filter for state and fault estimation of linear stochastic systems with unknown disturbances | 629-637 |

D. Theilliol C. Aubrun V. Cocquempot J. Georges J. Ponsart | Fault tolerance in networked control systems under intermittent observations | 639-648 |

Q. Zhang L. Yang D. Liao | Existence and exponential stability of a periodic solution for fuzzy cellular neural networkswith time-varying delays | 649-658 |

J. Błaszczyk W. Szynkiewicz | Optimization-based approach to path planning for closed chain robot systems | 659-670 |

Z. Kowalczuk M. Czubenko | Intelligent decision-making system for autonomous robots | 671-684 |

T. Mahmoud | Adaptive control scheme based on the least squares support vector machine network | 685-696 |

T. Kaczorek | Positive stable realizations of fractional continuous-time linear systems | 697-702 |

T. Barszcz P. Czop | Estimation of feedwater heater parameters based on a grey-box approach | 703-715 |

K. Krawiec W. Jaśkowski M. Szubert | Evolving small-board Go players using coevolutionary temporal difference learning with archives | 717-731 |

M. Arangú M. Salido | A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems | 733-744 |

C. Aswani Kumar | Knowledge discovery in data using formal concept analysis and random projections | 745-756 |

K. Gdawiec D. Domańska | Partitioned iterated function systems with division and a fractal dependence graph in recognition of 2D shapes | 757-767 |

V. Prasath | A well-posed multiscale regularization scheme for digital image denoising | 769-777 |