1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-called catch. The catch provides the features of the proof which are relevant for reusing it in subsequent verification tasks and may also suggest useful lemmata. Proof analysis techniques for computing the catch are pr...

Total marine fisheries catches from the Exclusive Economic Zone of Benin and its coastal lagoons were estimated between 1950 and 2010. The reconstruction considered artisanal and industrial sectors and their discards, subsistence fisheries from the marine and lagoon waters including those generated by women for the first time. Small-scale catch estimates were obtained using catch per unit of ef...

Under increasing tensile load, the lifetime of a single catch bond counterintuitively increases up to a maximum and then decreases exponentially like a slip bond. So far, the characteristics of single catch bond dissociation have been extensively studied. However, it remains unclear how a cluster of catch bonds behaves under tensile load. We perform computational analysis on the following model...