top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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. UNINA-9910483459603321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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. UNINA-9910483439403321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer aided systems theory - EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 / / edited by Roberto Moreno-Díaz, Franz Pichler, and Alexis Quesada-Arencibia
Computer aided systems theory - EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 / / edited by Roberto Moreno-Díaz, Franz Pichler, and Alexis Quesada-Arencibia
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2023]
Descrizione fisica 1 online resource (668 pages)
Disciplina 016.403
Collana Lecture Notes in Computer Science
Soggetto topico Computer-aided design
Artificial intelligence
ISBN 3-031-25312-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Systems Theory and Applications -- Transdisciplinary Software Development for Early Crisis Detection -- Uncertainty and Ambiguity: Challenging Layers in Model Construction -- George J. Boole. A Nineteenth Century Man for the Modern Digital Era -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Theory and Applications of Metaheuristic Algorithms -- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing -- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints -- gate Modelling for MultiObjective Continuous Optimisation -- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization -- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance -- Dynamic Fitness Landscape Analysis -- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem -- Multi-day Container Drayage Problem with Active and Passive Vehicles -- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems -- A Mathematical Model and GRASP for a Tourist Trip Design Problem -- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters -- Shapley Value based Variable Interaction Networks for Data Stream Analysis -- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization -- Comparing Shape-Constrained Regression Algorithms for Data Validation -- Shape-constrained Symbolic Regression with NSGA-III -- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments -- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems.-Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification -- Model-Based System Design, Verification and Simulation -- Modeling Approaches for Cyber Attacks on Energy Infrastructure -- Simulation setup for a closed-loop regulation of neuro-muscular blockade -- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications -- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems -- Automata with Bounded Repetition in RE2 -- Integrating OSLC Services into Eclipse -- Developing an Application in the Forest for New Tourism Post COVID-19 -- GPU-Accelerated Synthesis of Probabilistic Programs -- Static Deadlock Detection in Low-Level C Code -- Applications of Signal Processing Technology -- 3D Ultrasound Fingertip Tracking -- An Artificial Skin from Conductive Rubber -- Neural Network Based Single-Carrier Frequency Domain Equalization -- Smooth Step Detection -- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen -- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- JKU-ITS Automobile for Research on Autonomous Vehicles -- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery -- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data -- Deep Learning Data Association Applied to Multi-Object Tracking Systems -- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment -- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings -- On Smart Mobility and Data Stream Mining -- Smart Vehicle Inspection -- Computer Vision, Machine Learning for Image Analysis and Applications -- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images -- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening -- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration -- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images -- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images -- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images -- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset -- Gait Recognition using 3D View-Transformation Model -- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles -- Drone Detection Using Deep Learning: A Benchmark Study -- Computer and Systems Based Methods and Electronic Technologies in Medicine -- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals -- A Comparison of Covariate Shift Detection Methods on Medical Datasets -- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery -- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts -- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection -- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster -- Designing sightseeing support system in Oku-Nikko using BLE beacon -- Systems in Industrial Robotics, Automation and IoT -- Mixed Reality HMI for Collaborative Robots -- A Digital Twin Demonstrator for Research and Teaching in Universities -- Robot System as a Testbed for AI Optimizations -- An Architecture for Deploying Reinforcement Learning in Industrial Environments -- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers -- Stepwise Sample Generation -- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs -- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems -- Improvements for mlrose Applied to the Traveling Salesperson Problem -- Survey on Radar Odometry -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Crisis Management in a Federation – Cybernetic Lessons from a Pandemic -- Using Archetypes to Teach Systems Thinking in an Engineering Master’s Course -- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.
Record Nr. UNINA-9910659492903321
Cham, Switzerland : , : Springer, , [2023]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer aided systems theory - EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 / / edited by Roberto Moreno-Díaz, Franz Pichler, and Alexis Quesada-Arencibia
Computer aided systems theory - EUROCAST 2022 : 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 / / edited by Roberto Moreno-Díaz, Franz Pichler, and Alexis Quesada-Arencibia
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2023]
Descrizione fisica 1 online resource (668 pages)
Disciplina 016.403
Collana Lecture Notes in Computer Science
Soggetto topico Computer-aided design
Artificial intelligence
ISBN 3-031-25312-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Systems Theory and Applications -- Transdisciplinary Software Development for Early Crisis Detection -- Uncertainty and Ambiguity: Challenging Layers in Model Construction -- George J. Boole. A Nineteenth Century Man for the Modern Digital Era -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Improvement of Electromagnetic Systems by Werner Von Siemens -- Theory and Applications of Metaheuristic Algorithms -- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing -- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints -- gate Modelling for MultiObjective Continuous Optimisation -- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization -- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance -- Dynamic Fitness Landscape Analysis -- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem -- Multi-day Container Drayage Problem with Active and Passive Vehicles -- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems -- A Mathematical Model and GRASP for a Tourist Trip Design Problem -- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters -- Shapley Value based Variable Interaction Networks for Data Stream Analysis -- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization -- Comparing Shape-Constrained Regression Algorithms for Data Validation -- Shape-constrained Symbolic Regression with NSGA-III -- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments -- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems.-Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification -- Model-Based System Design, Verification and Simulation -- Modeling Approaches for Cyber Attacks on Energy Infrastructure -- Simulation setup for a closed-loop regulation of neuro-muscular blockade -- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications -- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems -- Automata with Bounded Repetition in RE2 -- Integrating OSLC Services into Eclipse -- Developing an Application in the Forest for New Tourism Post COVID-19 -- GPU-Accelerated Synthesis of Probabilistic Programs -- Static Deadlock Detection in Low-Level C Code -- Applications of Signal Processing Technology -- 3D Ultrasound Fingertip Tracking -- An Artificial Skin from Conductive Rubber -- Neural Network Based Single-Carrier Frequency Domain Equalization -- Smooth Step Detection -- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen -- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed -- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility -- JKU-ITS Automobile for Research on Autonomous Vehicles -- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery -- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data -- Deep Learning Data Association Applied to Multi-Object Tracking Systems -- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment -- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings -- On Smart Mobility and Data Stream Mining -- Smart Vehicle Inspection -- Computer Vision, Machine Learning for Image Analysis and Applications -- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images -- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening -- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration -- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images -- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images -- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images -- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset -- Gait Recognition using 3D View-Transformation Model -- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles -- Drone Detection Using Deep Learning: A Benchmark Study -- Computer and Systems Based Methods and Electronic Technologies in Medicine -- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals -- A Comparison of Covariate Shift Detection Methods on Medical Datasets -- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery -- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts -- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection -- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster -- Designing sightseeing support system in Oku-Nikko using BLE beacon -- Systems in Industrial Robotics, Automation and IoT -- Mixed Reality HMI for Collaborative Robots -- A Digital Twin Demonstrator for Research and Teaching in Universities -- Robot System as a Testbed for AI Optimizations -- An Architecture for Deploying Reinforcement Learning in Industrial Environments -- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers -- Stepwise Sample Generation -- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs -- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems -- Improvements for mlrose Applied to the Traveling Salesperson Problem -- Survey on Radar Odometry -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Systems Thinking. Relevance for Technology, Science and Management Professionals -- Crisis Management in a Federation – Cybernetic Lessons from a Pandemic -- Using Archetypes to Teach Systems Thinking in an Engineering Master’s Course -- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.
Record Nr. UNISA-996511871403316
Cham, Switzerland : , : Springer, , [2023]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
Computer Aided Systems Theory – EUROCAST 2005 [[electronic resource] ] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia
Computer Aided Systems Theory – EUROCAST 2005 [[electronic resource] ] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XIV, 634 p.)
Disciplina 620.00420285
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer-aided engineering
Computer simulation
Artificial intelligence
Computer science
Microprocessors
Computer architecture
Machine theory
Computer-Aided Engineering (CAD, CAE) and Design
Computer Modelling
Artificial Intelligence
Computer Science Logic and Foundations of Programming
Processor Architectures
Formal Languages and Automata Theory
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.
Record Nr. UNISA-996465849103316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Aided Systems Theory – EUROCAST 2005 [[electronic resource] ] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia
Computer Aided Systems Theory – EUROCAST 2005 [[electronic resource] ] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers / / edited by Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada Arencibia
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XIV, 634 p.)
Disciplina 620.00420285
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer-aided engineering
Computer simulation
Artificial intelligence
Computer science
Microprocessors
Computer architecture
Machine theory
Computer-Aided Engineering (CAD, CAE) and Design
Computer Modelling
Artificial Intelligence
Computer Science Logic and Foundations of Programming
Processor Architectures
Formal Languages and Automata Theory
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.
Record Nr. UNINA-9910484064303321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui