Results 81 to 90 of about 274,514 (324)
Analysis of PV/Wind systems by integer linear programming
Revue des Énergies Renouvelables, 2012 This paper presents a mathematical formulation for integrating renewable energy sources in order to build up economical hybrid energetic systems in the case where each type of energy are only available as specific units.
A. Zaatri, K. Allab
doaj
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
SCIL — Symbolic Constraints in Integer Linear Programming [PDF]
, 2002 We describe a new software system SCIL that introduces symbolic constraints into branch-and-cut-and-price algorithms for integer linear programs. Symbolic constraints are known from constraint programming and contribute significantly to the expressive power, ease of use, and efficiency of constraint programming systems.
Althaus, Ernst +5 more
openaire +4 more sources
Causal Prediction of TP53 Variant Pathogenicity Using a Perturbation‐Informed Protein Language Model
Advanced Science, EarlyView.A TP53‐specific predictor, CaVepP53, is developed by fine‐tuning ESMC on experimentally validated variants, quantifying pathogenicity via Euclidean distances. It outperforms general‐purpose models and extends to five cancer genes, enabling interpretable variant classification for precision medicine.
Huiying Chen +15 more
wiley +1 more source
An exact method for a discrete multiobjective linear fractional optimization [PDF]
Integer linear fractional programming problem with multiple objective MOILFP is an important field of research and has not received as much attention as did multiple objective linear fractional programming.
Chergui, M. E-A, Moulai, M.
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Advanced Science, EarlyView.Laser‐induced graphene (LIG) provides a scalable, laser‐direct‐written route to porous graphene architecture with tunable chemistry and defect density. Through heterojunction engineering, catalytic functionalization, and intrinsic self‐heating, LIG achieves highly sensitive and selective detection of NOX, NH3, H2, and humidity, supporting next ...
Md Abu Sayeed Biswas +6 more
wiley +1 more source
Optimization of Sparsity-Constrained Neural Networks as a Mixed Integer Linear Program [PDF]
, 2023 Bodo Rosenhahn
openalex +1 more source
A constructive proof of a unimodular transformation theorem for simplices [PDF]
Matrices;Linear Programming;Integer ...
Yang, Z.
core +1 more source
Determination of the Optimal Manpower Size Using Linear Programming Model [PDF]
, 2007 There would be no meaningful development lllltil manpower that involves in the transformation of production facilities into useful goods and services is well trained and planned.
Akinyele, S.T.
core