Results 181 to 190 of about 79,462 (367)

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

Predicting the values of the leptonic CP violation phases in theories with discrete flavour symmetries [PDF]

, 2014
S. Petcov
semanticscholar   +1 more source

Discovery of an Adaptive Neuroimmune Response Driving Itch and Fast Tick Removal with Implications for Preventing Pathogen Transmission

Advanced Science, EarlyView.
Doehl et al. discovered an adaptive neuroimmune mechanism that induces itch in tick‐exposed guinea pigs, enabling rapid tick removal. This itch‐induced tick removal (IITR) is mediated by an adaptive cellular immune response and is independent of IgG, IgE, or TRPV1.
Johannes S. P. Doehl, Tiago D. Serafim, Serena Doh, Charles S. Grugan, Eva Iniguez, Luana Rogerio, Ronja Frigard, Ranadhir Dey, Pedro Cecilio, Xinglong Gu, Pang‐Yen Tseng, Aline da Silva Moreira, Mahnaz Minai, James Oristian, Hans Ackerman, Steven Brooks, Caroline Percopo, Siu‐Ping Ng, Derron A. Alves, Lucas Tirloni, Jennifer M. Anderson, Adriana Marques, Fabiano Oliveira, Shaden Kamhawi, Daniel E. Sonenshine, José M. C. Ribeiro, Mark Hoon, Jesus G. Valenzuela   +27 more
wiley   +1 more source

Visualizing and Quantifying Impact with Mechanochromic Sensing Paints Based on Self‐Assembled Polydiacetylene‐Silk Core‐Shell Vesicles

Advanced Science, EarlyView.
Tracking physical impacts is important in many fields. Self‐assembled microparticles made from polydiacetylene and silk fibroin that change color from blue to red when hit can provide an alternative approach to traditional mechanical transducers, quantitatively visualizing impact with responses ranging from <100 to 770 N.
Marco Lo Presti, Giulia Guidetti, Elisabetta Ruggeri, Terri Lyne Carrington, Fiorenzo G. Omenetto   +4 more
wiley   +1 more source

Leucine‐Dependent SLC7A5–PGAM5 Interaction Promotes Advanced Atherosclerosis Through Hindering Mitochondrial Function of Macrophages

Advanced Science, EarlyView.
Higher plasma leucine is associated with increased risk of new‐onset myocardial infarction. Leucine deprivation alleviates advanced atherosclerosis in mice. Tumor‐induced leucine deprivation reprograms macrophage metabolism and increases CD5Lhi macrophages in mouse plaques. Mechanistically, leucine deficiency reduced SLC7A5‐PGAM5 binding in macrophages,
Shan Zhong, Xueyu Wang, Qingsong Li, Siqi Wang, Bin Sun, Wenjun Ni, Gengyu Zhou, Fan Wang, Xianwei Xie, Cheng Jin, Gang Xu, Peng Zhao, Xiang Peng, Feiyuan Han, Xiangwen Xi, Yidan Wang, Juan Xu, Yue Wang, Xia Gu, Shuo Li, Jian Zhang, Shuijie Li, Jinwei Tian   +22 more
wiley   +1 more source

Solving the strong CP problem without axions

Journal of High Energy Physics
We formulate general conditions under which the strong CP problem is solved by spontaneous CP violation. Quark-mass matrix elements are polynomials in the CP-breaking order parameters, engineered such that their determinant is a real constant.
Ferruccio Feruglio, Matteo Parriciatu, Alessandro Strumia, Arsenii Titov   +3 more
doaj   +1 more source

Tumor Extracellular Vesicles lncOSLMT Drives Lung Inflammatory Premetastatic Niche Formation in Osteosarcoma via m6A‐Dependent hnRNPA2B1/COX‐2 Axis

Advanced Science, EarlyView.
Tumor‐derived extracellular vesicles program inflammatory lung premetastatic niches through selective delivery of long noncoding RNAs. This work reveals EVs‐associated lncOSLMT as a key driver of lung fibroblast activation via m6A‐dependent PTGS2 stabilization.
Hongbo Li, Zehao Guo, Yutong Zou, Jiongfeng Zhang, Jixiang Shi, Xihong Fu, Jian Tu, Hao Yao, Xuanxuan Lu, Lili Wen, Xianbiao Xie   +10 more
wiley   +1 more source

Theory versus experiments in heavy flavour production [PDF]

, 2001
S. Frixione
openalex   +3 more sources

Pati-Salam models with A4 modular symmetry

Journal of High Energy Physics
The flavor structure of quarks and leptons and quark-lepton unification are studied in the framework of Pati-Salam models with A 4 modular symmetry. The three generations of the left-handed and right-handed fermions are assigned to be triplet or singlets
Gui-Jun Ding, Si-Yi Jiang, Stephen F. King, Jun-Nan Lu, Bu-Yao Qu   +4 more
doaj   +1 more source

Twisted Chiral Algebras of Class S and Mixed Feigin-Frenkel Gluing. [PDF]

Commun Math Phys, 2023
Beem C, Nair S.
europepmc   +1 more source