Many decision problems on security protocols can be reduced to solving socalled intruder constraints in the Dolev Yao model. Most constraint solving procedures for cryptographic protocol security rely on two properties of constraint systems called knowledge monotonicity and variable-origination. In this work we relax these restrictions by giving an NP decision procedure for solving general intr...

3 Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Kurzfassung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1 Einleitung 5 1.1 Mustererkennung . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1.2 Kompression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1.3 Kompressionsbasierte Mustererkennung . . . . . . . . . ...

(n) in der die Zufallsvariablen des Blockfehlerprozesses (BFP) {B (n) t } abgelegt sind. Dessen erzeugte Symbole (Blockfehler) ergeben sich nach Anwendung der Fens-termethode auf die in der Matrix E abgespeicherten Kanalfehler e i j. Die Interpretation der Quo-tienten b (n) i j n als mittlere Wahrscheinlichkeiten P ei , mit denen Kanalfehler in den Zuständen x i des HMMs generiert werden, eröff...

Abstract Symbol systems provide techniques to emulate processes of the human mind, such as abstract reasoning, natural language and problem solving, in artificial intelligent agents. To purposefully employ these techniques in artificial agents, however, these symbols need to be grounded, i.e. the agent must be able to connect a symbol to its real world referent and vice versa. Marocco et al. (2...

The evolvability of software systems is one of the key issues when considering their long term quality. Continuous changes and extensions of these systems are neccessary to adjust them to new or changing requirements. But the changes often cause quality deficiencies, which lead to an increase in complexity or an architectural decay. Especially quality deficiencies within the specification or th...

We first introduce and derive some basic properties of a two-parameters (α, γ ) family of one-sided Lévy processes, with 1 < α < 2 and γ > −α. Their Laplace exponents are given in terms of the Pochhammer symbol as follows ψ )(λ)= c((λ+ γ )α − (γ )α), λ 0, where c is a positive constant, (λ)α = (λ+α) (λ) stands for the Pochhammer symbol and for the Gamma function. These are a generalization of t...

N&#233;e de la mont&#233;e du f&#233;minisme et revendication l&#8217;&#233;galit&#233; femme/homme, l&#8217;&#233;criture inclusive vise &#224; supprimer r&#232;gle qui veut que le masculin l&#8217;emporte sur f&#233;minin. Sa mise en &#339;uvre utilisant point m&#233;dian lance d&#233;bat au sein soci&#233;t&#233; d&#233;cha&#238;ne les passions Twitter. Ce explique pourquoi terme &#171;&#160...

Fondé sur des données ethnographiques recueillies lors d’une mission de terrain aux Seychelles, l’article s’intéresse paroles chansons en créole seselwa comme site discursif et performatif production du mémorial musical. En présentant analysant les populaires seychelloises, le texte a pour objectif d’interroger modalités fabrique musical à travers ce médium particulier. Il s’agit ainsi, part, c...

cet article a pour objet de mettre en évidence le rapport entre la poésie et la langue de façon à étudier, en nous appuyant sur le traité d’aristote, de l’interprétation, la création poétique de marceline desbordes-valmore (les roses de saadi in poésies) et celle de leconte de lisle (les roses d’ispahan parus dans poèmes tragiques) passionnés par saadi ou autres poètes iraniens. en fait, le goû...