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
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...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
2178 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire (eds.), Berlin, Springer, 2001, 1 vol. (XI-670 p.), Lecture notes in computer science, 3-540-42959-X • Computer Aided Systems Theory - EUROCAST 2001, Texte imprimé, 9783662203835 |
| LEADER | 07764nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 948576 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155173243 | ||
| 020 | |a 9783540456544 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International Workshop on Computer Aided Systems Theory |n (08 |d :2001 |c :Las Palmas de Gran Canaria, Espagne). | |
| 245 | 1 | 0 | |a Computer aided systems theory - EUROCAST 2001 : |b 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 |c [edited by] Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2178 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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 NeuralNets 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 build 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 89. This was 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, alternating between Las Palmas de Gran Canaria and a continental European location. Thus, successive EUROCAST meetings have taken place in Krems (1991), Las Palmas (1993), Innsbruck (1995), Las Palmas (1997), and Vienna (1999), in addition to an extra-European CAST Conference in Ottawa in 1994. | ||
| 650 | |a Conception assistée par ordinateur | ||
| 650 | |a Informatique | ||
| 650 | |a Simulation par ordinateur | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Ingénierie assistée par ordinateur | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Moreno-Diaz, Roberto, |d 1939- |4 pbd | |
| 700 | 1 | |a Buchberger, Bruno, |d 1942-...., |c mathématicien. |4 pbd | |
| 700 | 1 | |a Freire, José Luis. |4 pbd | |
| 776 | 0 | |0 060815930 |t Computer aided systems theory - EUROCAST 2001 |o a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001 |o Revised papers |f Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire (eds.) |c Berlin |n Springer |d 2001 |p 1 vol. (XI-670 p.) |s Lecture notes in computer science |z 3-540-42959-X | |
| 776 | 0 | |t Computer Aided Systems Theory - EUROCAST 2001 |b Texte imprimé |z 9783662203835 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45654-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-Q3F6JSG7-C |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748059253 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45654-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751510750 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45654-6 |z Accès INSA CVL | |
| 997 | |0 948576 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||