The language MIX consists of all strings over the three-letter alphabet {a, b, c} that contain an equal number of occurrences of each letter. We prove Joshi’s (1985) conjecture that MIX is not a tree-adjoining language.

In this study, first by surveythe parameters affecting the compressive strength, such as water to cement ratio, cementgrade, silica fume to cement percentage, and the various ratios oflight weight aggregate LECA, to total aggregate, Taguchi method is used, to test 9 mix designsobtained the mix design optimization. Since lightweight concrete is brittle like normal concrete, to resolve this probl...

In this paper we present eFarnel, a new electronic voting scheme based on the paper-based Farnel protocol. The new scheme corrects problems observed in previous proposes to simulate Farnel electronically. Moreover, we also define a new kind of mix net, called F-Mix-Net, which is required by our protocol.

A MIX net takes a list of ciphertexts (c1; ; cN) and outputs a permuted list of the plaintexts (m1; ; mN) without revealing the relationship between (c1; ; cN) and (m1; ; mN). This paper shows that the Jakobsson's ash MIX of PODC'99, which was believed to be the most eecient robust MIX net, is broken. The rst MIX server can prevent computing the correct output with probability 1 in our attack. ...

System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix and nullary mix extend the deductive system, the operator seq extends the language of MLL. Due to the operator seq, system BV extends the applications of MLL to those where sequential composition is crucial, e.g., conc...

This research paper describes the study of combined effect of Fly Ash (FA) and Rice Husk Ash (RHA) on properties of concrete as partial replacement of Ordinary Portland Cement (OPC). These by-products are having high pozzolanic reactivity. In this research, the composition of mix was used with 10% RHA along with 10, 20 and 30% FA as partial replacement of cement. In this study, the compressive ...

This paper describes a mix word-pair mix-WP) identifier to resolve homonym/segmentation ambiguities as well as perform STW conversion effectively for Chinese input. The mix-WP identifier includes a specific word-pair (SWP) identifier and a common wordpair (CWP) identifier. It is designed as a supporting processing with Chinese input systems. Our experiments show that by applying the mix-WP iden...

BACKGROUND In thalassemia patients, R2* liver iron concentration (LIC) measurement is a common clinical tool for assessing iron overload and for determining necessary chelator dose and evaluating its efficacy. Despite the importance of accurate LIC measurement, existing methods suffer from LIC variability, especially at the severe iron overload range due to inclusion of vessel parts in LIC calc...