Two notions of primitive recursive realizability for arithmetic sentences are considered. The first one is strictly primitive recursive realizability introduced by Z. Damnjanovic in 1994. We prove that intuitionistic predicate logic is not sound with this kind of realizability. Namely there exists an arithmetic sentence which is deducible in the intuitionistic predicate calculus but is not stri...

Hanieh Salehi Pourmehr, Azizeh Farshbafkhalili, Fatemeh Mohammadi, Jamileh Malakouti, Somayyeh Rafiee, Mozhgan Abdi, Nayyer Jafarilar. PhD by research student of Neurourology-Neuroscience Research Center, MSc in midwifery, Faculty of Nursing and Midwifery, Tabriz University of Medical Sciences, Tabriz, Iran; PhD by research of nutrition, MSc in midwifery, Faculty of Nursing and Midwifery, Tabri...

In recent years there has been renewed interest in deriving tight bounds on the error performance of specific codes and ensembles, based on their distance spectrum. In this paper, we discuss many reported upper bounds on the maximum likelihood decoding error probability and demonstrate the underlying connections that exist between them. In addressing the Gallager bounds and their variations, we...

below) a sequence of e.0. polynomials [SI S. V. Salehi and E. P. Ryan. “On optimal nonlinear feedback regulation of linear plants,” IEEE Trans. Auiomai. Contr., vol. AC-27, pp. 1260-1264, 1982. [ IO] J . Sandor and D. Williamson. “Design of nonlinear regulators for linear plants,” IEEE Truns. Automar. Conrr.. vol. AC-22. pp. 47-50, 1977. 1111 F. G. Shinsky, Process Control Syslems. 2nd ed. New ...

Background Phlebotominae sand flies are the main vectors of leishmaniasis and some other diseases. Materials and Methods Using sticky traps, sand flies were collected fortnightly from outdoors and indoors areas of selected sites. Results A total of 2032 specimens (498 in the city and 1534 in the outskirts of Yazd) belonging to 11 species were collected. The activity of sand flies started in...

unfortunately, last winter, we lost one of the leaders of radiotherpy-oncology in iran, professor mohammad hossein salehi. he was an excellent teacher, a supportive friend and an experienced physician.professor salehi was born on april 21, 1941 in shirvan. after graduating from high school, he continued his education in mashhad medical school. in 1968 he completed medical school and began the r...

Mahrokh G. Shayesteh , Masoumeh Nasiri-Kenari , and Jawad A. Salehi 2,4 1 Dep. of Electrical Eng., Amir Kabir University of Tech., Tehran, Iran Email: [email protected] , [email protected] 2 Dep. of Electrical Eng., Sharif University of Tech., Tehran, Iran Email: [email protected] , [email protected] 3 Faculty of Eng., Urmia University, Urmia, Iran 4 Iran Telecommunication Re...

Suppose that two senders each obtain one share of the output of a classical, bivariate, correlated information source. They would like to transmit the correlated source to a receiver using a quantum multiple access channel. In prior work, Cover, El Gamal, and Salehi provided a combined sourcechannel coding strategy for a classical multiple access channel which outperforms the simpler “separatio...