Constraint Answer Set Programming (CASP) is a convenient integration of the Answer Set Programming (ASP) paradigm with constraint programming (CP), which was exploited for a range of applications. HEX-programs are another extension of ASP towards integration of arbitrary external sources through socalled external atoms. In this work, we integrate HEX-programs with CP, which results in a strict ...

The indications for implant dentistry continue to increase, enabling the restoration of partially and totally edentulous patients with greater success and predictability. Recent goals for implant dentistry include simplifying the involved procedures, reducing the duration of therapy for the patient and clinician, and enabling the use of conventional prosthodontic techniques for implant-supporte...

Ion-mediated interaction is critical to the structure and stability of nucleic acids. Recent experiments suggest that the multivalent ion-induced aggregation of double-stranded (ds) RNAs and DNAs may strongly depend on the topological nature of helices, while there is still lack of an understanding on the relevant ion-mediated interactions at atomistic level. In this work, we have directly calc...

PURPOSE This study aimed to evaluate the correlation between microleakage and screw loosening at different types of implant-abutment connections and/or geometries measuring the torque values before and after the leakage tests. MATERIALS AND METHODS Three different abutment types (Intenal hex titanium, internal hex zirconium, morse tapered titaniuım) with different geometries were connected to...

Introduction: Nuclear radiation is potentially harmful to humans and soil contamination with radionuclides is the main source of human radiation exposure. These radionuclides can., enter to human body through the food chain. In this study, 34 soil samples were collected from between Arak city and Shazand Power Plant over 20 km length and analyzed. Materials and Methods: The specific activities ...