Results 61 to 70 of about 942,536 (317)

Tautology Elimination, Cut Elimination, and S5

Logic and Logical Philosophy, 2017
Tautology elimination rule was successfully applied in automated deduction and recently considered in the framework of sequent calculi where it is provably equivalent to cut rule. In this paper we focus on the advantages of proving admissibility of tautology elimination rule instead of cut for sequent calculi.
openaire   +3 more sources

An unexpected alternative viologen electron mediator site in tungsten‐containing formate dehydrogenase

FEBS Letters, EarlyView.
An unexpected alternative interaction site for ethyl viologen was identified in formate dehydrogenase 1 from Methylorubrum extorquens. Combined mutagenesis, kinetic analysis, and docking revealed that aromatic residues near an iron–sulfur cluster enable flavin mononucleotide‐independent electron transfer, offering a framework for engineering improved ...
Eleni G. Poloniataki, Yong Hwan Kim
wiley   +1 more source

Mild structure, low pressure: how might we increase young people’s social connection in the COVID-19-era

International Journal of Adolescence and Youth
This study aimed to understand how COVID-19 affected social connection, barriers to connection, and generated ideas for creating pro-connection activities and spaces.
Megan S. C. Lim, Angela C. Davis, Callan Rowe, Caitlin H. Douglass   +3 more
doaj   +1 more source

Microbiome−host proteostasis crosstalk—An emerging perspective on mechanisms and interventions toward healthy longevity

FEBS Letters, EarlyView.
Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley   +1 more source

Costing analysis of a Queensland community corrections hepatitis C screening program

BMC Health Services Research
Background People involved with the criminal justice system typically have lower healthcare engagement and higher risk of hepatitis C virus (HCV) infection than the general population. Interventions run at community corrections centres have the potential
Kelly Maynard, Farah Houdroge, Rachael Thompson, Anna L. Hawkes, Alisa Pedrana, Jacqueline A. Richmond, Nick Scott   +6 more
doaj   +1 more source

Density elimination

Theoretical Computer Science, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Agata Ciabattoni, George Metcalfe
openaire   +2 more sources

From mice to humans—divergent strategies for intestinal homeostasis and regeneration

FEBS Letters, EarlyView.
Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa, Shinya Sugimoto, Toshiro Sato   +2 more
wiley   +1 more source

Quality of inpatient test-and-treat malaria case-management in public and private hospitals in Kano State, Nigeria

Malaria Journal
Background Compliance with evidence-based treatment guidelines, supported by quality-assured parasitological diagnosis, is the mainstay of malaria case-management in Nigeria.
Dawit Getachew, Nnenna Ogbulafor, Emmanuel Shekarau, Babangida Musa, Abdullahi Yusuf, Safiyanu Haruna, Oladipo O. Oladosu, Olusola Oresanya, Kolawole Maxwell, Dejan Zurovac   +9 more
doaj   +1 more source

Three phosphatase families form a community: The phosphohydrolases that act upon inositol pyrophosphates

FEBS Letters, EarlyView.
Inositol pyrophosphates are energy‐rich signaling molecules that perform critical functions in cells. Three different families of phosphatases hydrolyze the β phosphate of the inositol pyrophosphate molecules: two have narrow specificities and one is promiscuous.
Ronda J. Rolfes
wiley   +1 more source

NPREC

, 2009
The National Prison Rape Elimination Commission was a bipartisan commission created by Congress as part of the Prison Rape Elimination Act of 2003 (PREA), 42 U.S.C. § 15601, et seq.
United States. National Prison Rape Elimination Commission.
core