9. EUROCAST 2003:
Las Palmas de Gran Canaria,
Canary Islands,
Spain
Roberto Moreno-Díaz, Franz Pichler (Eds.):
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.
Lecture Notes in Computer Science 2809 Springer 2003, ISBN 3-540-20221-8 BibTeX
@proceedings{DBLP:conf/eurocast/2003,
editor = {Roberto Moreno-D\'{\i}az and
Franz Pichler},
title = {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},
booktitle = {EUROCAST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2809},
year = {2003},
isbn = {3-540-20221-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Complex Systems Tools and Applications
Logic and Formal Tools
Social and Intelligent Systems
- Markus Schwaninger:
Modeling with Archetypes: An Effective Approach to Dealing with Complexity.
127-138
Electronic Edition (link) BibTeX
- I. J. Benítez, P. Albertos, E. Barberá, J. L. Díez, M. Sarrió:
Equal Opportunities Analysis in the University: The Gender Perspective.
139-150
Electronic Edition (link) BibTeX
- Arminda Moreno-Díaz, Miguel A. Virto, Jacinto Martín, David Ríos Insua:
Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods.
151-162
Electronic Edition (link) BibTeX
- Witold Jacak, Karin Pröll, Jerzy W. Rozenblit:
Knowledge Base for Evidence Based Medicine with Bioinformatics Components.
163-173
Electronic Edition (link) BibTeX
- Andrzej Jablonski, Ryszard Klempous, Benedykt Licznerski:
Diversified Approach to Methdology and Technology in Distributed Intelligent Building Systems.
174-184
Electronic Edition (link) BibTeX
- Francisco Guil, Alfonso Bosch, Samuel Túnez, Roque Marín:
Temporal Approaches in Data Mining. A Case Study in Agricultural Environment.
185-195
Electronic Edition (link) BibTeX
- Nuria Medina-Medina, Fernando Molina-Ortiz, Lina García-Cabrera, José Parets-Llorca:
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System.
196-207
Electronic Edition (link) BibTeX
- Manuel Campos, José Palma, B. Llamas, A. González, M. Menárguez, Roque Marín:
Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems.
208-219
Electronic Edition (link) BibTeX
Distributed Computing
- Carlos Abalde, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez, J. García-Tizón:
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel.
220-230
Electronic Edition (link) BibTeX
- Pedro Álvarez, José A. Bañares, Eloy J. Mata, Pedro R. Muro-Medrano, Julio Rubio:
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments.
231-242
Electronic Edition (link) BibTeX
- Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa:
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.
243-252
Electronic Edition (link) BibTeX
- Cástor Mariño, Carlos Abalde, Manuel G. Penedo, Marta Penas:
Design of a Medical Application Using XML Based Data Interchange.
253-264
Electronic Edition (link) BibTeX
- Milan Ceska, Ludek Hasa, Tomás Vojnar:
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets.
265-278
Electronic Edition (link) BibTeX
- José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas:
On the Strong Co-induction in Coq.
279-290
Electronic Edition (link) BibTeX
Autonomous and Control Systems
- José Eugenio Naranjo, Jesús Reviejo, Carlos González, Ricardo García Rosa, Teresa de Pedro:
A Throttle and Brake Fuzzy Controller: Towards the Automatic Car.
291-301
Electronic Edition (link) BibTeX
- Miguel Ángel Sotelo, Luis Miguel Bergasa, Ramón Flores, Manuel Ocaña, Marie-Hélène Doussin, Luis Magdalena, Joerg Kalwa, Anders L. Madsen, Michel Perrier, Damien Roland Pietro Corigliano:
ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II.
302-313
Electronic Edition (link) BibTeX
- Miguel Ángel Patricio Guisado, Darío Maravall Gómez-Allende:
Segmentation of Traffic Images for Automatic Car Driving.
314-325
Electronic Edition (link) BibTeX
- Miguel Ángel Sotelo, Miguel Angel García, Ramón Flores:
Vision Based Intelligent System for Autonomous and Assisted Downtown Driving.
326-336
Electronic Edition (link) BibTeX
- José Ignacio Suárez, Blas M. Vinagre, A. J. Calderón, C. A. Monje, Yangquan Chen:
Using Fractional Calculus for Lateral and Longitudinal Conrol of Autonomous Vehicles.
337-348
Electronic Edition (link) BibTeX
Computational Methods in Biomathematics
- Paul Cull, Tai Hsu:
Recent Advances in the Walking Tree Method for Biological Sequence Alignment.
349-359
Electronic Edition (link) BibTeX
- Virginia Giorno, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi:
Towards Some Computational Problems Arising in Biological Modeling.
360-371
Electronic Edition (link) BibTeX
- Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen:
Single Point Algorithms in Genetic Linkage Analysis.
372-383
Electronic Edition (link) BibTeX
- Michael Affenzeller, Stefan Wagner:
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms.
384-393
Electronic Edition (link) BibTeX
- Elvira Di Nardo, Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi:
Computational Methods for the Evaluation of Neuron's Firing Densities.
394-403
Electronic Edition (link) BibTeX
- Rachel Norman, Carron Shankland:
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease.
404-414
Electronic Edition (link) BibTeX
- Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli:
On Representing Biological Systems through Multiset Rewriting.
415-426
Electronic Edition (link) BibTeX
Natural and Artificial Neural Nets
- José Mira, Miguel Angel Fernández, María T. López, Ana E. Delgado García, Antonio Fernández-Caballero:
A Model of Neural Inspiration for Local Accumulative Computation.
427-435
Electronic Edition (link) BibTeX
- Darío Maravall Gómez-Allende, Javier de Lope Asiaín:
Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics.
436-447
Electronic Edition (link) BibTeX
- Javier de Lope Asiaín, Rafaela González-Careaga, Telmo Zarraonandia, Darío Maravall Gómez-Allende:
Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks.
448-459
Electronic Edition (link) BibTeX
- José Mira, Ana E. Delgado García, Maria Taboada:
Neurosymbolic Integration: The Knowledge Level Approach.
460-470
Electronic Edition (link) BibTeX
- Jose Carlos Rodríguez-Rodríguez, Alexis Quesada-Arencibia, Roberto Moreno-Díaz Jr., K. Nicholas Leibovic:
On Parallel Channel Modeling of Retinal Processes.
471-481
Electronic Edition (link) BibTeX
- Elisa Alghisi Manganello, Germano Resconi:
Geometric Image of Statistical Learning (Morphogenetic Neuron).
482-493
Electronic Edition (link) BibTeX
- Roberto Moreno-Díaz, Gabriel de Blasio:
Systems and Computational Tools for Neuronal Retinal Models.
494-505
Electronic Edition (link) BibTeX
Neuroinformatics and Neuroimaging
- Marcos Martín-Fernández, Raúl San José Estépar, Carl-Fredrik Westin, Carlos Alberola-López:
A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps.
506-517
Electronic Edition (link) BibTeX
- Anders Brun, Hae-Jeong Park, Hans Knutsson, Carl-Fredrik Westin:
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps.
518-529
Electronic Edition (link) BibTeX
- David Tschumperlé, Rachid Deriche:
DT-MRI Images: Estimation, Regularization, and Application.
530-541
Electronic Edition (link) BibTeX
- Rubén Cárdenes, Simon K. Warfield, Elsa M. Macías, Jose Aurelio Santana, Juan Ruiz-Alzola:
An Efficient Algorithm for Multiple Sclerosis Segmentation from Brain MRI.
542-551
Electronic Edition (link) BibTeX
- Bertrand Thirion, Olivier D. Faugeras:
Dynamical Components Analysis of FMRI Data: A Second Order Solution.
552-563
Electronic Edition (link) BibTeX
- Carl-Fredrik Westin, Hans Knutsson:
Tensor Field Regularization Using Normalized Convolution.
564-572
Electronic Edition (link) BibTeX
- Abhir Bhalerao, Constantino Carlos Reyes-Aldasoro:
Volumetric Texture Description and Discriminant Feature Selection for MRI.
573-584
Electronic Edition (link) BibTeX
- Lisa Jonasson, Patric Hagmann, Xavier Bresson, Reto Meuli, Olivier Cuisenaire, Jean-Philippe Thiran:
White Matter Mapping in DT-MRI Using Geometric Flows.
585-596
Electronic Edition (link) BibTeX
- Miguel A. Rodríguez-Florido, Rubén Cárdenes, Carl-Fredrik Westin, Carlos Alberola, Juan Ruiz-Alzola:
Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation.
597-606
Electronic Edition (link) BibTeX
- Eduardo Suárez, Jose Aurelio Santana, Eduardo Rovaris, Carl-Fredrik Westin, Juan Ruiz-Alzola:
Fast Entropy-Based Nonrigid Registration.
607-615
Electronic Edition (link) BibTeX
Image Processing
- Luis Álvarez, Karina Baños, Carmelo Cuenca, Julio Esclarín, Javier Sánchez:
3D Reconstruction from a Vascular Tree Model.
616-626
Electronic Edition (link) BibTeX
- Isabel M. Flores-Parra, J. Fernando Bienvenido:
ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms.
627-638
Electronic Edition (link) BibTeX
- Miguel Alemán-Flores, Luis Álvarez-León, Roberto Moreno-Díaz Jr.:
Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis.
639-650
Electronic Edition (link) BibTeX
- José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora:
Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems).
651-659
Electronic Edition (link) BibTeX
- Josef Scharinger:
Devices to Preserve Watermark Security in Image Printing and Scanning.
660-669
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:11:07 2009
by Michael Ley (ley@uni-trier.de)
