Optimization of Sparsity-Constrained Neural Networks as a Mixed Integer Linear Program [PDF]
, 2023 Bodo Rosenhahn
openalex +1 more source
Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
, 2012 Differential and linear cryptanalysis are two of the most powerful techniques to analyze symmetric-key primitives. For modern ciphers, resistance against these attacks is therefore a mandatory design criterion. In this paper, we propose a novel technique to prove security bounds against both differential and linear cryptanalysis.
Mouha, Nicky +3 more
openaire +2 more sources
Helix Alignment, Chevrons, and Edge Dislocations in Twist‐Bend Ferroelectric Nematics
Advanced Science, EarlyView.The recently discovered twist‐bend ferroelectric nematic (NTBF) is the new member of the multiferroic family, representing a fluid with an oblique helicoidal (heliconical) periodic structure of spontaneous electric polarization. The work presents a thorough exploration of the material properties of this phase, how the periodic modulation of ...
Bijaya Basnet +8 more
wiley +1 more source
Optimizing aircraft maintenance tasks allocation using mixed integer linear programming
AviationThis study addresses the optimization of aircraft maintenance task allocation for small fleets using Mixed-Integer Linear Programming (MILP). The research integrates manpower efficiency, regulatory compliance, and workload balancing to minimize downtime
Karim Ali +2 more
doaj +1 more source
OPTIMASI PLAZA TOL DENGAN MENGGUNAKAN MIXED INTEGER NON-LINEAR PROGRAMMING
Barekeng, 2012 Bagian yang cukup penting dalam sistem jalan tol adalah plaza tol yang merupakan tempat pelayanan dan pembayaran sebelum masuk tol. Plaza tol biasanya terdiri dari beberapa jalur sehingga memudahkan proses pembayaran dan pelayanan.
Berny P. Tomasouw, Francis Y. Rumlawang
doaj +1 more source
Tools for reformulating logical forms into zero-one mixed integer programs (MIPS) [PDF]
, 1992 A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented.
Lucas, CA, Mitra, G, Moody, S
core
De Novo Multi‐Mechanism Antimicrobial Peptide Design via Multimodal Deep Learning
Advanced Science, EarlyView.Current AI‐driven peptide discovery often overlooks complex structural data. This study presents M3‐CAD, a generative pipeline that leverages 3D voxel coloring and a massive database of over 12 000 peptides to capture nuanced physicochemical contexts.
Xiaojuan Li +23 more
wiley +1 more source
Performance comparison of two recently proposed copositivity tests
EURO Journal on Computational Optimization, 2022 Recently and simultaneously, two MILP-based approaches to copositivity testing were proposed. This note tries a performance comparison, using a group of test sets containing a large number of designed instances.
Bo Peng
doaj +1 more source
On optimizing over lift-and-project closures [PDF]
, 2010 The lift-and-project closure is the relaxation obtained by computing all lift-and-project cuts from the initial formulation of a mixed integer linear program or equivalently by computing all mixed integer Gomory cuts read from all tableau's corresponding
Bonami, Pierre
core +2 more sources
Polyhedral approximation in mixed-integer convex optimization
, 2017 Generalizing both mixed-integer linear optimization and convex optimization, mixed-integer convex optimization possesses broad modeling power but has seen relatively few advances in general-purpose solvers in recent years.
Bent, Russell +3 more
core +1 more source