bwmeta1.element.bwnjournal-journal-amc, Tome 21 (2011)

Sommaire

FSP and FLTL framework for specification and verification of middle-agents

Amelia Bădică ; Costin Bădică

Access to full text
Full (PDF)

p. 9-25

The Polish Digital Mathematics Library

Engineering intelligent systems on the knowledge formalization continuum

Joachim Baumeister ; Jochen Reutelshoefer ; Frank Puppe

Access to full text
Full (PDF)

p. 27-39

The Polish Digital Mathematics Library

Defining the semantics of rule-based Web applications through model-driven development

Joaquín Cañadas ; José Palma ; Samuel Túnez

Access to full text
Full (PDF)

p. 41-55

The Polish Digital Mathematics Library

Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem

Ireneusz Czarnowski ; Piotr Jędrzejowicz

Access to full text
Full (PDF)

p. 57-68

The Polish Digital Mathematics Library

A method for learning scenario determination and modification in intelligent tutoring systems

Adrianna Kozierkiewicz-Hetmańska ; Ngoc Thanh Nguyen

Access to full text
Full (PDF)

p. 69-82

The Polish Digital Mathematics Library

Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic

Adam Meissner

Access to full text
Full (PDF)

p. 83-95

The Polish Digital Mathematics Library

Stability and Hopf bifurcation analysis for a Lotka-Volterra predator-prey model with two delays

Changjin Xu ; Maoxin Liao ; Xiaofei He

Access to full text
Full (PDF)

p. 97-107

The Polish Digital Mathematics Library

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

Access to full text
Full (PDF)

p. 109-125

The Polish Digital Mathematics Library

Stability of impulsive hopfield neural networks with Markovian switching and time-varying delays

Ramachandran Raja ; Rathinasamy Sakthivel ; Selvaraj Marshal Anthoni ; Hyunsoo Kim

Access to full text
Full (PDF)

p. 127-135

The Polish Digital Mathematics Library

Neural network based feedback linearization control of a servo-hydraulic vehicle suspension system

Jimoh Olarewaju Pedro ; Olurotimi Akintunde Dahunsi

Access to full text
Full (PDF)

p. 137-147

The Polish Digital Mathematics Library

Simple environment for developing methods of controlling chaos in spatially distributed systems

Łukasz Korus

Access to full text
Full (PDF)

p. 149-159

The Polish Digital Mathematics Library

On generalized inverses of singular matrix pencils

Klaus Röbenack ; Kurt Reinschke

Access to full text
Full (PDF)

p. 161-172

The Polish Digital Mathematics Library

Hierarchical residue number systems with small moduli and simple converters

Tadeusz Tomczak

Access to full text
Full (PDF)

p. 173-192

The Polish Digital Mathematics Library

System matrix computation for iterative reconstruction algorithms in SPECT based on direct measurements

Damian Borys ; Katarzyna Szczucka-Borys ; Kamil Gorczewski

Access to full text
Full (PDF)

p. 193-202

The Polish Digital Mathematics Library

KHM clustering technique as a segmentation method for endoscopic colour images

Mariusz Frąckiewicz ; Henryk Palus

Access to full text
Full (PDF)

p. 203-209

The Polish Digital Mathematics Library

Data intensive scientific analysis with grid computing

Olivier Terzo ; Lorenzo Mossucca ; Manuela Cucca ; Riccardo Notarpietro

Access to full text
Full (PDF)

p. 219-228

The Polish Digital Mathematics Library

Bringing introspection into BlobSeer: Towards a self-adaptive distributed data management system

Alexandra Carpen-Amarie ; Alexandru Costan ; Jing Cai ; Gabriel Antoniu ; Luc Bougé

Access to full text
Full (PDF)

p. 229-242

The Polish Digital Mathematics Library

Modern approaches to modeling user requirements on resource and task allocation in hierarchical computational grids

Joanna Kołodziej ; Fatos Xhafa

Access to full text
Full (PDF)

p. 243-257

The Polish Digital Mathematics Library

Resilient critical infrastructure management with a service oriented architecture: A test case using airport collaborative decision making

Martin Hall-May ; Mike Surridge ; Roman Nossal-Tüyeni

Access to full text
Full (PDF)

p. 259-274

The Polish Digital Mathematics Library

Performance evaluation of MapReduce using full virtualisation on a departmental cloud

Horacio González-Vélez ; Maryam Kontagora

Access to full text
Full (PDF)

p. 275-284

The Polish Digital Mathematics Library

Resource and service discovery in SOAs: A P2P oriented semantic approach

