نتایج جستجو برای: pcxmc program

تعداد نتایج: 460385  

Journal: :ACM Transactions on Programming Languages and Systems 2018

Journal: :تحقیقات مهندسی کشاورزی 0
هادی رمضانی اعتدالی دانشجوی دکتری عبدالمجید لیاقت دانشیار گروه آموزشی مهندسی آبیاری و آبادانی دانشکده مهندسی و فناوری کشاورزی دانشگاه تهران فریبرز عباسی دانشیار مؤسسه تحقیقات فنی و مهندسی کشاورزی کرج

the manning roughness coefficient is an important parameter in the design and evaluation of furrow irrigation. despite its importance, estimation of this parameter for surface irrigation is very difficult, particularly in furrow irrigation. in this study, an evalue model was used to estimate the manning roughness coefficient in furrow irrigation. the model was based on volume balance and develo...

Journal: :poultry science journal 0
mosleh n department of clinical studies, school of veterinary medicine, shiraz university, shiraz, iran amirmoezzi f department of clinical studies, school of veterinary medicine, shiraz university, shiraz, iran nazifi s department of clinical studies, school of veterinary medicine, shiraz university, shiraz, iran

this study evaluated the effect of the intermittent light program on serum and brain melatonin concentrations, antioxidant enzyme activities, and homocysteine concentration in broiler chickens. a total of 60 one-day-old broiler chickens (cobb 500) were distributed in three light-proof controlled rooms (20 chicks per room). all birds were reared in continuous light until 3 days of age. then, chi...

Journal: :تحقیقات علوم رفتاری 0
حمیدرضا روح افزا معصومه صادقی صفورا یزدخواستی اعظم خانی نضال صرا ف زادگان hamidreza roohafza

aim and background: individuals are faced with numerous stressful life events which can negatively influence their mental health. many individuals use smoking as a means of confronting stress. given the relatively high prevalence of smoking in central iran, the present study was conducted to compare stress levels in smokers, non-smokers, and those who had quit smoking. methods and materials: th...

Journal: :journal of midwifery and reproductive health 0
soghra jamshidbeiki msc, department of midwifery, school of nursing and midwifery, tehran university of medical sciences, tehran, iran mehrnaz geranmayeh msc, department of midwifery, school of nursing and midwifery, tehran university of medical sciences, tehran, iran siyamak tahmasebi assistant professor, department of preschool education, university of social welfare and rehabilitation sciences, tehran, iran zohreh khakbazan assistant professor, department of reproductive health, school of nursing and midwifery, tehran university of medical sciences, tehran, iran abbas mehran msc, department of biostatistics, school of nursing and midwifery, tehran university of medical sciences, tehran, iran

background & aim: women experience various changes in their transition into motherhood and feel stressed while facing new challenges in this period. high levels of stress may prevent mothers from realizing their maternal role. in this study, we aimed to explore the effects of training on the stress of primiparous mothers. methods:in this quasi-experimental intervention, 100 pregnant women were ...

Journal: :iranian journal of public health 0
masoumeh mohajer rahbari dept. of reproductive health, student research committee, shahroud university of medical sciences, shahroud, iran. mohammad shariati dept. of community medicine, tehran university of medical sciences, tehran, iran. afsaneh keramat center for health related social and behavioral sciences research, shahroud university of medical sciences, shahroud, iran. masoud yunesian institute for environmental research, school of public health, tehran university of medical sciences, tehran, iran. mohammad eslami dept. of population, family and school health, ministry of health and medical education, tehran, iran. seyed abbas mousavi golestan research center of psychiatry, golestan university of medical sciences, gorgan, iran.

although the validity of content of program is mostly conducted with qualitative methods, this study used both qualitative and quantitative methods for the validation of content of post marriage training program provided for newly married couples. content validity is a preliminary step of obtaining authorization required to install the program in country's health care system.this mixed methodol...

Journal: :journal of research in rehabilitation sciences 0
امیر لطافت کار amir letafatkar مهراب تقوی mehrab taghavi محمدحسین علیزاده mohammad hosein alizadeh ملیحه حدادنژاد malihe hadadnezhad حمیدرضا نوروزی hamidreza norouzi امیر لطافت کار مهراب تقوی

introduction: after low back pain, the neck pain is the most prevalent pain among (especially elderly) peoples. the purpose of this study was to determine the effect of one period of exercise program on subjects neck rom and chronic neck pain. materials and methods:  for executing this study 60 elderly patient (24 males and 36 females) with mean age 56± 4.5 years old and 71± 4.4 kg with chronic...

Journal: :medical journal of islamic republic of iran 0
jalal younesi from the department of clinical psychology, university of social welfare tehran, and the national research center of medical sciences, tehran, iran. mohammad reza mohammadi from the department of clinical psychology, university of social welfare tehran, and the national research center of medical sciences, tehran, iran.

a group of high school students attended 7 educational sessions for a preventive drug abuse program. the students were exposed to drug abusers and their families. drug abusers and their families informed the subjects about the consequences of addiction in their life: how they became addicted and how the addiction worsened their psychosocial life. moreover their families explained to students th...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیخ بهایی - دانشکده زبانهای خارجی 1392

critical thinking ability has an important role in education. accordingly, scholars around the world are searching for new ways for teaching and improving students critical thinking ability. in line with the studies in efl contexts supporting the positive relationship between critical thinking and writing performances, this study investigated the differential effects of halverson’s critical thi...

2013
Alberto Pettorossi Maurizio Proietti

We present a transformational approach to program verification and software model checking that uses three main ingredients: (i) Constraint Logic Programming (CLP), (ii) metaprogramming and program specialization, and (iii) proof by transformation. (i) Constraints are used for representing in a compact way (finite or infinite) sets of values or memory states, and logic is used for expressing pr...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید