We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology 15(2):103–127, 2002) to a scenario where the adversary gets to see the encryption of a sequence of adaptively chosen symbolic expressions. The extension of the theorem of Abadi and Rogaway to such an adaptive scenario is nontri...

We illustrate the pragmatic aspects of the Theory of Contexts, recently proposed as a general approach for reasoning on languages with binders in Higher-Order Abstract Syntax, through two working examples: λ-calculus and Abadi and Cardelli’s impς-calculus.

Toplumun temel kurumlarından bir tanesi de dindir. Din, insanlık tarihi ile başlamış ve yaşıt evrensel olgudur. Tarihin her döneminde toplumda var olmuş, günümüzde varlığını en canlı şekilde hissettiren önemli hassas kurumdur. Antropoloji bilimi tarih boyunca bireysel olarak inanmayan kişiler olmakla beraber top yekûn dinsiz topluma rastlanmadığını haber vermektedir. İnsanların huzur mutluluğun...

We developed a HPLC/MS method for the identification and determination of solanine in plants. This method was applied for samples of Solanum dulcamara (from Iaşi and Vânători Neamţ areas in Romania) and Physalis alkekengi (from Bucium and Breazu, Iaşi, Romania) during August-September 2009. Isolation of solanine was performed by extraction with a mixture consisting of water/methanol/acetic acid...

PURPOSE The aim of this work was to implement, validate, and compare two procedures for routine image quality (IQ) assurance in dental cone-beam computed tomography (CBCT): 1. the German standard DIN 6868 - 161 introduced in 2013 and 2. the established standard IEC 61,223 - 3-5 for clinical CT x-ray equipment referenced as "DIN" and "IEC" below. MATERIALS AND METHODS The approximated in-plane...

Let 0= U0,n ≤ U1,n ≤ ··· ≤ Un−1,n ≤ Un,n = 1 be an ordered sample from uniform [0,1] distribution, and Din = Ui,n −Ui−1,n, i = 1,2, . . . ,n; n = 1,2, . . . , be their spacings, and let f1n, . . . , fnn be a set of measurable functions. In this paper, the probabilities of the moderate and Cramer-type large deviation theorems for statistics Rn(D)= f1n(nD1n) + ···+ fnn(nDnn) are proved. Applicati...