Abstract This article proposes a way of doing type theory informally, assuming cubical style reasoning. It can thus be viewed as first step toward alternative to the program informalization carried out in homotopy book for dependent augmented with axioms univalence and higher inductive types. We adopt cartesian proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, Licata implicit foundation,...

We describe a new way to construct finite geometric objects. For every k we obtain a symmetric configuration E(k−1) with k points on a line. In particular, we have a constructive existence proof for such configurations. The method is purely geometric. It also produces interesting periodic matrices. Mathematisches Institut, Universität Tübigen, Deutschland E-mail address: christoph.hering@uni-tu...

تم تطوير طريقة التحليل الكهربائي الانتقائية والحساس لتحديد الرصاص عن طريق قياس الجهد بالموجة المربعة (SWV)في وجود حمض البيريدين -3 الكربوكسيل (حمض النيكوتين ، NA). يتراكم معقد Pb-NA على سطح قطب زئبقي محكوم النمو (GCME)ويقاس تيار الذروة بواسطة الفولتميتر (SWV) يتم تقليل المعقد وزيادة التيار بمقدار 1.5 مرة عند إضافة النيكوتينيك إلى محلول العينة.تم تقييم الظروف الكيميائية والفيزيائية التي كتنت افض...

objective(s):to evaluate the effect of trinitroglycerin (tng) as nitric oxide donor agent on serum copper (cu) and zinc (zn) levels and liver enzymes in balb/c mice infected with leishmania major (l. major) mrho/ir/75/er. materials and methods: inbred female mice were divided into three groups: healthy group (uninfected naive mice), control group (infected with l. major), and test group (l. maj...

Naive Bayes is very popular in commercial and open-source anti-spam e-mail filters. There are, however, several forms of Naive Bayes, something the anti-spam literature does not always acknowledge. We discuss five different versions of Naive Bayes, and compare them on six new, non-encoded datasets, that contain ham messages of particular Enron users and fresh spam messages. The new datasets, wh...