did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540202219

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

by ; ;
  • ISBN13:

    9783540202219

  • ISBN10:

    3540202218

  • Edition: Revised
  • Format: Paperback
  • Copyright: 2003-10-01
  • Publisher: Springer-Verlag New York Inc
  • Purchase Benefits
List Price: $169.00 Save up to $135.59
  • Digital
    $72.39
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

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.

Table of Contents

Complex Systems Tools and Applications
On Modeling and Simulation of Flows of Water by 3D-Cellular Automata
1(9)
Franz Pichler
Representation and Processing of Complex Knowledge
10(9)
Rudolf F. Albrecht
Gabor Nemeth
How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iteration
19(7)
Juan David Gonzalez Cobas
Jose Antonio Lopez Brugos
A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems
26(12)
Cristina Fernandez
Matilde Santos
Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systems
38(12)
Z. Bubnicki
A Framework for Modelling the User Interaction with a Complex System
50(12)
Ma L. Rodriguez Almendros
Ma J. Rodriguez Fortiz
M. Gea Megias
A Categorical Approach to NP-Hard Optimization Problems
62(12)
Liara Aparecida dos Santos Leal
Dalcidio Moraes Claudio
Laira Vieira Toscani
Paulo Blauth Menezes
Logic and Formal Tools
A Formulation for Language Independent Prelogical Deductive Inference
74(9)
Josep Miro
Multi-agent Simulation in Random Game Generator
83(9)
Takuhei Shimogawa
The Zero Array: A Twilight Zone
92(12)
Margaret Miro-Julia
Invariants and Symmetries among Adaptive Agents
104(11)
Germano Resconi
Generalizing Programs via Subsumption
115(12)
Miguel A. Gutierrez-Naranjo
Jose A. Alonso-Jimenez
Joaquin Borrego-Diaz
Social and Intelligent Systems
Modeling with Archetypes: An Effective Approach to Dealing with Complexity
127(12)
Markus Schwaninger
Equal Opportunities Analysis in the University: The Gender Perspective
139(12)
I.J. Benitez
P. Albertos
E. Barbera
J.L. Diez
M. Sarrio
Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods
151(12)
Arminda Moreno-Diaz
Miguel A. Virto
Jacinto Martin
David Rios Insua
Knowledge Base for Evidence Based Medicine with Bioinformatics Components
163(11)
Witold Jacak
Karin Proll
Jerzy Rozenblit
Diversified Approach to Methodology and Technology in Distributed Intelligent Building Systems
174(11)
Andrzej Jablonski
Ryszard Klempous
Benedykt Licznerski
Temporal Approaches in Data Mining. A Case Study in Agricultural Environment
185(11)
Francisco Guil
Alfonso Bosch
Samuel Tunez
Roque Marin
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System
196(12)
Nuria Medina-Medina
Fernando Molina-Ortiz
Lina Garcia-Cabrera
Jose Parets-Llorca
Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems
208(12)
M. Campos
J. Palma
B. Llamas
A. Gonzalez
M. Menarguez
R. Marin
Distributed Computing
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel
220(11)
C. Abalde
V. Gulias
J. Freire
J. Sanchez
J. Garcia-Tizon
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments
231(12)
Pedro Alvarez
Jose A. Banares
Eloy J. Mata
Pedro R. Muro-Medrano
Julio Rubio
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems
243(10)
Claudio Naoto Fuzitaki
Paulo Blauth Menezes
Julio Pereira Machado
Simone Andre da Costa
Design of a Medical Application Using XML Based Data Interchange
253(12)
C. Marino
C. Abalde
M.G. Penedo
M. Penas
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets
265(14)
Milan Ceska
Ludek Hasa
Tomas Vojnar
On the Strong Co-induction in Coq
279(12)
J.L. Freire Nistal
A. Blanco Ferro
Victor M. Gulias
E. Freire Branas
Autonomous and Control Systems
A Throttle and Brake Fuzzy Controller: Towards the Automatic Car
291(11)
J.E. Naranjo
J. Reviejo
C. Gonzalez
R. Garcia
T. de Pedro
Advocate II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II
302(12)
Miguel Angel Sotelo
Luis Miguel Bergasa
Ramon Flores
Manuel Ocana
Marie-Helene Doussin
Luis Magdalena
Joerg Kalwa
Anders L. Madsen
Michel Perrier
Damien Roland
Pietro Corigliano
Segmentation of Traffic Images for Automatic Car Driving
314(12)
Miguel Angel Patricio
Dario Maravall
Vision Based Intelligent System for Autonomous and Assisted Downtown Driving
326(11)
Miguel Angel Sotelo
Miguel Angel Garcia
Ramon Flores
Using Fractional Calculus for Lateral and Longitudinal Control of Autonomous Vehicles
337(12)
J.I. Suarez
B.M. Vinagre
A.J. Calderon
C.A. Monje
Y.Q. Chen
Computational Methods in Biomathematics
Recent Advances in the Walking Tree Method for Biological Sequence Alignment
349(11)
Paul Cull
Tai Hsu
Towards Some Computational Problems Arising in Biological Modeling
360(12)
Virginia Giorno
Amelia G. Nobile
Enrica Pirozzi
Luigi M. Ricciardi
Single Point Algorithms in Genetic Linkage Analysis
372(12)
Daniel Gudbjartsson
Jens A. Hansen
Anna Ingolfsdottir
Jacob Johnsen
John Knudsen
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms
384(10)
Michael Affenzeller
Stefan Wagner
Computational Methods for the Evaluation of Neuron's Firing Densities
394(10)
Elvira Di Nardo
Amelia G. Nobile
Enrica Pirozzi
Luigi M. Ricciardi
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease
404(11)
R. Norman
C. Shankland
On Representing Biological Systems through Multiset Rewriting
415(12)
S. Bistarelli
I. Cervesato
G. Lenzini
R. Marangoni
F. Martinelli
Natural and Artificial Neural Nets
A Model of Neural Inspiration for Local Accumulative Computation
427(9)
Jose Mira
Miguel A. Fernandez
Maria T. Lopez
Ana E. Delgado
Antonio Fernandez-Caballero
Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics
436(12)
Dario Maravall
Javier de Lope
Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks
448(12)
Javier de Lope
Rafaela Gonzalez-Careaga
Telmo Zarraonandia
Dario Maravall
Neurosymbolic Integration: The Knowledge Level Approach
460(11)
J. Mira
A.E. Delgado
M.J. Taboada
On Parallel Channel Modeling of Retinal Processes
471(11)
J.C. Rodriguez-Rodriguez
A. Quesada-Arencibia
R. Moreno-Diaz jr.
K.N. Leibovic
Geometric Image of Statistical Learning (Morphogenetic Neuron)
482(12)
Elisa Alghisi Manganello
Germano Resconi
Systems and Computational Tools for Neuronal Retinal Models
494(12)
Roberto Moreno-Diaz
Gabriel de Blasio
Neuroinformatics and Neuroimaging
A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps
506(12)
Marcos Martin-Fernandez
Raul San Josa-Estepar
Carl-Fredrik Westin
Carlos Alberola-Lopez
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps
518(12)
Anders Brun
Hae-Jeong Park
Hans Knutsson
Carl-Fredrik Westin
DT-MRI Images: Estimation, Regularization, and Application
530(12)
D. Tschumperle
R. Deriche
An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRI
542(10)
Ruben Cardenes
Simon K. Warfield
Elsa M. Macias
Jose Aurelio Santana
Juan Ruiz-Alzola
Dynamical Components Analysis of FMRI Data: A Second Order Solution
552(12)
Bertrand Thirion
Olivier Faugeras
Tensor Field Regularization Using Normalized Convolution
564(9)
Carl-Fredrik Westin
Hans Knutsson
Volumetric Texture Description and Discriminant Feature Selection for MRI
573(12)
Abhir Bhalerao
Constantino Carlos Reyes-Aldasoro
White Matter Mapping in DT-MRI Using Geometric Flows
585(12)
Lisa Jonasson
Patric Hagmann
Xavier Bresson
Reto Meuli
Olivier Cuisenaire
Jean-Philippe Thiran
Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation
597(10)
M.A. Rodriguez-Florido
R. Cardenes
C.-F. Westin
C. Alberola
J. Ruiz-Alzola
Fast Entropy-Based Nonrigid Registration
607(9)
Eduardo Suarez
Jose A. Santana
Eduardo Rovaris
Carl-Fredrik Westin
Juan Ruiz-Alzola
Image Processing
3D Reconstruction from a Vascular Tree Model
616(11)
Luis Alvarez
Karina Banos
Carmelo Cuenca
Julio Esclarin
Javier Sanchez
ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms
627(12)
Isabel M. Flores-Parra
J. Fernando Bienvenido
Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis
639(12)
Miguel Aleman-Flores
Luis Alvarez-Leon
Roberto Moreno-Diaz jr.
Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems)
651(9)
J.L. Crespo
P. Bernardos
M.E. Zorrilla
E. Mora
Devices to Preserve Watermark Security in Image Printing and Scanning
660(11)
Josef Scharinger
Author Index 671

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program