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.
The ACM journal of experimental algorithmics
The ACM journal of experimental algorithmics
Pubbl/distr/stampa New York, : ACM
Disciplina 004
Soggetto topico Computer algorithms
Data structures (Computer science)
Algorithms
Algorismes
Algorismes computacionals
Estructures de dades (Informàtica)
Soggetto genere / forma Periodicals.
Revistes electròniques.
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti Journal of experimental algorithmics
JEA
ACM JEA
Association for Computing Machinery journal of experimental algorithmics
Record Nr. UNINA-9910376057303321
New York, : ACM
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algorithms with JULIA : optimization, machine learning, and differential Equations using the JULIA language / / Clemens Heitzinger
Algorithms with JULIA : optimization, machine learning, and differential Equations using the JULIA language / / Clemens Heitzinger
Autore Heitzinger Clemens
Pubbl/distr/stampa Cham, Switzerland : , : Springer International Publishing, , [2023]
Descrizione fisica 1 online resource (447 pages)
Disciplina 005.1
Soggetto topico Computer algorithms
Julia (Computer program language)
Algorismes computacionals
Soggetto genere / forma Llibres electrònics
ISBN 9783031165603
9783031165597
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910634042203321
Heitzinger Clemens  
Cham, Switzerland : , : Springer International Publishing, , [2023]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algorithms with JULIA : optimization, machine learning, and differential Equations using the JULIA language / / Clemens Heitzinger
Algorithms with JULIA : optimization, machine learning, and differential Equations using the JULIA language / / Clemens Heitzinger
Autore Heitzinger Clemens
Pubbl/distr/stampa Cham, Switzerland : , : Springer International Publishing, , [2023]
Descrizione fisica 1 online resource (447 pages)
Disciplina 005.1
Soggetto topico Computer algorithms
Julia (Computer program language)
Algorismes computacionals
Soggetto genere / forma Llibres electrònics
ISBN 9783031165603
9783031165597
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996503551003316
Heitzinger Clemens  
Cham, Switzerland : , : Springer International Publishing, , [2023]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Ant colony optimization and applications / / Stefka Fidanova
Ant colony optimization and applications / / Stefka Fidanova
Autore Fidanova Stefka <1964->
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2021]
Descrizione fisica 1 online resource (135 pages) : illustrations
Disciplina 519.3
Collana Studies in Computational Intelligence
Soggetto topico Computational intelligence
Algorismes computacionals
Investigació operativa
Intel·ligència computacional
Soggetto genere / forma Llibres electrònics
ISBN 3-030-67380-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910484772503321
Fidanova Stefka <1964->  
Cham, Switzerland : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Applications of flower pollination algorithm and its variants / / editor, Nilanjan Dey
Applications of flower pollination algorithm and its variants / / editor, Nilanjan Dey
Pubbl/distr/stampa Singapore : , : Springer, , [2021]
Descrizione fisica 1 online resource (247 pages) : illustrations
Disciplina 518.1
Collana Springer Tracts in Nature-Inspired Computing
Soggetto topico Algorithms
Swarm intelligence
Computational intelligence
Algorismes computacionals
Intel·ligència computacional
Soggetto genere / forma Llibres electrònics
ISBN 981-336-104-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Contents -- Editor and Contributors -- 1 Flower Pollination Algorithm: Basic Concepts, Variants, and Applications -- 1 Introduction -- 2 Biological Inspirations: Pollination of Flowering Plants -- 3 Flower Pollination Optimization Algorithm (FPA) -- 3.1 Global Search in FPA: Biotic Pollination Process -- 3.2 Local Search in FPA: Abiotic Pollination Process -- 3.3 Switch Probability in FPA -- 3.4 Parametric Study for FPA -- 3.5 Implementation of FPA -- 3.6 Advantages of FPA -- 4 Variants of FPA -- 4.1 Multi-objective Flower Pollination Algorithm (MOFPA) -- 4.2 Modified Flower Pollination Algorithms (M-FPA) -- 4.3 Hybridized Variants of FPA -- 5 Applications of FPA and Its Variants -- 6 Comparative Analytical Studies of FPA and its Variants -- 7 Limitations of FPA -- 8 Challenging Problems in FPA -- 9 Conclusions -- References -- 2 Optimization of Non-rigid Demons Registration Using Flower Pollination Algorithm -- 1 Introduction -- 2 Methodology -- 2.1 Demons Registration -- 2.2 Flower Pollination Algorithm -- 3 Proposed Method -- 4 Results and Discussion -- 5 Conclusion -- References -- 3 Adaptive Neighbor Heuristics Flower Pollination Algorithm Strategy for Sequence Test Generation -- 1 Introduction -- 2 T-way Tests Generation Problem -- 2.1 T-way Tests Generation -- 2.2 Sequence t-way Tests Generation -- 3 Related Works -- 4 Adaptive Neighbor Heuristics Flower Pollination Algorithm Strategy -- 5 Experimental Results -- 5.1 Benchmarking with Existing Strategies -- 5.2 Convergence Rate Analysis -- 6 Summary -- References -- 4 Implementation of Flower Pollination Algorithm to the Design Optimization of Planar Antennas -- 1 Introduction -- 2 Flower Pollination Algorithm -- 2.1 Pollination Phenomenon -- 2.2 Modeling of Flower Pollination Algorithm -- 3 The Cooperating Platform for Simulation and Optimization of the Antenna Designs.
3.1 The Cooperating Platform -- 3.2 S-parameters -- 3.3 Cooperation of FPA and the Simulator -- 4 The Optimized Designs of Planar Antennas -- 4.1 UWB Antenna Design -- 4.2 Dual BN Characteristic Optimization of the UWB Antenna -- 4.3 Single UWB Antenna Element for a Quad-Element MIMO Antenna -- 4.4 Quad-Element MIMO Antenna -- 5 Conclusions -- References -- 5 Flower Pollination Algorithm for Slope Stability Analysis -- 1 Introduction -- 2 Problem Statement -- 2.1 Generation of Trial Slip Surface -- 2.2 Calculation of Factor of Safety -- 2.3 Application of Optimization Method -- 3 Flower Pollination Algorithm -- 4 Numerical Analysis -- 4.1 Sensitivity Analysis -- 4.2 Case-1 -- 4.3 Case-2 -- 4.4 Case-3 -- 5 Discussion and Conclusions -- References -- 6 Optimum Sizing of Truss Structures Using a Hybrid Flower Pollinations -- 1 Introduction -- 2 Sizing Optimization Problem -- 3 Optimization Algorithms -- 3.1 Flower Pollination Algorithm -- 3.2 Differential Evolution -- 3.3 Hybrid Flower Pollination-Differential Evolution -- 4 Numerical Experiments and Results -- 5 10-Bar Planar Truss -- 5.1 17-Bar Planar Truss -- 5.2 45-Bar Planar Truss -- 6 Conclusion -- References -- 7 Optimizing Reinforced Cantilever Retaining Walls Under Dynamic Loading Using Improved Flower Pollination Algorithm -- 1 Introduction -- 2 Design Steps of Reinforced Retaining Walls -- 2.1 Geometrical Design Variables -- 2.2 Geotechnical Stability of Reinforced Cantilever Retaining Walls -- 2.3 Structural Constraints for Reinforced Cantilever Retaining Walls -- 3 Optimum Design of Reinforced Concrete Cantilever Retaining Walls -- 3.1 Objective Function -- 4 Optimization Algorithms -- 4.1 Flower Pollination Algorithm -- 4.2 Improved Flower Pollination Algorithm -- 5 Numerical Experiments -- 5.1 Example 1 -- 5.2 Example 2 -- 6 Conclusions -- References.
8 Multi-objective Flower Pollination Algorithm and Its Variants to Find Optimal Golomb Rulers for WDM Systems -- 1 Introduction -- 2 Optimal Golomb Rulers (OGRs) -- 3 Multi-objective Flower Pollination Algorithm and Its Variants -- 3.1 Multi-objective Flower Pollination Algorithm -- 3.2 Variants of Multi-objective Flower Pollination Algorithm -- 4 Problem Formulation -- 5 Results and Discussion -- 5.1 Comparative Study of Flower Pollination-Inspired MOAs in Terms of the Ruler Length and Total Occupied Unequally Spaced Optical Channel Bandwidth -- 5.2 Comparative Study of Flower Pollination-Inspired MOAs in Terms of BEF -- 5.3 Comparative Study of Flower Pollination-Inspired MOAs in Terms of Computational CPU Time -- 5.4 Maximum Computation Complexity of Flower Pollination-Inspired MOAs in Terms of Big O Notation -- 5.5 Wilcoxon Rank-Sum Test of Flower Pollination-Inspired MOAs -- 6 Conclusions -- References -- 9 Applications of Flower Pollination Algorithm in Wireless Sensor Networking and Image Processing: A Detailed Study -- 1 Introduction -- 2 Swarm Intelligence Algorithm -- 2.1 Bat Algorithm -- 2.2 Firefly Algorithm -- 2.3 Particle Swarm Optimization -- 2.4 Artificial Bee Colony Algorithm -- 2.5 Cuckoo Search Algorithm -- 3 Flower Pollination Algorithm -- 3.1 Flower Pollination -- 3.2 The Flower Pollination Algorithm (FPA) -- 3.3 Variants of Flower Pollination Algorithm (FPA) -- 4 Wireless Sensor Networks -- 4.1 Impact of Flower Pollination Algorithm in Wireless Sensor Networking -- 5 Image Processing -- 5.1 Impact of Flower Pollination Algorithm in Image Processing -- 6 Discussion -- 7 Conclusion -- References -- 10 Flower Pollination Algorithm Tuned PID Controller for Multi-source Interconnected Multi-area Power System -- 1 Introduction -- 2 Power System Investigation -- 2.1 Proportional Integral Derivative (PID) Controller.
3 Flower Pollination Algorithm Tuned PID Controller -- 4 Result Analysis and Discussions -- 5 Conclusions -- References.
Record Nr. UNINA-9910767581903321
Singapore : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Black box optimization, machine learning, and no-free lunch theorems / / Panos M. Pardalos, Varvara Rasskazova, Michael N. Vrahatis, editors
Black box optimization, machine learning, and no-free lunch theorems / / Panos M. Pardalos, Varvara Rasskazova, Michael N. Vrahatis, editors
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2021]
Descrizione fisica 1 online resource (393 pages)
Disciplina 006.31
Collana Springer Optimization and Its Applications
Soggetto topico Machine learning - Mathematics
Aprenentatge automàtic
Optimització matemàtica
Algorismes computacionals
Soggetto genere / forma Llibres electrònics
ISBN 3-030-66515-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Contents -- Learning Enabled Constrained Black-Box Optimization -- 1 Introduction -- 2 Constrained Black-Box Optimization -- 3 The Basic Probabilistic Framework -- 3.1 Gaussian Processes -- 3.2 GP-Based Optimization -- 4 Constrained Bayesian Optimization -- 5 Constrained Bayesian Optimization for Partially Defined Objective Functions -- 6 Software for the Generation of Constrained Test Problems -- 6.1 Emmental-Type GKLS Generator -- 7 Conclusions -- References -- Black-Box Optimization: Methods and Applications -- 1 Introduction -- 2 Overview of BBO Methods -- 2.1 Direct Search Methods -- 2.1.1 Simplex Search -- 2.1.2 Coordinate Search -- 2.1.3 Generalized Pattern Search -- 2.1.4 Mesh Adaptive Direct Search -- 2.2 Model-Based Methods -- 2.2.1 Model-Based Trust Region -- 2.2.2 Projection-Based Methods -- 2.3 Heuristic Methods -- 2.3.1 DIRECT -- 2.3.2 Multilevel Coordinate Search -- 2.3.3 Hit-and-Run algorithms -- 2.3.4 Simulated Annealing -- 2.3.5 Genetic Algorithm -- 2.3.6 Particle Swarm Optimization -- 2.3.7 Surrogate Management Framework -- 2.3.8 Branch and Fit -- 2.4 Hybrid Methods -- 2.5 Extension to Constrained Problems -- 2.5.1 Penalty Method -- 2.5.2 Augmented Lagrangian -- 2.5.3 Filter Method -- 2.5.4 Surrogate Modeling -- 3 BBO Solvers -- 4 Recent Applications -- 4.1 Automatic Machine Learning -- 4.2 Optimization Solvers -- 4.3 Fluid Mechanics -- 4.4 Oilfield Development and Operations -- 4.5 Chemical and Biochemical Engineering -- 5 Open Problems and Future Research Directions -- References -- Tuning Algorithms for Stochastic Black-Box Optimization: State of the Art and Future Perspectives -- 1 Introduction -- 2 Tuning: Strategies -- 2.1 Key Topics -- 2.2 Stochastic Optimization Algorithms -- 2.3 Algorithm Tuning -- 2.4 Example: Grefenstette's Study of Control Parameters for Genetic Algorithms.
2.5 No Free Lunch Theorems -- 2.6 Tuning for Deterministic Algorithms -- 3 Test Sets -- 3.1 Test Functions -- 3.2 Application Domains -- 3.2.1 Tuning in Industry -- 3.2.2 Energy -- 3.2.3 Water Industry -- 3.2.4 Steel Industry -- 3.2.5 Automotive -- 3.2.6 Information Technology -- 4 Statistical Considerations -- 4.1 Experimental Setup -- 4.2 Design of Experiments -- 4.3 Measuring Performance -- 4.4 Reporting Results -- 5 Parallelization -- 5.1 Overview -- 5.2 Simplistic Approaches -- 5.3 Parallelization in Surrogate Model-Based Optimization -- 5.3.1 Uncertainty-Based Methods -- 5.3.2 Surrogate-Assisted Algorithms -- 6 Tuning Approaches -- 6.1 Overview -- 6.2 Manual Tuning -- 6.3 Automatic Tuning -- 6.4 Interactive Tuning -- 6.5 Internal Tuning -- 7 Tuning Software -- 7.1 Overview -- 7.2 IRACE -- 7.3 SPOT -- 7.4 SMAC -- 7.5 ParamILS -- 7.6 GGA -- 7.7 Usability and Availability of Tuning Software -- 7.8 Example: SPOT -- 8 Research Directions and Open Problems -- 9 Summary and Outlook -- References -- Quality-Diversity Optimization: A Novel Branch of Stochastic Optimization -- 1 Introduction -- 2 Problem Formulation -- 2.1 Collections of Solutions -- 2.2 How Do We Measure the Performance of a QD Algorithm? -- 3 Optimizing a Collection of Solutions -- 3.1 MAP-Elites -- 3.2 A Unified Framework -- 3.2.1 Containers -- 3.2.2 Selection Operators -- 3.2.3 Population Scores -- 3.3 Considerations of Quality-Diversity Optimization -- 4 Origins and Related Work -- 4.1 Searching for Diverse Behaviors -- 4.2 Connections to Multimodal Optimization -- 4.3 Connections to Multitask Optimization -- 5 Current Topics -- 5.1 Expensive Objective Functions -- 5.2 High-Dimensional Feature Space -- 5.3 Learning the Behavior Descriptor -- 5.4 Improving Variation Operators -- 5.5 Noisy Functions -- 6 Conclusion -- References.
Multi-Objective Evolutionary Algorithms: Past, Present, and Future -- 1 Introduction -- 2 Basic Concepts -- 3 The Past -- 3.1 Non-Elitist Non-Pareto Approaches -- 3.1.1 Linear Aggregating Functions -- 3.1.2 Vector Evaluated Genetic Algorithm (VEGA) -- 3.1.3 Lexicographic Ordering -- 3.1.4 Target-Vector Approaches -- 3.2 Non-Elitist Pareto-Based Approaches -- 3.2.1 Multi-Objective Genetic Algorithm (MOGA) -- 3.2.2 Nondominated Sorting Genetic Algorithm (NSGA) -- 3.2.3 Niched-Pareto Genetic Algorithm (NPGA) -- 3.3 Elitist Pareto-Based Approaches -- 3.3.1 The Strength Pareto Evolutionary Algorithm (SPEA) -- 3.3.2 The Pareto Archived Evolution Strategy (PAES) -- 3.3.3 The Nondominated Sorting Genetic Algorithm-II (NSGA-II) -- 4 The Present -- 4.1 Some Applications -- 5 The Future -- 6 Conclusions -- References -- Black-Box and Data-Driven Computation -- 1 Introduction -- 2 Black Box and Oracle -- 3 Reduction -- 4 Data-Driven Computation -- References -- Mathematically Rigorous Global Optimization and FuzzyOptimization -- 1 Introduction -- 2 Interval Analysis: Fundamentals and Philosophy -- 2.1 Overview -- 2.2 Interval Logic -- 2.3 Extensions -- 2.4 History and References -- 3 Fuzzy Sets: Fundamentals and Philosophy -- 3.1 Fuzzy Logic -- 3.2 A Brief History -- 4 The Branch and Bound Framework: Some Definitions and Details -- 5 Interval Technology: Some Details -- 5.1 Interval Newton Methods -- 5.2 Constraint Propagation -- 5.3 Relaxations -- 5.4 Interval Arithmetic Software -- 6 Fuzzy Technology: A Few Details -- 7 Conclusions -- References -- Optimization Under Uncertainty Explains Empirical Success of Deep Learning Heuristics -- 1 Formulation of the Problem -- 2 Why Rectified Linear Neurons Are Efficient: A Theoretical Explanation -- 3 Why Sigmoid Activation Functions -- 4 Selection of Poolings -- 5 Why Softmax -- 6 Which Averaging Should We Choose.
7 Proofs -- References -- Variable Neighborhood Programming as a Tool of Machine Learning -- 1 Introduction -- 2 Variable Neighborhood Search -- 3 Variable Neighborhood Programming -- 3.1 Solution Presentation -- 3.2 Neighborhood Structures -- 3.3 Elementary Tree Transformation in Automatic Programming -- 3.3.1 ETT in the Tree of an Undirected Graph -- 3.3.2 ETT in AP Tree -- 3.3.3 Bound on Cardinality of AP-ETT(T) -- 4 VNP for Symbolic Regression -- 4.1 Test Instances and Parameter Values -- 4.2 Comparison of BVNP with Other Methods -- 5 Life Expectancy Estimation as a Symbolic Regression Problem Solved by VNP: Case Study on Russian Districts -- 5.1 Life Expectancy Estimation as a Machine Learning Problem -- 5.2 VNP for Estimating Life Expectancy Problem -- 5.3 Case Study at Russian Districts -- 5.3.1 One-Attribute Analysis -- 5.3.2 Results and Discussion on 3-Attribute Data -- 5.4 Conclusions -- 6 Preventive Maintenance in Railway Planning as a Machine Learning Problem -- 6.1 Literature Review and Motivation -- 6.2 Reduced VNP for Solving the Preventive Maintenance Planning of Railway Infrastructure -- 6.2.1 Learning for Stage 1: Prediction -- 6.2.2 Learning for Stage 2: Classification -- 6.3 Computation Results -- 6.3.1 Prediction -- 6.3.2 Classification -- 6.4 Conclusions and Future Work -- 7 Conclusions -- References -- Non-lattice Covering and Quantization of High Dimensional Sets -- 1 Introduction -- 2 Weak Covering -- 2.1 Comparison of Designs from the View Point of Weak Covering -- 2.2 Reduction to the Probability of Covering a Point by One Ball -- 2.3 Designs of Theoretical Interest -- 3 Approximation of Cd(Zn,r) for Design 1 -- 3.1 Normal Approximation for PU,δ,α,r -- 3.2 Refined Approximation for PU,δ,α,r -- 3.3 Approximation for Cd(Zn,r) for Design 1 -- 4 Approximating Cd(Zn,r) for Design 2a -- 4.1 Normal Approximation for PU,δ,0,r.
4.2 Refined Approximation for PU,δ,0,r -- 4.3 Approximation for Cd(Zn,r) -- 5 Approximating Cd(Zn,r) for Design 2b -- 5.1 Establishing a Connection Between Sampling with and Without Replacement: General Case -- 5.2 Approximation of Cd(Zn,r) for Design 2b. -- 6 Numerical Study -- 6.1 Assessing Accuracy of Approximations of Cd(Zn,r) and Studying Their Dependence on δ -- 6.2 Comparison Across α -- 7 Quantization in a Cube -- 7.1 Quantization Error and Its Relation to Weak Covering -- 7.2 Quantization Error for Design 1 -- 7.3 Quantization Error for Design 2a -- 7.4 Quantization Error for Design 2b -- 7.5 Accuracy of Approximations for Quantization Error and the δ-Effect -- 8 Comparative Numerical Studies of Covering Properties for Several Designs -- 8.1 Covering Comparisons -- 8.2 Quantization Comparisons -- 9 Covering and Quantization in the d-Simplex -- 9.1 Characteristics of Interest -- 9.2 Numerical Investigation of the δ-Effect for d-Simplex -- 10 Appendix: An Auxiliary Lemma -- References -- Finding Effective SAT Partitionings Via Black-Box Optimization -- 1 Introduction -- 2 Preliminaries -- 2.1 Boolean Satisfiability Problem (SAT) -- 2.2 SAT-Based Cryptanalysis -- 3 Decomposition Sets and Backdoors in SAT with Application to Inversion of Discrete Functions -- 3.1 On Interconnection Between Plain Partitionings and Cryptographic Attacks -- 3.2 Using Monte Carlo Method to Estimate Runtime of SAT-Based Guess-and-Determine Attacks -- 4 Practical Aspects of Evaluating Effectiveness of SAT Partitionings -- 4.1 Narrowing Search Space to SUPBS -- 4.2 Applications of Incremental SAT Solving -- 4.3 Finding Partitionings via Incremental SAT -- 5 Employed Optimization Algorithms -- 6 Experimental Results -- 6.1 Considered Problems -- 6.2 Implementations of Objective Functions -- 6.3 Finding Effective SAT Partitionings.
6.4 Solving Hard SAT Instances via Found Partitionings.
Record Nr. UNISA-996466410203316
Cham, Switzerland : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Black box optimization, machine learning, and no-free lunch theorems / / Panos M. Pardalos, Varvara Rasskazova, Michael N. Vrahatis, editors
Black box optimization, machine learning, and no-free lunch theorems / / Panos M. Pardalos, Varvara Rasskazova, Michael N. Vrahatis, editors
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2021]
Descrizione fisica 1 online resource (393 pages)
Disciplina 006.31
Collana Springer Optimization and Its Applications
Soggetto topico Machine learning - Mathematics
Aprenentatge automàtic
Optimització matemàtica
Algorismes computacionals
Soggetto genere / forma Llibres electrònics
ISBN 3-030-66515-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Contents -- Learning Enabled Constrained Black-Box Optimization -- 1 Introduction -- 2 Constrained Black-Box Optimization -- 3 The Basic Probabilistic Framework -- 3.1 Gaussian Processes -- 3.2 GP-Based Optimization -- 4 Constrained Bayesian Optimization -- 5 Constrained Bayesian Optimization for Partially Defined Objective Functions -- 6 Software for the Generation of Constrained Test Problems -- 6.1 Emmental-Type GKLS Generator -- 7 Conclusions -- References -- Black-Box Optimization: Methods and Applications -- 1 Introduction -- 2 Overview of BBO Methods -- 2.1 Direct Search Methods -- 2.1.1 Simplex Search -- 2.1.2 Coordinate Search -- 2.1.3 Generalized Pattern Search -- 2.1.4 Mesh Adaptive Direct Search -- 2.2 Model-Based Methods -- 2.2.1 Model-Based Trust Region -- 2.2.2 Projection-Based Methods -- 2.3 Heuristic Methods -- 2.3.1 DIRECT -- 2.3.2 Multilevel Coordinate Search -- 2.3.3 Hit-and-Run algorithms -- 2.3.4 Simulated Annealing -- 2.3.5 Genetic Algorithm -- 2.3.6 Particle Swarm Optimization -- 2.3.7 Surrogate Management Framework -- 2.3.8 Branch and Fit -- 2.4 Hybrid Methods -- 2.5 Extension to Constrained Problems -- 2.5.1 Penalty Method -- 2.5.2 Augmented Lagrangian -- 2.5.3 Filter Method -- 2.5.4 Surrogate Modeling -- 3 BBO Solvers -- 4 Recent Applications -- 4.1 Automatic Machine Learning -- 4.2 Optimization Solvers -- 4.3 Fluid Mechanics -- 4.4 Oilfield Development and Operations -- 4.5 Chemical and Biochemical Engineering -- 5 Open Problems and Future Research Directions -- References -- Tuning Algorithms for Stochastic Black-Box Optimization: State of the Art and Future Perspectives -- 1 Introduction -- 2 Tuning: Strategies -- 2.1 Key Topics -- 2.2 Stochastic Optimization Algorithms -- 2.3 Algorithm Tuning -- 2.4 Example: Grefenstette's Study of Control Parameters for Genetic Algorithms.
2.5 No Free Lunch Theorems -- 2.6 Tuning for Deterministic Algorithms -- 3 Test Sets -- 3.1 Test Functions -- 3.2 Application Domains -- 3.2.1 Tuning in Industry -- 3.2.2 Energy -- 3.2.3 Water Industry -- 3.2.4 Steel Industry -- 3.2.5 Automotive -- 3.2.6 Information Technology -- 4 Statistical Considerations -- 4.1 Experimental Setup -- 4.2 Design of Experiments -- 4.3 Measuring Performance -- 4.4 Reporting Results -- 5 Parallelization -- 5.1 Overview -- 5.2 Simplistic Approaches -- 5.3 Parallelization in Surrogate Model-Based Optimization -- 5.3.1 Uncertainty-Based Methods -- 5.3.2 Surrogate-Assisted Algorithms -- 6 Tuning Approaches -- 6.1 Overview -- 6.2 Manual Tuning -- 6.3 Automatic Tuning -- 6.4 Interactive Tuning -- 6.5 Internal Tuning -- 7 Tuning Software -- 7.1 Overview -- 7.2 IRACE -- 7.3 SPOT -- 7.4 SMAC -- 7.5 ParamILS -- 7.6 GGA -- 7.7 Usability and Availability of Tuning Software -- 7.8 Example: SPOT -- 8 Research Directions and Open Problems -- 9 Summary and Outlook -- References -- Quality-Diversity Optimization: A Novel Branch of Stochastic Optimization -- 1 Introduction -- 2 Problem Formulation -- 2.1 Collections of Solutions -- 2.2 How Do We Measure the Performance of a QD Algorithm? -- 3 Optimizing a Collection of Solutions -- 3.1 MAP-Elites -- 3.2 A Unified Framework -- 3.2.1 Containers -- 3.2.2 Selection Operators -- 3.2.3 Population Scores -- 3.3 Considerations of Quality-Diversity Optimization -- 4 Origins and Related Work -- 4.1 Searching for Diverse Behaviors -- 4.2 Connections to Multimodal Optimization -- 4.3 Connections to Multitask Optimization -- 5 Current Topics -- 5.1 Expensive Objective Functions -- 5.2 High-Dimensional Feature Space -- 5.3 Learning the Behavior Descriptor -- 5.4 Improving Variation Operators -- 5.5 Noisy Functions -- 6 Conclusion -- References.
Multi-Objective Evolutionary Algorithms: Past, Present, and Future -- 1 Introduction -- 2 Basic Concepts -- 3 The Past -- 3.1 Non-Elitist Non-Pareto Approaches -- 3.1.1 Linear Aggregating Functions -- 3.1.2 Vector Evaluated Genetic Algorithm (VEGA) -- 3.1.3 Lexicographic Ordering -- 3.1.4 Target-Vector Approaches -- 3.2 Non-Elitist Pareto-Based Approaches -- 3.2.1 Multi-Objective Genetic Algorithm (MOGA) -- 3.2.2 Nondominated Sorting Genetic Algorithm (NSGA) -- 3.2.3 Niched-Pareto Genetic Algorithm (NPGA) -- 3.3 Elitist Pareto-Based Approaches -- 3.3.1 The Strength Pareto Evolutionary Algorithm (SPEA) -- 3.3.2 The Pareto Archived Evolution Strategy (PAES) -- 3.3.3 The Nondominated Sorting Genetic Algorithm-II (NSGA-II) -- 4 The Present -- 4.1 Some Applications -- 5 The Future -- 6 Conclusions -- References -- Black-Box and Data-Driven Computation -- 1 Introduction -- 2 Black Box and Oracle -- 3 Reduction -- 4 Data-Driven Computation -- References -- Mathematically Rigorous Global Optimization and FuzzyOptimization -- 1 Introduction -- 2 Interval Analysis: Fundamentals and Philosophy -- 2.1 Overview -- 2.2 Interval Logic -- 2.3 Extensions -- 2.4 History and References -- 3 Fuzzy Sets: Fundamentals and Philosophy -- 3.1 Fuzzy Logic -- 3.2 A Brief History -- 4 The Branch and Bound Framework: Some Definitions and Details -- 5 Interval Technology: Some Details -- 5.1 Interval Newton Methods -- 5.2 Constraint Propagation -- 5.3 Relaxations -- 5.4 Interval Arithmetic Software -- 6 Fuzzy Technology: A Few Details -- 7 Conclusions -- References -- Optimization Under Uncertainty Explains Empirical Success of Deep Learning Heuristics -- 1 Formulation of the Problem -- 2 Why Rectified Linear Neurons Are Efficient: A Theoretical Explanation -- 3 Why Sigmoid Activation Functions -- 4 Selection of Poolings -- 5 Why Softmax -- 6 Which Averaging Should We Choose.
7 Proofs -- References -- Variable Neighborhood Programming as a Tool of Machine Learning -- 1 Introduction -- 2 Variable Neighborhood Search -- 3 Variable Neighborhood Programming -- 3.1 Solution Presentation -- 3.2 Neighborhood Structures -- 3.3 Elementary Tree Transformation in Automatic Programming -- 3.3.1 ETT in the Tree of an Undirected Graph -- 3.3.2 ETT in AP Tree -- 3.3.3 Bound on Cardinality of AP-ETT(T) -- 4 VNP for Symbolic Regression -- 4.1 Test Instances and Parameter Values -- 4.2 Comparison of BVNP with Other Methods -- 5 Life Expectancy Estimation as a Symbolic Regression Problem Solved by VNP: Case Study on Russian Districts -- 5.1 Life Expectancy Estimation as a Machine Learning Problem -- 5.2 VNP for Estimating Life Expectancy Problem -- 5.3 Case Study at Russian Districts -- 5.3.1 One-Attribute Analysis -- 5.3.2 Results and Discussion on 3-Attribute Data -- 5.4 Conclusions -- 6 Preventive Maintenance in Railway Planning as a Machine Learning Problem -- 6.1 Literature Review and Motivation -- 6.2 Reduced VNP for Solving the Preventive Maintenance Planning of Railway Infrastructure -- 6.2.1 Learning for Stage 1: Prediction -- 6.2.2 Learning for Stage 2: Classification -- 6.3 Computation Results -- 6.3.1 Prediction -- 6.3.2 Classification -- 6.4 Conclusions and Future Work -- 7 Conclusions -- References -- Non-lattice Covering and Quantization of High Dimensional Sets -- 1 Introduction -- 2 Weak Covering -- 2.1 Comparison of Designs from the View Point of Weak Covering -- 2.2 Reduction to the Probability of Covering a Point by One Ball -- 2.3 Designs of Theoretical Interest -- 3 Approximation of Cd(Zn,r) for Design 1 -- 3.1 Normal Approximation for PU,δ,α,r -- 3.2 Refined Approximation for PU,δ,α,r -- 3.3 Approximation for Cd(Zn,r) for Design 1 -- 4 Approximating Cd(Zn,r) for Design 2a -- 4.1 Normal Approximation for PU,δ,0,r.
4.2 Refined Approximation for PU,δ,0,r -- 4.3 Approximation for Cd(Zn,r) -- 5 Approximating Cd(Zn,r) for Design 2b -- 5.1 Establishing a Connection Between Sampling with and Without Replacement: General Case -- 5.2 Approximation of Cd(Zn,r) for Design 2b. -- 6 Numerical Study -- 6.1 Assessing Accuracy of Approximations of Cd(Zn,r) and Studying Their Dependence on δ -- 6.2 Comparison Across α -- 7 Quantization in a Cube -- 7.1 Quantization Error and Its Relation to Weak Covering -- 7.2 Quantization Error for Design 1 -- 7.3 Quantization Error for Design 2a -- 7.4 Quantization Error for Design 2b -- 7.5 Accuracy of Approximations for Quantization Error and the δ-Effect -- 8 Comparative Numerical Studies of Covering Properties for Several Designs -- 8.1 Covering Comparisons -- 8.2 Quantization Comparisons -- 9 Covering and Quantization in the d-Simplex -- 9.1 Characteristics of Interest -- 9.2 Numerical Investigation of the δ-Effect for d-Simplex -- 10 Appendix: An Auxiliary Lemma -- References -- Finding Effective SAT Partitionings Via Black-Box Optimization -- 1 Introduction -- 2 Preliminaries -- 2.1 Boolean Satisfiability Problem (SAT) -- 2.2 SAT-Based Cryptanalysis -- 3 Decomposition Sets and Backdoors in SAT with Application to Inversion of Discrete Functions -- 3.1 On Interconnection Between Plain Partitionings and Cryptographic Attacks -- 3.2 Using Monte Carlo Method to Estimate Runtime of SAT-Based Guess-and-Determine Attacks -- 4 Practical Aspects of Evaluating Effectiveness of SAT Partitionings -- 4.1 Narrowing Search Space to SUPBS -- 4.2 Applications of Incremental SAT Solving -- 4.3 Finding Partitionings via Incremental SAT -- 5 Employed Optimization Algorithms -- 6 Experimental Results -- 6.1 Considered Problems -- 6.2 Implementations of Objective Functions -- 6.3 Finding Effective SAT Partitionings.
6.4 Solving Hard SAT Instances via Found Partitionings.
Record Nr. UNINA-9910483695503321
Cham, Switzerland : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer algebra : an algorithm-oriented introduction / / Wolfram Koepf
Computer algebra : an algorithm-oriented introduction / / Wolfram Koepf
Autore Koepf Wolfram
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2021]
Descrizione fisica 1 online resource (394 pages)
Disciplina 512.0285
Collana Springer Undergraduate Texts in Mathematics and Technology
Soggetto topico Algebra - Data processing
Computer science - Mathematics
Àlgebra
Processament de dades
Algorismes computacionals
Soggetto genere / forma Llibres electrònics
ISBN 3-030-78017-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Contents -- Chapter 1 Introduction to Computer Algebra -- 1.1 Capabilities of Computer Algebra Systems -- 1.2 Additional Remarks -- 1.3 Exercises -- Chapter 2 Programming in Computer Algebra Systems -- 2.1 Internal Representation of Expressions -- 2.2 Pattern Matching -- 2.3 Control Structures -- 2.4 Recursion and Iteration -- 2.5 Remember Programming -- 2.6 Divide-and-Conquer Programming -- 2.7 Programming through Pattern Matching -- 2.8 Additional Remarks -- 2.9 Exercises -- Chapter 3 Number Systems and Integer Arithmetic -- 3.1 Number Systems -- 3.2 Integer Arithmetic: Addition and Multiplication -- 3.3 Integer Arithmetic: Division with Remainder -- 3.4 The Extended Euclidean Algorithm -- 3.5 Unique Factorization -- 3.6 Rational Arithmetic -- 3.7 Additional Remarks -- 3.8 Exercises -- Chapter 4 Modular Arithmetic -- 4.1 Residue Class Rings -- 4.2 Modulare Square Roots -- 4.3 Chinese Remainder Theorem -- 4.4 Fermat's Little Theorem -- 4.5 Modular Logarithms -- 4.6 Pseudoprimes -- 4.7 Additional Remarks -- 4.8 Exercises -- Chapter 5 Coding Theory and Cryptography -- 5.1 Basic Concepts of Coding Theory -- 5.2 Prefix Codes -- 5.3 Check Digit Systems -- 5.4 Error Correcting Codes -- 5.5 Asymmetric Ciphers -- 5.6 Additional Remarks -- 5.7 Exercises -- Chapter 6 Polynomial Arithmetic -- 6.1 Polynomial Rings -- 6.2 Multiplication: The Karatsuba Algorithm -- 6.3 Fast Multiplication with FFT -- 6.4 Division with Remainder -- 6.5 Polynomial Interpolation -- 6.6 The Extended Euclidean Algorithm -- 6.7 Unique Factorization -- 6.8 Squarefree Factorization -- 6.9 Rational Functions -- 6.10 Additional Remarks -- 6.11 Exercises -- Chapter 7 Algebraic Numbers -- 7.1 Polynomial Quotient Rings -- 7.2 Chinese Remainder Theorem -- 7.3 Algebraic Numbers -- 7.4 Finite Fields -- 7.5 Resultants -- 7.6 Polynomial Systems of Equations.
7.7 Additional Remarks -- 7.8 Exercises -- Chapter 8 Factorization in Polynomial Rings -- 8.1 Preliminary Considerations -- 8.2 Efficient Factorization in Zp[x] -- 8.3 Squarefree Factorization of Polynomials over Finite Fields -- 8.4 Efficient Factorization in Q[x] -- 8.5 Hensel Lifting -- 8.6 Multivariate Factorization -- 8.7 Additional Remarks -- 8.8 Exercises -- Chapter 9 Simplification and Normal Forms -- 9.1 Normal Forms and Canonical Forms -- 9.2 Normal Forms and Canonical Forms for Polynomials -- 9.3 Normal Forms for Rational Functions -- 9.4 Normal Forms for Trigonometric Polynomials -- 9.5 Additional Remarks -- 9.6 Exercises -- Chapter 10 Power Series -- 10.1 Formal Power Series -- 10.2 Taylor Polynomials -- 10.3 Computation of Formal Power Series -- 10.3.1 Holonomic Differential Equations -- 10.3.2 Holonomic Recurrence Equations -- 10.3.3 Hypergeometric Functions -- 10.3.4 Efficient Computation of Taylor Polynomials of Holonomic Functions -- 10.4 Algebraic Functions -- 10.5 Implicit Functions -- 10.6 Additional Remarks -- 10.7 Exercises -- Chapter 11 Algorithmic Summation -- 11.1 Definite Summation -- 11.2 Difference Calculus -- 11.3 Indefinite Summation -- 11.4 Indefinite Summation of Hypergeometric Terms -- 11.5 Definite Summation of Hypergeometric Terms -- 11.6 Additional Remarks -- 11.7 Exercises -- Chapter 12 Algorithmic Integration -- 12.1 The Bernoulli Algorithm for Rational Functions -- 12.2 Algebraic Prerequisites -- 12.3 Rational Part -- 12.4 Logarithmic Case -- 12.5 Additional Remarks -- 12.6 Exercises -- References -- List of Symbols -- Mathematica List of Keywords -- Index.
Record Nr. UNISA-996466389303316
Koepf Wolfram  
Cham, Switzerland : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Vision : Algorithms and Applications / / by Richard Szeliski
Computer Vision : Algorithms and Applications / / by Richard Szeliski
Autore Szeliski Richard <1958->
Edizione [2nd ed. 2022.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Descrizione fisica 1 online resource (925 pages)
Disciplina 006.37
Collana Texts in Computer Science
Soggetto topico Computer vision
Image processing - Digital techniques
Machine learning
Signal processing
Materials - Analysis
Imaging systems
Computer Vision
Computer Imaging, Vision, Pattern Recognition and Graphics
Machine Learning
Signal, Speech and Image Processing
Imaging Techniques
Visió per ordinador
Processament d'imatges
Algorismes computacionals
Soggetto genere / forma Llibres electrònics
ISBN 9783030343729
9783030343712
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1 Introduction -- 2 Image Formation -- 3 Image Processing -- 4 Model Fitting and Optimization -- 5 Deep Learning -- 6 Recognition -- 7 Feature Detection and Matching -- 8 Image Alignment and Stitching -- 9 Motion Estimation -- 10 Computational Photography -- 11 Structure from Motion and SLAM -- 12 Depth Estimation -- 13 3D Reconstruction -- 14 Image-Based Rendering -- 15 Conclusion -- Appendix A: Linear Algebra and Numerical Techniques -- Appendix B: Bayesian Modeling and Inference -- Appendix C: Supplementary Material.
Record Nr. UNINA-9910523760803321
Szeliski Richard <1958->  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
IoT as a service : 6th EAI international conference, IoTaaS 2020, Xi'an, China, november 19-20, 2020, proceedings / / Editor, Bo Li [and three others]
IoT as a service : 6th EAI international conference, IoTaaS 2020, Xi'an, China, november 19-20, 2020, proceedings / / Editor, Bo Li [and three others]
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2021]
Descrizione fisica 1 online resource (XIV, 807 p. 421 illus., 298 illus. in color.)
Disciplina 004.6
Collana Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Soggetto topico Algorismes computacionals
Intel·ligència computacional
Xarxes de sensors sense fil
Artificial intelligence
Computers
Computer networks
Soggetto genere / forma Congressos
Llibres electrònics
ISBN 3-030-67514-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Algorithm and Information For Wireless Network -- Approximation of DAC Codeword Distribution for Equiprobable Binary Sources along Proper Decoding Paths -- Research on Multi-UAV Swarm Control Based on Olfati-Saber Algorithm with Variable Speed Virtual Leader -- Resource Joint Allocation Scheme based on Network Slicing under C-RAN Architecture -- Optimal Thresholds for Differential Energy Detection of Ambient Backscatter Communication -- Resource Allocation for Multi-UAV Assisted Energy-Efficient IoT Communications With Co-Channel Interference -- Correlation Based Secondary Users Selection for Cooperative Spectrum Sensing Network -- The Design Methodology for MAC Strategies and Protocols -- Supporting Ultra-low Delay Services in Next Generation IEEE 802.11 WLAN -- ction for multimode sensors in Wireless Sensor Network -- ricing Based Resource Allocation Algorithm in Wireless Aeronautics Network Virtualization -- Access algorithm in software-defined satellite network -- A Low-Loss Strategy for Network Function Virtualization Multicast Optimization -- A Deployment Method Based on Artificial Bee Colony Algorithm for UAV-Mounted Base Stations -- Edge Intelligence and Computing For IoT Communications And Applications -- 13 Trajectory Optimization for UAV-Aided Data Collections -- Design and Implementation of MCU-Based Reconfigurable Protocol Conversion Module for Heterogeneous Sensor Networks -- FPGA-based Neural Network Acceleration for Handwritten Digit Recognition -- Edge Computing based Two-Stage Emergency Braking in Autonomous Driving -- Cache Resource Allocation in D2D Multi-Layer Social Network Enhanced Frame Break Mechanism for ALOHA-Based RFID Anti-Collision Algorithm -- Improved Intelligent Semantics based Chinese Sentence Similarity Computing for Natural Language Processing in IoT -- Statistical Feature Aided Intelligent Deep Learning Machine Translation in Internet of Things -- An automated method of identifying incorrectly labelled images based on the sequences of loss functions of deep learning networks -- Low-Latency Method and Architecture for 5G Packet-Based Fronthaul Networks -- 23 Automated Cataracts Screening from Slit-lamp Images Employing Deep Learning -- System & Hardware A Flowchart based Finite State Machine Design and Implementation Method for FPGA -- A Distributed Reservation and Contention Combined TDMA Protocol for Wireless Avionics Intra-Communication Networks -- The automation tool development for aircraft cockpit display systems verification in part of text data -- Design of ‘floating, medium and sinking’ pressure simulation system for remote reduction of pulse condition in TCM -- A Flexible and Scalable Localization System for off-the-shelf LoRa Devices -- Research on Optical-electrical Path Mapping strategy of Space Hybrid Switches -- Algorithm for multipath interference restraint based on blind source separation in Passive GNSS-Based bistatic Radar Multi-kernel and Multi-task Learning for Radar Target Recognition Information topology control technology of cluster satellite network -- Smart Home Security System Using Biometric Recognitions -- Internet of Things in the Game of Basketball Next Generation Network -- 35 Object Recognition Through UAV Observations Based on Yolo and Generative Adversarial Network -- Soft Channel Reservation towards Latency Guarantee for the Next Generation WLAN: IEEE 802.11be -- The methodology of the optimal four-dimensional route searching for a decision support system providing solutions for four-dimensional navigation -- Multi-list design and FPGA implementation method of OLSR routing protocol -- Improvement of Contact Graph Routing Algorithm in LEO Satellite DTN Network -- Double-Threshold-Based Massive Random Access Protocol for Heterogeneous MTC Networks -- IP addressing and address management of space-based network based on geographical division -- A Convolutional Neural Network Approach for Stratigraphic Interface Detection -- A Deep Neural Network based Feature Learning Method for Well Log Interpretation -- Trust Prediction Model based on Deep Learning in Social Internet of Things -- An alarm system based on neural network algorithm for detection of falls in the elderly -- Satellite Communication Networks for Internet of Things -- The Intelligent Routing Control Strategy based on Deep Learning -- Distributed Opportunistic Channel Access with Optimal Single Relay under Delay Constraints -- Distributed Opportunistic Channel Access under Single-bit CSI Feedback Spectrum Allocation Algorithm for Energy-Constrained UAV in Interweave Cognitive IoT Network Based on Satellite Coverage -- Edge Network Extension Based on Multi-Domains Fusion and LEO Satellite -- Completion of Marine Wireless Sensor Monitoring Data Based on Tensor Mode-n Rank and Tucker Operator -- Belief Propagation-based Joint Iterative Detection and Decoding Algorithm for Asynchronous IDMA Satellite Systems -- Modulation Pattern Recognition Based on Wavelet Approximate Coefficient Entropy -- A new message passing algorithm based on sphere decoding improvement -- A Novel Codebook Design Scheme for Sparse Code Multiple Access -- Multi-View Polarization HRRP Target Recognition Based on Convolutional Neural Network -- Millimeter-Wave Communications With Beamforming for UAV-Assisted Railway Monitoring System -- Improved Pulse Shaping Algorithm for Reducing PAPR in OFDM System -- Image and Information -- Information Optimization for Image Screening and Transmission in Aerial Detection -- Method of Quality Assessment for BOC Navigation Signal based on multi-correlation receiver -- Satellite Navigation Software Receiver Design -- A Novel Pansharpening Method with Multi-scale Mutual-structure Perception -- A New Fusion Method for Remote Sensing Images.
Record Nr. UNISA-996464489503316
Cham, Switzerland : , : Springer, , [2021]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui