background and aim : the quick speech in noise (q-sin) test have been designed to evalu­ate individuals’ ability to recognize speech in noise. this study established to evaluate the test-retest reliability and equivalency of the five test lists of the persian q-sin test in subjects with sensory hearing loss (shl) and normal hearing individuals. methods : this cross-sectional study was per­forme...

Separation Logic is a widely used formalism for describing dynamically allocated linked data structures, such as lists, trees, etc. The decidability status of various fragments of the logic constitutes a long standing open problem. Current results report on techniques to decide satisfiability and validity of entailments for Separation Logic(s) over lists (possibly with data). In this paper we e...