4,189 research outputs found
Evaluation of different treatments in control of Oligonychus afrasiaticus in date palm orchards of Iran
No full textArbabi, Masoud, Latifian, Masoud, Askari, Majied, Fassihi, Mohammad Taghi, Damghani, Mohammad Reza, Khiaban, Nader Golmohammad Zadeh, Rezai, Horeih (2017): Evaluation of different treatments in control of Oligonychus afrasiaticus in date palm orchards of Iran. Persian Journal of Acarology 6 (2): 125-135, DOI: 10.22073/pja.v6i2.1759
Coordinating Distributed Requirements Conformance Tests
No full textMessage sequence charts (MSC) requirements specifications are often used to generate TTCN conformance tests for telecommunications protocols. There are difficulties with constructing concurrent TTCN test scripts from an MSC used to describe test purposes. In [4] they demonstrate that without any timing restrictions it is not possible to automatically construct a concurrent test script from an MSC. They do not discuss in their paper when it is meaningful to construct concurrent conformance tests from the MSC. In this paper we give a characterisation of when coordinating messages added to an MSC produce a faithful and sound concurrent test. These results can be implemented in order to automatically generate such tests directly from the MSC
Figures 1–2 in Evaluation of different treatments in control of Oligonychus afrasiaticus in date palm orchards of Iran
No full textFigures 1–2. Close up of light and heavy spanning web on and around date fruits and clusters by Oligonychus afrasiaticus.Published as part of Arbabi, Masoud, Latifian, Masoud, Askari, Majied, Fassihi, Mohammad Taghi, Damghani, Mohammad Reza, Khiaban, Nader Golmohammad Zadeh & Rezai, Horeih, 2017, Evaluation of different treatments in control of Oligonychus afrasiaticus in date palm orchards of Iran, pp. 125-135 in Persian Journal of Acarology 6 (2) on page 127, DOI: 10.22073/pja.v6i2.17599, http://zenodo.org/record/464466
QTL mapping of heading date and plant height in Barley cross “Azumamugi”x“Kanto Nakate Gold”
No full textFahimeh Shahinnia, Abdolmajid Rezai, Badraldin Ebrahim Sayed-Tabatabaei, Takao Komatsuda, Sayed Abolghasem Mohammad
FIGURES 18–22 in Two new larval species of Erythraeus (Zaracarus) (Acari: Erythraeidae) from western Iran
No full textFIGURES 18–22. Erythraeus (Zaracarus) hamedanicus sp. nov. (Larva). 18, palp dorsal view; 19, palp ventral view; 20, femur, genu I; 21, femur, genu II; 22, femur, genu III.Published as part of Khanjani, Mohammad, Mirmoayedi, Ali-Naghi, Nahad, Aboulghasem Rezai & Fayaz, Bahman Asali, 2010, Two new larval species of Erythraeus (Zaracarus) (Acari: Erythraeidae) from western Iran, pp. 19-32 in Zootaxa 2537 on page 28, DOI: 10.5281/zenodo.19666
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
Erythraeus (Zaracarus) Southcott
No full textSubgenus Erythraeus (Zaracarus) Southcott Type species: E. (Z.) lancifer Southcott, 1995: 223. The subgenus Zaracarus can easily be recognized by the following combination of characters: antero- lateral setae (AL) with or without expansion basally but tapered distally (Goldarazena, A. & Zhang, Z.Q. 1998); AL longer than postero-lateral scutal setae (PL); scutum oval or trapezoid; dorsal idiosomal setae thicker than opisthogastral setae; anterior sensilla (AM) are situated in obliquely-set sockets with cuticular structures (Haitlinger, 1998). These sockets are absent in all the species of the subgenus Erythraeus s.str.Published as part of Khanjani, Mohammad, Mirmoayedi, Ali-Naghi, Nahad, Aboulghasem Rezai & Fayaz, Bahman Asali, 2010, Two new larval species of Erythraeus (Zaracarus) (Acari: Erythraeidae) from western Iran, pp. 19-32 in Zootaxa 2537 on page 20, DOI: 10.5281/zenodo.19666
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
- …
