Results 41 to 50 of about 158,055 (244)

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, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Semi-chiral operators in 4d N $$ \mathcal{N} $$ = 1 gauge theories

Journal of High Energy Physics
We discuss the properties of quarter-BPS local operators in four-dimensional N $$ \mathcal{N} $$ = 1 supersymmetric Yang-Mills theory using the formalism of holomorphic twists.
Kasia Budzik, Davide Gaiotto, Justin Kulp, Brian R. Williams, Jingxiang Wu, Matthew Yu   +5 more
doaj   +1 more source

Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness [PDF]

, 2015
In this article, we consider a simple representation for real numbers and propose top-down procedures to approximate various algebraic and transcendental operations with arbitrary precision.
Groote, Jan Friso, Keshishzadeh, Sarmen
core   +2 more sources

On the approximation to algebraic numbers by algebraic numbers

Glasnik Matematicki, 2009
Let n be a positive integer. Let ξ be an algebraic real number of degree greater than n. It follows from a deep result of W. M. Schmidt that, for every positive real number e, there are infinitely many algebraic numbers α of degree at most n such that |ξ−α| < H(α)−n−1+e, where H(α) denotes the naive height of α. We sharpen this result by replacing e by
openaire   +3 more sources

Individual differences in algebraic cognition: Relation to the approximate number and semantic memory systems [PDF]

Journal of Experimental Child Psychology, 2015
The relation between performance on measures of algebraic cognition and acuity of the approximate number system (ANS) and memory for addition facts was assessed for 171 ninth graders (92 girls) while controlling for parental education, sex, reading achievement, speed of numeral processing, fluency of symbolic number processing, intelligence, and the ...
David C. Geary, Mary K. Hoard, Lara Nugent, Jeffrey N. Rouder   +3 more
openaire   +2 more sources

Mechanoadaptation via Myosin Cytoplasmic Redistribution Protects Circulating Tumor Cells From Shear‐induced Death During Hematogenous Dissemination

Advanced Science, EarlyView.
This study investigates how CTCs survive varying shear stress during hematogenous metastasis. We uncover a self‐protection mechanism, by which non‐adherent CTCs adapt to high shearing milieu through accumulated cytoplasmic myosin‐mediated disruption of myosin‐actin binding, attenuating force transmission into chromatin to protect CTCs from shear ...
Cunyu Zhang, Qianchun Wang, Keming Li, Guanshuo Hu, Ying Xin, Kai Tang, Bing Hu, Pengyu Du, Renwei Mao, Baohua Ji, Youhua Tan   +10 more
wiley   +1 more source

Distinct Biotypes of Visual Perception in Major Depressive Disorder

Advanced Science, EarlyView.
In a discover dataset (272 acute MDD patients), this work identifies a novel depression biotype characterized by impaired visual motion perception, using machine learning clustering. An independent dataset confirms the robustness of this biotype through cross‐validation and demonstrates its generalizability.
Zhuoran Cai, Xi‐Wen Hu, Yuyang Li, Zheng Lin, Yongjie Li, Yong‐Chun Cai, Tao Xu, Ke Jia, Jin‐Fang Han, Zhong‐Lin Tan, Dezhong Yao, Xue Mei Song, Sugai Liang, Georg Northoff   +13 more
wiley   +1 more source

AN EVOLUTIONARY ALGORITHM DETERMINING A DEFUZZYFICATION FUNCTIONAL

TASK Quarterly, 2007
Order fuzzy numbers are defined that make it possible to deal with fuzzy inputs quantitatively, exactly in the same way as with real numbers, together with four algebraic operations.
WITOLD KOSIŃSKI, URSZULA MARKOWSKA-KACZMAR   +1 more
doaj  

Diophantine approximation by conjugate algebraic integers

, 2003
Building on work of Davenport and Schmidt, we mainly prove two results. The first one is a version of Gel'fond's transcendence criterion which provides a sufficient condition for a complex or $p$-adic number $\xi$ to be algebraic in terms of the ...
Roy, Damien, Waldschmidt, Michel
core   +1 more source