A Correction to this paper has been published: 10.1007/s00453-020-00757-9

Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature of NP problems: The property is encoded in a way such that polynomial size certificates for it correspond to stable models of a program. However, the problemsolving capacity of full disjunctive logic programs (DLPs) is bey...

BACKGROUND Standardised measures of behaviour have failed to detect short term improvement in children with autism following treatment with secretin. However, it is possible that standardised measures are insensitive to dimensions of child behaviour that are nonetheless detectable by parents. AIM To determine the ability of parents of children with autism to guess, under double blind conditio...

This paper studies the game of guessing riffle-shuffled cards with complete feedback. A deck n labeled 1 to is once and placed on a table. player tries guess from top given feedback after each guess. The goal find strategy maximum reward (expected number correct guesses). We give optimal for this prove that expected n∕2+2∕π⋅n+O(1), partially solving an open problem Bayer Diaconis (Bayer Diaconi...

Digital image correlation (DIC) is a widely used optical metrology for surface deformation measurements. DIC relies on nonlinear optimization method. Thus an initial guess is quite important due to its influence on the converge characteristics of the algorithm. In order to obtain a reliable, accurate initial guess, a reliability-guided digital image correlation (RG-DIC) method, which is able to...

A new procedure is presented to separate the effects of source-and-drain series resistance and mobility degradation factor in the extraction of MOSFET model parameters. It requires only a single test device and it is based on fitting the ID(VGS, VDS) equation to the measured characteristics. Two types of bidimensional fitting are explored: direct fitting to the drain current and indirect fittin...

We propose a probabilistic model for constructing passwords on the basis of outcomes of biometrical measurements. An algorithm for the transformation of biometrical data to passwords is given. Performance of the authentication scheme is evaluated by the compression factor, the false acceptance/rejection rates, the probability distribution over the set of passwords, and the probability of a corr...