Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Entire DC Network
Paleocene To Early Eocene Dinoflagellate Cyst Biostratigraphy In Southeast Nigeria And The Cote D'Ivoire-Ghana Transform Margin (Odp Site 959), Hernan Antolinez-Delgado
Paleocene To Early Eocene Dinoflagellate Cyst Biostratigraphy In Southeast Nigeria And The Cote D'Ivoire-Ghana Transform Margin (Odp Site 959), Hernan Antolinez-Delgado
Masters Theses
"This study represents a contribution to Early Paleogene biostratigraphy in the tropics where published studies are sparse in comparison with mid and high latitude regions. Data were derived from a comprehensive analysis of dinoflagellate cysts (dinocysts) in 45 samples from the Early Paleocene to Early Eocene interval at two localities in West Africa, namely Alo-1 well in the Anambra Basin, southeastern Nigeria, and Ocean Drilling Program Hole 959D (ODP Leg 159) in the Cote d'Ivoire-Ghana Transform Margin. Dinocyst recovery varied from very good to poor, and the specimens were commonly well preserved. The dinocyst data were calibrated with existing calcareous …
Model Checking Control Communication Of A Facts Device, David Andrew Cape
Model Checking Control Communication Of A Facts Device, David Andrew Cape
Masters Theses
"This thesis concerns the design and verification of a real-time communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such systems, a certain amount of data loss without recovery may be tolerated. The key issue is to design and verify the correctness in the presence of these lost data frames under real-time constraints. This thesis describes a temporal verification that if the end processes do not detect that too many frames are lost, defined by comparison of error counters against given threshold values, then there will be a bounded delay between transmission of …