The Japanese quail belongs to the order Galformes, family Phasidae, genus Coturnix and species japonica. Several aspects account for the utility of this bird. First, it has attained economic importance as an agricultural species producing eggs and meat that are enjoyed for their unique flavor. Egg production is important in Japan and Southeast Asia, while meat is the main product in Europe. Sec...

The present invention provides a biodegradable thermoplastic composition made of a cereal grain that is treated with an organic solvent, and optionally a cross-linking agent such as an aldehyde, an acid anhydride or an epoxide, to link together the starch and protein of the cereal grain. The compositions may be used to make extruded or molded articles that are biodegradable, water-resistant, an...

With system development becoming increasingly incremental, design stability stands out as one of the most desirable software quality attributes. Development of stable software systems is particularly challenging in the domain of software product lines (SPLs), where their core architecture, set of features, and multiple products are continuously evolving. Contemporary programming languages, such...

Disclosed is a method of preparing pigmentary chromium oxide nano particles having 50 percent particle size less than about 100 nm. Preparation of nano chromium (III) oxide is investigated by thermal decomposition method. According to the disclosed method, a substantially dry solid composition of potassium dichromate and carbon active is heated in CO2 atmosphere to a temperature of about 60...

Ultrasonic vibration gas-solid fluidized bed was proposed and introduced to separate fine coals (0.5-0.125 mm fraction). Several technological methods such as XRF, XRD, XPS, and EPMA were used to study the composition of heavy products to evaluate the separation effect. Results show that the ultrasonic vibration force field strengthens the particle separation process based on density when the v...

Computational indistinguishability amplification is the problem of strengthening cryptographic primitives whose security is defined by bounding the distinguishing advantage of an efficient distinguisher. Examples include pseudorandom generators (PRGs), pseudorandom functions (PRFs), and pseudorandom permutations (PRPs). The literature on computational indistinguishability amplification consists...

Event-B is a formal language for modelling reactive systems, based on set theory and first-order logic. The RODIN toolkit provides comprehensive tool support for modelling and refinement in Event-B, analysis and verification using animator/model-checkers and theorem provers. We consider the need to support reuse, in particular product line reuse, in such a formal development method. Feature mod...

In this paper, we establish Composition-Diamond lemma for tensor product k〈X〉⊗k〈Y 〉 of two free algebras over a field. As an application, we construct a GröbnerShirshov basis in k〈X〉 ⊗ k〈Y 〉 by lifting a Gröbner-Shirshov basis in k[X]⊗ k〈Y 〉, where k[X] is a commutative algebra.

We obtain some simple criteria for the boundedness and compactness of the product of differentiation and composition operator CφD on Bloch type spaces.

For an ordered set W = {w1, w2, . . . , wk} of vertices and a vertex v in a connected graph G, the ordered k-vector r(v|W ) := (d(v, w1), d(v, w2), . . . , d(v, wk)) is called the (metric) representation of v with respect to W , where d(x, y) is the distance between the vertices x and y. The set W is called a resolving set for G if distinct vertices of G have distinct representations with respe...