Formal foundations for access control policies with both authority delegation and policy composition operators are partial and limited. Correctness guarantees cannot therefore be formally stated and verified for decentralized composite access control systems, such as those based on XACML 3. To address this problem we develop a formal policy language BelLog that can express both delegation and c...

Adaptive fuzzy control has been a topic of active research over the last decade. However, most efforts have been directed toward one goal: achieving asymptotic stability and tracking. Little attention has been paid to the accuracy of the identified fuzzy models and to their transparency and interpretability whereas these should be the key aspects motivating the use of fuzzy models in adaptive c...

introduction: whitening toothpastes which have been accepted in populations may affect properties of enamel and restorative materials. the aim of this study was to compare the microhardness of human enamel and z250 microhybrid composite resin after brushing with two whitening toothpastes. materials and methods: in this experimental study of enamel specimens, forty five freshly extracted human i...

introduction: the aim of this in vitro study was to compare polymicrobial microleakage of calcium enriched mixture (cem) cement, mineral trioxide aggregate (mta), amalgam, and composite resin as intra-orifice sealing materials. materials and methods: seventy single-rooted mandibular premolars were instrumented and obturated by cold lateral compaction technique. the teeth were randomly divided i...

aim: the purpose of this study was to compare the difference in the output intensity of light emitting diode (led) light cure (lc) devices with and without a protective sleeve and its clinical significance.  materials and methods: the output intensity of 152 lc units in dental offices across the state of odisha were examined. the collection of related information included an average number of e...

background and aims. the aim of this study was to compare the biocompatibility of calcium-enriched mixture ce-ment (cem), composite resin and nano-particled mineral trioxide aggregate (np-mta) using human gingival fibroblasts. materials and methods. a comparative in vitro cell culture study was carried out using 60 single-rooted teeth which were assigned to the following four groups: 1) untreat...

introduction: in orthodontic therapy ,different materials are used and their presence in oral cavity may modify their properties. the purpose of this study was to evaluate the direct and indirect biocompatibility of three orthodontic composite resins on culture of human oral fibroblasts. methods: this was an interventional experimental study. the biocompatibility of three orthodontic composite ...

In this study, the free vibration analysis of smart vibration control (SVC) systems based on Reddy – Levinson model and modified strain gradient theory is developed. This system consist of a micro beam at middle and two magneto-electro-elastic (MEE) composite micro beams at top and bottom which connected by enclosing elastic medium and simulated by Winkler and Pasternak foundation. The effects ...