نتایج جستجو برای: hou
تعداد نتایج: 1160 فیلتر نتایج به سال:
We generalise DSP91]'s treatment of ellipsis to deaccenting and show that the resulting account has three main advantages. First, it predicts the interpretive similarities between ellipsis and deaccenting. Second, it captures the interaction of deaccenting and anaphora. Third, it yields a uniform treatment of sloppy identity and of its interaction with both ellipsis and deaccenting.
Although there is extensive research concerning the under representation of women in the field of Information and Communications Technology (ICT), the literature is still sparse on Maori women and their representation in this field. In this paper, the authors continue their longtitudinal research study which began in 2002, to include the Maori women currently enrolled in the Bachelor of Computi...
The Energy Independence and Security Act of 2007 (EISA) and the increasing presence in the market of new lighting technologies like LEDs and EISA-compliant halogens are two factors that will likely lead to rapid change in the residential lighting market in the coming years—change that means hours-of-use (HOU) estimates based on specific lighting technologies are likely to become obsolete very q...
پژوهش حاضر با هدف بررسی تأثیر توانبخشی روانشناختی به روش دوسا (dohsa- hou) بر عملکرد حرکتی و خودکارآمدی در روابط با همسالان در کودکان مبتلا به نقص توجه – فزون کنشی (adhd) شهر زاهدان انجام شده است. روش:پژوهش حاضر روش نیمه تجربی می باشد که با پیش¬آزمون، پس¬آزمون و پیگیری در دو گروه آزمایش و کنترل است. جامعه ¬آماری پژوهش کلیه کودکان نقص توجه – فزون کنشی مراجعه کننده به کلینیک¬ها و مراکز درمانی شهر...
Introduction: There are various methods for managing and treating motor problems in children with cerebral palsy, which their effectiveness can be measured in muscle tone, gross motor skills, and voluntary movements. Among these intervention methods, Dohsa-Hou treatment approach was designed to affect the motor function of children with cerebral palsy. This study aimed to evaluate the effect o...
We compare two different styles of Higher-Order Unification (HOU): the classical HOU algorithm of Huet for the simply typed λ-calculus and HOU based on the λσ-calculus of explicit substitutions. For doing so, first, the original Huet algorithm for the simply typed λ-calculus with names is adapted to the language of the λcalculus in de Bruijn’s notation, since this is the notation used by the λσ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید