Results 171 to 180 of about 690,664 (279)

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

Knowledge as a Key Factor in Consumption and Its Importance for Agrifood Product Communication. [PDF]

J Food Sci
Garrido-Castro E, Valdelomar-Muñoz S, Torres-Ruiz FJ, Murgado-Armenteros EM.   +3 more
europepmc   +1 more source

The Interplay of Magnetic Order with the Electronic Scattering and Crystal‐Field Effects in a Metallic Ferromagnet

Advanced Science, EarlyView.
The interplay between magnetic ordering and crystal electric field (CEF) excitations plays a pivotal role in defining the low‐energy electrodynamics of quantum materials. By probing the temperature‐dependent THz conductivity in a rare‐earth‐based metallic ferromagnet, we uncover a microscopic connection between localized and itinerant electrons ...
Payel Shee, Tanaya Halder, Chia‐Jung Yang, Nainish Tickoo, Ratiranjan Samal, Ruta Kulkarni, Shishir K. Pandey, Vikas Kashid, Ashis K. Nandy, Arumugam Thamizhavel, Anamitra Mukherjee, Shovon Pal   +11 more
wiley   +1 more source

To Ignore, to Join in, or to Intervene? Contextual and Individual Factors Influencing Cyber Bystanders' Response to Cyberbullying Incidents. [PDF]

Children (Basel)
Arató N, Németh L, Macaulay PJR.
europepmc   +1 more source

Multi‐Scale Structural Effects of External Electrical Fields of Melt Tracks in Laser Powder Bed Fusion

Advanced Science, EarlyView.
Laser material processing is a promising technique for fabricating metal structures. Here, external electric field (EFs) assisted laser processing of metallic powders are investigated. EFs affect the melt tracks through changes in their stability and influence the grain structure in conjunction with laser intensity distribution methods. The EF‐assisted
Ankit Das, Shuichiro Hayashi, Craig B. Arnold   +2 more
wiley   +1 more source

Informing does not require attributing ignorance. [PDF]

Proc Natl Acad Sci U S A
Royka A, Santos LR.
europepmc   +1 more source

Ignorance, incompetence, and the concept of liberty [PDF]

, 2007
Benn S. I., Day J. P., O'Neill O., Pattanaik P., Steiner H.   +4 more
core   +2 more sources

Stress‐Induced Melting Controlled Failure Mechanisms of Methane Hydrate

Advanced Science, EarlyView.
We study methane hydrate via nanoindentation and nuclear magnetic resonance (NMR), finding its regional melting and mechanical properties, challenging existing views on hydrogen‐bonded crystals. Abstract Methane hydrate, a kind of nonstoichiometric crystalline, attracted worldwide attentions as a promising substitute energy. Its Dissociation is thought
Yanlong Li, Yuan Zhou, Zhengcai Zhang, Minhui Qi, Yajuan Zhang, Yujing Jiang, Yunkai Ji, Qingguo Meng, Yongfu Sun, Nengyou Wu   +9 more
wiley   +1 more source

Virginity Control and Hymen (re)Construction: Gender Analysis from the Perspective of Young Women. [PDF]

Arch Sex Behav
Christianson M, Eriksson C.
europepmc   +1 more source

Effectiveness of Pre‐Transplant Dual GLP‐1 Receptor Agonist and SGLT2 Inhibitor Therapy on All‐Cause Mortality in Organ Transplantation Candidates with Obesity and Type 2 Diabetes: a Target‐Trial Emulation

Advanced Science, EarlyView.
This target trial emulation in solid organ transplant candidates with obesity and type 2 diabetes evaluates whether pre‐transplant dual therapy with GLP‐1 receptor agonists plus SGLT2 inhibitors is associated with post‐transplant mortality and kidney graft outcomes compared with monotherapy or usual care, using multinational electronic health records ...
Yu‐Nan Huang, Min‐Yu Tsou, Pin‐Hung Li, Jo‐Ching Chen, Yen‐Liang Liu, Gideon Meyerowitz‐Katz, Tsung‐Hsun Tsai, Pen‐Hua Su   +7 more
wiley   +1 more source