Results 101 to 110 of about 4,940,107 (249)
Вестник медицинского института «Реавиз»: Реабилитация, врач и здоровьеThe article discusses the possibilities of functional diagnostics of the respiratory function of the lungs in patients with bronchial asthma and chronic obstructive pulmonary disease.
A. I. Mikhaylovicheva, V. V. Smirnov
doaj +1 more source
Type Systems for Systems Types
, 2019 This thesis presents a framework aimed at significantly reducing the cost of proving functional correctness for low-level operating systems components, designed around a new programming language, Cogent. This language is total, polymorphic, higher-order, and purely functional, including features such as algebraic data types and type inference ...
openaire +3 more sources
FEBS Letters, EarlyView.We identified a systemic, progressive loss of protein S‐glutathionylation—detected by nonreducing western blotting—alongside dysregulation of glutathione‐cycle enzymes in both neuronal and peripheral tissues of Taiwanese SMA mice. These alterations were partially rescued by SMN antisense oligonucleotide therapy, revealing persistent redox imbalance as ...
Sofia Vrettou, Brunhilde Wirth
wiley +1 more source
A typed lambda calculus with intersection types
Theoretical Computer Science, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Viviana Bono +2 more
openaire +4 more sources
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
Journal of Functional Morphology and KinesiologyObjectives: To identify typical patterns of abdominal wall muscle activation in patients with diastasis recti and inguinal hernias compared to controls during the Valsalva maneuver, voluntary coughing, and physical activity.
Dmitry Skvortsov +4 more
doaj +1 more source
The types and functions of code switching in a thesis defense examination
Edulite: Journal of English Education, Literature, and Culture, 2019 This study investigated the acts of code switching by lecturers and student in thesis defence examination at a university in Banda Aceh, Indonesia. The study involved five participants (four lectures and one student) of the English Language Department ...
Usman Kasim +2 more
doaj +1 more source
Algebras of acyclic cluster type: tree type and type $\widetilde{A}$
, 2010 In this paper, we study algebras of global dimension at most 2 whose generalized cluster category is equivalent to the cluster category of an acyclic quiver which is either a tree or of type $\widetilde{A}$. We are particularly interested in their derived equivalence classification.
Amiot, Claire, Oppermann, Steffen
openaire +4 more sources
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source