In this paper, we generalize the algorithm described by Rump and Graillat, as well as our previous work on certifying breadth-one singular solutions of polynomial systems, to compute verified and narrow error bounds such that a slightly perturbed system is guaranteed to possess an isolated singular solution within the computed bounds. Our new verification method is based on deflation techniques...

Estimating gestational age in resource-limited settings is prone to considerable inaccuracy because crown-rump length measured by ultrasound before 14 weeks gestation, the recommended method for estimating gestational age, is often unavailable. Judgements regarding provision of appropriate obstetric and neonatal care are dependent on accurate estimation of gestational age. We determined the acc...

A whole genome association (WGA) study was conducted to identify quantitative trait loci (QTL) for body conformation traits in Hanwoo cattle. The phenotypes of 497 steers were recorded from the Hanwoo Improvement Center of National Agricultural Cooperative Federation, Seosan, Korea, and analyzed using the Illumina Bovine 50 k SNP chip. A set of 35,987 SNPs that were available in the Hanwoo popu...

BACKGROUND Low birth weight has been consistently associated with adult chronic disease risk. The thrifty phenotype hypothesis assumes that reduced fetal growth impacts some organs more than others. However, it remains unclear how birth weight relates to different body components, such as circumferences, adiposity, body segment lengths and limb proportions. We hypothesized that these components...

The effect of shifting calf-weaning age on profiles of energy status (BW, BCS, and rib and rump fat) and reproductive performance of beef cows was evaluated in a 3-yr study. Pregnant and lactating crossbred beef cows (n = 408), mainly of Angus and Hereford breeding, were stratified by age and by sex and BW of their calves and assigned randomly into 2 treatments: weaning at approximately 180 d (...

seL4 is a formally-verified high-assurance microkernel that provides isolation to properly designed applications that it executes. Real-world cyber-physical systems can use seL4 for increased security. Many applications rely on the operating system to provide system services, such as device drivers, file systems and networking capabilities, however seL4 only provides these in a limited capacity...

Six Angus steers (319 +/- 8.5 kg) were assigned to one of two groups (hot or cold exposure) of three steers each, and placed into two environmental chambers initially maintained at 16.5-18.8 degrees C air temperature (Ta). Cold chamber Ta was lowered to 8.4 degrees C, while Ta within the hot chamber was increased to 32.7 degrees C over a 24-h time period. Measurements included respiration rate,...

There are several reports of electron microscopic studies on the epidermis of human fetuses and/or embryos: BREATHNACH and WYLLIE (1965a, 1965b) reported on the ultrastructure of the epidermis in human fetuses 12 and 14 weeks of menstrual age: RIEGEL (1965) in human fetuse 25 to 60mm long in crown-rump length; HASHIMOTO et al. (1966) in human fetuses 12 to 22 weeks of menstrual age, 60 to 180mm...