The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj́ıček and Pudlák [KP89] show that this question is equivalent to the existence of an algorithm that is optimal on all propositional tautologies. Monroe [Mon09] recently gave a conjecture implying that such algorithm does not exist. W...

The security of financial apps on smartphones is threatened by a class advanced and persistent malware that can bypass all existing measures. Strong cryptography trusted on-chip hardware modules are powerless against sophisticated attacks supplant device owners through input record/replay functionality, effectively hijacking their credentials, privileges, actions. In this paper, we introduce Pr...

The article analyzes a number of works by A.R.Sharipova on the unity and difference standards proof evidence in criminal, civil, arbitration administrative proceedings. To date, there are more differences than their listed branches law, which is problem intersectoral prejudice. The topic prejudice especially important criminal proceedings, where, fact, decisions made other law not bindin...

For multiple testing problems, Benjamini and Hochberg (1995) proposed the false discovery rate (FDR) as an alternative to the family-wise error rate (FWER). Since then, researchers have provided many proofs to control the FDR under different assumptions. Storey et al. (2004) showed that the rejection threshold of a BH step-up procedure is a stopping time with respect to the reverse filtration g...