相关论文: Problems of Testology

A method is presented for using the consistent part of inconsistent axiomatic systems.

Symmetry tests provide an important probe for the structure of elementary particle interactions and for the validity of the standard model. However, it is pointed out that in the interpretation of such experiments one must keep in mind that…

We obtain some new inequalities of Chebyshev Type.

This talk summarizes some recent experimental constraints on Lorentz and CPT violation.

In this paper we give a method, based on the characteristic function of a set, to solve some difficult problems of set theory in undergraduate research.

New cases of the multiplicity conjecture are considered.

We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.

This is a survey of recent and classical results concerning various types of homogeneity, such as n-homogeneity, discrete homogeneity, and countable dense homogeneity. Some new results are also presented, and several problems are posed.

This is an overview and a preview of the theory of "mixed motives of level 1" explaining some results, projects, ideas and indicating a bunch of problems.

This is a list of several open problems dealing mainly with univariate polynomials.

This essay considers ways that recent uses of computers in mathematics challenge contemporary views on the nature of mathematical understanding. It also puts these challenges in a historical perspective and offers speculation as to a…

The purpose of this short paper is to identify the mathematical essence of the superiorization methodology. This methodology has been developed in recent years while attempting to solve specific application-oriented problems. Consequently,…

Attention is drawn to problems associated with superstatistics, including the apparent lack of knowledge of previous work in statistical physics displayed by workers in this supposedly new field.

In software testing, the large size of the input domain makes exhaustively testing the inputs a daunting and often impossible task. Pair-wise testing is a popular approach to combinatorial testing problems. This paper reviews Pair-wise…

We treat interpolation for various logics.

This note concerns a search for publications in which the pragmatic concept of a test as conducted in the practice of software testing is formalized, a theory about software testing based on such a formalization is presented or it is…

An algebraic deformation theory of coalgebra morphisms is constructed.

This is a critical discussion of theoretical and descriptive deficiencies of the recently used "flat Odderon" model.

This contribution examines optimization problems that involve stochastic dominance constraints. These problems have uncountably many constraints. We develop methods to solve the optimization problem by reducing the constraints to a finite…

This is a brief review of recent theoretical efforts to understand persistence in nonequilibrium systems. Some of the recent experimental results are also briefly mentioned. I also discuss recent generalizations of persistence in various…