NSTL国家科技图书文献中心

1. UAV path planning method in dynamic environments: an ant colony algorithm-based optimization study NSTL国家科技图书文献中心

Junchao Zhang | Yibin Hu ... - 《International Conference on Remote Sensing and Digital Earth (RSDE 2024)》 - International Conference on Remote Sensing and Digital Earth - 2025, - 135140P.1～135140P.6 - 共6页

摘要： superior to the traditional ACO* and A* algorithms in* | experiments have shown that the improved ACO* algorithm is* | Ant Colony Optimization (ACO) optimization. By | * algorithms perform well in static environments, but have | algorithms in practical applications.

关键词： UAV | Dynamic environment | Path planning | ACO | Intelligent optimization algorithm

2. Variational Quantum Algorithms for Gibbs State Preparation NSTL国家科技图书文献中心

Mirko Consiglio - 《Numerical Computations,Part III》 - International Conference on Numerical Computations: Theory and Algorithms - 2025, - 56～70 - 共15页

摘要： quantum algorithms. Variational quantum algorithms* (VQAs* | , we provide a concise overview of the algorithms | preparation algorithms, developed by Consiglio et al., by | Preparing the Gibbs state of an interacting | quantum many-body system on noisy intermediate-scale

关键词： Quantum computing | Quantum algorithms | Quantum thermodynamics

3. Revisiting Bagging for Stochastic Algorithms NSTL国家科技图书文献中心

Caitlin A. Owen | Grant Dick ... - 《AI 2024: Advances in Artificial Intelligence,Part II》 - Australasian Joint Conference on Artificial Intelligence - 2025, - 162～173 - 共12页

摘要： properties of deterministic algorithms. To perform bagging | for stochastic algorithms, there is an implicit | algorithms and data sets using an extended error | variance due to the algorithm* need to be reduced. This* | variance due to the algorithm* may need to be targeted*

关键词： Machine learning | Stochastic algorithms | Bagging | Ensemble learning | Error decomposition | Bias-variance trade-off | Bootstrap aggregation

4. Towards Efficient Runtime Verified Linearizable Algorithms NSTL国家科技图书文献中心

Gilde Valeria Rodrig... | Armando Castaneda - 《Runtime Verification》 - International Conference on Runtime Verification - 2025, - 262～281 - 共20页

摘要： linearizability of concurrent algorithms* was proposed in [7* | distributed computing. The fastest known snapshot algorithms | complete algorithm* for runtime verification of* | snapshot-based verification algorithm* is not completely* | takes any presumably linearizable algorithm* and*

关键词： Asynchronous concurrent algorithms | Distributed runtime verification | Fault-tolerance | Linearizability

5. Adaptive Stopping Algorithms Based on Concentration Inequalities NSTL国家科技图书文献中心

Maxime Parmentier | Axel Legay - 《Bridging the Gap Between AI and Reality》 - International Conference on Bridging the Gap between AI and Reality - 2025, - 336～353 - 共18页

摘要： samples are generated can even lead to new algorithms | use of adaptive stopping algorithms. Instead of | algorithms generate the samples progressively while | adaptive stopping algorithms* for statistical model* | Sampling is a key step of stochastic methods

关键词： Sampling | Estimation methods | Formal verification | Statistical model checking | Adaptive stopping algorithms

6. Learning-Augmented Streaming Algorithms for Approximating MAX-CUT NSTL国家科技图书文献中心

Yinhao Dong | Pan Peng ... - 《16th Innovations in Theoretical Computer Science Conference,Part 2 of 3》 - Innovations in Theoretical Computer Science Conference - 2025, - 共24页

摘要： algorithms for estimating the value of MAX-CUT in a graph | . Specifically, we consider streaming algorithms* that are* | -pass streaming algorithm* that achieves an* | single-pass algorithm* that approximates the value of* | algorithm to fully dynamic streams while maintaining a

关键词： Learning-Augmented algorithms | Graph streaming algorithms | MAX-CUT

7. Approximation Algorithms for Treewidth, Pathwidth, and Treedepth - A Short Survey NSTL国家科技图书文献中心

Hans L. Bodlaender - 《Graph-Theoretic Concepts in Computer Science》 - International Workshop on Graph-Theoretic Concepts in Computer Science - 2025, - 3～18 - 共16页

摘要： approximation algorithms* for treewidth, and for the related* | This short survey discusses old and new | parameters pathwidth and treedepth.

关键词： Treewidth | Pathwidth | Treedepth | Approximation | Graph algorithms

8. Exploring Hierarchical MPI Reduction Collective Algorithms Targeted to Multicore Node Clusters NSTL国家科技图书文献中心

Gladys Utrera | Marisa Gil ... - 《Numerical Computations,Part III》 - International Conference on Numerical Computations: Theory and Algorithms - 2025, - 362～369 - 共8页

摘要： algorithms that consider the placement of processes within | . We implement the algorithms* on top of Intel MPI and* | studies and compares the performance of the algorithm* of* | High-performance computing applications | heavily rely on message-passing mechanisms for data

关键词： MPI | HPC | Multicore cluster | Collective algorithms

9. Review of denoising algorithms for ICESat-2 photon point clouds NSTL国家科技图书文献中心

Danyang Cao | Ying Yang ... - 《Sixth International Conference on Geoscience and Remote Sensing Mapping (GRSM 2024),Part Two of Two Parts》 - International Conference on Geoscience and Remote Sensing Mapping - 2025, - 1350627.1～1350627.5 - 共5页

摘要： paper reviews the denoising algorithms* applied to* | Launched by NASA in 2018, ICESat-2 is a next | -generation laser altimetry satellite equipped with the | Advanced Topographic Laser Altimeter System (ATLAS | ) capable of penetrating water bodies. Nonetheless, the

关键词： ICESat-2 | ATLAS | Denoising algorithms | Photon point clouds

10. Quantum Algorithms: Application and Feasibility NSTL国家科技图书文献中心

Duong Bui | Kimmo Halunen ... - 《Product-Focused Software Process Improvement》 - International Conference on Product-Focused Software Process Improvement - 2025, - 151～163 - 共13页

摘要： quantum algorithms* for practical applications and* | least feasible. We select four quantum algorithms* from* | quantum algorithms* can be applied to solve real-life* | there are requirements in the quantum algorithms* that* | evaluation results of these quantum algorithms.

摘要： superior to the traditional ACO* and A* algorithms in* | experiments have shown that the improved ACO* algorithm is* | Ant Colony Optimization (ACO) optimization. By | * algorithms perform well in static environments, but have | algorithms in practical applications.

关键词： UAV | Dynamic environment | Path planning | ACO | Intelligent optimization algorithm

摘要： quantum algorithms. Variational quantum algorithms* (VQAs* | , we provide a concise overview of the algorithms | preparation algorithms, developed by Consiglio et al., by | Preparing the Gibbs state of an interacting | quantum many-body system on noisy intermediate-scale

关键词： Quantum computing | Quantum algorithms | Quantum thermodynamics

摘要： properties of deterministic algorithms. To perform bagging | for stochastic algorithms, there is an implicit | algorithms and data sets using an extended error | variance due to the algorithm* need to be reduced. This* | variance due to the algorithm* may need to be targeted*

关键词： Machine learning | Stochastic algorithms | Bagging | Ensemble learning | Error decomposition | Bias-variance trade-off | Bootstrap aggregation

摘要： linearizability of concurrent algorithms* was proposed in [7* | distributed computing. The fastest known snapshot algorithms | complete algorithm* for runtime verification of* | snapshot-based verification algorithm* is not completely* | takes any presumably linearizable algorithm* and*

关键词： Asynchronous concurrent algorithms | Distributed runtime verification | Fault-tolerance | Linearizability

摘要： samples are generated can even lead to new algorithms | use of adaptive stopping algorithms. Instead of | algorithms generate the samples progressively while | adaptive stopping algorithms* for statistical model* | Sampling is a key step of stochastic methods

关键词： Sampling | Estimation methods | Formal verification | Statistical model checking | Adaptive stopping algorithms

摘要： algorithms for estimating the value of MAX-CUT in a graph | . Specifically, we consider streaming algorithms* that are* | -pass streaming algorithm* that achieves an* | single-pass algorithm* that approximates the value of* | algorithm to fully dynamic streams while maintaining a

关键词： Learning-Augmented algorithms | Graph streaming algorithms | MAX-CUT

摘要： approximation algorithms* for treewidth, and for the related* | This short survey discusses old and new | parameters pathwidth and treedepth.

关键词： Treewidth | Pathwidth | Treedepth | Approximation | Graph algorithms

摘要： algorithms that consider the placement of processes within | . We implement the algorithms* on top of Intel MPI and* | studies and compares the performance of the algorithm* of* | High-performance computing applications | heavily rely on message-passing mechanisms for data

关键词： MPI | HPC | Multicore cluster | Collective algorithms

摘要： paper reviews the denoising algorithms* applied to* | Launched by NASA in 2018, ICESat-2 is a next | -generation laser altimetry satellite equipped with the | Advanced Topographic Laser Altimeter System (ATLAS | ) capable of penetrating water bodies. Nonetheless, the

关键词： ICESat-2 | ATLAS | Denoising algorithms | Photon point clouds

摘要： quantum algorithms* for practical applications and* | least feasible. We select four quantum algorithms* from* | quantum algorithms* can be applied to solve real-life* | there are requirements in the quantum algorithms* that* | evaluation results of these quantum algorithms.

关键词： Quantum computing | Feasibility | Quantum future

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： superior to the traditional ACO and A* algorithms in | experiments have shown that the improved ACO algorithm is | Ant Colony Optimization (ACO) optimization. By | * algorithms perform well in static environments, but have | algorithms in practical applications.

关键词： UAV | Dynamic environment | Path planning | ACO | Intelligent optimization algorithm

摘要： quantum algorithms. Variational quantum algorithms (VQAs | , we provide a concise overview of the algorithms | preparation algorithms, developed by Consiglio et al., by | Preparing the Gibbs state of an interacting | quantum many-body system on noisy intermediate-scale

关键词： Quantum computing | Quantum algorithms | Quantum thermodynamics

摘要： properties of deterministic algorithms. To perform bagging | for stochastic algorithms, there is an implicit | algorithms and data sets using an extended error | variance due to the algorithm need to be reduced. This | variance due to the algorithm may need to be targeted

关键词： Machine learning | Stochastic algorithms | Bagging | Ensemble learning | Error decomposition | Bias-variance trade-off | Bootstrap aggregation

摘要： linearizability of concurrent algorithms was proposed in [7 | distributed computing. The fastest known snapshot algorithms | complete algorithm for runtime verification of | snapshot-based verification algorithm is not completely | takes any presumably linearizable algorithm and

关键词： Asynchronous concurrent algorithms | Distributed runtime verification | Fault-tolerance | Linearizability

摘要： samples are generated can even lead to new algorithms | use of adaptive stopping algorithms. Instead of | algorithms generate the samples progressively while | adaptive stopping algorithms for statistical model | Sampling is a key step of stochastic methods

关键词： Sampling | Estimation methods | Formal verification | Statistical model checking | Adaptive stopping algorithms

摘要： algorithms for estimating the value of MAX-CUT in a graph | . Specifically, we consider streaming algorithms that are | -pass streaming algorithm that achieves an | single-pass algorithm that approximates the value of | algorithm to fully dynamic streams while maintaining a

关键词： Learning-Augmented algorithms | Graph streaming algorithms | MAX-CUT

摘要： approximation algorithms for treewidth, and for the related | This short survey discusses old and new | parameters pathwidth and treedepth.

关键词： Treewidth | Pathwidth | Treedepth | Approximation | Graph algorithms

摘要： algorithms that consider the placement of processes within | . We implement the algorithms on top of Intel MPI and | studies and compares the performance of the algorithm of | High-performance computing applications | heavily rely on message-passing mechanisms for data

关键词： MPI | HPC | Multicore cluster | Collective algorithms

摘要： paper reviews the denoising algorithms applied to | Launched by NASA in 2018, ICESat-2 is a next | -generation laser altimetry satellite equipped with the | Advanced Topographic Laser Altimeter System (ATLAS | ) capable of penetrating water bodies. Nonetheless, the

关键词： ICESat-2 | ATLAS | Denoising algorithms | Photon point clouds

摘要： quantum algorithms for practical applications and | least feasible. We select four quantum algorithms from | quantum algorithms can be applied to solve real-life | there are requirements in the quantum algorithms that | evaluation results of these quantum algorithms.

关键词： Quantum computing | Feasibility | Quantum future

4008-161-200 800-990-8900

国家科技图书文献中心

摘要： superior to the traditional ACO* and A* algorithms in* | experiments have shown that the improved ACO* algorithm is* | Ant Colony Optimization (ACO) optimization. By | * algorithms perform well in static environments, but have | algorithms in practical applications.

摘要： quantum algorithms. Variational quantum algorithms* (VQAs* | , we provide a concise overview of the algorithms | preparation algorithms, developed by Consiglio et al., by | Preparing the Gibbs state of an interacting | quantum many-body system on noisy intermediate-scale

摘要： properties of deterministic algorithms. To perform bagging | for stochastic algorithms, there is an implicit | algorithms and data sets using an extended error | variance due to the algorithm* need to be reduced. This* | variance due to the algorithm* may need to be targeted*

摘要： linearizability of concurrent algorithms* was proposed in [7* | distributed computing. The fastest known snapshot algorithms | complete algorithm* for runtime verification of* | snapshot-based verification algorithm* is not completely* | takes any presumably linearizable algorithm* and*

摘要： samples are generated can even lead to new algorithms | use of adaptive stopping algorithms. Instead of | algorithms generate the samples progressively while | adaptive stopping algorithms* for statistical model* | Sampling is a key step of stochastic methods

摘要： algorithms for estimating the value of MAX-CUT in a graph | . Specifically, we consider streaming algorithms* that are* | -pass streaming algorithm* that achieves an* | single-pass algorithm* that approximates the value of* | algorithm to fully dynamic streams while maintaining a

摘要： approximation algorithms* for treewidth, and for the related* | This short survey discusses old and new | parameters pathwidth and treedepth.

摘要： algorithms that consider the placement of processes within | . We implement the algorithms* on top of Intel MPI and* | studies and compares the performance of the algorithm* of* | High-performance computing applications | heavily rely on message-passing mechanisms for data

摘要： paper reviews the denoising algorithms* applied to* | Launched by NASA in 2018, ICESat-2 is a next | -generation laser altimetry satellite equipped with the | Advanced Topographic Laser Altimeter System (ATLAS | ) capable of penetrating water bodies. Nonetheless, the

摘要： quantum algorithms* for practical applications and* | least feasible. We select four quantum algorithms* from* | quantum algorithms* can be applied to solve real-life* | there are requirements in the quantum algorithms* that* | evaluation results of these quantum algorithms.