منابع مشابه
Bytecode Model Checking: An Experimental Analysis
Java bytecode verification is traditionally performed by a polynomial time dataflow algorithm. We investigate an alternative based on reducing bytecode verification to model checking. Despite an exponential worst case time complexity, model checking type-correct bytecode is polynomial in practice when carried out using an explicit state, onthe-fly model checker like Spin. We investigate this th...
متن کاملan infinite planar array of rectangular microstrip patch antenna analysis
the methods which are used to analyze microstrip antennas, are divited into three categories: empirical methods, semi-empirical methods and full-wave analysis. empirical and semi-empirical methods are generally based on some fundamental simplifying assumptions about quality of surface current distribution and substrate thickness. thses simplificatioms cause low accuracy in field evaluation. ful...
15 صفحه اولAn experimental analysis of obsessive-compulsive checking as avoidance behaviour.
BACKGROUND Many explanatory models of obsessive-compulsive disorders (OCD) support the idea that compulsive behaviours are an attempt to avoid an aversive situation. There are few experimental studies carried out on the onset of repetitive behaviours. This study tries to create a repetitive checking behaviour as an analogue explaining similar OCD behaviours. METHOD An inter-group design with ...
متن کاملModeling and Experimental Analysis of an In-body Area Nanonetwork
Nanotechnology is gaining more and more consensus in several application fields, comprised in-body applications. Innovative therapies and diagnostic approaches are based on the use of injections or oral delivery of nanoparticles. The acceleration of this type of development makes very urgent a deeply and accurate analysis of the interaction between the nanoparticles and the biological fluid whe...
متن کاملBody checking induces an attentional bias for body-related cues.
OBJECTIVE Theoretical models suggest that body checking is linked to biased cognitive processing. However, this link has not been investigated in any systematic way. The present study examined the influence of body checking on attentional bias for body-related cues by manipulating body checking behaviors in nonclinical participants. METHOD 66 women were randomly assigned to one of three condi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Behaviour Research and Therapy
سال: 2007
ISSN: 0005-7967
DOI: 10.1016/j.brat.2006.01.015