OBJECTIVE To determine whether an active rural lifestyle during childhood and adolescence, defined as low farm mechanization, was associated with bone measures later in life. METHODS DXA bone data from total body, hip and spine, and pQCT data from 4% and 20% distal radius were obtained on 330 individuals (157 women) aged 20-66 years who farmed at least 75% of their lives. Primary bone outcome...

The number of studies on small-scale fishing communities has grown considerably over the past 30 years. Evidence on how the process of mechanization and technological expansion has affected traditional small-scale fishers in peripheral regions, however, is less abundant. For areas like Eastern Indonesia that are now facing important challenges in governance and resource degradation, lack of inf...

The main purpose of this paper is to give a simple and non-combinatorial proof of the toric Mori theory. Here, the toric Mori theory means the (log) Minimal Model Program (MMP, for short) for toric varieties. We minimize the arguments on fans and their decompositions. We recommend this paper to the following people: (A) those who are uncomfortable with manipulating fans and their decompositions...

PART III of this volume discusses complementary strategies toward the rice Green Revolution in sub-Saharan Africa (SSA), including mechanization, irrigation, and marketing efforts to enhance demand for domestic rice. In Asia, population pressure on land high prices relative input induced farming intensification, while mechanization irrigation development boosted productivity. However, SSA, incr...

The article presents the mechanization of the process for obtaining powdered cellulose using the technology of steam explosion treatment of lignocellulosic material. The presented unit combines the methods of steam explosion treatment and acid hydrolysis of cellulose-containing raw materials.

The theorem of Sylow is proved in Isabelle HOL. We follow the proof by Wielandt that is more general than the original and uses a non-trivial combinatorial identity. The mathematical proof is explained in some detail leading on to the mechanization of group theory and the necessary combinatorics in Isabelle. We present the mechanization of the proof in detail giving reference to theorems contai...

Mechanization of cotton harvesting began in earnest in the Soviet Union in 1958 and was expected to proceed more rapidly than the market-driven process which had begun in the USA a decade earlier. Despite high output of cotton-picking machines, the share of the crop harvested mechanically grew more slowly than in the USA. Mechanical picking was resisted at the farm level on the basis of distort...

Formal program design methods are most useful when supported with suitable mechanization. This need for mechanization has long been apparent, but there have been doubts whether veriication technology could cope with the problems of scale and complexity. Though there is very little compelling evidence either way at this point, several powerful mechanical veriication systems are now available for...