Minimizing the makespan is an important research topic in manufacturing engineering because it accounts for significant production expenses. In bakery manufacturing, ovens are high-energy-consuming machines that run throughout time. Finding optimal combination of and oven idle time decisive objective space can result substantial financial savings. This paper investigates hybrid no-wait flow sho...

In bakery production, to perform a processing task there might be multiple alternative machines that have the same functionalities. Finding an efficient production schedule is challenging due significant nondeterministic polynomial time (NP)-hardness of problem when number products, tasks, and are higher. addition, many tasks performed manually as small medium-size bakeries not fully automated....

The successful establishment of agricultural crops depends on sowing quality, machinery performance, soil type and conditions, among other factors. This study evaluates the operational quality of mechanized peanut sowing in three soil types (sand, silt, and clay) with variable moisture contents. The experiment was conducted in three locations in the state of São Paulo, Brazil. The track-samplin...

A major barrier to more common use of mechanical theorem provers in verifying software designs is the signi cant distance between proof styles natural to humans and proof styles supported by mechanical provers. To make mechanical provers useful to software designers with some mathematical sophistication but without expertise in mechanical provers, the distance between hand proofs and their mech...

Background: Salt content and pH degree are the quality indicators of bread which their unauthorized levels may have harmful effects on body health. Accordingly, this survey was carried out to evaluate pH and salt contents in bread samples produced in Mashhad, Iran. Methods: Totally 708 bread samples (340 loaves of Lavash, 183 loaves of Taftun, 139 loaves of Barbari and 46 loaves of Sangak br...