Results 101 to 110 of about 7,429,852 (332)
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
Secure Implementation: Strategy-Proof Mechanisms Reconsidered [PDF]
Strategy-proofness, requiring that truth-telling is a dominant strategy, is a standard concept in social choice theory. However, the concept of strategy-proofness has serious drawbacks. First, announcing one's true preference may not be a unique dominant
Sjostrom, Tomas +2 more
core +2 more sources
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
X‐Functionality–Driven Photocatalytic Hydrogen Evolution in 2D 4‐X‐PEA2SnI4 Perovskites
Advanced Functional Materials, EarlyView.We report a water‐based synthesis of 2D 4‐X‐PEA2SnI4 perovskite microcrystals with prominent photocatalytic (PC) activity for H2 production. The synergy between organic functionalization and HI‐derived iodide scavenges holes suppress octahedral distortion, and favor electron accumulation, enabling a PC H2 evolution ∼20 µmol·g−1 and long‐term stability ...
Taeyeon Kim +21 more
wiley +1 more source
, 2008 Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such.
Milne, Peter
core +1 more source
Epistemic-Justificatory Proof Theory and the Legitimacy of Judicial Decisions
სამართალი და მსოფლიოA judge’s decision plays a central role in the rule of law by establishing legal truth and legitimizing the state’s coercive power. This role has become increasingly complex in contemporary adjudication, where courts confront scientific, statistical, and
Erwin Susilo
doaj +1 more source
Towards a group theoretical proof of the Frobenius theorem [PDF]
Journal of Mahani Mathematical ResearchThe Frobenius finite group was defined by Frobenius more than 100 years ago to be a group with a non-trivial proper subgroup $H$ whose intersection with all of its conjugates is the trivial group.
Mohammad Reza Darafsheh
doaj +1 more source
A Unified Display Proof Theory for Bunched Logic
Mathematical Foundations of Programming Semantics, 2010 We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy cut-elimination, and are sound and complete with respect to their standard
J. Brotherston
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.Thioketal (TK) polymers are promising biomaterials due to their selective biodegradation by reactive oxygen species (ROS), but they respond slowly to physiologic doses of ROS. Here, the TK bond's pendant groups are modified to enhance the degradation of TK‐based implants both in vitro and in vivo.
Karina A. Bruce +6 more
wiley +1 more source
Developing Students Ability To Write Mathematical Proof By Polya Method
, 2011 Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core