In this paper we study the art gallery problem, which is one of the fundamental problems in computational geometry. The objective is to place a minimum number of guards inside a simple polygon so that the guards together can see the whole polygon. We say that a guard at position x sees a point y if the line segment xy is contained in the polygon. Despite an extensive study of the art gallery pr...

Predicate completion is an approach to closed world reasoning which assumes that the given sufficient conditions on a predicate are also necessary. Circumscription is a formal device characterizing minimal reasoning i.e. reasoning in minimal models, and is realized by an axiom schema. The basic result of this paper is that for first order theories which are Horn in a predicate P, the circumscri...

members of the family laccophyllidae are small, solitary rugose corals with stratigraphic ranges from silurian to permian. among the laccophyllids, axial ends of major septa are united in an aulos and dissepiments may be absent or present. minor septa can be contratingent and sometimes are small or in some genera are absent. septa and aulos may be thick or thin. in this study, famennian rugose ...

The ubiquitin-proteasome system targets numerous cellular proteins for degradation. In addition, modifications by ubiquitin-like proteins as well as proteins containing ubiquitin-interacting and -associated motifs modulate many others. This tightly controlled process involves multiple specific and general enzymes of the system as well as many modifying and ancillary proteins. Thus, it is not su...

Making a conservative bridge using a natural tooth pontic with mobile teeth is complicated, time-consuming and sometimes impossible with the current techniques and materials. The aim of this paper is` to describe a new method using Special Rigid Tray Technique (SRTT) to deal with such difficult clinical cases.

Direct restoration of severely damaged endodontically treated teeth (ETT) using available and conventional and current matrix systems is sometimes impractical and in some clinical cases is impossible. The aim of this paper is to introduce and describe a new matrix system based on Rigid Tray Technique (RTT) for dealing with such difficult clinical cases.

Replacement and reattachment of a newly detached composite tooth pontic is sometimes justified because of shape, color, function and patient satisfaction. The aim of this case report is to describe a new method using Rigid Tray Technique for exact replacement and reattachment of acceptable detached composite tooth pontic

Over the last fifteen years, we have built over a dozen different applications in many domains where the user can define behaviors by demonstration. In some of these, the system uses sophisticated artificial intelligence (AI) algorithms so that complex behavior can be inferred from a few examples. In other systems, the user must provide the full specification, and the examples are primarily use...