Giuseppe Di Modica ; Orazio Tomarchio ; Lorenzo Vita

Access to full text
Full (PDF)

p. 285-294

The Polish Digital Mathematics Library

P2P video streaming combining SVC and MDC

Francisco de Asís López-Fuentes

Access to full text
Full (PDF)

p. 295-306

The Polish Digital Mathematics Library

Constrained controllability of nonlinear stochastic impulsive systems

Shanmugasundaram Karthikeyan ; Krishnan Balachandran

Access to full text
Full (PDF)

p. 307-316

The Polish Digital Mathematics Library

Random perturbation of the projected variable metric method for nonsmooth nonconvex optimization problems with linear constraints

Abdelkrim El Mouatasim ; Rachid Ellaia ; Eduardo Souza de Cursi

Access to full text
Full (PDF)

p. 317-329

The Polish Digital Mathematics Library

A study on new right/left inverses of nonsquare polynomial matrices

Wojciech P. Hunek ; Krzysztof J. Latawiec

Access to full text
Full (PDF)

p. 331-348

The Polish Digital Mathematics Library

Convergence method, properties and computational complexity for Lyapunov games

Julio B. Clempner ; Alexander S. Poznyak

Access to full text
Full (PDF)

p. 349-361

The Polish Digital Mathematics Library

Supporting locomotive functions of a six-legged walking robot

Krzysztof Walas ; Dominik Belter

Access to full text
Full (PDF)

p. 363-377

The Polish Digital Mathematics Library

Singular fractional linear systems and electrical circuits

Tadeusz Kaczorek

Access to full text
Full (PDF)

p. 379-384

The Polish Digital Mathematics Library

Energy characteristic of a processor allocator and a network-on-chip

Dawid Zydek ; Henry Selvaraj ; Grzegorz Borowik ; Tadeusz Łuba

Access to full text
Full (PDF)

p. 385-399

The Polish Digital Mathematics Library

Design of microprogrammed controllers to be implemented in FPGAs

Remigiusz Wiśniewski ; Alexander Barkalov ; Larisa Titarenko ; Wolfgang A. Halang

Access to full text
Full (PDF)

p. 401-412

The Polish Digital Mathematics Library

Integrated design of observer based fault detection for a class of uncertain nonlinear systems

Wei Chen ; Abdul Q. Khan ; Muhammmad Abid ; Steven X. Ding

Access to full text
Full (PDF)

p. 423-430

The Polish Digital Mathematics Library

Reconfigurability analysis for reliable fault-tolerant control design

Ahmed Khelassi ; Didier Theilliol ; Philippe Weber

Access to full text
Full (PDF)

p. 431-439

The Polish Digital Mathematics Library

Active fault tolerant control of nonlinear systems: The cart-pole example

Marcello Bonfè ; Paolo Castaldi ; Nicola Mimmo ; Silvio Simani

Access to full text
Full (PDF)

p. 441-455

The Polish Digital Mathematics Library

Performance evaluation based fault tolerant control with actuator saturation avoidance

Boumedyen Boussaid ; Christophe Aubrun ; Mohamed Naceur Abdelkrim ; Mohamed Koni Ben Gayed

Access to full text
Full (PDF)

p. 457-466

The Polish Digital Mathematics Library

Fault monitoring and fault recovery control for position-moored vessels

Shaoji Fang ; Mogens Blanke

Access to full text
Full (PDF)

p. 467-478

The Polish Digital Mathematics Library

Adaptive modeling of reliability properties for control and supervision purposes

Kai-Uwe Dettmann ; Dirk Söffker

Access to full text
Full (PDF)

p. 479-486

The Polish Digital Mathematics Library

A sign preserving mixed finite element approximation for contact problems

Patrick Hild

Access to full text
Full (PDF)

p. 487-498

The Polish Digital Mathematics Library

Regional control problem for distributed bilinear systems: Approach and simulations

Karima Ztot ; El Hassan Zerrik ; Hamid Bourray

Access to full text
Full (PDF)

p. 499-508

The Polish Digital Mathematics Library

Extracting second-order structures from single-input state-space models: Application to model order reduction

Jérôme Guillet ; Benjamin Mourllion ; Abderazik Birouche ; Michel Basset

Access to full text
Full (PDF)

p. 509-519

The Polish Digital Mathematics Library

New stability conditions for positive continuous-discrete 2D linear systems

Tadeusz Kaczorek

Access to full text
Full (PDF)

p. 521-524

The Polish Digital Mathematics Library

Motion representations for the Lafferriere-Sussmann algorithm for nilpotent control systems

Ignacy Dulęba ; Jacek Jagodziński

