The presence of repeated sequences is a fundamental feature of genomes. Tandemly repeated
DNA appears in both eukaryotic and prokaryotic genomes, it is associated with various …

… from one study to another, with a minimum daily dose from 800 mg to 2 g, in 1–3 takes. …
least 1 month 1,2 g/d (A) or 3 × 400 mg/d (B) po 3 months 1: LI ↓ S since D14 (A), D42 (B) Yes 6 …

… If we let g ∈ G be a function symbol that represents the attacker’s action, r ∈ N be a name …
Given a first-order structure M, in which all function symbols of F, G are interpreted, we let [[t]]σ …

We consider the question of the adequacy of symbolic models versus computational models
for the verification of security protocols. We neither try to include properties in the symbolic …

… Zieglar, and G. Dinolt for organizing the meetings and providing a conducive and encouraging
atmosphere. Lastly, we also thank the anonymous referees for their extensive comments …

We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic
expressions. We expand the logic in order to cover cases when partial information of …

Many argued (Accardi and Fedullo, Pitowsky) that Kolmogorov's axioms of classical probability
theory are incompatible with quantum probabilities, and that this is the reason for the …

The year 2002 was remarkably difficult on many fronts for most financial markets. For the
high-yield bond market, it was again a year of record amounts of defaults ($97.9 billion), which …

We analyze the FOO electronic voting protocol in the provable security model using the
technique of Computationally Complete Symbolic Attacker (CCSA). The protocol uses …

… Later, it was shown by Bana [14] and Adão, Bana and Scedrov [5] that … G : ΩG → strings
are also indistinguishable random variables such that F and F are independent and G and G …