Ebook: Computer Aided Systems Theory - EUROCAST 2003: 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s to include those computer theoretical and practical developments as tools to solve problems in System Science. It was considered as the third component (the other two being CAD and CAM) that will provide for a complete picture of the path from Computer and Systems Sciences to practical developments in Science and Engineering. The University of Linz organized the ?rst CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scienti?c and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the ?rst international meeting on CAST, (Las Palmas February 1989), under the name EUROCAST’89, that was a very successful gathering of systems theorists, computer scientists and engineers from most of European countries, North America and Japan. ItwasagreedthatEUROCASTinternationalconferenceswouldbeorganized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999) and Las Palmas(2001), in addition to an extra-European CAST Conference in Ottawain1994.SelectedpapersfromthosemeetingswerepublishedbySpringer- Verlag Lecture Notes in Computer Science nos. 410, 585, 763, 1030, 1333, 1728 and 2178 and in several special issues of Cybernetics and Systems: an lnternat- nal Journal. EUROCAST and CAST meetings are de?nitely consolidated, as it is demonstrated by the number and quality of the contributions over the years.

---

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Computer Aided Systems Theory, EUROCAST 2003, held in Las Palmas de Gran Canaria, Spain in February 2003.

The 60 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on complex systems tools and applications, logic and formal tools, social and intelligent systems, distributed computing, autonomous and control systems, computational methods in bioinformatics, natural and artificial neural networks, neuroinformatics and neuroimaging, and image processing.

---

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Computer Aided Systems Theory, EUROCAST 2003, held in Las Palmas de Gran Canaria, Spain in February 2003.

The 60 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on complex systems tools and applications, logic and formal tools, social and intelligent systems, distributed computing, autonomous and control systems, computational methods in bioinformatics, natural and artificial neural networks, neuroinformatics and neuroimaging, and image processing.

Content:
Front Matter....Pages -
On Modeling and Simulation of Flows of Water by 3D-Cellular Automata....Pages 1-9
Representation and Processing of Complex Knowledge....Pages 10-18
How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iteration....Pages 19-25
A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems....Pages 26-37
Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systems....Pages 38-49
A Framework for Modelling the User Interaction with a Complex System....Pages 50-61
A Categorical Approach to NP-Hard Optimization Problems....Pages 62-73
A Formulation for Language Independent Prelogical Deductive Inference....Pages 74-82
Multi-agent Simulation in Random Game Generator....Pages 83-91
The Zero Array: A Twilight Zone....Pages 92-103
Invariants and Symmetries among Adaptive Agents....Pages 104-114
Generalizing Programs via Subsumption....Pages 115-126
Modeling with Archetypes: An Effective Approach to Dealing with Complexity....Pages 127-138
Equal Opportunities Analysis in the University: The Gender Perspective....Pages 139-150
Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods....Pages 151-162
Knowledge Base for Evidence Based Medicine with Bioinformatics Components....Pages 163-173
Diversified Approach to Methodology and Technology in Distributed Intelligent Building Systems....Pages 174-184
Temporal Approaches in Data Mining. A Case Study in Agricultural Environment....Pages 185-195
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System....Pages 196-207
Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems....Pages 208-219
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel....Pages 220-230
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments....Pages 231-242
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems....Pages 243-252
Design of a Medical Application Using XML Based Data Interchange....Pages 253-264
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets....Pages 265-278
A Throttle and Brake Fuzzy Controller: Towards the Automatic Car....Pages 279-290
ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II....Pages 291-301
Segmentation of Traffic Images for Automatic Car Driving....Pages 302-313
Vision Based Intelligent System for Autonomous and Assisted Downtown Driving....Pages 314-325
Using Fractional Calculus for Lateral and Longitudinal Control of Autonomous Vehicles....Pages 326-336
Recent Advances in the Walking Tree Method for Biological Sequence Alignment....Pages 337-348
Towards Some Computational Problems Arising in Biological Modeling....Pages 349-359
Single Point Algorithms in Genetic Linkage Analysis....Pages 360-371
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms....Pages 372-383
Computational Methods for the Evaluation of Neuron’s Firing Densities....Pages 384-393
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease....Pages 394-403
On Representing Biological Systems through Multiset Rewriting....Pages 404-414
A Model of Neural Inspiration for Local Accumulative Computation....Pages 415-426
Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics....Pages 427-435
Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks....Pages 436-447
Neurosymbolic Integration: The Knowledge Level Approach....Pages 448-459
On Parallel Channel Modeling of Retinal Processes....Pages 460-470
Geometric Image of Statistical Learning (Morphogenetic Neuron)....Pages 471-481
Systems and Computational Tools for Neuronal Retinal Models....Pages 482-493
A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps....Pages 494-505
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps....Pages 506-517
DT-MRI Images : Estimation, Regularization, and Application....Pages 518-529
An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRI....Pages 530-541
Dynamical Components Analysis of FMRI Data: A Second Order Solution....Pages 542-551
Tensor Field Regularization Using Normalized Convolution....Pages 552-563
Volumetric Texture Description and Discriminant Feature Selection for MRI....Pages 564-572
White Matter Mapping in DT-MRI Using Geometric Flows....Pages 573-584
Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation....Pages 585-596
Fast Entropy-Based Nonrigid Registration....Pages 597-606
3D Reconstruction from a Vascular Tree Model....Pages 607-615
ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms....Pages 616-626
Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis....Pages 627-638
Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems)....Pages 639-650
Devices to Preserve Watermark Security in Image Printing and Scanning....Pages 651-659
Back Matter....Pages 660-669
....Pages -