Results 81 to 90 of about 3,546,540 (364)
Constructing quotient inductive-inductive types [PDF]
Proceedings of the ACM on Programming Languages, 2019 Quotient inductive-inductive types (QIITs) generalise inductive types in two ways: a QIIT can have more than one sort and the later sorts can be indexed over the previous ones. In addition, equality constructors are also allowed. We work in a setting with uniqueness of identity proofs, hence we use the term QIIT instead of higher inductive-inductive ...
Ambrus Kaposi +2 more
openaire +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Low-dose Misoprostol for Second Trimester Pregnancy Termination in Women with a Prior Caesarean Delivery [PDF]
Journal of Clinical and Diagnostic Research, 2019 Introduction: Termination of Pregnancy (ToP) is an obstetric procedure that can be performed by surgical or medical techniques during the first or second trimester of pregnancy.
Emine Aydin, Ozgur Ozyuncu
doaj +1 more source
Mathematical induction, transfinite induction, and induction over the continuum
International Journal of Mathematics and Mathematics Education, 2023 This article examines three types of induction methods in mathematics: mathematical induction, transfinite induction, and induction over the continuum. If a statement holds true for all natural numbers, it is proven using mathematical induction. If a statement holds true for all ordinal numbers, it is proven using transfinite induction. Since induction
Denik Agustito +2 more
openaire +1 more source
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
Constructing Induction Rules for Deductive Synthesis Proofs
CLASE, 2006 We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of correct computer programs from specifications of their desired behaviour ...
A. Bundy +3 more
semanticscholar +1 more source
Some Worries for Norton’s Material Theory of Induction [PDF]
, 2008 In this essay, I take the role as friendly commentator and call attention to three potential worries for John D. Norton’s material theory of induction (Norton, 2003).
Ducheyne, Steffen
core +1 more source
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
Can Rationalist Abductivism Solve the Problem of Induction? [PDF]
, 2008 According to Laurence BonJour, the problem of induction can be solved by recognizing the a priori necessity that inductive conclusions constitute the best explanations of inductive premises.
JAMES R. BEEBE, Beebe, James
core +1 more source
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