相关论文: Problems of Testology

There are many different notions of optimality even in testing a single hypothesis. In the multiple testing area, the number of possibilities is very much greater. The paper first will describe multiplicity issues that arise in tests…

Machine learning has become prevalent across a wide variety of applications. Unfortunately, machine learning has also shown to be susceptible to deception, leading to errors, and even fatal failures. This circumstance calls into question…

An important goal of helio- and asteroseismology is to improve the modelling of stellar evolution. Here I provide a brief discussion of some of the uncertain issues in stellar modelling, of possible relevance to asteroseismic inferences.

Likelihood ratio tests are intuitively appealing. Nevertheless, a number of examples are known in which they perform very poorly. The present paper discusses a large class of situations in which this is the case, and analyzes just how…

We first briefly review tests on CPT invariance based on the consequences of the CPT theorem and then present some possible CPT tests due to exotic models in which some of the CPT conditions are lost, such as those without hermiticity.

In this talk, some aspects of duality symmetries are presented.

We provide a brief topical outline of the persisting problem of the hyperon polarization and consider some future experimental prospects. The predictions which deserve experimental verification are proposed.

Computations in the cohomology of finite groups.

We present some questions and suggestion on the second part of the Hilbert 16th problem

We consider the problems of hypothesis testing on a probability measure of independent sample, on solution of ill-posed problem, on deconvolution problem and on Poisson mean measure. For all these setups necessary conditions and sufficient…

A brief report on recent work on the sphere-packing problem.

The aim of this paper is to review some work conducted in the field of user testing that aims at specifying or clarifying the test procedures and at defining and developing tools to help conduct user tests. The topics that have been…

In this note some philosophical thoughts and observations about mathematics are expressed, arranged as challenges to some common claims.

We consider the problem of testing means from samples of two populations for which the labels are not defined with certainty. We show that this problem is connected to another one that is testing expected values of components of…

This is an update on, and expansion of, our paper Open problems on $\beta\omega$ in the book Open Problems in Topology.

In this paper we report the experience of using AutoProof to statically verify a small object oriented program. We identified the problems that emerged by this activity and we classified them according to their nature. In particular, we…

This is a comment on Economic Letters DOI http://dx.doi.org/10.1016/j.econlet.2015.10.015. We show that due to some methodological aspects the main conclusions of the above mentioned paper should be a little bit altered.

The Halting Problem is ill-conceived and ill-defined.

I review the theoretical and experimental status of the Odderon with emphasis on recent developments.

Although the halting problem is undecidable, imperfect testers that fail on some instances are possible. Such instances are called hard for the tester. One variant of imperfect testers replies "I don't know" on hard instances, another…