Cloutier, Nyman, and Su (Mathematical Social Sciences 59 (2005), 26–37) initiated the study of envy-free cake-cutting problems involving several cakes. The classical result in this area is that when there are q players and one cake, an envy-free cake-division requiring only q − 1 cuts exists under weak and natural assumptions. Among other results, Cloutier, Nyman, and Su showed that when there ...

Essential oils are natural compounds, which have extensive applications in perfumery, food and pharmaceutical industries. Nowadays they are also used in preservation of foods and disinfectant production. Considering the undesirable effects of synthetic compounds on the nature and living beings, using natural compounds like essential oils have been noticed recently. Peppermint (Mentha piperita) ...

Suppose that a bakery is interested in studying the effects of three different sugar substitutes on the optimal baking time of birthday cakes. To perform the study, the baker wishes to bake several cakes using each of the three substitutes, as well as real sugar, and determine the time to browning for each cake. Unfortunately, the baker knows the the exact oven temperature can effect the length...

Essential oils are natural compounds, which have extensive applications in perfumery, food and pharmaceutical industries. Nowadays they are also used in preservation of foods and disinfectant production. Considering the undesirable effects of synthetic compounds on the nature and living beings, using natural compounds like essential oils have been noticed recently. Peppermint (Mentha piperita) ...

We have extended the verified CakeML compiler with a new language primitive, Eval, which permits evaluation of syntax at runtime. This implementation supports an ambitious form compilation runtime and dynamic execution, where original dynamically added code can share (higher-order) values recursively call each other. is, to our knowledge, first run-time environment capable supporting standard L...

The aim of the present study was to examine the effect of a single high-fat meal with different fat quality on circulating inflammatory markers and gene expression in peripheral blood mononuclear cells (PBMC) to elucidate the role of fat quality on postprandial inflammation. A postprandial study with fourteen healthy females consuming three test meals with different fat quality was performed. T...

The antifungal property containing oil cakes play a significant role in reducing plant disease wide range of soil-borne pathogens. A destructive pathogen, Sclerotium rolfsii is infecting vast crops worldwide. In-vitro efficacy five different viz. mahua cake, neem pungam coconut cake and castor extracts was tested against the stem rot pathogen groundnut. Among cakes, extract produced minimum myc...

Abstract Treatment of the filter cake layer after drilling is essential for better cement integrity and to retain original reservoir permeability. Compared water-based cake, oil-based mud removal more sophisticated as oil encloses cake’s particles. Therefore, clean-up requires wettability alteration additives (mutual solvents and/or surfactants) permitting acid/filter reaction. With an appropri...