Access to full text
Full (PDF)

p. 525-534

The Polish Digital Mathematics Library

An operational Haar wavelet method for solving fractional Volterra integral equations

Habibollah Saeedi ; Nasibeh Mollahasani ; Mahmoud Mohseni Moghadam ; Gennady N. Chuev

Access to full text
Full (PDF)

p. 535-547

The Polish Digital Mathematics Library

Analysis of correlation based dimension reduction methods

Yong Joon Shin ; Cheong Hee Park

Access to full text
Full (PDF)

p. 549-558

The Polish Digital Mathematics Library

A neural-network controlled dynamic evolutionary scheme for global molecular geometry optimization

Anna Styrcz ; Janusz Mrozek ; Grzegorz Mazur

Access to full text
Full (PDF)

p. 559-566

The Polish Digital Mathematics Library

Analysis of AQM queues with queue size based packet dropping

Andrzej Chydziński ; Łukasz Chróst

Access to full text
Full (PDF)

p. 567-577

The Polish Digital Mathematics Library

Delay-dependent generalized H₂ control for discrete T-S fuzzy large-scale stochastic systems with mixed delays

Jiangrong Li ; Junmin Li ; Zhile Xia

Access to full text
Full (PDF)

p. 585-603

The Polish Digital Mathematics Library

LMI-based adaptive fuzzy integral sliding mode control of mismatched uncertain systems

Chaouki Mnasri ; Moncef Gasmi

Access to full text
Full (PDF)

p. 605-615

The Polish Digital Mathematics Library

Observer-based fault-tolerant control against sensor failures for fuzzy systems with time delays

Shaocheng Tong ; Gengjiao Yang ; Wei Zhang

Access to full text
Full (PDF)

p. 617-627

The Polish Digital Mathematics Library

Novel optimal recursive filter for state and fault estimation of linear stochastic systems with unknown disturbances

Karim Khémiri ; Fayçal Ben Hmida ; José Ragot ; Moncef Gossa

Access to full text
Full (PDF)

p. 629-637

The Polish Digital Mathematics Library

Fault tolerance in networked control systems under intermittent observations

Jean-Philippe Georges ; Didier Theilliol ; Vincent Cocquempot ; Jean-Christophe Ponsart ; Christophe Aubrun

Access to full text
Full (PDF)

p. 639-648

The Polish Digital Mathematics Library

Existence and exponential stability of a periodic solution for fuzzy cellular neural networks with time-varying delays

Qianhong Zhang ; Lihui Yang ; Daixi Liao

Access to full text
Full (PDF)

p. 649-658

The Polish Digital Mathematics Library

Optimization-based approach to path planning for closed chain robot systems

Wojciech Szynkiewicz ; Jacek Błaszczyk

Access to full text
Full (PDF)

p. 659-670

The Polish Digital Mathematics Library

Intelligent decision-making system for autonomous robots

Zdzisław Kowalczuk ; Michał Czubenko

Access to full text
Full (PDF)

p. 671-684

The Polish Digital Mathematics Library

Adaptive control scheme based on the least squares support vector machine network

Tarek A. Mahmoud

Access to full text
Full (PDF)

p. 685-696

The Polish Digital Mathematics Library

Positive stable realizations of fractional continuous-time linear systems

Tadeusz Kaczorek

Access to full text
Full (PDF)

p. 697-702

The Polish Digital Mathematics Library

Estimation of feedwater heater parameters based on a grey-box approach

Tomasz Barszcz ; Piotr Czop

Access to full text
Full (PDF)

p. 703-715

The Polish Digital Mathematics Library

Evolving small-board Go players using coevolutionary temporal difference learning with archives

Krzysztof Krawiec ; Wojciech Jaśkowski ; Marcin Szubert

Access to full text
Full (PDF)

p. 717-731

The Polish Digital Mathematics Library

A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems

Marlene Arangú ; Miguel A. Salido

Access to full text
Full (PDF)

p. 733-744

The Polish Digital Mathematics Library

Knowledge discovery in data using formal concept analysis and random projections

Cherukuri Aswani Kumar

Access to full text
Full (PDF)

p. 745-756

The Polish Digital Mathematics Library

Partitioned iterated function systems with division and a fractal dependence graph in recognition of 2D shapes

Krzysztof Gdawiec ; Diana Domańska

Access to full text
Full (PDF)

p. 757-767

The Polish Digital Mathematics Library

A well-posed multiscale regularization scheme for digital image denoising

V.B. Surya Prasath

Access to full text
Full (PDF)

p. 769-777

The Polish Digital Mathematics Library