English
Related papers

Related papers: A Pareto Algorithm for Efficient De Novo Design of…

200 papers

We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (\omega -regular or LTL) properties \varphi\_i, and probabilities…

Logic in Computer Science · Computer Science 2015-07-01 Kousha Etessami , Marta Kwiatkowska , Moshe Y. Vardi , Mihalis Yannakakis

Software model optimization is a process that automatically generates design alternatives aimed at improving quantifiable non-functional properties of software systems, such as performance and reliability. Multi-objective evolutionary…

Software Engineering · Computer Science 2025-11-04 J. Andres Diaz-Pace , Daniele Di Pompeo , Michele Tucci

We review the field of multi-criteria optimization for radiation therapy treatment planning. Special attention is given to the technique known as Pareto surface navigation, which allows physicians and treatment planners to interactively…

Optimization and Control · Mathematics 2013-05-08 David Craft

In many real-world applications, the Pareto Set (PS) of a continuous multiobjective optimization problem can be a piecewise continuous manifold. A decision maker may want to find a solution set that approximates a small part of the PS and…

Neural and Evolutionary Computing · Computer Science 2024-04-02 Ping Guo , Qingfu Zhang , Xi Lin

A consequent approach is proposed to construct symplectic force-gradient algorithms of arbitrarily high orders in the time step for precise integration of motion in classical and quantum mechanics simulations. Within this approach the basic…

Statistical Mechanics · Physics 2009-11-07 Igor Omelyan , Ihor Mryglod , Reinhard Folk

In the application of machine learning to real-life decision-making systems, e.g., credit scoring and criminal justice, the prediction outcomes might discriminate against people with sensitive attributes, leading to unfairness. The commonly…

Machine Learning · Computer Science 2022-03-21 Suyun Liu , Luis Nunes Vicente

Multiobjective optimization (MOO) is prevalent in numerous applications, in which a Pareto front (PF) is constructed to display optima under various preferences. Previous methods commonly utilize the set of Pareto objectives (particles on…

Machine Learning · Computer Science 2024-02-16 Xiaoyuan Zhang , Xi Lin , Yichi Zhang , Yifan Chen , Qingfu Zhang

This work presents a novel approach to distribute orbitals into subspaces within electron-pairing-based natural orbital functionals (NOFs). This approach modifies the coupling between weakly and strongly occupied orbitals by applying an…

Chemical Physics · Physics 2025-02-05 Élodie Boutou , Juan Felipe Huan Lew-Yee , Jose Maria Mercero , Mario Piris

We present a framework for designing scores to summarize performance metrics. Our design has two multi-criteria objectives: (1) improving on scores should improve all performance metrics, and (2) achieving pareto-optimal scores should…

Computers and Society · Computer Science 2024-10-10 Anmol Kabra , Mina Karzand , Tosca Lechner , Nathan Srebro , Serena Wang

New products must be formulated rapidly to succeed in the global formulated product market; however, key product indicators (KPIs) can be complex, poorly understood functions of the chemical composition and processing history. Consequently,…

Machine Learning · Computer Science 2024-05-09 Alexander W. Rogers , Amanda Lane , Cesar Mendoza , Simon Watson , Adam Kowalski , Philip Martin , Dongda Zhang

High-throughput neural network inference requires coordinating many optimization decisions, including parallel tiling, microkernel selection, and data layout. The product of these decisions forms a search space of programs which is…

Programming Languages · Computer Science 2025-05-06 Samuel J. Kaufman , René Just , Rastislav Bodik

We propose a model of Pareto optimization (multi-objective programming) in the context of a categorical theory of resources. We describe how to adapt multi-objective swarm intelligence algorithms to this categorical formulation.

Category Theory · Mathematics 2022-04-27 Matilde Marcolli

Retrosynthesis, which aims to identify viable synthetic pathways for target molecules by decomposing them into simpler precursors, is often treated as a search problem. However, its complexity arises from multi-branched tree-structured…

Artificial Intelligence · Computer Science 2025-11-25 Chengyang Tian , Yuhang Chang , Yangpeng Zhang , Yang Liu

Model merging has emerged as an effective approach to combine multiple single-task models into a multitask model. This process typically involves computing a weighted average of the model parameters without any additional training. Existing…

Machine Learning · Computer Science 2025-04-28 Lu Li , Tianyu Zhang , Zhiqi Bu , Suyuchen Wang , Huan He , Jie Fu , Yonghui Wu , Jiang Bian , Yong Chen , Yoshua Bengio

In last decades optimization and control of complex systems that possessed various conflicted objectives simultaneously attracted an incremental interest of scientists. This is because of the vast applications of these systems in various…

Neural and Evolutionary Computing · Computer Science 2013-12-17 Ahmad Mozaffari , Alireza Fathi

Sorting is one of the most fundamental problems in the field of computer science. With the rapid development of manycore processors, it shows great importance to design efficient parallel sort algorithm on manycore architecture. This paper…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-02-18 Tianyi Yu , Wei Li

The performance of the code generated by a compiler depends on the order in which the optimization passes are applied. In high-level synthesis, the quality of the generated circuit relates directly to the code generated by the front-end…

Programming Languages · Computer Science 2019-04-05 Ameer Haj-Ali , Qijing Huang , William Moses , John Xiang , Ion Stoica , Krste Asanovic , John Wawrzynek

Computing diverse sets of high quality solutions for a given optimization problem has become an important topic in recent years. In this paper, we introduce a coevolutionary Pareto Diversity Optimization approach which builds on the success…

Neural and Evolutionary Computing · Computer Science 2022-04-13 Aneta Neumann , Denis Antipov , Frank Neumann

This paper deals with discrete topology optimization and describes the modification of a single-objective algorithm into its multi-objective counterpart. The result is a significant increase in the optimization speed and quality of the…

Neural and Evolutionary Computing · Computer Science 2025-03-13 Petr Kadlec , Miloslav Capek

We expose in a tutorial fashion the mechanisms which underlie the synthesis of optimization algorithms based on dynamic integral quadratic constraints. We reveal how these tools from robust control allow to design accelerated gradient…

Optimization and Control · Mathematics 2023-09-18 Carsten W. Scherer , Christian Ebenbauer , Tobias Holicki