Muutke küpsiste eelistusi

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 2003 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 677 pages, kõrgus x laius: 235x155 mm, kaal: 1031 g, XI, 677 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 2809
  • Ilmumisaeg: 13-Oct-2003
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540202218
  • ISBN-13: 9783540202219
Teised raamatud teemal:
  • Pehme köide
  • Hind: 95,02 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 111,79 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 677 pages, kõrgus x laius: 235x155 mm, kaal: 1031 g, XI, 677 p., 1 Paperback / softback
  • Sari: Lecture Notes in Computer Science 2809
  • Ilmumisaeg: 13-Oct-2003
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3540202218
  • ISBN-13: 9783540202219
Teised raamatud teemal:
The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80s 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 EUROCAST89, 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.

Muu info

Springer Book Archives
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