Statistical methods for comparing theorem proving algorithms
Ivan Kramosil, Zbigniew Zwinogrodzki (1974)
Kybernetika
Similarity:
Displaying similar documents to “Statistical maps. I: Basic properties”
Statistical methods for comparing theorem proving algorithms
Statiscal polymer method: Modeling of macromolecules and aggregates with branching and crosslinking formed in random processes.
Romm, Freddy A., Figovsky, Oleg L. (1998)
Discrete Dynamics in Nature and Society
Similarity:
Confidentiality in the European Statistical System.
Photis Nanopoulos (1997)
Qüestiió
Similarity:
Confidentiality and data protection are the counterparts of the obligation for response and the cornerstone for confidence building between the national statistical services and the respondents. On this common principle the various national statistical systems among the 15 (and other) European states have been established. There is great concern at national and international level on statistical confidentiality. The respect of privacy has led national authorities to develop...
The experimental comparison of statistical methods for measurement of the optical transfer function of objectives
Jaroslav Pospíšil (1971)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica-Physica-Chemica
Similarity:
Note on some variational problem related to statistical solutions of differential equations in Banach spaces
Lech Sławik (2008)
Annales Polonici Mathematici
Similarity:
The properties of statistical solutions for some general differential equations in Banach spaces are investigated.
Studies of environment and health: some challenges for statisticians
Christoph E. Minder (2000)
Discussiones Mathematicae Probability and Statistics
Similarity:
Paper based on an invited talk given at the International Conference on Statistical Inference, Stat-98, Lagow, Poland, September 7-11, 1998.
Statistical convergence of sequences of functions with values in semi-uniform spaces
Dimitrios N. Georgiou, Athanasios C. Megaritis, Selma Özçağ (2018)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We study several kinds of statistical convergence of sequences of functions with values in semi-uniform spaces. Particularly, we generalize to statistical convergence the classical results of C. Arzelà, Dini and P.S. Alexandroff, as well as their statistical versions studied in [Caserta A., Di Maio G., Kočinac L.D.R., {Statistical convergence in function spaces},. Abstr. Appl. Anal. 2011, Art. ID 420419, 11 pp.] and [Caserta A., Kočinac L.D.R., {On statistical exhaustiveness}, Appl....