Results 131 to 140 of about 565,499 (245)

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

Ultra-Processed Foods: Definitions and Policy Issues. [PDF]

Curr Dev Nutr, 2019
Gibney MJ.
europepmc   +1 more source

Autoimmune Encephalitis in Acute Care—Pathology, Diagnosis, and Management

Advanced Science, EarlyView.
ABSTRACT Autoimmune encephalitis (AE) is characterized by immune‐mediated inflammation of the brain parenchyma, presenting with various neurological syndromes, including but not limited to seizures, altered consciousness, neuropsychiatric symptoms, and movement disorders.
Suneesh Thilak, David Okoh, William Scotton, Shanika Samarasekera, Vikram Patil, Suresh Renukappa, Andrew Macduff, Subashini Suresh, Rajeev Krishnadas, Tonny Veenith   +9 more
wiley   +1 more source

Activation of ERBB4 Pathway Inhibits Pathological Transdifferentiation of Lung Epithelial Progenitors into CD66c+ Basal Cells in Severe Lung Injury

Advanced Science, EarlyView.
In fibrotic distal lung regions, CD66c+ basal cells emerge as a pathological state. Using human distal lung organoids, this study identifies CD66c+ basal cells as a pro‐fibrotic state arising through transdifferentiation from secretory, AT2, and basal cells.
Kaijun Lin, Xinran Deng, Haonan Wang, Yamei Jiang, Jian Sun, Hailin Ding, Ming Ye, Xiaoting Wang, Yu Wang, Li Yuan, Zhenju Song, Xinhua Lin, Shenfei Sun, Ning Jiang   +13 more
wiley   +1 more source

Policy cooperation and interface issues

Journal of Pharmaceutical Policy and Practice, 2015
Sabine Vogler, Nina Zimmermann, Veronika J Wirtz, Zaheer-Ud-Din Babar   +3 more
doaj   +1 more source

Prior Expectations Bias Confidence Judgments Through Parietal Alpha‐Band Modulation

Advanced Science, EarlyView.
ABSTRACT Humans possess the metacognitive ability to estimate the likely accuracy of their own decisions through confidence judgments. Yet, whether prior information shapes confidence and the neural mechanisms mediating such influence, remain to be determined.
Luca Tarasi, Anna Pasini, Domenico Romanazzi, Margherita Covelli, Vincenzo Romei   +4 more
wiley   +1 more source

Corals and Reef‐Dwelling Fish Regulate Carbon Storage and Cycling Processes in Coral Reef Ecosystems

Advanced Science, EarlyView.
Coral reefs are biodiversity hotspots, yet their role in carbon storage and cycling remains poorly understood. Using field surveys and modeling in the South China Sea, we reveal the overlooked potential of carbon storage in reef ecosystems and how reef fish, corals, and surface sediment jointly shape reef carbon reservoirs.
Yiting Chen, Wenliang Zhou, Lan Qiu, Han Lai, Mingpan Huang, Qian Li, Wen Yu, Pei‐Yuan Qian, Fuwen Wei   +8 more
wiley   +1 more source

Mapping the “Supply–Demand–Flow” of Ecosystem Services for Ecosystem Management in China

Advanced Science, EarlyView.
This study develops a “supply–demand–flow” framework clarifies how ecosystem services move between regions by distinguishing potential and actual supply and demand. Using integrated biophysical–socioeconomic modeling, nine services in China were mapped.
Yikun Zhang, Yadong Yang, Yongsheng Wang, Guirui Yu   +3 more
wiley   +1 more source

Getting ready for integrated vector management for improved disease prevention in Zimbabwe: a focus on key policy issues to consider. [PDF]

Malar J, 2019
Sande S, Zimba M, Nyasvisvo D, Mukuzunga M, Kooma EH, Mberikunashe J, Dube B.   +6 more
europepmc   +1 more source