Abstract interpretation-based proof carrying code uses postfixpoints of abstract interpretations to witness that a program respects a safety policy. Some witnesses carry more information than needed and are therefore unnecessarily large. We introduce a notion of size of a witness and propose techniques for reducing the size of such certificates. For distributive analyses, we show that a smalles...

background : experts and staff of rehabilitation centers often do their activities without following the appropriate ergonomic principles and the correct methods of manual load handling. therefore, gradually and with the repetition of these activities they place themselves at risk of musculoskeletal disorders. the aim of this research is the assessment of lifting capacity by the niosh equation ...

  Background: Postural structure abnormalities have been highly prevalent among children in primary school children.The present study aimed to assess the relationship between the backpacks weight and method of carrying with postural structure disturbances in primary school children.   Materials and Methods: This cross-sectional study was performed on 472 primary school children in Karaj-Iran. ...

One of the aims of Foundational Proof-Carrying Code (FPCC) is to incorporate a completely semantic description of types into the Proof-Carrying Code framework. FPCC describes types as complex predicates, some of which require properties like contractiveness, representability, and extensionality to hold. We keep track of these properties by encoding them within kinds. In this paper, we give a sy...

Background: Nowadays, backpack is the best and most commonly used tool for carrying books and stationery by students. There are huge evidences which confirmed that carrying method of school backpack influences on the students’ health status. The aim of this study was to determine of features of backpack carrying methods by schoolchildren.Materials and Methods: A cross-sectional study was conduc...