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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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] | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||