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.
Biological and Artificial Computation: From Neuroscience to Technology [[electronic resource] ] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / / edited by Jose Mira, Roberto Moreno-Diaz, Joan Cabestany
| Biological and Artificial Computation: From Neuroscience to Technology [[electronic resource] ] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / / edited by Jose Mira, Roberto Moreno-Diaz, Joan Cabestany |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XLII, 1406 p. 856 illus.) |
| Disciplina | 006.3/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Artificial intelligence Computational complexity Neurosciences Computer communication systems Animal physiology Computation by Abstract Devices Artificial Intelligence Complexity Computer Communication Networks Animal Physiology |
| ISBN | 3-540-69074-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Microcircuits in the brain -- Some reflections on the relationships between neuroscience and computation -- Different types of temporal correlations obtained in pairs of thalamic visual neurons suggest different functional patterns of connectivity -- Development of on-off and off-on receptive fields using a semistochastic model -- The classification of spatial, chromatic, and intensity features of simple visual stimuli by a network of retinal ganglion cells -- Geometric model of orientation tuning dynamics in striate neurons -- Neuronal circuitry in the medial cerebral cortex of lizards -- Interactions between environmental and hormonal oscillations induce plastic changes in a simple neuroendocrine transducer -- Current Source Density analysis as a tool to constrain the parameter space in hippocampal CA1 neuron models -- Spontaneous activity of hippocampal cells in various physiological states -- Neural network model of striatal complex -- Symmetry and self-organization of the oculomotor neural integrator -- Quantal neural mechanisms underlying movement execution and motor learning -- A model of cerebellar saccadic motor learning using qualitative reasoning -- Balance between intercellular coupling and input resistance as a necessary requirement for oscillatory electrical activity in pancreatic ?-cells -- Mechanisms of synchronization in the hippocampus and its role along development -- Analysis of synfire chains above saturation -- Allometry in the Justo Gonzalo's model of the sensorial cortex -- Systems models of retinal cells: A classical example -- A generic formulation of neural nets as a model of parallel and self-programming computation -- Using an artificial neural network for studying the interneuronal layer of a leech neuronal circuit -- Capacity and parasitic fixed points control in a recursive neural network -- The use of prior knowledge in neural network configuration and training -- A model for heterogeneous neurons and its use in configuring neural networks for classification problems -- A computation theory for orientation-selective simple cells based on the MAP estimation principle and Markov random fields -- Competition between feed-forward and lateral information processing in layered neural networks -- Computing functions with spiking neurons in temporal coding -- An introduction to Fuzzy State Automata -- Statistical analysis of regularization constant — From Bayes, MDL and NIC points of view -- Building digital libraries from paper documents, using ART based neuro-fuzzy systems -- Parallelization of connectionist models based on a symbolic formalism -- Generic neural network model and simulation toolkit -- A neural-fuzzy technique for interpolating spatial data via the use of learning curve -- Task decomposition based on class relations: A modular neural network architecture for pattern classification -- Lower bounds of computational power of a synaptic calculus -- Feed Forward Neural Network entities -- Astrocytes and slow learning in the formation of distal cortical associations -- Adaptation and other dynamic effects on neural signal transfer -- Hebbian learning in networks of spiking neurons using temporal coding -- An associative learning model for coupled neural oscillators -- Random perturbations to Hebbian synapses of associative memory using a genetic algorithm -- Phase memory in oscillatory networks -- Strategies for autonomous adaptation and learning in dynamical networks -- Modeling the parallel development of multiple featuremaps and topography in visual cortex -- Stability and hebbian learning in populations of probabilistic neurons -- Stochastic approximation techniques and circuits and systems associated tools for neural network optimization -- Recursive hetero-associative memories for translation -- Universal Binary and Multi-Valued Neurons paradigm: Conception, learning, applications -- Learning a Markov process with a synchronous Boltzmann machine -- The ?-EM algorithm: A block connectable generalized leaning tool for neural networks -- Training simple recurrent networks through gradient descent algorithms -- On simultaneous weight and architecture learning -- Evolution of structure and learning — A GP approach -- Self-organizing formation of receptive fields and competitive systems -- Optimizing a neural network architecture with an adaptive parameter genetic algorithm -- Self-organizing symbolic learned rules -- Viewing a class of neurodynamics on parameter space -- Hopfield neural network applied to optimization problems: Some theoretical and simulation results -- A genetic approach to computing Independent And Parallelism in logic programs -- Predicting toxicity of complex mixtures by artificial neural networks -- Regularisation by Convolution in Symmetric-?-Stable function networks -- Continuation of chaotic fields by RBFNN -- Improving the performance of Piecewise linear Separation incremental algorithms for practical hardware implementations -- Accurate decomposition of standard MLP classification responses into symbolic rules -- A hybrid intelligent system for the pre-processing of Fetal Heart rate signals in antenatal testing -- The pattern extraction architecture: A connectionist alternative to the von Neumann architecture -- A two-level heterogeneous hybrid model -- Interpretation of a hierarchical neural network -- Cognitive processes in social interactions — A neural networks' approach -- Adding phase to recurrent backpropagation networks: An application to binding tasks in vision -- Schema-based learning: Biologically inspired principles of dynamic organization -- Digital connectionist hardware: Current problems and future challenges -- EpsiloNN — A specification language for the efficient parallel simulation of neural networks -- Forward-backward building blocks for evolving neural networks with intrinsic learning behaviours -- A cascade network algorithm employing Progressive RPROP -- Tight bounds on the size of neural networks for classification problems -- On the possibilities of the limited precision weights neural networks in classification problems -- A modified backpropagation algorithm to tolerate weight errors -- A high performance SOFM hardware-system -- On application incentive and constraints for neural network hardware development -- A fast Kohonen net implementation for spert-II -- Synthesis and optimization of a bit-serial pipeline kernel processor -- A hardware implementation of CNNs based on Pulse Stream Techniques -- Evaluation of the CNAPS neuro-computer for the simulation of MLPS with receptive fields -- AFAN, a tool for the automatic design of fuzzy and neural controllers -- A fully stochastic fuzzy logic controller -- Multi-Neural Networks hardware and software architecture: Application of the divide to simplify paradigm DTS -- A fuzzy controller for switching regulators with programmable control surfaces -- The Kohonen algorithm: A powerful tool for analysing and representing multidimensional quantitative and qualitative data -- Constrained neural network for estimating sensor reliability in sensors fusion -- Statistical analysis of the main parameters in the definition of Radial Basis Function networks -- Structural level comparison of two basic paradigms in neural computation -- Symmetry: Between indecision and equality of choice -- A non-convergent on-line training algorithm for neural networks -- Using classical and evolutive neural models in industrial applications: A case study for an automatic Coin Classifier -- A new type of unsupervised growing neural network for biological sequence classification that adopts the topology of a phylogenetic tree -- Classification of the onset of respiratory difficulties in ventilation assisted neonates -- A neural network approach for symbolic interpretation in critical care -- ECG beat classification with synaptic delay based artificial neural networks -- Neural network-based insulin infusion control for an insulin-pump, using discontinuous blood glucose measurements -- Infraclinic breast carcinoma: Application of neural networks techniques for the indication of radioguided biopsias -- Detection of Glaucoma by means of ANNs -- A comparative analysis of the neonatal prognosis problem using artificial neural networks, statistical techniques and certainty management techniques -- Models of visual processing derived from cortical microelectrode recordings -- Rotation invariant IR object recognition using adaptive kernel subspace projections with a neural network -- Neural networks based projectivity invariant recognition of flat patterns -- The instant laboratory: Bringing intelligence to the workfloor -- A biological front-end processing for speech recognition -- Non parametric coding of speech by means of a MLP with hints -- Gray-level object segmentation with a network of FitzHugh-Nagumo oscillators -- Multidimensional filtering inspired by retino-cortical projection: Application to texture segmentation -- A competitive neural network for blind separation of sources based on geometric properties -- A new bio-inspired algorithm for early vision edge detection and image segmentation -- Function of biological asymmetrical neural networks -- Identification of spectral features as sound localization cues in the external ear acoustics -- Phoneme recognition by means of predictive neural networks -- Shift-invariant fuzzy-morphology neural network for occluded target recognition -- A comparative study between linear and nonlinear speech prediction -- Recognition model with extension fields -- A GA-optimized neural network for classification of biological particles from electron-microscopy images -- Application of artificial neural networks to the design and implementation of electronic olfactory systems -- Application of a multilayer discrete-time CNN to deformable models -- Spoken-digit recognition using self-organizing maps with perceptual pre-processing -- Noise discrimination . |
| Record Nr. | UNISA-996465383703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Biological and Artificial Computation: From Neuroscience to Technology [[electronic resource] ] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / / edited by Jose Mira, Roberto Moreno-Diaz, Joan Cabestany
| Biological and Artificial Computation: From Neuroscience to Technology [[electronic resource] ] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / / edited by Jose Mira, Roberto Moreno-Diaz, Joan Cabestany |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (XLII, 1406 p. 856 illus.) |
| Disciplina | 006.3/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Artificial intelligence Computational complexity Neurosciences Computer networks Physiology Computation by Abstract Devices Artificial Intelligence Complexity Computer Communication Networks Animal Physiology |
| ISBN | 3-540-69074-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Microcircuits in the brain -- Some reflections on the relationships between neuroscience and computation -- Different types of temporal correlations obtained in pairs of thalamic visual neurons suggest different functional patterns of connectivity -- Development of on-off and off-on receptive fields using a semistochastic model -- The classification of spatial, chromatic, and intensity features of simple visual stimuli by a network of retinal ganglion cells -- Geometric model of orientation tuning dynamics in striate neurons -- Neuronal circuitry in the medial cerebral cortex of lizards -- Interactions between environmental and hormonal oscillations induce plastic changes in a simple neuroendocrine transducer -- Current Source Density analysis as a tool to constrain the parameter space in hippocampal CA1 neuron models -- Spontaneous activity of hippocampal cells in various physiological states -- Neural network model of striatal complex -- Symmetry and self-organization of the oculomotor neural integrator -- Quantal neural mechanisms underlying movement execution and motor learning -- A model of cerebellar saccadic motor learning using qualitative reasoning -- Balance between intercellular coupling and input resistance as a necessary requirement for oscillatory electrical activity in pancreatic ?-cells -- Mechanisms of synchronization in the hippocampus and its role along development -- Analysis of synfire chains above saturation -- Allometry in the Justo Gonzalo's model of the sensorial cortex -- Systems models of retinal cells: A classical example -- A generic formulation of neural nets as a model of parallel and self-programming computation -- Using an artificial neural network for studying the interneuronal layer of a leech neuronal circuit -- Capacity and parasitic fixed points control in a recursive neural network -- The use of prior knowledge in neural network configuration and training -- A model for heterogeneous neurons and its use in configuring neural networks for classification problems -- A computation theory for orientation-selective simple cells based on the MAP estimation principle and Markov random fields -- Competition between feed-forward and lateral information processing in layered neural networks -- Computing functions with spiking neurons in temporal coding -- An introduction to Fuzzy State Automata -- Statistical analysis of regularization constant — From Bayes, MDL and NIC points of view -- Building digital libraries from paper documents, using ART based neuro-fuzzy systems -- Parallelization of connectionist models based on a symbolic formalism -- Generic neural network model and simulation toolkit -- A neural-fuzzy technique for interpolating spatial data via the use of learning curve -- Task decomposition based on class relations: A modular neural network architecture for pattern classification -- Lower bounds of computational power of a synaptic calculus -- Feed Forward Neural Network entities -- Astrocytes and slow learning in the formation of distal cortical associations -- Adaptation and other dynamic effects on neural signal transfer -- Hebbian learning in networks of spiking neurons using temporal coding -- An associative learning model for coupled neural oscillators -- Random perturbations to Hebbian synapses of associative memory using a genetic algorithm -- Phase memory in oscillatory networks -- Strategies for autonomous adaptation and learning in dynamical networks -- Modeling the parallel development of multiple featuremaps and topography in visual cortex -- Stability and hebbian learning in populations of probabilistic neurons -- Stochastic approximation techniques and circuits and systems associated tools for neural network optimization -- Recursive hetero-associative memories for translation -- Universal Binary and Multi-Valued Neurons paradigm: Conception, learning, applications -- Learning a Markov process with a synchronous Boltzmann machine -- The ?-EM algorithm: A block connectable generalized leaning tool for neural networks -- Training simple recurrent networks through gradient descent algorithms -- On simultaneous weight and architecture learning -- Evolution of structure and learning — A GP approach -- Self-organizing formation of receptive fields and competitive systems -- Optimizing a neural network architecture with an adaptive parameter genetic algorithm -- Self-organizing symbolic learned rules -- Viewing a class of neurodynamics on parameter space -- Hopfield neural network applied to optimization problems: Some theoretical and simulation results -- A genetic approach to computing Independent And Parallelism in logic programs -- Predicting toxicity of complex mixtures by artificial neural networks -- Regularisation by Convolution in Symmetric-?-Stable function networks -- Continuation of chaotic fields by RBFNN -- Improving the performance of Piecewise linear Separation incremental algorithms for practical hardware implementations -- Accurate decomposition of standard MLP classification responses into symbolic rules -- A hybrid intelligent system for the pre-processing of Fetal Heart rate signals in antenatal testing -- The pattern extraction architecture: A connectionist alternative to the von Neumann architecture -- A two-level heterogeneous hybrid model -- Interpretation of a hierarchical neural network -- Cognitive processes in social interactions — A neural networks' approach -- Adding phase to recurrent backpropagation networks: An application to binding tasks in vision -- Schema-based learning: Biologically inspired principles of dynamic organization -- Digital connectionist hardware: Current problems and future challenges -- EpsiloNN — A specification language for the efficient parallel simulation of neural networks -- Forward-backward building blocks for evolving neural networks with intrinsic learning behaviours -- A cascade network algorithm employing Progressive RPROP -- Tight bounds on the size of neural networks for classification problems -- On the possibilities of the limited precision weights neural networks in classification problems -- A modified backpropagation algorithm to tolerate weight errors -- A high performance SOFM hardware-system -- On application incentive and constraints for neural network hardware development -- A fast Kohonen net implementation for spert-II -- Synthesis and optimization of a bit-serial pipeline kernel processor -- A hardware implementation of CNNs based on Pulse Stream Techniques -- Evaluation of the CNAPS neuro-computer for the simulation of MLPS with receptive fields -- AFAN, a tool for the automatic design of fuzzy and neural controllers -- A fully stochastic fuzzy logic controller -- Multi-Neural Networks hardware and software architecture: Application of the divide to simplify paradigm DTS -- A fuzzy controller for switching regulators with programmable control surfaces -- The Kohonen algorithm: A powerful tool for analysing and representing multidimensional quantitative and qualitative data -- Constrained neural network for estimating sensor reliability in sensors fusion -- Statistical analysis of the main parameters in the definition of Radial Basis Function networks -- Structural level comparison of two basic paradigms in neural computation -- Symmetry: Between indecision and equality of choice -- A non-convergent on-line training algorithm for neural networks -- Using classical and evolutive neural models in industrial applications: A case study for an automatic Coin Classifier -- A new type of unsupervised growing neural network for biological sequence classification that adopts the topology of a phylogenetic tree -- Classification of the onset of respiratory difficulties in ventilation assisted neonates -- A neural network approach for symbolic interpretation in critical care -- ECG beat classification with synaptic delay based artificial neural networks -- Neural network-based insulin infusion control for an insulin-pump, using discontinuous blood glucose measurements -- Infraclinic breast carcinoma: Application of neural networks techniques for the indication of radioguided biopsias -- Detection of Glaucoma by means of ANNs -- A comparative analysis of the neonatal prognosis problem using artificial neural networks, statistical techniques and certainty management techniques -- Models of visual processing derived from cortical microelectrode recordings -- Rotation invariant IR object recognition using adaptive kernel subspace projections with a neural network -- Neural networks based projectivity invariant recognition of flat patterns -- The instant laboratory: Bringing intelligence to the workfloor -- A biological front-end processing for speech recognition -- Non parametric coding of speech by means of a MLP with hints -- Gray-level object segmentation with a network of FitzHugh-Nagumo oscillators -- Multidimensional filtering inspired by retino-cortical projection: Application to texture segmentation -- A competitive neural network for blind separation of sources based on geometric properties -- A new bio-inspired algorithm for early vision edge detection and image segmentation -- Function of biological asymmetrical neural networks -- Identification of spectral features as sound localization cues in the external ear acoustics -- Phoneme recognition by means of predictive neural networks -- Shift-invariant fuzzy-morphology neural network for occluded target recognition -- A comparative study between linear and nonlinear speech prediction -- Recognition model with extension fields -- A GA-optimized neural network for classification of biological particles from electron-microscopy images -- Application of artificial neural networks to the design and implementation of electronic olfactory systems -- Application of a multilayer discrete-time CNN to deformable models -- Spoken-digit recognition using self-organizing maps with perceptual pre-processing -- Noise discrimination . |
| Record Nr. | UNINA-9910144921203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| 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 | ||
| ||
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
Computers, Special purpose 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 2009 : 12th international conference, Las Palmas De Gran Canaria, Spain, February 15-20, 2009 : revised selected papers / / Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia (eds.)
| Computer aided systems theory -- EUROCAST 2009 : 12th international conference, Las Palmas De Gran Canaria, Spain, February 15-20, 2009 : revised selected papers / / Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVII, 950 p.) |
| Disciplina | 620.00420285 |
| Altri autori (Persone) |
Moreno-DiazRoberto
PichlerFranz, Ing., Dr. phil Quesada ArencibiaAlexis |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer-aided design
Computer-aided engineering System analysis System theory |
| 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. |
| Altri titoli varianti | EUROCAST 2009 |
| Record Nr. | UNINA-9910483439403321 |
| Berlin ; ; New York, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer aided systems theory--EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers / / Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.)
| Computer aided systems theory--EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers / / Roberto Moreno Diaz, Franz Pichler, Alexis Quesada Arencibia (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, N.Y., : Springer, 2005 |
| Descrizione fisica | 1 online resource (XIV, 634 p.) |
| Disciplina | 620/.00420285 |
| Altri autori (Persone) |
Moreno-DiazRoberto
PichlerFranz, Ing., Dr. phil Quesada ArencibiaAlexis |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer-aided engineering
Computer-aided design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine -- Optimization of a Class of Uncertain Systems Based on Uncertain Variables -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams -- Theory-Building with System Dynamics: Principles and Practices -- Ontology Integration for Statistical Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations in the Calculus of Constructions -- Longest Sorted Sequence Algorithm for Parallel Text Alignment -- Information Retrieval and Large Text Structured Corpora -- Meteorological Image Descriptors -- Towards a Certified and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling Correction on Technical Documents -- Verification of Language Based Fault-Tolerance -- Applying Stacking and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements -- Integrating Syntactic Information by Means of Data Fusion Techniques -- Unsupervised Learning in Information Retrieval Using NOW Architectures -- An Iterative Method for Mining Frequent Temporal Patterns -- Information Applications Components -- Data Mining with Scatter Search -- Web Usage Mining Project for Improving Web-Based Learning Sites -- Similarity Queries in Data Bases Using Metric Distances – from Modeling Semantics to Its Maintenance -- A WEB-CASE Tool Prototype for Hybrid Software Development -- An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems -- The Gaps of the Thesaurus Wordnet Used in Information Retrieval -- Fuzzy Adaptive Objects (Logic of Monitors) -- A Model-Based Architecture for Fuzzy Temporal Diagnosis -- Extension of Ontologies Assisted by Automated Reasoning Systems -- A Software Architecture for Effective Document Identifier Reassignment -- An Ontology for Reusing Synthetic Tasks -- A Tractable Subclass of Fuzzy Constraint Networks -- Parallel State Space Generation and Exploration on Shared-Memory Architectures -- Towards Automated Controlling of Human Projectworking Based on Multiagent Systems -- Cryptography and Spectral Analysis -- Tree-Structured Legendre Multi-wavelets -- Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams -- A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines -- An Excellent Permutation Operator for Cryptographic Applications -- Fault Cryptanalysis of ElGamal Signature Scheme -- Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions -- Algorithm for Proving the Knowledge of an Independent Vertex Set -- Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers -- Protocol Analysis for Concrete Environments -- Computer Vision -- Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems -- Image Processing Techniques for Braille Writing Recognition -- Retinal Based Authentication via Distributed Web Application -- Skeleton Extraction of 2D Objects Using Shock Wavefront Detection -- Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions -- Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm -- Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment -- Biocomputing -- A Wiener Neuronal Model with Refractoriness -- On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential -- Feedback Effects in Simulated Stein’s Coupled Neurons -- Upcrossing First Passage Times for Correlated Gaussian Processes -- Convergence of Iterations -- Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography -- Parallel Progressive Multiple Sequence Alignment -- Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina -- Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System -- Intelligent Vehicular Sytems -- Soft Computing and Geometrical Control for Computer Aided Driving -- A Monocular Solution to Vision-Based ACC in Road Vehicles -- Multi-objective Dynamic Optimization for Automatic Parallel Parking -- Electric Power Steering Automation for Autonomous Driving -- Computer Vision Application: Real Time Smart Traffic Light -- Permanency Memories in Scene Depth Analysis -- Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision -- Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles -- Robotic Soccer, Robotics and Control -- Advances in Robotics -- Current and Future Trends and Challenges in Robot Soccer -- Strategy and Communication in Robotic Soccer Game -- Rete Algorithm Applied to Robotic Soccer -- Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems -- A Controller Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots -- Global Modal Logics for Multiagent Systems: A Logical Fibering Approach -- Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems -- Hierarchical Control of a Distributed Solar Collector Field -- Explanatory Analysis of Data from a Distributed Solar Collector Field. |
| Altri titoli varianti | EUROCAST 2005 |
| Record Nr. | UNINA-9910484064303321 |
| Berlin ; ; New York, N.Y., : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||