Computer Aided Systems Theory - EUROCAST 2001 A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Moreno-Diaz, Roberto (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Buchberger, Bruno (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Freire, Jose-Luis (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2178
• Θέματα: Computer-aided engineering.; Computer simulation.; Artificial intelligence.; Special purpose computers.; Microprocessors.; Mathematical logic.; Computer-Aided Engineering (CAD, CAE) and Design.; Simulation and Modeling.; Artificial Intelligence.; Special Purpose and Application-Based Systems.; Processor Architectures.; Mathematical Logic and Formal Languages.

The concept of CAST as Computer Aided Systems Theory, was introduced by F. Pichler in the late 1980s 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) necessary to...

Πίνακας περιεχομένων:

• Invited Lectures
• Gröbner Bases: A Short Introduction for Systems Theorists
• Design for Reuse via Structuring Techniques for ASMs
• Computer Aided Systems Theory
• On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
• A Holarchical Organized Design Assistant for Hierarchical Decompositions
• Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
• Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
• Hybrid Systems' Properties - Classification and Relation to Computer Science
• Assertion-Based Analysis of Hybrid Systems with PVS
• Algebraic Description of Physical Systems
• Information Structure and Logical Design of Social Rules
• Towards a Generic Model of Information Processing Systems
• Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
• A Proposal for Project Management Using CommonKADS
• A General Planning Method for Allocation of Human Resource Groups
• Optimizing Organizational Structure: A Hausdorff Benchmark for Complex Social Systems
• A Planning under Uncertainty Model
• Knowledge Based Modeling of the Design Process as a Base of Design Tools. Application to the Development of Agricultural Structures
• Complexity Analysis of Systems from a Functional and Technical Viewpoint
• A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength
• Characterizing the Software Development Process: A New Approach Based on Kolmogorov Complexity
• Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution
• Toward a Formalisation of Evolutionary Hypermedia Systems Based on System Theory
• Optimization Problems Categories
• Systems Methodology for Classical Neural Nets at Various Levels
• Biologically Based CAST-mechanism for Visual Motion Analysis
• Towards a Model of Volume Transmission in Biological and Artificial Neural Networks: A CAST Approach
• An Online Information Retrieval Systems by Means of Artificial Neural Networks
• Kinematics in Robotics by the Morphogenetic Neuron
• Analysis and Verification Queries over Object-Oriented Petri Nets
• Integrated Design and Implementation of Digital Controllers
• Symbolic Computation Tools for Dynamical Nonlinear Control Systems
• Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica
• Towards a Computer-Aided Design of Reactive Systems
• Contributions to the Control and Stabilization of the Pole-Cart System
• A Qualitative System as a Frame to Control Unmanned Vehicles
• Hyper-Automation System Applied to Geometry Demonstration Environment
• Computer Algebra and Automated Theorem Proving
• The PCS Prover in TH?OREM?
• Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
• Classifying Isomorphic Residue Classes
• CAL: A Computer Assisted Learning System for Computation and Logic
• A Set Theory Prover Within Theorema
• Functional Programming and ? Calculus
• The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server
• Hidden Specification of a Functional System
• Distributed Execution of Functional Programs Using the JVM
• Fusion in Coq
• A Language Prototyping Tool Based on Semantic Building Blocks
• Verifying an Applicative ATP Using Multiset Relations
• Adding Traces to a Lazy Monadic Evaluator
• Functional Vs Object-Oriented Distributed Languages
• Persistent Haskell.