Considerable effort has been spent extending the scope of planning beyond propositional domains to include, for example, time and numbers. Each extension has been designed as a separate specific semantic enrichment of the underlying planning model, with its own syntax and customised integration into a planning algorithm. Inspired by work on SAT Modulo Theories (SMT) in the SAT community, we dev...

objectives: there are some controversies about the value of modified ashworth scale (mas) for assessing spasticity. the goal of this study was to investigate if there is any correlation between scores obtained from mas for wrist spasticity and electrophysiological recordings as the objective measure of spasticity. methods: in this cross-sectional study, 34 stroke patients were employed. wrist s...

رابطه‌­ی شدت ترمولومینسانس براساس مدل سینتیک مرتبه‌­ی اول بدون در نظرگرفتن اثر فروکشی دمایی مورد استفاده قرار می‌­گیرد. این حالی است که به عنوان یک واقعیت فیزیکی باید روابط بیان‌­کننده‌­ی توجه گیرد. کار با نظر گرفتن برای اول، تابع جداسازی منحنی تابش جدیدی برحسب و دمای قله دست آمد. نحوی جدید حذف مشخصه‌­های دمایی، همان قبلی خود تبدیل می‌­شود. دزیمتر (400TLD-) :Mn2CaF بررسی گرفت. این‌­که ­شدت طبق ...

It has been long recognized that a key obstacle to achieving human-level object recognition performance is the problem of invariance [10]. The human visual system excels at factoring out the image transformations that distort object appearance under natural conditions. Models with a cortex-inspired architecture such as HMAX [9, 13] as well as nonbiological convolutional neural networks [5] are ...

This study in healthy subjects examined the effects of a system delivering focal microvibrations at high frequency (Equistasi®) on tonic vibration stimulus (TVS)-induced inhibition of the soleus muscle H reflex. Highfrequency microvibrations significantly increased the inhibitory effect of TVS on the H reflex for up to three minutes. Moreover, Equistasi® also significantly reduced alpha-motoneu...

اثرات ویرانگر بلایای طبیعی، اهمیت لجستیک و برنامه‌ریزی منابع انسانی را در مراحل قبل بعد از بحران نشان می‌دهد. هنگام بروز به ‌منظور امدادرسانی سریع، شبکه سلسله ‌مراتبی سلامت که شامل درمانگاه‌ها بیمارستان‌ها است، فعال می‌شود. این پژوهش با استفاده مدل ریاضی مختلط عدد صحیح درنظرگرفتن موقعیت فعلی درمانگاه‌ها، مکان‌های بهینه‌ای عنوان «مراکز درمان موقت» تعیین نحوه تخصیص بهینه مصدومان ناحیه‌های شهری مر...

Recently, several powerful image features have been proposed which can be described as spatial histograms of oriented energy. For instance, the HoG [5], HMAX C1 [14], SIFT [13], and Shape Context feature [4] all represent an input image using with a discrete set of bins which accumulate evidence for oriented structures over a spatial region and a range of orientations. In this work, we generali...

Complex interactions between hydraulic fractures and natural often result in highly complex fracture networks that might lead to bypassed resources damaging the economic viability of developments. In this study impact formation on production from hydraulically fractured wells is studied using a recently developed upscaling method (FUM). By capturing distribution FUM, novel idea changing well or...