相关论文: Problems of Testology

Several older and more recent results on the boundaries of solvability and unsolvability in tag systems are surveyed. Emphasis will be put on the significance of computer experiments in research on very small tag systems.

We discuss some aspects of Extrapolation theory. The presentation includes many examples and open problems.

We survey known results about the complexity of surjective homomorphism problems, studied in the context of related problems in the literature such as list homomorphism, retraction and compaction. In comparison with these problems,…

This note includes an assessment of the partially overlapping samples t-tests in scenarios where elements of the test are at their extremes, including where only one sample contains independent observations

These lecture notes discuss classical models of liquid crystals, and the different ways in which defects are described according to the different models.

This article aims at clarifying the language and practice of scientific experiment, mainly by hooking observability on calculability.

At present a number of current or proposed experiments are directed towards a search for a `new physics' by detecting variations of fundamental physical constants or violations of certain basic symmetries. Various problems related to the…

We study extensions of the Election Isomorphism problem, focused on the existence of isomorphic subelections. Specifically, we propose the Subelection Isomorphism and the Maximum Common Subelection problems and study their computational…

We study topological properties of the graph topology.

Brief review of concepts and unsolved problems in the theory of matrix models.

The paper offers a mathematical formalization of the Turing test. This formalization makes it possible to establish the conditions under which some Turing machine will pass the Turing test and the conditions under which every Turing machine…

The paper contains a discussion on a number of open problems in queueing theory. Some of them are known for decades, some are more recent. They relate to stability and to rare events. There is an idea to prepare a special issue of QUESTA on…

The bin-packing problem continues to remain relevant in numerous application areas. This technical report discusses the empirical performance of different bin-packing heuristics for certain test problems.

An overview and classification of software testing models are done. Recommendations on the choice of models are proposed

This is an update of my problem list.

This review aims to provide a comprehensive update on the progress made on the Sequential Testing problem (STP) in the last 20 years after the review, [1] was published. Many studies have provided new theoretical results, extensions of the…

Today's QCD problems, prospects and achievements are reviewed.

There are various approaches to the problem of how one is supposed to conduct a statistical analysis. Different analyses can lead to contradictory conclusions in some problems so this is not a satisfactory state of affairs. It seems that…

Some inequalities for different types of convexity are established.

This article discusses epistemological problems in the philosophy of mathematics and issues concerning the reliability of the mathematical literature.