Results 61 to 70 of about 8,297,419 (289)
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
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
Annales Universitatis Paedagogicae Cracoviensis: Studia Mathematica, 2022 Since Geronimo Cardano, algebraic equations of degree 4 have been solved analytically. Frequently, the solution algorithm is given in its entirety. We discovered two algorithms that lead to the same resolvente, each with two solutions; therefore, six ...
Norbert Südland +2 more
doaj
Algebraic curves for factorized string solutions [PDF]
Journal of High Energy Physics, 2013 We show how to construct an algebraic curve for factorized string solution in the context of the AdS/CFT correspondence. We define factorized solutions to be solutions where the flat-connection becomes independent of one of the worldsheet variables by a similarity transformation with a matrix $S$ satisfying $S^{-1}d S=const$.
openaire +2 more sources
Advanced Science, EarlyView.Computational Photochemistry has made great strides in recent decades, but the investigation of larger molecules remains a challenge due to the inherent dilemma between the increasing computational accuracy required as the molecule size increases and the inevitable explosion in computational effort.
Andreas Dreuw
wiley +1 more source
Advanced Science, EarlyView.The inhibitory immune checkpoints HLA‐G and CD47 are expressed on certain tumor types and inhibit immune cells in the tumor microenvironment. DSP216 binds specifically to cancer cells expressing both HLA‐G and CD47, and blocks their inhibitory signaling.
Lisa J. Jacob +12 more
wiley +1 more source
Advanced Science, EarlyView.A plasmonic optoelectronic memristor based on Te nanowires‐Au nanoparticles/ι‐carrageenan enables IR‐programmed and visiblelight‐erased non‐volatile conductance. The all‐photonic write/erase scheme supports in‐sensor logic and real‐time motion detection in darkness.
Jingyao Bian +7 more
wiley +1 more source
Beyond the Non‐Hermitian Skin Effect: Scaling‐Controlled Topology from Exceptional‐Bound Bands
Advanced Science, EarlyView.ABSTRACT We establish a novel mechanism for topological transitions in non‐Hermitian systems that are controlled by the system size. Based on a new paradigm known as exceptional‐bound (EB) band engineering, its mechanism hinges on the unique critical scaling behavior near an exceptional point, totally unrelated to the well‐known non‐Hermitian skin ...
Mengjie Yang, Ching Hua Lee
wiley +1 more source
On Solving The Systems of Algebraic Equations Using Gröbner Bases
Труды Института системного программирования РАН, 2018 Described and proved the algorithm for finding some solution of algebraic equations over arbitrary field k for zero dimension ideals if Gröbner basis of this ideal over lexicographic order is given.
Alexander Shokurov
doaj
HeliyonDespite significant progress in recent years, there is still evidence of gender differences and underrepresentation of women in leadership positions in mathematics.
Iris Schreiber, Hagit Ashkenazi
doaj +1 more source