English
Related papers

Related papers: MOS: A Mathematical Optimization Service

200 papers

Planning is an essential topic in the realm of automated driving. Besides planning algorithms that are widely covered in the literature, planning requires different software tools for its development, validation, and execution. This paper…

Robotics · Computer Science 2021-11-25 Kailin Tong , Zlatan Ajanovic , Georg Stettinger

We offer an insight into our mathematical endeavors, which aim to advance the foundational understanding of energy systems in a broad context, encompassing facets such as charge transport, energy storage, markets, and collective behavior.…

General Mathematics · Mathematics 2024-12-30 Nicklas Jävergård , Grigor Nika , Adrian Muntean

Object-Oriented Programming (OOP) has become a crucial paradigm for managing the growing complexity of modern software systems, particularly in fields like machine learning, deep learning, large language models (LLM), and data analytics.…

Computation and Language · Computer Science 2025-12-24 Tianyang Wang , Ziqian Bi , Keyu Chen , Jiawei Xu , Qian Niu , Junyu Liu , Benji Peng , Ming Li , Sen Zhang , Xuanhe Pan , Jinlang Wang , Pohsun Feng , Yizhu Wen , Xinyuan Song , Ming Liu

Many mechanical engineering applications call for multiscale computational modeling and simulation. However, solving for complex multiscale systems remains computationally onerous due to the high dimensionality of the solution space.…

Machine Learning · Computer Science 2023-03-23 Phong C. H. Nguyen , Joseph B. Choi , H. S. Udaykumar , Stephen Baek

This article aims at facilitating the widespread application of Energy Management Systems (EMSs), especially on buildings and cities, in order to support the realization of future carbon-neutral energy systems. We claim that economic…

Software Engineering · Computer Science 2025-03-19 David Wölfle , Kevin Förderer , Tobias Riedel , Lukas Landwich , Ralf Mikut , Veit Hagenmeyer , Hartmut Schmeck

Model merging has recently emerged as a lightweight alternative to ensembling, combining multiple fine-tuned models into a single set of parameters with no additional training overhead. Yet, existing merging methods fall short of matching…

Developers of text-to-speech synthesizers (TTS) often make use of human raters to assess the quality of synthesized speech. We demonstrate that we can model human raters' mean opinion scores (MOS) of synthesized speech using a deep…

Computation and Language · Computer Science 2016-11-29 Brian Patton , Yannis Agiomyrgiannakis , Michael Terry , Kevin Wilson , Rif A. Saurous , D. Sculley

Mathematical optimization, although often leading to NP-hard models, is now capable of solving even large-scale instances within reasonable time. However, the primary focus is often placed solely on optimality. This implies that while…

Optimization and Control · Mathematics 2025-12-23 Kevin-Martin Aigner , Marc Goerigk , Michael Hartisch , Frauke Liers , Arthur Miehlich , Florian Rösel

Nonlinear programming targets nonlinear optimization with constraints, which is a generic yet complex methodology involving humans for problem modeling and algorithms for problem solving. We address the particularly hard challenge of…

Robotics · Computer Science 2021-01-29 David Hägele , Moataz Abdelaal , Ozgur S. Oguz , Marc Toussaint , Daniel Weiskopf

Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practice this decoupling is difficult. No single inference…

Programming Languages · Computer Science 2022-04-15 Maria I. Gorinova

Mass customization explains the phenomenon to provide a unique designed products and services to all customer by achieving a high process integration and flexibility. It has been used as a competitive approach by many companies. Adequate…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-02-14 Ali Vatankhah Barenji , Reza Vatankhah Barenji

In robust optimization, we would like to find a solution that is immunized against all scenarios that are modeled in an uncertainty set. Which scenarios to include in such a set is therefore of central importance for the tractability of the…

Optimization and Control · Mathematics 2024-10-14 Jamie Fairbrother , Marc Goerigk , Mohammad Khosravi

Molecular optimization is a key challenge in drug discovery and material science domain, involving the design of molecules with desired properties. Existing methods focus predominantly on single-property optimization, necessitating…

Machine Learning · Computer Science 2024-09-13 Aye Phyu Phyu Aung , Jay Chaudhary , Ji Wei Yoon , Senthilnath Jayavelu

Mathematical formulae carry complex and essential semantic information in a variety of formats. Accessing this information with different systems requires a standardized machine-readable format that is capable of encoding presentational and…

Digital Libraries · Computer Science 2021-09-20 André Greiner-Petter , Moritz Schubotz , Howard S. Cohl , Bela Gipp

In this paper, we propose a new mixed-integer linear programming (MILP) model ontology and a novel constraint typology of MILP formulations. MILP is a commonly used mathematical programming technique for modelling and solving real-life…

Artificial Intelligence · Computer Science 2021-03-02 Bahadorreza Ofoghi , Vicky Mak , John Yearwood

We present a comprehensive characterization study of open-source message-oriented middleware (MOM) systems. We followed a rigorous methodology to select and study ten popular and diverse MOM systems. For each system, we examine 42 features…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-23 Wael Al-Manasrah , Zuhair AlSader , Tim Brecht , Ahmed Alquraan , Samer Al-Kiswany

Evolutionary multi-agent systems (EMASs) are very good at dealing with difficult, multi-dimensional problems, their efficacy was proven theoretically based on analysis of the relevant Markov-Chain based model. Now the research continues on…

Neural and Evolutionary Computing · Computer Science 2022-10-25 Mateusz Godzik , Jacek Dajda , Marek Kisiel-Dorohinicki , Aleksander Byrski , Leszek Rutkowski , Patryk Orzechowski , Joost Wagenaar , Jason H. Moore

In this paper we survey the primary research, both theoretical and applied, in the area of Robust Optimization (RO). Our focus is on the computational attractiveness of RO approaches, as well as the modeling power and broad applicability of…

Optimization and Control · Mathematics 2010-10-27 Dimitris Bertsimas , David B. Brown , Constantine Caramanis

A software for managing simulation jobs and results, named "OACIS", is presented. It controls a large number of simulation jobs executed in various remote servers, keeps these results in an organized way, and manages the analyses on these…

Computational Physics · Physics 2014-09-23 Yohsuke Murase , Takeshi Uchitane , Nobuyasu Ito

Optimizing an expensive-to-query function is a common task in science and engineering, where it is beneficial to keep the number of queries to a minimum. A popular strategy is Bayesian optimization (BO), which leverages probabilistic models…

Machine Learning · Computer Science 2019-07-05 Willie Neiswanger , Kirthevasan Kandasamy , Barnabas Poczos , Jeff Schneider , Eric Xing