Zum Hauptinhalt springen

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

Moreno-Díaz, Roberto [Ed.]. ; Luis Freire, José [Ed.]. ; et al.
2001
Buch - XI, 672 p. online resource.

Titel:
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
Autor/in / Beteiligte Person: Moreno-Díaz, Roberto [Ed.]. ; Luis Freire, José [Ed.]. ; Buchberger, Bruno [Ed.].
Reihe: Lecture Notes in Computer Science Lecture Notes in Computer Science
Veröffentlichung: 2001
Medientyp: Buch
Umfang: XI, 672 p. online resource.
ISBN: 978-3-540-45654-4 (print) ; 978-3-540-42959-3 (print) ; 3-540-45654-6 (print) ; 3-540-42959-X (print)
Schlagwort:
  • Artificial Intelligence (incl. Robotics)
  • Computer science.
  • Computer-aided design.
  • Software engineering.
  • Artificial intelligence.
  • Computer simulation.
  • Simulation and Modeling.
  • Computer-Aided Engineering (CAD, CAE) and Design.
  • Special Purpose and Application-Based Systems.
  • Processor Architectures.
  • Mathematical Logic and Formal Languages.
Sonstiges:
  • Nachgewiesen in: Harvard Library Bibliographic Dataset
  • Sprachen: English
  • Contents Note: 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.
  • Document Type: Book
  • Language: English
  • Rights: This record is part of the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others, OCLC Online Computer Library Center, Inc. and the Library of Congress.

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

oder
oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

oder
oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -