Southwestern Minnesota Farm Business Management Association 2008 Annual Report

Average net farm income was $190,901 in 2008 for the 99 farms included in this annual report of the Southwestern Minnesota Farm Business Management Association. Average earnings decreased by 21$242,267 in 2007 (Figure 1). 2008 ended a steady trend of increasing year-to-year incomes for these farms from 2001 to 2007. Crop farms, with historically high corn and soybean prices, remained very profitable. However, specialized hog farms, which had been very profitable for the past four years, experienced substantial losses. Highlights of association financial results for 2008: Median net farm income was $178,874, slightly lower than the average, indicating that the average was increased by high profits of the most profitable farms. This effect was not as large as previous years, likely because of losses by larger hog operations. • The difference between the most profitable farms and the least profitable continued to increase. The most profitable 20$449,997 while the least profitable lost $-29,476. • Average gross cash income increased by 20$115,999. The average debt-to-asset ratio improved slightly to 39%, down from 40% (Figure 4). • Corn yields were up but soybean yields were down. Corn averaged 172 bushels per acre compared to 162 in 2007. Soybeans yields decreased to 44 bushels from 49 in 2007 (Figure 5). • Both corn and soybean prices received increased by over 50% to $4.51 for corn and$10.83 for soybeans. • The cost to raise an acre of corn (with land rent) increased by 23% while soybean costs increased by 21%. The cost to produce a bushel of corn on cash rented land increased from $2.58 per bushel in 2007 to$2.90 in 2008, while soybean costs per bushel increased from $6.14 to$7.21. • The average specialized hog operation (those with 70% of sales from hogs or pigs) lost over $150,000 in 2008 (Figure 6). All other farm types with enough farms to report averaged net incomes very close to the association average. • Based on rate of return on assets, crop farms (those with 70$1,000,000, were the least profitable based on rate of return on assets. This group earned an average ROA of 7% compared to 14% for farms that grossed between $500,000 and$1,000,000. • With exceptionally high feed prices, no hog or beef enterprise, with the exception of contract growing of hogs (where the contractor provided the feed) covered even direct costs of production. The report provides additional information on profitability, liquidity, and solvency as well as other whole-farm information and detailed information on crop and livestock enterprises. Also reported are whole-farm financial condition and performance by county, sales size class, type of farm, debt-to-asset ratio, and age of operator.Agricultural Finance, Farm Management,

Blood Lactate Levels and the Effects of Recovery Methods on Repeated Sprint Performance

Please refer to the pdf version of the abstract located adjacent to the title

Mining State-Based Models from Proof Corpora

Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prover is finding a suitable sequence of proof steps that will lead to a successful proof requires a significant amount of human intervention. This paper presents an automated technique that takes as input examples of successful proofs and infers an Extended Finite State Machine as output. This can in turn be used to generate proofs of new conjectures. Our preliminary experiments show that the inferred models are generally accurate (contain few false-positive sequences) and that representing existing proofs in such a way can be very useful when guiding new ones.Comment: To Appear at Conferences on Intelligent Computer Mathematics 201

Spectrum occupancy measurement: a case for cognitive radio network in lagos, Nigeria

The proliferation in technologies and with the recent introduction of new paradigm for wireless communication, the demand for wireless devices has increased drastically in recent years. This therefore, posed a major threat on the available frequency spectrum and as a result, an efficient method for the utilisation of the limited frequency spectrum is required. As the scarcity of frequency spectrum is a major problem in the telecommunication field, cognitive radio technology has been identified as a promising solution to this problem. Cognitive radio allows the opportunistic access of licensed bands by unlicensed users without causing harmful interference to the licensed user. There is a need to evaluate the utilisation level of the licensed bands in order to identify which frequency bands can be used for cognitive radio implementation. Nevertheless, spectrum measurement campaigns have been conducted mostly in USA and a few other locations around the world. In this paper, the results of the measurement campaign conducted in Ikeja, the capital city of Lagos, Nigeria covering the range of frequency 700 MHz up to 2.2 GHz is presented. The measurement results are analysed and compared to the frequency allocation table published by the Nigerian Communications Commission. The results obtained show that the frequency spectrum is underutilised and therefore a significant amount of spectrum is available for the future implementation of cognitive radio networks

Rubidium and lead abundances in giant stars of the globular clusters M4 and M5

We present measurements of the neutron-capture elements Rb and Pb for bright giants in the globular clusters M4 and M5. The clusters are of similar metallicity ([Fe/H] = -1.2) but M4 is decidedly s-process enriched relative to M5: [Ba/Fe] = +0.6 for M4 but 0.0 for M5. The Rb and Pb abundances were derived by comparing synthetic spectra with high-resolution, high signal-to-noise ratio spectra obtained with MIKE on the Magellan telescope. Abundances of Y, Zr, La, and Eu were also obtained. In M4, the mean abundances from 12 giants are [Rb/Fe] = 0.39 +/- 0.02 (sigma = 0.07), [Rb/Zr] = 0.17 +/- 0.03 (sigma = 0.08), and [Pb/Fe] = 0.30 +/- 0.02 (sigma = 0.07). In M5, the mean abundances from two giants are [Rb/Fe] = 0.00 +/- 0.05 (sigma = 0.06), [Rb/Zr] = 0.08 +/- 0.08 (sigma = 0.11), and [Pb/Fe] = -0.35 +/- 0.02 (sigma = 0.04). Within the measurement uncertainties, the abundance ratios [Rb/Fe], [Pb/Fe] and [Rb/X] for X = Y, Zr, La are constant from star-to-star in each cluster and none of these ratios are correlated with O or Na abundances. While M4 has a higher Rb abundance than M5, the ratios [Rb/X] are similar in both clusters indicating that the nature of the s-products are very similar for each cluster but the gas from which M4's stars formed had a higher concentration of these products.Comment: Accepted for publication in Ap

Formalising Mathematics in Simple Type Theory

Despite the considerable interest in new dependent type theories, simple type theory (which dates from 1940) is sufficient to formalise serious topics in mathematics. This point is seen by examining formal proofs of a theorem about stereographic projections. A formalisation using the HOL Light proof assistant is contrasted with one using Isabelle/HOL. Harrison's technique for formalising Euclidean spaces is contrasted with an approach using Isabelle/HOL's axiomatic type classes. However, every formal system can be outgrown, and mathematics should be formalised with a view that it will eventually migrate to a new formalism

Searching for Planets in the Hyades. I. The Keck Radial Velocity Survey

We describe a high-precision radial velocity search for jovian-mass companions to main sequence stars in the Hyades star cluster. The Hyades provides an extremely well controlled sample of stars of the same age, the same metallicity, and a common birth and early dynamical environment. This sample allows us to explore the dependence of the process of planet formation on only a single independent variable: the stellar mass. In this paper we describe the survey and summarize results for the first five years.Comment: 8 pages, 3 figures; To appear in the July 2002 issue of The Astronomical Journa

Parents' postnatal depressive symptoms and their children's academic attainment at 16 years: Pathways of risk transmission

This is the author accepted manuscript. The final version is available from Wiley via the DOI in this record.The aim of the study was to examine whether parents’ increased postnatal depressive symptoms predicted children’s academic attainment over time, and whether the parent-child relationship, children’s prior academic attainment and mental health mediated this association. We conducted secondary analyses on the Avon Longitudinal Study of Parents and Children data (12,607 mothers, 9,456 fathers). Each parent completed the Edinburgh-Postnatal Depression Scale at 8 weeks after the child’s birth (predictor) and a questionnaire about the mother-child and father-child relationship at 7 years and 1 month (mediator). The children’s mental health problems were assessed with the teacher version of the Strengths and Difficulties Questionnaire at 10-11 years (mediator). We used data on the children’s academic attainment on UK Key Stage 1 (5-7 years; mediator) and Key Stage 4 (General Certificate of Secondary Education (GCSE)16 years) (outcome). We adjusted for the parents’ education, and child gender and cognitive ability. The results revealed that parents’ depressive symptoms at 8 weeks predicted lower academic performance in children at 16 years. Mothers’ postnatal depressive symptoms had an indirect effect through children’s mental health problems on academic outcomes at 16 years via negative mother-child relationship, and prior academic attainment. There was a significant negative indirect effect of fathers’ postnatal depressive symptoms on academic attainment at 16 years via negative father-child relationship on child mental health. The findings suggest that the family environment (parental mental health and parent-child relationship) and children’s mental health should be potential targets for support programmes for children of depressed parents.Medical Research Council (MRC)Wellcome Trus