Results 151 to 160 of about 153,490 (309)

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

Correspondence of Contradictions in the Constructive Connexive Calculus <b>C</b>. [PDF]

Arch Math Log
Niki S.
europepmc   +1 more source

Pholidota‐Inspired Electronic Skin Possessing Terahertz‐Wave Reflection–Absorption–Transmission Switchability

Advanced Science, EarlyView.
The pholidota‐inspired electronic skin is successfully constructed, originally realized four‐state reversible switching of terahertz‐wave reflection, absorption, transmission, and secondary reflection. In response to external demands, it issues deformation instructions, verifies the deformation state after the equipment executes the action, and thus ...
Shangjing Li, Jiangsong Hou, Yifeng Ruan, Jiang Du, Jun Qiu   +4 more
wiley   +1 more source

Reply to Arroyo et al.: Universality and diversity in thermal performance curves. [PDF]

Proc Natl Acad Sci U S A
Arnoldi JF, Jackson AL, Peralta-Maraver I, Payne N.   +3 more
europepmc   +1 more source

Clarification on a contradiction [PDF]

Lab Animal, 2018
openaire   +2 more sources

Contradiction: when avoidance equals removal - Part I

, 1994
. Recently several authors have stressed and illustrated the importance of including a second kind of negation (explicit negation) in logic programs besides "negation as failure", and its use in deductive databases, knowledge representation ...
Lu'is Moniz Pereira, Luís Moniz Pereira, José Júlio Alferes   +2 more
core  

Prior Expectations Bias Confidence Judgments Through Parietal Alpha‐Band Modulation

Advanced Science, EarlyView.
ABSTRACT Humans possess the metacognitive ability to estimate the likely accuracy of their own decisions through confidence judgments. Yet, whether prior information shapes confidence and the neural mechanisms mediating such influence, remain to be determined.
Luca Tarasi, Anna Pasini, Domenico Romanazzi, Margherita Covelli, Vincenzo Romei   +4 more
wiley   +1 more source

The refinement of drug safety governance based on contradiction matrix. [PDF]

BMC Public Health
Yao Y, Yang F, Zhang W.
europepmc   +1 more source

Androgen Receptor‐Induced Lactoferrin Accelerates Prostate Tumorigenesis Through Modulating Ferroptosis

Advanced Science, EarlyView.
This study demonstrates that transcription factor androgen receptor (AR) directly binds the LF promoter, driving lactoferrin overexpression to promote ferritin (FTH1/FTL) upregulation and inhibit p53‐ALOX12‐mediated ferroptosis in prostate cancer. Lactoferrin could be a new potential therapeutic target in prostate cancer.
Can Liu, Qiu Peng, Xiaoyue Zhang, Zhengshuo Li, Yangge Wu, Yuqing Wen, Run Zheng, Shuanglong Wu, Chenfei Zhou, Zhengyu Hu, Lanjun Shu, Xinyi Ma, Qiuyang Li, Ya Ma, Chunlin Ou, Ming Zhao, Songqing Fan, Lingyu Wei, Jian Ma   +18 more
wiley   +1 more source

Binary choice games and arithmetical comprehension. [PDF]

Arch Math Log
Aguilera JP, Kouptchinsky T.
europepmc   +1 more source