The impact of injury on apparent survival of whale sharks (Rhincodon typus) in South Ari Atoll Marine Protected Area, Maldives

The whale shark (Rhincodon typus) is an endangered species with a declining global population. The South Ari Atoll Marine Protected Area (SAMPA), Maldives, is one of few locations globally where year-long residency of individuals occurs. This SAMPA aggregation appears to consist almost exclusively of immature males. Due to its year-round residency, this local aggregation is subjected to a high degree of tourism pressure. This ecotourism contributes to the high level of interest and protection offered to whale sharks by the local community. Unfortunately, if regulations are not followed or enforced, tourism can bring with it major stressors, such as accidental injuries. We used POPAN capture-mark-recapture models and lagged identification rate analysis to assess the effect of major injuries on whale shark residency within SAMPA. Injuries may be obtained outside SAMPA. We found individuals with major injuries had a higher apparent survival in the area than those without. Lagged identification rates also demonstrated that sharks with major injuries are more likely to return to the area. We suggest that major injuries result in sharks prolonging their time in the developmental habitat. These findings have implications for individual fitness and the population viability of this endangered species. We propose targeted conservation strategies be considered to protect sharks from further injury. Based on the presented spatio-temporal distributions of sharks, and current local knowledge of sighting patterns, speed limit zones and propeller-exclusion zones should be implemented and enforced. If carried out alongside tourist education, these measures will contribute to the protection of whale sharks within SAMPA and beyond. Furthermore, our results can aid research direction, alongside regulation and enforcement development, at similar sites worldwide.Publisher PDFPeer reviewe

Functional Verification of Arithmetic Circuits using Linear Algebra Methods

This thesis describes an efficient method for speeding up functional verification of arithmetic circuits namely linear network such as wallace trees, counters using linear algebra techniques. The circuit is represented as a network of half adders, full adders and inverters, and modeled as a system of linear equations. The proof of functional correctness of the design is obtained by computing its algebraic signature using standard linear programming (LP) solver and comparing it with the reference signature provided by the designer. Initial experimental results and comparison with Satisfiability Modulo Theorem (SMT) solvers show that the method is efficient, scalable and applicable to complex arithmetic designs, including large multipliers. It is intended to provide a new front end theory/engine to enhance SMT solvers

Algebraic Approach to Arithmetic Design Verification

International audienc

A case of acute trans-scaphoid volar dislocation of the lunate into the distal forearm

Trans-scaphoid volar dislocation of the lunate with displacement into the distal forearm proximal to the radiocarpal joint is an extremely rare, high energy injury with extensive ligament disruption. They are unstable and require open reduction and internal fixation with repair of ligaments. They are associated with significant morbidity and loss of function. We report the case of a patient with this injury. Open reduction, internal fixation and ligament repair were done. The patient had a good functional outcome