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

In this paper, we introduce some properties of an intuitionistic normal fuzzy m-subgroup of m- group with m-homomorphism and isomorphism. We study he image, the pre-image and the inverse mapping of the intuitionistic normal fuzzy m-‎subgroups.‎

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

With widespread planting of Bt cotton and an associated reduction in the use of broad-spectrum insecticides, the mirid bugs Apolygus lucorum (Meyer-Dür) and Adelphocoris suturalis Jakovlev (Hemiptera: Miridae) become major pests of cotton in northern China in recent years. Both species overwinter as diapausing eggs that may enhance ability to survive the cold winter. The effects of photoperiod...

Pure Anatase Titania (TiO2), mixed 1.0 wt.% Cerium-Anatase Titania (1.0 wt.%CeO2-TiO2), and mixed 1.0 wt.% Zirconia-Anatase Titania (1.0 wt.%ZrO2-TiO2) nano powders were synthesized by co-precipitation method and characterized using X-ray diffraction (XRD), Brunauer-Emmett-Teller (BET) surface area analysis, UV-Vis diffuse reflectance spect...

Pure Anatase Titania (TiO2), mixed 1.0 wt.% Cerium-Anatase Titania (1.0 wt.%CeO2-TiO2), and mixed 1.0 wt.% Zirconia-Anatase Titania (1.0 wt.%ZrO2-TiO2) nano powders were synthesized by co-precipitation method and characterized using X-ray diffraction (XRD), Brunauer-Emmett-Teller (BET) surface area analysis, UV-Vis diffuse reflectance spect...

Protein oxidationM.longissimus dorsi andM. semimembranosuswas studied in ram lambs of Northeastern Bulgarian Fine Wool Breed and cross of this breed with Ile de France, reared and in doors and on pasture.The degree of protein oxidation is determined by measuring the content of carbonyls, formed during the storage of the investigated muscles at low temperatures(4˚С till6thday and -20˚С till90thd...