Results 81 to 90 of about 359,233 (279)

First-order integer programming for MAP problems

, 2015
Finding the most probable (MAP) model in SRL frameworks such as Markov logic and Problog can, in principle, be solved by encoding the problem as a `grounded-out' mixed integer program (MIP).
Cussens, James
core   +1 more source

Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots

Advanced Robotics Research, EarlyView.
A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun, Liang Zhang, Jianwen Zeng, Xuefeng Wang   +3 more
wiley   +1 more source

A Relation between the Protocol Partition Number and the Quasi-Additive Bound [PDF]

, 2010
In this note, we show that the linear programming for computing the quasi-additive bound of the formula size of a Boolean function presented by Ueno [MFCS'10] is equivalent to the dual problem of the linear programming relaxation of an integer ...
Kamiyama, Naoyuki
core  

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

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

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

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

Globally Optimal Cell Tracking using Integer Programming [PDF]

, 2016
We propose a novel approach to automatically tracking cell populations in time-lapse images. To account for cell occlusions and overlaps, we introduce a robust method that generates an over-complete set of competing detection hypotheses.
Becker, Carlos, Fua, Pascal, Haubold, Carsten, Türetken, Engin, Wang, Xinchao   +4 more
core   +1 more source