We consider the discrimination of two pure quantum states with three allowed outcomes: a correct guess, an incorrect guess, and a nonguess. To find an optimum measurement procedure, we define a tunable cost that penalizes the incorrect guess and nonguess outcomes. Minimizing this cost over all projective measurements produces a rigorous cost bound that includes the usual Helstrom discrimination...

In Scicos, a graphical user interface (GUI) has been developed for the initialization of Modelica models. The GUI allows the user to fix/relax variables and parameters of the model as well as change their initial/guess values. The output of the initialization GUI is a pure algebraic system of equations which is solved by a numerical solver. Once the algebraic equations solved, the initial value...

Propositional satisfiability (SAT) is at the nucleus of state-ofthe-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can only be tackled efficiently by identifying and exploiting a subset of formula’s variables called backdoor set (or simply backdoors). This paper proposes a new class of backdoor set...

This paper presents an architecture and a real time computer system for the automatic generation of text in the specific context of the word guessing game TabooTM. To achieve the game’s goal – let the user guess a word as fast as possible without using certain taboo words – our system Daboo uses sophisticated algorithms to model user knowledge and to interpret semantically the user input. The f...

We determine the imbalances of the keystreams produced by Achterbahn-80 and Achterbahn-128 in two different ways. The number of cyclically inequivalent keystreams produced by the keystream generators of Achterbahn-80 and Achterbahn-128 is determined. An abstract model for the keystream generator of a primitive NLFSR combination generator is used to justify the correlation attack introduced in [...

— Left ventricular segmentation is essential for measuring left ventricular function indices. Segmentation of one or several images requires an initial guess of the contour. It is hypothesized here that creating an initial guess by first detecting anatomical markers, would lead to correct detection of the endocardium. The first step of the algorithm presented here includes automatic detection o...