Results 101 to 110 of about 20,157 (304)

Surrogate "Level-Based" Lagrangian Relaxation for mixed-integer linear programming. [PDF]

Sci Rep, 2022
Bragin MA, Tucker EL.
europepmc   +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

Author Correction: Surrogate "Level-Based" Lagrangian Relaxation for mixed-integer linear programming. [PDF]

Sci Rep, 2023
Bragin MA, Tucker EL.
europepmc   +1 more source

3D‐MOF‐Lattice Inspired Programmable Metamaterials Based on Reconfigurable Polyhedral Origami

Advanced Science, EarlyView.
A novel metamaterial design strategy: inspired by MOFs crystal networks, creating reconfigurable modular polyhedral units to overcome the limitations of traditional materials. These modules exhibit adjustable stiffness, bistability, and Poisson's ratio that can be adjusted from negative to positive values.
Xi Kang, Yangqin Zhang, Hongshuang Fan, Ziyan Xu, Yue Dong, Bing Li   +5 more
wiley   +1 more source

Cryptarithms: A Non-Programming Approach Using Excel

Spreadsheets in Education, 2016
This paper presents a method for solving cryptarithms (variously known as alphametics, crypto-arithmetics, arithmetical restorations, and verbal arithmetic) using Microsoft Excel along with the Solver add-in.
Keith Luoma
doaj  

Retracted: A Hybrid Algorithm of Ant Colony and Benders Decomposition for Large-Scale Mixed Integer Linear Programming. [PDF]

Comput Intell Neurosci, 2023
Intelligence And Neuroscience C.
europepmc   +1 more source

Inferring Gene Regulatory Networks From Single‐Cell RNA Sequencing Data by Dual‐Role Graph Contrastive Learning

Advanced Science, EarlyView.
RegGAIN is a novel and powerful deep learning framework for inferring gene regulatory networks (GRNs) from single‐cell RNA sequencing data. By integrating self‐supervised contrastive learning with dual‐role gene representations, it consistently outperforms existing methods in both accuracy and robustness.
Qiyuan Guan, Jiating Yu, Jieyi Pan, Fan Yuan, Jiadong Ji, Rusong Zhao, Zhi‐Ping Liu, Bingqiang Liu, Ling‐Yun Wu, Duanchen Sun   +9 more
wiley   +1 more source

Research on outpatient capacity planning combining lean thinking and integer linear programming. [PDF]

BMC Med Inform Decis Mak, 2023
Hua L, Dongmei M, Xinyu Y, Xinyue Z, Shutong W, Dongxuan W, Hao P, Ying W.   +7 more
europepmc   +1 more source

Nanozymes Integrated Biochips Toward Smart Detection System

Advanced Science, EarlyView.
This review systematically outlines the integration of nanozymes, biochips, and artificial intelligence (AI) for intelligent biosensing. It details how their convergence enhances signal amplification, enables portable detection, and improves data interpretation.
Dongyu Chen, Wang Zheng, Zhihui Zhang, Shenping Yu, Xinxin Hang, Han Wu, Xiao‐Wei Xiang, Wei Mu, Yanli Jiao, Zaizai Dong, Lingqian Chang   +10 more
wiley   +1 more source

Tabu Search-Based Heuristic Solver for General Integer Linear Programming Problems

IEEE Access
This paper presents a tabu search-based heuristic solver for general integer linear programming (ILP) problems as a dependable alternative to branch-and-bound (B&B) solvers.
Yuji Koguma
doaj   +1 more source