search for books and compare prices
Tables of Contents for Computer Aided Systems Theory - Eurocast 2001
Chapter/Section Title
Page #
Page Count
Invited Lectures
Grobner Bases: A Short Introduction for Systems Theorists
B. Buchberger
1
19
Design for Reuse via Structuring Techniques for ASMs
E. Borger
20
16
Computer Aided Systems Theory
Mathematical and Logic Formalisms
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
M. Affenzeller F. Pichler R. Mittelmann
36
9
A Holarchical Organized Design Assistant for Hierarchical Decompositions
S. Meine
45
7
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
W. Jacak K. Proll S. Dreiseitl
52
15
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
E. Di Nardo A.G. Nobile E. Pirozzi L.M. Ricciardi
67
12
Hybrid Systems' Properties - Classification and Relation to Computer Science
T. Stauner
79
15
Assertion-Based Analysis of Hybrid Systems with PVS
E. Abraham-Mumm U. Hannemann M. Steffen
94
16
Algebraic Description of Physical Systems
H. von Issendorff
110
15
Information and Decision
Information Structure and Logical Design of Social Rules
T. Shimogawa
125
14
Towards a Generic Model of Information Processing Systems
G. Nemeth
139
7
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
M. V. Hurtado J. Parets
146
14
A Proposal for Project Management Using CommonKADS
I. del Aguila S. Tunez J. Canadas A. Bosch R. Marin
160
12
A General Planning Method for Allocation of Human Resource Groups
M. Mauerkirchner
172
10
Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems
M. Schwaninger
182
14
A Planning under Uncertainty Model
E. Paniagua-Aris J. T. Palma-Mendez F. Martin-Rubio
196
13
Complexity
Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures
J.F. Bienvenido I.M. Flores-Parra R. Guirado R.L. Marin
209
14
Complexity Analysis of Systems from a Functional and Technical Viewpoint
S. Dierneder R. Scheidl
223
10
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength
J. D. Gonzalez Cobas J. A. Lopez Brugos
233
9
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity
C.A. P. Campani P. B. Menezes
242
15
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution
J. Scharinger
257
13
Toward a Formalization of Evolutionary Hypermedia Systems Based on System Theory
L. Garcia-Cabrera M.J. Rodriguez-Fortiz J. Parets-Llorca
270
15
Optimization Problems Categories
L. A. dos Santos Leal P.B. Menezes D. Moraes Claudio L. Vieira Toscani
285
15
CAST in Neural-like Computation. Applications
Systems Methodology for Classical Neural Nets at Various Levels
R. Moreno-Diaz G. de Blasio
300
16
Biologically Based CAST-mechanism for Visual Motion Analysis
A. Quesada-Arencibia R. Moreno-Diaz, jr. M. Aleman-Flores
316
12
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach
C. P. Suarez Araujo P. Fernandez Lopez P. Garcia Baez
328
15
An Online Information Retrieval Systems by Means of Artificial Neural Networks
M. E. Zorrilla J. L. Crespo E. Mora
343
9
Kinematic in Robotics by the Morphogenetic Neuron
G. Resconi A. Borboni R. Faglia M. Tiboni
352
17
Analysis and Verification Queries over Object-Oriented Petri Nets
M. Ceska V. Janousek T. Vojnar
369
16
CAST in Automation and Control
Integrated Design and Implementation of Digital Controllers
P. Albertos A. Crespo
385
8
Symbolic Computation Tools for Dynamical Nonlinear Control Systems
J. Rodriguez-Millan
393
12
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica
J. Rodriguez-Millan
405
16
Towards a Computer-Aided Design of Reactive Systems
M. Frappier R. St-Denis
421
16
Contributions to the Control and Stabilization of the Pole-Cart System
A. Raya D. Maravall
437
13
A Qualitative System as a Frame to Control Unmanned Vehicles
R. Garcia Rosa T. de Pedro
450
7
Hyper-Automation System Applied to Geometry Demonstration Environment
J. P. Machado M. R. Notare S. A. da Costa T. A. Diverio P. B. Menezes
457
12
Computer Algebra and Automated Theorem Proving
The PCS Prover in THEOREMA
B. Buchberger
469
10
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
T. Ida M. Marin T. Suzuki
479
15
Classifying Isomorphic Residue Classes
A. Meier M. Pollet V. Sorge
494
15
CAL: A Computer Assisted Learning System for Computation and Logic
M. Sato Y. Kameyama T. Izumi
509
16
A Set Theory Prover Within Theorema
W. Windsteiger
525
15
Functional Programming and λ Calculus
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server
M. Barreiro V. M. Gulias J.J. Sanchez S. Jorge
540
15
Hidden Specification of a Functional System
C. Dominguez L. Lamban V. Pascual J. Rubio
555
15
Distributed Execution of Functional Programs Using the JVM
A. R. Du Bois A. C. da Rocha Costa
570
13
Fusion in Coq
J.L. Freire Nistal J.E. Freire Branas A. Blanco Ferro J. J. Sanchez Penas
583
14
A Language Prototyping Tool Based on Semantic Building Blocks
J.E. Labra Gayo J.M. Cueva Lovelle M.C. Luengo Diez B.M. Gonzalez Rodriguez
597
15
Verifying an Applicative ATP Using Multiset Relations
F.J. Martin-Mateos J.A. Alonso M.J. Hidalgo J.L. Ruiz-Reina
612
15
Adding Traces to a Lazy Monadic Evaluator
C. Pareja R. Pena F. Rubio C. Segura
627
15
Functional Vs Object-Oriented Distributed Languages
R.F. Pointon S. Priebe H.-W. Loidl R. Loogen P.W. Trinder
642
15
Persistent Haskell
J. Quintela J.J. Sanchez
657
12
Author Index
669
<