Learn More
Five positive carbon isotope excursions are reported from Platteville – Decorah strata in the Upper Mississippi Valley. All occur in subtidal carbonate strata, and are recognized in the Mifflin, Grand Detour, Quimbys Mill, Spechts Ferry, and Guttenberg intervals. The positive carbon isotope excursions are developed in a Platteville – Decorah succession in(More)
SUMMARY Rising complexity within muti-tier computing architectures remains an open problem. As complexity increases so do the costs associated with operating and maintaining systems within these environments. One approach for addressing these problems is to build self-healing systems (i.e., frameworks) that can autonomously detect and recover from faulty(More)
Autonomously detecting and recovering from faults is one approach for reducing the operational complexity and costs associated with managing computing environments. We present a novel methodology for autonomously generating investigation leads that help identify systems faults. Specifically, when historical feature data is present, Hidden Markov Models can(More)
—Autonomously detecting and recovering from faults is one approach for reducing the operational complexity and costs associated with managing computing environments. We present a novel methodology for autonomously generating investigation leads that help identify systems faults, and extends our previous work in this area by leveraging Restricted Boltz-mann(More)
ii I hereby declare that I am the sole author of this thesis. I authorize the University of Manitoba to lend this thesis to other institutions or individuals for the purpose of scholarly research. I further authorize the University of Manitoba to reproduce this thesis by photocopying or other means, in whole or in part, at the request of other institutions(More)
Autonomous fault detection represents one approach for reducing operational costs in large-scale computing environments. However, little empirical evidence exists regarding the implementation or comparison of such methodologies, or offers proof that such approaches reduce costs. This paper compares the effectiveness of several types of stochastic primitives(More)
Paleocommunity research efforts have explored a multitude of faunal assemblages using a wide range of sampling and analytical methods to infer a paleoecological signal. Here, we derive six secondary datasets from a single stratigraphic series of faunal assemblages in the Finis Shale (Pennsylvanian) of Jacksboro, Texas, USA, using a variety of data(More)
Preface Many groups around the world conduct research on formal methods for software development, and in most of these groups, some of the effort goes into the problem of reasoning about loops. There is of course a well-known classic way of dealing with loops, namely by having the software developer provide an invariant , which can be shown to be preserved(More)