Results 61 to 70 of about 101,625 (182)
This work develops dynamically softening polyacrylamide hydrogels for time‐resolved imaging during continuous mechanical transitions. The study revealed that mechanotransduction is biphasic; YAP/TAZ inactivation is driven by early loss of the nucleocytoskeletal continuum connecting subnuclear adhesions, F‐actin, and the nuclear envelope, coupled with ...
Alessandro Gandin +12 more
wiley +1 more source
By adjusting Ga's doping in Cu–Sn alloy, an ultra‐high elongation of 100.8% is achieved in first time. Ga forms a stable solid solution structure and a stronger electron exchange with Cu. This enhances strength‐ductility synergistically by tuning SFE to balance twinning and slip.
Dazhuo Song +15 more
wiley +1 more source
HSP90α is significantly upregulated in platelets from sepsis patients, with its origin from megakaryocyte‐derived trafficking. Furthermore, activated platelets secrete HSP90α into the extracellular space in both free and exosome‐associated forms. Finally, extracellular HSP90α directly engages TLR4 on neutrophils to induce autophagy, leading to NET ...
Chengbo Wang +17 more
wiley +1 more source
Climate change reshapes the spatial alignment between crop production and environmental resources. Using multi‐source data and a crop model, integrated climatic, water, and soil endowments for maize and wheat are quantified and compared with harvest distributions.
Zheng'e Su +13 more
wiley +1 more source
A Perspective on Interactive Theorem Provers in Physics
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
Towards Nominal Formal Languages [PDF]
We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions.
Kurz, Alexander +2 more
core +2 more sources
His‐MMDM: Multi‐Domain and Multi‐Omics Translation of Histopathological Images with Diffusion Models
His‐MMDM is a diffusion model‐based framework for scalable multi‐domain and multi‐omics translation of histopathological images, enabling tasks from virtual staining, cross‐tumor knowledge transfer, and omics‐guided image editing. ABSTRACT Generative AI (GenAI) has advanced computational pathology through various image translation models.
Zhongxiao Li +13 more
wiley +1 more source
Understanding protein sequence–function relationships remains challenging due to poorly defined motifs and limited residue‐level annotations. An annotation‐agnostic framework is introduced that segments protein sequences into “protein words” using attention patterns from protein language models.
Hedi Chen +9 more
wiley +1 more source
Automata and rational expressions
This text is an extended version of the chapter 'Automata and rational expressions' in the AutoMathA Handbook that will appear soon, published by the European Science Foundation and edited by ...
Sakarovitch, Jacques
core
This review charts the evolution of corneal hydrogels from passive replacements to active and intelligent systems, evaluating natural and synthetic materials while addressing design challenges such as transparency and strength. Advanced applications such as scarless wound healing, three‐dimensional bioprinting, and smart wearables are highlighted to ...
Xinwei Wang +9 more
wiley +1 more source

