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 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 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 | ||
| ||
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 | ||
| ||
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 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 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 | ||
| ||
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 | ||
| ||