Geodesic

Sommaire du Fascicule no. 1

FSP and FLTL framework for specification and verification of middle-agents
p. 9-25
Engineering intelligent systems on the knowledge formalization continuum
p. 27-39
Defining the semantics of rule-based Web applications through model-driven development
p. 41-55
Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem
p. 57-68
A method for learning scenario determination and modification in intelligent tutoring systems
p. 69-82
Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
p. 83-95
Stability and Hopf bifurcation analysis for a Lotka-Volterra predator-prey model with two delays
p. 97-107
Algebraic approach for model decomposition: Application to fault detection and isolation in discrete-event systems
p. 109-125
Stability of impulsive Hopfield neural networks with Markovian switching and time-varying delays
p. 127-135
Neural network based feedback linearization control of a servo-hydraulic vehicle suspension system
p. 137-147
Simple environment for developing methods of controlling chaos in spatially distributed systems
p. 149-159
On generalized inverses of singular matrix pencils
p. 161-172
Hierarchical residue number systems with small moduli and simple converters
p. 173-192
System matrix computation for iterative reconstruction algorithms in SPECT based on direct measurements
p. 193-202
KHM clustering technique as a segmentation method for endoscopic colour images
p. 203-209

Sommaire du Fascicule no. 2

Data intensive scientific analysis with grid computing
p. 219-228
Bringing introspection into BlobSeer: Towards a self-adaptive distributed data management system
p. 229-242
Modern approaches to modeling user requirements on resource and task allocation in hierarchical computational grids
p. 243-257
Resilient critical infrastructure management with a service oriented architecture: A test case using airport collaborative decision making
p. 259-274
Performance evaluation of MapReduce using full virtualisation on a departmental cloud
p. 275-284
Resource and service discovery in SOAs: A P2P oriented semantic approach
p. 285-294
P2P video streaming combining SVC and MDC
p. 295-306
Constrained controllability of nonlinear stochastic impulsive systems
p. 307-316
Random perturbation of the projected variable metric method for nonsmooth nonconvex optimization problems with linear constraints
p. 317-329
A study on new right/left inverses of nonsquare polynomial matrices
p. 331-348
Convergence method, properties and computational complexity for Lyapunov games
p. 349-361
Supporting locomotive functions of a six-legged walking robot
p. 363-377
Singular fractional linear systems and electrical circuits
p. 379-384
Energy characteristic of a processor allocator and a network-on-chip
p. 385-399
Design of microprogrammed controllers to be implemented in FPGAs
p. 401-412

Sommaire du Fascicule no. 3

Integrated design of observer based fault detection for a class of uncertain nonlinear systems
p. 423-430
Reconfigurability analysis for reliable fault-tolerant control design
p. 431-439
Active fault tolerant control of nonlinear systems: the cart-pole example
p. 441-455
Performance evaluation based fault tolerant control with actuator saturation avoidance
p. 457-466
Fault monitoring and fault recovery control for position-moored vessels
p. 467-478
Adaptive modeling of reliability properties for control and supervision purposes
p. 479-486
A sign preserving mixed finite element approximation for contact problems
p. 487-498
Regional control problem for distributed bilinear systems: approach and simulations
p. 499-508
Extracting second-order structures from single-input state-space models: application to model order reduction
p. 509-519
New stability conditions for positive continuous-discrete 2D linear systems
p. 521-524
Motion representations for the Lafferriere-Sussmann algorithm for nilpotent control systems
p. 525-534
An operational Haar wavelet method for solving fractional Volterra integral equations
p. 535-547
Analysis of correlation based dimension reduction methods
p. 549-558
A neural-network controlled dynamic evolutionary scheme for global molecular geometry optimization
p. 559-566
Analysis of AQM queues with queue size based packet dropping
p. 567-577

Sommaire du Fascicule no. 4

Delay-dependent generalized H2 control for discrete T-S fuzzy large-scale stochastic systems with mixed delays
p. 585-603
LMI-based adaptive fuzzy integral sliding mode control of mismatched uncertain systems
p. 605-615
Observer-based fault-tolerant control against sensor failures for fuzzy systems with time delays
p. 617-627
Novel optimal recursive filter for state and fault estimation of linear stochastic systems with unknown disturbances
p. 629-637
Fault tolerance in networked control systems under intermittent observations
p. 639-648
Existence and exponential stability of a periodic solution for fuzzy cellular neural networks with time-varying delays
p. 649-658
Optimization-based approach to path planning for closed chain robot systems
p. 659-670
Intelligent decision-making system for autonomous robots
p. 671-684
Adaptive control scheme based on the least squares support vector machine network
p. 685-696
Positive stable realizations of fractional continuous-time linear systems
p. 697-702
Estimation of feedwater heater parameters based on a grey-box approach
p. 703-715
Evolving small-board Go players using coevolutionary temporal difference learning with archives
p. 717-731
A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
p. 733-744
Knowledge discovery in data using formal concept analysis and random projections
p. 745-756
Partitioned iterated function systems with division and a fractal dependence graph in recognition of 2D shapes
p. 757-767
A well-posed multiscale regularization scheme for digital image denoising
p. 769-777