English
Related papers

Related papers: A multi-objective mixed integer linear programming…

200 papers

The ability to accurately produce geometries with specified properties is perhaps the most important characteristic of a manufacturing process. 3D printing is marked by exceptional design freedom and complexity but is also prone to…

Graphics · Computer Science 2025-02-04 Christos Margadji , Andi Kuswoyo , Sebastian W. Pattinson

Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system. It has useful applications in controller synthesis and compositional probabilistic…

Logic in Computer Science · Computer Science 2015-03-20 Vojtech Forejt , Marta Kwiatkowska , David Parker

Identifying appropriate manufacturing systems for products can be considered a pivotal manufacturing task contributing to the optimization of operational and planning activities. It has gained importance in the food industry due to the…

Cutting plane selection is a subroutine used in all modern mixed-integer linear programming solvers with the goal of selecting a subset of generated cuts that induce optimal solver performance. These solvers have millions of parameter…

Optimization and Control · Mathematics 2023-02-24 Mark Turner , Thorsten Koch , Felipe Serrano , Michael Winkler

The 3D printing process flow requires several inputs for the best printing quality. These settings may vary from sample to sample, printer to printer, and depend upon users' previous experience. The involved operational parameters for 3D…

Image and Video Processing · Electrical Eng. & Systems 2022-06-02 Sunita Khod , Akshay Dvivedi , Mayank Goswami

The shift design and the personnel scheduling problem is known to be a difficult problem. It is a real-world problem which has lots of applications in the organization of companies. Solutions are usually found by dividing the problem in two…

Optimization and Control · Mathematics 2024-03-28 Nicolo Gusmeroli , Andrea Bettinelli

The task of establishing correspondences between two 3D shapes is a long-standing challenge in computer vision. While numerous studies address full-full and partial-full 3D shape matching, only a limited number of works have explored the…

Computer Vision and Pattern Recognition · Computer Science 2026-02-09 Viktoria Ehm , Paul Roetzer , Florian Bernard , Daniel Cremers

Predictive modelling represents an emerging field that combines existing and novel methodologies aimed to rapidly understand physical mechanisms and concurrently develop new materials, processes and structures. In the current study,…

We consider the problem of optimally designing a system for repeated use under uncertainty. We develop a modeling framework that integrates design and operational phases, which are represented by a mixed-integer program and discounted-cost…

Optimization and Control · Mathematics 2024-03-25 Seth Brown , Saumya Sinha , Andrew J Schaefer

Advances in 3D printing technology now enable the precise positioning of microscopic material voxels to form complex structures. Combined with emerging multi-material capabilities and printable responsive materials, this opens new…

Soft Condensed Matter · Physics 2025-03-17 Ido Levin , Ela Sachyani , Rama Lieberman , Noa Battat , Eran Sharon , Shlomo Magdassi

One of the arduous tasks in supply chain modelling is to build robust models against irregular variations. During the proliferation of time-series analyses and machine learning models, several modifications were proposed such as…

Artificial Intelligence · Computer Science 2020-04-30 Heerok Banerjee , V. Ganapathy , V. M. Shenbagaraman

Aiming to generate easy-to-handle assembly sequences for robotic assembly, this study tackles assembly sequence generation by considering two tradeoff objectives: (1) insertion conditions and (2) degrees of constraints among assembled…

Robotics · Computer Science 2021-11-18 Takuya Kiyokawa , Jun Takamatsu , Tsukasa Ogasawara

3D printing and other layer manufacturing processes are challenged by dimensional accuracy. Several techniques are used to validate and calibrate dimensional accuracy through the complete building envelope. The validation process involves…

Algebraic Geometry · Mathematics 2019-08-15 Andre F. van der Merwe , Janko Boehm , Magdaleen S. Marais

The food production industry, especially the meat production sector, faces many challenges that have even escalated due to the recent outbreak of the energy crisis in the European Union. Therefore, efficient use of input materials is an…

Artificial Intelligence · Computer Science 2025-07-23 Marek Vlk , Premysl Sucha , Jaroslaw Rudy , Radoslaw Idzikowski

Fashion discounters face the problem of ordering the right amount of pieces in each size of a product. The product is ordered in pre-packs containing a certain size-mix of a product. For this so-called lot-type design problem, a stochastic…

Optimization and Control · Mathematics 2016-03-26 Miriam Kießling , Tobias Kreisel , Sascha Kurz , Jörg Rambau

Accurate estimation of production times is critical for effective manufacturing scheduling, yet traditional methods relying on expert analysis or historical data often fall short in dynamic or customized production environments. This paper…

Machine Learning · Computer Science 2025-09-05 Grzegorz Miebs , Rafał A. Bachorz

Many problems of interest for cyber-physical network systems can be formulated as Mixed-Integer Linear Programs in which the constraints are distributed among the agents. In this paper we propose a distributed algorithmic framework to solve…

Optimization and Control · Mathematics 2019-06-05 Andrea Testa , Alessandro Rucco , Giuseppe Notarstefano

High-precision 3D printing technology opens to almost endless opportunities to design complex shapes present in tailored architected materials. The scope of this work is to review the latest studies regarding 3D printed lattice structures…

Computational Engineering, Finance, and Science · Computer Science 2023-01-31 Samantha Mora , Nicola M. Pugno , Diego Misseroni

This study addresses the challenge of accurately forecasting geometric deviations in manufactured components using advanced 3D surface analysis. Despite progress in modern manufacturing, maintaining dimensional precision remains difficult,…

Computer Vision and Pattern Recognition · Computer Science 2025-08-12 Hamidreza Samadi , Md Manjurul Ahsan , Shivakumar Raman

Three-dimensional integrated circuits (3D ICs) have emerged as a promising solution to the scaling limits of two-dimensional designs, offering higher integration density, shorter interconnects, and improved performance. As design complexity…

Robotics · Computer Science 2025-09-30 Hung-Ying Chu , Guan-Wei Chen , Shao-Yu Wei , Yu-Cheng Lin