Results 91 to 100 of about 295,535 (265)

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

Editorial: Design, Synthesis and Biomedical Applications of Functional Polymers. [PDF]

Front Chem, 2021
Fu C, Zhu C, Synatschke CV, Zhang X.
europepmc   +1 more source

NeuroSuite for Long‐Term Functional and Structural Studies of Air‐Liquid Interface Cerebral Organoids

Advanced Science, EarlyView.
NeuroSuite provides a modular hardware‐software platform integrating Neuroweb and NeuroMaps to enable long‐term, in situ electrophysiological interrogation of air–liquid interface organoid slices while preserving tissue architecture. Its components can be used together or independently to capture real‐time activity, spatial network dynamics, and ...
Belquis Haider, Sagnik Middya, Daniel J. Lloyd‐Davies‐Sánchez, Nino F. Läubli, Sulay Vora, Jakob Träuble, Rohan N. Krajeski, Yuqing Feng, Daniel Duncko, Josiah S. Riley, Rubén Ruiz‐Mateos Serrano, Ole Paulsen, Madeline A. Lancaster, George G. Malliaras, Gabriele S. Kaminski Schierle   +14 more
wiley   +1 more source

Smart energy systems and 4th generation district heating

International Journal of Sustainable Energy Planning and Management, 2016
Energy systems are becoming increasing increasingly complex, integrating across traditionally separate sectors such as transportation, heating, cooling and electricity.
Poul Alberg Østergaard, Henrik Lund, Brian Vad Mathiesen   +2 more
doaj   +1 more source

Design editorial

, 2019
N ...
openaire   +1 more source

Editorial: Design, Synthesis, and Application of Novel π-Conjugated Materials-Part Ⅱ. [PDF]

Front Chem, 2021
Dai Z, Ai T, Zhou Q, Zhang H.
europepmc   +1 more source

Ultrasound‐Actuated Gene Editing in Human Kidney Organoids

Advanced Science, EarlyView.
Peptide‐stabilized nanoemulsions enable spatially controlled, ultrasound‐triggered delivery of gene‐editing proteins deep within human kidney organoid tissues. Focused acoustic pulses drive droplet vaporization, propelling cargo into target renal cells while preserving native tissue microarchitecture. This non‐viral platform improves both the depth and
Michael A. Miller, Nicole Vo, Utkarsh, Ivan Sokirniy, Justin Pritchard, Benjamin S. Freedman, Scott H. Medina   +6 more
wiley   +1 more source

Editorial: Design and Implementation of Rehabilitation Interventions for People With Complex Psychosis. [PDF]

Front Psychiatry, 2021
Killaspy H, Craig T, Dark F, Harvey C, Medalia A.   +4 more
europepmc   +1 more source

Bifidobacterium Pseudolongum‐Derived Inosine Mitigates Polystyrene Nanoplastics‐Induced Hepatic Injury by Inhibiting the Polarization of M1 Macrophages

Advanced Science, EarlyView.
Probiotic B.p colonization elevated gut‐derived inosine level in the liver, while elevated inosine activated A2AR and subsequently blocked NPs‐induced polarization of M1 macrophages by repressing the miR155/SOCS1/NF‐κB pathway. This reduced the release of inflammatory cytokines and thereby, mitigated NPs‐induced hepatic injury.
Kaikai Zhang, Yuchuan Chen, Jiayuan Wan, Jianzheng Yang, Lijian Chen, Qingyuan Li, Anding Zhou, Nian Zhou, Jiuyang Ding, Qi Wang, Jian Sun   +10 more
wiley   +1 more source

Editorial: Design Pedagogy

, 2020
The number of DRS 2020 paper submissions relating to design education reflects the ongoing and active engagement of the design education research community. 2020 will, of course, be remembered for the Covid-19 pandemic and its impact on design education programs and colleagues around the world.
Jones, Derek, Nielsen, Liv Merete, Digranes, Ingvild, Lotz, Nicole, Noel, Lesley-Ann, Börekcle, Naz A. G. Z.   +5 more
openaire   +1 more source