The Restructuring of the Saskatchewan Wheat Pool: Overconfidence and Agency

This paper examines how agency problems combined with overconfidence and hubris by coop management lead to financial failure in the Saskatchewan Wheat Pool. As a consequence of both of these problems, the Pool made poor investment decisions and ended up in severe financial difficulties. These problems were exacerbated by three additional factors: (1) ownership and control were separated via an A-B share structure, leading to a situation where neither farmer members nor investors had an incentive to monitor management activities; (2) the sheer volume of investment activity undertaken made it virtually impossible for the board to stay on top of what was happening; and (3) as a result of the change financial structure, senior management had available a large amount of debt capital that it could spend.Agribusiness, Crop Production/Industries,

Study of the application of perceptrons for prediction of solar flares. solar flare forecasting with a recognizing automaton final report, phase ii

Perceptrons for solar flare prediction with pattern recognition automato

Chandra Observations of "The Antennae" Galaxies (NGC 4038/39)

We report the results of a deep Chandra ACIS pointing at the merging system NGC 4038/39. We detect an extraordinarily luminous population of X-ray sources, with luminosity well above that of XRBs in M31 and the Milky Way. If these sources are unbeamed XRBs, our observations may point to them being 10-100Mo black hole counterparts. We detect an X-ray bright hot ISM, with features including bright superbubbles associated with the actively star-forming knots, regions where hot and warm (H$\alpha$) ISM intermingle, and a large-scale outflow.Comment: 7 pages, 10 figures, Accepted for publication in Ap

Diffusion of Point Defects in Two-Dimensional Colloidal Crystals

We report the first study of the dynamics of point defects, mono and di-vacancies, in a confined 2-D colloidal crystal in real space and time using digital video microscopy. The defects are introduced by manipulating individual particles with optical tweezers. The diffusion rates are measured to be $D_{mono}/a^{2}\cong3.27\pm0.03$Hz for mono-vacancies and $D_{di}/a^{2}\cong3.71\pm0.03$Hz for di-vacancies. The elementary diffusion processes are identified and it is found that the diffusion of di-vacancies is enhanced by a \textit{dislocation dissociation-recombination} mechanism. Furthermore, the defects do not follow a simple random walk but their hopping exhibits memory effects, due to the reduced symmetry (compared to the triangular lattice) of their stable configurations, and the slow relaxation rates of the lattice modes.Comment: 6 pages (REVTEX), 5 figures (PS

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties

In this paper, we formally verify security properties of the ARMv7 Instruction Set Architecture (ISA) for user mode executions. To obtain guarantees that arbitrary (and unknown) user processes are able to run isolated from privileged software and other user processes, instruction level noninterference and integrity properties are provided, along with proofs that transitions to privileged modes can only occur in a controlled manner. This work establishes a main requirement for operating system and hypervisor verification, as demonstrated for the PROSPER separation kernel. The proof is performed in the HOL4 theorem prover, taking the Cambridge model of ARM as basis. To this end, a proof tool has been developed, which assists the verification of relational state predicates semi-automatically