Computer Aided Systems Theory – EUROCAST 2005

1. Front Matter

   PDF

2. Formal Approaches in Modelling

   1. On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing

      • José Mira Mira

      Pages 1-8

   2. Approximation Problems Categories

      • Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes

      Pages 9-14

   3. Computation of Partial Automata Through Span Composition

      • Karina Girardi Roggia, Marnes Augusto Hoff, Paulo Blauth Menezes

      Pages 15-20

   4. Degenerate Arrays: A Framework for Uncertain Data Tables

      • Margaret Miró-Julià

      Pages 21-26

   5. Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix

      • Przemyslaw M. Szecówka, Andrzej Szczurek, Maciej A. Mazurowski, Benedykt W. Licznerski, Franz Pichler

      Pages 27-32

   6. Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine

      • José Antonio Martin, Teresa de Pedro, Carlos González, R. García, Luís Argüelles, Jose M. Rivas et al.

      Pages 33-37

   7. Optimization of a Class of Uncertain Systems Based on Uncertain Variables

      • Zdzislaw Bubnicki

      Pages 38-43

   8. Computational Simulation of Categorical Constructions

      • Rodrigo Born Vieira, Paulo Blauth Menezes

      Pages 44-49

   9. Composing Transitions into Transactions in UML Diagrams

      • Júlio Pereira Machado, Paulo Blauth Menezes

      Pages 50-55

   10. Theory-Building with System Dynamics: Principles and Practices

       • Markus Schwaninger, Thomas K. Hamann

       Pages 56-62

   11. Ontology Integration for Statistical Information

       • Wilfried Grossmann, Markus Moschner

       Pages 63-68

3. Intelligent Information Systems

   1. On Recursive Functions and Well–Founded Relations in the Calculus of Constructions

      • J. L. Freire, E. Freire, A. Blanco

      Pages 69-80

   2. Longest Sorted Sequence Algorithm for Parallel Text Alignment

      • Tiago Ildefonso, Gabriel Pereira Lopes

      Pages 81-90

   3. Information Retrieval and Large Text Structured Corpora

      • Fco. Mario Barcala, Miguel A. Molinero, Eva Domínguez

      Pages 91-100

   4. Meteorological Image Descriptors

      • J. L. Crespo, P. Bernardos, M. E. Zorrilla, E. Mora

      Pages 101-110

   5. Towards a Certified and Efficient Computing of Gröbner Bases

      • J. Santiago Jorge, Víctor M. Gulías, José L. Freire, Juan J. Sánchez

      Pages 111-120

   6. CheapTB: A Low Cost of Operation Distributed Filesystem

      • Javier París, Victor M. Gulías, Carlos Abalde

      Pages 121-130

   7. Spelling Correction on Technical Documents

      • M. Vilares, J. Otero, J. Graña

      Pages 131-139

   8. Verification of Language Based Fault-Tolerance

      • Clara Benac Earle, Lars-Åke Fredlund

      Pages 140-149

The concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those computer theoretical and practical developments used as tools to solve problems in system science. It was considered as the third component (the other two being CAD and CAM) that would 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 first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the University of Las Palmas de Gran Canaria joined the University of Linz to organize the first international meeting on CAST (Las Palmas February 1989), under the name EUROCAST 1989, a very successful gathering of systems theorists, computer scientists and engineers from most European countries, North America and Japan. It was agreed that EUROCAST international conferences would be organized every two years. Thus, the following EUROCAST meetings took place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), Vienna (1999), Las Palmas (2001) and Las Palmas (2003) in addition to an extra-European CAST conference in Ottawa in 1994. Selected papers from those meetings were published as Springer Lecture Notes in Computer Science vols. 410, 585, 763, 1030, 1333, 1728, 2178 and 2809 and in several special issues of Cybernetics and Systems: an lnternational Journal.

• CASE
• automata
• automated reasoning
• automation
• autonomous systems
• cognition
• complex systems
• computer aided system theory
• hybrid systems
• image processing
• information system
• information theory
• intelligent vehicles
• neuro
• optimization

• Instituto Universitario de Ciencias y Tecnologícas Cibernéticas, Universidad de Las Palmas de Gran Canaria, Las Palmas, Spain

  Roberto Moreno Díaz

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

  Franz Pichler

• Universidad de Las Palmas de Gran Canaria, Instituto Universitario de Ciencias y Tecnologícas Cibernéticas, Las Palmas, Spain

  Alexis Quesada Arencibia

Policies and ethics