Results 41 to 50 of about 344,169 (311)
International Journal of Mathematics and Mathematical Sciences, 2004 We prove a known partitions theorem by Bell in an elementary and constructive way. Our proof yields a simple recursive method to compute the corresponding Sylvester polynomials for the partition. The previous known methods to obtain these polynomials are
Rafael Jakimczuk
doaj +1 more source
The Largest Respectful Function [PDF]
Logical Methods in Computer Science, 2016 Respectful functions were introduced by Sangiorgi as a compositional tool to formulate short and clear bisimulation proofs. Usually, the larger the respectful function, the easier the bisimulation proof.
Joachim Parrow, Tjark Weber
doaj +1 more source
Cauchy: Jurnal Matematika Murni dan Aplikasi, 2021 The nonhomogeneous Poisson process is one of the most widely applied stochastic processes. In this article, we provide a confidence interval of the intensity estimator in the presence of a periodic multiplied by trend power function.
Ikhsan Maulidi +4 more
doaj +1 more source
Kalmár-style constructive completeness proofs for classical positive propositional calculi [PDF]
, 2023 Luiz Henrique Lopes dos Santos
openalex +1 more source
A constructive proof of the general Lovasz Local Lemma [PDF]
, 2009 The Lovasz Local Lemma [EL75] is a powerful tool to non-constructively prove the existence of combinatorial objects meeting a prescribed collection of criteria. In his breakthrough paper [Bec91], Beck demonstrated that a constructive variant can be given
Moser, Robin A., Tardos, Gábor
core
Construction of a Feedback Comment Analysis Model for Evaluation of Endoscopic Surgical Skill
Annals of Gastroenterological Surgery, EarlyView.ABSTRACT Background Surgical education and skill assessments are important in improving surgical skills. However, instructors' comments tend to be complex and unorganized, with varying content and categories. This study aimed to develop a natural language processing (NLP) model to automatically classify feedback comments on surgical procedures and ...
Shusaku Iwai +7 more
wiley +1 more source
A SIMPLE CONSTRUCTIVE PROOF OF VON NEUMANN EQUILIBRIUM
Ratio Mathematica, 1992 missing
Paolo Caravani
doaj
Possible numbers of x’s in an {x, y}-matrix with a given rank
Open Mathematics, 2017 Let x, y be two distinct real numbers. An {x, y}-matrix is a matrix whose entries are either x or y. We determine the possible numbers of x’s in an {x, y}-matrix with a given rank. Our proof is constructive.
Ma Chao
doaj +1 more source
Presupposition Projection as Proof Construction [PDF]
, 1999 Even though Van der Sandt's presuppositions as anaphora approach is empirically successful, it fails to give a formal account of the interaction between world-knowledge and presuppositions. In this paper, an algorithm is sketched which is based on the idea of presuppositions as anaphora.
Krahmer, Emiel, Piwek, Paul
openaire +3 more sources
Carath\'eodory's Theorem and moduli of local connectivity [PDF]
, 2015 We give a constructive proof of the Carath\'eodory Theorem by means of the concept of a modulus of local connectivity and the extremal distance of the separating curves of an ...
McNicholl, Timothy, McNicholl, Timothy
core +2 more sources