In the last decade an increasing number of farmers worldwide have adopted the technique of ammoniation as a means of increasing the utilisation of roughages by ruminants, Our work has identified problems with ammoniation which are similar to those encountered with ammoniated molasses in the 1950%. Since July 1984 there have been several outbreaks of hyperexcitability in cattle fed ammoniated ro...

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...

in view of the geopolitical statue of caucasus in the region and the world and domestic problems of caucasus region, we face different and sometimes contradictory forces and interests in the region. and political, economic, security, cultural, and… developments are result of interaction between these different and sometimes contradictory forces and interests.