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

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
On the Strong Co–induction in Coq ....Pages 279-290
A Throttle and Brake Fuzzy Controller: Towards the Automatic Car....Pages 291-301
ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II....Pages 302-313
Segmentation of Traffic Images for Automatic Car Driving....Pages 314-325
Vision Based Intelligent System for Autonomous and Assisted Downtown Driving....Pages 326-336
Using Fractional Calculus for Lateral and Longitudinal Control of Autonomous Vehicles....Pages 337-348
Recent Advances in the Walking Tree Method for Biological Sequence Alignment....Pages 349-359
Towards Some Computational Problems Arising in Biological Modeling....Pages 360-371
Single Point Algorithms in Genetic Linkage Analysis....Pages 372-383
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms....Pages 384-393
Computational Methods for the Evaluation of Neuron’s Firing Densities....Pages 394-403
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease....Pages 404-414
On Representing Biological Systems through Multiset Rewriting....Pages 415-426
A Model of Neural Inspiration for Local Accumulative Computation....Pages 427-435
Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics....Pages 436-447
Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks....Pages 448-459
Neurosymbolic Integration: The Knowledge Level Approach....Pages 460-470
On Parallel Channel Modeling of Retinal Processes....Pages 471-481
Geometric Image of Statistical Learning (Morphogenetic Neuron)....Pages 482-493
Systems and Computational Tools for Neuronal Retinal Models....Pages 494-505
A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps....Pages 506-517
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps....Pages 518-529
DT-MRI Images : Estimation, Regularization, and Application....Pages 530-541
An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRI....Pages 542-551
Dynamical Components Analysis of FMRI Data: A Second Order Solution....Pages 552-563
Tensor Field Regularization Using Normalized Convolution....Pages 564-572
Volumetric Texture Description and Discriminant Feature Selection for MRI....Pages 573-584
White Matter Mapping in DT-MRI Using Geometric Flows....Pages 585-596
Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation....Pages 597-606
Fast Entropy-Based Nonrigid Registration....Pages 607-615
3D Reconstruction from a Vascular Tree Model....Pages 616-626
ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms....Pages 627-638
Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis....Pages 639-650
Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems)....Pages 651-659
Devices to Preserve Watermark Security in Image Printing and Scanning....Pages 660-669
Back Matter....Pages -