Results 71 to 80 of about 268,397 (277)

Mixed integer predictive control and shortest path reformulation [PDF]

, 2010
Mixed integer predictive control deals with optimizing integer and real control variables over a receding horizon. The mixed integer nature of controls might be a cause of intractability for instances of larger dimensions. To tackle this little issue, we
Bauso, Dario
core   +1 more source

Data‐Driven Bulldozer Blade Control for Autonomous Terrain Leveling

Advanced Robotics Research, EarlyView.
A simulation‐driven framework for autonomous bulldozer leveling is presented, combining high‐fidelity terramechanics simulation with a neural‐network‐based reduced‐order model. Gradient‐based optimization enables efficient, low‐level blade control that balances leveling quality and operation time.
Harry Zhang, Ganesh Arivoli, Huzaifa Unjhawala, Luning Bakke, Radu Serban, Dan Negrut   +5 more
wiley   +1 more source

Atomic‐Scale Insights into Yttrium‐Induced Grain Boundary Structure Modification in Al2O3

Advanced Science, EarlyView.
Using advanced STEM characterization combined with NNP‐based MCMD calculations, it is revealed that Y segregation at ∑13 Al2O3 GB involves not only simple substitution of Y for Al atoms but also structural adaptation with a change in GB atomic density, leading to minimized excess volume and lowest GB energy.
Jingyuan Yan, Tatsuya Yokoi, Yuuki Nakano, Shun Kondo, Bin Feng, Naoya Shibata, Katsuyuki Matsunaga, Yuichi Ikuhara   +7 more
wiley   +1 more source

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  

Algorithms for highly symmetric linear and integer programs [PDF]

, 2018
This paper deals with exploiting symmetry for solving linear and integer programming problems. Basic properties of linear representations of finite groups can be used to reduce symmetric linear programming to solving linear programs of lower dimension ...
Bödi, Richard, Herr, Katrin, Joswig, Michael   +2 more
core  

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, Priyanka Kumari, Sathyanarayana Paladugu, Damian Pociecha, Jakub Karcz, Przemysław Kula, Nataša Vaupotič, Ewa Górecka, Oleg D Lavrentovich   +8 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, Bockmayr, Alexander, Elf, Matthias, Kasper, Thomas, Jünger, Michael, Mehlhorn, Kurt   +5 more
openaire   +4 more sources

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, Haifan Gong, Yue Wang, Yinuo Zhao, Lixiang Li, Peijing Bao, Qingzhou Kong, Jialu Fu, Boyao Wan, Yumeng Zhang, Jinghui Zhang, Jiekun Ni, Zhongxue Han, Xueping Nan, Kunping Ju, Longfei Sun, Yuerui Ma, Huijun Chang, Mengqi Zheng, Yanbo Yu, Xiaoyun Yang, Xiuli Zuo, Haina Wang, Yanqing Li   +23 more
wiley   +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

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