Background and aims. The aim of this study was to determine the stress patterns within an implant and the effect of different types of connections on load transfer. Materials and methods. Three different types of implant-abutment connections were selected for this study. Sample A: 1.5-mm deep internal hex corresponding to a lead-in bevel; sample B: a tri-channel internal connection; and sample ...

We introduce HEX programs, which are nonmonotonic logic programs admitting higher-order atoms as well as external atoms, and we extend the wellknown answer-set semantics to this class of programs. Higher-order features are widely acknowledged as useful for performing meta-reasoning, among other tasks. Furthermore, the possibility to exchange knowledge with external sources in a fully declarativ...

The HEX formalism has been designed as an extension of answer set programs that offers an abstract interface to access external sources of information and computation, such as the World Wide Web or description logics reasoners. The generic nature makes the extension powerful, which has been exploited in different ways: as an end user problem solving language, as a backend formalism, or as the b...

The need to reason with knowledge expressed in both Logic Programming (LP) and Description Logics (DLs) paradigms on the Semantic Web lead to several integrating formalisms, e.g., Description Logic programs (dl-programs) allow a logic program to retrieve results from and feed results to a DL knowledge base. Two functional extensions of dl-programs are HEX programs and fuzzy dl-programs. The for...

HEX-programs are an extension of answer set programming (ASP) towards external sources. To this end, external atoms provide a bidirectional interface between the program and an external source. The traditional evaluation algorithm for HEX-programs is based on guessing truth values of external atoms and verifying them by explicit calls of the external source. The approach was optimized by techni...

background: health hazards associated with exposure due to the natural radioactivity which is a part of our physical environment are of great concern. in order to assess the risks associated with exposure due to the natural radioactivity in soil and building materials, extensive studies have been carried out all over the world. the most commonly encountered radionuclide’s are 238u, 232th, their...

this research aims to study the relationship between the components of quality costs and quality in company. the relationship between the components of quality costs and quality in company has been studied separately for materials, manpower, machinery, and whole of company. in this study, traditional method was used to collect quality costs and paf model was used to determine the components of ...

We initiate the study of network monitoring algorithms in a class of hybrid networks in which the nodes are connected by an external network and an internal network (as a short form for externally and internally controlled network). While the external network lies outside of the control of the nodes (or in our case, the monitoring protocol running in them) and might be exposed to continuous cha...

in order to investigate the effect of hexaconazole (hex) on the increasing tolerance to water deficit stress of two soybean (glycine max l.) cultivars, an experiment was conducted in faculty of agronomy of tarbiat modares university as factorial experiment in randomized complete block design arrangement. factors examined in this study were included soybean cultivars (l17 and clark63), hex conce...