Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer Aided Systems Theory - EUROCAST'99 [[electronic resource] ] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek
| Computer Aided Systems Theory - EUROCAST'99 [[electronic resource] ] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 606 p.) |
| Disciplina | 620.00420285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer-aided engineering
Special purpose computers Computational complexity Artificial intelligence Physics Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Complexity Artificial Intelligence Mathematical Methods in Physics Numerical and Computational Physics, Simulation |
| ISBN | 3-540-44931-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Survey Papers -- The Cast Project: Experiences and Future Perspectives -- Cast Methods in Biocybernetics -- On the Way to the Next Generation of Robots -- Conceptual Frameworks, Methods and Tools -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language -- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis -- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? -- Computer-Aided Analysis and Validation of Heterogeneous System Specifications -- Patterns for Embedded Systems Design -- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets -- Representing Petri Nets in an Action Based Formalism -- Simplification of Proof Procedures Based on the Path Condition Concepts -- Parallel Processor Array for Tomographic Reconstruction Algorithms -- A Formalized Description Approach to Continuos Time Systems -- Modeling Complex Systems by Multi-agent Holarchies -- Partition of Systems by General System Logical Theory (GSLT) -- Intelligent Robots -- Multiagent Approach to Intelligent Control of Robot -- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools -- System Integration Techniques in Robotics -- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots -- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations -- Matrix Model of Robot in Matlab – Simulink -- Modeling and Simulation -- Integrating Two Dynamic Models of Business-Logistics Plant -- Assembly Reengineering Model -- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation -- Modeling the Emergence of Social Entities -- Simulating Social Grouping: An Interactive Team-Building Tool (ITBT) -- Sociological Aspects of Data Acquisition and Processing -- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference -- Simulation of Gaussian Processes and First Passage Time Densities Evaluation -- Distributed Simulation with Multimedia Interface -- Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem -- Floating Car Data Analysis of Urban Road Networks -- Information Lost in the Hologram Subdividing Process -- Systems Engineering and Software Development -- Electronic Performance Support Systems Challenges and Problems -- A Framework for the Elicitation, Evolution, and Traceability of System Requirements -- Development of a Precision Assembly System Using Selective Assembly and Micro Machining -- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station -- A Formalisation of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems -- Vertical Partitioning Algorithms in Distributed Databases -- Decision Based Adaptive Model for Managing Software Development Projects -- A Fractal Software Complexity Metric Analyser -- Artificial Intelligent Systems and Control -- Systems Approach to Attention Mechanisms in the Visual Pathway -- On Completness in Early Vision from Systems Theory -- McCulloch Program II in Artificial Systems and Lastres Theorem -- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases -- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems -- Variable-Structure Learning Controllers -- An Identification Algorithmic Toolkit for Intelligent Control Systems -- Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures -- The Supervision of Hybrid Control Systems – A Layered Architecture -- Automatic Players for Computer Games. |
| Record Nr. | UNINA-9910144145803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory - EUROCAST'99 [[electronic resource] ] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek
| Computer Aided Systems Theory - EUROCAST'99 [[electronic resource] ] : A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / / edited by Franz Pichler, Roberto Moreno-Diaz, Peter Kopacek |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 606 p.) |
| Disciplina | 620.00420285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer-aided engineering
Special purpose computers Computational complexity Artificial intelligence Physics Computer-Aided Engineering (CAD, CAE) and Design Special Purpose and Application-Based Systems Complexity Artificial Intelligence Mathematical Methods in Physics Numerical and Computational Physics, Simulation |
| ISBN | 3-540-44931-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Survey Papers -- The Cast Project: Experiences and Future Perspectives -- Cast Methods in Biocybernetics -- On the Way to the Next Generation of Robots -- Conceptual Frameworks, Methods and Tools -- Representation of the RCS Reference Model Architecture Using an Architectural Description Language -- Conceptual Design, Functional Decomposition, Mathematical Modelling, and Perturbation Analysis -- AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems? -- Computer-Aided Analysis and Validation of Heterogeneous System Specifications -- Patterns for Embedded Systems Design -- Towards Verifying Distributed Systems Using Object-Oriented Petri Nets -- Representing Petri Nets in an Action Based Formalism -- Simplification of Proof Procedures Based on the Path Condition Concepts -- Parallel Processor Array for Tomographic Reconstruction Algorithms -- A Formalized Description Approach to Continuos Time Systems -- Modeling Complex Systems by Multi-agent Holarchies -- Partition of Systems by General System Logical Theory (GSLT) -- Intelligent Robots -- Multiagent Approach to Intelligent Control of Robot -- Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools -- System Integration Techniques in Robotics -- Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots -- Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations -- Matrix Model of Robot in Matlab – Simulink -- Modeling and Simulation -- Integrating Two Dynamic Models of Business-Logistics Plant -- Assembly Reengineering Model -- Design for Disassembly and Recycling for Small and Medium Sized Companies for the Next Generation -- Modeling the Emergence of Social Entities -- Simulating Social Grouping: An Interactive Team-Building Tool (ITBT) -- Sociological Aspects of Data Acquisition and Processing -- Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference -- Simulation of Gaussian Processes and First Passage Time Densities Evaluation -- Distributed Simulation with Multimedia Interface -- Microscopic Randomness and “Fundamental Diagram” in the Traffic Flow Problem -- Floating Car Data Analysis of Urban Road Networks -- Information Lost in the Hologram Subdividing Process -- Systems Engineering and Software Development -- Electronic Performance Support Systems Challenges and Problems -- A Framework for the Elicitation, Evolution, and Traceability of System Requirements -- Development of a Precision Assembly System Using Selective Assembly and Micro Machining -- Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station -- A Formalisation of the Evolution of Software Systems -- HEDES: A System Theory Based Tool to Support Evolutionary Software Systems -- Vertical Partitioning Algorithms in Distributed Databases -- Decision Based Adaptive Model for Managing Software Development Projects -- A Fractal Software Complexity Metric Analyser -- Artificial Intelligent Systems and Control -- Systems Approach to Attention Mechanisms in the Visual Pathway -- On Completness in Early Vision from Systems Theory -- McCulloch Program II in Artificial Systems and Lastres Theorem -- A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases -- Uncertain Variables in the Computer Aided Analysis of Uncertain Systems -- Variable-Structure Learning Controllers -- An Identification Algorithmic Toolkit for Intelligent Control Systems -- Non Selective Gas Sensors and Artificial Neural Networks – Determination of Gas Mixtures -- The Supervision of Hybrid Control Systems – A Layered Architecture -- Automatic Players for Computer Games. |
| Record Nr. | UNISA-996466156603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Improving stability in developing nations through automation 2006 [[electronic resource] ] : a proceedings volume from the IFAC Conference on Supplemental Ways for Improving International Stability through Automation ISA '06, 15-17 June 2006, Prishtina, Kosovo / / edited by P. Kopacek
| Improving stability in developing nations through automation 2006 [[electronic resource] ] : a proceedings volume from the IFAC Conference on Supplemental Ways for Improving International Stability through Automation ISA '06, 15-17 June 2006, Prishtina, Kosovo / / edited by P. Kopacek |
| Pubbl/distr/stampa | Oxford, : Elsevier for International Federation of Automatic Control, 2006 |
| Descrizione fisica | 1 online resource (127 p.) |
| Disciplina | 629.8 |
| Altri autori (Persone) | KopacekPeter |
| Collana | IPV - IFAC Proceedings Volume |
| Soggetto topico |
Automatic control
Technology - Social aspects - Developing countries |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-74678-5
9786610746781 0-08-046764-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright Page; Table of Contents; Survey Papers; Mechatronics Education and International Stability - The Development Of University-Level Education Programmes in Advanced Engineering in Kosovo; Abstract; 1. Background and Context; 2. Mechatronics & Engineering Management; 3. Engineering Management Education & Mechatronics Management; 4. Developing a Kosovan Mechatronics Management Programme; 5. Curriculum Design: Theoretical Approach; 4. Summary; 6. Conclusion; Acknowledgements; References; Terrorism, Human Rights and Ethics: A Modelling Approach; Abstract
1. Introduction: What Is 'Terrorism'?2. Context for Terrorism; 3. Ethical Analysis; 4. The Ethics of Counter Terrorism; 5. Human Rights and the Fear of Terrorism; 5. Conclusions; References; Acknowledgements; Energy Providing and Consumption Can Cause Instability; Abstract; 1. Introduction; 2. Control (Systems) Engineering and Conflict Solution; 3. Energy Production and Consumption in the World; 4. Modelling; 5. Discussion; 6. Conclusion; 7. References; Mechatronics; A Role of Mechanical Engineering in Mechatronics; Abstract; 1. Mechatronic Systems and Mechatronics; 2. Mechanical Issues 3. Experiences at University of Cassino4. Conclusions; References; A Mechatronics Management Laboratory; Abstract; 1. Introduction; 2 Equipment; 3. Organisation for Effective, Active Learning; 4. Summary and Outlook; 5. Acknowledgement; 6. Literature; Various; Social Stability in a Stressed Ecosystem; Abstract; 1. Introduction; 2. Ecological Decline; 3. Challenges to Social Stability; 4. Underemployment and Stress on Existing Social Paradigms; 5. A New Social Paradigm; 6. Views of Human Society; 7. Social Determinants; 8. Representative Approaches to Global Stability 9. Conditions for Sustainable StabilityReferences; Critical Infrastructure; Abstract; 1. Introduction; 2. Critical Infrastructure; 3. Security; 4. Dependability; 5. Conclusion; References; Decision Making in TOC-Product-Mix Selection Via Fuzzy Cost Function Optimization; Abstract; 1. Introduction; 2. A Fuzzy System Approch to Toc Product-Mix Problem; 3. Conclusions; References; Learnmaths: A Case Study of the Development of Learning Software to Support Social Inclusion; Abstract; 1. Background and Context; 2. Learning Disability in Mathematics; 3. The Need for Education Support Solutions 4. The Learnmaths Assitive Technology Solution5. Conclusions; References; Current Ethical Scruples Concerning Information Engineering; Abstract; 1. Introduction; 2. Privacy and Security, Two Dramas of Our Days; 3. Privacy and Security Means Liberty and Solidarity with all their Coherence and Contradictions; 4. Who Guards the Guards? - Feedback of Enlightened Democracy; 5. Advances in Conflict Resolution; 6. Strong Ethics of a Sceptic View; 7. Hungarian Situation and Some about Our Group's Activity; 8. Conclusion and Warning Complexity of Social System Cybernetics: Risk and Uncertainty Management in Negotiations |
| Record Nr. | UNINA-9910458466403321 |
| Oxford, : Elsevier for International Federation of Automatic Control, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Improving stability in developing nations through automation 2006 [[electronic resource] ] : a proceedings volume from the IFAC Conference on Supplemental Ways for Improving International Stability through Automation ISA '06, 15-17 June 2006, Prishtina, Kosovo / / edited by P. Kopacek
| Improving stability in developing nations through automation 2006 [[electronic resource] ] : a proceedings volume from the IFAC Conference on Supplemental Ways for Improving International Stability through Automation ISA '06, 15-17 June 2006, Prishtina, Kosovo / / edited by P. Kopacek |
| Pubbl/distr/stampa | Oxford, : Elsevier for International Federation of Automatic Control, 2006 |
| Descrizione fisica | 1 online resource (127 p.) |
| Disciplina | 629.8 |
| Altri autori (Persone) | KopacekPeter |
| Collana | IPV - IFAC Proceedings Volume |
| Soggetto topico |
Automatic control
Technology - Social aspects - Developing countries |
| ISBN |
1-280-74678-5
9786610746781 0-08-046764-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright Page; Table of Contents; Survey Papers; Mechatronics Education and International Stability - The Development Of University-Level Education Programmes in Advanced Engineering in Kosovo; Abstract; 1. Background and Context; 2. Mechatronics & Engineering Management; 3. Engineering Management Education & Mechatronics Management; 4. Developing a Kosovan Mechatronics Management Programme; 5. Curriculum Design: Theoretical Approach; 4. Summary; 6. Conclusion; Acknowledgements; References; Terrorism, Human Rights and Ethics: A Modelling Approach; Abstract
1. Introduction: What Is 'Terrorism'?2. Context for Terrorism; 3. Ethical Analysis; 4. The Ethics of Counter Terrorism; 5. Human Rights and the Fear of Terrorism; 5. Conclusions; References; Acknowledgements; Energy Providing and Consumption Can Cause Instability; Abstract; 1. Introduction; 2. Control (Systems) Engineering and Conflict Solution; 3. Energy Production and Consumption in the World; 4. Modelling; 5. Discussion; 6. Conclusion; 7. References; Mechatronics; A Role of Mechanical Engineering in Mechatronics; Abstract; 1. Mechatronic Systems and Mechatronics; 2. Mechanical Issues 3. Experiences at University of Cassino4. Conclusions; References; A Mechatronics Management Laboratory; Abstract; 1. Introduction; 2 Equipment; 3. Organisation for Effective, Active Learning; 4. Summary and Outlook; 5. Acknowledgement; 6. Literature; Various; Social Stability in a Stressed Ecosystem; Abstract; 1. Introduction; 2. Ecological Decline; 3. Challenges to Social Stability; 4. Underemployment and Stress on Existing Social Paradigms; 5. A New Social Paradigm; 6. Views of Human Society; 7. Social Determinants; 8. Representative Approaches to Global Stability 9. Conditions for Sustainable StabilityReferences; Critical Infrastructure; Abstract; 1. Introduction; 2. Critical Infrastructure; 3. Security; 4. Dependability; 5. Conclusion; References; Decision Making in TOC-Product-Mix Selection Via Fuzzy Cost Function Optimization; Abstract; 1. Introduction; 2. A Fuzzy System Approch to Toc Product-Mix Problem; 3. Conclusions; References; Learnmaths: A Case Study of the Development of Learning Software to Support Social Inclusion; Abstract; 1. Background and Context; 2. Learning Disability in Mathematics; 3. The Need for Education Support Solutions 4. The Learnmaths Assitive Technology Solution5. Conclusions; References; Current Ethical Scruples Concerning Information Engineering; Abstract; 1. Introduction; 2. Privacy and Security, Two Dramas of Our Days; 3. Privacy and Security Means Liberty and Solidarity with all their Coherence and Contradictions; 4. Who Guards the Guards? - Feedback of Enlightened Democracy; 5. Advances in Conflict Resolution; 6. Strong Ethics of a Sceptic View; 7. Hungarian Situation and Some about Our Group's Activity; 8. Conclusion and Warning Complexity of Social System Cybernetics: Risk and Uncertainty Management in Negotiations |
| Record Nr. | UNINA-9910784545703321 |
| Oxford, : Elsevier for International Federation of Automatic Control, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Improving stability in developing nations through automation 2006 [[electronic resource] ] : a proceedings volume from the IFAC Conference on Supplemental Ways for Improving International Stability through Automation ISA '06, 15-17 June 2006, Prishtina, Kosovo / / edited by P. Kopacek
| Improving stability in developing nations through automation 2006 [[electronic resource] ] : a proceedings volume from the IFAC Conference on Supplemental Ways for Improving International Stability through Automation ISA '06, 15-17 June 2006, Prishtina, Kosovo / / edited by P. Kopacek |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Oxford, : Elsevier for International Federation of Automatic Control, 2006 |
| Descrizione fisica | 1 online resource (127 p.) |
| Disciplina | 629.8 |
| Altri autori (Persone) | KopacekPeter |
| Collana | IPV - IFAC Proceedings Volume |
| Soggetto topico |
Automatic control
Technology - Social aspects - Developing countries |
| ISBN |
1-280-74678-5
9786610746781 0-08-046764-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright Page; Table of Contents; Survey Papers; Mechatronics Education and International Stability - The Development Of University-Level Education Programmes in Advanced Engineering in Kosovo; Abstract; 1. Background and Context; 2. Mechatronics & Engineering Management; 3. Engineering Management Education & Mechatronics Management; 4. Developing a Kosovan Mechatronics Management Programme; 5. Curriculum Design: Theoretical Approach; 4. Summary; 6. Conclusion; Acknowledgements; References; Terrorism, Human Rights and Ethics: A Modelling Approach; Abstract
1. Introduction: What Is 'Terrorism'?2. Context for Terrorism; 3. Ethical Analysis; 4. The Ethics of Counter Terrorism; 5. Human Rights and the Fear of Terrorism; 5. Conclusions; References; Acknowledgements; Energy Providing and Consumption Can Cause Instability; Abstract; 1. Introduction; 2. Control (Systems) Engineering and Conflict Solution; 3. Energy Production and Consumption in the World; 4. Modelling; 5. Discussion; 6. Conclusion; 7. References; Mechatronics; A Role of Mechanical Engineering in Mechatronics; Abstract; 1. Mechatronic Systems and Mechatronics; 2. Mechanical Issues 3. Experiences at University of Cassino4. Conclusions; References; A Mechatronics Management Laboratory; Abstract; 1. Introduction; 2 Equipment; 3. Organisation for Effective, Active Learning; 4. Summary and Outlook; 5. Acknowledgement; 6. Literature; Various; Social Stability in a Stressed Ecosystem; Abstract; 1. Introduction; 2. Ecological Decline; 3. Challenges to Social Stability; 4. Underemployment and Stress on Existing Social Paradigms; 5. A New Social Paradigm; 6. Views of Human Society; 7. Social Determinants; 8. Representative Approaches to Global Stability 9. Conditions for Sustainable StabilityReferences; Critical Infrastructure; Abstract; 1. Introduction; 2. Critical Infrastructure; 3. Security; 4. Dependability; 5. Conclusion; References; Decision Making in TOC-Product-Mix Selection Via Fuzzy Cost Function Optimization; Abstract; 1. Introduction; 2. A Fuzzy System Approch to Toc Product-Mix Problem; 3. Conclusions; References; Learnmaths: A Case Study of the Development of Learning Software to Support Social Inclusion; Abstract; 1. Background and Context; 2. Learning Disability in Mathematics; 3. The Need for Education Support Solutions 4. The Learnmaths Assitive Technology Solution5. Conclusions; References; Current Ethical Scruples Concerning Information Engineering; Abstract; 1. Introduction; 2. Privacy and Security, Two Dramas of Our Days; 3. Privacy and Security Means Liberty and Solidarity with all their Coherence and Contradictions; 4. Who Guards the Guards? - Feedback of Enlightened Democracy; 5. Advances in Conflict Resolution; 6. Strong Ethics of a Sceptic View; 7. Hungarian Situation and Some about Our Group's Activity; 8. Conclusion and Warning Complexity of Social System Cybernetics: Risk and Uncertainty Management in Negotiations |
| Record Nr. | UNINA-9910811947903321 |
| Oxford, : Elsevier for International Federation of Automatic Control, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||