相关论文: Testing a Crucial Assumption

We prove a characterization of the Dirichlet-Ferguson measure over an arbitrary finite diffuse measure space. We provide an interpretation of this characterization in analogy with the Mecke identity for Poisson point processes.

We give a generalized version of the Freyd conjecture and a way to think about a possible proof. The essential point is to describe an elementary formal reduction of the question that holds in any triangulated category. There are no new…

In this article we give a result obtained of an experimental way for the Euler totient function.

A model of Poissonian observation having a jump (change-point) in the intensity function is considered. Two cases are studied. The first one corresponds to the situation when the jump size converges to a non-zero limit, while in the second…

The center of mass of a finite measure with respect to a radially increasing weight is shown to exist, be unique, and depend continuously on the measure.

A probability method is provided to prove three classes of combinatorial identities. The method is extremely simple, only one step after the proper probability setup.

In this very short note, we give a counterexample to a recent conjecture of Gilmer which would have implied the union-closed conjecture.

We survey the classical results of the Dirichlet Approximation Theorem.

Although hypothesis tests play a prominent role in Science, their interpretation can be challenging. Three issues are (i) the difficulty in making an assertive decision based on the output of an hypothesis test, (ii) the logical…

Cheating in examinations is acknowledged by an increasing number of organizations to be widespread. We examine two different approaches to assess their effectiveness at detecting anomalous results, suggestive of collusion, using data taken…

We provide a new simple and transparent proof of the version of Kummer's test given in [Tong, J. (1994). Amer. Math. Monthly. 101(5): 450--452]. Our proof is based on an application of a Hardy--Littlewood Tauberian theorem.

The aim of the present work is to show that the results obtained earlier on the approximation of distributions of sums of independent terms by the accompanying compound Poisson laws may be interpreted as rather sharp quantitative estimates…

The status of precision tests of the Standard Model is reviewed.

In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…

This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda…

We consider the problem of sequentially testing a simple null hypothesis versus a composite alternative hypothesis that consists of a finite set of densities. We study sequential tests that are based on thresholding of mixture-based…

New cases of the multiplicity conjecture are considered.

I give simple elementary proofs for some well-known Hankel determinants and their q-analogues.

We consider the implications of some simple assumptions about the nature of the quantum theory of gravity which are plausible for a class of possible theories I have been attempting to construct. The simple assumptions turn out to have…

Particle physics experiments use likelihood ratio tests extensively to compare hypotheses and to construct confidence intervals. Often, the null distribution of the likelihood ratio test statistic is approximated by a $\chi^2$ distribution,…