Results 61 to 70 of about 1,240,536 (266)
Student teachers' conceptions of mathematical proof [PDF]
, 1997 The successful teaching of mathematical proof depends crucially on the subject knowledge of mathematics teachers. Yet the knowledge that teachers have of mathematics has become a matter of major concern in both pre-service and in-service teacher ...
Keith Jones, Jones, Keith
core
Hydrostatic pressure activates HIF‐1α via β‐catenin to promote stemness in breast cancer cells
FEBS Open Bio, EarlyView.To mimic the elevated intestinal fluid pressure in breast cancers, we loaded human breast cancer cells (MCF‐7, MDA‐MB‐453, and BT‐474) to 50 mmHg hydrostatic pressure. Hydrostatic pressure exposure upregulated HIF‐1α and induced stemness in MCF‐7 and BT‐474 cells.
Da Zhai +8 more
wiley +1 more source
The design of textbooks and their influence on students’ understanding of ‘proof’ in lower secondary school [PDF]
, 2009 In this paper we report on our analysis of textbooks commonly used for teaching students about proof in geometry in lower secondary school in Japan. From our analysis we found that, as expected from the curriculum specification, deductive reasoning is ...
Kunimune, Susumu +2 more
core
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Some remarks on proof-theoretic semantics [PDF]
, 2015 This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core +1 more source
From Syntactic Proofs to Combinatorial Proofs [PDF]
, 2018 In this paper we investigate Hughes’ combinatorial proofs as a notion of proof identity for classical logic. We show for various syntactic formalisms including sequent calculus, analytic tableaux, and resolution, how they can be translated into combinatorial proofs, and which notion of identity they enforce.
Matteo Acclavio, Lutz Straßburger
openaire +1 more source
Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells
FEBS Open Bio, EarlyView.Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim +4 more
wiley +1 more source
FEBS Open Bio, EarlyView.Repair of neuronal DNA damage in Alzheimer's disease by KCL‐286. (A) Amyloid‐β oligomers and plaques impair neuronal DNA repair pathways, leading to DNA double‐strand breaks and glial activation. (B) KCL‐286 activates RARβ/RXR signalling via retinoic acid response elements (RAREs), associated with increased BRCA1 expression, enhanced DNA repair and ...
Natasha Hill +6 more
wiley +1 more source
Developing pedagogic approaches for proof: learning from teaching in the East and West [PDF]
, 2009 In our work we focus on learning from the teaching of proof in geometry at the lower secondary school level across countries in the East and in the West.
Matsumoto, Shinichiro +5 more
core
Recursive Program Optimization Through Inductive Synthesis Proof Transformation [PDF]
, 1999 The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more efficient
Bundy, Alan +5 more
core +1 more source