نتایج جستجو برای: day by day
تعداد نتایج: 7169245 فیلتر نتایج به سال:
Parallel PV is based on the sequential PV model-checker. Sequential PV is an depth-first LTL-X model-checker for an enhanced subset of the Promela language. Parallel PV is a breadth-first safety-only model-checker. It capitalizes on PV’s two-phase partial-order reduction algorithm by carrying out partial order reduction steps with no communication, and performs state space distribution at globa...
SHARING DAY Create an explicit time to bring people physically together at the same location in order to encourage knowledge sharing on a broad basis. PALLET OF ACTIVITIES Match the form of the SHARING DAY to the kinds of knowledge and purposes you wish to share. DRY RUN Perform a DRY RUN of the sessions to see whether the stories in the different sessions are attuned on each other and attuned ...
Recently, economic and environmental problems have created a strong attitude toward utilizing renewable energy sources (RESs). Nevertheless, uncertainty of wind and solar power leads to a more complicated energy management (EM) of RESs in microgrids. This paper models and solves the EM problem of microgrid from the generation point of view. To do this, mathematical formulation of a grid- connec...
recent years have witnessed an increased attention to form focused instruction and consciousness raising activities (ellis, 2002; doughty & williams, 1998) on the one hand and extensive and meaningful exposure to the target language (klapper & rees, 2003; day & bamford, 1998) on the other. due to significance attributed to above mentioned issues by scholars, this study attempted to bridge them ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید