Inappropriate management of food production operations cause several quality performance problems. Therefore, the actual contribution of food quality management to quality performance has to be revealed. This article investigates the effectiveness of food quality management in the bakery sector. Relations between production quality, quality management and contextual factors were studied from a ...

Several factors influencing risk perception in the area of occupational health and safety are known, but there is still lack of a full understanding of the ways in which people characterize risk. This study aimed to provide an insight of employee risk assessment and perception in the bakery industry. 87 British and 64 Greek employees in two comparable bakery companies were asked to estimate and...

BACKGROUND This study describes exposure levels of bakery and pastry apprentices to flour dust, a known risk factor of occupational asthma. METHODS Questionnaires on work activity were completed by 286 students. Among them, 34 performed a series of two personal exposure measurements using a PM2.5 and PM10 personal sampler during a complete work shift, one during a cold ("winter") period, and ...

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

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

The increasingly rapid development of the business world requires companies engaged in industry, trade, and services to continue optimize their activities win market competition. Mikaila Bakery is one businesses producing birthday cakes Gorontalo Province. In cake at Bakery, so far, amount production only determined by estimates, profits do not reach optimal profits. This study aimed determine ...