Results 81 to 90 of about 323,447 (317)
A Generalized Criterion for Signature Related Gröbner Basis Algorithms [PDF]
arXiv, 2011 A generalized criterion for signature related algorithms to compute Gr\"obner basis is proposed in this paper. Signature related algorithms are a popular kind of algorithms for computing Gr\"obner basis, including the famous F5 algorithm, the extended F5 algorithm and the GVW algorithm.
arxiv
Bouncing threads for infinitary and circular proofs [PDF]
arXiv, 2020 We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account axioms and cuts. We show that it is sound and enjoys the cut elimination property.
arxiv
FEBS Open Bio, EarlyView.We introduce an immunohistochemistry method to measure autophagy flux, highlighting the active degradation and recycling of cellular waste. This cost‐effective approach uses tissue samples to track key markers like LC3 and SQSTM1, revealing how cells maintain health or respond to diseases such as cancer. It bridges the gap between research and clinical
Shahla Shojaei +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.Measuring AMP‐activated protein kinase (AMPK) activity in vitro is crucial for testing AMPK activators or inhibitors with therapeutic potential. Here, we report an enzyme‐linked immunosorbent assay (ELISA)‐based AMPK activity assay with simple steps and high sensitivity, which offers a simple, robust, and cost‐effective alternative to traditional ...
Trezze P. Nguyen, Shangze Lyu, Yang Liu
wiley +1 more source
Aging and Cancer, EarlyView.ABSTRACT Purpose To assess the long‐term effects of a community cancer exercise program on quality of life, fatigue, weight, waist circumference, physical activity levels, lower extremity strength, body mass index (BMI), heart rate, and blood pressure, across non‐metastatic and metastatic patients.
Isaac Oppong, Roozbeh Naemi
wiley +1 more source
Clinical Epidemiology, 2017 Marie Germund Nielsen,1 Eva Ørnbøl,2 Per Bech,3 Mogens Vestergaard,1,4 Kaj Sparle Christensen1 1Research Unit for General Practice, Department of Public Health, Aarhus University, 2Research Clinic for Functional Disorders and Psychosomatics,
Nielsen MG +4 more
doaj
A General Criterion for the Dynamical Stability of Anisotropic Newtonian Systems [PDF]
arXiv, 2016 The problem of the dynamical stability of anistropic systems is studied, by proposing a criterion in terms of the adiabatic local index $\gamma$. The result has general validity and can be applied to several physical situations. Configurations that cannot exist in the isotropic regime can exist in the anisotropic one. Some applications of the criterion
arxiv
A unified breaking onset criterion for surface gravity water waves in arbitrary depth [PDF]
arXiv, 2019 We investigate the validity and robustness of the Barthelemy et al. (2018) breaking wave onset prediction framework for surface gravity water waves in arbitrary water depth, including shallow water breaking over varying bathymetry. We show that the Barthelemy et al.
arxiv
Clinical Interventions in Aging, 2021 Simone Chantal Gafner,1,2 Lara Allet,3,4 Roger Hilfiker,4 Caroline Henrice Germaine Bastiaenen2 1Geneva School of Health Sciences, HES-SO University of Applied Sciences and Arts Western Switzerland, Geneva, Switzerland; 2Department of Epidemiology ...
Gafner SC +3 more
doaj
Examining the factor structure of the teachers’ sense of efficacy scale - short form in a Serbian sample of elementary-level teachers: A bifactor-ESEM approach [PDF]
PsihologijaThis study explored the factor structure of the short form of the Teachers’ Sense of Efficacy Scale (TSES-Sf) using Confirmatory Factor Analysis (CFA), and Exploratory Structural Equation Modeling (ESEM), as well as bifactor models based on these two ...
Lazić Milica +2 more
doaj +1 more source