Results 121 to 130 of about 168,952 (269)

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

Heat-Damaged Fruits of 'Čačanska Lepotica' as a Raw Material for Plum Spirit Production: Possibilities for Improving Product Quality. [PDF]

Foods
Popović B, Nikićević N, Tešević V, Urošević I, Mitrović O, Leposavić A, Korićanac A.   +6 more
europepmc   +1 more source

Photonic Time Crystals and Time‐Varying Electromagnetic Metamatter: A New Direction for Ultrafast Tunable Photonic and Microwave Materials and Devices

Advanced Science, EarlyView.
Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel, Shriram Ramanathan, Ronald P. Jenkins, Michael J. Carter   +3 more
wiley   +1 more source

Reporting of dog-assisted intervention trials: extension of the SPIRIT 2025 and CONSORT 2025 statement. [PDF]

BMC Med Res Methodol
Hall SS, Shoesmith E, Riga E, Mills DS, Gibsone S, McMillan D, Wu Q, Clarke C, Ratschen E.   +8 more
europepmc   +1 more source

IL‐7R‐Enriched Extracellular Vesicles From the Thymus Drive Colitis via Promoting Neutrophil Extracellular Trap Formation

Advanced Science, EarlyView.
Inflammatory bowel disease (IBD) pathogenesis remains unclear. This study reveals that thymus‐originated IL‐7R‐enriched extracellular vesicles exacerbate colitis by promoting neutrophil extracellular traps via a thymus‐gut axis, uncovering an inter‐organ communication mechanism in inflammatory bowel disease pathogenesis.
Yao Liao, Yuheng Liu, Ruibing Yang, Zifeng Zhu, Junwei Wu, Dinghao Li, Jin Su, Yingxin He, Shiqi Luo, Feiyang Cao, Haiyi Deng, Lanmengxi Yang, Ling Zhong, Peiying Peng, Xinyi Wu, Chunmei Cai, Zhen Li, Yujin Wu, Shuofeng Zhu, Jie Wei, Yi Yang, Lifu Wang   +21 more
wiley   +1 more source

"So Much Comes Up": Emotion Regulation in Psychotherapy Addressing Existential, Spiritual and Religious Themes. [PDF]

Behav Sci (Basel)
van Nieuw Amerongen JC, van Stam C, Romkes-Bart AM, Braam AW, Schaap-Jonker H, van den Brink B.   +5 more
europepmc   +1 more source

A Pollen‐Enhanced Bionic Mechanoreceptor Induced by Asymmetric Ionic Convection in Hydrogel for Sensory‐Augmented Prostheses

Advanced Science, EarlyView.
This work proposed a pollen‐enhanced bionic mechanoreceptor based on ionic convection. Leveraging the ion anchoring effect of the pollen particle, the output performance could be ∼12 times higher than the original state. By employing deep learning models as AI brains, the feasibility of a sensory‐augmented prosthesis consisting of a pollen‐enhanced ...
Zi Hao Guo, Jingyu Deng, Yanzhang Xu, Chenchen Zhou, Yangshi Shao, Xiong Pu, Munho Kim, Namjoon Cho   +7 more
wiley   +1 more source

Exploring the connection between authoritarian-benevolent leadership and craftsman spirit: the mediating role of loyalty. [PDF]

Front Psychol
Zhang H, Li F.
europepmc   +1 more source

Cysteine Redox State Governs the Condensation Pathway of Hendra Virus W Protein and Differentially Impacts Type I IFN and NF‐κB Signaling

Advanced Science, EarlyView.
The cysteine redox state of the Hendra virus W (WHeV) protein controls assembly into fibrils or amorphous aggregates, with residues 2–29 required for fibrillation. In cells, WHeV forms different types of nuclear condensates. Impaired ability to form redox‐sensitive, non‐filamentous condensates reduces WHeV inhibition of the NF‐κB pathway, while it ...
Frank Gondelaud, Alexandre Lalande, Giulia Pesce, Auriane Bouchet, Carole Meunier, Christophe Bignon, Denis Ptchelkine, Yu Gu, Eva Ogire, Pierre‐Yves Lozach, Denis Gerlier, Cyrille Mathieu, Sonia Longhi   +12 more
wiley   +1 more source

Protocol for a scoping review of interventional trials in complex regional pain syndrome: evaluation of adherence to the core outcome set, SPIRIT-PRO and CONSORT-PRO guidelines. [PDF]

BMJ Open
Cork H, Deutsch A, Kyte R, Turner D, Kyte D.   +4 more
europepmc   +1 more source