The present study was funded by the Ministry of Agriculture, Fisheries and Food, its aim being to identify the technical barriers to the development of reduced-fat alternatives for bakery products. Using National Food Survey (Ministry of Agriculture, Fisheries and Food, 1998) statistics on dietary consumption within the home, biscuits, cakes and pastries were identified as contributing signific...

Microwave oven can safely be used in microbiology laboratory for preparation of media. The method is convenient, reliable, economical and reproducible. It saves time and the quality of media is superior as compared to media prepared by conventional autoclaving method.

OBJECTIVE The aim was to assess the significance of two biomarkers; antibody to benzo(a)pyrene DNA adducts and concentration of hydroxyethylvaline haemoglobin adducts in samples from a well studied group of coke oven workers. As a measure of exposure we have used 1-hydroxypyrene in urine. METHODS Urine and blood samples were collected from coke oven workers and a control group. Samples from c...

Native corn starch has a lack of characteristics such as low thermal stability, resistance to shear force, and high tendency retrograde. To address this problem, it needs be modified improve its application in the food sector. Hydrothermal modification is one physical modifications by heating above gelatinization temperature with limited water content. In study, native was using various methods...

Most weak memory consistency models are incapable of supporting a solution to mutual exclusion using only read and write operations. Processor Consistency–Goodman’s version is an exception. Ahamad et al.[1] showed that Peterson’s mutual exclusion algorithm is correct for PC-G, but Lamport’s bakery algorithm is not. In this paper, we derive a lower bound on the number and type (singleor multi-wr...

We present a model checking algorithm for safety properties that is applicable to parameterized systems and hence provides a unifying approach of model checking for parameterized systems. By analysing the conditions under which the proposed algorithm terminates, we obtain a characterisation of a subclass for which this problem is decidable. The known decidable subclasses, token rings and broadc...

This paper presents a proof framework for verifying concurrent programs that communicate using global variables. The approach is geared towards verification of models that have an unbounded state size and are as close to the original code as possible. The bakery algorithm is used as a demonstration of the framework basics, while the (full) framework with thread synchronization was used to verif...

This study was conducted to determine that carrot powder obtain by different drying methods (oven and vacuum-freeze dryer) of carrot unfit for human consumption that whether feed additives in animal nutrition or not. Carrots randomly divided 2 groups. First group was dried by using oven, second group was by using vacuum freeze dryer methods. Dried carrot prepared from fresh carrot was analysed ...