Results 71 to 80 of about 1,573,175 (303)
Proof and proving in current classroom materials
, 2008 Research across many countries reports that teaching the key ideas of proof and proving to all students is not an easy task. This paper reports on the session of the BSRLM Geometry Working Group which examined current classroom material from the UK with ...
Clarke, Nichola +3 more
core +1 more source
ReligionsJames Sterba recently presented arguments against theories which ground morality in God and attempted “to provide an account of the norms on which an ethics without God can be appropriately grounded ….” In particular, Sterba noted that “Robert Adams is ...
Adam Lloyd Johnson
doaj +1 more source
Proofs of Proofs of Work with Sublinear Complexity
, 2016 In the setting of blockchain based transaction ledgers we study the problem of “simplified payment verification” (SPV) which refers to the setting of a transaction verifier that wishes to examine the last k blocks of the blockchain (e.g., for the purpose of verification of a certain transaction) using as only advice the genesis block (or some ...
Kiayias, A., Lamprou, N., Stouka, A.-P.
openaire +2 more sources
On Extending Bounded Proofs to Inductive Proofs [PDF]
, 2009 We propose a method for extending a bounded resolution proof to an unbounded inductive proof. More specifically, given a resolution proof that a state machine beginning at an initial state satisfies some property at cycle k , we show that the existence of a Δ -invariant cut implies that the property holds for cycles k + Δ , k + 2Δ , etc.
Oded Fuhrmann, Shlomo Hoory
openaire +2 more sources
Molecular Oncology, EarlyView.In head and neck squamous cell carcinoma (HNSCC) p53 and p63 exert opposite roles on the transcription regulation of the lncRNA NEAT1. Under basal conditions, p53 levels are low and p63 represses NEAT1 expression. Upon genotoxic stress, p53 is rapidly induced, displacing p63 from the NEAT1 promoter leading to NEAT1 transcriptional activation and ...
Sara De Domenico +5 more
wiley +1 more source
Food Chemistry: XIn this study, chlorine dioxide (ClO₂) was encapsulated within α-cyclodextrin (α-CD) via two approaches: in situ ClO₂ generation (EC) and effervescent tablets (ET).
Xiaoyan He +6 more
doaj +1 more source
Hérétique ou dément ? Autour du procès de Thomas d’Apulie à Paris en 1388
Criminocorpus, 2016 In october 1388, in Paris, a trial for heresy results for the first time in the use of forensic evidence. A group of physicians find the heretic mad, which allows him to escape death penalty. During the Middle Ages, madness (insania) is used by Church in
Maud Ternon
doaj +1 more source
Molecular Oncology, EarlyView.LVRF (lymphatic and vascular resistance factor) is a VEGFA splice variant upregulated in response to anti‐angiogenic therapy that fosters tumor adaptation through enhanced vascularization, lymphangiogenesis, and metastatic dissemination. Targeting LVRF with fully human neutralizing antibodies disrupts these processes and limits resistant tumor growth ...
Marion David +12 more
wiley +1 more source
Middle School Students' and Mathematicians' Judgments of Mathematical Typicality
Journal of Numerical Cognition, 2018 K-12 students often rely on testing examples to explore and determine the truth of mathematical conjectures. However, little is known about how K-12 students choose examples and what elements are important when considering example choice.
Candace Walkington +4 more
doaj +1 more source
Reprogramming tumor cells with LCOR mRNA nanotherapy to enhance immunotherapy
Molecular Oncology, EarlyView.LCOR (Ligand‐dependent corepressor) mRNA encapsulated in polymeric nanoparticles restores LCOR activity in tumor cells, constraining aggressive tumor cell states and increasing tumor immunogenicity. This reprogramming makes tumor cells more vulnerable to T‐cell attack and enhances their response to immune‐checkpoint immunotherapy.
Gabriel Serra‐Mir +9 more
wiley +1 more source