Results 91 to 100 of about 2,393 (165)
A Verified Implementation of Algebraic Numbers in Isabelle/HOL. [PDF]
J Autom Reason, 2020 Joosten SJC, Thiemann R, Yamada A.
europepmc +1 more source
Homogenization With Guaranteed Bounds via Primal‐Dual Physically Informed Neural Networks
International Journal for Numerical Methods in Engineering, Volume 127, Issue 6, 30 March 2026.ABSTRACT Physics‐informed neural networks (PINNs) have shown promise in solving partial differential equations (PDEs) relevant to multiscale modeling, but they often fail when applied to materials with discontinuous coefficients, such as media with piecewise constant properties. This paper introduces a dual formulation for the PINN framework to improve
Liya Gaynutdinova +3 more
wiley +1 more source
Journal of Computational Chemistry, Volume 47, Issue 7, March 15, 2026.We curate laccase‐substrate datasets and train five classifiers, from regularized logistic regression to tree‐based models and ChemBERTa, to predict whether a substrate will be oxidized. Feature importance and attention maps projected onto molecular substructures make the predictions interpretable and useful for pre‐screening before the bench ...
Yulia Kulagina +3 more
wiley +1 more source
Teaching and Learning Computational Drug Design: Student Investigations of 3D Quantitative Structure-Activity Relationships through Web Applications. [PDF]
J Chem Educ, 2020 Ragno R +5 more
europepmc +1 more source
New Zealanders’ Connection to the Night Sky
Kōtuitui: New Zealand Journal of Social Sciences Online, Volume 21, Issue 1, March 2026.Artificial light at night (ALAN) provides many benefits to people, but the resulting erosion of natural darkness is increasingly recognised as negatively affecting human and environmental health, scientific endeavours and cultural connection to the night sky. This first nationally representative survey assessed New Zealanders’ connection with the night
Ellen Cieraad, Jeff Dalley
wiley +1 more source
Perfect Matching Under Precedence Constraints
Networks, Volume 87, Issue 2, Page 175-190, March 2026.ABSTRACT In this article, we motivate and define variants of perfect matching under precedence constraints where a perfect matching is built incrementally and precedence constraints ensure that an edge may only be added to the matching if the edge's predecessor vertices have already been covered.
Christina Büsing, Corinna Mathwieser
wiley +1 more source
Networks, Volume 87, Issue 2, Page 111-130, March 2026.ABSTRACT This work considers branch‐price‐and‐cut algorithms for variants of the vehicle‐routing problem in which subset‐row inequalities (SRIs) are used to strengthen the linear relaxation. SRIs often help to substantially reduce the size of the branch‐and‐bound search tree.
Stefan Faldum +2 more
wiley +1 more source
Too good to be true: when overwhelming evidence fails to convince. [PDF]
Proc Math Phys Eng Sci, 2016 Gunn LJ +5 more
europepmc +1 more source
Proceedings in Applied Mathematics and Mechanics, Volume 26, Issue 1, March 2026.ABSTRACT Crystal plasticity simulations offer insights into the anisotropic deformation of polycrystalline materials such as metals and alloys. However, rate‐independent crystal plasticity models encounter the Taylor ambiguity, where the active slip systems and plastic slip magnitudes are not uniquely defined, posing well‐known numerical challenges [1].
Felix Steinmetz, Lisa Scheunemann
wiley +1 more source