Results 91 to 100 of about 2,606,960 (274)

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

On the Composition and Neutrix Composition of the Delta Function with the Hyperbolic Tangent and Its Inverse Functions

Journal of Applied Mathematics, 2011
Let F be a distribution in D' and let f be a locally summable function. The composition F(f(x)) of F and f is said to exist and be equal to the distribution h(x) if the limit of the sequence {Fn(f(x))} is equal to h(x), where Fn(x)=F(x)*δn(x) for n=1,2,…
Brian Fisher, Adem Kılıçman
doaj   +1 more source

FATCOP: A Fault Tolerant Condor-PVM Mixed Integer Programming Solver [PDF]

, 1999
We describe FATCOP, a new parallel mixed integer program solver written in PVM. The implementation uses the Condor resource management system to provide a virtual machine composed of otherwise idle computers.
Chen, Qun, Ferris, Michael
core  

Recent Advances in Laser‐Induced Graphene‐Based Gas Sensors: From Sensing Mechanisms to Biomedical Applications

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, Ankan Dutta, Shuvendu Das, Abu Musa Abdullah, Wanqing Zhang, Fatema Tuz Zohra, Huanyu Cheng   +6 more
wiley   +1 more source

Casting light on integer compositions

Aequationes mathematicae
Abstract Integer compositions of n are viewed as bargraphs with n circular nodes or square cells in which the ith part of the composition $$x_i$$ x i is given by the ith ...
Blecher, Aubrey, Knopfmacher, Arnold, Mays, Michael   +2 more
openaire   +1 more source

Two row mixed integer cuts via lifting [PDF]

Recently, Andersen et al. [1], Borozan and Cornuéjols [6] and Cornuéjols and Margot [9] characterized extreme inequalities of a system of two rows with two free integer variables and nonnegative continuous variables.
WOLSEY, Laurence A., SANTANU, Dey
core  

Charting Endocrine Progenitors Across Species and Organs

Advanced Science, EarlyView.
Endocrine progenitors give rise to the hormone‐producing cells of the pancreas and intestine. Using single‐cell multiomics and proteomics, this study compares these progenitors across species, systems, and organs, mapping the conserved and species‐specific gene regulatory networks that guide their formation.
Changying Jing, Michael Sterr, Özüm Sehnaz Caliskan, Lama Saber, Nicole Katarina Rogers, Samuel Ogden, Kei Kozawa, Christos Karampelias, Jessica Jaki, Aimée Bastidas‐Ponce, Falk Janos Farkas, Oliver Czarnecki, Osvaldo Rodrigues Pereira, Perla Cota, Valerie Vandenbempt, Diego Balboa, Anika Böttcher, Natalie Krahmer, Mohammad Lotfollahi, Julie B. Sneddon, Heiko Lickert, Mostafa Bakhti   +21 more
wiley   +1 more source

FATCOP 2.0: Advanced Features in an Opportunistic Mixed Integer Programming Solver [PDF]

, 2000
We describe FATCOP 2.0, a new parallel mixed integer program solver that works in an opportunistic computing environment provided by the Condor resource management system.
Linderoth, Jeff, Chen, Qun, Ferris, Michael   +2 more
core  

ON THE INFERIOR AND SUPERIOR k-TH POWER PART OF A POSITIVE INTEGER AND DIVISOR FUNCTION [PDF]

, 2000
For any positive integer n, let a{n) and b{n) denote the inferior and superior k-th power part of n ...
ZHENG, JIANFENG
core   +1 more source

Physics‐Embedded Neural Network: A Novel Approach to Design Polymeric Materials

Advanced Science, EarlyView.
Traditional black‐box models for polymer mechanics rely solely on data and lack physical interpretability. This work presents a physics‐embedded neural network (PENN) that integrates constitutive equations into machine learning. The approach ensures reliable stress predictions, provides interpretable parameters, and enables performance‐driven, inverse ...
Siqi Zhan, Hengheng Zhao, Haotian Wang, Zhanjie Liu, Qian Li, Weifeng Zhang, Qingsong Zhao, Liqun Zhang, Jun Liu   +8 more
wiley   +1 more source