The protein of milk residue can be quanti tated to evaluate a cleaning process by monitoring the accumulation of protein in a test-wash solution. The test for protein is based on precipitat ion of hard water cations with or thophosphate and flocculation with a coagulant for rapid sedimentat ion of the protein. The sediment is collected on filter paper and stained with xylene brilliant cyanin G....

This paper presents a technique for automatically generating logical schemata that specify groups of black-box test cases from formal speci cations containing universal and existential quanti cation. These schemata are called test frames. Previous automated techniques have dealt with languages based on propositional logic. Since this new technique deals with quanti cation it can be applied to m...

ÐThe ototoxic damage that drugs such as neomycin, kanamycin, colistin, cisplatin, transplatin and carboplatin cause on outer and inner hair cells in postnatal day 3 rat cochlear explants was investigated. Phalloidin± ̄uorescein conjugate-stained stereocilia bundles of sensory hair cells were quanti®ed by video image analysis as a measurement of ototoxic e€ect. The video image quanti®cation syste...

This article describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating e cient implementations. The language supports high-level control ows where complex synchronization conditions can be expressed using high-level queries, especially logic quanti cations, over message history sequences. Unfortunately, the programs would be ...

Various feature descriptions are being employed in logic program ming languages and constrained based grammar formalisms The com mon notational primitive of these descriptions are functional attributes called features The descriptions considered in this paper are the possi bly quanti ed rst order formulae obtained from a signature of binary and unary predicates called features and sorts respect...

Lindström [11] introduced a very powerful notion of quantifiers, which permits multi-place quantification and the simultaneous binding of several variables. A special case, 'branching' quantifiers, was found to be useful in linguistics, specifically for modelling reciprocal constructions like " Most men and most women admire each other ". Westerståhl [13] showed how to compute the three-place L...

We consider quasi-extreme Kerr and quasi-extreme Schwarzschild-de Sitter black holes. From the known analytical expressions obtained for their quasi-normal modes frequencies, we suggest an area quanti-zation prescription for those objects.

1 Introdução A ambigüidade devido à interação entre quanti cadores já é conhecida há muito tempo, na semântica, e pode ser encontrada em diversos manuais de de introdução a esta disciplina, como [1, p. 180], [8, p. 97], [5, p. 39], [7, p. 194], [4, p. 380], [2, p. 71]. Um exemplo clássico desta ambigüidade é o da sentença todo homem ama uma mulher, que pode ser interpretada em duas situações: 1...

A high-performance liquid chromatographic method was developed and validated for the determination of two antiretroviral drugs viz. Zidovudine and Lamivudine in combined pharmaceutical tablets. The different analytical performance parameters such as linearity, precision, accuracy, specicity, limit of detection (LOD) and limit of quantication (LOQ) were determined. Chromatography was carried o...

A translation technique is presented which transforms a class of First Order Logic formulas, called Restricted formulas, into ground formulas. For the formulas in this class the range of quanti ed variables is restricted by Domain formulas. If we have a complete knowledge of the predicates involved in the Domain formulas their extensions can be evaluated with the Relational Algebra and these ex...