Results 11 to 20 of about 10,350 (224)
Iterated multiplication in $$ VTC ^0$$ [PDF]
We show that $VTC^0$, the basic theory of bounded arithmetic corresponding to the complexity class $\mathrm{TC}^0$, proves the $IMUL$ axiom expressing the totality of iterated multiplication satisfying its recursive definition, by formalizing a suitable version of the $\mathrm{TC}^0$ iterated multiplication algorithm by Hesse, Allender, and Barrington.
Jeřábek, Emil
openaire +5 more sources
BackgroundTo evaluate the ability of tidal volume challenge (VTC)-induced hemodynamic changes to predict fluid responsiveness in patients during one-lung ventilation (OLV).Methods80 patients scheduled for elective thoracoscopic surgery with OLV were ...
Yang Zhang +4 more
doaj +1 more source
Semaglutide and Tirzepatide reduce alcohol consumption in individuals with obesity
Alcohol Use Disorder (AUD) contributes significantly to global mortality. GLP-1 (Glucagon-like peptide-1) and GLP-1/GIP (Glucose-dependent Insulinotropic Polypeptide) agonists, FDA-approved for managing type 2 diabetes and obesity, where the former has ...
Fatima Quddos +9 more
doaj +1 more source
Psychological stressors, like the nearby presence of a predator, can be strong enough to induce physiological/hormonal alterations, leading to appetite changes.
In-Jee You +3 more
doaj +1 more source
The platelet-derived growth factor-BB (PDGF-BB) pathway provides critical regulation of cerebrovascular pericytes, orchestrating their investment and retention within the brain microcirculation. Dysregulated PDGF Receptor-beta (PDGFRβ) signaling can lead
Laura Beth Payne +10 more
doaj +1 more source
The Non-Linear Path from Gene Dysfunction to Genetic Disease: Lessons from the MICPCH Mouse Model
Most human disease manifests as a result of tissue pathology, due to an underlying disease process (pathogenesis), rather than the acute loss of specific molecular function(s).
Konark Mukherjee +2 more
doaj +1 more source
Objective: To determine the feasibility, reliability, and acceptability of video teleconference (VTC)-based neuropsychological assessment using Addenbrooke's cognitive examination-III (ACE-III).
Garima Saini +8 more
doaj +1 more source
Peptidic Connexin43 Therapeutics in Cardiac Reparative Medicine
Connexin (Cx43)-formed channels have been linked to cardiac arrhythmias and diseases of the heart associated with myocardial tissue loss and fibrosis.
Spencer R. Marsh +3 more
doaj +1 more source
Napier grass is a herbaceous biomass that can be used as biofuel; however, its high ash, potassium, sulfur and chlorine content may cause problems when combusted.
Daniela Moloeznik Paniagua +5 more
doaj +1 more source
Reading-related responses in the lateral ventral temporal cortex (VTC) show a consistent spatial layout across individuals, which is puzzling, since reading skills are acquired during childhood.
Mareike Grotheer +2 more
doaj +1 more source

