We consider the existence of pairs of probability ensembles which may be efficiently distinguished from each other given k samples but cannot be efficiently distinguished given k0 < k samples. It is well known that in any such pair of ensembles it cannot be that both are efficiently computable (and that such phenomena cannot exist for nonuniform classes of distinguishers, say, polynomial-size c...

This letter is in response to the discussion of our recent paper entitled " The effect of parameter uncertainty on achieved safety integrity of safety system " [1]. We are grateful to the discussants for their constructive comments and suggestions, and in particular their insight into our proposed methods to measure safety-related (SR) uncertainty. The detailed response is given below. We agree...

Predictions from science and engineering models depend on several input parameters. Global sensitivity analysis quantifies the importance of each input parameter, which can lead to insight into the model and reduced computational cost; commonly used sensitivity metrics include Sobol’ total sensitivity indices and derivative-based global sensitivity measures. Active subspaces are an emerging set...

This paper investigates the effect of conflict on firms' output value and input misallocation in the context of Palestine during the Second Intifada. Using a unique establishment-level dataset, we compare firms' outcomes and input usage over time across districts experiencing differential changes in conflict intensity. We show how conflict diminishes the total and per-worker value of firms' out...

Phase correlation techniques have been used in image registration to estimate image displacements. These techniques have been also used to estimate optical ow by applying it locally. In this work a di erent phase correlation-based method is proposed to deal with a deformation/translation motion model, instead of the pure translations that the basic phase correlation technique can estimate. Some...

This paper provides an abstract definition of some kinds of logics, called diagrammatic logics, together with a definition of morphisms and of 2-morphisms between diagrammatic logics. The definition of the 2-category of diagrammatic logics rely on category theory, mainly on adjunction, categories of fractions and limit sketches. This framework is applied to the formalization of a parameterizati...

We consider the fully constrained version of the next-to-minimal supersymmetric extension of the standard model (cNMSSM) in which a singlet Higgs superfield is added to the two doublets that are present in the minimal extension (MSSM). Assuming universal boundary conditions at a high scale for the soft supersymmetrybreaking gaugino, sfermion and Higgs mass parameters as well as for the trilinea...

We consider the problem of constructing Concurrent Zero Knowledge Proofs [6], in which the fascinating and useful “zero knowledge” property is guaranteed even in situations where multiple concurrent proof sessions are executed with many colluding dishonest verifiers. Canetti et al. [3] show that blackbox concurrent zero knowledge proofs for non-trivial languages require Ω̃(log k) rounds where k ...

The NIST codebook-based deterministic random bit generators are analyzed in the context of being indistinguishable from random. Upper and lower bounds based on the probability of distinguishing the output are proven. These bounds imply that the security of the designs are bounded by the codebook width, or more precisely on the property that the codebooks act like a random permutation, as oppose...

Calibration is a common practice in image steganalysis for extracting prominent features. Based on the idea of reembedding, a new set of calibrated features for audio steganalysis applications are proposed. These features are extracted from a model that has maximum deviation from human auditory system and had been specifically designed for audio steganalysis. Ability of the proposed system is t...