+612 9045 4394
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 :  9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003: Revised Selected Papers - Roberto Moreno-Diaz

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

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

By: Roberto Moreno-Diaz (Editor), Franz Pichler (Editor)


Published: December 2003
Ships: 5 to 9 business days
5 to 9 business days
or 4 easy payments of $51.04 with Learn more

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.

On Modeling and Simulation of Flows of Water by 3D-Cellular Automatap. 1
Representation and Processing of Complex Knowledgep. 10
How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iterationp. 19
A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problemsp. 26
Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systemsp. 38
A Framework for Modelling the User Interaction with a Complex Systemp. 50
A Categorical Approach to NP-Hard Optimization Problemsp. 62
A Formulation for Language Independent Prelogical Deductive Inferencep. 74
Multi-agent Simulation in Random Game Generatorp. 83
The Zero Array: A Twilight Zonep. 92
Invariants and Symmetries among Adaptive Agentsp. 104
Generalizing Programs via Subsumptionp. 115
Modeling with Archetypes: An Effective Approach to Dealing with Complexityp. 127
Equal Opportunities Analysis in the University: The Gender Perspectivep. 139
Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methodsp. 151
Knowledge Base for Evidence Based Medicine with Bioinformatics Componentsp. 163
Diversified Approach to Methodology and Technology in Distributed Intelligent Building Systemsp. 174
Temporal Approaches in Data Mining. A Case Study in Agricultural Environmentp. 185
Personalized Guilded Routes in an Adaptive Evolutionary Hypermedia Systemp. 196
Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systemsp. 208
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernelp. 220
Generative Communication with Semantic Matching in Distributed Heterogeneous Environmentsp. 231
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systemsp. 243
Design of a Medical Application Using XML Based Data Interchangep. 253
Partial-Order Reduction in Model Checking Object-Oriented Petri Netsp. 265
On the Strong Co-induction in Coqp. 279
A Throttle and Brake Fuzzy Controller: Towards the Automatic Carp. 291
ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems IIp. 302
Segmentation of Traffic Images for Automatic Car Drivingp. 314
Vision Based Intelligent System for Autonomous and Assisted Downtown Drivingp. 326
Using Fractional Calculus for Lateral and Longitudinal Control of Autonomous Vehiclesp. 337
Recent Advances in the Walking Tree Method for Biological Sequence Alignmentp. 349
Towards Some Computational Problems Arising in Biological Modelingp. 360
Single Point Algorithms in Genetic Linkage Analysisp. 372
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithmsp. 384
Computational Methods for the Evaluation of Neuron's Firing Densitiesp. 394
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Diseasep. 404
On Representing Biological Systems through Multiset Rewritingp. 415
A Model of Neural Inspiration for Local Accumulative Computationp. 427
Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Roboticsp. 436
Inverse Kinematics for Humanoid Robots Using Artificial Neural Networksp. 448
Neurosymbolic Integration: The Knowledge Level Approachp. 460
On Parallel Channel Modeling of Retinal Processesp. 471
Genometric Image of Statistical Learning (Morphogenetic Neuron)p. 482
Systems and Computational Tools for Neuronal Retinal Modelsp. 494
A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Mapsp. 506
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmapsp. 518
DT-MRI Images : Estimation, Regularization, and Applicationp. 530
An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRIp. 542
Dynamical Components Analysis of FMRI Data: A Second Order Solutionp. 552
Tensor Field Regularization Using Normalized Convolutionp. 564
Volumetric Texture Description and Discriminant Feature Selection for MRIp. 573
White Matter Mapping in DT-MRI Using Geometric Flowsp. 585
Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentationp. 597
Fast Entropy-Based Nonrigid Registrationp. 607
3D Reconstruction from a Vascular Tree Modelp. 616
ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithmsp. 627
Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysisp. 639
Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems)p. 651
Devices to Preserve Watermark Security in Image Printing and Scanningp. 660
Author Indexp. 671
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540202219
ISBN-10: 3540202218
Series: Lecture Notes in Computer Science
Audience: Adult Education
Format: Paperback
Language: English
Number Of Pages: 677
Published: December 2003
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 3.81
Weight (kg): 1.03