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.
Advances in Computation and Intelligence [[electronic resource] ] : Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Advances in Computation and Intelligence [[electronic resource] ] : Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Edizione [1st ed. 2007.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica 1 online resource (XVII, 666 p.)
Disciplina 006.3
Collana Theoretical Computer Science and General Issues
Soggetto topico Artificial intelligence
Computer science
Data mining
Computer simulation
Image processing—Digital techniques
Computer vision
Bioinformatics
Artificial Intelligence
Models of Computation
Data Mining and Knowledge Discovery
Computer Modelling
Computer Imaging, Vision, Pattern Recognition and Graphics
Computational and Systems Biology
ISBN 3-540-74581-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Multiobjective Evolutionary Optimization -- A New Evolutionary Decision Theory for Many-Objective Optimization Problems -- A Multi-Objective Genetic Algorithm Based on Density -- Interplanetary Trajectory Optimization with Swing-Bys Using Evolutionary Multi-objective Optimization -- A Hybrid Evolutionary Multi-objective and SQP Based Procedure for Constrained Optimization -- Study on Application of Multi-Objective Differential Evolution Algorithm in Space Rendezvous -- The Multi-objective ITO Algorithms -- An Evolutionary Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems with High Dimensional Objective Space -- Evolutionary Algorithms and Operators -- Operator Adaptation in Evolutionary Programming -- A Comparison of GAs Using Penalizing Infeasible Solutions and Repairing Infeasible Solutions on Average Capacity Knapsack -- About the Limit Behaviors of the Transition Operators Associated with EAs -- Differential Evolution Algorithm Based on Simulated Annealing -- A Novel Memetic Algorithm for Global Optimization Based on PSO and SFLA -- Building on Success in Genetic Programming: Adaptive Variation and Developmental Evaluation -- A Granular Evolutionary Algorithm Based on Cultural Evolution -- A Self-adaptive Mutations with Multi-parent Crossover Evolutionary Algorithm for Solving Function Optimization Problems -- Evolutionary Optimization -- A Quantum Genetic Simulated Annealing Algorithm for Task Scheduling -- Optimized Research of Resource Constrained Project Scheduling Problem Based on Genetic Algorithms -- An Evolutionary Agent System for Mathematical Programming -- Agent-Based Coding GA and Application to Combat Modeling and Simulation -- A Two-Stage Genetic Algorithm for the Multi-multicast Routing -- A Novel Lower-Dimensional-Search Algorithm for Numerical Optimization -- Performance Evaluation of Three Kinds of Quantum Optimization -- An Efficient Multilevel Algorithm for Inverse Scattering Problem -- Evolutionary Learning -- A New Evolutionary Neural Network and Its Application for the Extraction of Vegetation Anomalies -- Dynamic System Evolutionary Modeling: The Case of SARS in Beijing -- An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG Chromosome -- Neural Networks -- Zhang Neural Network for Online Solution of Time-Varying Sylvester Equation -- A Global Optimization Algorithm Based on Novel Interval Analysis for Training Neural Networks -- Approximate Interpolation by Neural Networks with the Inverse Multiquadric Functions -- Decomposition Mixed Pixel of Remote Sensing Image Based on Tray Neural Network Model -- A Novel Kernel Clustering Algorithm Based Selective Neural Network Ensemble Model for Economic Forecasting -- An Evolutionary Neural Network Based Tracking Control of a Human Arm in the Sagittal Plane -- Ant Colony, Particle Swarm Optimization and Artificial Immune Systems -- New Ant Colony Optimization for Optimum Multiuser Detection Problem in DS-CDMA Systems -- A Fast Particle Swarm Optimization Algorithm with Cauchy Mutation and Natural Selection Strategy -- Fast Multi-swarm Optimization with Cauchy Mutation and Crossover Operation -- Particle Swarm Optimization Using Lévy Probability Distribution -- Re-diversification Based Particle Swarm Algorithm with Cauchy Mutation -- An Improved Multi-Objective Particle Swarm Optimization Algorithm -- Dynamic Population Size Based Particle Swarm Optimization -- An Improved Particle Swarm Optimization for Data Streams Scheduling on Heterogeneous Cluster -- A Steepest Descent Evolution Immune Algorithm for Multimodal Function Optimization -- A Hybrid Clonal Selection Algorithm Based on Multi-parent Crossover and Chaos Search -- Pattern Recognition -- Spatial Clustering Method Based on Cloud Model and Data Field -- Diversity Analysis of Information Pattern and Information Clustering Algorithm -- Instant Message Clustering Based on Extended Vector Space Model -- Continuous K-Nearest Neighbor Queries for Moving Objects -- Texture Classification of Aerial Image Based on Bayesian Networks with Hidden Nodes -- Human Motion Recognition Based on Hidden Markov Models -- Data Mining -- Parameter Setting for Evolutionary Latent Class Clustering -- Automatic Data Mining by Asynchronous Parallel Evolutionary Algorithms -- Texture Image Retrieval Based on Contourlet Coefficient Modeling with Generalized Gaussian Distribution -- Heterogeneous Spatial Data Mining Based on Grid -- A Clustering Scheme for Large High-Dimensional Document Datasets -- Intelligent Systems -- Self-tuning PID Control of Hydro-turbine Governor Based on Genetic Neural Networks -- Adaptive Rate Selection Scheme Based on Intelligent Learning Algorithm in Wireless LANs -- The Research on Generic Project Risk Element Network Transmission Parallel Computing Model -- On the Performance of Metamodel Assisted MOEA/D -- A High Precision OGC Web Map Service Retrieval Based on Capability Aware Spatial Search Engine -- Analysis of the Performance of Balance of Digital Multi-value Based on Chebyshev Chaotic Sequence -- The Transformation Between Fuzzy Cognitive Maps and a Class of Simplified Dynamical Cognitive Networks -- Evolutionary Design -- Cryptanalysis of Two-Round DES Using Genetic Algorithms -- A Novel Artistic Image Generation Technique: Making Relief Effects Through Evolution -- Data Genome: An Abstract Model for Data Evolution -- Intrinsic Evolution of Frequency Splitter with a New Analog EHW Platform -- Towards the Role of Heuristic Knowledge in EA -- Using Instruction Matrix Based Genetic Programming to Evolve Programs -- Fuzzy Pattern Rule Induction for Information Extraction -- An Orthogonal and Model Based Multiobjective Genetic Algorithm for LEO Regional Satellite Constellation Optimization.
Record Nr. UNISA-996465475403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advances in Computation and Intelligence [[electronic resource] ] : Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Advances in Computation and Intelligence [[electronic resource] ] : Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Edizione [1st ed. 2007.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica 1 online resource (XVII, 666 p.)
Disciplina 006.3
Collana Theoretical Computer Science and General Issues
Soggetto topico Artificial intelligence
Computer science
Data mining
Computer simulation
Image processing—Digital techniques
Computer vision
Bioinformatics
Artificial Intelligence
Models of Computation
Data Mining and Knowledge Discovery
Computer Modelling
Computer Imaging, Vision, Pattern Recognition and Graphics
Computational and Systems Biology
ISBN 3-540-74581-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Multiobjective Evolutionary Optimization -- A New Evolutionary Decision Theory for Many-Objective Optimization Problems -- A Multi-Objective Genetic Algorithm Based on Density -- Interplanetary Trajectory Optimization with Swing-Bys Using Evolutionary Multi-objective Optimization -- A Hybrid Evolutionary Multi-objective and SQP Based Procedure for Constrained Optimization -- Study on Application of Multi-Objective Differential Evolution Algorithm in Space Rendezvous -- The Multi-objective ITO Algorithms -- An Evolutionary Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems with High Dimensional Objective Space -- Evolutionary Algorithms and Operators -- Operator Adaptation in Evolutionary Programming -- A Comparison of GAs Using Penalizing Infeasible Solutions and Repairing Infeasible Solutions on Average Capacity Knapsack -- About the Limit Behaviors of the Transition Operators Associated with EAs -- Differential Evolution Algorithm Based on Simulated Annealing -- A Novel Memetic Algorithm for Global Optimization Based on PSO and SFLA -- Building on Success in Genetic Programming: Adaptive Variation and Developmental Evaluation -- A Granular Evolutionary Algorithm Based on Cultural Evolution -- A Self-adaptive Mutations with Multi-parent Crossover Evolutionary Algorithm for Solving Function Optimization Problems -- Evolutionary Optimization -- A Quantum Genetic Simulated Annealing Algorithm for Task Scheduling -- Optimized Research of Resource Constrained Project Scheduling Problem Based on Genetic Algorithms -- An Evolutionary Agent System for Mathematical Programming -- Agent-Based Coding GA and Application to Combat Modeling and Simulation -- A Two-Stage Genetic Algorithm for the Multi-multicast Routing -- A Novel Lower-Dimensional-Search Algorithm for Numerical Optimization -- Performance Evaluation of Three Kinds of Quantum Optimization -- An Efficient Multilevel Algorithm for Inverse Scattering Problem -- Evolutionary Learning -- A New Evolutionary Neural Network and Its Application for the Extraction of Vegetation Anomalies -- Dynamic System Evolutionary Modeling: The Case of SARS in Beijing -- An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG Chromosome -- Neural Networks -- Zhang Neural Network for Online Solution of Time-Varying Sylvester Equation -- A Global Optimization Algorithm Based on Novel Interval Analysis for Training Neural Networks -- Approximate Interpolation by Neural Networks with the Inverse Multiquadric Functions -- Decomposition Mixed Pixel of Remote Sensing Image Based on Tray Neural Network Model -- A Novel Kernel Clustering Algorithm Based Selective Neural Network Ensemble Model for Economic Forecasting -- An Evolutionary Neural Network Based Tracking Control of a Human Arm in the Sagittal Plane -- Ant Colony, Particle Swarm Optimization and Artificial Immune Systems -- New Ant Colony Optimization for Optimum Multiuser Detection Problem in DS-CDMA Systems -- A Fast Particle Swarm Optimization Algorithm with Cauchy Mutation and Natural Selection Strategy -- Fast Multi-swarm Optimization with Cauchy Mutation and Crossover Operation -- Particle Swarm Optimization Using Lévy Probability Distribution -- Re-diversification Based Particle Swarm Algorithm with Cauchy Mutation -- An Improved Multi-Objective Particle Swarm Optimization Algorithm -- Dynamic Population Size Based Particle Swarm Optimization -- An Improved Particle Swarm Optimization for Data Streams Scheduling on Heterogeneous Cluster -- A Steepest Descent Evolution Immune Algorithm for Multimodal Function Optimization -- A Hybrid Clonal Selection Algorithm Based on Multi-parent Crossover and Chaos Search -- Pattern Recognition -- Spatial Clustering Method Based on Cloud Model and Data Field -- Diversity Analysis of Information Pattern and Information Clustering Algorithm -- Instant Message Clustering Based on Extended Vector Space Model -- Continuous K-Nearest Neighbor Queries for Moving Objects -- Texture Classification of Aerial Image Based on Bayesian Networks with Hidden Nodes -- Human Motion Recognition Based on Hidden Markov Models -- Data Mining -- Parameter Setting for Evolutionary Latent Class Clustering -- Automatic Data Mining by Asynchronous Parallel Evolutionary Algorithms -- Texture Image Retrieval Based on Contourlet Coefficient Modeling with Generalized Gaussian Distribution -- Heterogeneous Spatial Data Mining Based on Grid -- A Clustering Scheme for Large High-Dimensional Document Datasets -- Intelligent Systems -- Self-tuning PID Control of Hydro-turbine Governor Based on Genetic Neural Networks -- Adaptive Rate Selection Scheme Based on Intelligent Learning Algorithm in Wireless LANs -- The Research on Generic Project Risk Element Network Transmission Parallel Computing Model -- On the Performance of Metamodel Assisted MOEA/D -- A High Precision OGC Web Map Service Retrieval Based on Capability Aware Spatial Search Engine -- Analysis of the Performance of Balance of Digital Multi-value Based on Chebyshev Chaotic Sequence -- The Transformation Between Fuzzy Cognitive Maps and a Class of Simplified Dynamical Cognitive Networks -- Evolutionary Design -- Cryptanalysis of Two-Round DES Using Genetic Algorithms -- A Novel Artistic Image Generation Technique: Making Relief Effects Through Evolution -- Data Genome: An Abstract Model for Data Evolution -- Intrinsic Evolution of Frequency Splitter with a New Analog EHW Platform -- Towards the Role of Heuristic Knowledge in EA -- Using Instruction Matrix Based Genetic Programming to Evolve Programs -- Fuzzy Pattern Rule Induction for Information Extraction -- An Orthogonal and Model Based Multiobjective Genetic Algorithm for LEO Regional Satellite Constellation Optimization.
Record Nr. UNINA-9910484513103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Evolvable Systems: From Biology to Hardware [[electronic resource] ] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Evolvable Systems: From Biology to Hardware [[electronic resource] ] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Edizione [1st ed. 2007.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica 1 online resource (XIV, 450 p.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer systems
Artificial intelligence
Computer science
Logic design
Computer simulation
Bioinformatics
Computer System Implementation
Artificial Intelligence
Theory of Computation
Logic Design
Computer Modelling
Computational and Systems Biology
ISBN 3-540-74626-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Digital Hardware Evolution -- An Online EHW Pattern Recognition System Applied to Sonar Spectrum Classification -- Design of Electronic Circuits Using a Divide-and-Conquer Approach -- Implementing Multi-VRC Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based on Multiplexer Module Array -- Estimating Array Connectivity and Applying Multi-output Node Structure in Evolutionary Design of Digital Circuits -- Research on the Online Evaluation Approach for the Digital Evolvable Hardware -- Research on Multi-objective On-Line Evolution Technology of Digital Circuit Based on FPGA Model -- Evolutionary Design of Generic Combinational Multipliers Using Development -- Analog Hardware Evolution -- Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming -- Research on Fault-Tolerance of Analog Circuits Based on Evolvable Hardware -- Analog Circuit Evolution Based on FPTA-2 -- Bio-inspired Systems -- Knowledge Network Management System with Medicine Self Repairing Strategy -- Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance -- Design on Operator-Based Reconfigurable Hardware Architecture and Cell Circuit -- Bio-inspired Systems with Self-developing Mechanisms -- Development of a Tiny Computer-Assisted Wireless EEG Biofeedback System -- Steps Forward to Evolve Bio-inspired Embryonic Cell-Based Electronic Systems -- Evolution of Polymorphic Self-checking Circuits -- Mechanical Hardware Evolution -- Sliding Algorithm for Reconfigurable Arrays of Processors -- System-Level Modeling and Multi-objective Evolutionary Design of Pipelined FFT Processors for Wireless OFDM Receivers -- Reducing the Area on a Chip Using a Bank of Evolved Filters -- Evolutionary Design -- Walsh Function Systems: The Bisectional Evolutional Generation Pattern -- Extrinsic Evolvable Hardware on the RISA Architecture -- Evolving and Analysing “Useful” Redundant Logic -- Adaptive Transmission Technique in Underwater Acoustic Wireless Communication -- Autonomous Robot Path Planning Based on Swarm Intelligence and Stream Functions -- Research on Adaptive System of the BTT-45 Air-to-Air Missile Based on Multilevel Hierarchical Intelligent Controller -- The Design of an Evolvable On-Board Computer -- Evolutionary Algorithms in Hardware Design -- Extending Artificial Development: Exploiting Environmental Information for the Achievement of Phenotypic Plasticity -- UDT-Based Multi-objective Evolutionary Design of Passive Power Filters of a Hybrid Power Filter System -- Designing Electronic Circuits by Means of Gene Expression Programming II -- Designing Polymorphic Circuits with Evolutionary Algorithm Based on Weighted Sum Method -- Robust and Efficient Multi-objective Automatic Adjustment for Optical Axes in Laser Systems Using Stochastic Binary Search Algorithm -- Minimization of the Redundant Sensor Nodes in Dense Wireless Sensor Networks -- Evolving in Extended Hamming Distance Space: Hierarchical Mutation Strategy and Local Learning Principle for EHW -- Hardware Implementation of Evolutionary Algorithms -- Adaptive and Evolvable Analog Electronics for Space Applications -- Improving Flexibility in On-Line Evolvable Systems by Reconfigurable Computing -- Evolutionary Design of Resilient Substitution Boxes: From Coding to Hardware Implementation -- A Sophisticated Architecture for Evolutionary Multiobjective Optimization Utilizing High Performance DSP -- FPGA-Based Genetic Algorithm Kernel Design -- Using Systolic Technique to Accelerate an EHW Engine for Lossless Image Compression.
Record Nr. UNISA-996466152403316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Evolvable Systems: From Biology to Hardware [[electronic resource] ] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Evolvable Systems: From Biology to Hardware [[electronic resource] ] : 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings / / edited by Sanyou Zeng
Edizione [1st ed. 2007.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica 1 online resource (XIV, 450 p.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer systems
Artificial intelligence
Computer science
Logic design
Computer simulation
Bioinformatics
Computer System Implementation
Artificial Intelligence
Theory of Computation
Logic Design
Computer Modelling
Computational and Systems Biology
ISBN 3-540-74626-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Digital Hardware Evolution -- An Online EHW Pattern Recognition System Applied to Sonar Spectrum Classification -- Design of Electronic Circuits Using a Divide-and-Conquer Approach -- Implementing Multi-VRC Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based on Multiplexer Module Array -- Estimating Array Connectivity and Applying Multi-output Node Structure in Evolutionary Design of Digital Circuits -- Research on the Online Evaluation Approach for the Digital Evolvable Hardware -- Research on Multi-objective On-Line Evolution Technology of Digital Circuit Based on FPGA Model -- Evolutionary Design of Generic Combinational Multipliers Using Development -- Analog Hardware Evolution -- Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming -- Research on Fault-Tolerance of Analog Circuits Based on Evolvable Hardware -- Analog Circuit Evolution Based on FPTA-2 -- Bio-inspired Systems -- Knowledge Network Management System with Medicine Self Repairing Strategy -- Design of a Cell in Embryonic Systems with Improved Efficiency and Fault-Tolerance -- Design on Operator-Based Reconfigurable Hardware Architecture and Cell Circuit -- Bio-inspired Systems with Self-developing Mechanisms -- Development of a Tiny Computer-Assisted Wireless EEG Biofeedback System -- Steps Forward to Evolve Bio-inspired Embryonic Cell-Based Electronic Systems -- Evolution of Polymorphic Self-checking Circuits -- Mechanical Hardware Evolution -- Sliding Algorithm for Reconfigurable Arrays of Processors -- System-Level Modeling and Multi-objective Evolutionary Design of Pipelined FFT Processors for Wireless OFDM Receivers -- Reducing the Area on a Chip Using a Bank of Evolved Filters -- Evolutionary Design -- Walsh Function Systems: The Bisectional Evolutional Generation Pattern -- Extrinsic Evolvable Hardware on the RISA Architecture -- Evolving and Analysing “Useful” Redundant Logic -- Adaptive Transmission Technique in Underwater Acoustic Wireless Communication -- Autonomous Robot Path Planning Based on Swarm Intelligence and Stream Functions -- Research on Adaptive System of the BTT-45 Air-to-Air Missile Based on Multilevel Hierarchical Intelligent Controller -- The Design of an Evolvable On-Board Computer -- Evolutionary Algorithms in Hardware Design -- Extending Artificial Development: Exploiting Environmental Information for the Achievement of Phenotypic Plasticity -- UDT-Based Multi-objective Evolutionary Design of Passive Power Filters of a Hybrid Power Filter System -- Designing Electronic Circuits by Means of Gene Expression Programming II -- Designing Polymorphic Circuits with Evolutionary Algorithm Based on Weighted Sum Method -- Robust and Efficient Multi-objective Automatic Adjustment for Optical Axes in Laser Systems Using Stochastic Binary Search Algorithm -- Minimization of the Redundant Sensor Nodes in Dense Wireless Sensor Networks -- Evolving in Extended Hamming Distance Space: Hierarchical Mutation Strategy and Local Learning Principle for EHW -- Hardware Implementation of Evolutionary Algorithms -- Adaptive and Evolvable Analog Electronics for Space Applications -- Improving Flexibility in On-Line Evolvable Systems by Reconfigurable Computing -- Evolutionary Design of Resilient Substitution Boxes: From Coding to Hardware Implementation -- A Sophisticated Architecture for Evolutionary Multiobjective Optimization Utilizing High Performance DSP -- FPGA-Based Genetic Algorithm Kernel Design -- Using Systolic Technique to Accelerate an EHW Engine for Lossless Image Compression.
Record Nr. UNINA-9910484314503321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui