Results 151 to 160 of about 29,993 (267)

A Perspective on Interactive Theorem Provers in Physics

open access: yesAdvanced 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

Automated workflow for genotyping individual transposon library variants. [PDF]

open access: yesBMC Methods
Alejaldre L   +3 more
europepmc   +1 more source

A Radioresistant‐Tumor‐Targeted Nanoparticle for X‐Ray‐Controlled Nitric Oxide Release to Potentiate Radiotherapy

open access: yesAdvanced Science, EarlyView.
The PBTN targets GRP78 and, upon X‐ray irradiation, generates ONOO− to induce immunogenic cell death, thereby activating CD8+ T cells and establishing a systemic antitumor immune response. ABSTRACT Nitric oxide (NO) treated radioresistant tumors by relieving hypoxia and blocking DNA repair, but its nonselective toxicity has precluded therapeutic use ...
Wanze Zhang   +10 more
wiley   +1 more source

Nanocellulose Alleviates Intrahepatic Cholestasis of Pregnancy via Gut Microbiota‐Mediated Bile Acid Homeostasis

open access: yesAdvanced Science, EarlyView.
Nanocellulose, derived from microcrystalline cellulose (MCC) through sulfuric acid hydrolysis or mechanical grinding to produce CNC or CNF, was tested in a rat ICP model. Particularly, CNF improved gut microbiota composition, reduced secondary bile acid metabolism, and restored bile acid homeostasis through modulation of the gut–liver axis.
Muhua Yu   +18 more
wiley   +1 more source

A Brain‐Wide Atlas of Astrocytic Oxytocin Receptors Reveals a Glial Basis for Nucleus Accumbens Modulation of Affiliative Behavior

open access: yesAdvanced Science, EarlyView.
The cellular actors of oxytocin signaling are under intense scrutiny. A brain‐wide anatomical and functional analysis in mice and rats reveals widespread expression of oxytocin receptors in astrocytes. These receptors are functionally active and, in the nucleus accumbens, selectively regulate male social affiliation.
Clémence Denis   +32 more
wiley   +1 more source

Library as an automation object

open access: yesCONFERENCE MATERIALS, 2020
R.A. Abiev, B.SH. Dadaeva
openaire   +1 more source

Home - About - Disclaimer - Privacy