Results 51 to 60 of about 242,919 (405)

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

Isolation and partial characterization of a D-galactose-binding lectin from the latex of Synadenium carinatum

Brazilian Archives of Biology and Technology, 2005
A lectin from the latex of Synadenium carinatum was purified by affinity chromatography on immobilized-D-galactose-agarose and shown to be a potent agglutinin of human erythrocytes.
Maria Aparecida Souza, Francielle Amâncio-Pereira, Cristina Ribeiro Barros Cardoso, Adriano Gomes da Silva, Edmar Gomes Silva, Lívia Resende Andrade, Janethe Deolina Oliveira Pena, Henrique Lanza, Sandra Regina Afonso-Cardoso   +8 more
doaj   +1 more source

GHRHR Deficiency Enhances Retinal Ganglion Cell Survival and Visual Functions in Experimental Glaucoma by Inhibiting Ferroptosis

Advanced Science, EarlyView.
Glaucoma, a major cause of blindness, involves retinal ganglion cell (RGC) degeneration. This study shows growth hormone‐releasing hormone receptor (GHRHR) deficiency preserves RGC survival and restores vision, unlike activation which only aids survival.
Yan Tong, Ming Ho Yam, Jiaxin Zhang, Lin Du, Linbin Zhou, Yolanda Wong Ying Yip, Bo Man Ho, Hemlata Bisnauthsing, Jiahui Li, Ivan Kong, Shushu Xu, Changzhen Fu, Karl K.H. So, Joaquim S.L. Vong, Ling‐Ping Cen, Ming‐Ming Yang, Khazeema Yousaf, Mai Har Sham, Sun On Chan, Poemen P. Chan, Chi Pui Pang, Clement C. Tham, Jing Na He, Jian Li, Wai Kit Chu   +24 more
wiley   +1 more source

Resin and Bagasse, Co-Products of Guayule Rubber Extraction: Applications in Different Fields for an Economic Viability and Ecological Approach

Engineering Proceedings, 2023
The economic viability of guayule as an industrial crop for natural rubber production depends largely on the potential valorization of these co-products.
Hind Houria Bougherra, Lamia Taouzinet, Sabiha Bechir, Khoukha Mouhoubi, Lynda Messaoudene, Ayoub Allam, Khodir Madani   +6 more
doaj   +1 more source

Green mediated synthesis and characterization of ZnO nanoparticles using Euphorbia Jatropa latex as reducing agent

, 2016
Presently the progress of green chemistry in the synthesis of nanoparticles with the use of plants has engrossed a great attention. This study reports the synthesis of ZnO using latex of Euphorbia Jatropa as reducing agent.
M. Geetha, H. Nagabhushana, H. N. Shivananjaiah   +2 more
semanticscholar   +1 more source

Lactation is Associated with Accelerated Postpartum Pelvic Floor Muscle Recovery in a Pregnant Simulated Birth Injury Model

Advanced Science, EarlyView.
ABSTRACT Healthy pelvic floor muscles (PFMs) are essential for proper pelvic floor function. The biggest risk factor for PFM dysfunction is injury sustained during vaginal childbirth, yet the factors that facilitate or impair PFM recovery from birth injury remain unknown.
Bianca L. Peña, Khushi M. Diwakar, Hillary K. Tran, Selena Cao, Celeste E. Lintz, Laila N. Hayes, Marianna Alperin, Karen L. Christman   +7 more
wiley   +1 more source

Evaluación de dos pruebas: comerciales de aglutinación en látex para la identificación de stafilococus aureus aislados de bovinos productores de leche

Revista Mexicana de Ciencias Pecuarias, 1985
Essers y Radebold en 1980 sugirieron el uso de la prueba de aglutinación en látex en portaobjeto para la detección de los estafilococos coagulasa positivos, incluyendo S. aureus, S. Intarmedius y S. hylcus.
Fidel Infante, Donald E. Jasper, Jon Dellinger   +2 more
doaj  

Аналіз можливостей верстання публікацій шахових партій у видавничій системі LaTeX [PDF]

, 2015
LaTeX is a software for typesetting documents. LaTeX is incredibly flexible—there are templates for chess game notations.
Іздрик, Ірина Романівна
core  

Potential pathways of indole acetic acid (IAA) biosynthesis in Euphorbia abyssinica [PDF]

, 2008
Desert candle (_Euphorbia abyssinica_ J.F. Gmel.) (further referred to as EAG) is a succulent tree of dry deciduous and evergreen montane forest, woodland and shrub savanna.
Raf Aerts, Bart Muys, Els Prinsen
core   +2 more sources

Aptamer‐Targeted PrPC Drives Colorectal Cancer Metastasis via a LYN‐STAT3 Complex and Enables Liquid Biopsy Detection

Advanced Science, EarlyView.
The aptamer WHY‐3E identifies PrPC as a CRC driver. Stabilized by USP18, endocytosed PrPC forms a LYN/STAT3 complex, upregulating MSN transcription to promote metastasis. Crucially, WHY‐3E sensitively detects PrPC‐positive circulating exosomes, establishing a robust theoretical foundation for non‐invasive clinical diagnostics.
Chunlin Wang, Hongyu Wu, Chaojing Zheng, Hao Zhang, Xiaoqiu Wu, Jiaqi Wang, Zewen Chang, Jun Xiang, Yunxiao Liu, Chenkai Zhang, Yuliuming Wang, Hao Jiang, Yuchen Zhong, Jun Luo, Ying Chen, NaNa Zhang, Weiyuan Zhang, Ziming Yuan, ChaoXia Zou, Weihong Tan, Meng Wang, Hanqing Hu, Tao Bing, Guiyu Wang   +23 more
wiley   +1 more source