English
Related papers

Related papers: GTOPX Space Mission Benchmarks

200 papers

For the past six years, researchers in genetic programming and other program synthesis disciplines have used the General Program Synthesis Benchmark Suite to benchmark many aspects of automatic program synthesis systems. These problems have…

Software Engineering · Computer Science 2021-06-14 Thomas Helmuth , Peter Kelly

We consider applications involving a large set of instances of projecting points to polytopes. We develop an intuition guided by theoretical and empirical analysis to show that when these instances follow certain structures, a large…

Artificial Intelligence · Computer Science 2022-01-07 Rohan Ramanath , S. Sathiya Keerthi , Yao Pan , Konstantin Salomatin , Kinjal Basu

Big Data is considered proprietary asset of companies, organizations, and even nations. Turning big data into real treasure requires the support of big data systems. A variety of commercial and open source products have been unleashed for…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-12-29 Yuqing Zhu , Jianfeng Zhan , Chuliang Weng , Raghunath Nambiar , Jinchao Zhang , Xingzhen Chen , Lei Wang

This system paper documents the technical foundations for the extension of the Topology ToolKit (TTK) to distributed-memory parallelism with the Message Passing Interface (MPI). While several recent papers introduced topology-based…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-04-16 Eve Le Guillou , Michael Will , Pierre Guillou , Jonas Lukasczyk , Pierre Fortin , Christoph Garth , Julien Tierny

This paper introduces a new paradigm of optimal path planning, i.e., passage-traversing optimal path planning (PTOPP), that optimizes paths' traversed passages for specified optimization objectives. In particular, PTOPP is utilized to find…

Robotics · Computer Science 2026-01-01 Jing Huang , Hao Su , Kwok Wai Samuel Au

Evaluating Large Language Models (LLMs) on repository-level feature implementation is a critical frontier in software engineering. However, establishing a benchmark that faithfully mirrors realistic development scenarios remains a…

Computation and Language · Computer Science 2026-02-19 Haorui Chen , Chengze Li , Jia Li

Benchmarking is crucial for testing and validating any system, even more so in real-time systems. Typical real-time applications adhere to well-understood abstractions: they exhibit a periodic behavior, operate on a well-defined working…

Software Engineering · Computer Science 2022-08-02 Mattia Nicolella , Shahin Roozkhosh , Denis Hoornaert , Andrea Bastoni , Renato Mancuso

Planetary rover exploration is attracting renewed interest with several upcoming space missions to the Moon and Mars. However, a substantial amount of data from prior missions remain underutilized for path planning and autonomous navigation…

Robotics · Computer Science 2025-12-29 Marvin Chancán , Avijit Banerjee , George Nikolakopoulos

The competition focuses on Multiparty Multiobjective Optimization Problems (MPMOPs), where multiple decision makers have conflicting objectives, as seen in applications like UAV path planning. Despite their importance, MPMOPs remain…

Artificial Intelligence · Computer Science 2024-02-06 Wenjian Luo , Peilan Xu , Shengxiang Yang , Yuhui Shi

Open-source libraries are have a catalytic role in research pipelines, where new methods must be compared against up-to-date baselines. We present the GLobal Optimization Benchmark (GLOBe) modular Python library that unifies classical and…

Optimization and Control · Mathematics 2026-05-20 Gaëtan Serré , Argyris Kalogeratos , Nicolas Vayatis

Multiobjective optimization problems (MOPs) are prevalent in machine learning, with applications in multi-task learning, learning under fairness or robustness constraints, etc. Instead of reducing multiple objective functions into a scalar…

Mathematical Software · Computer Science 2024-10-14 Xiaoyuan Zhang , Liang Zhao , Yingying Yu , Xi Lin , Yifan Chen , Han Zhao , Qingfu Zhang

Path planning is an essential component of mobile robotics. Classical path planning algorithms, such as wavefront and rapidly-exploring random tree (RRT) are used heavily in autonomous robots. With the recent advances in machine learning,…

In this paper, we present pomdp_py, a general purpose Partially Observable Markov Decision Process (POMDP) library written in Python and Cython. Existing POMDP libraries often hinder accessibility and efficient prototyping due to the…

Artificial Intelligence · Computer Science 2020-04-22 Kaiyu Zheng , Stefanie Tellex

During the development of a software project, developers often need to upgrade third-party libraries (TPLs), aiming to keep their code up-to-date with the newest functionalities offered by the used libraries. In most cases, upgrading used…

Software Engineering · Computer Science 2022-01-21 Riccardo Rubei , Davide Di Ruscio , Claudio Di Sipio , Juri Di Rocco , Phuong T. Nguyen

The landscape of optimization problems has become increasingly complex, necessitating the development of advanced optimization techniques. Meta-Black-Box Optimization (MetaBBO), which involves refining the optimization algorithms themselves…

Machine Learning · Computer Science 2025-04-01 Xu Yang , Rui Wang , Kaiwen Li , Wenhua Li , Tao Zhang , Fujun He

We introduce COCO, an open source platform for Comparing Continuous Optimizers in a black-box setting. COCO aims at automatizing the tedious and repetitive task of benchmarking numerical optimization algorithms to the greatest possible…

Artificial Intelligence · Computer Science 2020-09-10 Nikolaus Hansen , Anne Auger , Raymond Ros , Olaf Mersmann , Tea Tušar , Dimo Brockhoff

This paper investigates how GPT-based tools can assist in building reusable analytical spreadsheet models. After a screening, we evaluate five GPT extensions and select Excel AI by pulsrai.com for detailed testing. Through structured…

Software Engineering · Computer Science 2026-04-29 Thomas A. Grossman , Yuan Chen , Sopiko Datuashvili

This paper presents a novel partially distributed outer approximation algorithm, named PaDOA, for solving a class of structured mixed integer convex programming (MICP) problems to global optimality. The proposed scheme uses an iterative…

Optimization and Control · Mathematics 2019-11-20 Alexander Murray , Timm Faulwasser , Veit Hagenmeyer , Mario E. Villanueva , Boris Houska

We introduce a new open-source framework, Quadruped Trajectory Optimization Stack (QTOS), which integrates a global planner, local planner, simulator, controller, and robot interface into a single package. QTOS serves as a full-stack…

Robotics · Computer Science 2023-09-19 Alexy Skoutnev , Andrew Cinar , Praful Sigdel , Forrest Laine

Multi-task optimization (MTO) studies how to simultaneously solve multiple optimization problems for the purpose of obtaining better performance on each problem. Over the past few years, evolutionary MTO (EMTO) was proposed to handle MTO…

Neural and Evolutionary Computing · Computer Science 2021-10-12 Xiaolong Zheng , Deyun Zhou , Na Li , Yu Lei , Tao Wu , Maoguo Gong