Results 81 to 90 of about 1,573,175 (303)
Coalition-proof equilibrium [PDF]
, 1996 We characterize the agreements that the players of a noncooperative game may reach when they can communicate prior to play, but they cannot reach binding agreements: A coalition-proo[ equilibrium is a correlated strategy from which no coalition has an ...
Moreno, Diego, Wooders, John
core +1 more source
Lower secondary school students’ understanding of algebraic proof
, 2009 Secondary school students are known to face a range of difficulties in learning about proof and proving in mathematics. This paper reports on a study designed to address the issue of students’ cognitive needs for conviction and verification in algebraic ...
Kumakura, Hiroyuki +3 more
core +1 more source
A Lightweight Detection Algorithm for Strawberry Ripeness
IEEE AccessThis paper presents advancements in a streamlined maturity detection algorithm specifically tailored for strawberry harvesting, with a focus on achieving rapid and accurate identification of strawberry ripeness across challenging and varied environments.
Gaofeng Xu, Zhengcai Wang
doaj +1 more source
Engineering IL‐4 resistant proinflammatory human myeloid cells for cancer immunotherapy
Molecular Oncology, EarlyView.We developed a scalable workflow to generate proinflammatory human myeloid cells. CRISPR/Cas9‐edited CD34+ hematopoietic stem and progenitor cells were expanded and differentiated with M‐CSF. Deletion of STAT6 or STAT6/NFKB1 enhanced macrophage proinflammatory gene expression and cytokine secretion in the presence of IL‐4 while maintaining antibody ...
Theresa Barberi, Alan D. Friedman
wiley +1 more source
Proof Outlines as Proof Certificates: A System Description [PDF]
, 2015 International audienceWe apply the foundational proof certificate (FPC) framework to the problem of designing high-level outlines of proofs. The FPC framework provides a means to formally define and check a wide range of proof evidence.
Blanco, Roberto, Miller, Dale
core +2 more sources
Spatial heterogeneity of hotspot mutations and clonal relatedness in ovarian endometrioid carcinoma
Molecular Oncology, EarlyView.Spatially resolved analysis revealed heterogeneous distributions of selected cancer‐associated mutations within ovarian endometrioid carcinomas. Shared mutations between paired endometrial and ovarian tumors supported clonal relatedness. These findings highlight the value of sampling multiple tumor regions when interpreting molecular profiles ...
Takahito Ashihara +10 more
wiley +1 more source
Student teachers' conceptions of mathematical proof
, 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 +1 more source
Coalition-proof equilibrium [PDF]
, 1994 We characterize the set of agreements that the players of a non-cooperative game may reach when they have the opportunity to communicate prior to play. We show that communication allows the players to correlate their actions.
Moreno, Diego, Wooders, John
core +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2015 This paper proposes a theorem on the relationship between the solution set of the logic equation and a logic equation approach which transforms the logic equation F=G into zero type or one type, along with its corresponding counter parts and their proofs.
DINGDiankun(丁殿坤) +1 more
doaj +1 more source
Revista Eletrônica de Direito Processual, 2016 This article will reflect on the production of proof by the judge, in the context of Criminal Procedure, according to the rules presents in the brazilian legal system.
Igor Alves Noberto Soares +1 more
doaj +1 more source