Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

The Cultivated Area in Kamojang Crater, Ibun District, Bandung Regency is part of a single landscape mountain, adjacent to conservated and protected areas which has high biodiversity. This study aims identify invasive alien plants species cultivated areas, conservation areas. method used descriptive qualitative with the sampling line transect 500 meter radius four location, namely near Nature R...

The relationship between plants and human beings has been known since time immemorial. Nowadays, there is scientific study of the that exists people plants. This includes used as food, phytochemicals, pharmacology, clothing, currency, ritual, medicine, dye, construction, etc. Manipur was a small princely state in North-East India, having history about 2000 years. As under Indo-Burma Biodiversit...

Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...

Treatment of chicken blood smears and semithin sections from Epon-embedded mouse tissues with aqueous solutions of the 3-aminonaphthalimides FA-142, FA-2043, and FA-2143 induced a strong green-yellow fluorescence of chromatin under violet or violet-blue excitation. Chromatin emission was abolished by previous DNase or hot TCA treatment. The use of 3-methoxy (FA-655) and 3-nitro derivatives (M-4...