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

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

Spelt is a valuable crop, known for long time, but little used currently. The increased interest in it explained by the great potential of this which lies its rich chemical composition, and possibility using as source alternative raw material baking industry. crushed spelt grain (spelt groats) technology wheat bread with nutritional value functional orientation considered. A rational way soakin...

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

Abstract The population of gluten sensitive people has been gradually rising in the last decades. food industry, especially bakery industry to develop more gluten-free products satisfy consumer's demand. However, quality these differs from attributes a standard glutenious product. Therefore, aim our research was good sourdough product with 3 different flours: millet, brown rice and commercially...

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