The current generation of CASE tools mainly provides rigid and unnexible support for editing, storage, veriication and transformation of speciications. Information engineers have to adapt their way of working to CASE tools instead of vice versa. To enable a more exi-ble, method independent, support of information engineers, the concept of a CASE shell has emerged. Crucial for CASE shells is the...

We study classic cake-cutting problems, but in discrete models rather than using infiniteprecision real values, specifically, focusing on their communication complexity. Using general discrete simulations of classical infinite-precision protocols (Robertson-Webb and movingknife), we roughly partition the various fair-allocation problems into 3 classes: “easy” (constant number of rounds of logar...

We consider the classic cake-divison problem when the cake is a heterogeneous good represented by an interval in the real line. We provide a mechanism to implement, in an anonymous way, an envy-free and e¢cient allocation when agents have private information on their preferences. The mechanism is a multistep sequential game form in which each agent at each step receives a morsel of the cake tha...

An efficient synthesis of 2H-thiopyran-3,4-dicarboxylate derivatives via one-pot reactions between acetylenic esters, arylisothiocyanates and enaminones in water is described.The advantages of this work were: (1) the reaction was performed under neutral and more important in water as the solvent. (2) No catalyst was required for this reaction. (3) The simplicity of the present procedure made it...

A simple highly versatile and efficient sonochemical synthesis of 1,2,4,5-tetrasubstituted and 2,4,5-trisubstituted imidazoles is achieved by condensation of 1,2-dicarbonyl compound, aldehyde, ammonium acetate and primary amine using antimony trichloride immobilized on silica gel (SiO2-OSbCl2) as a catalyst in ethanol at moderate temperature. Operational simplicity, practicability and applicabi...

cross efficiency is a method with the idea of peer evaluation instead of self-evaluation, and is used for evaluation and ranking decision making units (dmus) in data envelopment analysis (dea). unlike most existing dea ranking models which can only rank a subset of dmus, for example non-efficient or extreme efficient dmus, cross efficiency can rank all dmus, even non-extreme ones. however, sinc...

A simple highly versatile and efficient sonochemical synthesis of 1,2,4,5-tetrasubstituted and 2,4,5-trisubstituted imidazoles is achieved by condensation of 1,2-dicarbonyl compound, aldehyde, ammonium acetate and primary amine using antimony trichloride immobilized on silica gel (SiO2-OSbCl2) as a catalyst in ethanol at moderate temperature. Operational simplicity, practicability and applicabi...

Multilevel PWM waveforms can be decomposed into several multilevel PWM components. Phase-shifted carrier (PSC) is an efficient decomposition technique. In this paper, we have first demonstrated the equality of PSC and alternative phase opposition disposition techniques. Second, we have modified PSC to accommodate other disposition techniques. Third, we have investigated the effects of using...

The Efficient Coding Hypothesis, suggests that sensory relays recode sensory messages, so that their redundancy is reduced, but little information is lost. Coding to reduce redundancy eliminates wasteful neural activity, and also organizes sensory information such than an internal model of the environment causing the past sensory inputs to built up, while the current sensory situation is repres...