نتایج جستجو برای: family actions
تعداد نتایج: 562221 فیلتر نتایج به سال:
Composition of high-speed protocols from basic protocol mechanisms can help to realize the exible application-speci c selection of protocols. For the purpose of formal speci cation, functional modelling, analysis, and veri cation of composed protocols we apply L. Lamport's Temporal Logic of Actions (TLA). We propose a modular and compositional style of speci cation, which supports the analysis ...
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA (Temporal Logic of Actions) specifications.
this study aims to investigate value conflicts between mothers and their daughters among families and influential factors on this conflict in yazd city. this study adopted a survey method and a questionnaire was used that its validity through construct validity (factor analysis) and its reliability by cronbach alpha were measured. the population of this study consists of all yazdian families th...
وجود جوندگان در مجاورت محیط های شهری، تردد آن ها در مزارع و اماکن انسانی علاوه بر خسارت های اقتصادی که فراهم می کند، تهدید کننده سلامت انسان نیز است. وفور بالای جوندگان در شهرهای ایران یکی از معضلات بهداشتی کشور است. به علت تنوع شرایط اکولوژیکی در ایران ضرورت دارد که تنوع جوندگان در هر منطقه به صورت جداگانه مورد بررسی قرار گیرد. در مطالعه حاضر نمونه برداری از شهرستان اراک طی پاییز (مهر و آبان) ...
We introduce a new distance distoq between compact quantum metric spaces. We show that distoq is Lipschitz equivalent to Rieffel’s distance distq, and give criteria for when a parameterized family of compact quantum metric spaces is continuous with respect to distoq. As applications, we show that the continuity of a parameterized family of quantum metric spaces induced by ergodic actions of a f...
Background and Aim: In health promotion, empowerment is a process through which people gain greater control over decisions and actions affecting their health. This study aimed to assess the predictive factors of health care empowerment among women in reproductive age in 2016. Materials and Methods: This cross-sectional study was conducted on 549women in reproductive age referring to health cen...
Background and purpose: Stress and socio-economic and psychological consequences of COVID-19 pandemic have affected family and marital relationships. The present study investigated the frequency of marital conflicts and related factors in Mazandaran province, north of Iran during this pandemic. Materials and methods: In this cross-sectional study, 357 married people were selected by conveni...
Bear bile has been a well-known Chinese medicine for thousands of years. Because of the endangered species protection, the concept on substitutes for bear bile was proposed decades ago. Based on their chemical composition and pharmacologic actions, artificial bear bile, bile from other animals, synthetic compounds, and medicinal plants may be the promising candidates to replace bear bile for th...
An extensive clinical study of Yusho and many animal experiments were carried out by the Yusho study group in Kyushu University in order to clarify the mechanism of toxic actions of Kanechlor. Most of the findings have been published in Japanese with brief English abstracts. I hope this abstract will help in the understanding of the important observations obtained by these studies. Table 1. Lab...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید