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 2003 [[electronic resource] ] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / / edited by Robeto Moreno Diaz, Franz Pichler
| Computer Aided Systems Theory - EUROCAST 2003 [[electronic resource] ] : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / / edited by Robeto Moreno Diaz, Franz Pichler |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XI, 677 p.) |
| Disciplina | 620.00420285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer-aided engineering
Computer simulation Microprocessors Computer logic Mathematical logic Artificial intelligence Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling Processor Architectures Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-45210-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complex Systems Tools and Applications -- On Modeling and Simulation of Flows of Water by 3D-Cellular Automata -- Representation and Processing of Complex Knowledge -- How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iteration -- A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems -- Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systems -- A Framework for Modelling the User Interaction with a Complex System -- A Categorical Approach to NP-Hard Optimization Problems -- Logic and Formal Tools -- A Formulation for Language Independent Prelogical Deductive Inference -- Multi-agent Simulation in Random Game Generator -- The Zero Array: A Twilight Zone -- Invariants and Symmetries among Adaptive Agents -- Generalizing Programs via Subsumption -- Social and Intelligent Systems -- Modeling with Archetypes: An Effective Approach to Dealing with Complexity -- Equal Opportunities Analysis in the University: The Gender Perspective -- Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods -- Knowledge Base for Evidence Based Medicine with Bioinformatics Components -- Diversified Approach to Methodology and Technology in Distributed Intelligent Building Systems -- Temporal Approaches in Data Mining. A Case Study in Agricultural Environment -- Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System -- Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems -- Distributed Computing -- Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel -- Generative Communication with Semantic Matching in Distributed Heterogeneous Environments -- Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems -- Design of a Medical Application Using XML Based Data Interchange -- Partial-Order Reduction in Model Checking Object-Oriented Petri Nets -- On the Strong Co–induction in Coq -- Autonomous and Control Systems -- A Throttle and Brake Fuzzy Controller: Towards the Automatic Car -- ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II -- Segmentation of Traffic Images for Automatic Car Driving -- Vision Based Intelligent System for Autonomous and Assisted Downtown Driving -- Using Fractional Calculus for Lateral and Longitudinal Control of Autonomous Vehicles -- Computational Methods in Biomathematics -- Recent Advances in the Walking Tree Method for Biological Sequence Alignment -- Towards Some Computational Problems Arising in Biological Modeling -- Single Point Algorithms in Genetic Linkage Analysis -- A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms -- Computational Methods for the Evaluation of Neuron’s Firing Densities -- Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease -- On Representing Biological Systems through Multiset Rewriting -- Natural and Artificial Neural Nets -- A Model of Neural Inspiration for Local Accumulative Computation -- Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics -- Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks -- Neurosymbolic Integration: The Knowledge Level Approach -- On Parallel Channel Modeling of Retinal Processes -- Geometric Image of Statistical Learning (Morphogenetic Neuron) -- Systems and Computational Tools for Neuronal Retinal Models -- Neuroinformatics and Neuroimaging -- A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps -- Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps -- DT-MRI Images : Estimation, Regularization, and Application -- An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRI -- Dynamical Components Analysis of FMRI Data: A Second Order Solution -- Tensor Field Regularization Using Normalized Convolution -- Volumetric Texture Description and Discriminant Feature Selection for MRI -- White Matter Mapping in DT-MRI Using Geometric Flows -- Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation -- Fast Entropy-Based Nonrigid Registration -- Image Processing -- 3D Reconstruction from a Vascular Tree Model -- ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms -- Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis -- Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems) -- Devices to Preserve Watermark Security in Image Printing and Scanning. |
| Record Nr. | UNISA-996465957603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / / edited by Robeto Moreno Diaz, Franz Pichler
| Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / / edited by Robeto Moreno Diaz, Franz Pichler |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XI, 677 p.) |
| Disciplina | 620.00420285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer-aided engineering
Computer simulation Microprocessors Computer logic Mathematical logic Artificial intelligence Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling Processor Architectures Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-45210-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Complex Systems Tools and Applications -- On Modeling and Simulation of Flows of Water by 3D-Cellular Automata -- Representation and Processing of Complex Knowledge -- How Many Rounds to KO?, or Complexity Increase by Cryptographic Map Iteration -- A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems -- Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systems -- A Framework for Modelling the User Interaction with a Complex System -- A Categorical Approach to NP-Hard Optimization Problems -- Logic and Formal Tools -- A Formulation for Language Independent Prelogical Deductive Inference -- Multi-agent Simulation in Random Game Generator -- The Zero Array: A Twilight Zone -- Invariants and Symmetries among Adaptive Agents -- Generalizing Programs via Subsumption -- Social and Intelligent Systems -- Modeling with Archetypes: An Effective Approach to Dealing with Complexity -- Equal Opportunities Analysis in the University: The Gender Perspective -- Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods -- Knowledge Base for Evidence Based Medicine with Bioinformatics Components -- Diversified Approach to Methodology and Technology in Distributed Intelligent Building Systems -- Temporal Approaches in Data Mining. A Case Study in Agricultural Environment -- Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System -- Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems -- Distributed Computing -- Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel -- Generative Communication with Semantic Matching in Distributed Heterogeneous Environments -- Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems -- Design of a Medical Application Using XML Based Data Interchange -- Partial-Order Reduction in Model Checking Object-Oriented Petri Nets -- On the Strong Co–induction in Coq -- Autonomous and Control Systems -- A Throttle and Brake Fuzzy Controller: Towards the Automatic Car -- ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II -- Segmentation of Traffic Images for Automatic Car Driving -- Vision Based Intelligent System for Autonomous and Assisted Downtown Driving -- Using Fractional Calculus for Lateral and Longitudinal Control of Autonomous Vehicles -- Computational Methods in Biomathematics -- Recent Advances in the Walking Tree Method for Biological Sequence Alignment -- Towards Some Computational Problems Arising in Biological Modeling -- Single Point Algorithms in Genetic Linkage Analysis -- A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms -- Computational Methods for the Evaluation of Neuron’s Firing Densities -- Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease -- On Representing Biological Systems through Multiset Rewriting -- Natural and Artificial Neural Nets -- A Model of Neural Inspiration for Local Accumulative Computation -- Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics -- Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks -- Neurosymbolic Integration: The Knowledge Level Approach -- On Parallel Channel Modeling of Retinal Processes -- Geometric Image of Statistical Learning (Morphogenetic Neuron) -- Systems and Computational Tools for Neuronal Retinal Models -- Neuroinformatics and Neuroimaging -- A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps -- Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps -- DT-MRI Images : Estimation, Regularization, and Application -- An Efficient Algorithm for Multiple Sclerosis Lesion Segmentation from Brain MRI -- Dynamical Components Analysis of FMRI Data: A Second Order Solution -- Tensor Field Regularization Using Normalized Convolution -- Volumetric Texture Description and Discriminant Feature Selection for MRI -- White Matter Mapping in DT-MRI Using Geometric Flows -- Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation -- Fast Entropy-Based Nonrigid Registration -- Image Processing -- 3D Reconstruction from a Vascular Tree Model -- ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms -- Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis -- Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems) -- Devices to Preserve Watermark Security in Image Printing and Scanning. |
| Record Nr. | UNINA-9910768185503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory - EUROCAST 2007 [[electronic resource] ] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia
| Computer Aided Systems Theory - EUROCAST 2007 [[electronic resource] ] : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XXXVIII, 1236 p.) |
| Disciplina | 620.00285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer-aided engineering
Computer simulation Pattern recognition systems Artificial intelligence Computer science Microprocessors Computer architecture Computer-Aided Engineering (CAD, CAE) and Design Computer Modelling Automated Pattern Recognition Artificial Intelligence Computer Science Logic and Foundations of Programming Processor Architectures |
| ISBN | 3-540-75867-4 |
| Classificazione |
004
MSR 580f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling Biological Systems -- Intelligent Information Processing -- Computers in Education -- Grid Computing -- Applied Formal Verification -- Cellular Automata -- Computer Vision -- Heuristic Problem Solving -- Signal Processing Architectures -- Robotics and Robotic Soccer -- Cybercars and Intelligent Vehicles -- Artificial Intelligence Components. |
| Record Nr. | UNISA-996466100003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Systems Theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia
| Computer Aided Systems Theory - EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XXXVIII, 1236 p.) |
| Disciplina | 620.00285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer-aided engineering
Computer simulation Pattern recognition systems Artificial intelligence Computer science Microprocessors Computer architecture Computer-Aided Engineering (CAD, CAE) and Design Computer Modelling Automated Pattern Recognition Artificial Intelligence Computer Science Logic and Foundations of Programming Processor Architectures |
| ISBN | 3-540-75867-4 |
| Classificazione |
004
MSR 580f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling Biological Systems -- Intelligent Information Processing -- Computers in Education -- Grid Computing -- Applied Formal Verification -- Cellular Automata -- Computer Vision -- Heuristic Problem Solving -- Signal Processing Architectures -- Robotics and Robotic Soccer -- Cybercars and Intelligent Vehicles -- Artificial Intelligence Components. |
| Record Nr. | UNINA-9910483459603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Systems Theory - EUROCAST 2009 [[electronic resource] ] : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia
| Computer Aided Systems Theory - EUROCAST 2009 [[electronic resource] ] : 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVII, 950 p.) |
| Disciplina | 620.00420285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Computer-aided engineering Pattern recognition systems Artificial intelligence Computer vision Image processing—Digital techniques Computer Modelling Computer-Aided Engineering (CAD, CAE) and Design Automated Pattern Recognition Artificial Intelligence Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN | 3-642-04772-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling Biological Systems -- Intelligent Information Processing -- Applied Formal Verification -- Computer Vision and Image Processing -- Mobile and Autonomous Systems: Robots and Cars -- Simulation Based System Optimization -- Signal Processing Methods in Systems Design and Cybernetics -- Polynomial Models in Control System Design -- Heuristic Problem Solving -- Simulation and Formal Methods in Systems Design and Engineering -- Models of Co-operative Engineering Systems. |
| Record Nr. | UNISA-996465665703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Computer Aided Systems Theory - EUROCAST'99 : 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 : 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 2011 [[electronic resource] ] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia
| Computer Aided Systems Theory -- EUROCAST 2011 [[electronic resource] ] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (637 p. 276 illus.) |
| Disciplina | 003.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Pattern recognition systems Computer vision Image processing—Digital techniques Computer-aided engineering Computer Modelling Artificial Intelligence Automated Pattern Recognition Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-642-27579-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465904303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Systems Theory -- EUROCAST 2011 [[electronic resource] ] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia
| Computer Aided Systems Theory -- EUROCAST 2011 [[electronic resource] ] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I / / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XXV, 637 p.) |
| Disciplina | 003.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Pattern recognition systems Computer vision Image processing—Digital techniques Computer-aided engineering Computer Modelling Artificial Intelligence Automated Pattern Recognition Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-642-27549-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465907303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Systems Theory -- EUROCAST 2013 [[electronic resource] ] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia
| Computer Aided Systems Theory -- EUROCAST 2013 [[electronic resource] ] : 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XXIV, 540 p. 268 illus.) : online resource |
| Disciplina | 003.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer simulation
Artificial intelligence Pattern recognition systems Computer vision Image processing—Digital techniques Computer-aided engineering Computer Modelling Artificial Intelligence Automated Pattern Recognition Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN | 3-642-53862-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process modeling simulation and system optimization -- Mobile and autonomous transportation systems -- Computer vision, sensing, image processing and medical applications -- Computer-based methods and virtual reality for clinical and academic medicine -- Digital signal processing methods and applications -- Mechatronic systems, robotics and marine robots -- Mobile computing platforms and technologies -- Systems applications. |
| Record Nr. | UNISA-996465587003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
