RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. This paper presents three case studies describing the use of different classes of formal methods to satisfy DO-178C certification objectives. The case studies examine different aspects o...

the effects of plant densities (25, 35 and 45 plants m-2 as d1, d2 and d3 respectively), and inoculation with rhizobium bacteria (without rhizobium, with rhizobium and rhizobium + microelement application), on growth and yield were studied in chickpea (cicer arietinum l.). experiment was carried out in 2008 at research farm of the faculty of agriculture of university of mohaghegh ardabil, a fac...

Ninety-five (28%) of 333 U.S. military personnel deployed to Ubonratchathani, Thailand, for 1 month in February 1993 developed diarrhea. Campylobacter jejuni was identified in 6 (25%), attaching and effacing Escherichia coli was identified in 3 (13%), nontyphoidal Salmonella spp. were identified in 2 (8%), and rotavirus was identified in 1 (4%) of 24 persons who had diarrhea and submitted speci...

the moist sample shrinks during drying and the non-uniformity shrinkage involves stresses in the body. the aim of the present work is simulating deformations and drying-induced stresses of carrot slice during a convective drying. the effect of shrinkage on the heat and mass transfer profiles were considered. non-constant physical and thermal properties were also incorporated in the model and th...

1. Miettinen TA, Railo M, Lepäntalo M, Gylling H. Plant sterols in serum and in atherosclerosis plaques of patients undergoing carotid endarterectomy. J Am Coll Cardiol 2005;45:1749–801. 2. Miettinen TA, Gylling H. Effect of statins on noncholesterol sterol levels: implications for use of plant stanols and sterols. Am J Cardiol 2005;96:40D–6D. 3. De Jongh S, Lilien MR, op’t Roodt J, Stroes ES, ...

adjustment of plant density is an important base on light, water and soil nutrients for increasing seed yield. to determine of plant density in new red bean lines (phaseolus vulgaris l.), this experiment was conducted as factorial in randomized complete block design (rcbd) with three replications at lordegan region (chaharmahal and bakhtiari province) in 2004-2005. factors were new red bean lin...

39 pp. 77-104, CRC Press, Boca Raton, FL Egneus, H., Heber, U., Matthiesen, U. and Kirk, M. (1975) Biochim. Biophys. Acta 408, 252-268 Robinson, J. M. (1988) Physiol. Plant. 72, 666-680 Elstner, E. F. (1987) in The Biochemistry of Plants (Davies, D. D., ed.), vol. 11, pp. 253-317, Academic Press, San Diego Ireland, C. R., Baker, M. R. and Long, S. P. (1987) Biochim. Biophys. Acta 893,434-443 Sm...

1. Miettinen TA, Railo M, Lepäntalo M, Gylling H. Plant sterols in serum and in atherosclerosis plaques of patients undergoing carotid endarterectomy. J Am Coll Cardiol 2005;45:1749–801. 2. Miettinen TA, Gylling H. Effect of statins on noncholesterol sterol levels: implications for use of plant stanols and sterols. Am J Cardiol 2005;96:40D–6D. 3. De Jongh S, Lilien MR, op’t Roodt J, Stroes ES, ...

(2R,3R,4R)-4-hydroxy-2-(hydroxymethyl)pyrrolidin-3-yl 4-O-(6-deoxyb-D-glucopyranosyl)-a-D-glucopyranoside (CS-1036), which is an a-amylase inhibitor, exhibited biphasic and sustained elimination with a long t1/2 (18.4–30.0 hours) in rats and monkeys, but exhibited a short t1/2 (3.7–7.9 hours) in humans. To clarify the species differences in the t1/2, the plasma protein binding of CS-1036 was ev...