Skip to main content
  • Conference proceedings
  • © 2003

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2809)

Conference series link(s): EUROCAST: International Conference on Computer Aided Systems Theory

Conference proceedings info: EUROCAST 2003.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (60 papers)

  1. Front Matter

  2. Complex Systems Tools and Applications

    1. Representation and Processing of Complex Knowledge

      • Rudolf F. Albrecht, Gábor Németh
      Pages 10-18
    2. How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iteration

      • Juan David González Cobas, José Antonio López Brugos
      Pages 19-25
    3. A Framework for Modelling the User Interaction with a Complex System

      • Ma L. Rodríguez Almendros, Ma J. Rodríguez Fórtiz, M. Gea Megías
      Pages 50-61
    4. A Categorical Approach to NP-Hard Optimization Problems

      • Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
      Pages 62-73
  3. Logic and Formal Tools

    1. Multi-agent Simulation in Random Game Generator

      • Takuhei Shimogawa
      Pages 83-91
    2. The Zero Array: A Twilight Zone

      • Margaret Miró-Juliá
      Pages 92-103
    3. Invariants and Symmetries among Adaptive Agents

      • Germano Resconi
      Pages 104-114
    4. Generalizing Programs via Subsumption

      • Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz
      Pages 115-126
  4. Social and Intelligent Systems

    1. Equal Opportunities Analysis in the University: The Gender Perspective

      • I. J. Benítez, P. Albertos, E. Barberá, J. L. Díez, M. Sarrió
      Pages 139-150
    2. Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods

      • Arminda Moreno-Díaz, Miguel A. Virto, Jacinto Martín, David Ríos Insua
      Pages 151-162
    3. Knowledge Base for Evidence Based Medicine with Bioinformatics Components

      • Witold Jacak, Karin Pröll, Jerzy Rozenblit
      Pages 163-173
    4. Diversified Approach to Methodology and Technology in Distributed Intelligent Building Systems

      • Andrzej Jablonski, Ryszard Klempous, Benedykt Licznerski
      Pages 174-184
    5. Temporal Approaches in Data Mining. A Case Study in Agricultural Environment

      • Francisco Guil, Alfonso Bosch, Samuel Túnez, Roque Marín
      Pages 185-195
    6. Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System

      • Nuria Medina-Medina, Fernando Molina-Ortiz, Lina García-Cabrera, José Parets-Llorca
      Pages 196-207

Other Volumes

  1. Computer Aided Systems Theory - EUROCAST 2003

About this book

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler of Linz in the late 80’s 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 EUROCAST’89, 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.

Keywords

  • Coq
  • Simulation
  • Textur
  • automata
  • computer aided system theory
  • data mining
  • formal methods
  • genetic algorithms
  • hybrid systems
  • image processing
  • information theory
  • intelligent control systems
  • logic
  • modeling
  • reactive systems

Editors and Affiliations

  • Institute of Cybernetics, Universidad de Las Palmas de Gran Canaria, Spain

    Roberto Moreno-Díaz

  • Systems Theory, Johannes Kepler University Linz, Linz, Austria

    Franz Pichler

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions