Lower bounds on Bayes factors in favor of the null hypothesis in multinomial tests of point null hypotheses are developed. These are then applied to derive lower bounds on Bayes factors in both exact and asymptotic chi-squared testing situations. The general conclusion is that the lower bounds tend to be substantially larger than P-values, raising serious questions concerning the routine use of...

Attacks that exploit out-of-bounds errors in C and C++ programs are still prevalent despite many years of research on bounds checking. Previous backwards compatible bounds checking techniques, which can be applied to unmodified C and C++ programs, maintain a data structure with the bounds for each allocated object and perform lookups in this data structure to check if pointers remain within bou...

We investigate properties Π of graphs G of size N such that possession of Π by all f(N)-node subgraphs implies possession of Π by some g(N)-node subgraph. Bounds are given on f(N) and g(N) for bipartiteness. This is compared to a situation in property testing, where edge-induced subgraphs are involved and different, intuitively “better,” bounds are obtained. Bounds are discussed for other prope...

his study attempts to examine the empirical relationship between gasoline taxes (as the most effective energy carrier of emissions) and labor productivities in the case of Iran using the time series data for the period 1990-2015  usingthe autoregressive distributed lag (ARDL) approach. This research tests the interrelationship between the variables using the bounds testing to cointegration proc...

In this study, the causality links between electricity consumption and economic growth are investigated for Turkey, the United Kingdom, Spain, Belgium and United States covering the period from 1964 to 2014. The results of autoregressive distributed lag (ARDL) approach, bounds testing and error correction model show that there is a positive one-way and statistically significant causality moving...

This paper gives identification and estimation results for quantile and average effects in nonseparable panel models, when the distribution of period specific disturbances does not vary over time. Bounds are given for interesting effects with discrete regressors that are strictly exogenous or predetermined. We allow for location and scale time effects and show how monotonicity can be used to sh...

Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound...

The Life and Strange Surprizing Adventures of Robinson Crusoe by Daniel Defoe, first published in 1719, is almost a universal title. Its reach extends so far and wide that even those who are not English native speakers and have not read the novel have some knowledge of the titular character and his desolate island ordeal. The figure of the man with the goat skin clothes starring at the beach, h...