Invited Lectures |
|
|
Grobner Bases: A Short Introduction for Systems Theorists |
|
|
1 | (19) |
|
|
Design for Reuse via Structuring Techniques for ASMs |
|
|
20 | (16) |
|
|
Computer Aided Systems Theory |
|
|
|
Mathematical and Logic Formalisms |
|
|
|
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata |
|
|
36 | (9) |
|
|
|
|
A Holarchical Organized Design Assistant for Hierarchical Decompositions |
|
|
45 | (7) |
|
|
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach |
|
|
52 | (15) |
|
|
|
|
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties |
|
|
67 | (12) |
|
|
|
|
|
Hybrid Systems' Properties - Classification and Relation to Computer Science |
|
|
79 | (15) |
|
|
Assertion-Based Analysis of Hybrid Systems with PVS |
|
|
94 | (16) |
|
|
|
|
Algebraic Description of Physical Systems |
|
|
110 | (15) |
|
|
|
|
Information Structure and Logical Design of Social Rules |
|
|
125 | (14) |
|
|
Towards a Generic Model of Information Processing Systems |
|
|
139 | (7) |
|
|
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies |
|
|
146 | (14) |
|
|
|
A Proposal for Project Management Using CommonKADS |
|
|
160 | (12) |
|
|
|
|
|
|
A General Planning Method for Allocation of Human Resource Groups |
|
|
172 | (10) |
|
|
Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems |
|
|
182 | (14) |
|
|
A Planning under Uncertainty Model |
|
|
196 | (13) |
|
|
|
|
|
|
Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures |
|
|
209 | (14) |
|
|
|
|
|
Complexity Analysis of Systems from a Functional and Technical Viewpoint |
|
|
223 | (10) |
|
|
|
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength |
|
|
233 | (9) |
|
|
|
Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity |
|
|
242 | (15) |
|
|
|
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution |
|
|
257 | (13) |
|
|
Toward a Formalization of Evolutionary Hypermedia Systems Based on System Theory |
|
|
270 | (15) |
|
|
|
|
Optimization Problems Categories |
|
|
285 | (15) |
|
|
|
|
|
CAST in Neural-like Computation. Applications |
|
|
|
Systems Methodology for Classical Neural Nets at Various Levels |
|
|
300 | (16) |
|
|
|
Biologically Based CAST-mechanism for Visual Motion Analysis |
|
|
316 | (12) |
|
|
|
|
Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach |
|
|
328 | (15) |
|
|
|
|
An Online Information Retrieval Systems by Means of Artificial Neural Networks |
|
|
343 | (9) |
|
|
|
|
Kinematic in Robotics by the Morphogenetic Neuron |
|
|
352 | (17) |
|
|
|
|
|
Analysis and Verification Queries over Object-Oriented Petri Nets |
|
|
369 | (16) |
|
|
|
|
CAST in Automation and Control |
|
|
|
Integrated Design and Implementation of Digital Controllers |
|
|
385 | (8) |
|
|
|
Symbolic Computation Tools for Dynamical Nonlinear Control Systems |
|
|
393 | (12) |
|
|
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica |
|
|
405 | (16) |
|
|
Towards a Computer-Aided Design of Reactive Systems |
|
|
421 | (16) |
|
|
|
Contributions to the Control and Stabilization of the Pole-Cart System |
|
|
437 | (13) |
|
|
|
A Qualitative System as a Frame to Control Unmanned Vehicles |
|
|
450 | (7) |
|
|
|
Hyper-Automation System Applied to Geometry Demonstration Environment |
|
|
457 | (12) |
|
|
|
|
|
|
Computer Algebra and Automated Theorem Proving |
|
|
|
The PCS Prover in THEOREMA |
|
|
469 | (10) |
|
|
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations |
|
|
479 | (15) |
|
|
|
|
Classifying Isomorphic Residue Classes |
|
|
494 | (15) |
|
|
|
|
CAL: A Computer Assisted Learning System for Computation and Logic |
|
|
509 | (16) |
|
|
|
|
A Set Theory Prover Within Theorema |
|
|
525 | (15) |
|
|
Functional Programming and λ Calculus |
|
|
|
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server |
|
|
540 | (15) |
|
|
|
|
|
Hidden Specification of a Functional System |
|
|
555 | (15) |
|
|
|
|
|
Distributed Execution of Functional Programs Using the JVM |
|
|
570 | (13) |
|
|
|
|
583 | (14) |
|
|
|
|
|
A Language Prototyping Tool Based on Semantic Building Blocks |
|
|
597 | (15) |
|
|
|
|
|
Verifying an Applicative ATP Using Multiset Relations |
|
|
612 | (15) |
|
|
|
|
|
Adding Traces to a Lazy Monadic Evaluator |
|
|
627 | (15) |
|
|
|
|
|
Functional Vs Object-Oriented Distributed Languages |
|
|
642 | (15) |
|
|
|
|
|
|
|
657 | (12) |
|
|
Author Index |
|
669 | |