Results 161 to 170 of about 105,358 (314)

Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems

, 2014
David Janin
openalex   +2 more sources

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

A combined genetic and phenotypic marker approach enables precise detection of hypervirulent <i>Klebsiella pneumoniae</i> and reveals associated traits of capsule overproduction and tellurite resistance. [PDF]

Microbiol Spectr
Duong TTT, Lin W-H, Tsai Y-M, Liao C-H, Huang Y-T, Hsueh P-R, Kao C-Y.   +6 more
europepmc   +1 more source

Revisiting Elastic String Models of Forward Interest Rates [PDF]

Victor Le Coz, Jean‐Philippe Bouchaud
openalex   +1 more source

Distinct Immunomodulatory Strategies Guide Mesenchymal Stromal/Stem Cell‐Mediated Bone Regeneration

Advanced Science, EarlyView.
Bone regeneration by mesenchymal stem cells is strongly influenced by immune signals. This study shows that priming stem cells with regulatory immune cells or an inflammation‐resolving lipid molecule enhances bone formation through distinct immune pathways.
Salwa Suliman, Carla Alvarez Rivas, Aashish Srivastava, Nora Marek, Kamal Mustafa, Alpdogan Kantarci   +5 more
wiley   +1 more source

Bidirectional reinforcement learning neural network for constrained molecular design. [PDF]

Sci Rep
Lin J, Hostaš J, Hu A, Hu H, Ooi HK, Ghaemi MS.   +5 more
europepmc   +1 more source

Finite-temperature properties of string-net models [PDF]

Anna Ritz-Zwilling, Jean-Noël Fuchs, Steven H. Simon, Julien Vidal   +3 more
openalex   +1 more source

Field Theory in 2+  Dimensions and Critical Dimension in the String Model. II [PDF]

, 1977
Yuji Chikashige, Yasunori Fujii
openalex   +1 more source

Direct Extracellular Matrix Modulation Attenuates Intestinal Fibrosis via a Fibronectin‐Targeted Approach

Advanced Science, EarlyView.
Fibronectin regulates the extracellular matrix (ECM)–myofibroblast cycle through three key steps: (1) its secretion and assembly by myofibroblasts (inhibited by pUR4); (2) collagen deposition along its scaffold (inhibited by R1R2); and (3) integrin α5β1‐mediated mechanotransduction (inhibited by ATN161).
Wenlong Ma, Siyu Yang, Tengkai Wang, Di Zhang, Hewei Wu, Shichen Fu, Xiaohan Wan, Lixiang Li, Xiuli Zuo, Yanqing Li, Jiaoyang Lu   +10 more
wiley   +1 more source

Medical pattern classification using a novel binary similarity approach based on an associative classifier. [PDF]

Front Artif Intell
Velazquez-Gonzalez O, Alarcón-Paredes A, Yañez-Marquez C.   +2 more
europepmc   +1 more source